Log in

Relevant bibliographies by topics / Langages d'action

Contents

Dissertations / Theses

Academic literature on the topic 'Langages d'action'

Author: Grafiati

Published: 18 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Langages d'action.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Langages d'action"

1

Llopard, Ivan. "Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066157/document.

Full text

Abstract:

Afin de gérer la complexité des systèmes embarqués modernes, les langages de modélisation proposent des abstractions et des transformations adaptées au domaine. Basées sur le formalisme de machines à états hiérarchiques, connu sous le nom de Statecharts, ils permettent la modélisation du contrôle parallèle hiérarchique. Cependant, ils doivent faire à deux défis majeures quant il s'agit de la modélisation des applications à calcul intensif: le besoin des méthodes unifiées supportant des actions avec parallélisme de donnée; flots d'optimisation et génération de code à partir des modèles trop gén

APA, Harvard, Vancouver, ISO, and other styles

2

Sarmiento, Lozano Camilo. "Formalisation des raisonnements éthiques : modélisation des processus en éthique et modélisation, représentation et automatisation du raisonnement causal." Electronic Thesis or Diss., Sorbonne université, 2024. http://www.theses.fr/2024SORUS047.

Full text

Abstract:

Cette thèse s'inscrit dans le domaine de l'éthique computationnelle dont le but est de formaliser le raisonnement éthique. Autrement dit, ce travail fait partie du domaine qui cherche à reproduire notre capacité en tant qu'êtres rationnels à évaluer moralement une action. Deux objectifs sont recherchés au travers de la formalisation de ce raisonnement : mieux le comprendre et l'intégrer dans des systèmes informatiques de sorte à assurer que les décisions prises soient conformes à des principes moraux choisis.Cette thèse contribue à ce domaine de deux façons. Un premier groupe de contributions

APA, Harvard, Vancouver, ISO, and other styles

3

Boulenger, Véronique. "Le Langage et l'Action : Dynamique des liens unissant verbes d'action et contrôle moteur." Phd thesis, Université Lumière - Lyon II, 2006. http://tel.archives-ouvertes.fr/tel-00363149.

Full text

Abstract:

Une perspective récente considère que la compréhension du sens des mots fasse appel, outre aux aires de Broca et Wernicke, au système sensori-moteur. A cet égard, l'étude du traitement des mots d'action apparaît comme un outil adapté à la compréhension des liens fonctionnels unissant langage et motricité. Ce travail de thèse avait pour but d'une part, de déterminer si le traitement des mots d'action implique les aires corticales participant également au contrôle moteur, et d'autre part, d'évaluer le rôle de ces régions dans les processus de récupération des mots. Dans une première étude, des e

APA, Harvard, Vancouver, ISO, and other styles

4

Boulenger, Véronique Nazir Tatjana. "Le langage et l'action dynamique des liens fonctionnels unissant verbes d'action et contrôle moteur /." Lyon : Université Lumière Lyon 2, 2006. http://demeter.univ-lyon2.fr/sdx/theses/lyon2/2006/boulenger_v.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

PAOLETTI, JEAN-CHRISTOPHE. "Conception d'un langage de controle d'execution de plans d'actions pour la telerobotique." Rennes 1, 1991. http://www.theses.fr/1991REN10037.

Full text

Abstract:

La problematique de ce travail consiste en la definition d'outils symboliques susceptibles d'aider l'operateur humain, pour des applications en telerobotique, et plus generalement, pour des applications necessitant une forte interactivite avec l'operateur. L'existence d'un calculateur intermediaire, entre les organes maitres de commande et les effecteurs du robot, permettra d'accomplir des actions en utilisant les modes de commandes associes aux differents degres d'autonomie d'une application robotisee. Nous presentons un systeme de controle d'execution, pour des plans d'actions. Une organisat

APA, Harvard, Vancouver, ISO, and other styles

6

Courson, Melody. "Implication du système moteur dans le traitement du langage d'action : facteurs modulateurs de la réponse motrice." Doctoral thesis, Université Laval, 2018. http://hdl.handle.net/20.500.11794/28253.

Full text

Abstract:

Depuis le début du 21ème siècle, la nature de la réponse motrice lors de la compréhension de langage d’action fait l’objet d’un débat théorique animé. Le rôle que cette réponse motrice pourrait jouer dans le traitement sémantique du langage d’action divise la communauté neuroscientifique. Tandis que certains modèles théoriques soutiennent une incarnation forte du langage, traduite par une implication primordiale du système moteur dans les processus sémantiques, d’autres s’y opposent fermement et défendent une approche computationnelle d’un système sémantique abstrait et désincarné. D’autres mo

APA, Harvard, Vancouver, ISO, and other styles

7

Baudoin, Frédéric. "Personnalisation des systèmes de dialogue en langage naturel : une méthode d'anticipation rationnelle d'actions communicatives." Paris 6, 2008. http://www.theses.fr/2008PA066535.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Saidouni, Djamel-Eddine. "Sémantique de maximalité : application au raffinement d'actions dans LOTOS." Toulouse 3, 1996. http://www.theses.fr/1996TOU30040.

Full text

Abstract:

Cette thèse se situe dans le cadre de méthodes de conception de systèmes répartis s'appuyant sur des techniques de raffinement d'actions. En considérant la technique de description formelle lotos comme langage d'étude, elle aborde des problèmes théoriques concernant l'adéquation de différentes sémantiques du parallélisme pour la mise en oeuvre du raffinement d'actions. Bien que la sémantique d'entrelacement soit souvent considérée comme étant la plus simple pour exprimer le parallélisme, elle ne permet pas de représenter correctement le comportement de systèmes concurrents dès que les actions

APA, Harvard, Vancouver, ISO, and other styles

9

Dekdouk, Abdelkader. "Modèles algébriques pour le parallélisme vrai et le raffinement d'actions." Nancy 1, 1997. http://www.theses.fr/1997NAN10188.

Full text

Abstract:

Le cadre général de mon travail de thèse est la théorie des processus. Pour être un peu plus précis, il s'inscrit dans le cadre de l'algèbre de processus. Son objectif, est de définir dans un premier temps des modèles algébriques de parallélisme vrai. Ensuite, étendre ces modèles avec le concept de raffinement d'actions. Initialement nous définissons deux sémantiques opérationnelles de parallélisme vrai pour un langage à la ACP. La première exploite la structure causale du processus et la deuxième repose sur l'hypothèse de la durabilité abstraite des occurrences d'action. Ensuite, nous établis

APA, Harvard, Vancouver, ISO, and other styles

10

Salomé, Jean-Christophe. "Gestion des contraintes temporelles pour le contrôle d'exécution d'un plan d'actions en robotique." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0017.

Full text

Abstract:

Analyse des problèmes rencontrés en génération de places. Construction d'un générateur de places. Représentation des connaissances pour des phénomènes réels. Stratégie pour un montage-démontage de pièces. Contrôle d'exécution. Problèmes de l'évitement d'obstacles.

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!