Готові списки джерел за темами / Langue calque / Дисертації
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Langue calque.

Дисертації з теми "Langue calque"

Автор: Grafiati
Опубліковано: 11 січня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 дисертацій для дослідження на тему "Langue calque".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
5

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

Повний текст джерела
Анотація:
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 та ін.
6

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

Повний текст джерела
Анотація:
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 та ін.
7

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

Повний текст джерела
Анотація:
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 та ін.
8

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

Повний текст джерела
Анотація:
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 та ін.
9

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
13

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
16

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
18

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
20

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
24

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
27

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
29

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
35

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
36

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
É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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
41

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

Повний текст джерела
Анотація:
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 та ін.
42

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
45

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії