121 |
Mécanisation de la réutilisation de composants logiciels : approches et outils /Parot, Patrick. January 1900 (has links)
Th. doct.--Informatique--Orléans, 1995. / Bibliogr. p. 129-134. Résumé en anglais et en français. 1996 d'apès la déclaration de dépôt légal.
|
122 |
Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique /Chetali, Boutheïna. January 1900 (has links)
Th. doct.--Informatique--Nancy 1, 1996. / Bibliogr. p. 245-250. Index. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.
|
123 |
Wahrheit und Satz an sich : zum Verhältnis des Logischen zum Psychischen und Sprachlichen in Bernard Bolzanos Wissenschaftslehre /Dähnhardt, Simon. January 1992 (has links)
Texte remanié de: Magisterarbeit--Hamburg--Universität Hamburg, 1990.
|
124 |
Sprachen und Dinge : der Gegenstandsbereich instrumentellen Handelns /Leist, Anton. January 1900 (has links)
Thèse parue sous le titre "Eine Untersuchung über Sprachen und Dinge"--Frankfurt am Main--Philosophie, 1976. / Bibliogr. p. 230-232.
|
125 |
The role of assent in judgment a Thomistic study.Tyrrell, Francis Martin, January 1948 (has links)
Thesis--Catholic Univ. of America. / Bibliography: p. 171-175.
|
126 |
Essais de validation d'un système expert flou appliqué à la régulation du séchage du bois /Frayret, Jean-Marc. January 1998 (has links)
Thèse (M.Sc.)--Université Laval, 1998. / Bibliogr.: f. [171]-176. Publié aussi en version électronique.
|
127 |
Contribution à l'étude de la logique linéaire comme formalisme de modélisation et de spécification /Leneutre, Jean. January 1999 (has links)
Th. doct.--Informatique et réseaux--Paris--ENST, 1998. / Bibliogr. p. 127-132. Index. Résumé en français et en anglais.
|
128 |
Kants Logikvorlesungen als neuer Schlüssel zur Architektonik der "Kritik der reinen Vernunft" : die Ausarbeitung der Gliederungsentwürfe in den Logikvorlesungen als Auseinandersetzung mit der Tradition /Conrad, Elfriede. January 1900 (has links)
Diss.--Fachbereich I--Universität Trier, 1991. / Contient un résumé en anglais. Bibliogr. p. 121-145. Index.
|
129 |
L'accomplissement dialogué de la tâche de sélection de Wason : étude sur le raisonnement conditionnel dans l'interaction / The dialogued achievement of the Wason selection task : study on the conditional reasoning in the interactionLaux, Jennifer 19 December 2007 (has links)
L'objectif de cette recherche est d'étudier l'accomplissement dialogué de la version abstraite de tâche de sélection, en particulier les processus socio-cognitifs en jeu dans cet accomplissement. Pour ce faire, nous faisons accomplir la tâche à 32 dyades en situation de résolution dialogique coopérative. Nous analysons les 32 dialogues produits avec une théorie de la forme logique des événements interlocutoires tels qu'ils se présentent phénoménalement, c'est-à-dire avec de la langue naturelle dont la production séquentielle est distribuée sur plusieurs interlocuteurs : la logique interlocutoire. Dans une première analyse, nous décrivons les caractéristiques des 32 dyades du point de vue de leur gestion sociale et de leur gestion cognitive de la tâche. Dans une seconde analyse, nous nous concentrons sur les dialogues des 4 (sur 32) dyades qui réussissent la tâche. Nous montrons, contrairement à l'affirmation de nombreux chercheurs en psychologie du raisonnement, que ces dyades construisent effectivement des raisonnements lorsqu'ils accomplissent la tâche. Enfin, nous mettons en évidence la structure discursivo-cognitive construite par chacune des 4 dyades. / The objective of this research is to study the dialogued achievement of the abstract version of the selection, in particular the socio-cognitive processes concerned in this achievement. With this intention, we make 32 dyads achieve the task in situation of cooperative dialogical resolution. We analyze the 32 dialogues produced with a theory of the logical form of the interlocutory events such as they present ourselves phenomenally, with natural language whose sequential production is distributed on several interlocutors : the interlocutory logic. In a first analysis, we describe the characteristics of the 32 dyads from the point of view of their social management and their cognitive management of the task. In a second analysis, we concentrate on the dialogues of the 4 dyads which achieve the task successfully. We show, contrary to the assertion of many researchers in psychology of the reasoning, that these dyads actually build reasoning when they achieve the task. Lastly, we highlight the discursivo-cognitive structure built by each of the 4 dyads.
|
130 |
Techniques de soi et morale néolibérale : le cas du yogaMétivier, Andrée-Ann January 2014 (has links)
Cette thèse porte sur les rapports qu’a la pratique du yoga contemporain avec le néolibéralisme. Celui-ci est présenté non pas tant comme une doctrine économique n’intervenant que dans la sphère dont elle ressortit, mais davantage comme une forme de discours moral qui s’articule à une vaste étendue de pratiques et de représentations sociales. L’enquête ethnographique qui a été menée sur le yoga nous conduit également à voir dans cette pratique la formation d’une morale mobilisant un ensemble de discours, de valeurs et de techniques afin de s’ériger en guide de conduite. La constitution d’une morale du yoga est alors mise en rapport avec ce que nous appelons la morale du néolibéralisme qui enjoint les individus à faire de leur autonomie, de leur réalisation personnelle ou encore de la gestion d’eux-mêmes des principes à la fois moraux et économiques. Celui qui s’engage dans la pratique du yoga peut ainsi, tout en poursuivant des objectifs de développement personnel ou spirituel, contribuer à son propre façonnement d’homo œconomicus.
|
Page generated in 0.0364 seconds