Relevant bibliographies by topics / Formaleoni / Dissertations / Theses

Dissertations / Theses on the topic 'Formaleoni'

To see the other types of publications on this topic, follow the link: Formaleoni.
Author: Grafiati
Published: 11 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 47 dissertations / theses for your research on the topic 'Formaleoni.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Reti, Heidrun. "Bewertung und Analyse der formalen Spezifikationssprachen LOTOS und Esterel." [S.l.] : Universität Stuttgart , Fakultät Informatik, 1997. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB6783643.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Luig, Caspar. "Vertragsä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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Schmidt, Christian Martin. "Schö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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Zylka, Johannes, and 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
12

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
14

Turner, Lena [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Noyer, Ulf [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Brink, Guido. "Die Finalsä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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Arn, Patric [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Torka, Philipp J. [Verfasser], Manfred [Akademischer Betreuer] Broy, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Becker, Jens Eckart [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Pfeffer, Johannes [Verfasser], Leon [Gutachter] Urbas, Leon [Akademischer Betreuer] Urbas, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Kraft, Daniel [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
31

Nowottny, Vera [Verfasser], Karl [Akademischer Betreuer] Schawelka, Hermann [Akademischer Betreuer] Stamm, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Farwick, Susanne. "Studien zur zeitgenössischen Musik für Flöte solo in der zweiten Hälfte des 20. Jahrhunderts analytische Betrachtungen zu formalen, aussermusikalischen, nationalen sowie klangästhetischen Aspekten in der Musik für Flöte solo von 1950 bis 2006." Frankfurt, M. Berlin Bern Bruxelles New York, NY Oxford Wien Lang, 2008. http://d-nb.info/992625025/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Habben, Imke [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Formaleoni' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography