To see the other types of publications on this topic, follow the link: Langage procédural.

Dissertations / Theses on the topic 'Langage procédural'

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

Select a source type:

Consult the top 27 dissertations / theses for your research on the topic 'Langage procédural.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Raymond, Pascal. "Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00198546.

Full text
Abstract:
Ce travail porte sur la production de code séquentiel à partir du langage flot de données synchrone Lustre. La difficulté essentielle provient de l'aspect déclaratif du langage. En effet, il n'y a pas d'instruction de contrôle dans le langage Lustre ; toute la structure de contrôle du code objet doit donc être synthétisée par le compilateur. Cette synthèse consiste à construire un automate fini en simulant exhaustivement le comportement des variables booléennes du programme. Le code produit est particulièrement rapide ; en effet, la plupart des calculs booléens sont effectués une fois pour toute dès la compilation. En contrepartie, l'aspect exhaustif de cette démarche provoque parfois une véritable explosion de la taille du code. Ce problème peut être dû à la complexité intrinsèque du programme source ; il faut dans ce cas chercher un compromis entre rapidité et taille mémoire. Mais l'explosion peut être causée par la méthode de construction, qui produit très souvent des automates non minimaux ; nous avons donc étudié et développé un algorithme original qui construit à coup sûr des automates minimaux. Cet algorithme fait appel à de nombreuses manipulations symboliques de fonctions booléennes, que nous avons pu implémenter efficacement grâce à une représentation basée sur les graphes binaires de décision.
APA, Harvard, Vancouver, ISO, and other styles
2

Tassa, Okombe-Lukumbu G. "La création lexicale spontanée en tetela (C.71): mécanismes et procédures." Doctoral thesis, Universite Libre de Bruxelles, 2000. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211734.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Slimani, Yahya. "Structures de données et langages non-procéduraux en informatique graphique." Lille 1, 1986. http://www.theses.fr/1986LIL10002.

Full text
Abstract:
La synthèse d'images fait partie des applications informatiques pour lesquelles on essaie de mettre en oeuvre des architectures et des logiciels répondant, le mieux possible, à deux contraintes principales qui sont l'espace mémoire et le temps de calcul. Devant cette situation, et après avoir analysé les besoins du graphique en matière de structures de données et d'algorithmique, notre travail est une approche par l'utilisation des langages applicatifs (type LISP) en graphique, sous deux aspects : 1- structure de donnée où nous proposons un nouveau modèle de donnée susceptible d'être utilisé pour représenter les objets graphiques, à savoir la structure de liste ; 2- algorithmique où nous montrons comment un des concepts fondamentaux des langages applicatifs (la récursivité) peut contribuer à une expression naturelle d'algoritmes graphiques
APA, Harvard, Vancouver, ISO, and other styles
4

Polchynski, Elina. "Dispositifs numériques d'évaluation des compétences en langues vivantes étrangères : concevoir, tester des procédures de positionnement (semi)-automatisées." Thesis, Bordeaux 3, 2016. http://www.theses.fr/2016BOR30021/document.

Full text
Abstract:
Il existe un nombre croissant de tests de langues sur le marché. Ces derniers se répartissent en plusieurs catégories selon leur forme et leur fonction: tests de positionnement, d’acquisition et de progrès, de compétence, de certification, tests diagnostiques et enfin tests d’aptitude. La conception du test de positionnement POSILANG, entièrement adossé au Cadre européen commun de référence pour les langues (CECRL), force à s’interroger sur le processus général d’évaluation des compétences en LVE, à définir ce que sont les bonnes pratiques, à explorer la compatibilité de l’approche communicative-actionnelle prônée par le Cadre avec le format automatisé. Les atouts visés par le dispositif sont la gratuité, la praticité, la fiabilité, l’accessibilité, l’interactivité ainsi que l’authenticité. L’élaboration des items doit tenir compte des usages situés de la langue dans des situations de communication réelles. Conçu localement, en intégrant la situation particulière du site universitaire bordelais, le test est prévu pour évaluer le niveau de compétences des bacheliers en anglais, accédant à l’Enseignement Supérieur. L’évaluation de la version pilote de POSILANG, menée dans le cadre de la présente recherche, montre que POSILANG permet bien de déterminer à la fois le niveau en langue global de candidats et leur niveau par domaine de compétence. Le test remplit aussi une fonction diagnostique, en pointant les lacunes des candidats. Le positionnement par domaines de compétences permet de créer différents groupes de niveaux aussi homogènes que possible pour les enseignements obligatoires d’anglais et pour remédier aux difficultés langagières repérées
In education today, a great number of language tests are available. These tests can be divided into different categories according to their features and function: placement tests, acquisition and progress tests, certification tests and aptitude tests. The POSILANG placement test offers many advantages. The test is conceived in accordance with the Common European framework of reference for languages (CEFR). It therefore complies with the majority of the parameters laid down in this official document and adheres to an action-oriented approach. POSILANG also benefits from being free of charge, readily available, reliable, interactive and authentic. The latter is achieved by using language taken from real life situations for the conception of items. The test has been designed for local use on the campus of Bordeaux University and takes into account the specificities of this environment. Its aim is to assess the competence level of secondary school leavers as they enter the higher education system. POSILANG is able not only to assess the overall language level of participants, but also the level in three separate areas of competence. It has a diagnostic function centered on pinpointing the weaknesses of students. The placement of students according to the different areas of competence enables teachers to form student groups with similar language levels, so as to address the specific instructional needs identified by the test
APA, Harvard, Vancouver, ISO, and other styles
5

Desfonds, Laurence. "Langage et conceptualisation du contentieux provisoire des décisions administratives." Aix-Marseille 3, 2005. http://www.theses.fr/2005AIX32035.

Full text
Abstract:
La systématisation du contentieux provisoire des décisions administratives par la doctrine se limite le plus souvent à la détermination de lignes jurisprudentielles. L'indétermination des conditions d'octroi de la suspension est perçue comme un obstacle à la conceptualisation qui suppose une réflexion détachée des cas d'espèce. Or la conceptualisation se ramène pour l'essentiel à une question de méthode. Face à une réforme de l'ampleur de celle du 30 juin 2000, qui a substitué le référé suspension au sursis à exécution et reformulé les conditions d'octroi, on peut ressentir le besoin de définir, pour la fixer, la nouvelle terminologie. Dans ce but, l'utilisation d'une méthode dialectique permet d'établir d'emblée les concepts. La dialectique nous enseigne en effet que toute notion juridique peut être définie à partir de la finalité pour laquelle elle a été créée. Le langage est donc l'instrument de conceptualisation d'une part, de l'institution du contentieux provisoire, d'autre part, de l'office du juge. Ainsi l'indétermination des notions, loin d'empêcher toute conceptualisation, est-elle tout à la fois une condition de leur permanente adaptation et un instrument méthodologique pour le juge. Plus encore, à l'occasion du dialogue qui se noue avec la doctrine, le langage est pour le juge l'instrument de conquête d'une légitimité qui avait été remise en cause à raison du manque d'efficacité de l'ancienne procédure du sursis à exécution
In most cases, the doctrine rationale implementing systematic interim relief to administrative decisions consists in identifying some relevant lines of precedents. The fact that the requirements to obtain an award are indeterminate is felt as in the way of conceptual breakthroughs that require thinking in generic terms and not focussing on specific cases. But in essence, the conceptual approach boils down to a methodological issue. Facing a reform of the same magnitude as enacted on June 30th 2000 that substituted the interim injunction to the stay of execution and rephrased its conditions of award, it may be felt necessary to define the new parlance once and for all. To that effect, we learn from dialectics that any legal concept can be defined on the basis of the purpose for which it was contrived. Therefore, language is a conceptual tool for the interim relief on the one hand, and of the judge's role on the other hand. So much so that instead of blocking conceptualization, indeterminate concepts are altogether a requirement to be met for their permanent adaptation and, at the same time, a methodological tool for the court. Furthermore, in the ongoing exchange that develops with the doctrine, the language is a tool for the court to win back the legitimacy that was put into question due to the inefficiency of the former stay of execution' procedure
APA, Harvard, Vancouver, ISO, and other styles
6

Tawbi, Chawki. "Adactif : extension d'un SGBD à l'activité par une approche procédurale basée sur les rendez-vous." Toulouse 3, 1996. http://www.theses.fr/1996TOU30262.

Full text
Abstract:
L'activite dans les sgbd est mise en uvre grace aux regles evenement-condition-action (eca) qui servent a specifier le comportement actif du systeme et sa reaction vis a vis des situations rencontrees dans la bd et dans son environnement. L'evenement specifie le moment du declenchement de la regle, la condition verifie si l'etat de la bd necessite l'execution de l'action qui a son tour execute des operations en reponse a l'evenement. Ces operations peuvent servir a annuler la cause de l'evenement ou a executer ses consequences. Dans les travaux effectues durant la these, nous nous sommes interesses a un langage dote de mecanismes temps-reel afin de s'en inspirer pour etendre un sgbd passif a l'activite. Nous nous sommes inspires des taches ada et de leur mecanisme de synchronisation (les rendez-vous) pour implanter les regles dans notre sgbd actif baptise adactif. Les regles dans adactif sont considerees comme des taches actives attendant un rendez-vous du systeme en l'occurence de l'evenement declenchant. Chaque tache a en charge la verification d'une condition et, si elle est satisfaite, l'execution de l'action associee decrite de facon procedurale. Les taches dans adactif ont ete realisees a l'aide des processus unix et evoluent en parallele. La synchronisation dans le systeme, quant a elle, est mise en uvre a l'aide des pipe-line unix. D'autre part, comme les evenements composes (formes d'une combinaison d'evenements) jouent un role important dans les sgbd actifs, nous proposons un mecanisme de detection de ce type d'evenements base lui aussi sur le principe de tache et de rendez-vous. Ainsi, un evenement compose est detecte par une regle en attente de rendez-vous avec les evenements composants. Lorsque ces derniers sont au rendez-vous, et apres que la composition ait ete realisee, cette regle signale l'evenement compose au systeme. Cette approche permettra a l'utilisateur de specifier ses propres operateurs de composition conformement a la semantique de son application
APA, Harvard, Vancouver, ISO, and other styles
7

Bheeka, Joyce Patricia. "Le processus de l'ethnicisation : procédures de catégorisation dans le discours politique à l'île Maurice." Paris 8, 2000. http://www.theses.fr/2000PA082045.

Full text
Abstract:
Les actions visant à identifier, caractériser, catégoriser les individus ou les groupes sociaux s'inscrivent dans la recherche continue d'équilibre entre les "communautés" à l'Ile Maurice. Elles relèvent de processus d'ethnicisation qui jouent un rôle considérable dans la "manière de faire de la politique". Les catégories ethniques implicites structurent le discours politique. L'analyse de leur production dans les situations de parole publique : entretien, réunions et meeting politiques, est fondée sur le dispositif analytique de catégorisation d'appartenance de H. Sacks. Réactualisées en contexte, les catégorisations constituent une ressource dans la conduite de l'activité sociale. On en vient à caractériser les groupes sociaux en même temps qu'à éviter les références ethniques directes. . .
APA, Harvard, Vancouver, ISO, and other styles
8

Coutherut, Margaux. "Les textes procéduraux en anglais : création d'une échelle de prototypicalité." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC226/document.

Full text
Abstract:
Les textes procéduraux, qui disent de faire et comment faire, jouent un rôle important dans la vie quotidienne et, pourtant, il n'existe que peu d'études sur ce sujet alors que mieux les connaître permettrait de les rédiger avec davantage de rigueur. Cette thèse est à la croisée de plusieurs disciplines : l'anglais de spécialité, la linguistique de corpus, la linguistique appliquée et l'analyse de genre.La première partie de la thèse décrit l'état de la recherche réalisée sur les textes procéduraux ainsi que la méthodologie choisie pour les analyser qui est appliquée à l'étalon de référence, la recette de cuisine. Dans la deuxième partie, il est procédé à une étude des niveaux linguistiques et organisationnels de différents textes compilés dans des corpus composés respectivement de règles du jeu, de protocoles de travaux pratiques en sciences, de notices explicatives et d'instructions de sécurité : ces différents corpus sont comparés à l'étalon de référence puis entre eux. Le but de cette recherche est de déterminer les microgenres procéduraux les plus prototypiques et d'établir si leur caractère spécialisé ou non influe sur leur degré de prototypicalité. Nous obtenons ainsi une échelle de prototypicalité que nous questionnons dans la troisième partie et qui prend en compte la présence, ou l'absence, de caractères prototypiques comme le nombre majoritaire de formes verbales conjuguées à l'impératif, l'importance des ellipses, la longueur des textes et de leurs phrases, le respect d'un ordre chronologique, la présence d'explications, une organisation en deux sections minimum (liste du matériel et partie procédurale) et le type de traitement cognitif
Procedural texts play an important part in daily life and yet, studies in this domain are lacking. It is posited that a better knowledge of how they work would help people to write them better. Work on procedural texts is generally done at the crossroads of several disciplines: English for Specific Purposes, Corpus Linguistics, Applied Linguistics and Genre Analysis.Starting with the state of the art on procedural texts, a study of the organizational and linguistic levels of texts compiled in several corpora composed of cooking recipes (considered as the reference), gaine mies, science lab protocols user's guides and safety instructions is carried out. These are then compared with one another in the third part. The aim o: this research is to determine which procedural microgenres are the most prototypical and to establish if the specialised or the non-specialised nature of the text has an influence on its degree of prototypicality. This entails the creation of a scale of prototypicality which takes into account the presence, or absence, of protypical features such as a preponderance of imperative verb forms, the frequency of ellipsis, the length of the texts and of their sentences, the adherence to chronological order, the presence of explanations, a two-part structure (elements used and procedural part) and how the mind processes this sort of text
APA, Harvard, Vancouver, ISO, and other styles
9

Bourey, Jean-Pierre. "Structuration de la partie procédurale du système de commande de cellules de production flexibles dans l'industrie manufacturière." Lille 1, 1988. http://www.theses.fr/1988LIL12012.

Full text
Abstract:
Présentation d'un outil de structuration permettant de construire la partie procédurale de la commande des systèmes flexibles de production discontinue. Cet outil génère un graphe de commande (réseau de Petri structuré et coloré) sur lequel le parallélisme et la concurrence du système sont résolus et mis en évidence.
APA, Harvard, Vancouver, ISO, and other styles
10

Ganier, Franck. "Le traitement cognitif : déterminant de la conception de documents procéduraux : le cas des guides d'utilisation SEB." Dijon, 1999. http://www.theses.fr/1999DIJOL003.

Full text
Abstract:
L'objet du présent travail est de procéder à l'exploitation de connaissances acquises dans le domaine de la psycholinguistique, mise en praique se traduisant par le transfert de ces connaissances au domaine de la conception des notices et modes d'emploi accompagnant les appareils vendus au grand public. Plusieurs études conduites sur le terrain et en laboratoire ont permis d'articuler recherche théorique et applications pratiques. Une observation exploratoire a permis d'appréhender les comportements d'utilisation de documents procéduraux en situation quasi-usuelle. Par ailleurs, trois expériences ont éte réalisées pour étudier les effets de différents modes de présentation de l'information sur leur traitement. Dans une première expérience, sept formats de présentation d'instructions ont été examinés sur deux populations (hauts niveaux vs. Bas niveaux de scolarisation). Une seconde expérience a été conduite pour étudier les effets de la présentation d'une information organisatrice sur l'élaboratoin de représentation et sur les activités de contrôle effectuées au cours de l'exécution des instructions. Enfin, une troisième expérience a été conçue pour appréhender la nature des représentations induites par le traitement d'instructions textuelles ou graphiques. L'ensemble de ces tavaux a permis d'élaborer un modèle procédural de traitement des instructions, destiné à servir de support à la conception de documents. Ce "modèle de l'utilisateur" a abouti notamment à la réalisation de documents procéduraux permettant une "navigation " plus aisée à l'intérieur du document et facilitant l'apprentissage à partir d'instructions
The aim of the work reported here was to transfer knowledge acquired in the field of psycholinguistics to the domain of technical writing and, in particular, to that of writing instructions. Several studies carried out in natural situations and in laboratory suggested theorical research and applications. A preliminary observation allowed to apprehend users'behaviors when dealing with procedural documents. Furthermore, three studies were carried out to investigate the effects of different instructional formats on how users processed instructional documents. In the first experiment, seven formats of instructions were tested with two groups of adults at two levels of education (high vs. Low levels of schooling). The second experiment assessed the effects of an advanced organizer on the elaboration of a representation and a control activities during the execution of instructions. The third experiment explored users' representations induced by processing textual or graphic instructions. These investigations allowed to developp a procedural model of processing instructions aimed at helping technical writers to design procedural documents. This "user-model" helped to improve markedly the quality of documents, facilitated searching, and lead to a greater understanding of the instructions
APA, Harvard, Vancouver, ISO, and other styles
11

Cogis, Danièle. "Productions graphiques et procédures dans l'acquisition des marques de genre en français par les enfants entre huit et onze ans." Paris 3, 1999. http://www.theses.fr/1999PA030066.

Full text
Abstract:
Dans le champ d'une linguistique de l'ecrit, la recherche vise a decrire les processus d'acquisition des marques de genre graphique en francais par les enfants entre 8 et 11 ans. Le corpus est constitue des graphies produites en redaction et des explications metagraphiques recueillies dans des entretiens non directifs. Se demarquant d'etudes sur les erreurs d'orthographe, ce double choix methodologique - l'orthographe au cours de l'ecriture qui la fonde, la prise en compte de l'enfant comme sujet, capable d'analyses metalinguistiques - se revele essentiel pour apprehender les processus d'acquisition (10 partie). Il ressort que les enfants elaborent des conceptions qui leur sont propres ; mais leur + conscience du genre ; (ii0 partie) se revele liee au fonctionnement de cette categorie (classes et cadres syntaxiques des unites, mode de variation oral et ecrit differenciant deux sousensembles morphologiques), ainsi qu'a son fonctionnement graphique (la marque e est tantot un phonogramme diacritique, tantot un morphogramme). Le genre en francais fonctionne donc sur les deux principes (phonographique et semiographique) qui organisent les systemes d'ecriture. Ces principes permettent de rendre compte des procedures sous-jacentes aux productions graphiques enfantines, lesquelles s'inscrivent dans les potentialites offertes par un systeme graphique fondamentalement mixte. L'analyse permet de proposer un cadre explicatif du trajet d'acquisition, inspire de modeles constructivistes : un premier systeme de connaissances (partiellement inconscient) laisse sa place a un second systeme ou l'identification des classes et des relations syntaxiques apparait cruciale, et ou interferent la subjectivite du langage et la relation avec la difference des sexes (iiie partie). L'ontogenese met ainsi en lumiere certains aspects (modes de determination du genre, relations enonciatives) d'une notion linguistique qui se revele moins simple et moins evidente qu'il n'y parait
This work is a contribution to the field of linguistics of written language. Our study aims at describing the processes of acquisition of written gender marks in french among the 8 to 11 year old children. Our corpus is made of words found in children's written works and explanations on their spelling collected in spontaneous interviews. This work differs from previous studies on spelling impairs by this double methodological choice: i) morphography studied in written essays ; and ii) children considered as able to produce metalinguistic analysis. This choice of method prooves to be essential to understand the processes of spelling acquisition (1st part). It comes out that children build up their own understanding of written marks. Their + awareness of written gender ; (2nd part) seems to be closely linked to the functionning of this category as well as its written functionning in french. As a matter of fact, written gender relies on the two basic principles which rule the written systems (phonography and semiography). These principles allow to understand the underlying processes in children written productions. The study leads to a possible frame for the acquisition of written gender marks, inspired by the constructivist model: a first partially unconscious knowledge system is replaced by a second one where identification of syntactic classes and relations appears to be crucial, and where language subjectivity and the connection with sex gender are somehow mingled (3 rd part). Thus ontogenesis sheds some light on some pecularities of the linguistic notion of gender which appears to be not so simple and clear
APA, Harvard, Vancouver, ISO, and other styles
12

Floccia, Caroline. "Perception de la parole et apprentissage chez le nouveau-né : étude méthodologique de la procédure de renforcement des succions de haute amplitude." Paris, EHESS, 1996. http://www.theses.fr/1996EHES0128.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Gianola, Lucie. "Aspects textuels de la procédure judiciaire exploitée en analyse criminelle et perspectives pour son traitement automatique." Thesis, CY Cergy Paris Université, 2020. http://www.theses.fr/2020CYUN1065.

Full text
Abstract:
L’analyse criminelle est une discipline d’appui aux enquêtes pratiquée au sein de la Gendarmerie Nationale. Elle repose sur l’exploitation des documents compilés dans le dossier de procédure judiciaire (auditions, perquisitions, rapports d’expertise, données téléphoniques et bancaires, etc.) afin de synthétiser les informations collectées et de proposer un regard neuf sur les faits examinés. Si l’analyse criminelle a recours à des logiciels de visualisation de données (i. e. Analyst’s Notebook d’IBM) pour la mise en forme des hypothèses formulées, la gestion informatique et textuelle des documents de la procédure est entièrement manuelle. Or, l’analyse criminelle s’appuie entre autres sur le concept d’entités pour formaliser son travail.La présentation du contexte de recherche détaille la pratique de l’analyse criminelle ainsi que la constitution du dossier de procédure judiciaire en tant que corpustextuel.Nous proposons ensuite des perspectives pour l’adaptation des méthodes de traitement automatique de la langue (TAL) et d’extraction d’information au cas d’étude, notamment la mise en parallèle des concepts d’entité en analyse criminelle et d’entité nommée en TAL. Cette comparaison est réalisée sur les plans conceptuels et linguistiques. Une première approche de détection des entités dans les auditions de témoins est présentée.Enfin, le genre textuel étant un paramètre à prendre en compte lors de l’appli-cation de traitements automatiques à du texte, nous construisons une structuration du genre textuel « légal » en discours, genres et sous-genres par le biais d’une étude textométrique visant à caractériser différents types de textes (dont les auditions de témoins) produits par le domaine de la justice
Criminal analysis is a discipline that supports investigations practiced within the National Gendarmerie. It is based on the use of the documents compiled in the judicial procedure file (witness interviews, search warrants, expert reports, phone and bank data, etc.) to synthesize the information collected and to propose a new understanding of the facts examined. While criminal analysis uses data visualization software (i. e. IBM Analyst’s Notebook) to display the hypotheses formulated, the digital and textual management of the file documents is entirely manual. However, criminal analysis relies on entities to formalize its practice.The presentation of the research context details the practice of criminal analysis as well as the constitution of judicial procedure files as textual corpora.We then propose perspectives for the adaptation of natural language processing(NLP) and information extraction methods to the case study, including a comparison of the concepts of entity in criminal analysis and named entity in NLP. This comparison is done on the conceptual and linguistic plans. A first approach to the detection of entities in witness interviews is presented.Finally, since textual genre is a parameter to be taken into account when applying automatic processing to text, we develop a structure of the « legal » textual genre into discourse, genres, and sub-genres through a textometric study aimed at characterizing different types of texts (including witness interviews) produced by the field of justice
APA, Harvard, Vancouver, ISO, and other styles
14

Berthaud, Elena. "Acquisition des phénomènes linguistiques complexes en roumain langue maternelle (enfants de 6 à 10 ans)." Thesis, Paris 5, 2012. http://www.theses.fr/2012PA05H030.

Full text
Abstract:
Ce travail de recherche a pour objectif d’expliquer comment des enfants d’âges différents acquièrent des phénomènes linguistiques supposés complexes en roumain langue maternelle. Dans cette recherche nous avons retenu les phénomènes complexes suivants :- les verbes complexes ;- les relatives explicatives et déterminatives ;- les prédications complexes à deux compléments locatifs et deux temporels ;- les prédications complexes par réduction de deux prédications simples et- les prédications à trois verbes opérateurs.Pour décrire le parcours acquisitionnel des enfants, nous avons décrit les procédures de reformulation que des enfants de 6, 8, et 10 ans mettent en place lorsqu’ils restituent une histoire venant de leur être lue. Après l’analyse des procédures de reformulation pour chaque tranche d’âge nous sommes arrivées aux conclusions suivantes :A 6 ans :- les enfants ont tendance à effacer ou à simplifier les verbes complexes. Ces verbes complexes sont remplacés par des verbes lexicalement plus simples et plus fréquents.- les enfants restituent souvent les énoncés sources par des reformulations partielles et lacunaires.- ils ont tendance à reformuler la suite principale-relative en ne gardant que la principale. A cet âge les enfants utilisent un lexique simple, plus courant ou moins contraint.A 8 ans :- les enfants diversifient de plus en plus leurs procédures de reformulation : répétition, paraphrase sémantique, fonctionnelle et restructuration. Toutefois, la procédure de reformulation majoritaire est la paraphrase définitoire analytique lacunaire ce qui confirme le fait que les verbes complexes constituent un phénomène linguistique complexe.- les enfants reformulent les relatives explicatives en un nombre nettement supérieur par rapport aux enfants de 6 ans. Ils diversifient beaucoup plus les procédures de reformulation paraphrastique. Certaines reformulations maintiennent le degré de complexité de l’énoncé source (synthétisation de deux informations en un mot). Toutefois, les enfants à cet âge ont encore des difficultés à reformuler une relative déterminative contenant une métaphore ou à reformuler une prédication complexe composée de deux prédications élémentaires.A 10 ans :- les enfants reformulent sans difficulté les énoncés qui contiennent des relatives explicatives. Ils produisent un nombre supérieur de reformulations par paraphrase sémantique par rapport aux plus jeunes. C’est à cet âge également qu’ils complexifient de plus en plus les énoncés sources, cas de reformulation définitoire analytique complète et restructurations des deux prédications en sont un exemple.A cet âge, les enfants n’ont pas encore acquis les énoncés qui ont un haut degré de complexité syntaxique et sémantique comme la relative déterminative avec une métaphore, ce qui confirme l’hypothèse de la complexité de ce phénomène
The aim of this research is to explain how children of different ages acquire linguistic phenomena which are supposed to be complex in Romanian as a mother-tongue language. In this research, we selected the following complex phenomena:- Complex verbs;- Non-restrictive and restrictive relative clauses;- Complex predication with two locative and two temporal complements.- Complex predication by reduction of two simple predications and- Predication with three operator verbsTo describe the learning path of children, we described the reformulation procedures that children aged 6, 8 and 10 follow when they reproduce a story that has just been read to them. After analyzing the reformulation procedures for each age group, we came to the following conclusions:At 6 years:- children tend to erase or simplify complex verbs. These complex verbs are replaced by lexically simpler and more frequent verbs.- they often reproduce source phrases by partial and incomplete reformulations.- they tend to reformulate relative clauses by simple phrases with a single predicate or erase information of complex phrases (non-restrictive and restrictive relatives). At this age, children use simple, more frequent or less restrained vocabulary.At 8 years:- children increasingly diversify their reformulation procedures: repetition, semantic and functional paraphrasing and restructuring. However, the reformulation procedure which is widely used is the incomplete analytical definitional paraphrase which confirms the fact that complex verbs constitute a complex phenomenon.- At this age, the number of reformulated non-restrictive clauses is significantly high as compared to that of children at the age of 6 year. They diversify much more paraphrastic reformulation procedures. Some reformulations maintain the same degree of complexity as the source phrases (synthesizing information). However, children at this age still have difficulties reformulating restrictive relative clauses that contains a metaphor or reformulating a complex predication composed of two elementary predications.At 10 years:- children reformulate non-restrictive phrases without any difficulties. They produce a high number of reformulations by semantic paraphrasing as compared to younger children. It is also at this age that they increasingly complexify the source phrase (the case of complete analytical definitional reformulation and restructuring of the two predications are good examples).- At this age, children have not yet acquired phrases with high degree of syntactic and semantic complexity such as the restrictive relative clauses with a metaphor, which confirms the hypothesis that this phenomenon is complex
APA, Harvard, Vancouver, ISO, and other styles
15

Martin, Laurence. "S'entraîner à expliquer une procédure instrumentale : ethnographie multisituée d'un projet filmique mené avec des aides à domicile engagées dans une formation en français langue étrangère." Thesis, Montpellier 3, 2020. http://www.theses.fr/2020MON30023.

Full text
Abstract:
Cette recherche porte sur des activités fortement multimodales constituantes d’un projet vidéo mené en collaboration avec des aides à domicile, dans le contexte de la formation linguistique des adultes. Ces activités centrées sur l’explication de procédures sont réalisées dans diverses situations, faiblement ou fortement instrumentées (oral spontané en groupe, simulation, tournage face caméra) et participent au processus d’appropriation de la langue en plaçant l’apprenant dans un rôle d’expert. Des observations participantes, menées dans une approche ethnographique, soutenues par des enregistrements audiovisuels, ont permis de rassembler un corpus que nous avons organisé en deux collections principales. Nos analyses qui s’appuient sur ces données, s’intéressent à la dynamique des actions et des interactions situées et multisenrorielles (actions verbales, gestes, manipulation des objets, disposition des corps, déplacements), développées par les participantes dans ces situations. Elles interrogent les notions goffmaniennes de cadre, de position, d’engagement et de réitération. Cette approche écologique de l’activité humaine, assez récente en science du langage, met en évidence la multimodalité des ressources déployées lors de ces activités didactiques, ainsi que leur articulation à l’environnement dans sa dimension sociale et matérielle
This research examines highly multimodal activities constituting a video project conducted in collaboration with home helpers, in the context of adult language training. The activities under study focus on explaining procedures carried out in various situations, weakly or heavily instrumented (spontaneous group oral, simulation, camera-facing shooting) and participate in the process of appropriation of the foreign language by placing the learner in an expert role. Participant observations in an ethnographic approach, supported by audiovisual recordings of these activities, brought together a corpus that we organized into two main collections. They are based primarily on these data. They deal with the dynamics of multi-sensory, situated actions and interactions (verbal actions, gestures, object manipulations, body placements, movements), as they were developed by the participants. They also discuss the Goffmanian notions of framework, position, commitment and reiteration. This ecological approach to human activity, relatively recent in language science, highlights the multimodality of the resources deployed in those educational situations, and shows their connection with the environment in its social and material dimensions
APA, Harvard, Vancouver, ISO, and other styles
16

Ruel, Clémentine. "Acquisition de la complexité linguistique en anglais langue maternelle et en français langue étrangère." Thesis, Sorbonne université, 2018. http://www.theses.fr/2018SORUL164.

Full text
Abstract:
Ce travail de recherche se base sur l’hypothèse acquisitionnelle suivante : dans l’acquisition de leur langue maternelle les enfants produisent leurs propres énoncés à partir d’énoncés entendus préalablement en passant par des transformations appelées « reformulations ». Cette recherche comprend l’analyse des procédures de reformulation et de certains phénomènes complexes dans des productions orales en anglais langue maternelle (ALM) d’enfants de 8 et 10 ans et l’analyse des procédures de reformulation dans des productions orales en français langue étrangère (FLE) d’adolescents après environ 4 ans et demi d’apprentissage. A 8 ans en ALM, les enfants cherchent à simplifier les énoncés sources. A 10 ans, les enfants utilisent un plus grand nombre de procédures de reformulation différentes et ils utilisent plus de procédures de reformulation considérées comme complexes. Comme à 8 ans, les enfants de 10 ans ont toujours tendance à simplifier certains verbes complexes. Ceci montre également que ces verbes sont effectivement complexes. Enfin, les enfants reformulent plus souvent les relatives sources par des relatives que les enfants de 8 ans. Vers 17 ans et après environ 4 ans et demi d’apprentissage du FLE, la maîtrise de l’anglais langue maternelle jouerait un rôle déterminant dans l’acquisition du français langue étrangère : grâce à la proximité syntaxique de l’anglais et du français et à leur âge, les adolescents produisent plus de procédures de reformulation complexes. Les adolescents ont tendance à simplifier les énoncés sources quand l’énoncé source est complexe au niveau lexical comme les enfants en ALM
This research is based on the new hypothesis on acquisition: in the course of the acquisition of their mother tongue, children produce their own utterances from previously heard utterances using transformations called “reformulations”. It consists of the analysis of the reformulation procedures and of some complex phenomena in children aged 8 and 10 years-old’s oral productions in English as a mother tongue (EMT) and of Analysis of the reformulation procedures in teenagers’ oral productions in French as a foreign language after approximately 4 to 5 years of learning.At 8 years-old in EMT, children tend to simplify the source utterances. At 10 years-old, children use a larger number of different kinds of reformulation procedures and they use more complex reformulation procedures. As at 8 years-old, 10-year-old children still tend to simplify some complex verbs. This also shows that these verbs are indeed complex. Lastly, children reformulate more often the source relative clauses with relative clauses than 8-year-old children. Towards 17 years-old and after 4 to 5 years of learning French as a foreign language (FFL), mastering the mother tongue would be a determinant factor in the acquisition of FFL: due to the syntactic proximity between the English and the French languages and to their age, teenagers produce paraphrases that are more complex. Teenagers tend to simplify source utterances when the source utterance is complex at a lexical and syntactical level, as do the children with English as a mother tongue
APA, Harvard, Vancouver, ISO, and other styles
17

Nguyen, Thi Viet Nga. "Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code." Paris, ENMP, 2002. http://www.theses.fr/2002ENMP1113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Lenart, Ewa. "Acquisition des procédures de détermination nominale dans le récit en français et polonais L1, et en français L2 Étude comparative de deux types d'apprenant : enfant et adulte." Phd thesis, Université Paris VIII Vincennes-Saint Denis, 2006. http://tel.archives-ouvertes.fr/tel-00124849.

Full text
Abstract:
Cette étude explore l'acquisition des procédures de détermination nominale, c'est-à-dire au sens large, la construction de la référence aux entités, dans le récit des enfants francophones et polonophones de 4, 7 et 10 ans, et des adultes polonophones débutants et avancés en français L2. Peu d'études ont analysé le cas du polonais dans une perspective acquisitionnelle. L'interaction des règles phrastiques et discursives – qui déterminent l'utilisation d'une forme particulière du syntagme nominal dans un contexte particulier, a permis de déceler la spécificité de chaque type d'apprenant. Chez l'enfant, les résultats montrent une acquisition tardive des fonctions intra-discursives, liée à l'absence de prise en considération des connaissances partagées avec l'interlocuteur. L'apprenant adulte s'appuie en revanche sur les connaissances discursives acquises à travers sa langue maternelle et acquiert une nouvelle formulation linguistique pour s'acquitter minimalement de la tâche.
APA, Harvard, Vancouver, ISO, and other styles
19

Faustino, Pauline. "De la justice à la fiction : Gianrico Carofiglio et le roman judiciaire." Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAC011.

Full text
Abstract:
L'entrée de Gianrico Carofiglio sur la scène littéraire, en 2002, a permis l'affirmation d'un genre qui, jusque-là, semblait l'apanage de la production américaine. Le roman de procédure italien, écrit par des juristes et offrant une représentation réaliste de l'univers judiciaire, est en plein essor en Italie et rencontre un lectorat important. Cette thèse tente d'en dégager les spécificités et d'en expliquer le succès au travers de l'analyse des cinq romans centrés sur le personnage de ''l'avvocato Guerrieri"
The entry of Gianrico Carofiglio on the literary scene in 2002 allowed the affirmation of a genre that until then seemed the preserve of the American production. The ltalian legal thriller, written by jurists and offering a realistic representation of the judiciary, is growing in Italy and meets an important readershp. This thesis attempts to identify its specificities and explain its success through the analysis of the five novels centered on the character of the avvocato Guerrieri
APA, Harvard, Vancouver, ISO, and other styles
20

Urbain, Charline. "Learning and memory consolidation processes in children and adults: a neurophysiological and neuropsychological investigation." Doctoral thesis, Universite Libre de Bruxelles, 2012. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209571.

Full text
Abstract:
Learning and memory consolidation processes in children and adults: a

neurophysiological and neuropsychological investigation.

Sleep is a complex and active state of the brain, associated with essential functional changes

[1]. Accumulated evidence in the adult population indicates that sleep participates in the

consolidation of declarative (i.e. memory for facts and episodes) and procedural (i.e. skills

and habits) memory, allowing novel information to be integrated for the long term in cerebral

networks [2]. Whether sleep supports memory consolidation in children likewise and to the

same extent than in adults remains disputed. In this framework, I have developed

experiments aimed at investigating sleep-dependent consolidation processes both in children

and adults, using behavioral and neurophysiological techniques (magneto-encephalography

[MEG]; electro-encephalography [EEG]; functional magnetic resonance imaging [fMRI]). To

sum up, researches conducted during my PhD thesis have contributed to start unraveling

neurophysiological mechanisms participating in sleep-dependent consolidation processes.

On the one hand, I report that despite a lack of detectable behavioral differences, posttraining

sleep plays a role in reshaping the cerebral networks subtending implicit motor

sequence learning in adults [3]. I also showed using a motor adaptation task [4] that sleep

contributes to the consolidation of procedural memory in children [5]. On the other hand, I

have evidenced neuromagnetic correlates of learning novel semantic representations in

children [6-7], and is currently finalizing the analysis of the effect of a post-training nap on the

consolidation of these representations. Finally, I showed in epileptic children that interictal

epileptic discharges (IED) during sleep impairs declarative memory consolidation processes

[8-9], and that this phenomenon is reversible upon pharmacological treatment suppressing

IED. Altogether, these findings advocate the need to explore further memory consolidation

and its neurophysiological basis in children, both healthy and suffering from various brain

pathologies [10].

[1] Urbain C. Peigneux, P. & Schmitz R. Sleep and the Brain. (to appear). In The Oxford Handbook of

Sleep and Sleep Disorders. C. M. Morin and C. A. Espie (Eds.). Oxford University Press, Oxford, NY.

[2] Peigneux P. Schmitz R. & Urbain C. Sleep and Forgetting. In Forgetting. S. Della Sala (Ed.).

Psychology Press, Hove, UK. 2010. (pp. 165-184).

[3] Urbain C. Schmitz R. Schmidt C. Cleeremans A. Van Bogaert P. Maquet P. and Peigneux P.

(submitted). Neuroanatomical Sleep-Dependent Processing in the Probabilistic Serial Reaction Time

Task.

[4] Huber, R. Ghilardi, M.F. Massimini, M. And Tononi, G. Local sleep and learning. Nature, 2004,

430, 78-84.

[5] Urbain C. Houyoux E. Albouy G. Peigneux P. (in preparation). Sleep-dependent consolidation of

procedural learning in children.

[6] Urbain C. Schmitz R. Op De Beeck M. Bourguignon M. Galer S. X. De Tiège, Van Bogaert P.

and Peigneux P. (in preparation). How learning new meanings about novel objects modulates cerebral

activity in children: A MEG Study.

[7] Urbain C. Schmitz R. Bourguignon M. Op De Beeck M. Galer S, De Tiège X. Van Bogaert P.

Peigneux P. (2011). Learning and Fast-Mapping Meanings to Novel Object in Children: A MEG Study.

17th Annual Meeting of the Organization for Human Brain Mapping [HBM], 26-30 June 2011, Québec

City, Canada

[8] Urbain C. et al. Is sleep-related consolidation impaired in focal idiopathic epilepsies of childhood?

A pilot study, Epilepsy and Behavior, 2011, 22(2), 380-384.

[9] Van Bogaert P. Urbain C. Galer S. Ligot N. Peigneux P. and De Tiège X. Impact of focal

interictal epileptiform discharges on behaviour and cognition in children. Neurophysiologie

Clinique/Clinical Neurophysiology, 2012, 42(1–2), 53-58.
Doctorat en Sciences Psychologiques et de l'éducation
info:eu-repo/semantics/nonPublished

APA, Harvard, Vancouver, ISO, and other styles
21

Messeri, Anne. "Terminologie juridique pénale et pénitentiaire biblingue français-italien assistée par ordinateur." Nice, 2001. http://www.theses.fr/2001NICE2006.

Full text
Abstract:
Ce corpus comprend un lexique de la terminologie pénale et pénitentiaire, française et italienne, élaboré à l'aide d'un système de gestion de base de données relationnelles. Cette démarche a consisté à replacer la terminologie dans un espace traductionnel, en privilégiant l'outil d'aide à la traduction ou OAT, branche de la traduction assistée par ordinateur ou TAO, qui réserve d'énormes possibilités de développement notamment l'adaptation et l'utilisation pour la traduction automatique. Il a fallu mener une étude comparative des systèmes pénaux français et italien pour appréhender de l'intérieur le langage juridique et tenter d'apporter une réponse à certaines des difficultés de fond que pose la traduction juridique, et qui viennent des disparités des systèmes judiciaires et de la diversité des droits pénaux entre Pays européens.
APA, Harvard, Vancouver, ISO, and other styles
22

Saetta, Sébastien. "L'intervention de l'expert psychiatre dans les affaires criminelles : de la production d'un discours à sa participation au jugement : Grand-Duché de Luxembourg et France." Phd thesis, Université Toulouse le Mirail - Toulouse II, 2012. http://tel.archives-ouvertes.fr/tel-00710892.

Full text
Abstract:
L'expert psychiatre, initialement convoqué dans les tribunaux afin d'évaluer la responsabilité pénale des auteurs d'infractions, s'est progressivement trouvé en charge de mesurer leur dangerosité. L'expertise de dangerosité tendrait-elle à remplacer celle de responsabilité ? Pour répondre à cette question, nous avons étudié au Luxembourg et en France le rôle qu'est aujourd'hui amené à jouer l'expert dans des juridictions criminelles. Son intervention, désormais systématique dans ce type de juridiction, se matérialise par la production d'un discours écrit et oral. Prenant acte de ce fait, ainsi que de l'importance du langage dans les champs judiciaire et psychiatrique, nous avons ancré ce travail dans le champ de l'analyse du discours, et avons étudié l'expertise et la justice en train de se dire. Une première partie se concentre sur la production et le contenu du discours que les experts soumettent à l'institution judiciaire, et une seconde sur la façon dont l'expertise est intégrée au jugement. Les experts, dont le discours est sous la surveillance de l'institution judiciaire, ne participent finalement à évaluer ni la responsabilité strictement pénale, ni la dangerosité. Leur discours, enchevêtré aux discours des autres acteurs de la procédure, alimente l'ensemble des débats ; il participe à l'évaluation de la responsabilité subjective et morale de l'accusé, tant pour déterminer le quantum de la peine que pour décider d'une mesure appropriée. Initialement extérieur à l'institution, et chargé de soustraire à la justice des personnes estimées irresponsables pénalement, l'expert participe désormais à la punition et au traitement de l'ensemble des auteurs de crime.
APA, Harvard, Vancouver, ISO, and other styles
23

Lang, Elodie. "L'écrit(ure) universitaire, une tâche située et complexe : approche holiste du processus d'adaptation de la compétence scripturale chez les apprenants avancés en FLE." Thesis, Strasbourg, 2019. http://www.theses.fr/2019STRAC024.

Full text
Abstract:
Cette thèse s’intéresse aux problématiques d’écrit(ure) universitaire que rencontrent les étudiants étrangers de niveau avancé, et en particulier aux phénomènes d’erreurs grammaticales non-conformes au niveau linguistique des apprenants liés à l’adaptation de leur compétence scripturale. Elle s’inscrit dans une perspective plurielle fondée sur le principe des Systèmes Dynamiques Complexes. La thématique est donc abordée par trois volets d’études (1) sociopsychologiques, (2) cognitives et (3) psychosociales permettant d’appréhender de manière holiste les processus en jeu dans l’appropriation des pratiques scripturales académiques. Cette thèse compte, d’une part, contribuer à la compréhension des difficultés linguistiques des étudiants en les considérant comme corrélatives des contraintes particulières des discours universitaires à produire dans le but, d’autre part, d’engager des réflexions sur la formation et l’accompagnement des apprenants
This thesis focuses on the academic writing problems encountered by advanced-level foreign students, and in particular the phenomena of grammatical errors that are not consistent with the linguistic level of learners related to the adaptation of their scriptural competence. This work is part of a plural perspective based on the principle of Complex Dynamic Systems. The theme is therefore addressed by three sociopsychological, (2) cognitive and (3) psychosocial studies that allow us to comprehend holistically the processes involved in the appropriation of academic scriptural practices. On the one hand, this thesis intends to contribute to the comprehension of the linguistic difficulties of the students by considering them as correlative of the particular constraints of the university discourses to produce with the aim, on the other hand, to engage reflections on the formation and the accompaniment of learners
APA, Harvard, Vancouver, ISO, and other styles
24

Bourgeois, Florent. "Système de Mesure Mobile Adaptif Qualifié." Thesis, Mulhouse, 2018. http://www.theses.fr/2018MULH8953/document.

Full text
Abstract:
Les dispositifs matériels mobiles proposent des capacités de mesure à l'aide de capteurs soit embarqués, soit connectés. Ils ont vocation à être de plus en plus utilisés dans des processus de prises de mesures. Ils présentent un caractère critique dans le sens où ces informations doivent être fiables, car potentiellement utilisées dans un contexte exigeant. Malgré une grande demande, peu d'applications proposent d'assister les utilisateurs lors de relevés exploitant ces capacités. Idéalement, ces applications devraient proposer des méthodes de visualisation, de calcul, des procédures de mesure et des fonctions de communications permettant la prise en charge de capteurs connectés ou encore la génération de rapports. La rareté de ces applications se justifie par les connaissances nécessaires pour permettre la définition de procédures de mesure correctes. Ces éléments sont apportés par la métrologie et la théorie de la mesure et sont rarement présents dans les équipes de développement logiciel. De plus, chaque utilisateur effectue des activités de mesure spécifiques au domaine de son champ d'activités, ce qui implique le développement d'applications spécifiques de qualité pouvant être certifiées par des experts. Ce postulat apporte la question de recherche à laquelle les travaux présentés répondent: Comment proposer une approche pour la conception d’applications adaptées à des procédures de mesures spécifiques. Les procédures de mesure pouvant être configurées par un utilisateur final La réponse développée est une "plateforme" de conception d'applications d'assistance à la mesure. Elle permet d'assurer la conformité des procédures de mesures sans l'intervention d'expert de la métrologie. Pour cela elle est construite en utilisant des concepts issus de la métrologie, de l'Ingénierie Dirigée par les Modèles et de la logique du premier ordre. Une étude du domaine de la métrologie permet de mettre en évidence la nécessité d'une expertise des procédures de mesure impliquées dans les applications. Cette expertise comprend des termes et des règles assurant l'intégrité et la cohérence d'une procédure de mesure. Un modèle conceptuel du domaine de la métrologie est proposé. Ce modèle conceptuel est ensuite intégré au processus de développement d'une application. Cette intégration se fait par un encodage de ce modèle conceptuel sous la forme d'un schéma des connaissances de la métrologie en logique du premier ordre. Il permet, la vérification du respect des contraintes inhérentes à la métrologie dans une procédure de mesure. Cette vérification est réalisée en confrontant les procédures de mesures au schéma sous forme de requêtes. Ces requêtes sont décrites à l'aide d'un langage proposé par le schéma. Les applications d'assistance à la mesure nécessitent d'exposer à l'utilisateur un processus de mesure impliquant relevés et affichages de mesures étape par étape. Cela implique de pouvoir décrire un processus de mesure et d'en définir les interfaces et le schéma d'évolution. Pour cela, un éditeur d'application est proposé. Cet éditeur propose un langage spécifique dédié à la description d'applications d'assistance à la mesure. Ce langage est construit à partir des concepts, formalismes et outils proposés par l'environnement de métamodélisation Diagrammatic Predicate Framework (DPF). Le langage comporte des contraintes syntaxiques prévenant les erreurs de construction au niveau logiciel tout en réduisant l'écart sémantique entre l'architecte logiciel l'utilisant et un potentiel expert de la métrologie. [...]
Mobile devices offer measuring capabilities using embedded or connected sensors. They are more and more used in measuring processes. They are critical because the performed measurements must be reliable because possibly used in rigorous context. Despite a real demand, there are relatively few applications assisting users with their measuring processes that use those sensors. Such assistant should propose methods to visualise and to compute measuring procedures while using communication functions to handle connected sensors or to generate reports. Such rarity of applications arises because of the knowledges required to define correct measuring procedures. Those knowledges are brought by metrology and measurement theory and are rarely found in software development teams. Moreover, every user has specific measuring activities depending on his field of work. That implies many quality applications developments which could request expert certification. These premises bring the research question the presented works answer : What approach enables the conception of applications suitable to specific measurement procedures considering that the measurement procedures could be configured by the final user. The presented works propose a platform for the development of measuring assistant applications. The platform ensure the conformity of measuring processes without involving metrology experts. It is built upon metrology, model driven engineering and first order logic concepts. A study of metrology enables to show the need of applications measuring process expert evaluation. This evaluation encompasses terms and rules that ensure the process integrity and coherence. A conceptual model of the metrology domain is proposed. That model is then employed in the development process of applications. It is encoded into a first order logic knowledge scheme of the metrology concepts. That scheme enables to verify that metrology constraints holds in a given measuring process. The verification is performed by confronting measuring processes to the knowledge scheme in the form of requests. Those requests are described with a request language proposed by the scheme. Measuring assistant applications require to propose to the user a measuring process that sequences measuring activities. This implies to describe a measuring process, and also to define interactive interfaces and sequencing mechanism. An application editor is proposed. That editor uses a domain specific language dedicated to the description of measuring assistant applications. The language is built upon concepts, formalisms and tools proposed by the metamodeling environment : Diagrammatic Predicat Framework (DPF). The language encompasses syntactical constraints that prevent construction errors on the software level while reducing the semantical gap between the software architect using it and a potential metrology expert. Then, mobile platforms need to execute a behaviour conforming to the editor described one. An implementation modelling language is proposed. This language enables to describe measuring procedures as sequences of activities. Activities imply to measure, compute and present values. Quantities are all abstracted by numerical values. This eases their computation and the use of sensors. The implementation model is made up of software agents. A mobile application is also proposed. The application is built upon a framework of agents, an agent network composer and a runtime system. The application is able to consider an implementation model and to build the corresponding agent network in order to propose a behaviour matching the end users needs. This enables to answer to any user needs, considering he can access to the implementation model, without requiring to download several applications
APA, Harvard, Vancouver, ISO, and other styles
25

Nouët, Clotilde. "L'hétéronomie du discours : une approche critique de la philosophie politique de Jürgen Habermas." Thesis, Paris 1, 2017. http://www.theses.fr/2017PA01H224.

Full text
Abstract:
Nous proposons dans cette thèse une approche critique de la philosophie politique de Jürgen Habermas, qui vise à interroger la conception du discours sur laquelle elle se fonde. De ses premiers textes sur «l’espace public» à la théorie politique et du droit qu’élabore Droit et démocratie, Habermas approfondit l’intuition selon laquelle c’est à travers une certaine pratique du discours argumenté que se forment les espaces de communication, de délibération, et de décision, sans la vitalité desquels la démocratie ne saurait être «radicale». Il convient dès lors de reconstruire cette théorie du discours qui sous-tend sa pensée politique, aux différents niveaux où elle est opératoire : la pratique du langage ordinaire qui est la nôtre lorsque nous communiquons dans la vie de tous les jours ; celle que nous mettons en œuvre en tant que sujets politiques lorsque nous revendiquons des droits dans l’espace public ; celle enfin qui nous permet d’argumenter selon un point de vue moral lorsqu’il s’agit de déterminer les principes de justice. Nous défendons la thèse selon laquelle les normes fondamentales du discours, qu’Habermas établit à un niveau quasi transcendantal, doivent être reconduites à une hétéronomie qui est celle des conditions matérielles du discours. La philosophie sociale d’inspiration matérialiste qu’Horkheimer s’emploie à construire dans les années 1930 ouvre la voie d’une telle analyse. Nous reconstituons à cet effet le débat interne à l’École de Francfort sur la question de savoir comment le matérialisme critique de Marx doit être interprété
In this dissertation I offer a critical examination of Jurgen Habermas’s political philosophy while questioning the conception of discourse which it is grounded in. From his first texts on the “public space” to the legal and political theory elaborated in Law and Democracy, Habermas explores the intuition that it is through a certain practice of argumentative discourse that spaces of communication, deliberation and decision are formed, the vitality of which is crucial to a truly “radical” democracy. The theory of discourse underpinning his political thought must hence be reconstructed at the different levels it operates on, including the practice of ordinary language through which we communicate in everyday life, the discourse we apply as political subjects when we claim rights in the public space, and the discourse which enables us to form arguments from a moral point of view when principles of justice need to be determined. My thesis supports the idea that fundamental norms of discourse, which Habermas establishes on a quasi-transcendental level, must be confronted to the heteronomy of material conditions of discourse. The materialist-derived philosophy which Horkheimer strove to reconstruct in the 1930s paves the way for this analysis. I therefore reconstitute the debate within the Frankfurt School on the question of how Marx’s historical materialism should be interpreted
APA, Harvard, Vancouver, ISO, and other styles
26

Tout, Rabih. "Sauvegarde des données dans les réseaux P2P." Phd thesis, Université Claude Bernard - Lyon I, 2010. http://tel.archives-ouvertes.fr/tel-00731829.

Full text
Abstract:
Aujourd'hui la sauvegarde des données est une solution indispensable pour éviter de les perdre. Plusieurs méthodes et stratégies de sauvegarde existent et utilisent différents types de support. Les méthodes de sauvegarde les plus efficaces exigent souvent des frais d'abonnement au service liés aux coûts du matériel et de l'administration investis par les fournisseurs. Le grand succès des réseaux P2P et des applications de partage de fichiers a rendu ces réseaux exploitables par un grand nombre d'applications surtout avec la possibilité de partager les ressources des utilisateurs entre eux. Les limites des solutions de sauvegarde classiques qui ne permettent pas le passage à l'échelle ont rendu les réseaux P2P intéressants pour les applications de sauvegarde. L'instabilité dans les réseaux P2P due au taux élevé de mouvement des pairs, rend la communication entre les pairs très difficile. Dans le contexte de la sauvegarde, la communication entre les nœuds est indispensable, ce qui exige une grande organisation dans le réseau. D'autre part, la persistance des données sauvegardées dans le réseau reste un grand défi car la sauvegarde n'a aucun intérêt si les données sauvegardées sont perdues et que la restauration devient impossible. L'objectif de notre thèse est d'améliorer l'organisation des sauvegardes dans les réseaux P2P et de garantir la persistance des données sauvegardées. Nous avons donc élaboré une approche de planification qui permet aux nœuds de s'organiser dans le but de mieux communiquer entre eux. D'autre part, pour garantir la persistance des données sauvegardées, nous avons proposé une approche de calcul probabiliste qui permet de déterminer, selon les variations dans le système, le nombre de répliques nécessaire pour qu'au moins une copie persiste dans le système après un certain temps défini. Nos approches ont été implémentées dans une application de sauvegarde P2P.
APA, Harvard, Vancouver, ISO, and other styles
27

Saleil, Baptiste. "Simple optimizing JIT compilation of higher-order dynamic programming languages." Thèse, 2019. http://hdl.handle.net/1866/22661.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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!

To the bibliography