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