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