Thesis--Erlangen-Nuremberg. / Vita. Includes bibliographical references (p. [135]-141).

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).

Thesis (Ph. D.)--Universität München, 1910. / Vita. Includes bibliographical references.

Habilitationsschrift--Munich.

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

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).

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

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.

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

No description available.