Loading...
Laboratoire d’excellence en mathématiques et informatique fondamentale de Lyon – Université de Lyon - Programme Investissements d’Avenir.
Derniers dépôts
![Chargement de la page](/img/loading.gif)
Répartition des dépôts par discipline
Répartition des dépôts par type de publication
Évolution des dépôts
Mots clés
Coinduction
Automatic proof search
Kinetic equation
Covert communication
37B05
Axiomatisation
Hydrodynamic limit
Asymptotic analysis
Coloring
Cut elimination
Automata
Network science
Categorical semantics
Curvature
Spatial Reuse
Machine Learning
Sparse matrices
General arrivals
Regression
Optimal pattern
57M60 Secondary 37E05
Algebra Lie
Electron Tomography
Ordonnancement
Direct method
Complexity
Resilience
Circle-valued maps
Baumslag-Solitar groups
Cost
Graphs
Completeness
Regular languages
Decidability
Proof theory
Game semantics
Fail-stop errors
Implicit computational complexity
Full abstraction
Oscillations
Covariance
Kriging
Treewidth
Partial Least Squares
Space of subgroups
Cographs
Perfect kernel
Linear logic
Real-time systems
Heterogeneous platforms
Sequent calculus
Multiple sparse right-hand sides
Termination
Kleene algebra
Graph theory
Concurrent games
Activation delays
Commuting variety
Bingham
Cyclic proofs
Sparsity
Silent errors
Lambda-calculus
Bisimilarity
Bisimulation
Scheduling
Category theory
Verification
Coalgebra
Ssreflect
Algorithm
35B25
Algebra
Reliability
Cycle stealing
Distributive laws
Event structures
Coq
Mean field games
Game Semantics
Concurrency
Unique solution of equations
Stability
Clear Channel Assessment
Denotational semantics
Petri nets
Besov spaces
Sobolev spaces
Diffusion-approximation
Bass-Serre theory
Motives
Power Control
Symplectic reduction
20E08
Process calculi
Elliptical distribution
Dual norm
Age-structured PDE
Abbreviated action integral
Energy-aware systems