Zaloguj się

Gotowe bibliografie tematyczne / Abstraction in Theory / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Abstraction in Theory.

Rozprawy doktorskie na temat „Abstraction in Theory”

Autor: Grafiati

Data publikacji: 2 czerwca 2025

Data aktualizacji: 31 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 „Abstraction in Theory”.

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

Walsh, Toby. "A theory of abstraction." Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/20276.

Pełny tekst źródła

Streszczenie:

Abstraction is the process of mapping one representation of a problem onto a simpler, more abstract representation; the abstract solution can then be used to guide the search for a solution to the original, more complex problem. By providing a global control of the search, abstraction can greatly improve our problem solving ability. Unfortunately, the use of abstraction has in general lacked sound and theoretical foundations causing many problems. This thesis therefore proposes a general purpose <i>theory of abstraction</i>. We use this theory to classify the various types of abstraction, to i

Style APA, Harvard, Vancouver, ISO itp.

2

Smirnov, Sergey, Hajo A. Reijers, Thijs Nugteren, and Mathias Weske. "Business process model abstraction : theory and practice." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4178/.

Pełny tekst źródła

Streszczenie:

Business process management aims at capturing, understanding, and improving work in organizations. The central artifacts are process models, which serve different purposes. Detailed process models are used to analyze concrete working procedures, while high-level models show, for instance, handovers between departments. To provide different views on process models, business process model abstraction has emerged. While several approaches have been proposed, a number of abstraction use case that are both relevant for industry and scientifically challenging are yet to be addressed. In this paper

Style APA, Harvard, Vancouver, ISO itp.

3

Luh, Cheng-Jye. "Abstraction morphisms for high-autonomy systems." Diss., The University of Arizona, 1992. http://hdl.handle.net/10150/185774.

Pełny tekst źródła

Streszczenie:

A model-based high autonomy system employs a multiplicity of models at various control layers to support the predefined system objectives. Such models differ in levels of abstraction and in formalism. Concepts and tools are needed to organize the models into a coherent whole. This dissertation deals with the abstraction processes for systematic derivation of related models through the use of system morphisms. Morphism abstraction tools to support model construction and model base consistency are developed and integrated into the Systems Entity Structure/Model Base (SES/MB) framework, which is

Style APA, Harvard, Vancouver, ISO itp.

4

Ruhrberg, Peter. "Simultaneous abstraction and semantic theories." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/520.

Pełny tekst źródła

Streszczenie:

I present a simple Simultaneous Abstraction Calculus, where the familiar lambda-abstraction over single variables is replaced by abstraction over whole sets of them. Terms are applied to partial assignments of objects to variables. Variants of the system are investigated and compared, with respect to their semantic and proof theoretic properties. The system overcomes the strict ordering requirements of the standard lambda-calculus,and is shown to provide the kind of "non-selective" binding needed for Dynamic Montague Grammar and Discourse Representation Theory. It is closely related to a more

Style APA, Harvard, Vancouver, ISO itp.

5

Hutton, C. M. "The type-token relation : Abstraction and instantiation in linguistic theory." Thesis, University of Oxford, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384777.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Kotzing, Timo. "Abstraction and complexity in computational learning in the limit." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 156 p, 2009. http://proquest.umi.com/pqdweb?did=1886744841&sid=7&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Mandarini, Matteo. "Efficient material-abstraction : towards a critical materialist pragmatics." Thesis, University of Warwick, 1998. http://wrap.warwick.ac.uk/36688/.

Pełny tekst źródła

Streszczenie:

Marx's critique remains the most incisive analysis of capitalism to date, though the transformations which capitalism has undergone require that his conceptual apparatus be radically overhauled. I have attempted to do so through a topological twisting of his conceptual assemblage, highlighting new elements and relations. In this way I am lead to questions of time already highlighted by Marx, in relation to an immanent and constitutive ontology. However, my primary concern remains with the contemporary strategies of capitalist command, and the new conditions and strategies of resistance it dema

Style APA, Harvard, Vancouver, ISO itp.

8

MacDonald, Beth Loveday. "Subitizing Activity: Item Orientation with Regard to Number Abstraction." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/24769.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Foster, Carol Lynn. "Algorithms, abstraction and implementation : a massively multilevel theory of strong equivalence of complex systems." Thesis, University of Edinburgh, 1991. http://hdl.handle.net/1842/6591.

Pełny tekst źródła

Streszczenie:

This thesis puts forward a formal theory of levels and algorithms to provide a foundation for those terms as they are used in much of cognitive science and computer science. Abstraction with respect to concreteness is distinguished from abstraction with respect to detail, resulting in three levels of concreteness and a large number of algorithmic levels, which are levels of detail and the primary focus of the theory. An algorithm or ideal machine is a set of sequences of states defining a particular level of detail. Rather than one fundamental ideal machine to describe the behaviour of a compl

Style APA, Harvard, Vancouver, ISO itp.

10

Lee, Chai-on. "On the three problems of abstraction, reduction and transformation in Marx's labour theory of value." Thesis, Birkbeck (University of London), 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.336608.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

Carter-Enyi, Aaron. "Contour Levels: An Abstraction of Pitch Space based on African Tone Systems." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1461029477.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

Adams, Sara Elisabeth. "Abstraction discovery and refinement for model checking by symbolic trajectory evaluation." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:27276f9c-eba5-42a9-985d-1812097773f8.

Pełny tekst źródła

Streszczenie:

This dissertation documents two contributions to automating the formal verification of hardware – particularly memory-intensive circuits – by Symbolic Trajectory Evaluation (STE), a model checking technique based on symbolic simulation over abstract sets of states. The contributions focus on improvements to the use of BDD-based STE, which uses binary decision diagrams internally. We introduce a solution to one of the major hurdles in using STE: finding suitable abstractions. Our work has produced the first known algorithm that addresses this problem by automatically discovering good, non-trivi

Style APA, Harvard, Vancouver, ISO itp.

13

Seijo, Maxximilian. "Anti-Fascist Aesthetics from Weimar to MoMA: Siegfried Kracauer & the Promise of Abstraction for Critical Theory." Scholar Commons, 2019. https://scholarcommons.usf.edu/etd/7933.

Pełny tekst źródła

Streszczenie:

This thesis re-examines the life's work of German-American critical theorist, Siegfried Kracauer, to recover abstraction from tacit historical associations with modern fascism. Evoked in critical theory more generally, the abstraction-to-fascism-teleology imagines 20th century fascism as the dialectical fulfillment of modern alienation. Rooting such alienation in the flawed Liberal and Marxist conceptions of monetary relations, critical theorists conduct their aesthetic analyses via ambivalent condemnations of abstraction’s assumed primordial alienation. In the thesis, I critique the abstracti

Style APA, Harvard, Vancouver, ISO itp.

14

Whitehouse, Denise Mary 1947. "The Contemporary Art Society of NSW and the theory and production of contemporary abstraction in Australia, 1947-1961." Monash University, Dept. of Visual Arts, 1999. http://arrow.monash.edu.au/hdl/1959.1/8387.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

Coutinho, Neto Maurício D. "Application of the electron nuclear dynamics theory to hydrogen abstraction and exchange reactions of H + HOD and D2 + NH3+." [Gainesville, Fla.] : University of Florida, 2001. http://purl.fcla.edu/fcla/etd/UFE0000311.

Pełny tekst źródła

Streszczenie:

Thesis (Ph. D.)--University of Florida, 2001.<br>Title from title page of source document. Document formatted into pages; contains viii, 165 p.; also contains graphics. Includes vita. Includes bibliographical references.

Style APA, Harvard, Vancouver, ISO itp.

16

Vilar, Fabien. "Reasoning about big data flows : TOM4A recursive abstraction based problem solving method." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0667/document.

Pełny tekst źródła

Streszczenie:

Ce document concerne le développement d'un cadre mathématique spécifiant une technologie capable de prendre en charge quelques unes des problématiques relevant du domaine des grands flux de données. Nous proposons de combiner le point de vue ontologique de Newell et celui épistémologique de Floridi d'abstraction pour construire des outils de transformation de modéles au moyen d'un ensemble adéquats de foncteurs au sens de la théorie des catégories de Samuel Eilenberg et Saunders Mac Lane. La méthode de résolution de problème proposée est basée sur un raisonnement d'abstraction temps réel qui p

Style APA, Harvard, Vancouver, ISO itp.

17

Annis, Shannon M. "Kandinsky’s Dissonance and a Schoenbergian View of Composition VI." Scholar Commons, 2008. https://scholarcommons.usf.edu/etd/122.

Pełny tekst źródła

Streszczenie:

In this study, I clarify the relationship between Wassily Kandinsky's move towards abstraction in painting and his encounters with the music and theory of Arnold Schoenberg. Prior studies have concentrated on the similarities in their theories, but I examine Kandinsky [sic] idiosyncratic understanding of Schoenbergian concepts and the evolution of his engagement with music theory over the period of 1909 to 1914. I identify dissonance as the aspect of Schoenberg's music and theory that Kandinsky found most relevant to his own developing compositional theory for abstract painting. In music, diss

Style APA, Harvard, Vancouver, ISO itp.

18

Johnson, Alyssa Marie. "Views From The House." The Ohio State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=osu1429835120.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

Hardman, Emily C. "The Cognition behind Early Mathematics: A Literature Review and an Exploration of the Educational Implications in Early Childhood." Ohio Dominican University Honors Theses / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=oduhonors1588755447374073.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

Karlsson, Johan. "Theoretical Routes for c-BN Thin Film Growth." Doctoral thesis, Uppsala universitet, Oorganisk kemi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-191181.

Pełny tekst źródła

Streszczenie:

c-BN has been in focus for several years due to its interesting properties. The possibility for large area CVD is a requirement for the realization of these different properties in various applications. Unfortunately, there are at present severe problems in the CVD growth of c-BN. The purpose with this research project has been to theoretically investigate, using DFT calculations, the possibility for a layer-by-layer CVD growth of c-BN. It could be established that, PEALD, using a BF3-H2-NH3-F2 pulse cycle and a diamond substrate, is a promising method for deposition of c-BN films. The gaseous

Style APA, Harvard, Vancouver, ISO itp.

21

CORREIA, Hiury Duarte. "Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda." Universidade Federal de Goiás, 2010. http://repositorio.bc.ufg.br/tede/handle/tde/782.

Pełny tekst źródła

Streszczenie:

Made available in DSpace on 2014-07-29T15:06:26Z (GMT). No. of bitstreams: 1 Dissertacao Mestrado Hiury Correia.pdf: 634437 bytes, checksum: cf6fd2233508dfe9b0a574d4f162b2ba (MD5) Previous issue date: 2010-11-20<br>Our dissertation s theme is the Idea that, buried in Frege s unfriendly Logical notation, one finds the notion of abstraction as a key ingredient of his Begriffsschrift. This runs contrary to the ordinary appraisal, such as the one found in Van Heijenoort s introduction to that article. It runs also contrary to Frege s refusal of the possibility of referring to unsaturated entitie

Style APA, Harvard, Vancouver, ISO itp.

22

Battersby, Jamie Thomas William. "The Door To Before Closes, and You Grieve That Too." The Ohio State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1555517321452505.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

Debien, Geneviève. "Otto Freundlich (1878-1943) : œuvre et réflexions philosophiques : Une quête esthétique à la recherche de l'homme et de son rapport au monde : vers de nouvelles perceptions." Thesis, Paris 4, 2014. http://www.theses.fr/2014PA040127.

Pełny tekst źródła

Streszczenie:

L'oeuvre plastique et l'oeuvre écrit d'Otto Freundlich (1878-1943) sont traversés par une grande thématique : celle d'une volonté de renouvellement de l'esthétique dans une quête de vérité, au coeur de laquelle se situe le rapport perceptif de l'être humain à la nature. Pour Otto Freundlich, qui adopte dans le champ de l'art une position d'artiste plasticien et d'artiste philosophe, ce renouvellement s'opère non seulement par l'intervention de l'artiste mais aussi par la perception visuelle des oeuvres. L'apparente hétérogénéité de son parcours artistique est donc sous-Tendue par une grande co

Style APA, Harvard, Vancouver, ISO itp.

24

Markey, Bren April. "Feminist methodologies in moral philosophy." Thesis, University of St Andrews, 2016. http://hdl.handle.net/10023/9107.

Pełny tekst źródła

Streszczenie:

This thesis develops a critique of the methodology of mainstream academic moral philosophy, based on insights from feminist and more generally anti-oppressive political thought. The thesis consists of two parts. In the first, I loosely characterise a certain dominant methodology of philosophy, one based on giving an important epistemological role to existing, 'pre-theoretical' moral attitudes, such as intuitions. I then argue that such methodologies may be critiqued on the basis of theories that identify these moral attitudes as problematically rooted in oppressive social institutions, such as

Style APA, Harvard, Vancouver, ISO itp.

25

Arvidsson, Igor. "Theoretical Investigations of Boron Related Materials Using DFT." Doctoral thesis, Uppsala University, Department of Materials Chemistry, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7889.

Pełny tekst źródła

Streszczenie:

<p>In the history of Chemistry, materials chemists have developed their ideas mainly by doing experiments in laboratories. The underlying motivation for this laboratory work has generally been pure curiosity or the ambition to find a solution to a specific problem. Minor changes in the composition or structure of a material can cause major changes in its properties. The development of powerful computers has now opened up the possibility to calculate properties of new materials using quantum mechanical methods.</p><p>The Chemistry of different boron-related materials has been evaluated in this

Style APA, Harvard, Vancouver, ISO itp.

26

Andrus, Timothy G. "Stuart Davis's Early Theoretical Writing, 1918–1923: Realism, Cubism, and Dada." VCU Scholars Compass, 2016. http://scholarscompass.vcu.edu/etd/4589.

Pełny tekst źródła

Streszczenie:

This dissertation provides the first in-depth examination of American artist Stuart Davis’s early theoretical writings made between 1918 and 1923. These writings are seminal documents in his artistic development. They lay the foundation for the creation of some of his most important works, inlcuding his groundbreaking Tobacco paintings of 1921 to his renowned Egg Beater series of 1927–1928, which Davis claimed set the direction for all his subsequent artistic output. One of the key ideas in these early writings is Davis’s concept of realism. This study traces the origin of Davis’s realism to h

Style APA, Harvard, Vancouver, ISO itp.

27

Schulz, Christoph. "Causation and the objectification of agency." Thesis, University of Hertfordshire, 2015. http://hdl.handle.net/2299/16480.

Pełny tekst źródła

Streszczenie:

This dissertation defends the so-called 'agency-approach' to causation, which attempts to ground the causal relation in the cause's role of being a means to bring about its effect. The defence is confined to a conceptual interpretation of this theory, pertaining to the concept of causation as it appears in a causal judgement. However, causal judgements are not seen as limited to specific domains, and they are not exclusively attributed to human agents alone. As a methodological framework to describe the different perspectives of causal judgments, a method taken from the philosophy of informati

Style APA, Harvard, Vancouver, ISO itp.

28

Lewis, Ryan D. "An ontology of images and painterly subjectivity : towards a Bergsonian philosophy of art." Thesis, University of Dundee, 2013. https://discovery.dundee.ac.uk/en/studentTheses/2ebece1a-39f7-49ae-a282-88a8ac095b21.

Pełny tekst źródła

Streszczenie:

This investigation attempts to consider the identity of the contemporary Bergsonian philosophy of immanence by reflection on key conceptualisations from the work of Henri Bergson. From the view that thinking Bergsonian is an attitude of philosophy that anticipates the metaphysics of a philosophy of process, the demands of the emergence of thinking in art plays a role the directions of philosophical development. It is by this concern that key Bergsonian concepts serve as grounding of philosophical reflections of the related themes of time, images, and movement, and the change of thinking, towar

Style APA, Harvard, Vancouver, ISO itp.

29

Oguz, Ayse. "Surveying American and Turkish middle school students' existing knowledge of earthquakes by using a systemic network." Columbus, Ohio : Ohio State University, 2005. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1132756370.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

Kaiser, Alexander. "Monotonicity in shared-memory program verification." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c.

Pełny tekst źródła

Streszczenie:

Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It has been used very successfully for debugging sequential system-level C code. Although model checking was originally designed for analysing concurrent systems, there is little evidence of fruitful applications of predicate abstraction to shared-variable concurrent software. The goal of the present thesis is to close this gap. We propose an algorithmic solution implementing predicate abstraction that targets safety properties in non-recursive programs executed by an unb

Style APA, Harvard, Vancouver, ISO itp.

31

Gibson, Timothy Robin. "Towards a discourse theory of abstracts and abstracting." Thesis, University of Nottingham, 1993. http://eprints.nottingham.ac.uk/13205/.

Pełny tekst źródła

Streszczenie:

This Ph.D. thesis investigates the extent to which certain linguistic variables affect the perceived success of an abstract. In his opening chapter, the author situates the work as a contribution to discourse theory and formulates a set of seven basic research questions the study seeks to answer. Chapter 2 considers the most satisfactory design for the research. Part Two provides a survey of the relevant source material, consisting of reviews of: the Linguistics and Psychology literature; Artificial Intelligence computational summarising systems; and standards and guidelines taken from Informa

Style APA, Harvard, Vancouver, ISO itp.

32

Holt, Alexander G. B. "Abstracting over semantic theories." Thesis, University of Edinburgh, 1993. http://hdl.handle.net/1842/528.

Pełny tekst źródła

Streszczenie:

The topic of this thesis is abstraction over theories of formal semantics for natural language. It is motivated by the belief that a metatheoretical perspective can contribute both to a better theoretical understanding of semantic theories, and to improved practical mechanisms for developing theories of semantics and combining them with theories of syntax. The argument for a new way to understand semantic theories rest spartly on the present difficulty of accurately comparing and clasifying theories, aswell as on the desire to easily combine theories that concentrate on different areas of sema

Style APA, Harvard, Vancouver, ISO itp.

33

Brodacki, Marcus, and Hanna Jirskog. "Är diversifiering ett översättningsproblem? : Hur lean översätts till en tjänstorganisations olika kontexter." Thesis, Linköpings universitet, Företagsekonomi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148228.

Pełny tekst źródła

Streszczenie:

Bakgrund: Managementkoncept, som till exempel lean, behöver anpassas för att passa en viss organisations unika förutsättningar. Översättningsteori är ett medel för anpassning av managementkoncept mellan olika kontexter men i forskningen är det främst översättning till en kontext som har undersökts. Vad som händer om organisationen i fråga är diversifierad är i stort förbisett i forskningen. Det är därmed intressant att undersöka hur diversifiering påverkar översättningen och om det kan vara en anledning till att många implementationer, och översättningar, av managementkoncept misslyckas. Syfte

Style APA, Harvard, Vancouver, ISO itp.

34

Šlajchrt, Zbyněk. "Object Morphology—A Protean Generalization of Object-Oriented Paradigm." Doctoral thesis, Vysoká škola ekonomická v Praze, 2010. http://www.nusl.cz/ntk/nusl-264276.

Pełny tekst źródła

Streszczenie:

Modeling protean objects, i.e. objects adapting their structure and behavior dynamically with respect to a changeable environment, is often challenging in traditional object-oriented languages. According to the author, the root cause of this problem lies in the class-based conceptual framework embedded in the foundation of the object-oriented para-digm. The proposed paradigm Object Morphology (OM) is greatly influenced by prototype theory developed in the field of cognitive psychology. OM abandons the notion of class and suggests, instead, that the abstractions of protean objects should be est

Style APA, Harvard, Vancouver, ISO itp.

35

Santos, Fernandez Maria Teresa. "Musical abstractions for multi-robot coordination." Thesis, Georgia Institute of Technology, 2016. http://hdl.handle.net/1853/55049.

Pełny tekst źródła

Streszczenie:

This work presents a new approach to human-swarm interactions, a discipline which addresses the problem of how a human operator can influence the behavior of large groups of robots, providing high-level information understandable by the team. While there exist potential advantages of introducing a human in the control loop of a robot swarm, how the human must be incorporated is not a simple problem. For the intervention of a human operator to be favorable to the performance of the team, the means and form of the information between the human and the robot swarm must be adequately defined: we n

Style APA, Harvard, Vancouver, ISO itp.

36

Timmermans, Benoît. "Les origines romantiques de la pensée abstraite: histoire et enjeux de l'algèbre moderne." Doctoral thesis, Universite Libre de Bruxelles, 2007. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210698.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

Jones, Nicholaos John. "Ineliminable idealizations, phase transitions, and irreversibility." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1163026373.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

38

Petoussi, Vassiliki Jr. "From Reified Abstractions to Situated Contexts: Feminist Jurisprudence, Paradigm Shift and Legal Change." Diss., Virginia Tech, 1998. http://hdl.handle.net/10919/30306.

Pełny tekst źródła

Streszczenie:

This study addresses the extent to which feminist jurisprudence literature has developed the potential to initiate a legal paradigm shift leading to legal and consequent social change that would alleviate gender inequality. Drawing upon Kuhn's (1970) and Stacey and Thorne's (1985) arguments, I theorized that for a paradigm shift centered upon women and women's experiences to occur, feminist jurisprudence, particularly second- and third-phase feminist jurisprudence, needs to be incorporated into, and accepted by the mainstream. Through quantitative analysis I evaluated, first, the publication

Style APA, Harvard, Vancouver, ISO itp.

39

Barb, Adrian S. "Knowledge representation and exchange of visual patterns using semantic abstractions." Diss., Columbia, Mo. : University of Missouri-Columbia, 2008. http://hdl.handle.net/10355/6674.

Pełny tekst źródła

Streszczenie:

Thesis (Ph. D.)--University of Missouri-Columbia, 2008.<br>The entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file. Title from title screen of research.pdf file (viewed on July 21, 2009) Includes bibliographical references.

Style APA, Harvard, Vancouver, ISO itp.

40

Palikareva, Hristina. "Techniques and tools for the verification of concurrent systems." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8.

Pełny tekst źródła

Streszczenie:

Model checking is an automatic formal verification technique for establishing correctness of systems. It has been widely used in industry for analysing and verifying complex safety-critical systems in application domains such as avionics, medicine and computer security, where manual testing is infeasible and even minor errors could have dire consequences. In our increasingly parallelised world, concurrency has become pivotal and seamlessly woven within programming paradigms, however, extremely challenging when it comes to modelling and establishing correctness of intended behaviour. Tools for

Style APA, Harvard, Vancouver, ISO itp.

41

Castine, Peter. "Set theory objects : abstractions for computer-aided, analysis and composition of serial and atonal music /." Frankfurt am Main ; Bern ; Paris : P. Lang, 1994. http://catalogue.bnf.fr/ark:/12148/cb36681090x.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

Giap, Quang Huy. "Sur le diagnostic interactif." Thesis, Grenoble, 2011. http://www.theses.fr/2011GRENT105/document.

Pełny tekst źródła

Streszczenie:

Cette thèse étudie les problèmes de diagnostic itératif et propose des outilsd’aide au diagnostic interactif. Différents processus de diagnostic où des outils interactifs homme-automate sont utiles, sont présentés. Ces outils permettent de résoudre des difficultés liées à la représentation d’un grand nombre d’éléments d’un système, des difficultés liées à la représentation du comportement et du fonctionnement d’un système et des difficultés liées à l’explicitation de l’expertise. Nos travaux ont conduit à la conception de différents types d’outils interactifs d’aide au diagnostic. Le premier p

Style APA, Harvard, Vancouver, ISO itp.

43

Norberg, Daniel. "Quantum Chemical Studies of Radical Cation Rearrangement, Radical Carbonylation, and Homolytic Substitution Reactions." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8178.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

44

Haziza, Frédéric. "Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-264171.

Pełny tekst źródła

Streszczenie:

This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. The task is to show correctness regardless of the size of the system and we consider two methods to prove safety:(i) a backward reachability analysis, using the well-quasi ordered framework and monotonic abstraction, and (ii) a forward analysis which only ne

Style APA, Harvard, Vancouver, ISO itp.

45

Lion, Thiago Ferreira. "Forma mercadoria, forma pensamento e direito na obra de Alfred Sohn-Rethel." Universidade Presbiteriana Mackenzie, 2012. http://tede.mackenzie.br/jspui/handle/tede/1045.

Pełny tekst źródła

Streszczenie:

Made available in DSpace on 2016-03-15T19:33:51Z (GMT). No. of bitstreams: 1 Thiago Ferreira Lion.pdf: 1561226 bytes, checksum: eae75063f0ebc6e2b10efb486893e860 (MD5) Previous issue date: 2012-02-06<br>Fundo Mackenzie de Pesquisa<br>This research is dedicated to the work of the philosopher, historian and German economist Alfred Sohn-Rethel and the contributions that his theory has to offer for the analyses of law. The analysis of the commodity form made by Marx is the starting point for criticism of the theory of knowledge by the author which shows how humans can have a pure knowledge, sep

Style APA, Harvard, Vancouver, ISO itp.

46

Conger, Joan Elizabeth. "The fallacy of misplaced concreteness distorts modern leadership study and practice| Four principles of process proposed by Alfred North Whitehead reform four modernist abstractions." Thesis, Fielding Graduate University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10244140.

Pełny tekst źródła

Streszczenie:

<p> From the perspective of Process reality, Western modernist philosophical and practical conclusions about experienced reality and practical wisdom fall prey to what Alfred North Whitehead calls the <i>fallacy of misplaced concreteness</i> (1925, 1929/1978). The fallacy misplaces, or abstracts, substance assumptions from a flow reality, more specifically such assumptions as the <i>fallacy of the bifurcation of nature,</i> the <i> fallacy of substance-thinking,</i> and <i>the fallacy of simple location</i> from the perspective of the Ideal and the perspective of the <i>Real.</i> From such abs

Style APA, Harvard, Vancouver, ISO itp.

47

G, Sriipriya. "Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers." Thesis, University of Edinburgh, 2013. http://hdl.handle.net/1842/7872.

Pełny tekst źródła

Streszczenie:

Theorem provers are faced with the challenges of size and complexity, fueled by the increasing range of applications. The use of concurrent/ distributed programming paradigms to engineer better theorem provers merits serious investigation, as it provides: more processing power and opportunities for implementing novel approaches to address theorem proving tasks hitherto infeasible in a sequential setting. Investigation of these opportunities for two diverse theorem prover settings with an emphasis on desirable implementation criteria is the core focus of this thesis. Concurrent programming is n

Style APA, Harvard, Vancouver, ISO itp.

48

Narielwalla, Hormazd Geve. "Patterns as documents and drawings : an artistic exploration of tailoring patterns as historical documents and drawings abstracting the human form : an analysis from the perspective of a creative art practitioner." Thesis, University of the Arts London, 2013. http://ualresearchonline.arts.ac.uk/6761/.

Pełny tekst źródła

Streszczenie:

This practice-led thesis places archival research within the framework of a contemporary art practice and proposes an interpretive reading of tailoring patterns as informative documents and inspiring drawings in their own right. Conventionally, patterns are treated only as a means to an end, aiding garment production. It is rare for patterns to be analysed by contemporary dress historians for their contribution to history. This thesis will demonstrate how tailoring patterns are undervalued and neglected, and remain a hidden craft. This qualitative research is conducted in the archive in order

Style APA, Harvard, Vancouver, ISO itp.

49

Gilon, Odile. "Essentia indifferens: études sur l'antériorité, l'homogénéité et l'unité dans la métaphysique de Jean Duns Scot." Doctoral thesis, Universite Libre de Bruxelles, 2009. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210227.

Pełny tekst źródła

Streszczenie:

Ce travail porte sur l'application et l'utilisation par Jean Duns Scot de la théorie de l'indifférence de l'essence, issue du péripatétisme arabe, et se donne pour enjeu d'en comprendre le fonctionnement conceptuel. Solution conjointe aux questions de la constitution ontologique des choses, des rapports entre le langage et la réalité et du mode d'appréhension des notions générales dans l'abstraction, la théorie de l'indifférence de l'essence sert de sous-bassement à la métaphysique de Duns Scot. C'est au moyen de cette théorie qu'il est possible, comme le montre cette recherche, de relire cert

Style APA, Harvard, Vancouver, ISO itp.

50

BENIS, SINACEUR HOURYA. "Algèbre et logique : remarques sur la construction de l'algebre reelle." Paris 1, 1987. http://www.theses.fr/1987PA010619.

Pełny tekst źródła

Streszczenie:

Ce travail s'offre comme une epistemologie de la construction de certains concepts mathematiques, ceux de l'algebre reelle. Decrire ou retrouver les modes du passage de proprietes observables dans des cas particuliers : nombres reels, nombres reels algebriques, aux concepts generaux de "corps reels", de "corps reel clos", de "cloture reelle", etc. . . Constitue l'essentiel de ce travail. La signification de ce passage est degagee par une mise en perspective historique qui rappelle divers elements du contexte de naissance de l'algebre reelle. La mutation semantique indissociable de toute genera

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!