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