Se connecter

Bibliographies thématiques / Abstract / Thèses

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Abstract.

Thèses sur le sujet « Abstract »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 25 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Abstract ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Frisk, Anders. "On the structure of standardly stratified algebras /." Uppsala, 2004. http://www.math.uu.se/research/pub/Frisk5lic.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Teichmann, Roger. "Abstract entities." Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315954.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Kappers, Michael. "VIRTUALLY ABSTRACT." Master's thesis, University of Central Florida, 2008. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4011.

Texte intégral

Résumé :

My most recent body of work frees me from traditional animation and graphic design principles that had become second nature in my creative practice over years of commercial work in industry. I now find myself unconsciously creating shape and form without a preconceived vision of the final outcome. This allows for a free-flowing approach to my canvas. The canvas in which my forms are created is virtual space and can be described as an infinite cube. The first step I take in each of my pieces is creating a cube with the center residing at Cartesian coordinates 0,0,0. From there, I make the decis

Styles APA, Harvard, Vancouver, ISO, etc.

4

Haller, Leopold Carl Robert. "Abstract satisfaction." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:68f76f3a-485b-4c98-8d02-5e8d6b844b4e.

Texte intégral

Résumé :

This dissertation shows that satisfiability procedures are abstract interpreters. This insight provides a unified view of program analysis and satisfiability solving and enables technology transfer between the two fields. The framework underlying these developments provides systematic recipes that show how intuition from satisfiability solvers can be lifted to program analyzers, how approximation techniques from program analyzers can be integrated into satisfiability procedures and how program analyzers and satisfiability solvers can be combined. Based on this work, we have developed new tools

Styles APA, Harvard, Vancouver, ISO, etc.

5

Mofleh, Amer Ibrahim. "Abstract payment undertakings : to what extent are they truly abstract?" Thesis, University of Leicester, 2005. http://hdl.handle.net/2381/31087.

Texte intégral

Résumé :

This work examines to what extent documentary credits and demand guarantees are, and should, be treated as autonomous or abstract from the underlying contract that leads to their issuance. This question is of vital importance to the commercial parties that utilise these instruments. The answer to it determines many of their duties, liabilities, the risks they undertake and the remedies available to them. While documentary credits and demand guarantees share some characteristics, both instruments serve different commercial functions. As such, the legal principles governing each instrument shoul

Styles APA, Harvard, Vancouver, ISO, etc.

6

Wong, Hong-Yee. "Abstract scene specifications." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21323.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Schneider, Kevin A. "Abstract user interfaces." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ56099.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Desharnais, Jules. "Abstract relational semantics." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75986.

Texte intégral

Résumé :

Abstract relational algebra is used to define the semantics of a simple imperative language. In order to carry out this task, various domains are specified by relational axioms. Some specifications define relations on the basic types of the language (Booleans and natural numbers); their presentation stresses the importance of the concept of point. Other specifications construct the relational domains whose relations are used to denote programs. The programming constructs that are defined include expressions, variable declarations, assignment statements, while-program statements and procedures.

Styles APA, Harvard, Vancouver, ISO, etc.

9

Mathiesen, Erik Arne. "Abstract hoare logic." Thesis, Queen Mary, University of London, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.497518.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Ahmed, Amna Mohamed Abdelgader. "Abstract topological dynamics." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3503/.

Texte intégral

Résumé :

Let \(\char{cmmi10}{0x54}\) : \(\char{cmmi10}{0x58}\) → \(\char{cmmi10}{0x58}\) be a function from a countably infinite set \(\char{cmmi10}{0x58}\) to itself. We consider the following problem: can we put a structure on \(\char{cmmi10}{0x58}\) with respect to which \(\char{cmmi10}{0x54}\) has some meaning? In this thesis, the following questions are addressed: when can we endow \(\char{cmmi10}{0x58}\) with a topology such that \(\char{cmmi10}{0x58}\) is homeomorphic to the rationals \(\char{msbm10}{0x51}\) and with respect to which \(\char{cmmi10}{0x54}\) is continuous? We characterize such fu

Styles APA, Harvard, Vancouver, ISO, etc.

11

Fredriksson, Olle. "Distributing abstract machines." Thesis, University of Birmingham, 2015. http://etheses.bham.ac.uk//id/eprint/6196/.

Texte intégral

Résumé :

Today's distributed programs are often written using either explicit message passing or Remote Procedure Calls (RPCs) that are not natively integrated in the language. It is difficult to establish the correctness of programs written this way compared to programs written for a single computer. We propose a generalisation of RPCs that are natively integrated in a functional programming language meaning that they have support for higher-order calls across node boundaries. Our focus is on how such languages can be compiled correctly and efficiently. We present four different solutions. Two of them

Styles APA, Harvard, Vancouver, ISO, etc.

12

Vandevoorde, Cheyenne(Cheyenne Jacqueline Louis). "Into the abstract." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/129853.

Texte intégral

Résumé :

Thesis: M. Arch., Massachusetts Institute of Technology, Department of Architecture, February, 2020<br>Cataloged from student-submitted thesis.<br>Includes bibliographical references (pages 108-109).<br>"Must we not then renounce the object altogether, throw it to the winds and instead lay bare the purely abstract?" - Vasily Kandinsky, 1911 Abstraction is a form of contemplation. It is a means to produce new, while honoring the essential. It advocates for expression and the non-determined. It is about opportunity. As such, abstraction has a prolific history that infiltrates most, if not all, f

Styles APA, Harvard, Vancouver, ISO, etc.

13

Zsidó, Julianna. "Typed abstract syntax." Nice, 2010. http://www.theses.fr/2010NICE4103.

Texte intégral

Résumé :

Afin de spécifier le comportement des langages de programmation, de préciser leurs propriétés et de certifier leurs implémentations, on étudie des modèles formels des langages de programmation. L'étude se divise en l'étude de la syntaxe et en celle de la sémantique. La deuxième est basée sur des modèles formels de la syntaxe. Cette thèse de doctorat se situe dans l'étude de la syntaxe et est consacrée principalement à deux approches à la syntaxe abstraite typée avec liaison de variables. Ces deux approches utilisent le langage de la théorie des catégories. La première approche est dans l'espri

Styles APA, Harvard, Vancouver, ISO, etc.

14

D'Silva, Vijay Victor. "Logical abstract interpretation." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003.

Texte intégral

Résumé :

Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theoretical and practical topics which encompass the model theory of temporal logics, the analysis of satisfiability solvers, and the construction of Craig interpolants. In each case, the combination of logic and abstract interpretation leads to more general results, simpler proofs, and a unification of ideas from seemingly disparate fields. The first c

Styles APA, Harvard, Vancouver, ISO, etc.

15

Varallo, Patrick Americo. "Abstract symbolic relationships /." Online version of thesis, 1993. http://hdl.handle.net/1850/11758.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Janakiraman, Muralidharan. "Abstract Index Interfaces." PDXScholar, 1996. https://pdxscholar.library.pdx.edu/open_access_etds/5288.

Texte intégral

Résumé :

An index in a database system interacts with many of the software modules in the system. For systems supporting a wide range of index structures, interfacing the index code with the rest of the system poses a great problem. The problems are an order of magnitude more for adding new access methods to the system. These problems could be reduced manifold if common interfaces could be specified for different access methods. It would be even better, if these interfaces could be made database-system independent. This thesis addresses the problem of defining generic index interfaces for access method

Styles APA, Harvard, Vancouver, ISO, etc.

17

Nanchen, Stanislas. "Verifying abstract state machines /." Zürich : ETH, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17489.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

Karim, Khan Shahid. "Abstract Kernel Management Environment." Thesis, Linköping University, Department of Electrical Engineering, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-1806.

Texte intégral

Résumé :

<p>The Kerngen Module in MATLAB can be used to optimize a filter with regards to an ideal filter; while taking into consideration the weighting function and the spatial mask. To be able to remotely do these optimizations from a standard web browser over a TCP/IP network connection would be of interest. This master’s thesis covers the project of doing such a system; along with an attempt to graphically display three-dimensional filters and also save the optimized filter in XML format. It includes defining an appropriate DTD for the representation of the filter. The result is a working system, w

Styles APA, Harvard, Vancouver, ISO, etc.

19

Suhanic, West M. L. "The abstract media model." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape17/PQDD_0014/NQ30651.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Wong, Brian T. (Brian Tak-Ho) 1978. "The Abstract Data Interface." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/86744.

Texte intégral

Résumé :

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>Includes bibliographical references (leaves 107-113).<br>by Brian T. Wong.<br>M.Eng.

Styles APA, Harvard, Vancouver, ISO, etc.

21

De, León Eduardo Enrique. "Medical abstract inference dataset." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/119516.

Texte intégral

Résumé :

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 (page 35).<br>In this thesis, I built a dataset for predicting clinical outcomes from medical abstracts and their title. Medical Abstract Inference consists of 1,794 data points. Titles were filtered to include the abstract's repor

Styles APA, Harvard, Vancouver, ISO, etc.

22

Mosina, E. O. "Abstract vision in fashion." Thesis, Київський національний університет технологій та дизайну, 2018. https://er.knutd.edu.ua/handle/123456789/11355.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Macumu. "Abstract economics for ecology." Thesis, Вид-во СумДУ, 2006. http://essuir.sumdu.edu.ua/handle/123456789/11719.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Newton, Michael. "Abstract specification of grammar." Thesis, University of Edinburgh, 1992. http://hdl.handle.net/1842/20062.

Texte intégral

Résumé :

In this thesis I explore the use of an algebraic (software) specification language (ASL) in the description and modelling of natural language grammar. I am particularly concerned with the application of methods of loose specification and stepwise refinement, and modularisation and parameterisation. I have some background on the use of specifications in software engineering, and suggest some benefits one might obtain from the use of such disciplines in the description of grammar. I introduce the language ASL and the algebraic concepts underlying it. I consider how we might describe the notion o

Styles APA, Harvard, Vancouver, ISO, etc.

25

Fernandes, Renato da Silva. "Combinatória: dos princípios fundamentais da contagem à álgebra abstrata." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/55/55136/tde-31012018-161438/.

Texte intégral

Résumé :

O objetivo deste trabalho é fazer um estudo amplo e sequencial sobre combinatória. Iniciase com os fundamentos da combinatória enumerativa, tais como permutações, combinações simples, combinações completas e os lemas de Kaplanski. Num segundo momento é apresentado uma abordagem aos problemas de contagem utilizando a teoria de conjuntos; são abordados o princípio da inclusão-exclusão, permutações caóticas e a contagem de funções. No terceiro momento é feito um aprofundamento do conceito de permutação sob a ótica da álgebra abstrata. É explorado o conceito de grupo de permutações e resultados im

Styles APA, Harvard, Vancouver, ISO, etc.

26

Winter, Kirsten. "Model checking abstract state machines." [S.l.] : [s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=963050001.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Sablik, Mathieu. "Wavelets in Abstract Hilbert Space." Thesis, Uppsala University, Department of Mathematics, 2000. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-122553.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Carbe, Katia. "Spatial coding of abstract concepts." Doctoral thesis, Universite Libre de Bruxelles, 2015. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/219173.

Texte intégral

Résumé :

Abstract concepts seem to be related to space dimension. Evidence of this relation refers to the domain of numerical cognition. An example is the SNARC effect (Spatial Numerical Association of Response Codes, Dehaene, Bossini, and Giraux 1993), which consists in the observation that people react faster to small number with the left hand and to large number with the right hand. This number-space interaction has been explained according to the mental number line hypothesis (e.g. Restle 1970; Dehaene, Bossini, and Giraux 1993), which claims that the representation of numbers has the form of a hor

Styles APA, Harvard, Vancouver, ISO, etc.

29

Basalaj, Wojciech. "Proximity visualisation of abstract data." Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620911.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Dinsdale-Young, Thomas. "Abstract data and local reasoning." Thesis, Imperial College London, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539276.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Merkley, John. "Transitions : multi-media abstract sculpture." Virtual Press, 2004. http://liblink.bsu.edu/uhtbin/catkey/1305451.

Texte intégral

Résumé :

The first objective of this creative project was to create seven Non-figurative, abstract, multi-media (wood, metals, clay, concrete, glass) sculptures that attempted to express some of the feelings experienced during transitions in life. The second objective was to explore the continuum of abstract sculptural art: from art being simply aesthetically stimulating compositions to art that emphasizes meaning or purpose first, and being aesthetically pleasing or stimulating second.<br>Department of Art

Styles APA, Harvard, Vancouver, ISO, etc.

32

Mansfield, Rachel. "Temporal Abstract Behavioral Representation Model." Honors in the Major Thesis, University of Central Florida, 2007. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/1181.

Texte intégral

Résumé :

This item is only available in print in the UCF Libraries. If this is your Honors Thesis, you can help us make it available online for use by researchers around the world by following the instructions on the distribution consent form at http://library.ucf.edu/Systems/DigitalInitiatives/DigitalCollections/InternetDistributionConsentAgreementForm.pdf You may also contact the project coordinator, Kerri Bottorff, at kerri.bottorff@ucf.edu for more information.<br>Bachelors<br>Engineering and Computer Science<br>Electrical Engineering

Styles APA, Harvard, Vancouver, ISO, etc.

33

Lyttle, R. W. "Notations for abstract data types." Thesis, Queen's University Belfast, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373554.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Fisher, M. D. "Temporal logics for abstract semantics." Thesis, University of Manchester, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.383218.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Tye, S. T. "A prototype abstract data store." Thesis, University of Manchester, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356583.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Rosendahl, Mads. "Abstract interpretation and attribute grammars." Thesis, University of Cambridge, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239666.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Chawdhary, Aziem A. "Proving termination using abstract interpretation." Thesis, Queen Mary, University of London, 2010. http://qmro.qmul.ac.uk/xmlui/handle/123456789/420.

Texte intégral

Résumé :

One way to develop more robust software is to use formal program verification. Formal program verification requires the construction of a formal mathematical proof of the programs correctness. In the past ten years or so there has been much progress in the use of automated tools to formally prove properties of programs. However many such tools focus on proving safety properties: that something bad does not happen. Liveness properties, where we try to prove that something good will happen, have received much less attention. Program termination is an example of a liveness property. It has been k

Styles APA, Harvard, Vancouver, ISO, etc.

38

Casasanto, Daniel J. "Perceptual foundations of abstract thought." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/34129.

Texte intégral

Résumé :

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Brain and Cognitive Sciences, 2005.<br>Includes bibliographical references (p. 75-78).<br>How do people think about things they can never see or touch? The ability to invent and reason about domains such as time, ideas, or mathematics is uniquely human, and is arguably the hallmark of human sophistication. Yet, how people mentally represent these abstract domains has remained one of the great mysteries of the mind. This dissertation explores a potential solution: perhaps the mind recruits old structures for new uses. Perhaps sens

Styles APA, Harvard, Vancouver, ISO, etc.

39

Greenfield, David. "Semigroup representations : an abstract approach." Thesis, University of Oxford, 1994. http://ora.ox.ac.uk/objects/uuid:ebe5ecaf-e400-41de-bcd2-e168475ac76e.

Texte intégral

Résumé :

<b>Chapter One</b> After the definitions and basic results required for the rest of the thesis, a notion of spectrum for semigroup representations is introduced and some relevant examples given. <b>Chapter Two</b> Any semigroup representation by isometries on a Banach space may be dilated to a group representation on a larger Banach space. A new proof of this result is presented here, and a connection is shown to exist between the dilation and the trajectories of the dual representation. The problem of dilating various types of spaces, including partially ordered spaces, C*-algebras, and refle

Styles APA, Harvard, Vancouver, ISO, etc.

40

Drape, Stephen. "Obfuscation of abstract data-types." Thesis, University of Oxford, 2004. http://ora.ox.ac.uk/objects/uuid:fa574ce9-4ed2-41f5-86d8-78113828b9ab.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Walton, Christopher D. "Abstract machines for dynamic computation." Thesis, University of Edinburgh, 2001. http://hdl.handle.net/1842/372.

Texte intégral

Résumé :

In this thesis we address the challenges associated with the provision of dynamic software architectures. These are systems in which programs are constructed from separately compiled units with a facility for the replacement of these units at runtime. Typical examples of applications which will benefit from this dynamic approach are long-lived systems in which downtime is highly undesirable, for example, web-servers, database engines, and equipment controllers. In addition, dynamic software architectures are also gaining popularity with the recent advent of wide-area Internet applications, whe

Styles APA, Harvard, Vancouver, ISO, etc.

42

Byers, Patrick. "Computability over abstract data types." Thesis, University of Surrey, 1990. http://epubs.surrey.ac.uk/844617/.

Texte intégral

Résumé :

This thesis extends the study of the notion of termination equivalence of abstract structures first proposed by Kfoury. The connection with abstract data types (ADTs) is made by demonstrating that many kinds of equivalence between ADT implementations are in fact instances of termination equivalence between their underlying algebras. The results in the thesis extend the original work in two directions. The first is to consider how the termination equivalence of structures is dependent upon the choice of programming formalism. The termination equivalences for all of the common classes of program

Styles APA, Harvard, Vancouver, ISO, etc.

43

Engström, Alexander. "Inger Ekdahl : Swedish Abstract Expressionism." Thesis, Stockholms universitet, Institutionen för kultur och estetik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-182385.

Texte intégral

Résumé :

Inger Ekdahl was a female painter at the center of Swedish Abstract Expressionism in the fifties. This essay investigates how her art was received in Stockholm and Paris. We conclude that although her type of art dominated the avant-garde in Paris during the late fifties, she was too early for the Swedish avant-garde and did not amass enough support to transform it. The analysis used Actor-Network Theory following Latour.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Showers, Patrick J. "Abstract Polytopes from Nested Posets." University of Akron / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=akron1386028871.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Colledan, Andrea. "Abstract Machine Semantics for Quipper." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/22835/.

Texte intégral

Résumé :

Quipper is a domain-specific programming language for the description of quantum circuits. Because it is implemented as an embedded language in Haskell, Quipper is a very practical functional language. However, for the same reason, it lacks a formal semantics and it is limited by Haskell's type-system. In particular, because Haskell lacks linear types, it is easy to write Quipper programs that violate the non-cloning property of quantum states. In order to formalize relevant fragments of Quipper in a type-safe way, the Proto-Quipper family of research languages has been introduced over the las

Styles APA, Harvard, Vancouver, ISO, etc.

46

Winegar, Matthew Bryston. "Extending the Abstract Data Model." Digital Commons @ East Tennessee State University, 2005. https://dc.etsu.edu/etd/1007.

Texte intégral

Résumé :

The Abstract Data Model (ADM) was developed by Sanderson [19] to model and predict semantic loss in data translation between computer languages. In this work, the ADM was applied to eight languages that were not considered as part of the original work. Some of the languages were found to support semantic features, such as the restriction semantics for inheritance found in languages like XML Schemas and Java, which could not be represented in the ADM. A proposal was made to extend the ADM to support these semantic features, and the requirements and implications of implementing that proposal wer

Styles APA, Harvard, Vancouver, ISO, etc.

47

Juett, Jason Robert. "Some topics in abstract factorization." Diss., University of Iowa, 2013. https://ir.uiowa.edu/etd/2534.

Texte intégral

Résumé :

Anderson and Frazier defined a generalization of factorization in integral domains called tau-factorization. If D is an integral domain and tau is a symmetric relation on the nonzero nonunits of D, then a tau-factorization of a nonzero nonunit a in D is an expression a = lambda a_1 ... a_n, where lambda is a unit in D, each a_i is a nonzero nonunit in D, and a_i tau a_j for i != j. If tau = D^# x D^#, where D^# denotes the nonzero nonunits of D, then the tau-factorizations are just the usual factorizations, and with other

Styles APA, Harvard, Vancouver, ISO, etc.

48

Caldarola, Elisa. "Pictorial Representation and Abstract Pictures." Doctoral thesis, Università degli studi di Padova, 2011. http://hdl.handle.net/11577/3422042.

Texte intégral

Résumé :

This work is an investigation into the analytical debate on pictorial representation and the theory of pictorial art. My main concern are a critical exposition of the questions raised by the idea that it is resemblance to depicted objects that explains pictorial representation and the investigation of the phenomenon of abstract painting from an analytical point of view in relation to the debate on depiction. The first part is dedicated to a survey of the analytical debate on depiction, with special attention to the fortunes and misfortunes of the resemblance theory of depiction. In the firs

Styles APA, Harvard, Vancouver, ISO, etc.

49

Bylund, Johanna, and Josefine Nåvik. "Allt är inte sagt bara för att en lag har talat : En kvalitativ dokumentstudie om hur insiderlagen i praktiken kan ses som en spelregel." Thesis, Mittuniversitetet, Institutionen för ekonomi, geografi, juridik och turism, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-37009.

Texte intégral

Résumé :

Reglering av insiderhandel är ett omdebatterat ämne som ofta leder till svarta rubriker i media. Att försöka motverka insiderhandel grundar sig i den asymmetriska information som är vanligt förekommande på värdepappersmarknaden och som tycks vara anledningen till att marknaden kan upplevas som orättvis och omoralisk. Reglering av insiderhandel har således ansetts vara nödvändigt men själva lagen har ifrågasatts när det kommer till dess verkliga funktion och effektivitet. Tidigare forskning visar nämligen på att lagen kanske bäst kan förstås som en spelregel där spelet är amoraliskt. Hur lagen

Styles APA, Harvard, Vancouver, ISO, etc.

50

Geer, Andrea. "The non-representational language /." Online version of thesis, 1990. http://hdl.handle.net/1850/11309.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!