Relevant bibliographies by topics / Formale / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Formale.

Dissertations / Theses on the topic 'Formale'

Author: Grafiati
Published: 2 June 2025
Last updated: 19 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Formale.'

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

Thums, Andreas. "Formale Fehlerbaumanalyse." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=973155647.

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

Ortmeier, Frank. "Formale Sicherheitsanalyse /." Berlin : Logos-Verl, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2827574&prov=M&dok_var=1&dok_ext=htm.

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

Ortmeier, Frank. "Formale Sicherheitsanalyse." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2827574&prov=M&dok_var=1&dok_ext=htm.

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

Ferrari, Francesco Maria. "Questioni di semantica formale e logica plurale." Doctoral thesis, Università degli studi di Padova, 2016. http://hdl.handle.net/11577/3426765.

Full text
Abstract:
The present research is a logico-philosophical analysis of the issues concerning the semantics for plural logic, with particular attention to the recent work by A. Oliver and T. Smiley, Plural Logic (OUP). The first chapter introduces into the model-theoretic semantics for second-order languages. Three versions are presented: standard, Henkin and multi-sorted. All three differ in the definition of the assignment function to the second-order variables. The second chapter analyzes the relationship between model-theoretic semantics and ontology, in particular realism and nominalism. On the one hand, realism relies on the so called referential (or objectual) semantics; on the other hand, nominalism must rely on the so called substitutional semantics, for what concerns second-order variables, in order to avoid any ontological commitment with respect to such variables. The third chapter introduces plural semantics. W.O. Quine (in 1970), argued that second-order logic is a ‘set theory in sheep’s clothing’ and, so, not a pure logic. Quine’s approach was strongly criticized by G. Boolos, in a series of articles in the 70s and 80s of the last century. He proposed a new sort of referential semantics for (monadic) secon-order variables and quantifiers, the so called plural interpretation based on a (one-many) ralation assignment. The fourth chapter presents an outline of the more ideas of the work by Oliver and Smiley. In particular, their system 1) recasts predication in terms of plural predication and 2) attempts to capture plural denotation phenomena. In order to extend the category of terms to the plural case, Autors propose a theory of definite descriptions that contrasts with the Russellian one. Plural functional terms, obtained by means of the descriptive apparatus, denote so called multivalued functions – to be added to the usual functions, now singlevalued. In the fifth chapter it is provided an analysis of such function with respect to mathematics and logic. Multivalued functions play also a key role in the semantics of plural logic, modeling the assignment function for plural variables. It is also considered some semantic consequence due to their assumption. The final chapter concludes the analysis of plural logic. Ø. Linnebo (2003) presented a criterion of logicality. From the application of such a criterion, it emerges that there are no compelling reasons not to define plural logic a pure logic. The only main point against such plural logics is the modal rigidity of the notion of plurality. Such a rigidity reveals that the alleged formalization of some typical features of that fragment of natural language that is related to plural phenomena is not fully adequate in these sort of plural logics.<br>La presente ricerca consiste in un’analisi logico-filosofica delle questioni inerenti alla semantica per la logica plurale, con particolare attenzione al recente lavoro di A. Oliver e T. Smiley, Plural Logic (OUP). Il primo capitolo introduce la semantica modellistica per i linguaggi del secondo ordine, presentando tre varianti, standard, di Henkin e multi-sorted, le quali si distinguono per la definizione della funzione di assegnazione di valori alle variabili del secondo ordine. Il secondo capitolo analizza le relazioni fra la semantica modellistica e l’ontologia, in particolare il realismo e il nominalismo. Da un lato, il realismo si affida alla semantica c.d. referenziale, dall’altro il nominalismo, che deve evitare il c.d. impegno ontologico delle variabili del secondo ordine pur permettendone l’uso linguistico, si deve affidare alla semantica c.d. sostituzionale rispetto a tali variabili. Il terzo capitolo, introduce alle questioni inerenti alla semantica plurale. W.O. Quine (nel 1970) sostenne che la logica del secondo ordine non è una logica pura. Tale approccio fu intensamente criticato da G. Boolos, in una serie di articoli negli anni ’70-’80 del secolo scorso in cui Boolos giunse a proporre un nuovo tipo di semantica referenziale per le variabili (monadiche) del secondo ordine quantificate, la c.d. interpretazione plurale basata su una relazione (uno-molti) di assegnazione di valori a tali variabili. Il quarto capitolo presenta una sintesi delle maggiori idee su cui si basa il sistema di logica plurale di Oliver e Smiley. Tale logica plurale riformula la predicazione nei termini della predicazione plurale. La preoccupazione principale degli Autori è quella di catturare il fenomeno della denotazione plurale. A tal fine presentano una teoria delle descrizioni definite che contrasta con quella russelliana. I termini funzionali plurali, ottenuti mediante tale apparato descrittivo, denotano le c.d. funzioni polidrome. Nel quinto capitolo si fornisce una analisi estensionale di tali funzioi. Le funzioni polidrome sono fondamentali anche nella semantica della logica plurale, in quanto codificano la funzione di assegnazione plurale. Alcune conseguenze semantiche dovute alla loro assunzione sono così evidenziate. Il capitolo conclusivo, il sesto, termina l’analisi della logica plurale. Ø. Linnebo (2003) presentò un criterio di logicità, dalla cui applicazione emerge che non ci sono ragioni stringenti per non considerare la logica plurale una pura logica. Una critica, però, su tutte alla logica plurale: la rigidità della nozione di pluralità. Emerge, così, che alcuni tratti del linguaggio naturale legati a fenomeni plurali (quantificazione e denotazione), non sono catturati adeguatamente nei sistemi di logica plurale come quello di Oliver e Smiley.
APA, Harvard, Vancouver, ISO, and other styles
5

Serbati, Anna. "Riconoscimento e certificazione delle competenze tra apprendimento formale, non formale, informale." Doctoral thesis, Università degli studi di Padova, 2013. http://hdl.handle.net/11577/3426298.

Full text
Abstract:
The research framework lies within the new lifelong learning scenario and focuses on the field of adult employed students who enter university study programmes with extensive knowledge and expertise gained in previous educational, professional and extra-professional contexts. The theoretical and political framework refers to the theories of experiential learning, to the development and application of the competence paradigm, to the approaches and tools for recognition and validation of prior experiential learning acquired in informal and non formal contexts and finally to the European and national directives in this field. The general aim of the research is to identify theories, models, methodologies and tools that respond to adult students’ need not only for the recognition and certification of qualifications, but also of competences. The specific objective is to design (following the relevant elements highlighted in the theories and models identified and analysed), apply and assess prototypal tools and procedures for recognising and certifying previously acquired competences within formal programmes that lead to academic qualifications. The main referential theories and practices for developing a model are the French Validation des acquis de l’experience - VAE and the English Accreditation of Prior Experiential Learning - APEL models, with specific focus on the educational value of the autobiographic reflective process and on the adviser’s methodological support. The empirical research context draws on a project - conducted by the Faculty of the Science of Education and Training of Padua University and located within a wider project of the Venetian Region - in the field of the certification of competences requiring adult employed students enrolled in Padua University to prepare a learning outcomes portfolio. This portfolio, which is the result of the description and documentation of experiences, the analysis of learning and the identification of competences to be recognized in terms of academic credits, is assessed by a specific Examination Board (composed of three lecturers) comparing the learning outcomes identified and demonstrated by the students with the learning outcomes expected at the end of the programme. The research strategy lies within the interpretativist paradigm and integrates quantitative and qualitative tools administered to all stakeholders involved, with a complementary purpose. The aim is to investigate, on the one hand, the practical elements, the strengths and weakness of the process in order to improve it, and, on the other hand, the model’s educational and professional implications, focussing on the development of adults’ wider comprehension and awareness of their own competences which is a necessary pre-requisite for obtaining external recognition. In the context of today’s uncertainty and the flexibilization of the socio-economic reality, the systematic exercise of identifying the main connecting thread and the coherence of individuals’ preceding personal pathway and the connections between formal, non formal and informal contexts may be an important strategy for developing autonomy and responsibility and for responding to educational, professional and personal transitions. The aim of the research, according to the European and national directives (particularly referring to the Italian Law 92/2012 and related to the legislative Decrees), is to propose a model which may be applied in analogous contexts and to suggest indications for building a University lifelong learning centre with services and processes for recognising prior experiential learning. In this way, Universities are called to fulfil a third mission, accepting the social challenge to propose educational, organisational and technological innovations that respond to the learning needs of adult and thereby interface with local networks of educational, training and professional systems.<br>La presente ricerca nasce nell’ambito del nuovo scenario di lifelong e lifewide learning e orienta il proprio campo d’indagine a lavoratori studenti, adulti che si avvicinano a percorsi formativi accademici portando con sé un bagaglio di saperi maturati nei contesti di vita formativa, lavorativa, extra-professionale. Il quadro teorico e politico fa riferimento alle teorie di apprendimento dall’esperienza, allo sviluppo e agli usi del paradigma della competenza, alle modalità di riconoscimento e validazione dei saperi acquisti in ambito non formale e informale e alle direttive europee e nazionali in materia. La finalità della ricerca è quindi quella di individuare teorie, modelli, metodologie e strumenti che possano rispondere all’esigenza dei lavoratori studenti di ottenere un riconoscimento e una certificazione non solo di titoli, ma anche di nuclei di competenze. L’obiettivo specifico perseguito è quello di progettare (sulla base degli elementi significativi riscontrati nei modelli e nelle teorie individuate e analizzate), applicare e valutare strumenti e procedure prototipali di riconoscimento e certificazione delle competenze precedentemente acquisite, perlopiù in contesti informali e non formali, all’interno di percorsi formali finalizzati all’ottenimento di un titolo universitario. Le teorie e pratiche di riferimento per l’elaborazione del modello sono quella francese di Validation des Acquis de l’Expérience – VAE e quella inglese di Accreditation of Prior Experiential Learning - APEL, con particolare approfondimento degli aspetti di valenza formativa della narrazione autobiografica e di supporto metodologico offerto dalla figura di supporto dell’accompagnatore metodologico. Il contesto empirico della ricerca trae spunto da un progetto della Facoltà di Scienze della Formazione di Padova - all’interno di una macro-azione della Regione Veneto sul tema della certificazione delle competenze - e prevede la realizzazione per lavoratori studenti iscritti a corsi di laurea dell’Ateneo Patavino di un portfolio dei risultati di apprendimento. Quest’ultimo, esito dell’esplicitazione e documentazione dell’esperienza, dell’analisi dei propri saperi e dell’individuazione delle proprie competenze affinché possano essere riconosciute in termini di crediti formativi universitari, è infine valutato da un’apposita Commissione di docenti del corso di laurea interessato sulla base di un confronto tra i risultati di apprendimento attesi al termine del corso e quelli analizzati e comprovati dal candidato. La strategia di ricerca adottata si richiama al paradigma interpretativista e integra strumenti quantitativi e qualitativi somministrati a tutti gli attori coinvolti, secondo una logica di complementarietà. Si vuole, infatti, indagare, da un lato, gli aspetti operativi, gli elementi di criticità e i punti di forza riscontrati in una prospettiva di miglioramento, e, dall’altro, le ricadute formative e professionali del modello, con focus sullo sviluppo di comprensione e consapevolezza più ampie sulle proprie competenze da parte degli adulti, condizione imprescindibile per l’ottenimento di un riconoscimento esterno. Nel contesto di flessibilizzazione e incertezza della realtà socio-economica odierna, l’esercizio sistematico di individuazione dei fili conduttori e della coerenza del proprio percorso pregresso e delle connessioni tra i contesti formali, non formali e informali può divenire uno strumento importante di autonomia e responsabilità per rispondere a situazioni di transizione formativa, professionale e personale. Volontà della ricerca, collocandosi nelle direttive europee e nazionali sul tema (in particolare con riferimento alla legge 92/2012 e ai suoi decreti attuativi), è quella di proporre un modello riproducibile in contesti analoghi e tracciare indicazioni per la costituzione di un servizio di Ateneo per il riconoscimento e la certificazione delle competenze. In questa direzione, l’Università è chiamata ad una terza missione, raccogliendo la sfida sociale di proporre innovazioni didattiche, organizzative e tecnologiche che rispondano alla domanda di apprendimento di un pubblico adulto e quindi di interfacciarsi con le reti territoriali degli attori dei sistemi di istruzione, formazione e lavoro.
APA, Harvard, Vancouver, ISO, and other styles
6

Fuchs, Thomas. "Formale Widerspenstigkeit : Nachlässe und Autographensammlungen." Das Buch in Antike, Mittelalter und Neuzeit : Sonderbestände der Universitätsbibliothek Leipzig / hrsg. von Thomas Fuchs ... Wiesbaden : Harrassowitz, 2012. S. 163-175. ISBN 978-3-447-06689-1, 2012. https://ul.qucosa.de/id/qucosa%3A14635.

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

Fuchs, Thomas. "Formale Widerspenstigkeit : Nachlässe und Autographensammlungen." Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-201238.

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

Stiebe, Ralf. "Untersuchungen zu Kantengrammatiken und Valenzgrammatiken." [S.l. : s.n.], 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=961200499.

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

Breitling, Max. "Formale Fehlermodellierung für verteilte reaktive Systeme." [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=962058297.

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

Kapp, Kai. "Eine formale algorithmische Synthese digitaler Schaltungen." Karlsruhe : Univ.-Verl. Karlsruhe, 2005. http://deposit.d-nb.de/cgi-bin/dokserv?idn=97819618X.

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

Michelon, Federico <1987&gt. "Outsourcing tra governance formale e relazionale." Master's Degree Thesis, Università Ca' Foscari Venezia, 2014. http://hdl.handle.net/10579/4864.

Full text
Abstract:
Il lavoro inizia con l'attività di ricerca di una serie di contratti reali di Outsourcing che vengono analizzati sottolineandone punti in comune e discrepanze. Una volta compresi i vari tipi di struttura contrattuale presenti ed effettivamente utilizzati nel mercato si cerca di capire quale sia il più favorevole per l'ottenimento di una Outsourcing relationship ottimale e caratterizzata dallo sviluppo di "trust & commitment" tra le parti. Il fine dell'elaborato è infatti poter fornire una guida pratica alle imprese per l'ottimale gestione dei rapporti di Outsourcing attraverso un contratto che fornisca le dovute tutele legali e che contemporanemente svolga la funzione di un'efficace strumento di governance.
APA, Harvard, Vancouver, ISO, and other styles
12

Gärtner, Felix Christoph. "Formale Grundlagen der Fehlertoleranz in verteilten Systemen." [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=96275479X.

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

Schmidt, Alexander B. "Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969358326.

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

Löwis, of Menar Martin von. "Formale Semantik des Datentypmodells von SDL-2000." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=970263821.

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

Grandy, Holger. "Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen /." Berlin : Logos-Verl, 2008. http://d-nb.info/989979873/04.

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

Staab, Joachim Friedrich. "Nachrichtenwert-Theorie : formale Struktur und empirischer Gehalt /." Freiburg : K. Alber, 1990. http://catalogue.bnf.fr/ark:/12148/cb35558119k.

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

Menar, Martin von Löwis of. "Formale Semantik des Datentypmodells von SDL-2000." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2003. http://dx.doi.org/10.18452/15005.

Full text
Abstract:
Mit der aktuellen Überarbeitung der Sprache SDL (Specification and Description Language) der ITU-T wurde die semantische Fundierung der formalen Definition dieser Sprache vollständig überarbeitet; die formale Definition basiert nun auf dem Kalkül der Abstract State Machines (ASMs). Ebenfalls neu definiert wurde das um objekt-orientierte Konzepte erweiterte Datentypsystem. Damit musste eine formale semantische Fundierung für diese neuen Konzepte gefunden werden. Der bisher verwendete Kalkül ACT.ONE sollte nicht mehr verwendet werden, da er schwer verwendbar, nicht implementierbar und nicht auf Objektsysteme erweiterbar ist. In der vorliegenden Arbeit werden die Prinzipien einer formalen Sprachdefinition dargelegt und die Umsetzung dieser Prinzipien für die Sprache SDL-2000 vorgestellt. Dabei wird erläutert, dass eine konsistente Sprachdefinition nur dadurch erreicht werden konnte, dass die Definition der formalen Semantik der Sprache parallel mit der Entwicklung der informalen Definition erfolgte. Dabei deckt die formale Sprachdefinition alle Aspekte der Sprache ab: Syn-tax, statische Semantik und dynamische Semantik. Am Beispiel der Datentypsemantik wird erläutert, wie jeder dieser Aspekte informal beschrieben und dann formalisiert wurde. Von zentraler Rolle für die Anwendbarkeit der formalen Semantikdefinition in der Praxis ist der Einsatz von Werkzeugen. Die Arbeit erläutert, wie aus der formalen Sprachdefinition voll-automatisch ein Werkzeug generiert wurde, das die Sprache SDL implementiert, und wie die durch die Umsetzung der formalen Semantikdefinition in ein Werkzeug Fehler in dieser Definition aufgedeckt und behoben werden konnten.<br>With the latest revision of ITU-T SDL (Specification and Description Language), the semantic foundations of the formal language definition were completely revised; the formal definition is now based on the calculus of Abstract State Machines (ASMs). In addition, the data type system of SDL was revised, as object-oriented concepts were added. As a result, a new semantical foundation for these new concepts had to be defined. The ACT.ONE calculus that had been used so far was not suitable as a foundation any more, as it is hard to use, unimplementable and not extensible for the object oriented features. In this thesis, we elaborate the principles of a formal language definition, and the realisation of these principles in SDL-2000. We explains that a consistent language definition can only be achieved by developing the formal semantics definition in parallel with the development of the informal definition. The formal language definition covers all aspects of the language: syntax, static semantics, and dynamic semantics. Using the data type semantics as an example, we show how each of these aspects is informally described, and then formalized. For the applicability of the formal semantics definition for practitioners, usage of tools plays a central role. We explain how we transform the formal language definition fully automatically into a tool that implements the language SDL. We also explain how creating the tool allowed us to uncover and correct errors in the informal definition.
APA, Harvard, Vancouver, ISO, and other styles
18

Meschke, Christian. "Concept Approximations." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-86642.

Full text
Abstract:
In this thesis, we present a lattice theoretical approach to the field of approximations. Given a pair consisting of a kernel system and a closure system on an underlying lattice, one receives a lattice of approximations. We describe the theory of these lattices of approximations. Furthermore, we put a special focus on the case of concept lattices. As it turns out, approximation of formal concepts can be interpreted as traces, which are preconcepts in a subcontext<br>In der vorliegenden Arbeit beschreiben wir einen verbandstheoretischen Zugang zum Thema Approximieren. Ausgehend von einem Kern- und einem Hüllensystem auf einem vollständigen Verband erhält man einen Approximationsverband. Wir beschreiben die Theorie dieser Approximationsverbände. Des Weiteren liegt dabei ein Hauptaugenmerk auf dem Fall zugrundeliegender Begriffsverbände. Wie sich nämlich herausstellt, lassen sich Approximationen formaler Begriffe als Spuren auffassen, welche diese in einem vorgegebenen Teilkontext hinterlassen
APA, Harvard, Vancouver, ISO, and other styles
19

Heinkel, Ulrich. "Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen /." Düsseldorf : VDI-Verl, 1999. http://www.gbv.de/dms/bs/toc/271368470.pdf.

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

Bauer, Nanette [Verfasser]. "Formale Analyse von Sequential Function Charts / Nanette Bauer." Aachen : Shaker, 2003. http://d-nb.info/117054620X/34.

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

Greifeneder, Jürgen [Verfasser]. "Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme / Jürgen Greifeneder." Aachen : Shaker, 2008. http://d-nb.info/1164341553/34.

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

Maysenhölder, Christa. "Ausdruck und Bedeutung, zwei formale Aspekte der Architekturzeichnung." Stuttgart : Institut für Grundlagen der Modernen Architektur und Entwerfen (IGMA), Universität Stuttgart : In Kommission, K. Krämer, 1988. http://books.google.com/books?id=J_9PAAAAMAAJ.

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

Güttler, Karsten. "Formale Organisationsstrukturen in wachstumsorientierten kleinen und mittleren Unternehmen." Wiesbaden Gabler, 2009. http://d-nb.info/991748387/04.

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

Küster, Konrad. "Formale Aspekte des ersten Allegros in Mozarts Konzerten /." Kassel ; Basel ; London : Bärenreiter, 1991. http://catalogue.bnf.fr/ark:/12148/cb35462148r.

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

Malzkorn, Wolfgang. "Kants Kosmologie-Kritik : eine formale Analyse der Antinomienlehre /." Berlin : W. de Gruyter, 1999. http://catalogue.bnf.fr/ark:/12148/cb39263552j.

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

Cappai, Alberto. "Sulla crittografia formale e la semantica dei giochi." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3137/.

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

Alves, Campos de Sousa Dionísio Francisco Miguel. "Composition of hierarchic default specifications." [S.l. : s.n.], 1997. http://deposit.ddb.de/cgi-bin/dokserv?idn=95433891X.

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

Bayer, Alexander. "Formale Totalsynthese von Salvadion A und Synthese von Enamiden." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=972347038.

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

Hofmann, Christian. "Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1226928403106-02590.

Full text
Abstract:
DNA-basierte Systeme beschreiben formal ein alternatives Berechnungskonzept, beruhend auf der Anwendung molekularbiologischer Operationen. Der Grundgedanke ist dabei die Entwicklung alternativer und universeller Rechnerarchitekturen. Infolge der zugrunde liegenden maximalen Parallelität sowie der hohen Komplexität entsprechender Systeme ist die Korrektheit jedoch schwer zu beweisen. Um dies zu ermöglichen werden in der Arbeit zunächst für drei verschiedene Systemklassen mit unterschiedlichen Berechnungsparadigmen strukturelle operationelle Semantiken definiert und bekannte Formalismen der Prozesstheorie adaptiert. Nachfolgend werden Tableaubeweissysteme beschrieben, mithilfe derer einerseits Invarianten und andererseits die jeweilige Korrektheit von DNA-basierten Systemen mit universeller Berechnungsstärke bewiesen werden können. Durch Anwendung dieser Konzepte konnte für drei universelle Systeme die Korrektheit gezeigt und für ein System widerlegt werden.
APA, Harvard, Vancouver, ISO, and other styles
30

Graening, Timm. "Synthese anellierter Tropone und Tropolone formale Totalsynthese von (-)-Colchicin." Köln Blunk, 2004. http://deposit.ddb.de/cgi-bin/dokserv?id=2649298&prov=M&dok_var=1&dok_ext=htm.

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

Mertke, Thomas [Verfasser]. "Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache / Thomas Mertke." Aachen : Shaker, 2004. http://d-nb.info/1181603714/34.

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

Caponnetto, Santa <1967&gt. "L'accreditamento istituzionale: modello per la qualità o controllo formale." Master's Degree Thesis, Università Ca' Foscari Venezia, 2014. http://hdl.handle.net/10579/4921.

Full text
Abstract:
L’elaborato in oggetto si propone di analizzare il processo dell’accreditamento istituzionale nei servizi sanitari, socio sanitari e sociali. Iniziando dall'analisi del concetto di qualità nei servizi e dei modelli per la sua gestione, si affronta l’evoluzione ed il percorso normativo dell’accreditamento in Italia, confrontando le esperienze internazionali in materia. Si vuole altresì evidenziare l’istituto dell'accreditamento dal punto di vista giuridico, ponendolo in relazione con le finalità istituzionali. Segue la trattazione dell’accreditamento quale strumento di innovazione e governance del sistema focalizzando la questione sull'accesso ai servizi, sul controllo e regolazione del mercato.
APA, Harvard, Vancouver, ISO, and other styles
33

Buso, Marco <1992&gt. "I princìpi di continuità formale e sostanziale nei bilanci." Master's Degree Thesis, Università Ca' Foscari Venezia, 2020. http://hdl.handle.net/10579/16314.

Full text
Abstract:
Nell’ambito dei princìpi di redazione del bilancio possiamo individuare due dimensioni della continuità, formale e sostanziale. Il lavoro effettua un inquadramento normativo partendo dalla disciplina codicistica esaminando le norme che trattano i princìpi di consistency e going concern. Nel secondo capitolo si concentra l’attenzione sulla continuità sostanziale tentando di individuare le condizioni che possono farne decretare la perdita dai redattori del bilancio, successivamente si è esaminato l’impatto sui criteri di valutazione e sulle modalità con le quali può essere fatto valere il mancato rispetto del principio. Nel terzo ed ultimo capitolo viene ricostruito il sistema delle deroghe alla consistency individuando come questo possa influenzare le politiche di bilancio.
APA, Harvard, Vancouver, ISO, and other styles
34

COPPOLECCHIA, FRANCESCO. "The formal basis of modern architecture : composizione come tecnica formale, dispositivi e sistemi della House II di Peter Eisenman." Doctoral thesis, Università IUAV di Venezia, 2011. http://hdl.handle.net/11578/278282.

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

Yevtushenko, Serhiy. "Computing and visualizing concept lattices." Phd thesis, [S.l. : s.n.], 2004. http://elib.tu-darmstadt.de/diss/000488.

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

Müller, Dietmar. "Formale Kriterien der Nachrichtenrezeption im Internet zur Selektion technischer Nachrichtenangebote /." [S.l.] : [s.n.], 2002. http://www.diss.fu-berlin.de/2002/132/index.html.

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

Sulaksono, Anto. "Ein relativistisches Punktkopplungsmodell formale Untersuchungen und Anwendung auf überschwere Kerne /." [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=964223376.

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

Hegselmann, Rainer. "Formale Dialektik : ein Beitrag zu einer Theorie des rationalen Argumentierens /." Hamburg : F. Meiner, 1985. http://catalogue.bnf.fr/ark:/12148/cb349248393.

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

Biondi, Fabrizio. "Metodi di verifica formale per il linguaggio ad oggetti Creol." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1228/.

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

PASTORELLI, Francesco. "Critica alla filosofia formale e teoria del sense in Shaftesbury." Doctoral thesis, Scuola Normale Superiore, 2005. http://hdl.handle.net/11384/86137.

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

Rudolph, Sebastian. "Relational Exploration." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2007. http://nbn-resolving.de/urn:nbn:de:swb:14-1172682174599-12286.

Full text
Abstract:
Facing the growing amount of information in today's society, the task of specifying human knowledge in a way that can be unambiguously processed by computers becomes more and more important. Two acknowledged fields in this evolving scientific area of Knowledge Representation are Description Logics (DL) and Formal Concept Analysis (FCA). While DL concentrates on characterizing domains via logical statements and inferring knowledge from these characterizations, FCA builds conceptual hierarchies on the basis of present data. This work introduces Relational Exploration, a method for acquiring complete relational knowledge about a domain of interest by successively consulting a domain expert without ever asking redundant questions. This is achieved by combining DL and FCA: DL formalisms are used for defining FCA attributes while FCA exploration techniques are deployed to obtain or refine DL knowledge specifications.
APA, Harvard, Vancouver, ISO, and other styles
42

Borchmann, Daniel. "Axiomatizing Confident GCIs of Finite Interpretations." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-95245.

Full text
Abstract:
Constructing description logic ontologies is a difficult task that is normally conducted by experts. Recent results show that parts of ontologies can be constructed from description logic interpretations. However, these results assume the interpretations to be free of errors, which may not be the case for real-world data. To provide some mechanism to handle these errors, the notion of confidence from data mining is introduced into description logics, yielding confident general concept inclusions (confident GCIs) of finite interpretations. The main focus of this work is to prove the existence of finite bases of confident GCIs and to describe some of theses bases explicitly.
APA, Harvard, Vancouver, ISO, and other styles
43

König, Barbara. "Analysis and verification of systems with dynamically evolving structure." [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11947824.

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

Bende-Farkas, Ágnes. "Verb object dependencies in Hungarian and English a DRT-based account /." [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11144184.

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

Eisenbiegler, Dirk [Verfasser], and D. [Akademischer Betreuer] Schmid. "Ein Kalkül für die Formale Schaltungssynthese / Dirk Eisenbiegler. Betreuer: D. Schmid." Karlsruhe : KIT-Bibliothek, 1999. http://d-nb.info/1014061393/34.

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

Bergmann, Pia. "Regionalspezifische Intonationsverläufe im Kölnischen formale und funktionale Analysen steigend-fallender Konturen." Tübingen Niemeyer, 2006. http://d-nb.info/991473531/04.

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

Schmidt-Thieme, Lars. "Die formale Gestaltung von Exposition und Reprise in den Streichquartetten Haydns /." Frankfurt am Main ; Bern ; Bruxelles : P. Lang, 2000. http://catalogue.bnf.fr/ark:/12148/cb37224156z.

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

Verdone, Tiziano. "Il linguaggio Alloy come ausilio nella specifica formale di modelli UML." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/4527/.

Full text
Abstract:
UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.
APA, Harvard, Vancouver, ISO, and other styles
49

FRISO, CHIARA. "LA DIDATTICA DAVANTI AL BLOG: CONTESTI SCOLASTICI TRA FORMALE ED INFORMALE." Doctoral thesis, Università Cattolica del Sacro Cuore, 2008. http://hdl.handle.net/10280/325.

Full text
Abstract:
L'obiettivo che questa tesi persegue è quello di analizzare il binomio blog/didattica, allargando il raggio di discussione e problematizzazione alle tecnologie di rete e all'educazione nei suoi aspetti di formalità e di informalità. Lo sguardo pedagogico-didattico viene eletto come guida del processo di riflessione e la scuola viene scelta come il campo di esplorazione privilegiato. L'approccio d'indagine assunto pone la didattica di fronte al blog riservando ad essa il compito di contestualizzare la tecnologia, di comprenderne potenzialità sfruttabili per sostenere processi di apprendimento formali ed informali e di rilevarne gli aspetti di vantaggio e di problematicità emergenti per progettare impieghi efficaci ed innovativi. La ricerca è strutturata lungo due direttrici: una teorico-fondativa destinata alla riflessione intorno ad alcuni nuclei tematici di sfondo (tecnologie educative, Rete e tecnologie emergenti, educazione formale ed informale) ed alla delineazione dello stato dell'arte in merito al blog ed alle sue applicazioni nella didattica; una empirica costituita dall'indagine sul campo finalizzata ad evidenziare e descrivere tendenze d'uso dei blog nei contesti scolastici italiani.<br>This thesis aims at analysing the blog/education binomial, extending its discussion and problematic nature to web technologies in the field of formal and informal educational methods. The teaching-learning question is selected as a guidance in the process under consideration and school is looked upon as the privileged field for research. This study places teaching and learning methods before blog and questions this new technique by examining it deeply in the afford to understand its potentiality in the formal and informal educational process. This study aims at putting into evidence possible advantages and problems arising from the application and planning possible innovations in the educational sphere. The research is based on two guiding lines: the theoretical-basic one referring to some background core topics (educational technologies, web, emerging methods, formal and informal education) and referring to the merits related to blog with its application to teaching; the empirical one based on a survey on the field aiming at bringing out and describing trends towards the use of blog in the Italian school environment.
APA, Harvard, Vancouver, ISO, and other styles
50

FRISO, CHIARA. "LA DIDATTICA DAVANTI AL BLOG: CONTESTI SCOLASTICI TRA FORMALE ED INFORMALE." Doctoral thesis, Università Cattolica del Sacro Cuore, 2008. http://hdl.handle.net/10280/325.

Full text
Abstract:
L'obiettivo che questa tesi persegue è quello di analizzare il binomio blog/didattica, allargando il raggio di discussione e problematizzazione alle tecnologie di rete e all'educazione nei suoi aspetti di formalità e di informalità. Lo sguardo pedagogico-didattico viene eletto come guida del processo di riflessione e la scuola viene scelta come il campo di esplorazione privilegiato. L'approccio d'indagine assunto pone la didattica di fronte al blog riservando ad essa il compito di contestualizzare la tecnologia, di comprenderne potenzialità sfruttabili per sostenere processi di apprendimento formali ed informali e di rilevarne gli aspetti di vantaggio e di problematicità emergenti per progettare impieghi efficaci ed innovativi. La ricerca è strutturata lungo due direttrici: una teorico-fondativa destinata alla riflessione intorno ad alcuni nuclei tematici di sfondo (tecnologie educative, Rete e tecnologie emergenti, educazione formale ed informale) ed alla delineazione dello stato dell'arte in merito al blog ed alle sue applicazioni nella didattica; una empirica costituita dall'indagine sul campo finalizzata ad evidenziare e descrivere tendenze d'uso dei blog nei contesti scolastici italiani.<br>This thesis aims at analysing the blog/education binomial, extending its discussion and problematic nature to web technologies in the field of formal and informal educational methods. The teaching-learning question is selected as a guidance in the process under consideration and school is looked upon as the privileged field for research. This study places teaching and learning methods before blog and questions this new technique by examining it deeply in the afford to understand its potentiality in the formal and informal educational process. This study aims at putting into evidence possible advantages and problems arising from the application and planning possible innovations in the educational sphere. The research is based on two guiding lines: the theoretical-basic one referring to some background core topics (educational technologies, web, emerging methods, formal and informal education) and referring to the merits related to blog with its application to teaching; the empirical one based on a survey on the field aiming at bringing out and describing trends towards the use of blog in the Italian school environment.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Formale' 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