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