-
Optimising the compilation of Petri net models
International audience -
De la ville en continu à un chrono-urbanisme
This dataset has no description
-
Using Acceleration to Compute Parameterized System Refinement
In this paper, we present a verification approach for a class of parameterized systems. These systems are composed of an arbitrary number of similar processes. As in... -
On the role of Alfvén waves as precursors of quasi-static acceleration proces...
Proceeding of the SF2A conference in Nice, 2012. -
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical ...
International audience -
King penguins adjust their diving behaviour with age.
International audience -
Applying abstract acceleration to (co-)reachability analysis of reactive prog...
International audience -
La maîtrise du temps comme enjeu de lutte : l'exemple des intermittents du sp...
International audience -
Acceleration in high Reynolds number turbulent channel flow : numerical simul...
The main objective of this thesis is to observe numerically and to analyze the effects of intermittency in a high Reynolds number turbulent channel flow. To this end,... -
Les actionneurs électromagnétiques : quels choix pour la robotique ?
National audience -
The overlooked difference between process- and project-acceleration: evidence...
This dataset has no description
-
L'évolution des temps de loisirs, Rapport d'étude à l'UFCV
L'Union française des centres de vacances participe à l'éducation et à la formation des personnes qu'elle mobilise ou qui utilisent ses services. A travers les... -
Une course fatale vers l'abîme ?
Présentation et discussion de l'ouvrage d'H. Rosa -
Abstract acceleration in Linear relation analysis
{Linear Relation Analysis~\cite{cousot78,halbwach79} is now a classical abstract interpretation based on an approximation of reachable numerical states of a program by... -
Hardware Acceleration of SVM-Based Traffic Classification on FPGA
International audience -
FAssem : FPGA based Acceleration of De Novo Genome Assembly
International audience -
FAST: Fast Acceleration of Symbolic Transition Systems
This dataset has no description
-
Comparison of the biomechanical behaviour of the liver during frontal and lat...
The trunk of a car occupant can be injured by a frontal or lateral impact. Lesions can be either intrusion injuries or due to the effects of deceleration alone. The...
