Log in

Relevant bibliographies by topics / Formal / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Formal.

Dissertations / Theses on the topic 'Formal'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 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 'Formal.'

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

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

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 h

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

<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

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

36

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

38

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

47

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

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!