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