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