Relevant bibliographies by topics / Langue calque / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Langue calque.

Dissertations / Theses on the topic 'Langue calque'

Author: Grafiati
Published: 11 January 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Langue calque.'

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

Attigui, Mohamed. "Les mots arabes en hébreu moderne et vice-versa." Paris 8, 2003. http://www.theses.fr/2003PA082632.

Full text
Abstract:
La thèse est divisée en trois parties, la première est théorique quant aux deuxième et troisième sont pratiques. La première est constituée de six chapitres, qui traitent des caractéristiques et du parcours des deux langues depuis la renaissance jusqu’à la modernisation. Dans les chapitres suivants on a étudié les différences et les ressemblances dans l’évolution des deux langues et la situation linguistique en Israël. La deuxième partie est composée de quatre chapitres, elle étudie les différentes sortes d’emprunts en hébreu, avec une analyse sémantique, phonétique et morphologique. La troisi
APA, Harvard, Vancouver, ISO, and other styles
2

Tran, Thanh Binh Minh. "Façons de parler bilingue franco-vietnamien dans les conversations quotidiennes au sein des familles vietnamiennes immigrées en France." Nice, 2006. http://www.theses.fr/2006NICE2013.

Full text
Abstract:
Issues de l’immigration, les familles vietnamiennes installées en France à Nice, Lyon et Paris sont un haut-lieu de transmission intergénérationnelle de la langue et de la culture, qui feront l’objet d’une enquête d’observation participante concrétisée sous la forme d’un corpus contenant des conversations enregistrées dans le contexte de vie quotidienne. Privilégiant la compétence communicative du locuteur, l’analyse conversationnelle, au niveau qualitatif, des interactions produites montre que le vietnamien au contact du français se trouve modifié dans l’usage par des emprunts, calques et alt
APA, Harvard, Vancouver, ISO, and other styles
3

Boufarraoui, Abdelkrim. "L'emprunt et le calque en arabe et en hébreu moderne à travers les instruments et les noms d'instruments, corpus tiré de deux dictionnaires : le "Mu'jam 'al Wassît" de l'Académie de langue arabe du Caire et le "Milon hé Hadas" d'Avraham 'Even Sosan." Paris 5, 1990. http://www.theses.fr/1990PA05H005.

Full text
Abstract:
La présente thèse entre dans le cadre d'une étude comparative concernant l'arabe et l'hébreu moderne. Le sujet s'intéresse exclusivement à la formation de l'emprunt et du calque, en partant des noms d'instrument et des instruments. La matière de notre recherche a été tirée de deux dictionnaires datant, a peu près, de la même période historique. Notre travail consiste à tenter d'expliquer la formation de l'emprunt et du calque, tout en faisant appel aux critères: morphologiques, phonologique, voire étymologique. Il s'en suit l'étude du paradigme lexical, de la structure syllabique, du stress, d
APA, Harvard, Vancouver, ISO, and other styles
4

Leibiusky, Javier. "Edition critique et annotée du MEʿAM LOʿEZ sur PIRQEY ʾAVOT d'Isaac Magriso (Constantinople, 1753), étude de la langue et du commentaire". Electronic Thesis or Diss., Paris, INALCO, 2024. http://www.theses.fr/2024INAL0009.

Full text
Abstract:
Cette thèse est d’abord une édition critique du MEʿAM LOʿEZ de PIRQEY ʾAVOT d’Isaac Magriso (Constantinople, 1753). Le MEʿAM LOʿEZ est un grand commentaire biblique en langue judéo-espagnole initié par le rabbin Jacob Huli dans les années 1720 à Constantinople, PIRQEY ʾAVOT est inclus dans le commentaire de Lévitique. Le commentaire est rédigé dans un judéo-espagnol particulier et imprimé en caractères hébreux rashi.La thèse établit le texte, le rend lisible et compréhensible grâce à une graphie adaptée, une ponctuation rétablie, et un glossaire final détaillé. Le texte est accompagné d’un app
APA, Harvard, Vancouver, ISO, and other styles
5

Lecaudé, Peggy. "La notion de puissance : les équivalents latins du grec dynamis." Thesis, Paris 4, 2010. http://www.theses.fr/2010PA040210.

Full text
Abstract:
Le mot dynamis est un terme fondamental dans la pensée grecque, non seulement en philosophie, où il prend une importance singulière à partir d’Aristote, mais aussi en médecine, en sciences de la nature ou en mathématiques. La présente étude s’attache à mettre en évidence les équivalents de traduction que lui ont assignés les traducteurs et les auteurs latins, à l’époque classique et en latin tardif ou médiéval, selon une double approche. En premier lieu, il s’agit, dans une perspective onomasiologique d’identifier les modes d’apparition de dynamis et des mots de sa famille dans un choix de tex
APA, Harvard, Vancouver, ISO, and other styles
6

Sebotsa, Mosisili. "La contribution de la traduction à l'expansion lexicale du sesotho." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSE2121/document.

Full text
Abstract:
Si la traduction est simplement définie comme un processus de communication bilingue dont le but général est de reproduire en langue cible un texte qui soit fonctionnellement équivalent au texte de départ (Reiss 2004 : 168-169), l’approche empruntée dans la présente thèse est celle d’une opération interculturelle et systématique qui vise à capturer le message issu d’une langue étrangère, à le décrypter en tenant en compte des nuances culturelles ou inhérentes à la discipline, et à le rendre le plus clairement possible en se servant d'éléments linguistiques et extralinguistiques compréhensibles
APA, Harvard, Vancouver, ISO, and other styles
7

Thévenon, Patrick. "Vers un assistant à la preuve en langue naturelle." Chambéry, 2006. http://www.theses.fr/2006CHAMS036.

Full text
Abstract:
Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle. L'architecture générale du système se décrit en 4 phases : 1. Analyse de la démonstration par des outils linguistiques ; 2. Traduction de la démonstration dans un langage restreint ; 3. Interprétation du texte traduit en un arbre de règles de déduction ; 4. Validation des règles de déduction à l'aide d'un démonstrateur automatique. Ce projet a mobilisé des équipes de lingui
APA, Harvard, Vancouver, ISO, and other styles
8

Nicolas, Christian. "Recherches sur les calques sémantiques de termes grecs en latin." Paris 4, 1993. http://www.theses.fr/1993PA040010.

Full text
Abstract:
Le procede du calque semantique (alias emprunt de sens) a ete couramment utilise par les auteurs latins, plus ou moins consciemment, notamment dans des ouvrages techniques. On constate alor qu'un terme latin accroit le nombre de ses significations sur le modele d'un terme grec a qui il ressemble semantiquement. Apres des chapitres theoriques, terminologiques et methodologiques, l'ouvrage etudie des cas concrets : casus-ptosis, natura-physis, ratio-logos, causa-aitia et gratia-kharis, avant de s'elargir sur un chapitre de bilans et de perspectives<br>Latin writers often used the process of sema
APA, Harvard, Vancouver, ISO, and other styles
9

Peña, Marcela. "Rôle du calcul statistique dans l'acquisition du langage." Paris, EHESS, 2002. http://www.theses.fr/2002EHESA069.

Full text
Abstract:
Apprendre une langue exige d'apprendre des mots et de les combiner grâce à des règles grammaticales. Dans cette thèse, j'étudie le rôle du calcul des probabilités transitionnelles pour segmenter la parole continue, découvrir des candidats aux mots et apprendre des structures. Les résultats obtenus confirment que les calculs statistiques accomplis entre syllabes adjacentes, non-adjacentes, et entre consonnes peuvent contribuer à la segmentation de la parole continue et pourraient jouer un rôle dans l'acquisition du lexique. Je montre que la généralisation de la structure des items segmentés ne
APA, Harvard, Vancouver, ISO, and other styles
10

Lebranchu, Julien. "Étude des phénomènes itératifs en langue : Inscription discursive et Calcul aspectuo-temporel, vers un traitement automatisé." Phd thesis, Université de Caen, 2011. http://tel.archives-ouvertes.fr/tel-00664788.

Full text
Abstract:
Cette thèse s'inscrit dans le domaine du traitement automatique des langues, et concerne l'étude des phénomènes itératifs en langue. Il s'agit notamment de rendre compte de la sémantique de procès exprimant une répétition (d'événements ou d'états) au sein d'un même texte, tant du point de vue de l'aspect que du temps. Nous avons mené nos travaux dans le cadre d'un travail d'équipe pluridisciplinaire couvrant des orientations linguistiques, logiques et informatiques. Ces travaux reposent sur une double appréhension commune d'un énoncé itératif : une entité événementielle en quelque sorte généri
APA, Harvard, Vancouver, ISO, and other styles
11

Sidhoum, Hafid. "Conception et compilation du langage AMPERE 2 : langage modulaire pour la programmation en physique." Lyon, INSA, 1991. http://www.theses.fr/1991ISAL0053.

Full text
Abstract:
Le langage AMPÈRE 2, à l'instar d'Ampère, est destiné à accroître la clarté et la fiabilité des programmes scientifiques à dominante physique. Pour cela, il intègre la rigueur de l'analyse dimensionnelle, la gestion automatique des unités de mesure et la puissance du calcul en intervalles. Avec l'adoption des identificateurs éclatés, AMPÈRE 2 répond au problème de l'évolution du langage face aux demandes des utilisateurs. Pour favoriser les développements logiciels importants, nous avons inclus au langage Ampère 2 la notion de composant logiciel (module) ainsi qu'une généricité des types physi
APA, Harvard, Vancouver, ISO, and other styles
12

El, Shafey Ezzat. "Codes linguistiques et alternance de codes chez les immigrants égyptiens en France." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUL071.

Full text
Abstract:
Cette thèse étudie pour la première fois les pratiques langagières de la communauté grandissante des immigrés égyptiens en France. L’analyse morphosyntaxique a comme cadre la théorie insertionnelle Matrix Language Frame de Myers-Scotton (1993, 1997 et 2000). Nous constatons que les Égyptiens de la première génération recourent à l’alternance codique sans s’en rendre compte ou sans le reconnaître tandis que ceux de la deuxième génération sont conscients des caractéristiques linguistiques nées du contact des langues. De plus, la femme égyptienne, avec son rôle de maintien de l’arabe auprès de se
APA, Harvard, Vancouver, ISO, and other styles
13

DALHAS, STEPHANE. "Un langage fonctionnel polymorphe. Application aux problemes logiciels du calcul formel." Nice, 1991. http://www.theses.fr/1991NICE4462.

Full text
Abstract:
Ce memoire decrit la conception d'un langage de programmation polymorphe dote d'un systeme de types puissant. La conception et l'implementation des systemes de calcul formel posent des problemes delicats du fait de la variete des objets mathematiques et de la sophistication des algorithmes. Dans ce contexte, nous montrerons comment un langage de programmation dote d'un systeme de types puissant permet d'exprimer plus naturellement les objets mathematiques, les algorithmes a un degre de generalite le plus grand possible, et la structuration d'un systeme, vu comme une bibliotheque de composants
APA, Harvard, Vancouver, ISO, and other styles
14

Pompigne, Florent. "Modélisation logique de la langue et Grammaires Catégorielles Abstraites." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00921040.

Full text
Abstract:
Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premi
APA, Harvard, Vancouver, ISO, and other styles
15

Pompigne, Florent. "Modélisation logique de la langue et grammaires catégorielles abstraites." Electronic Thesis or Diss., Université de Lorraine, 2013. http://www.theses.fr/2013LORR0283.

Full text
Abstract:
Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des structures de dérivation la surgénération que produit le traitement des dépendances à distance par des types d'ordre supérieur. À cet effet, nous étudions la possibilité d'étendre le système de typage des Grammaires Catégorielles Abstraites avec les constructions de la somme disjointe, du produit cartésien et du produit dépendant, permettant d'étiqueter les catégories syntaxiques par des structures de traits. Nous prouvons dans un premi
APA, Harvard, Vancouver, ISO, and other styles
16

Legrand, Rémi. "Calcul relationnel et programmation en logique." Paris 6, 1987. http://www.theses.fr/1987PA066481.

Full text
Abstract:
Presentation d'un systeme de programmation en logique base sur le calcul relationnel: description du langage sans variable graal et son extension relationnelle grel; definition des relations; introduction des indeterminees, decomposees en inconnues et gelees dans la programmation fonctionnelle; presentation de prolog et de ses contraintes; construction du langage logique relog a partir de grel, a l'aide d'un orienteur
APA, Harvard, Vancouver, ISO, and other styles
17

Sablayrolles, Pierre. "Sémantique formelle de l'expression du mouvement. De la sémantique lexicale au calcul de la structure du discours en français." Toulouse 3, 1995. http://www.theses.fr/1995TOU30224.

Full text
Abstract:
Le travail que nous presentons dans ce memoire s'inscrit dans le cadre de l'analyse formelle de la semantique du langage naturel. Plus precisement, il concerne la representation et le traitement des structures spatio-temporelles de la langue. Developper des formalismes pour representer la connaissance spatiale et temporelle a toujours ete d'une importance considerable en intelligence artificielle et en sciences cognitives. Pour mettre au jour et modeliser les concepts spatio-temporels de base sous-jacents a cette connaissance, le langage naturel constitue une excellente trace de ces concepts,
APA, Harvard, Vancouver, ISO, and other styles
18

Even, Christian. "Autour du lambda-calcul partiel." Lille 1, 1993. http://www.theses.fr/1993LIL10045.

Full text
Abstract:
Cette thèse a pour objet l'étude des aspects syntaxiques, algébriques et catégoriques du lambda-calcul partiel, qui est un outil théorique pour étudier l'équivalence de programmes exécutées selon un mécanisme d'appel par valeur. En appliquant des techniques éprouvées dans le lambda-calcul pur et en les adaptant à ce calcul on a ainsi obtenu: 1) une preuve de la confluence pour un lambda-calcul partiel simplifie; 2) la caractérisation d'une classe de termes fortement normalisables par un système de types simples; 3) la caractérisation des termes égalisables à une valeur dans le lambda-calcul pa
APA, Harvard, Vancouver, ISO, and other styles
19

Quaggetto, Michel. "Le langage clip. Implementation efficace d'un mecanisme de manipulation de l'histoire du calcul." Paris 6, 1989. http://www.theses.fr/1989PA066700.

Full text
Abstract:
Le travail expose dans ce memoire a ete realise dans le cadre du projet clip au litp. Ce projet se propose de developper des outils accroissant la puissance d'expression des langages de haute niveau tout en conservant la proprete et la simplicite du code, d'etudier les relations entre des mecanismes sophistiques et leur implementation efficace, ceci pour favoriser la construction de logiciels de base, e. G. Interpretes, compilateurs, systemes experts et leurs environnements de mise au point. Le langage clip integre un mecanisme de manipulation de l'histoire du calcul. Cette manipulation est re
APA, Harvard, Vancouver, ISO, and other styles
20

Papadopoulou, Ourania. "Evaluating Anglicisation in Modern Greek : a qualitative and quantitative survey." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSE2037.

Full text
Abstract:
L'influence de l'anglais est évidente sur les langues du monde entier. L'anglais est considéré comme une langue de communication mondiale et est utilisé par un grand nombre de locuteurs du monde entier dans leurs interactions. Il est clair que l'anglais domine dans de nombreux aspects de la vie quotidienne tels que la technologie, la science, les médias et Internet. Toutes les influences observées sur les langues du monde qui sont dues à l'influence de l'anglais relèvent de la notion d'anglicisation, qui couvre tous les niveaux de l'analyse linguistique. Dans ma thèse, j'étudie l'influence de
APA, Harvard, Vancouver, ISO, and other styles
21

Jhima, Kaled. "L’arabe face à la modernité : la néologie dans la presse arabe du 19e siècle." Thesis, Lyon 2, 2010. http://www.theses.fr/2010LYO20035.

Full text
Abstract:
Dans le cadre de ce travail, il est question d’analyser un corpus de néologisme épuisé dans plusieurs journaux de 19ème siècle. En effet, nous avons étudié des nouvelles formes néologiques, lexicales et syntaxiques, et les procédés de formation néologique que les journalistes avaient choisis pour faire face à la modernité que le monde arabe et du coup la langue arabe ont connue à cette époque, appelée l’époque de la renaissance où le lexique a connu un plein essor à l’aide de plusieurs procédés de formation néologique, tels l’emprunt, le changement sémantique et la création morphosyntaxique. C
APA, Harvard, Vancouver, ISO, and other styles
22

Bourdellès, Michel. "Analyse de systèmes réactifs synchrones à des fins de vérification : Application au langage ESTEREL." ENSMP, 1999. http://www.theses.fr/1999ENMP0931.

Full text
Abstract:
Cette thèse décrit l'application de techniques de vérification automatiques aux systèmes réactifs synchrones. Cette étude a mené à l'implantation d'outils de vérification de la partie contrôle de programmes ESTEREL validés sur divers programmes. Cette thèse présente enfin une étude pour étendre ces outils de vérification à l'interprétation des données. La vérification de propriétés s'obtient par abstractions et parcours exhaustifs d'un modèle des comportements du programme. Ce modèle peut-être, soit explicite et décrit par un automate, soit implicite et décrit par un système d'équations boolée
APA, Harvard, Vancouver, ISO, and other styles
23

Castel, Victor M. "Paquets de clitiques de l'espagnol : calcul de la corrélation entre rôles sémantiques et propriétés morphologiques et implémentation dans une grammaire catégorielle d'unification." Clermont-Ferrand 2, 1994. http://www.theses.fr/1994CLF2A001.

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

Bigo, Louis. "Représentations symboliques musicales et calcul spatial." Thesis, Paris Est, 2013. http://www.theses.fr/2013PEST1074/document.

Full text
Abstract:
Représentations symboliques musicales et calcul spatial. La notion d'espace symbolique est fréquemment utilisée en théorie, analyse et composition musicale. La représentation de séquences dans des espaces de hauteurs, comme le Tonnetz, permet de capturer des propriétés mélodiques et harmoniques qui échappent aux systèmes de représentation traditionnels. Nous généralisons cette approche en reformulant d'un point de vue spatial différents problèmes musicaux (reconnaissance de style, transformations mélodiques et harmoniques, classification des séries tous-intervalles, etc.). Les espaces sont for
APA, Harvard, Vancouver, ISO, and other styles
25

Kirman, Jerome. "Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0330/document.

Full text
Abstract:
La linguistique informatique a pour objet de construire un modèle formel des connaissances linguistiques, et d’en tirer des algorithmes permettant le traitement automatique des langues. Pour ce faire, elle s’appuie fréquemment sur des grammaires dites génératives, construisant des phrases valides par l’application successive de règles de réécriture. Une approche alternative, basée sur la théorie des modèles, vise à décrire la grammaticalité comme une conjonction de contraintes de bonne formation, en s’appuyant sur des liens profonds entre logique et automates pour produire des analyseurs effic
APA, Harvard, Vancouver, ISO, and other styles
26

Lefort, Julie. "Contact de langues dans le Nord-Ouest de la Chine : le cas de Dongxiang." Paris, EHESS, 2012. http://www.theses.fr/2012EHES0113.

Full text
Abstract:
La langue dongxiang est parlée par environ 300 000 locuteurs, principalement situés dans le district autonome Dongxiang qui se trouve dans la province du Gansu dans le nord-ouest de la République Populaire de Chine. Cette langue, se situe dans une région où d’autres langues de groupes linguistiques différents (chinois, tibétain, turc et mongolique) sont concentrées et se sont mutuellement influencées. Ainsi, la langue dongxiang, du groupe mongolique, et le parler de Linxia (línxiàhuà), dialecte chinois, se sont influencés mutuellement de façon intense. L’isolement des dongxiang ainsi que la vo
APA, Harvard, Vancouver, ISO, and other styles
27

Le, Fessant Fabrice. "JoCaml : conception et implémentation d'un langage à agents mobiles." Palaiseau, Ecole polytechnique, 2001. http://www.theses.fr/2001EPXX0052.

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

Hung, Pi-Hsia. "L'acquisition de l’expression de la spatialité en mandarin langue étrangère par des apprenants francophones." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM3125.

Full text
Abstract:
Cette thèse s'inscrit dans le cadre des travaux sur l'acquisition des langues étrangères. L'objectif principal est de déterminer les structurations linguistiques transitoires employées par les apprenants francophones pour exprimer l'espace en mandarin langue étrangère. La procédure utilisée est l'analyse d'un corpus de productions orales issues d'une étude expérimentale de vingt mois menée auprès d'apprenants adultes francophones du mandarin de niveau débutant, intermédiaire et avancé. Pour atteindre l'objectif fixé, nous nous penchons d'abord sur l'acquisition des verbes directionnels en mand
APA, Harvard, Vancouver, ISO, and other styles
29

Colin, Matthias. "Analyse statique de la communication dans un langage d'acteur fonctionnel." Toulouse, INPT, 2002. http://www.theses.fr/2002INPT032H.

Full text
Abstract:
Les méthodes informelles sont inefficaces dans l'assistance à la programmation concurrente et distribuée et sont actuellement remplacées par des outils automatisés basés sur des méthodes formelles. Dans les programmes acteurs et les logiciels clients/serveurs, certaines requêtes ne peuvent être traitées par leur cible et sont appelées messages orphelins. Dans l'équipe Vestale qui m'a accueilli, plusieurs systèmes de type ont été conçus pour détecter les messages orphelins dans un Calcul d'Acteurs primitifs. Mes travaux consistent à y intégrer une description fonctionnelle et réaliste du traite
APA, Harvard, Vancouver, ISO, and other styles
30

Vidal, Didier. "Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte." Nancy 1, 1989. http://www.theses.fr/1989NAN10488.

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

Hamon, Grégoire. "Calcul d'horloges et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML." Paris 6, 2002. http://www.theses.fr/2002PA066530.

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

Aribaud, Albert. "Étude et réalisation d'un langage orienté acteurs : application à la simulation hiérarchisée." Toulouse, INSA, 1993. http://www.theses.fr/1993ISAT0041.

Full text
Abstract:
L'objectif de la these est l'elaboration d'un modele permettant la description structuro-fonctionnelle de systemes complexes et autorisant la specification explicite des caracteristiques temporelles du systeme decrit et l'obtention des moyens d'executer les systemes modelises. Les besoins sont etablis dans la premiere partie de la these. Ils incluent la necessite de pouvoir hierarchiser le systeme, de definir des abstractions autonomes, de pouvoir formuler explicitement le temps, d'exprimer les dependances et independances temporelles presentes dans le systeme. Une etude critique de plusieurs
APA, Harvard, Vancouver, ISO, and other styles
33

Hold-Geoffroy, Yannick. "SCOOP : cadriciel de calcul distribué générique." Master's thesis, Université Laval, 2015. http://hdl.handle.net/20.500.11794/25711.

Full text
Abstract:
Ce document présente SCOOP, un nouveau cadriciel Python pour la distribution automatique de hiérarchies de tâches dynamiques axé sur la simplicité. Une hiérarchie de tâches réfère à des tâches qui peuvent récursivement générer un nombre arbitraire de sous-tâches. L’infrastructure de calcul sous-jacente consiste en une simple liste de ressources de calcul. Le cas d’utilisation typique est l’exécution d’un programme principal sous la tutelle du module SCOOP, qui devient alors la tâche racine pouvant générer des sous-tâches au travers de l’interface standard des « futures » de Python. Ces sous-tâ
APA, Harvard, Vancouver, ISO, and other styles
34

Fatni, Abdelkrim. "Environnement de programmation parallèle adapté au traitement d'images et au calcul scientifique : le langage C// et son compilateur." Toulouse, INPT, 1998. http://www.theses.fr/1998INPT005H.

Full text
Abstract:
Les applications " Grand Challenge " nécessitent une puissance de calcul très importante. Malgré la haute performance des outils informatiques engendrée par la haute intégration des circuits électroniques, la puissance requise par ces applications, de l'ordre du tera-flops, reste non satisfaite. Le challenge pose a l'informaticien trouve sa solution dans la parallélisation de l'environnement de calcul. Celui-ci est constitué du calculateur, de l'algorithmique, du langage de programmation et de son compilateur. Mais l'environnement ne peut être efficace que s'il y a adéquation entre ces différe
APA, Harvard, Vancouver, ISO, and other styles
35

Mazouzi, Kamel. "Jace : un environnement d'exécution distribué pour le calcul itératif asynchrone." Besançon, 2005. http://www.theses.fr/2005BESA2074.

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

Jaber, Ghaleb. "Le langage pascal/relationnel : un langage de programmation de bases de donnees." Toulouse 3, 1987. http://www.theses.fr/1987TOU30222.

Full text
Abstract:
Presentation du langage pascal/relationnel construit a partir de pascal par adjonction de constructions venant du domaine des bases de donnees ainsi que la conception et l'implantation du traducteur du langage. Les instructions relationnelles sont inspirees du calcul des predicats et permettent les operations classiques offertes par les systemes de gestion de bases de donnees relationnelles
APA, Harvard, Vancouver, ISO, and other styles
37

Denoual, Etienne. "Méthodes en caractères pour le traitement automatique des langues." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00107056.

Full text
Abstract:
Le traitement automatique des langues fondé sur les données a récemment assimilé de nombreuses techniques et perspectives héritées du domaine de la reconnaissance de parole. Parmi celles-ci, les méthodes qui utilisent le mot comme unité de traitement sont difficilement transposables aux systèmes d'écriture sans séparateur orthographique, et ne sont donc pas multilingues.<br />Le présent travail promeut l'utilisation de méthodes travaillant au niveau du signal de l'écrit: le caractère, unité immédiatement accessible dans toute langue informatisée, permet de se passer de segmentation en mots, ét
APA, Harvard, Vancouver, ISO, and other styles
38

Barbot, Jean-Pierre. "Méthodes de calcul appliquées aux systèmes non linéaires sous échantillonnage." Paris 11, 1989. http://www.theses.fr/1989PA112113.

Full text
Abstract:
Étude des systèmes non linéaires sous discrétisation. On rappelle une méthode formelle de discrétisation des systèmes analytiques et on en propose une transcription en langage symbolique REDUCE. Illustrations avec le vol d'un hélicoptère et un robot 2 axes à liens flexibles
APA, Harvard, Vancouver, ISO, and other styles
39

Körner, Siegfried. "Ortsnamenbuch der Niederlausitz : Studien zur Toponymie der Kreise Beeskow, Calau, Cottbus, Eisenhüttenstadt, Finsterwalde, Forst, Guben, Lübben, Luckau und Spremberg /." Berlin : Akademie Verlag, 1993. http://catalogue.bnf.fr/ark:/12148/cb36676787z.

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

Silva-Julia, Rita da. "Un système hybride pour le traitement du langage naturel et pour la récupération de l'information." Toulouse 3, 1995. http://www.theses.fr/1995TOU30255.

Full text
Abstract:
Nous proposons dans ce memoire la mise en uvre d'un systeme hybride de liaison entre les ressources du calcul des predicats et celles de la logique terminologique. Ce systeme est capable de: ? produire une representation formelle d'exigences exprimees en langage naturel dans le cadre de specifications de logiciel. ? introduire dans une base de connaissances la representation formelle obtenue pour chaque exigence en prenant soin de detecter les possibles redondances et contradictions. ? repondre a des questions posees au systeme, par l'execution d'un mecanisme d'inference permettant la recupera
APA, Harvard, Vancouver, ISO, and other styles
41

Langlois, Philippe. "ADA et calcul scientifique : qualité numérique des fonctions élémentaires." Toulouse 3, 1990. http://www.theses.fr/1990TOU30238.

Full text
Abstract:
La qualite numerique des fonctions elementaires est analysee a travers l'etude de leur definition en ada et en fortran, la mise en uvre de leur calcul et des procedures de controle. Des tests realises sur un ensemble d'implantations significatifs de la pratique industrielle permettent une appreciation nuancee de la qualite actuellement disponible et, plus generalement, de l'apport d'ada en calcul scientifique
APA, Harvard, Vancouver, ISO, and other styles
42

Son, Hyunjung. "L' adverbial temporel en DONGAN en coréen : description et formalisation." Paris, EHESS, 2003. http://www.theses.fr/2003EHES0012.

Full text
Abstract:
Il est largement admis que si les adverbiaux temporels jouent un rôle important dans la configuration temporelle des phrases, leur description sémantique et syntaxique demeure relativement marginale. Le présent travail s’est ainsi fixé deux objectifs, le premier étant la description détaillée du fonctionnement de l’adverbial temporel coréen en DONGAN. Cette tâche nous a permis de dégager quatre paramètres permanents de la description du sémantisme de DONGAN : la distinction de mono-occurrence/ multi-occurrence, la structure du groupe déterminant, la quantification et le type de phrases noyaux.
APA, Harvard, Vancouver, ISO, and other styles
43

Moulis, Gérald. "Une approche cognitive du langage mathématique afin d'assister les activités de manipulation de formules." Toulouse, ENSAE, 1991. https://tel.archives-ouvertes.fr/tel-02045804.

Full text
Abstract:
Cette thèse étudie les spécifications d'un système informatique d'assistance au mathématicien s'inspirant de l'activité mathématique naturelle. La démarche est structurée relativement aux trois questions suivantes: 1) quelle est la nature de l'activité mathématique?; 2) que peut-on souhaiter pour un tel système?; 3) que peut-on proposer? La partie 1 élabore des modèles cognitifs, se situe en complément du raisonnement heuristique, analyse le langage mathématique et préconise le développement d'une linguistique des mathématiques. Elle étudie des textes de démonstration, et les structures notamm
APA, Harvard, Vancouver, ISO, and other styles
44

Kettani, Omar. "Modèles du calcul sans changement d'état : quelques développements et résultats." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX24005.

Full text
Abstract:
Le modele etudie, voisin de la machine de turing fait disparaitre l expression de l etat dans l algorithme par notation sur le ruban. La methode consiste a se munir d alphabets riches pour noter a la fois donnees et structures algorithmiques. L auteur presente d abord deux demonstrations d equivalence avec la machine de turing. Il envisage ensuite un modele dit parallele qui consiste a se deplacer en bloc sur une suite de cases, et en donne quelques applications sur des problemes classiques. La caracteristique de ces machines est de deplacer la tete de lecture a cheval sur deux cellules de mem
APA, Harvard, Vancouver, ISO, and other styles
45

Dupont, Michel. "Une approche cognitive du calcul de le référence." Caen, 2003. http://www.theses.fr/2003CAEN2084.

Full text
Abstract:
Nous proposons des modèles qui correspondent aux différentes acceptions de l'expression calcul de la référence. Ce que nous appelons la construction du sens correspond au calcul de la référence au sens le plus large. Ce calcul résulte d'une interaction entre modules spécialisés et tient compte des anticipations que fait le lecteur. Nous estimons avoir validé l'aspect modulaire de ce modèle dans le cadre d'un travail d'équipe sur l'Extraction d'Information. Nous proposons aussi un modèle de l'identification des entités qui correspond au calcul de la référence dans un sens plus étroit. Nous voul
APA, Harvard, Vancouver, ISO, and other styles
46

Křikava, Filip. "Langage de modélisation spécifique au domaine pour les architectures logicielles auto-adaptatives." Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00935083.

Full text
Abstract:
E calcul autonome vise à concevoir des logiciels qui prennent en compte les variations dans leur environnement d'exécution. Les boucles de rétro-action (FCL) fournissent un mécanisme d'auto-adaptation générique, mais leur intégration dans des systèmes logiciels soulève de nombreux défis. Cette thèse s'attaque au défi d'intégration, c.à.d. la composition de l'architecture de connexion reliant le système logiciel adaptable au moteur d'adaptation. Nous proposons pour cela le langage de modélisation spécifique au domaine FCDL. Il élève le niveau d'abstraction des FCLs, permettant l'analyse automat
APA, Harvard, Vancouver, ISO, and other styles
47

Alloula, Karim Le Lann Jean-Marc. "Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes." Toulouse : INP Toulouse, 2008. http://ethesis.inp-toulouse.fr/archive/00000605.

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

Marcaillou, Sophie. "Intégration de la notion de points de vue dans la modélisation par objets : le langage VBOOL." Toulouse 3, 1995. http://www.theses.fr/1995TOU30016.

Full text
Abstract:
L'etude des besoins de la modelisation des systemes complexes, en particulier des systemes spatiaux, nous a amene a definir nos objectifs en termes de modelisation par objets unique et coherente, supportant des points de vue multiples et evolutifs. Diverses approches tentent d'introduire ces concepts, dans plusieurs domaines informatique (intelligence artificielle, bases de donnees, genie logiciel), mais aucune ne satisfait entierement nos objectifs. Notre demarche consiste a integrer les concepts de vue et de point de vue dans la modelisation par objets. Apres avoir defini et formalises ces c
APA, Harvard, Vancouver, ISO, and other styles
49

Alloula, Karim. "Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes." Phd thesis, Toulouse, INPT, 2007. http://oatao.univ-toulouse.fr/7673/1/alloula.pdf.

Full text
Abstract:
Après avoir étudié les collaborations établies aujourd'hui entre différents environnements de résolution de problèmes, le manuscrit propose un modèle de conception d'un système de calcul basé sur la coopération entre calcul formel et numérique. Cette coopération entre différents sous-systèmes de calcul est de type complémentaire : les rôles sont définis a priori. Suivant une démarche orientée modèle, le modèle de coopération est spécifié en UML 2.0 selon la vue structurelle et la vue comportementale. A partir du modèle conceptuel, nous définissons les règles de transformation pour produire le
APA, Harvard, Vancouver, ISO, and other styles
50

Cornea, Bogdan Florin. "Prédiction de performances d’applications de calcul distribué exécutées sur une architecture pair-à-pair." Thesis, Besançon, 2011. http://www.theses.fr/2011BESA2012/document.

Full text
Abstract:
Dans le domaine du calcul de haute performance, les architectures d’exécution sont en continuelle évolution. L’augmentation du nombre de nœuds de calcul, ou le choix d’une topologie réseau plus rapide représentent un investissement important tant en temps qu’en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d’architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au
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