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
-
Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Jonathan Rivalan. VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time and Generating Deployment Configurations. ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2024, 24 (3), pp.18 - 36. ⟨10.1145/3699839.3699841⟩. ⟨hal-04727206⟩
Contact
deposits with documents
6 783
deposits without document
5 935
Useful links
Journal policy
Cloud of words
Parallel robots
Stability
Modeling
Metaheuristics
Stiffness
Machine Learning
Optimisation
Privacy
Energy harvesting
Numérique
Simulation
Nonlinear systems
Industry 40
Classification
3DTV
Optimal design
Multi-objective optimization
Type theory
Clustering
Ergonomics
Robotics
Modélisation
Tensegrity
Scheduling
Deep learning
Constraint programming
Distributed systems
Cloud computing
Interval analysis
Dynamics
Handwriting recognition
Collaboration
Large neighborhood search
Mojette transform
Semantic Web
Semantics
Security
Patrimoine
Orthoglide
Virtual reality
Bioinformatics
Robust control
Coq
Heuristics
Modelling
Parallel manipulator
Aspect
Knowledge management
Optimization
Calibration
Machining
Design
Workspace
Energy consumption
Evaluation
Vehicle routing
Comparable corpora
Kinematics
Ontology
Robot
Performance
Singularity
Interoperability
Model-checking
Constraint Programming
Combinatorial optimization
Identification
Ordonnancement
Bayesian networks
Real-time
3D
Genetic algorithm
Model Transformation
Verification
Programmation par contraintes
Robustness
Parallel mechanism
Linked Data
Parallel robot
Parallel manipulators
Machine learning
Data mining
Elasticity
Visualization
Neutral type systems
Virtualization
Visual attention
Uncertainty
Control
Ontologies
Réalité virtuelle
Exact controllability
Asynchronous message-passing system
Singularities
Scalability
Model Driven Engineering
Model-Driven Engineering
Inverse problems
Cloud Computing
PLM