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