Accedi

Bibliografie tematiche / Abstract / Tesi

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Abstract.

Tesi sul tema "Abstract"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 25 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Abstract".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

4

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

12

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

13

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

15

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

17

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

<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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

21

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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/.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

26

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

29

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

36

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

38

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

<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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

42

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

44

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

46

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

47

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

48

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

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

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

Gli stili APA, Harvard, Vancouver, ISO e altri

50

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!