Relevant bibliographies by topics / Abstraction in Theory

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Abstraction in Theory'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Abstraction in Theory.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Abstraction in Theory"

1

Kim, Hyunjung. "다이어리 시학: 추상성, 혹은 프랭크 오하라의 “무엇이든”". Criticism and Theory Society of Korea 28, № 1 (2023): 315–43. http://dx.doi.org/10.19116/theory.2023.28.1.315.

Full text
Abstract:
This essay means to offer a new lens through which we might understand the notion of abstraction otherwise. It does so by reading Frank O’Hara’s poems, best known for their attention to the particular and the personal, against the prevailing thought that posits a fatal contradiction between the concrete and the abstract. With the help of Julia Jarcho’s conceptualization of the word “anything,” I suggest O’Hara’s gesture towards the abstractness of Anything as a distinct feature in what I call his “diaristic poetics,” through which the poet shows ways of “angling” oneself for different queer co
APA, Harvard, Vancouver, ISO, and other styles
2

Abel, David. "A Theory of State Abstraction for Reinforcement Learning." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 9876–77. http://dx.doi.org/10.1609/aaai.v33i01.33019876.

Full text
Abstract:
Reinforcement learning presents a challenging problem: agents must generalize experiences, efficiently explore the world, and learn from feedback that is delayed and often sparse, all while making use of a limited computational budget. Abstraction is essential to all of these endeavors. Through abstraction, agents can form concise models of both their surroundings and behavior, supporting effective decision making in diverse and complex environments. To this end, the goal of my doctoral research is to characterize the role abstraction plays in reinforcement learning, with a focus on state abst
APA, Harvard, Vancouver, ISO, and other styles
3

Landim Filho, Raul. "A Questão dos Universais Segundo a Teoria Tomista da Abstração." Analytica - Revista de Filosofia 12, no. 2 (2013): 11–33. http://dx.doi.org/10.35920/arf.v12i2.540.

Full text
Abstract:
O artigo pretende mostrar que a teoria da abstração de Tomás de Aquino justifica a consistência das seguintes teses: [i] os universais só existem na mente; [ii] fora da mente só existem os singulares e [iii] que tudo no singular é singularizado. O artigo analisa, então, os modos de abstração tomásica: a abstração do todo (ou a do universal a partir do particular), a abstração da forma da matéria sensível e, ainda, o que alguns tomistas consideram também como um modo de abstração: a abstração precisiva. Finalmente, o artigo contrapõe a interpretação de Cajetano da abstração à teoria de Tomás de
APA, Harvard, Vancouver, ISO, and other styles
4

Zucker, Jean-Daniel. "A grounded theory of abstraction in artificial intelligence." Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences 358, no. 1435 (2003): 1293–309. http://dx.doi.org/10.1098/rstb.2003.1308.

Full text
Abstract:
In artificial intelligence, abstraction is commonly used to account for the use of various levels of details in a given representation language or the ability to change from one level to another while preserving useful properties. Abstraction has been mainly studied in problem solving, theorem proving, knowledge representation (in particular for spatial and temporal reasoning) and machine learning. In such contexts, abstraction is defined as a mapping between formalisms that reduces the computational complexity of the task at stake. By analysing the notion of abstraction from an information qu
APA, Harvard, Vancouver, ISO, and other styles
5

Gili, Luca. "Aristotle's Theory of Abstraction." British Journal for the History of Philosophy 24, no. 1 (2015): 173–74. http://dx.doi.org/10.1080/09608788.2015.1082970.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hale, Bob. "Abstraction and Set Theory." Notre Dame Journal of Formal Logic 41, no. 4 (2000): 379–98. http://dx.doi.org/10.1305/ndjfl/1038336882.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Giunchiglia, Fausto, and Toby Walsh. "A theory of abstraction." Artificial Intelligence 57, no. 2-3 (1992): 323–89. http://dx.doi.org/10.1016/0004-3702(92)90021-o.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Litland, Jon Erling. "Collective Abstraction." Philosophical Review 131, no. 4 (2022): 453–97. http://dx.doi.org/10.1215/00318108-10136830.

Full text
Abstract:
This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead simultaneously defines a collection of dis
APA, Harvard, Vancouver, ISO, and other styles
9

Fletcher, Samuel C. "Computers in Abstraction/Representation Theory." Minds and Machines 28, no. 3 (2018): 445–63. http://dx.doi.org/10.1007/s11023-018-9470-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Stark, Cynthia A. "Abstraction and Justification in Moral Theory." Hypatia 25, no. 4 (2010): 825–33. http://dx.doi.org/10.1111/j.1527-2001.2010.01135.x.

Full text
Abstract:
Ethicists of care have objected to traditional moral philosophy's reliance upon abstract universal principles. They claim that the use of abstraction renders traditional theories incapable of capturing morally relevant, particular features of situations. I argue that this objection sometimes conflates two different levels of moral thinking: the level of justification and the level of deliberation. Specifically, I claim that abstraction or attention to context at the level of justification does not entail, as some critics seem to think, a commitment to abstraction or attention to context at the
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Abstraction in Theory"

1

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Abstraction in Theory"

1

Bäck, Allan. Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Luo, Zhaohui. A higher-order calculus and theory abstraction. University of Edinburgh, Laboratory for Foundations ofComputer Science, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hansberry, Benjamin Konrad. Phenomenon and Abstraction: Coordinating Concepts in Music Theory and Analysis. [publisher not identified], 2017.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hutton, Christopher. Abstraction and instance: The type-token relation in linguistic theory. Pergamon Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Märtsin, Mariann. Dialogicality in focus: Challenges to theory, method and application. Nova Science Publisher's, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gorskiĭ, D. P. Obobshchenie i poznanie. "Myslʹ", 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Blet͡skan, M. I. Dialektika formirovanii͡a nauchnykh abstrakt͡siĭ. Izd-vo pri Lʹvovskom gos. universitete izdatelʹskogo obʺedinenii͡a "Vyshcha shkola", 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Karimov, B. R. Dialektika obʺektivnogo i ubʺektivnogo v metode voskhozhdenii︠a︡ ot abstraktnogo k konkretnomu. Fan, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Brandon, Taylor, and Southampton Art Gallery, eds. Elements of abstraction: Space, Line & interval in modern British art. Southampton City Art Gallery, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lancaster, F. Wilfrid. Indexing and abstracting in theory and practice. 2nd ed. University of Illinois, Graduate School of Library and Information Science, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Abstraction in Theory"

1

Hale, Bob. "Abstraction & Set Theory." In The Western Ontario Series in Philosophy of Science. Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-4265-2_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bäck, Allan. "The Conception of Abstraction." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bäck, Allan. "The Relation of Abstraction." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bäck, Allan. "The Process of Abstraction." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bäck, Allan. "Introduction." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bäck, Allan. "Parts of Animals." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bäck, Allan. "Aristotle’s Nominalism." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bäck, Allan. "Abstract Relata." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bäck, Allan. "Perceiving." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bäck, Allan. "Thinking." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Abstraction in Theory"

1

Lopez, Blake R., and Victor M. Zavala. "Analysis of Chemical Engineering Curricula Using Graph Theory." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.190804.

Full text
Abstract:
Chemical engineering is a highly complex interconnected major. Just as chemical engineers have broken complex processes into unit operations, the chemical engineering curriculum has been broken up into courses. The organization of these courses vary among institutions and are based on years of prior teachings and research. Despite this, there have been calls to revaluate the curriculum from both industry and academia. We propose a graph-based representation of curricula in which topics are represented by nodes and topic dependencies are represented by directed edges forming a directed acyclic
APA, Harvard, Vancouver, ISO, and other styles
2

Chekuri, Omkar, and Chris Weaver. "C4D3: A View-Level Abstraction and Coordination Library for Building Coordinated Multiple Views with D3." In 16th International Conference on Information Visualization Theory and Applications. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013322000003912.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kader, Md Salehin Ferdous, S. M. Tanvir Hassan Shovon, Aminun Nahar, and Tonny Shekha Kar. "A Correlative Abstraction Between the Scenario of No-Retransmission and Retransmission Process by Utilizing Evolutionary Game Theory for Self-Organized Data Aggregation Mechanism." In 2025 4th International Conference on Robotics, Electrical and Signal Processing Techniques (ICREST). IEEE, 2025. https://doi.org/10.1109/icrest63960.2025.10914437.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kolchurin, Maxim, Alexey Platunov, Asminkin Fedor, and Vasiliy Pinkevich. "ARCHITECTURAL ABSTRACTIONS IN THE DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS PLATFORMS." In 24th SGEM International Multidisciplinary Scientific GeoConference 2024. STEF92 Technology, 2024. https://doi.org/10.5593/sgem2024/2.1/s07.03.

Full text
Abstract:
The work is dedicated to formalizing the process of designing embedded systems with distributed heterogeneous organization. The original model of representing a computational system as a set of computational platforms interconnected both hierarchically and within the same level is taken as the basis. The abstraction of a �design platform� is interpreted as a design solution that is fixed for reuse and provides an application interface for building an �upward� hierarchy of abstractions alongside specifications for creating implementations �downward�. Today, the stages of system design still suf
APA, Harvard, Vancouver, ISO, and other styles
5

Saribatur, Zeynep G., Matthias Knorr, Ricardo Gonçalves, and João Leite. "On Abstracting over the Irrelevant in Answer Set Programming." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/61.

Full text
Abstract:
Generalization is an important ability that allows humans to tackle complex problems by identifying common problem structures and omitting irrelevant details. Whereas such ability comes naturally to humans, it has proved challenging to establish within AI systems. Although different research communities have tackled this challenge, their focus has usually been set on developing efficient algorithms for concrete problems, and a general theoretical understanding of the generalization ability is still lacking. In the context of Answer Set Programming (ASP), a well-established knowledge representa
APA, Harvard, Vancouver, ISO, and other styles
6

Cort�s-Pe�a, Yoel R., and Victor M. Zavala. "Phenomena-Based Graph Representations and Applications to Chemical Process Simulation." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.152278.

Full text
Abstract:
Rapid and robust simulation of chemical production processes is critical to address core scientific questions related to process design, optimization, and sustainability. Efficiently solving a chemical process, however, remains a challenge due to their highly coupled and nonlinear nature. Graph abstractions of the underlying physical phenomena within unit operations may help identify potential avenues to systematically reformulate the network of equations and enable more robust convergence of flowsheets. To this end, we further refined a flowsheet graph-theoretic abstraction that consists of a
APA, Harvard, Vancouver, ISO, and other styles
7

Shukla, Abhay, Paheli Bhattacharya, Soham Poddar, et al. "Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation." In Proceedings of the 2nd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 12th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics, 2022. http://dx.doi.org/10.18653/v1/2022.aacl-main.77.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cui, Zhenhe, Yongmei Liu, and Kailun Luo. "A Uniform Abstraction Framework for Generalized Planning." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/253.

Full text
Abstract:
Generalized planning aims at finding a general solution for a set of similar planning problems. Abstractions are widely used to solve such problems. However, the connections among these abstraction works remain vague. Thus, to facilitate a deep understanding and further exploration of abstraction approaches for generalized planning, it is important to develop a uniform abstraction framework for generalized planning. Recently, Banihashemi et al. proposed an agent abstraction framework based on the situation calculus. However, expressiveness of such an abstraction framework is limited. In this p
APA, Harvard, Vancouver, ISO, and other styles
9

Zeigler, Bernard P. "Review of theory in model abstraction." In Aerospace/Defense Sensing and Controls, edited by Alex F. Sisti. SPIE, 1998. http://dx.doi.org/10.1117/12.319323.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Weng, Juyang. "A theory of architecture for spatial abstraction." In 2009 IEEE 8th International Conference on Development and Learning. IEEE, 2009. http://dx.doi.org/10.1109/devlrn.2009.5175545.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Abstraction in Theory"

1

Mykhayliv, Natalya. THE SUBJECT OF OF “VOGUE” AND “HARPER’S BAZAAR” MAGAZINES. Ivan Franko National University of Lviv, 2021. http://dx.doi.org/10.30970/vjo.2021.49.11066.

Full text
Abstract:
In the article according to the theory of the subject, patterns of the existence and genesis of the subject of “Vogue” and “Harper’s Bazaar” (USA) magazines was analysed, perspective of the emergence of new subjects was established, classification of the current subjects into universal and synthetic was suggested and some regularities of authorial creation of new subjects was examined. The main objective of the study is to identify patterns of existence of actual and formation of new topics in the Means of Mass Communication on the example of “Vogue” and “Harper’s Bazaar” magazines. In studyin
APA, Harvard, Vancouver, ISO, and other styles
2

Smith, Jade. The Sustainability of Yemen’s Water Resources: an Annotated Bibliography. Institute of Development Studies, 2025. https://doi.org/10.19088/k4dd.2024.086.

Full text
Abstract:
The Republic of Yemen is one of the world's most water-stressed nations. Yemen relies heavily on badly maintained water infrastructure and unsustainable groundwater abstraction to meet most of its water needs. The extraction of groundwater through drilling pumps is considered unsustainable, as abstraction rates are said to be twice as high as the rate of recharge of the aquifers. Women and girls, residents of rural areas, and poorer households are disproportionately affected by water scarcity. Moreover, the conflict that started in 2015 has intensified water scarcity and worsened an already ex
APA, Harvard, Vancouver, ISO, and other styles
3

Kampa, Eleftheria, Eduard Interwies, and R. Andreas Kraemer. The Role of Tradable Permits in Water Pollution Control. Inter-American Development Bank, 2004. http://dx.doi.org/10.18235/0011164.

Full text
Abstract:
This working paper first introduces tradable permits as part of an overall taxonomy of economic instruments in the field of water management. In this context, three fundamentally different fields of application of tradable permits systems relating to water are presented: tradable water abstraction rights, tradable rights to water-based resources and tradable water pollution rights. Next, the authors provide literature-based empirical evidence of the international experience with tradable water pollution rights (case studies from the US and Australia). Subsequently, the authors make recommendat
APA, Harvard, Vancouver, ISO, and other styles
4

Cowell, Chandler, Michael P. Gallaher, Justin Larson, and Aaron Schwartz. The Potential for SolarPowered Groundwater Irrigation in Sub-Saharan Africa: An Exploratory Analysis. RTI Press, 2022. http://dx.doi.org/10.3768/rtipress.2022.op.0079.2211.

Full text
Abstract:
This study considers existing off-grid initiatives that are being implemented in support of more rapid electrification in sub-Saharan Africa. After first reviewing the successes and obstacles of commonly implemented off-grid solutions, we suggest groundwater irrigation powered via off-grid solar (OGS) systems as a productivity-focused electrification solution that could be valuable to off-grid development initiatives moving forward. This solution encourages the establishment of OGS pumping infrastructure in unelectrified areas in proximity to nonirrigated agriculture that have promising and su
APA, Harvard, Vancouver, ISO, and other styles
5

Bright, Damien, and Stefan Schäfer. A comparative study of the sociotechnical imaginaries of marine geoengineering. OceanNets, 2024. http://dx.doi.org/10.3289/oceannets_d2.1.

Full text
Abstract:
In this report, we claim that although there is no national deployment or consultation program for OceanNETs in the US, Germany, or Australia, the very idea is sufficiently open-ended to accommodate and even federate different development pathways for industrial-scale emissions reduction. We use the “sociotechnical imaginaries” concept to show how existing moral and political outlooks can, concretely, support the more abstract “need” for OceanNETs within overshoot scenarios. Thus, even without an endorsement of the feasibility or desirability of OceanNETs—as a matter of transnational climate n
APA, Harvard, Vancouver, ISO, and other styles
6

Rigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Full text
Abstract:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Featu
APA, Harvard, Vancouver, ISO, and other styles
7

Rigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Full text
Abstract:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Featu
APA, Harvard, Vancouver, ISO, and other styles
8

Baader, Franz, and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.198.

Full text
Abstract:
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of
APA, Harvard, Vancouver, ISO, and other styles
9

Cantor, Amy, Heidi D. Nelson, Miranda Pappas, et al. Effectiveness of Telehealth for Women’s Preventive Services. Agency for Healthcare Research and Quality (AHRQ), 2022. http://dx.doi.org/10.23970/ahrqepccer256.

Full text
Abstract:
Objectives. To evaluate the effectiveness, use, and implementation of telehealth for women’s preventive services for reproductive healthcare and interpersonal violence (IPV), and to evaluate patient preferences and engagement for telehealth, particularly in the context of the coronavirus (COVID-19) pandemic. Data sources. Ovid MEDLINE®, CINAHL®, Embase®, and Cochrane CENTRAL databases (July 1, 2016, to March 4, 2022); manual review of reference lists; suggestions from stakeholders; and responses to a Federal Register Notice. Review methods. Eligible abstracts and full-text articles of teleheal
APA, Harvard, Vancouver, ISO, and other styles
10

Cantor, Amy G., Rebecca M. Jungbauer, Andrea C. Skelly, et al. Respectful Maternity Care: Dissemination and Implementation of Perinatal Safety Culture To Improve Equitable Maternal Healthcare Delivery and Outcomes. Agency for Healthcare Research and Quality (AHRQ), 2024. http://dx.doi.org/10.23970/ahrqepccer269.

Full text
Abstract:
Objective. To summarize current research defining and measuring respectful maternity care (RMC) and evaluate the effectiveness of RMC and implementation strategies to improve health outcomes, particularly for populations at risk for health disparities. Data sources. Ovid MEDLINE®, Embase®, and Cochrane CENTRAL from inception to November 2022 and SocINDEX to July 2023; manual review of reference lists and responses to a Federal Register Notice. Review methods. Dual review of eligible abstracts and full-text articles using predefined criteria. Data abstraction and quality assessment dual reviewe
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Abstraction in Theory' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography