Loading...
You can consult and search here all the publications of the laboratory deposited on HAL. This list of publications is generated automatically each night. If at least one of the authors of the deposited publication is associated to the laboratory, it will be integrated in this collection.
latest deposits
-
Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter. The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. International Conference on Interactive Theorem Proving (ITP 2024), Yves Bertot; Temur Kutsia; Michael Norrish, Sep 2024, Tbilisi, Georgia. pp.18, ⟨10.4230/LIPIcs.ITP.2024.26⟩. ⟨hal-04511667v2⟩
Contact
deposits with documents
deposits without document
Useful links
Journal policy
Cloud of words
Bioinformatics
Visual attention
Parallel manipulator
Collaboration
Cloud computing
Bayesian networks
Machine learning
Machine Learning
Visualization
Uncertainty
Calibration
Ontologies
Combinatorial optimization
Metaheuristics
Optimisation
Patrimoine
Deep learning
Inverse problems
Aspect
Programmation par contraintes
Comparable corpora
Energy harvesting
Parallel robot
Heuristics
Tensegrity
Model Driven Engineering
Genetic algorithm
Performance
Singularities
Clustering
Type theory
3D
Model-checking
Parallel robots
Stiffness analysis
Elasticity
Identification
Security
Data mining
Virtualization
Evaluation
Privacy
Simulation
Industry 40
Numérique
Constraint Programming
Interoperability
Robot
Large neighborhood search
Interval analysis
Modélisation
Optimization
Distributed systems
Stability
Semantics
Robust control
Nonlinear systems
Linked Data
Classification
Vehicle routing
Modelling
Model-Driven Engineering
Real-time
Ordonnancement
Design
Parallel mechanism
Control
Coq
Neutral type systems
Orthoglide
Robustness
Ontology
PLM
Constraint programming
Modeling
Semantic Web
Optimal design
Ergonomics
Model Transformation
Singularity
Multi-objective optimization
Handwriting recognition
3DTV
Cloud Computing
Réalité virtuelle
Machining
Energy consumption
Parallel manipulators
Exact controllability
Asynchronous message-passing system
Knowledge management
Virtual reality
Scheduling
Dynamics
Stiffness
Kinematics
Scalability
Robotics
Mojette transform
Workspace