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