Zaloguj się

Gotowe bibliografie tematyczne / Abstract / Rozprawy doktorskie

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

Rozprawy doktorskie na temat „Abstract”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 25 lipca 2025

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

Wybierz rodzaj źródła:

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

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

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

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

1

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

4

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

11

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

12

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

13

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

15

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

16

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

17

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

<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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

21

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

22

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

26

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

29

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

31

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

36

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

38

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

<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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

41

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

42

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

44

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

46

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

47

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

48

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

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

50

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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