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