Увійти

Готові списки джерел за темами / Formaleoni / Дисертації

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Formaleoni.

Дисертації з теми "Formaleoni"

Автор: Grafiati

Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-47 дисертацій для дослідження на тему "Formaleoni".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

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.

Повний текст джерела

Анотація:

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 та ін.

2

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!