Global ETD Search

181	Conception et implémentation d'un langage de description de diagrammes de mathématiques discrètes et d'informatique théorique Bourgeois, Mathieu 12 1900 (has links) (PDF) Dans ce mémoire, nous analysons la description de diagrammes structurés dans le domaine des mathématiques discrètes et de l'informatique théorique. Cette analyse s'effectue à partir de méthodes établies du génie logiciel. Nous trouvons un ensemble de propriétés que nous recherchons dans une solution informatique nous permettant de créer ces diagrammes. Nous analysons aussi les outils classiques à partir des propriétés précédentes qui nous permettent de réaliser ces diagrammes dans un environnement LATEX. Nous observons que ces outils ne sont pas aussi puissants qu'ils le pourraient en fonction des propriétés établies par notre analyse. Par la suite, en nous basant sur les méthodes de représentation graphique des courbes et sur la théorie des langages informatiques, nous jetons les bases d'un langage de description. Nous présentons aussi un outil, développé en Java qui nous permet de décrire aisément nos diagrammes d'informatique théorique et de mathématiques discrètes à partir d'une hiérarchie d'objets claire et extensible. Nous avons implémenté les éléments essentiels de notre langage en SDDL (Structured Diagram Description Language). Nous l'avons aussi validé à l'aide d'exemples représentatifs tirés de sources d'autorité. Nous avons finalement présenté notre solution dans le cadre de la conférence TUG 2010. Nous l'avons aussi présenté avec un article dans la revue du TeX Users Groups, TUG. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : diagrammes, informatique théorique, mathématiques discrètes, langage Graphique Informatique théorique Langage de description Mathématique discrète
182	Die Etablierung der Syntax in der italienischen Grammatik : Studien an ausgewählten Sprachtraktaten aus drei Jahrhunderten / Zurhausen-Bamberg, Helga. January 1996 (has links) Diss.--Augsburg--Universität, Philosophische Fakultät II, 1995. / Bibliogr. p. 108-112.
183	Tempus und Temporalität in geschriebenen und gesprochenen Texten / Hennig, Mathilde. January 2000 (has links) Diss.--Leipzig, 1999. / Bibliogr. p. [199]-211.
184	Frühe Mehrsprachigkeit : Probleme des Grammatikerwerbs in multilingualen und multikulturellen Kontexten / Siebert-Ott, Gesa Maren. January 2001 (has links) Diss.--Köln, 1998. / Bibliogr. p. [205]-226.
185	Musik und Sprache im gregorianischen Gesang / Kohlhaas, Emmanuela, January 2001 (has links) Diss.--Köln. / Bibliogr. p. 369-376. Index.
186	Names and nature in Plato's "Cratylus" / Barney, Rachel, January 2001 (has links) Texte remanié de: Ph. D. th.--Princeton, 1996. / Bibliogr. p. 199-206. Index.
187	Politique de la langue et différence sexuelle : la politisation du genre des noms de métier / Baudino, Claudie. January 2001 (has links) Texte remanié de: Th. doct.--Sci. polit.--Paris 9, 2000. / En appendice, choix de documents. Bibliogr. p. 381-399.
188	Napoléon et "Le mémorial de Sainte-Hélène" : analyse d'un discours / Le Gall, Didier, January 2003 (has links) Texte remanié de: Th. doct.--Hist.--Paris 1, 2002. Titre de soutenance : Contribution à l'étude du vocabulaire politique du "Mémorial de Sainte-Hélène. / Bibliogr. p. 357-379. Index.
189	In search of Igbo identity : language, culture and politics in Nigeria, 1900-1966 / Bersselaar, Dmitri van den, January 1998 (has links) Proefschrift--Leiden--Rijksuniversiteit, 1998. / Résumé en néerlandais. Bibliogr. p. 328-345.
190	Définitions et caractérisations de modèles à base d'analogies pour l'apprentissage automatique des langues naturelles / Stroppa, Nicolas. January 1900 (has links) Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2005. / Bibliogr. p. 163-173. Index. Résumé en français et en anglais.

Search results