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