Se connecter

Bibliographies thématiques / Formaleoni / Thèses

Thèses sur le sujet « Formaleoni »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Formaleoni.

Auteur : Grafiati

Publié le 11 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 47 meilleures thèses pour votre recherche sur le sujet « Formaleoni ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Giurgevich, Luana. « Il viaggiatore "ideale" di Alberto Fortis. Scritture e riscritture adriatiche fra Settecento e Ottocento ». Doctoral thesis, Università degli studi di Trieste, 2008. http://hdl.handle.net/10077/2607.

Texte intégral

Résumé :

2006/2007
La grande varietà di scritti usciti dalla penna di Alberto Fortis consente di entrare nell’officina odeporica di un viaggiatore d’eccezione, che dimostra un costante e vivo interesse per la costa orientale dell’Adriatico. Un viaggiatore che, fino alla fine della sua vita, anche quando il sogno raguseo è ormai svanito e può solo «euganeizzarsi», non smette mai di raccogliere materiali e informazioni sulle terre adriatiche. La tesi si propone di analizzare gli interessanti itinerari testuali proposti dal viaggiatore padovano attraverso una serie di confronti che coinvolge, da un lato, gli scritti adriatici dello stesso autore, quelli che precedono e seguono la stesura del Viaggio in Dalmazia (ricordo le istruzioni scientifiche per i viaggiatori in Adriatico, le relazioni sullo stato della pesca stese per il serenissimo governo, il carteggio privato, le lettere odeporiche inviate a John Strange) e, dall’altro, le innumerevoli riscritture e traduzioni che prendono le mosse dal celebre resoconto di viaggio. Fra quest’ultime ricordo, in particolare, la Topografia veneta di Vincenzo Formaleoni e il resoconto odeporico di Ernst Friedrich Germar, due testi che rivelano una storia di intrecci, di travasi, di corrispondenze intertestuali. Il viaggio lungo la frastagliata linea adriatica indica, già nella sua mutevolezza, la ricchezza di spunti che il viaggiatore padovano trarrà dall’osservazione delle coste, delle montagne, dei corsi d’acqua zigzaganti verso l’interno della Dalmazia. Insomma di tutte quelle «piste» della Natura che lo condurranno all’incontro con l’Uomo morale morlacco. In una cornice adriatica, dove regna l’osservazione diretta e si fa strada una proposta di rettifica, che è anche reinterpretazione della nozione di spazio e dei viaggi verso Oriente, il naturalista padovano sviluppa un proprio ideale di viaggiatore e il suo resoconto di viaggio diventa, a sua volta, una vera e propria guida, un testo imprescindibile per i futuri viaggiatori in Adriatico.
XX Ciclo
1981

Styles APA, Harvard, Vancouver, ISO, etc.

2

Ferdinand, Peter. « Lernziel : Kompetenz innovatives Lernen in formalen Systemen / ». [S.l. : s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=976191725.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Sauter, Rebekka. « Crossmedia-Kampagnen Aspekte der inhaltlichen und formalen Integration ». Hamburg Diplomica GmbH, 2005. http://www.diplom.de/db/diplomarbeiten9167.html.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Sauter, Rebekka. « Crossmedia-Kampagnen : Aspekte der inhaltlichen und formalen Integration / ». Hamburg : Diplomica, 2006. http://www.diplom.de/db/diplomarbeiten9167.html.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Rath, Christian. « Morphologische Untersuchungen zur formalen Pathogenese der Sialadenose menschlicher Speicheldrüsen ». Diss., lmu, 2007. http://nbn-resolving.de/urn:nbn:de:bvb:19-71920.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Reti, Heidrun. « Bewertung und Analyse der formalen Spezifikationssprachen LOTOS und Esterel ». [S.l.] : Universität Stuttgart , Fakultät Informatik, 1997. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB6783643.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Koeder, Anja. « Von Ferdinand de Saussure zu einer formalen diachronischen Semantik / ». [S.l. : s.n.], 1999. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8280392.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Lemke, Andreas. « Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik ». [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=971240515.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Luig, Caspar. « Vertragsärztlicher Abrechnungsbetrug und Schadensbestimmung zur streng formalen Betrachtungsweise des Sozialrechts im Strafrecht ». Frankfurt, M. Berlin Bern Bruxelles New York, NY Oxford Wien Lang, 2009. http://d-nb.info/995862346/04.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Schmidt, Christian Martin. « Schönbergs Oper : Moses und Aron : Analyse der diastematischen, formalen und musikdramatischen Komposition / ». Mainz ; London ; New York : Schott, 1988. http://catalogue.bnf.fr/ark:/12148/cb35029928h.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Zylka, Johannes, et Wolfgang Müller. « Fundierung digitaler Medien im formalen Bildungswesen am Beispiel einer Fallstudie zu digitalen Medienkompetenzen ». Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-76391.

Texte intégral

Résumé :

Anhand des Beispiels Lehramtsausbildung erörtert dieser Artikel exemplarisch Bedeutung und Reichweite der innerdeutsch als sehr heterogenen zu beschreibenden Integration digitaler Medien in das formale Bildungswesen. Auf Basis einer Fallstudie werden IKT-bezogene Kompetenzen im Kontext der schul- und hochschulbezogenen Ausbildung mit dem Fokus auf die Lehramtsausbildung thematisiert und diskutiert.

Styles APA, Harvard, Vancouver, ISO, etc.

12

Reinhardt, Simone. « Die Reichsbank in der Weimarer Republik : [eine Analyse der formalen und faktischen Unabhängigkeit] / ». Frankfurt am Main [u.a.] : Lang, 2000. http://hsozkult.geschichte.hu-berlin.de/rezensionen/NG-2002-034.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Wolff, H. Ekkehard. « Afrikanische Sprachminiaturen : Zur formalen Ästhetik von Kleinformen afrikanischer Sprachkunst unter besonderer Berücksichtigung ihrer Tonalität ». Universität Leipzig, 1998. https://ul.qucosa.de/id/qucosa%3A32903.

Texte intégral

Résumé :

Tonalität ist eines der herausragenden prosodischen Mittel, das traditionell in der Poesie afrikanischer Tonsprachen eingesetzt wird, und Sprachminiaturen (z.B. Sprichwörter und Rätsel) gehören nicht zuletzt ausweislich ihrer weit verbreiteten tonalen Reimcharakteristik viel eher zur afrikanischen Poesie als etwa zur Prosa, wie es bislang herrschende Meinung war.

Styles APA, Harvard, Vancouver, ISO, etc.

14

Turner, Lena [Verfasser], et Tilo [Akademischer Betreuer] Kircher. « Validierung einer neuen Skala zur operationalisierten Erfassung von formalen Denkstörungen / Lena Turner. Betreuer : Tilo Kircher ». Marburg : Philipps-Universität Marburg, 2013. http://d-nb.info/1032313978/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Noyer, Ulf [Verfasser], et Karsten [Akademischer Betreuer] Lemmer. « Semantische Technologien zur domänenspezifischen und formalen Beschreibung von Zeitreihen in Datenbanken / Ulf Noyer ; Betreuer : Karsten Lemmer ». Braunschweig : Technische Universität Braunschweig, 2013. http://d-nb.info/1175821187/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Krätzig, Sebastian [Verfasser]. « Bürger werden initiativ : akteurssoziologische Hintergründe eines lokalen Protests aufgrund eines formalen und symbolischen Beteiligungsdefizits / Sebastian Krätzig ». Hannover : Technische Informationsbibliothek (TIB), 2017. http://d-nb.info/1141306247/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Bareiß, Reinhold. « Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen / ». Düsseldorf : VDI-Verl, 1993. http://www.gbv.de/dms/ilmenau/toc/152775994.PDF.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Brink, Guido. « Die Finalsätze in Mozarts Konzerten : Aspekte ihrer formalen Gestaltung und ihrer Funktion als Abschluss des Konzerts / ». Kassel : G. Bosse, 2000. http://catalogue.bnf.fr/ark:/12148/cb37112088f.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Patzke, Ulrike. « Das Phänomen "Faux amis" am Beispiel des Sprachenpaares deutsch-schwedisch : Studien im Bereich der Formalen Ähnlichkeit / ». Clausthal-Zellerfeld : Papierflieg, 2000. http://catalogue.bnf.fr/ark:/12148/cb388060129.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Hänisch, Corinna [Verfasser]. « Denkformen des formalen Denkens : eine qualitative empirische Studie zur spezifischen Kognition von Studienanfängern im Fach Mathematik / Corinna Hänisch ». Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012. http://d-nb.info/1021567671/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Kim, Dae-Wuk [Verfasser]. « Computereinsatz für die Bürgerbeteiligung am formalen Planungsprozess in Korea : Ein webbasiertes GIS für die öffentliche Planauslegung / Dae-Wuk Kim ». Aachen : Shaker, 2005. http://d-nb.info/1181619238/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

Sander, Cristiane. « Partizipation als Bildungsprozess in non-formalen Organisationen des Aufwachsens : Beobachtungen zu einem vergessenen Zusammenhang anhand der Jugendverbände der Bundesrepublik Deutschland / ». Kassel : Kassel Univ. Press, 2008. http://d-nb.info/989620131/04.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Arn, Patric [Verfasser], et Andreas [Akademischer Betreuer] Kagermeier. « Strukturelle Qualitätsaspekte der formalen Tourismus-bildung in Entwicklungs- und Schwellenländern (Afrikas) -Anhand des Fallbeispiels Namibia / Patric Arn ; Betreuer : Andreas Kagermeier ». Trier : Universität Trier, 2015. http://d-nb.info/1197702199/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Torka, Philipp J. [Verfasser], Manfred [Akademischer Betreuer] Broy et Florian [Akademischer Betreuer] Matthes. « Dienstorientierte Architekturen : Eine konzeptuelle Herleitung auf Basis eines formalen Prozessmodells / Philipp J. Torka. Gutachter : Manfred Broy ; Florian Matthes. Betreuer : Manfred Broy ». München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/104380224X/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

Sander, Cristiane [Verfasser]. « Partizipation als Bildungsprozess in non-formalen Organisationen des Aufwachsens - Beobachtungen zu einem vergessenen Zusammenhang anhand der Jugendverbände der Bundesrepublik Deutschland / Cristiane Sander ». Kassel : Kassel University Press, 2008. http://d-nb.info/1006920080/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Becker, Jens Eckart [Verfasser], et J. [Akademischer Betreuer] Becker. « Methodischer Beitrag zum neuen Einsatz von Techniken der formalen Verifikation bei seriellen Busprotokollen im automobilen Umfeld / Jens Eckart Becker. Betreuer : J. Becker ». Karlsruhe : KIT-Bibliothek, 2014. http://d-nb.info/1078957797/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Enderlein, Axel [Verfasser]. « Der Begriff der Freiheit als Tatbestandsmerkmal der Grundrechte. : Konzeption und Begründung eines einheitlichen, formalen Freiheitsbegriffs, dargestellt am Beispiel der Kunstfreiheit. / Axel Enderlein ». Berlin : Duncker & ; Humblot, 2019. http://d-nb.info/1238264204/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Pfeffer, Johannes [Verfasser], Leon [Gutachter] Urbas, Leon [Akademischer Betreuer] Urbas et Detlef [Gutachter] Zühlke. « App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse / Johannes Pfeffer ; Gutachter : Leon Urbas, Detlef Zühlke ; Betreuer : Leon Urbas ». Dresden : Technische Universität Dresden, 2021. http://d-nb.info/1231917326/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Kraft, Daniel [Verfasser], et Rüdiger [Akademischer Betreuer] Heim. « Sozialbeziehungen von Jugendlichen im non-formalen Setting des Sportvereins – Weisen sportive Settings besondere Muster und Ausprägungen sozialer Beziehungen auf ? / Daniel Kraft ; Betreuer : Rüdiger Heim ». Heidelberg : Universitätsbibliothek Heidelberg, 2019. http://d-nb.info/1177045699/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Büchse, Matthias. « Algebraic decoder specification : coupling formal-language theory and statistical machine translation ». Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-159266.

Texte intégral

Résumé :

The specification of a decoder, i.e., a program that translates sentences from one natural language into another, is an intricate process, driven by the application and lacking a canonical methodology. The practical nature of decoder development inhibits the transfer of knowledge between theory and application, which is unfortunate because many contemporary decoders are in fact related to formal-language theory. This thesis proposes an algebraic framework where a decoder is specified by an expression built from a fixed set of operations. As yet, this framework accommodates contemporary syntax-based decoders, it spans two levels of abstraction, and, primarily, it encourages mutual stimulation between the theory of weighted tree automata and the application.

Styles APA, Harvard, Vancouver, ISO, etc.

31

Nowottny, Vera [Verfasser], Karl [Akademischer Betreuer] Schawelka, Hermann [Akademischer Betreuer] Stamm et Gerhard [Gutachter] Glüher. « Die Camera Obscura als Kondensationsmobil : Der Weg von der formalen Ästhetik in der Fotografie bis hin zum künstlerischen Akt des Atmens / Vera Nowottny ; Gutachter : Gerhard Glüher ; Karl Schawelka, Hermann Stamm ». Weimar : Promotionsstudiengang Kunst und Design/Freie Kunst/Medienkunst (Ph.D), 2014. http://d-nb.info/1116284650/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Farwick, Susanne. « Studien zur zeitgenössischen Musik für Flöte solo in der zweiten Hälfte des 20. Jahrhunderts analytische Betrachtungen zu formalen, aussermusikalischen, nationalen sowie klangästhetischen Aspekten in der Musik für Flöte solo von 1950 bis 2006 ». Frankfurt, M. Berlin Bern Bruxelles New York, NY Oxford Wien Lang, 2008. http://d-nb.info/992625025/04.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Habben, Imke [Verfasser], et Knut [Akademischer Betreuer] Schwippert. « Einflüsse formalen, nichtformalen und informellen Lernens auf die Lesekompe-tenz bei Kindern mit und ohne Migrationshintergrund in der Sekundarstufe I : eine explorative Untersuchung anhand von Sprachstanddaten der Studie SPRABILON ; Sprachentwicklung bilingualer Kinder in longitudinaler Perspektive / Imke Habben. Betreuer : Knut Schwippert ». Hamburg : Staats- und Universitätsbibliothek Hamburg, 2014. http://d-nb.info/105700197X/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Düsel, Horst Knauf Rainer. « Konzeption und Realisierung von Methoden der formalen Verifikation von Storyboards / ». 2007. http://www.gbv.de/dms/ilmenau/abs/527229229duese.txt.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Ferdinand, Peter [Verfasser]. « Lernziel : Kompetenz : innovatives Lernen in formalen Systemen / von Peter Ferdinand ». 2005. http://d-nb.info/976191725/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Nienhaus, Burchard Eduard. « Untersuchungen zur Inzidenz und zur formalen Genese des Endometriumkarzinoms beim deutschen Hausrind / ». 2001. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009502944&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Koeder, Anja [Verfasser]. « Von Ferdinand de Saussure zu einer formalen diachronischen Semantik / von Anja Koeder ». 1999. http://d-nb.info/958128987/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Pfeffer, Johannes. « App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse ». 2018. https://tud.qucosa.de/id/qucosa%3A74039.

Texte intégral

Résumé :

Durch den Wandel von herkömmlichen industriellen Produktionsprozessen hin zur Industrie 4.0 sowie die höhere Dynamik der Märkte werden auch Arbeitsprozesse dynamischer. Dies erzeugt hohe Anforderungen an die Mitarbeiter, die in diesem anspruchsvollen Umfeld arbeiten, und an das Management der beteiligten Workflows und Softwarewerkzeuge. Apps, also Programme mit engem Funktionsumfang, die auf die Lösung einer bestimmten Aufgabe spezialisiert sind, eignen sich als Grundbaustein für interaktive Systeme, die an die neuen Flexibilitätsanforderungen in Produktionsprozessen angepasst sind. In dieser Arbeit wird eine Methode vorgestellt, die es ermöglicht, spezialisierte Apps so zu kombinieren, dass nicht nur bestimmte isolierte Aufgaben, sondern auch komplexe Geschäftsprozesse damit bearbeitet werden können. Diese Methode, App-Orchestrierung genannt, ist ein Beitrag zum Forschungsgebiet der formalen Methoden der Mensch-Computer Interaktion und zur Bewältigung der Dynamisierung von komplexen Arbeitsprozessen im Zuge von Industrie 4.0. Die formale Modellierungssprache AOF-L, die auf BPMN und dem Semantic Web Stack aufbaut, wird entwickelt, und ein Software-Framework zur Modellierung und Ausführung von App-Ensembles mittels der AOF-L wird implementiert. In einer Nutzerstudie wird ein darauf aufbauendes industrielles Wartungsszenario evaluiert.
The transformation of industrial processes towards Industry 4.0 and the increasing dynamics of the markets are strong drivers for more dynamic industrial workflows. This development creates vast challenges to the staff that works in these ever changing environments and to the management of workflows and software tools. Apps — programs with a restricted set of functionality, tailored to a specific problem and its solution — are becoming more and more ubiquitous, especially on mobile devices. They are suitable as a building block for interactive systems ready to cope with the new requirements of flexible production processes. This work presents a method for combining specialized apps so that they can be used to fulfill complex business processes. The App-Orchestration approach is a contribution to the field of formal methods for human-computer interaction and to dealing with the new requirements of complex work environments in Industry 4.0 scenarios. The formal modeling language AOF-L which is based on BPMN and the semantic web stack, is presented. It can be employed to model interactive systems comprised of self-contained apps that are connected in a purposeful manner. Additionally, a software framework to model and execute App-Ensembles is implemented. In a user study an industrial maintenance scenario that was built using the developed method is evaluated.

Styles APA, Harvard, Vancouver, ISO, etc.

39

Rath, Christian [Verfasser]. « Morphologische Untersuchungen zur formalen Pathogenese der Sialadenose menschlicher Speicheldrüsen / vorgelegt von Christian Rath ». 2007. http://d-nb.info/985299509/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Lemke, Andreas [Verfasser]. « Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik / von Andreas Lemke ». 2004. http://d-nb.info/971240515/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Garschhammer, Markus [Verfasser]. « Dienstgütebehandlung im Dienstlebenszyklus : von der formalen Spezifikation zur rechnergestützten Umsetzung / vorgelegt von Markus Garschhammer ». 2004. http://d-nb.info/974454982/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Petersen, Wiebke [Verfasser]. « Zur Minimalität von Pāṇinis Śivasūtras : eine Untersuchung mit Methoden der formalen Begriffsanalyse / vorgelegt von Wiebke Petersen ». 2008. http://d-nb.info/1007126175/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Aßfalg, Simone Isabel [Verfasser]. « Cerebrale Korrelate der selektiven Aufmerksamkeit bei schizophrenen Patienten mit formalen Denkstörungen : eine kontrollierte H215=-PET-Studie / vorgelegt von Simone Isabel Aßfalg ». 2004. http://d-nb.info/973583665/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Nowak, Sean [Verfasser]. « Schrift auf den Goldbrakteaten der Völkerwanderungszeit : Untersuchungen zu den Formen der Schriftzeichen und zu formalen und inhaltlichen Aspekten der Inschriften / Sean Nowak ». 2003. http://d-nb.info/972659439/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Kikova, Teodora Meyer-Berg Georg. « Entwicklung von Software für eine attributierte, graphenbasierte Datenverarbeitung unter realen Randbedingungen des Chip-Gehäuse CoDesigns zur Definition und formalen Verifikation der elektrischen Verbindungen von verpackten Halbleiterbauelementen / ». 2006. http://www.gbv.de/dms/ilmenau/abs/523972296kikov.txt.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Dandl, Herbert [Verfasser]. « Arbeit und Beruf im historischen Prozess : Studie zur inhaltlichen und formalen Gestaltung des sozialen, politischen, ökonomischen und technologischen Kontextes im Ausstellungskonzept des Modellversuchs VISUBA / Herbert Dandl ». 2006. http://d-nb.info/997487283/34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Büchse, Matthias. « Algebraic decoder specification : coupling formal-language theory and statistical machine translation : Algebraic decoder specification : coupling formal-language theory and statistical machine translation ». Doctoral thesis, 2014. https://tud.qucosa.de/id/qucosa%3A28493.

Texte intégral

Résumé :

The specification of a decoder, i.e., a program that translates sentences from one natural language into another, is an intricate process, driven by the application and lacking a canonical methodology. The practical nature of decoder development inhibits the transfer of knowledge between theory and application, which is unfortunate because many contemporary decoders are in fact related to formal-language theory. This thesis proposes an algebraic framework where a decoder is specified by an expression built from a fixed set of operations. As yet, this framework accommodates contemporary syntax-based decoders, it spans two levels of abstraction, and, primarily, it encourages mutual stimulation between the theory of weighted tree automata and the application.

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!