• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 249
  • 96
  • 61
  • 23
  • 14
  • 13
  • 8
  • 8
  • 6
  • 6
  • 4
  • 4
  • 3
  • 2
  • 2
  • Tagged with
  • 600
  • 82
  • 72
  • 59
  • 54
  • 49
  • 44
  • 42
  • 42
  • 41
  • 41
  • 40
  • 39
  • 39
  • 35
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Historische und systematische Untersuchungen zur Abstraktion

Schneider, Hans Julius, January 1970 (has links)
Thesis--Erlangen-Nuremberg. / Vita. Includes bibliographical references (p. [135]-141).
2

Abstract entities

Gobar, Ash, January 1900 (has links)
Thesis (Ph. D.)--University of Wisconsin--Madison, 1959. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves i-viii).
3

Abstrakta und Abstraktion

Fränkel, Elieser, January 1911 (has links)
Thesis (Ph. D.)--Universität München, 1910. / Vita. Includes bibliographical references.
4

Ueber die Abstraction

Schmidkunz, Hans. January 1889 (has links)
Habilitationsschrift--Munich.
5

Abstract ability of aphasic and non-brain-damaged adults

Christensen, Carol Swanson, January 1968 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1968. / eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
6

Exploring the succulent wilderness of a contemporary mind through encounters with material

Queener, Kelly. January 1900 (has links)
Thesis (M.F.A.)--The University of North Carolina at Greensboro, 2008. / Directed by Mariam Stephan; submitted to Dept. of Art. Title from PDF t.p. (viewed Aug. 26, 2009).
7

Le réductionnisme et l'esprit d'abstraction /

Tourigny, Isabelle. January 2004 (has links)
Thèse (M.A.)--Université Laval, 2004. / Bibliogr.: f. [110]-112. Publ. aussi en version électronique.
8

Exploiting model structure in CEGAR verification method / Exploiter la structure des modèles pour la vérification par la méthode CEGAR

Chucri, Farès 27 November 2012 (has links)
Cette thèse a eu pour but l'étude et la mise en oeuvre des méthodes de vérification par abstraction pour les modèles AltaRica. A cette effet, une méthode d'abstraction permettant l'utilisation d'une sous approximation de l'espace des états d'un système dans un algorithme CEGAR est présentée. Son utilisation permet d'accélérer l'algorithme CEGAR, ainsi que de réduire les ressources nécessaires lors de la vérification d'un modèle. Nous nous intéressons à une modélisation d'un sous ensemble du langage AltaRica , pour lequel une méthode d'abstraction hiérarchique est décrite, ainsi qu'un algorithme efficace permettant la vérification de contre-exemples issus de cette abstraction. La méthode proposée permet d'abstraire chaque composant de la hiérarchie indépendamment malgré la présence de priorités dans le modèle. Finalement l'implémentation de l'algorithme PCegar dans le model checker Mec 5 est présentée ainsi qu'une analyse de benchmarks sur des modèles académiques et un modèle industriel. / This thesis presents an abstraction verification method for AltaRica models. To this end a CEGAR algorithm that prunes away abstract states and therefore uses an underapproximation of the system state space is proposed. The use of an underapproximation of the abstract state space allow to accelerate the algorithm, and reduce the computational resources required by the algorithm. A CEGAR algorithm for a subset of the AltaRica language is also presented. A hierarchical abstractionscheme and an efficient counter-example analysis method are proposed. The abstraction scheme proposed allow to abstract each component independently despite the presence of priorities in the model. Finally, the implementation of our CEGAR with pruning method is present together with benchmarks on academic and industrial models.
9

A la recherche du geste unique : pratique et théorie chez Alwin Nikolaïs / Looking for the unique gesture : Practice and theory in the work of Alwin Nikolais

Lawton, Marc 01 December 2012 (has links)
Nikolaïs a prolongé la pensée de Laban et l'a enrichie en l'expérimentant sur les corps-mêmes des danseurs de sa compagnie. son approche s'est développée dans un va-et-vient constant entre les 'principles' et l'expérience sensible du corps dansant. les éléments de langage chorégraphique (qualités de 'motion', 'shape'...) et les outils pédagogiques de nikolaïs (décentrement, 'gestalt' ou totalité reconnaissable, triade technique-improvisation-composition...) se sont élaborés sans être soumis à un savoir théorique extérieur. Cet enseignement consiste à munir le corps et l'esprit d'un savoir et d'une conscience immédiate des facteurs entrant en jeu dans le mouvement dansé. L'étude tendra à affirmer que là où il y a pédagogie, il y a théorie. la 'theory' est chez Nikolaïs un moment d'investigation à travers l'improvisation où concept, chorégraphie et performances sont instantanés. l'improvisation, un des éléments-clés de la modernité en danse, semble donc représenter le processus privilégié où pratique et théorie se confondent ou se vérifient l'une l'autre. Par ailleurs, sera aussi questionnée la prétendue "universalité" des outils et éléments de syntaxe de Nikolaïs, par l'analyse du contexte particulier des années 1950 (historique, socio-politique, artistique et technologique) et l'idéologie très liée à la personnalité de son créateur et à l'engouement qu'il a suscité. On se propose donc de déconstruire le modèle en empruntant une troisième voie au-delà de l'héritage fidèlement entretenu ou rejeté pour tenter, en contrant la présence diffuse de cet enseignement en France, une réhabilitation et une analyse qui questionneront la pertinence et les enjeux de cette pensée aujourd'hui. / Nikolais, trying out Laban's ideas with his company's dancers, carried these ideas further and developed them. His approach evolved, as he continuously moved back-and-forth from principles to the physical experience of the dancing body. The elements of Nikolais' choreographic language (the qualities of motion, shape...) and his pedagogic tools : decentralisation, gestalt (i.e. a recognizable whole), the triad of technique/improvisation/composition, evolved without being based on any external theory. His teaching aimed to getting the body and the mind to know and to be instantly aware of the elements involved in the dance movement. This study tends to whow that all pedagogy implies the rpesence of a theory. For Nikolais, theory proceeds from a amoment of improvisation wherein concept, choreography and performance are simultaneous. Improvisation, one of the key elements of modern dance, thus seems to be a preferred process, where practice and theory are merged, or serve to reinforce one another. In addition, we shall also question the supposed "universality" of Nikolais' tools and syntaxic elements through an analysis of the particular context of the 1950s (historic, socio-political, artistic, and technological) ; as well as the ideology, attributable to the personality of its author and the fervor surrounding him. Thus, our intention is to "deconstruc" the model by taking a third path, neither upholding faithfully the heritage nor rejecting it, and, in view of its widespread teaching in France, to attempt a rehabilitation and an analysiso f the pertinence of these ideas for our time and what is at stake
10

Pile Up, And Swing Back : Abstract Expressions of Travel Fetishism

Weng, Cho-jui January 2012 (has links)
No description available.

Page generated in 0.1306 seconds