Zaloguj się

Gotowe bibliografie tematyczne / Formal / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Formal.

Rozprawy doktorskie na temat „Formal”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 25 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Formal”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Parent, Paul-Eugène. "Formal and non-formal homogeneous spaces of small rank." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9873.

Pełny tekst źródła

Streszczenie:

The aim of this thesis is to determine which 2-tori T makes $G/T$ formal for a compact connected Lie group G of rank 3. We show that the only time there is a possibility of a non-formal homogeneous space $G/T$ is when the Lie algebra E of G is semisimple and contains three simple ideals. In such a case, the Koszul complex is given by$$ (\Lambda(y\sb2,z\sb2,x\sb3,x\sbsp{3}{\prime}, x\sbsp{3}{\prime\prime}),d)$$and$$dx\sb3 = -y\sbsp{2}{2},\ dx\sbsp{3}{\prime} = -z\sbsp{2}{2},\ {\rm and}\ dx\sbsp{3}{\prime\prime} = -(\alpha y\sb2 + \beta z\sb2)\sp2,$$where $\alpha,\beta\in$ Q. We proveTheorem 5.5

Style APA, Harvard, Vancouver, ISO itp.

2

Pires, Joana Martins Rodrigues. "Ensino não-formal e formal em ciências: elementos integradores." Master's thesis, Universidade de Aveiro, 2011. http://hdl.handle.net/10773/8486.

Pełny tekst źródła

Streszczenie:

Mestrado em Didáctica - Ciências para Professores do 3º CEB/Secundário de Física e Química<br>O ritmo a que se dá o desenvolvimento científico e tecnológico, na sociedade atual, é vertiginoso. Tal, conduz à necessidade dos indivíduos serem cada vez mais cultos cientificamente, de forma a vivenciarem uma cidadania ativa. Este enquadramento potenciou o aumento de espaços e ambientes nos quais se oferece uma educação científica de cariz não-formal, recorrendo a exposições bastante lúdicas e apelativas, visando um público bastante diversificado e sem qualquer carácter de obrigatoriedade. Tem

Style APA, Harvard, Vancouver, ISO itp.

3

Razali, Rozilawati. "Usability of semi-formal and formal methods integration : empirical assessments." Thesis, University of Southampton, 2008. https://eprints.soton.ac.uk/265391/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Shlapunov, A., and Nikolai Tarkhanov. "Formal Poincaré lemma." Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2009/3023/.

Pełny tekst źródła

Streszczenie:

We show how the multiple application of the formal Cauchy-Kovalevskaya theorem leads to the main result of the formal theory of overdetermined systems of partial differential equations. Namely, any sufficiently regular system Au = f with smooth coefficients on an open set U ⊂ Rn admits a solution in smooth sections of a bundle of formal power series, provided that f satisfies a compatibility condition in U.

Style APA, Harvard, Vancouver, ISO itp.

5

Marques, Bryan Valério. "Transição (in)formal." Master's thesis, Universidade de Lisboa. Faculdade de Arquitetura, 2015. http://hdl.handle.net/10400.5/12459.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

MAZZARI, NICOLA. "Formal Hodge Structures." Doctoral thesis, Università degli Studi di Milano, 2009. http://hdl.handle.net/2434/73218.

Pełny tekst źródła

Streszczenie:

The aim of this work is to develop the program proposed by S. Bloch, L. Barbieri-Viale and V. Srinivas of generalizing Deligne mixed Hodge structures providing a new cohomology theory for complex algebraic varieties. In other words to construct and study cohomological invariants, of (proper) complex algebraic schemes, which are finer than the associated mixed Hodge structures in the case of singular spaces.

Style APA, Harvard, Vancouver, ISO itp.

7

Miles, Geoffrey. "Untir'd spirits and formal constancy : Shakespeare's Roman plays and formal constancy." Thesis, University of Oxford, 1987. http://ora.ox.ac.uk/objects/uuid:c5830cc5-e1a4-4efa-ae40-98dc4d7eb651.

Pełny tekst źródła

Streszczenie:

Critics who have noted the importance of Stoic constancy in Shakespeare 's Roman plays have failed to recognise the full complexity of the idea. It has two forms, both derived from the Stoic principle of homologia (consistency), and centred on the ideal of being always the same: Seneca's constantia sapientis, the rocklike or godlike virtue of the Stoic sage who is unmoved and unchanged by external circumstances; and Cicero's decorum (De officiis I), virtue as the consistent playing of an appropriate part. Seneca is more concerned with heroic self-sufficiency, Cicero with social virtue, but bot

Style APA, Harvard, Vancouver, ISO itp.

8

Costa, Ana Sofia Gonçalves. "Pensamento crítico : articulação entre educação não-formal e formal em Ciências." Master's thesis, Universidade de Aveiro, 2007. http://hdl.handle.net/10773/1305.

Pełny tekst źródła

Streszczenie:

Mestrado em Educação em Ciências no 1º Ciclo do Ensino Básico<br>Atendendo que a promoção do Pensamento Crítico é indispensável, entre outros, para a resolução de problemas da vida quotidiana, numa sociedade democrática e, por outro, o Jardim da Ciência da Universidade de Aveiro é um contexto de educação não-formal destinado a crianças dos 5 aos 12 anos, este estudo tem como finalidade verificar se os recursos didácticos desenvolvidos no contexto desta investigação para a educação em Ciências no 1.º ciclo do ensino básico, articulando o ensino formal com o não-formal, promovem capacidades de p

Style APA, Harvard, Vancouver, ISO itp.

9

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

Pełny tekst źródła

Streszczenie:

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 h

Style APA, Harvard, Vancouver, ISO itp.

10

Billa, Cleo Zanella. "Um experimento formal para avaliar novas formas de visualização de prontuários clínicos eletrônicos." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275816.

Pełny tekst źródła

Streszczenie:

Orientador: Jacques Wainer<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-16T05:40:57Z (GMT). No. of bitstreams: 1 Billa_CleoZanella_D.pdf: 3316703 bytes, checksum: 82c6b703f196ad4980b583703c56be1f (MD5) Previous issue date: 2009<br>Resumo: Atualmente, o uso da computação na medicina vem crescendo cada vez mais, e um dos temas mais discutidos é o prontuário clínico eletrônico. é consenso que a utilização de um prontuário eletrônico pode facilitar o trabalho do profissional de saúde e melhorar ainda mais a qualidade do c

Style APA, Harvard, Vancouver, ISO itp.

11

Yust, Jason D. "Formal models of prolongation /." Thesis, Connect to this title online; UW restricted, 2006. http://hdl.handle.net/1773/11317.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

Carbogim, Daniela Vasconcelos. "Dynamics in formal argumentation." Thesis, University of Edinburgh, 2000. http://hdl.handle.net/1842/591.

Pełny tekst źródła

Streszczenie:

In this thesis we are concerned with the role of formal argumentation in artificial intelligence, in particular in the field of knowledge engineering. The intuition behind argumentation is that one can reason with imperfect information by constructing and weighing up arguements intended to give support in favour or against alternative conclusions. In dynamic argumentation, such arguements may be revised and strengthened in order yo increase to decrease the acceptability of controversial positions. This thesis studies the theory, architecture, development and applications of formal arguementati

Style APA, Harvard, Vancouver, ISO itp.

13

Palmer, John. "Formal strategies in composition." Thesis, City University London, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261323.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

Gallagher, Alexis. "Evolvability : a formal approach." Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:d3b0511e-bee5-4778-8822-703c514c1c1d.

Pełny tekst źródła

Streszczenie:

This dissertation clarifies the concept of evolvability, the increased capacity of some organisms or systems to support evolution, especially the evolution of life-like complexity. I survey the literature, which is spread over the fields of population genetics, developmental biology, artificial life, and microbial and molecular evolution. Finding that researchers have often used the term vaguely and incompatibly I identify five distinct kinds or senses of evolvability. I also identify five key constituent ideas, which I discuss in the context of organismic evolvability, a sense of evolvability

Style APA, Harvard, Vancouver, ISO itp.

15

Almeida, João Marcos de. "Logics of formal inconsistency." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281301.

Pełny tekst źródła

Streszczenie:

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. Caleiro<br>Texto em ingles e portugues<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Tese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior Tecnico<br>Made available in DSpace on 2018-08-04T03:00:36Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_D.pdf: 4760856 bytes, checksum: c6233b2352045368e0a3c7de2738d321 (MD5) Previous issue date: 2005<br>Resumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estej

Style APA, Harvard, Vancouver, ISO itp.

16

Machado, Rodrigo. "Semântica formal para TVQL." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2005. http://hdl.handle.net/10183/6037.

Pełny tekst źródła

Streszczenie:

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), d

Style APA, Harvard, Vancouver, ISO itp.

17

Shen, Gongqin. "Formal Concepts and Applications." Case Western Reserve University School of Graduate Studies / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=case1121454398.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

Valentine, Edward Eugene Jr. "Focusing on the formal." The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1315340805.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

Alama, Jesse. "Formal proofs and refutations /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

Petschulat, Cap. "Transparency in formal proof." [Boise, Idaho] : Boise State University, 2009. http://scholarworks.boisestate.edu/td/54/.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

Lopes, Cornélio Márcio. "Refactoring as formal refinements." Universidade Federal de Pernambuco, 2004. https://repositorio.ufpe.br/handle/123456789/1891.

Pełny tekst źródła

Streszczenie:

Made available in DSpace on 2014-06-12T15:52:59Z (GMT). No. of bitstreams: 2 arquivo4837_1.pdf: 1490840 bytes, checksum: 1e2239b5952d87633b8a93c565229e3e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004<br>A reestruturação de programas no contexto da orientação a objeto é também conhecida como refactoring e consiste em mudanças na estrutura interna de um software, sem modificar seu com portamento externo, a ¯m de melhorar sua legibilidade e torn¶a-lo mais f¶acil de passar por futuras mudan»cas. Na pr¶atica, refactoring baseia-se em

Style APA, Harvard, Vancouver, ISO itp.

22

Hekmatpour, S. "Formal specification based prototyping." Thesis, Open University, 1987. http://oro.open.ac.uk/57020/.

Pełny tekst źródła

Streszczenie:

Rapid prototyping is an approach to software development which attempts to remedy some of the shortcomings of the linear life cycle model, e.g. its inability to cope with fuzzy requirements and system evolution. This thesis first presents a broad survey of rapid software prototyping. It describes the rationale behind the process, the applications of prototyping, and specific techniques which may be used to achieve them. We then describe a system, called EPROS, together with its methodology, which supports a number of prototyping techniques in a coherent framework. The system is comprehensive i

Style APA, Harvard, Vancouver, ISO itp.

23

Müller, Alcenir Ester. "Educação formal em ciência." reponame:Repositório Institucional da UFSC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/101031.

Pełny tekst źródła

Streszczenie:

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Programa de Pós-Graduação em Educação Científica e Tecnológica, Florianópolis, 2012<br>Made available in DSpace on 2013-06-26T00:56:57Z (GMT). No. of bitstreams: 1 310523.pdf: 1706015 bytes, checksum: 1576b35a7e917e11b42312e99e0cbfa9 (MD5)<br>As pesquisas acadêmicas na área de Educação justificam-se pela sua importância intrínseca de discutir as mudanças e alterações na educação brasileira, bem como o cenário sociopolítico dos estudantes, as novas tecnologias e sua aplicabilidade e utilização no ensino, enfim, o movimento constan

Style APA, Harvard, Vancouver, ISO itp.

24

Prinz, Andreas. "Formal Semantics for SDL." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001. http://dx.doi.org/10.18452/13752.

Pełny tekst źródła

Streszczenie:

In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative eingeschränkte Sprache RSDL (Restricted SDL) ausgewählt, um die Konzepte der formalen Definition von SDL darzustellen. Die vorliegende Habilitationsschrift umfaßt zwei große Teile: die Definition der formalen Semantik von RSDL und ihre Implementierung. Die formale Definition der Semantik von RSDL ist verständlich, leicht mit der informalen Beschreibung zu vergleichen u

Style APA, Harvard, Vancouver, ISO itp.

25

Almeida, João Marcos de 1974. "Logics of Formal Inconsistency." Phd thesis, Instituições portuguesas -- UTL-Universidade Técnica de Lisboa -- IST-Instituto Superior Técnico -- -Departamento de Matemática, 2005. http://dited.bn.pt:80/29635.

Pełny tekst źródła

Streszczenie:

According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to r

Style APA, Harvard, Vancouver, ISO itp.

26

Eleftherakis, George. "Formal verification of X-machine models : towards formal development of computer-based systems." Thesis, University of Sheffield, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400012.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

Mokrani, Hocine. "Assistance au raffinement dans la conception des systèmes embarqués." Thesis, Paris, ENST, 2014. http://www.theses.fr/2014ENST0029/document.

Pełny tekst źródła

Streszczenie:

La dernière décennie, la complexité des technologies embarqués a explosé et les flots de conception industrielle habituels ne suffisent plus pour proposer des produits fiables en respectant les exigences du marché. Ainsi, le développement de nouvelles méthodologies de conception est devenu un besoin impératif. La thèse vise l'amélioration des méthodologies de conception des systèmes embarqués. En proposant une approche de conception par niveaux d’abstraction, la nouvelle approche permet de guider et d’assister les concepteurs dans les étapes de conception, précisément de raffiner les composant

Style APA, Harvard, Vancouver, ISO itp.

28

Lisowski, Matthew A. "Development of a target recognition system using formal and semi-formal software modeling methods." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA386925.

Pełny tekst źródła

Streszczenie:

Thesis (M.S. in Software Engineering) Naval Postgraduate School, Dec. 2000.<br>Thesis advisors, Neil Rowe, Man-Tak Shing. "December 2000." Includes bibliographical references (p. 101-102). Also available in print.

Style APA, Harvard, Vancouver, ISO itp.

29

Machado, Maria Elisabete. "Diálogos em roda: uma práxis pedagógica possível com a educação formal e não formal." Pontifícia Universidade Católica do Rio Grande do Sul, 2012. http://hdl.handle.net/10923/2889.

Pełny tekst źródła

Streszczenie:

Made available in DSpace on 2013-08-07T18:51:01Z (GMT). No. of bitstreams: 1 000437479-Texto+Completo-0.pdf: 4086132 bytes, checksum: f0bda0f38412e5e963b5fc2217856e56 (MD5) Previous issue date: 2012<br>La presente pesquisa intento descubrir el potencial transformador de la praxis pedagógica en los Diálogos en Rueda. Se trata de una perspectiva metodológica inaudito viable que se realiza de acuerdo al compromiso con las personas de la pesquisa. Teniendo Paulo Freire como referencia central, se comprende que es posible, en el movimiento de los diálogos en rueda, por medio de una práxis basada

Style APA, Harvard, Vancouver, ISO itp.

30

Fredriksen, Inge. "Formal Methods for System Development." Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9991.

Pełny tekst źródła

Streszczenie:

<p>Two main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification languages, VDM and Z, and some prominent model checkers, FDR, Spin, and LTSA, have been learnt and presented. A tutorial for the formal verification tool Spin is created. The tutorial is example driven and describes the description language Promela and the verification methods available in Spin. Care has been taken to illustrate reasoning about the results from Spin. Top

Style APA, Harvard, Vancouver, ISO itp.

31

Tristan, Jean-Baptiste. "Formal verification of translation validators." Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00437582.

Pełny tekst źródła

Streszczenie:

Comme tout logiciel, les compilateurs, et tout particulièrement les compilateurs optimisant, peuvent être défectueux. Il est donc possible qu'ils changent la sémantique du programme compilé, et par conséquent ses propriétés. Dans le cadre de développement de logiciels critiques, où des méthodes formelles sont utilisées pour s'assurer qu'un programme satisfait certaines propriétés, et cela avant qu'il soit compilé, cela pose un problème de fond. Une solution à ce problème est de vérifier le compilateur en s'assurant qu'il préserve la sémantique des programmes compilés. Dans cette thèse, nous év

Style APA, Harvard, Vancouver, ISO itp.

32

Lascarides, Alex, and Matthew Stone. "Formal semantics for iconic gesture." Universität Potsdam, 2006. http://opus.kobv.de/ubp/volltexte/2006/1033/.

Pełny tekst źródła

Streszczenie:

We present a formal analysis of iconic coverbal gesture. Our model describes the incomplete meaning of gesture that’s derivable from its form, and the pragmatic reasoning that yields a more specific interpretation. Our formalism builds on established models of discourse interpretation to capture key insights from the descriptive literature on gesture: synchronous speech and gesture express a single thought, but while the form of iconic gesture is an important clue to its interpretation, the content of gesture can be resolved only by linking it to its context.

Style APA, Harvard, Vancouver, ISO itp.

33

Strand, Magnus. "The Formal Concept of Discrimination." Thesis, Lunds universitet, Juridiska fakulteten, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-161162.

Pełny tekst źródła

Streszczenie:

According to the Principle of Formal Justice like cases must be treated alike, and different cases must be treated differently. This principle is derived from the Aristotelian concept of distributive justice. Aristotle held that ‘All men agree that what is just in distribution should be according to merit of some sort, but not all men agree as to what that merit should be’. The classical concept of illegal discrimination, in Community law referred to as direct discrimination, seeks to decide what these merits must not be. This is done by declaring disparate treatment on certain grounds, in cer

Style APA, Harvard, Vancouver, ISO itp.

34

Trinh, Cong Quy. "Formal Verification of Skiplist Algorithms." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-160314.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

Hughes, Thomas S. "Animation prototyping of formal specifications." Thesis, Loughborough University, 1992. https://dspace.lboro.ac.uk/2134/27241.

Pełny tekst źródła

Streszczenie:

At the present time one of the key issues relating to the design of real-time systems is the specification of software requirements. It is now clear that specification correctness is an essential factor for the design and implementation of high quality software. As a result considerable emphasis is placed on producing specifications which are not only correct, but provably so. This has led to the application of mathematically-based formal specification techniques in the software life-cycle model. Unfortunately, experience in safety-critical systems has shown that specification correctness is n

Style APA, Harvard, Vancouver, ISO itp.

36

Xu, Sanjia. "Formal total synthesis of (±)-tetrodotoxin." Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/59489.

Pełny tekst źródła

Streszczenie:

This dissertation details a formal total synthesis of (±)-tetrodotoxin, a potent sodium channel blocker, based on a transformation developed in these laboratories: the bimolecular oxidative amidation of phenols. The present route leads to the Du Bois intermediate in 27 steps from a commercial starting material. Because the Du Bois intermediate can be elaborated to tetrodotoxin in 4 steps, this work constitutes a formal synthesis of the natural product in 31 steps. This is competitive with the best known alternatives. A structural revision of the Sato tetrodotoxin intermediate is also provided.

Style APA, Harvard, Vancouver, ISO itp.

37

Meziane, F. "From English to formal specifications." Thesis, University of Salford, 1994. http://usir.salford.ac.uk/1732/.

Pełny tekst źródła

Streszczenie:

Specifications provide the foundation upon which a system can be formally developed. If a specification is wrong, then no matter what method of design is used, or what quality assurance procedures are in place, they will not result in a system that meets the requirements. The specification of a system involves people of different profiles who favour different representations. At the beginning natural language is used because the specification document acts as a contract between the user and the developers. Most of the time, the only representation that users understand and agree on is natural

Style APA, Harvard, Vancouver, ISO itp.

38

Dragomir, Ciprian. "Formal verification of P systems." Thesis, University of Sheffield, 2016. http://etheses.whiterose.ac.uk/15452/.

Pełny tekst źródła

Streszczenie:

Membrane systems, also known as P systems, constitute an innovative computational paradigm inspired by the structure and dynamics of the living cell. A P system consists of a hierarchical arrangement of compartments and a finite set of multiset rewriting and communication rules, which operate in a maximally parallel manner. The organic vision of concurrent dynamics captured by membrane systems stands in antithesis with conventional formal modelling methods which focus on algebraic descriptions of distributed systems. As a consequence, verifying such models in a mathematically rigorous way is o

Style APA, Harvard, Vancouver, ISO itp.

39

Benghabrit, Walid. "A formal model for accountability." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2017. http://www.theses.fr/2017IMTA0043/document.

Pełny tekst źródła

Streszczenie:

Nous assistons à la démocratisation des services ducloud et de plus en plus d’utilisateurs (individuels ouentreprises) utilisent ces services dans la vie de tous lesjours. Dans ces scénarios, les données personnellestransitent généralement entre plusieurs entités.L’utilisateur final se doit d’être informé de la collecte, dutraitement et de la rétention de ses donnéespersonnelles, mais il doit aussi pouvoir tenir pourresponsable le fournisseur de service en cas d’atteinte àsa vie privée. La responsabilisation (ou accountability)désigne le fait qu’un système ou une personne estresponsable de ses

Style APA, Harvard, Vancouver, ISO itp.

40

Matthews, Chris, and mikewood@deakin edu au. "Fuzzy concepts and formal methods." Deakin University. School of Management Information Systems, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051201.154843.

Pełny tekst źródła

Streszczenie:

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the information systems problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This thesis suggests fuzzy set theory as a possible representati

Style APA, Harvard, Vancouver, ISO itp.

41

Diener, Glendon. "Formal languages in music theory." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59610.

Pełny tekst źródła

Streszczenie:

In this paper, the mathematical theory of languages is used to investigate and develop computer systems for music analysis, composition, and performance. Four prominent research projects in the field are critically reviewed. An original grammar-type for the computer representation of music is introduced, and a computer system for music composition and performance based on that grammar is described. A user's manual for the system is provided as an appendix.

Style APA, Harvard, Vancouver, ISO itp.

42

Chen, Y. "Formal methods for global synchrony." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365295.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

Goldsmith, M. H. "Logic, programming and formal specification." Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

44

Pancho, Susan B. "Contributions of formal security proofs." Thesis, University of Cambridge, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620085.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

Hinchey, Michael Gerard. "Structural design and formal methods." Thesis, University of Cambridge, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624390.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

46

Hurd, J. "Formal verification of probabilistic algorithms." Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604823.

Pełny tekst źródła

Streszczenie:

We begin with an extensive foundational development of probability, creating a higher-order logic formalization of mathematical measure theory. This allows the definition of the probability space we use to model a random bit generator, which informally is a stream of coin-flips, or technically an infinite sequence of IID Bernoulli( 1/2 ) random variables. Probabilistic programs are modified using the state-transformer monad familiar from functional programming, where the random bit generator is passed around in the computation. Functions remove random bits from the generator to perform their c

Style APA, Harvard, Vancouver, ISO itp.

47

Jefferson, Nigel Patrick. "Dependable compositions : a formal approach." Thesis, University of Newcastle Upon Tyne, 2007. http://hdl.handle.net/10443/1959.

Pełny tekst źródła

Streszczenie:

Design processes for most engineering disciplines are based on component reuse. In much the same way as the need for customizable reuse of software fueled the growth and development of object-oriented programming languages over module-based languages, the same driving force for component-based solutions is leading to object-oriented languages being transcended by component-based composition languages. Existing declarative programming languages are ideally suited to the construction of software components, but are inappropriate for specifying compositions of components in a high level manner. I

Style APA, Harvard, Vancouver, ISO itp.

48

Harman, Neal Andrew. "Formal specifications for digital systems." Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235627.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

49

Read, Simon. "Formal methods for VLSI design." Thesis, University of Manchester, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239786.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

Salter, Ian Kingsley. "The design of formal languages." Thesis, University College London (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321641.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!