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