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