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