PLONGER DANS LE MOMENT PRÉSENT

LA DOULEUR DU PASSÉ : COMMENT DISSIPER LE CORPS DE SOUF-FRANCE Tant que vous êtes incapable d'accéder au pouvoir de l'instant présent, chaque souffrance émotionnelle que vous éprouvez laisse derrière elle un résidu. Celui-ci fusionne avec la douleur du passé,...

Le modèle GO4

La courbure effective Le modèle GO4 isotrope (3.7) dépend de deux paramètres, un paramètre de pente totale (mss) et un paramètre de courbure total (msc). La mss totale est un paramètre très utile car il quantifie, en termes physiques, la...

Le metamodele UML

Le sous-package PrimitiveTypes Il contient simplement quelques types primitifs de données prédéfinis qui sont disponibles aussi bien pour UML que pour le MOF et pour toutes les extensions de UML. La figure 6 montre les métaclasses définies dans ce package....

Le système condor

Checkpointing et Migration La capacité de faire migrer un travail en cours d’exécution sur une machine oisive (disponible et non utilisée par son propriétaire) est fondamental à l’ordonnancement des travaux dans un pool Condor. Pour permettre à ces travaux de...

Le programme international Argo et le centre d’océanographie opérationnelle Mercator Ocean

Cycle de plongée et flux de données Argo Les flotteurs Argo dérivent au grè des courants à une profondeur nominale de 1000 mètres. Tous les 10 jours, ils exécutent un cycle identique préprogrammé de descente, dérive en immersion, descente à...

Étude détaillée du brouillard à l’aide d’un modèle colonne

Étude sur l’épaisseur du brouillard Dans la section précédente, la simulation du cas observé lors de la POI-13 a permis demontrer que le modèle Code_Saturne Atmo était capable de reproduire correctement les principaux processus mis en jeu dans le brouillard...

Opérations sur les automates lexicaux

Opérations sur les automates lexicaux Grâce à cette représentation structurée des masques lexicaux permettant d’implémenter des opérations ensemblistes sur ces objets, nous sommes maintenant en mesure d’adapter les algorithmes classiques sur les automates finis (tels que définis dans [Hopcroft et...

Model-checking appliqué à un système d’agents mobiles

Model-checking appliqué à un système d’agents mobiles Vérification des systèmes temps-réel Dans la littérature des algèbres de processus, il existe plusieurs approches de la vérification. L’une d’elles consiste à prendre deux descriptions d’un même système et de prouver leur équivalence...

Déficiences des robots bipèdes notion de compliance volontaire et involontaire

MISE EN ÉVIDENCE DES DÉFICIENCES ARTICULAIRES ET STRUCTURELLES DES ROBOTS HUMANOÏDES CAS DE ROBIAN Déficiences des robots bipèdes : notion de compliance volontaire et involontaire La « compliance » (anglicisme, en français le terme équivalent est « complaisance ») dans...

Le Travail Coopératif Assisté par Ordinateur, un cadre adapté

Le Travail Coopératif Assisté par Ordinateur, un cadre adapté Le Travail Coopératif Assisté par Ordinateur (TCAO - traduction du terme anglais CSCW) se propose d’étudier les mécanismes de coopération à l’aide des théories existantes en Sciences Humaines et Sociales, de...