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