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
Asymptotic analysis
Coq
Failures
Cost
Kriging
Algebra Lie
Automata
Completeness
Besov spaces
Game semantics
Distributive laws
Covert communication
Concurrency
Network science
Energy efficiency
Event structures
Sequent calculus
Treewidth
Algebra
Regression
Implicit computational complexity
Diffusion-approximation
Ordonnancement
Ssreflect
Decidability
Sobolev spaces
Hydrodynamic limit
Multiple sparse right-hand sides
Cyclic proofs
Coinduction
Bisimulation
Commuting variety
General arrivals
Abbreviated action integral
Petri nets
Sparse matrices
Category theory
Reliability
Cycle stealing
Verification
Circle-valued maps
Automatic proof search
Energy-aware systems
Graph theory
Bass-Serre theory
Elliptical distributions
Silent errors
Unique solution of equations
Cut elimination
Kleene algebra
Scheduling
Stability
Motives
Graphs
Elliptical distribution
Coloring
Hamiltonian dynamics
Fail-stop errors
Bingham
Proof theory
Partial Least Squares
Game Semantics
Ergodic dimension
HPC
Sparsity
Focusing
Dual norm
General service
Energy estimates
Denotational semantics
Kinetic equation
Full Abstraction
Mean field games
Regular languages
Extreme events
Lambda-calculus
Termination
Process calculi
Linear logic
Optimal pattern
Oscillations
Bisimilarity
Resilience
Cographs
Function graph
FOS Mathematics
Concurrent games
Activation delays
Direct method
Real-time systems
Heterogeneous platforms
Space of subgroups
Curvature
Algorithm
Full abstraction
Graph signal processing
Axiomatisation
Electron Tomography
Expectile regression
Covariance