Log in

Relevant bibliographies by topics / Constructive / Dissertations / Theses

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

Dissertations / Theses on the topic 'Constructive'

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 'Constructive.'

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

Mirian-Hosseinabadi, Seyed-Hassan. "Constructive Z." Thesis, University of Essex, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.339239.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Knobel, Andreas. "Constructive λ-models". Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/11001.

Full text

Abstract:

We study λ-models in a constructive setting. We present two novel ways of deriving λ-models. These two definitions make sense classically, but yield nothing of interest. The first extends the structure of a λ-model to its pace of singletons. These two models and all the models inbetween have the same equational theory. The second takes a full function space hierarchy and defines a λ-submodel whose universe consists of those points in the hierarchy that satisfy a logical relation. Call a model obtained in this way extension model. We prove that, given a 'classsical' λ-model, it is consistent wi

APA, Harvard, Vancouver, ISO, and other styles

3

ABDESSELAM, ABDELMALEK. "Renormalisation constructive explicite." Palaiseau, Ecole polytechnique, 1997. http://www.theses.fr/1997EPXX0017.

Full text

Abstract:

L'objet de cette these est l'elaboration de methodes nouvelles, pour l'etude rigoureuse de modeles de theorie des champs, ou de physique statistique au voisinage d'un point critique du deuxieme ordre. Ces methodes s'inspirent du groupe de renormalisation qui permet de decomposer l'etude des comportements macroscopiques d'un systeme microscopique en une succession d'etapes, ou l'on gagne un ordre de grandeur predefini a chaque fois. J'ai, en particulier, teste ces methodes sur le comportement infrarouge du champ scalaire, avec une interaction quartique, a quatre dimensions. Le but est d'exprime

APA, Harvard, Vancouver, ISO, and other styles

4

Schmitt, Benjamin. "Constructive hypervolume modelling." Bordeaux 1, 2002. http://www.theses.fr/2002BOR12610.

Full text

Abstract:

Ce document s'intéresse à la modélisation d'ensemble de points avec attributs. Un ensemble de points est considéré comme modèle géométrique d'un objet, réel ou abstrait. Un attribut peut être considéré comme un modèle mathématique d'une des propriétés de l'objet considéré, défini en chacun de ses points. Après avoir donné une définition formelle de ce modèle, nous étudions en particulier son application dans le domaine de l'informatique graphique. Afin de faciliter la création de tels objets, nous proposons par ailleurs deux nouveaux outils. Le premier est une métaphore de la sculpture sur gla

APA, Harvard, Vancouver, ISO, and other styles

5

Fraser, Merri Lee. "Communication theory and the construction of meaning : a constructive developmental approach." Scholarly Commons, 1987. https://scholarlycommons.pacific.edu/uop_etds/500.

Full text

Abstract:

In recent years the field of communication has been experiencing a movement toward newer non-tradtional approaches to the study of communication and information. Among these newer approaches is a growing body of research that focuses on interpretive behavior in the communication process. Brenda Dervin's Sense-Making model of communication/information has been the most widely used interpretive theory of information to date. Sense-Making focuses primarily upon the role of the receiver in the communication process and how individuals construct meaning in specific situations. As a result, Sense-Ma

APA, Harvard, Vancouver, ISO, and other styles

6

Davies, Jim. "Constructive Adaptive Visual Analogy." Diss., Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/4775.

Full text

Abstract:

Visual knowledge appears to be an important part of problem solving, but the role of visual knowledge in analogical problem solving is still somewhat mysterious. In this work I present the Constructive Adaptive Visual Analogy theory, which claims that visual knowledge is helpful for solving problems analogically and suggests a mechanism for how it might be accomplished. Through evaluations using an implemented computer program, cognitive models of some of the visual aspects of experimental participants, and a psychological experiment, I support four claims: First, visual knowledge alone is

APA, Harvard, Vancouver, ISO, and other styles

7

Diedericks, Shaun Sylvester. "Aspects of constructive dismissal." Thesis, Nelson Mandela Metropolitan University, 2013. http://hdl.handle.net/10948/d1011641.

Full text

Abstract:

Before the introduction of the concept of constructive dismissal in the LRA, the old industrial courts relied on the strides made in this field by the English and American courts. Constructive dismissal is the fourth type of dismissal and it is instituted by the employee through his/her resignation, unlike the other three types of dismissals which is instituted by the employer. Section 186(e) of the LRA defines constructive dismissal as the termination a contract of employment with or without notice by the employee because the employer made continued employment intolerable for the employee. Wi

APA, Harvard, Vancouver, ISO, and other styles

8

Newlands, G. M. "Studies in constructive theology." Thesis, University of Edinburgh, 2004. http://hdl.handle.net/1842/27116.

Full text

Abstract:

This submission centres on substantive issues of constructive theology, and particularly on interpreting the love of God. The focus is on the multi-layered impact of a Christology of divine love, developed through five monographs (I began to look at concepts of love as key to exegesis in theology in my Ph.D. thesis, published as <i>Exegesis and Method in Hilary of Poitiers,</i><i> </i>1978). <i>Theology of the Love of God </i>(1980) explores concepts of the love of God as the basic structuring element of Christian theology. In engagement with interpretations of love in the tradition, and with

APA, Harvard, Vancouver, ISO, and other styles

9

Asay, Jamin Roberts John. "Truth in constructive empiricism." Chapel Hill, N.C. : University of North Carolina at Chapel Hill, 2007. http://dc.lib.unc.edu/u?/etd,912.

Full text

Abstract:

Thesis (M.A.)--University of North Carolina at Chapel Hill, 2007.<br>Title from electronic title page (viewed Dec. 18, 2007). "... in partial fulfillment of the requirements for the degree of Master of Arts in the Department of Philosophy." Discipline: History; Department/School: History.

APA, Harvard, Vancouver, ISO, and other styles

10

Diener, Hannes. "Compactness Under Constructive Scrutiny." Thesis, University of Canterbury. Mathematics and Statistics, 2008. http://hdl.handle.net/10092/1823.

Full text

Abstract:

The aim of this thesis is to understand the constructive scope of compactness. We show that it is possible to deﬁne, constructively, a meaningful notion of compactness in a more general setting than the uniform/metric space one. Furthermore, we show that it is not possible to deﬁne compactness constructively in a topological space. We investigate exactly what principles are necessary and suﬃcient to prove classically true theorems about compactness, as well as their antitheses. We develop beginnings of a constructive theory of diﬀerentiable manifolds.

APA, Harvard, Vancouver, ISO, and other styles

11

Lewington, Christopher P. "Towards constructive specification transformation." Thesis, University of Essex, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Liew, Ying Khai. "Qualified interest constructive trusts." Thesis, University of Nottingham, 2012. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.721513.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Alvarado, Álvarez Cristina. "Comprensión de la gestión constructiva del conflicto en las empresas familiares: Un modelo teórico y un estudio mixed methods." Doctoral thesis, Universitat Autònoma de Barcelona, 2021. http://hdl.handle.net/10803/673394.

Full text

Abstract:

La influència de la família propietària en la gestió i en el govern de les empreses familiars imprimeix un caràcter únic per a l'emergència de la gestió constructiva del conflicte, sent precisament aquest l'objecte d'aquesta tesi: comprendre la gestió constructiva del conflicte en les empreses familiars. Per a això es van plantejar dos objectius: 1) Desenvolupar un model conceptual que explica com les relacions de mutu benefici es creen en aquest context específic, generant open-*mindedness i una gestió constructiva del conflicte. 2) Aportar evidència empírica del model per a poder refinar la

APA, Harvard, Vancouver, ISO, and other styles

14

Kotowski, Jakub. "Constructive Reasoning for Semantic Wikis." Diss., lmu, 2011. http://nbn-resolving.de/urn:nbn:de:bvb:19-135911.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Van, Loggerenberg Johannes Jurgens. "Constructive dismissal in labour law." Thesis, University of Port Elizabeth, 2003. http://hdl.handle.net/10948/301.

Full text

Abstract:

The history of constructive dismissals in South Africa imitated from the English law in 1986, when an employee successfully challenged the employer on this particular concept after an incident relating a forced resignation. From the literature it is clear that constructive dismissal, as we know it today, originated from our English counterparts. Being a relatively new concept, the South African labour laws caught on at a rapid pace. The leading case on which the South African authors leaned towards was the English case of Woods v WM Car Services (Peterborough). In South Africa constructive dis

APA, Harvard, Vancouver, ISO, and other styles

16

Hendtlass, Matthew Ralph John. "Aspects of Constructive Dynamical Systems." Thesis, University of Canterbury. Mathematics and Statistics, 2009. http://hdl.handle.net/10092/2724.

Full text

Abstract:

We give a Bishop-style constructive analysis of the statement that a continuous homomorphism from the real line onto a compact metric abelian group is periodic; constructive versions of this statement and its contrapositive are given. It is shown that the existence of a minimal period in general is not derivable, but the minimal period is derivable under a simple geometric condition when the group is contained in two dimensional Euclidean space. A number of results about one-one and injective mappings are proved en route to our main theorems. A few Brouwerian examples show that some of our res

APA, Harvard, Vancouver, ISO, and other styles

17

Min, Guo-Hua. "Constructive approximation in rational systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0018/NQ37734.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Bruin, Peter Johan de. "Inductive types in constructive languages." [S.l. : [Groningen] : s.n.] ; [University Library Groningen] [Host], 1995. http://irs.ub.rug.nl/ppn/128570415.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Walinsky, Clifford. "Constructive negation in logic programs /." Full text open access at:, 1987. http://content.ohsu.edu/u?/etd,149.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Elias, Gbolahan O. A. "The aims of constructive trusts." Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303525.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

DIAS, MARINA SEQUEIROS. "CONSTRUCTIVE REGRESSION ON IMPLICIT MANIFOLDS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2012. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=21402@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>Métodos de aprendizagem de variedades assumem que um conjunto de dados de alta dimensão possuem uma representação de baixa dimensionalidade. Tais métodos podem ser empregados para simplificar os dados e obter um melhor entendimento da estrutura da qual os dados fazem parte. Nesta tese, utiliza-se o método de aprendizagem de variedades chamado votação por tensores para obter informação da dimensionalidade intrínseca dos dados, bem como estimativas confiáveis da orientação dos vetores normais e tangentes em cada ponto da variedade. Em seguida

APA, Harvard, Vancouver, ISO, and other styles

22

Dicken, Paul Edward Trueman. "A defence of constructive empiricism." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613381.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Kameyama, Yukiyoshi. "Reflection Mechanism in Constructive Programming." Kyoto University, 1996. http://hdl.handle.net/2433/160808.

Full text

Abstract:

本文データは平成22年度国立国会図書館の学位論文(博士)のデジタル化実施により作成された画像ファイルを基にpdf変換したものである<br>Kyoto University (京都大学)<br>0048<br>新制・論文博士<br>博士(工学)<br>乙第9307号<br>論工博第3137号<br>新制||工||1047(附属図書館)<br>UT51-96-T527<br>(主査)教授佐藤雅彦, 教授上林彌彦, 教授湯淺太一<br>学位規則第4条第2項該当

APA, Harvard, Vancouver, ISO, and other styles

24

Kofopoulos, Konstantinos. "Constructive total losses and abandonment." Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/359899/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Mouyart-Tassin, Annie-Françoise. "Combinatoire constructive : carrés et hyperétoiles." Lille 1, 1985. http://www.theses.fr/1985LIL10076.

Full text

Abstract:

Étude de deux familles de configurations : les carrés, dérivés des carrés latins et les décompositions de l'hypergraphe complet en sous-hypergraphes isomorphes. Définition de quelques carrés. Existence des carrés doubles symétriques inséparables. Hyperétoiles. Un problème de documentation automatique. Décomposition de l'hypergraphe régulier complet. Hyperétoiles à rayons simples. Hyperétoiles à centre simple.

APA, Harvard, Vancouver, ISO, and other styles

26

Bach, Caroline. "Constructive Nonviolent Action in Israel." Thesis, Malmö högskola, Fakulteten för kultur och samhälle (KS), 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-22998.

Full text

Abstract:

This study is dedicated to exploring the different types of, and motives for constructive nonviolent action that in direct connection to the ongoing conflict in Israel and Palestine are being implemented by young Israelis. The initiative is based on the belief that hope, recognition and support is highly important for the effectiveness of constructive nonviolent action, by an interest to explore the existing and functioning methods of constructive nonviolent action in an ongoing conflict area and by the will to show the specific conflict in Israel and Palestine from a perspective of positive i

APA, Harvard, Vancouver, ISO, and other styles

27

Cação, Maria Isabel Jordão. "Constructive approximation by monogenic polynomials." Doctoral thesis, Universidade de Aveiro, 2004. http://hdl.handle.net/10773/16662.

Full text

Abstract:

Doutoramento em Matemática<br>In this thesis fundamentals of constructive approximation in Clifford Analysis are presented. This includes the consideration of Clifford algebravalued functions classes in different spaces related to special approximation problems. The problem of best approximation in Hilbert spaces of quaternionvalued functions is considered and the rate of convergence for the best approximation of a square-integrable function by general homogeneous monogenic polynomials is obtained. Furthermore, the construction of several complete systems of homogeneous monogenic polyn

APA, Harvard, Vancouver, ISO, and other styles

28

Kelly, Nick. "Constructive Interpretation in Design Thinking." Thesis, The University of Sydney, 2011. http://hdl.handle.net/2123/11506.

Full text

Abstract:

This thesis explores the role of interpretation in design activity through the development of a computational model of constructive interpretation. It asks the question: how does the construction of interpretations from expectations within a situation affect design activity? This work hypothesises that designers construct their world from their expectations through interpretation. In interpreting their own work designers are able to make unexpected discoveries and explore the implicit knowledge held within their expectations of the world. These expectations are grounded in experience. A concep

APA, Harvard, Vancouver, ISO, and other styles

29

Vermeulen, J. J. C. "Constructive techniques in functional analysis." Thesis, University of Sussex, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.712698.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Tongsiri, Natee. "Constructive solid geometry with projection." Thesis, University of Bath, 2001. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.392208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Méndez, Gonzalo Gabriel. "Designing digital constructive visualization tools." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/13228.

Full text

Abstract:

The emergence of tools that support fast and easy creation of visualizations has made the benefits of Information Visualization (InfoVis) more accessible. The predominant design for visualization authoring tools often includes features such as automated mappings and visualization templates, which make tools effective and easy-to-use. These features, however, still impose barriers to non-experts (i.e., people with no formal training on visualization concepts). The paradigm of Constructive Visualization (ConstructiveVis) has shown potential to overcome some of these barriers, but it has only bee

APA, Harvard, Vancouver, ISO, and other styles

32

Scheele, Stephan M. [Verfasser], and Michael [Akademischer Betreuer] Mendler. "Model and Proof Theory of Constructive ALC, Constructive Description Logics / Stephan M. Scheele. Betreuer: Michael Mendler." Bamberg : University of Bamberg Press, 2015. http://d-nb.info/1073868389/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Couton, Loïc. "Les enjeux de la question constructive dans le processus de conception architecturale des architectes-constructeurs." Thesis, Paris Est, 2014. http://www.theses.fr/2014PEST1012/document.

Full text

Abstract:

L'objectif principal de cette thèse de doctorat est de porter un nouveau regard sur le processus de conception architecturale, au travers des cultures constructives, en tissant des liens étroits entre théorie et pratique. Il s'agit de « réhabiliter » la construction au sein du processus de conception architecturale, en tant qu'outil de conceptualisation, au même titre que tout autre fondement du projet. Explorer les conditions d'émergences, symboliques, physiques et matérielles, du projet d'architecture au long d'un cheminement qui relie, pour ne pas dire unifie, sa conception à sa matérialisa

APA, Harvard, Vancouver, ISO, and other styles

34

Seisenberger, Monika. "On the Constructive Content of Proofs." Diss., lmu, 2003. http://nbn-resolving.de/urn:nbn:de:bvb:19-16190.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Wilander, Olov. "On Constructive Sets and Partial Structures." Doctoral thesis, Uppsala universitet, Algebra, geometri och logik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-160605.

Full text

Abstract:

The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. In Paper I, we show that type theory without universes is insufficient for proving that some expected properties hold of the E-category of setoids, but that a minimal universe is sufficient. In Paper II, we show that although the collection of all E-categories does not form a category, we can introduce a type-theoretic version of bicategories,

APA, Harvard, Vancouver, ISO, and other styles

36

Kanda, Takayuki. "A constructive approach for communication robots." 京都大学 (Kyoto University), 2003. http://hdl.handle.net/2433/148779.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Ballinger, Katherine. "The fiduciary status of constructive trustees." Thesis, University of Bristol, 2015. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.688102.

Full text

Abstract:

The main aim of this research is to determine the fiduciary status of constructive trustees; that is, whether and in what circumstances a trustee of a constructive trust is a fiduciary. This is an issue that has received some cursory attention, but about which there has been little analysis. It is important to tackle this apparent lacuna for two primary reasons. Firstly, because although it has not been an area that has caused much concern to date, there may arise in the future an issue that requires a specific answer to this question. For example, where a common intention constructive trust a

APA, Harvard, Vancouver, ISO, and other styles

38

McCanna, Anju Sharma. "Ray tracing for constructive solid modeling /." Online version of thesis, 1990. http://hdl.handle.net/1850/10579.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Fors, Mikael. "Constructive Sets with Non-binary Inclusion." Thesis, Uppsala universitet, Algebra och geometri, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-209968.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Townsend, Christopher Francis. "Preframe techniques in constructive locale theory." Thesis, Imperial College London, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.244021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Dediu, Luminita. "The constructive theory of operator algebras." Thesis, University of Canterbury. Mathematics and Statistics, 2000. http://hdl.handle.net/10092/5610.

Full text

Abstract:

The present work is a first step towards a systematic constructive development of the theory of operator algebras over a Hilbert space H. Among the topics investigated in the thesis are locally convex topologies, the extension and characterisation of ultraweakly continuous linear functionals on ß (H), and conditions that ensure the (constructive) existence of the adjoint of a bounded linear operator on H. We also study the relationship between a linear subset of ß (H) and the dual of its predual, and the comparison of projections in a von Neumann algebra. The two appendices to the thesis deal,

APA, Harvard, Vancouver, ISO, and other styles

42

Havea, Robin Siale. "Constructive spectral and numerical range theory." Thesis, University of Canterbury. Mathematics and Statistics, 2001. http://hdl.handle.net/10092/5611.

Full text

Abstract:

Following an introductory chapter on constructive mathematics, Chapter 2 contains a detailed constructive analysis of the Toeplitz-Hausdorff Theorem on the convexity of the numerical range of an operator in a Hilbert space. It is shown that the results in the chapter are the best possible with constructive methods. The rest of the thesis deals with the constructive theory of not-necessarily-commutative Banach algebras. Chapter 3 discusses the Spectral Mapping Theorem in that context, again showing that the results obtained are the best possible. Chapter 4 deals with the question, "Are positiv

APA, Harvard, Vancouver, ISO, and other styles

43

Diener, Hannes [Verfasser]. "Constructive reverse mathematics : Habilitationsschrift / Hannes Diener." Siegen : Universitätsbibliothek der Universität Siegen, 2018. http://d-nb.info/1160443564/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Fox, Maria. "A constructive paradigm of hierarchical planning." Thesis, University of Hertfordshire, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254477.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Simpson, Sharon Anne. "Constructive interaction and medical problem solving." Thesis, Glasgow Caledonian University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387176.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Costi, Elliot Mark. "Constructive membership testing in classical groups." Thesis, Queen Mary, University of London, 2009. http://qmro.qmul.ac.uk/xmlui/handle/123456789/28509.

Full text

Abstract:

Let G be a perfect classical group defined over a finite field F and generated by a set of standard generators X. Let E be the image of an absolutely irreducible representation of G by matrices over a field of the natural characteristic. Given the image of X in E, we present algorithms that write an arbitrary element of E as a straight-line programme in this image of X in E. The algorithms run in polynomial time.

APA, Harvard, Vancouver, ISO, and other styles

47

KUBRUSLY, JESSICA QUINTANILHA. "CONSTRUCTIVE REGRESSION ON IMPLICITY DEFINED REGIONS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2009. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14106@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>Os métodos de regressão baseados em árvores são modelos não lineares e não paramétricos, estudados desde a década de 80, quando houve a criação do algoritmo CART. Até hoje há muita pesquisa nessa área e cada vez mais novos métodos são apresentados com o objetivo de aperfeiçoar os modelos já existentes. Esse trabalho propõe um novo método chamado de Regressão Construtiva em Regiões Implícitas (RCRI). Sua principal diferença, com relação aos demais métodos baseados em árvores, está na forma como o domínio é particionado. Até o momento essa pa

APA, Harvard, Vancouver, ISO, and other styles

48

Gonçalves, Jorge Manuel Mendes Silva 1970. "Constructive global analysis of hybrid systems." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/8980.

Full text

Abstract:

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.<br>Includes bibliographical references (p. 145-149).<br>Many systems of interest are dynamic systems whose behavior is determined by the interaction of continuous and discrete dynamics. These systems typically contain variables or signals that take values from a continuous set and also variables that take values from a discrete, typically finite set. These continuous or discrete-valued variables or signals depend on independent variables such as time, which may also be continuous

APA, Harvard, Vancouver, ISO, and other styles

49

Sloan, Robert M. Jr. "Constructive synthesis of optimized cryptographic primitives." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113110.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 63-65).<br>In this thesis, I designed and implemented a formally verified compiler for programs over arbitrary-width integers in Parametric Higher-Order Abstract Syntax. This was part of a larger project, Fiat-crypto, which

APA, Harvard, Vancouver, ISO, and other styles

50

Disertori, Margherita. "Renormalisation constructive des fermions en interaction." Palaiseau, Ecole polytechnique, 1999. http://www.theses.fr/1999EPXX0038.

Full text

Abstract:

En utilisant la technique de la renormalisation constructive, nous avons developpe une technique rigoureuse pour la renormalisation des systemes fermioniques. Apres l'avoir testee sur un probleme deja bien connu (la limite ultraviolette du modele de gross-neveu massif a deux dimensions) nous l'avons etendue a la physique du solide. Dans ce contexte nous avons considere un modele simple decrivant la phase normale d'un supraconducteur en deux dimensions spatiales. En particulier nous avons donne la premiere preuve rigoureuse d'une relation, entre la constante de couplage et la temperature critiq

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!