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