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