Log in

Relevant bibliographies by topics / Algorithmic approach

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Algorithmic approach'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 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 'Algorithmic approach.'

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 "Algorithmic approach"

1

Joe Noble, R., and Eric N. Prystowsky. "Syncope—An algorithmic approach." ACC Current Journal Review 6, no. 3 (1997): 91–100. http://dx.doi.org/10.1016/s1062-1458(97)00025-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Mukherjee, K., and G. Sahoo. "Green Cloud: An Algorithmic Approach." International Journal of Computer Applications 9, no. 9 (2010): 1–6. http://dx.doi.org/10.5120/1417-1914.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bédard, Charles Alexandre, and Geoffroy Bergeron. "An Algorithmic Approach to Emergence." Entropy 24, no. 7 (2022): 985. http://dx.doi.org/10.3390/e24070985.

Full text

Abstract:

We suggest a quantitative and objective notion of emergence. Our proposal uses algorithmic information theory as a basis for an objective framework in which a bit string encodes observational data. A plurality of drops in the Kolmogorov structure function of such a string is seen as the hallmark of emergence. Our definition offers some theoretical results, in addition to extending the notions of coarse-graining and boundary conditions. Finally, we confront our proposal with applications to dynamical systems and thermodynamics.

APA, Harvard, Vancouver, ISO, and other styles

4

Bancerek, Grzegorz. "Algebraic Approach to Algorithmic Logic." Formalized Mathematics 22, no. 3 (2014): 225–55. http://dx.doi.org/10.2478/forma-2014-0025.

Full text

Abstract:

Summary We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure which is an extension of language signature and program algebra. While-if algebra of ge

APA, Harvard, Vancouver, ISO, and other styles

5

Ray, W. D., and Henk C. Tijms. "Stochastic Models: An Algorithmic Approach." Journal of the Operational Research Society 46, no. 11 (1995): 1402. http://dx.doi.org/10.2307/2584583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Tiwari, AseemK, and Rajni Chauhan. "Pretransplant compatibility testing: Algorithmic approach!" Global Journal of Transfusion Medicine 3, no. 1 (2018): 39. http://dx.doi.org/10.4103/gjtm.gjtm_17_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

PE and Henk C. Tijms. "Stochastic Models. An Algorithmic Approach." Journal of the American Statistical Association 90, no. 432 (1995): 1493. http://dx.doi.org/10.2307/2291554.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

BLAZEBY, JANE M. "Surgical Oncology - An Algorithmic Approach." European Journal of Cancer Care 13, no. 1 (2004): 107. http://dx.doi.org/10.1111/j.1365-2354.2004.00450.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

AHITUV, NIV, JONATHAN HALPERN, and HART WILL. "Audit planning: an algorithmic approach." Contemporary Accounting Research 2, no. 1 (1985): 95–110. http://dx.doi.org/10.1111/j.1911-3846.1985.tb00609.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Rao, Shrisha. "Distributed Systems: An Algorithmic Approach." IEEE Distributed Systems Online 9, no. 11 (2008): 3. http://dx.doi.org/10.1109/mdso.2008.30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Algorithmic approach"

1

Nassef, Hazem Mohamed Osame. "Modeling DQDB, an algorithmic approach." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq22645.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Rajagopal, Murali. "Protocol conversion : an algorithmic approach." Diss., Georgia Institute of Technology, 1990. http://hdl.handle.net/1853/13352.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Weingartner, Stephan G. "System development : an algorithmic approach." Virtual Press, 1987. http://liblink.bsu.edu/uhtbin/catkey/483077.

Full text

Abstract:

The subject chosen to develop this thesis project on is developing an algorithm or methodology for system selection. The specific problem studied involves a procedure to determine anion computer system alternative is the best choice for a given user situation.The general problem to be addressed is the need for one to choose computing hardware, software, systems, or services in a -Logical approach from a user perspective, considering cost, performance and human factors. Most existing methods consider only cost and performance factors, combining these factors in ad hoc, subjective fashions to re

APA, Harvard, Vancouver, ISO, and other styles

4

Liben-Nowell, David. "An algorithmic approach to social networks." Thesis, Massachusetts Institute of Technology, 2005. http://hdl.handle.net/1721.1/33861.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.<br>Includes bibliographical references (p. 109-120).<br>Social networks consist of a set of individuals and some form of social relationship that ties the individuals together. In this thesis, we use algorithmic techniques to study three aspects of social networks: (1) we analyze the "small-world" phenomenon by examining the geographic patterns of friendships in a large-scale social network, showing how this linkage pattern can itself explain the small-world results; (2) using ex

APA, Harvard, Vancouver, ISO, and other styles

5

Chiang, Y. B. "An algorithmic approach to continuous location." Master's thesis, University of Cape Town, 1995. http://hdl.handle.net/11427/17441.

Full text

Abstract:

Bibliography: pages 126-130.<br>We survey the p-median problem and the p-centre problem. Then we investigate two new techniques for continuous optimal partitioning of a tree T with n - 1 edges, where a nonnegative rational valued weight is associated with each edge. The continuous Max-Min tree partition problem (the continuous Min-Max tree partition problem) is to cut the edges in p - 1 places, so as to maximize (respectively minimize) the weight of the lightest (respectively heaviest) resulting subtree. Thus the tree is partitioned into approximately equal components. For each optimization pr

APA, Harvard, Vancouver, ISO, and other styles

6

Tsang, Dominic Wai Keung. "An algorithmic approach to Approximate Query." Thesis, The University of Sydney, 2014. http://hdl.handle.net/2123/12081.

Full text

Abstract:

As data collection continues to grow rapidly the ability to efficiently carry out exploratory searches on the data is becoming more important. An exploratory search can be modelled as an approximate query in a database: retrieve all database elements which are similar to the query. Different forms of approximate queries are already popular in many applications such as data cleansing. Currently the most popular approach for approximate query processing consists of a two steps (phase) process. The first phase is called the filter phase and consists of enumerating a set of q-grams or substrings

APA, Harvard, Vancouver, ISO, and other styles

7

Peyravian, Mohammad. "An Algorithmic approach to constructing protocol converters." Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/13526.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Srebro, Nathan 1974. "Maximum likelihood Markov networks : an algorithmic approach." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/86593.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2001.<br>Includes bibliographical references (p. 110-112).<br>by Nathan Srebro.<br>S.M.

APA, Harvard, Vancouver, ISO, and other styles

9

Iz, Huseyin Baki. "An algorithmic approach to crustal deformation analysis /." The Ohio State University, 1987. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487327695621647.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Nguyen, Sonny. "Algorithmic approach to warehouse consolidation and optimization." DigitalCommons@CalPoly, 2008. https://digitalcommons.calpoly.edu/theses/22.

Full text

Abstract:

This thesis presents a new methodology for warehouse consolidation to optimize the capacity, throughput, and overall efficiency of the warehouse. The application of the methodology allows an organization to become more competitive by reducing real estate and inventory holding costs. The algorithms use various quantitative techniques including statistical inference and integer programming, and apply them to material handling and facilities layout issues. The proposed methodology is independent of the warehouse management system in use. It was implemented by a Fortune 500 company, and resulted i

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Algorithmic approach"

1

Douglas, Collins R., ed. Algorithmic approach to treatment. Williams & Wilkins, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Tijms, Henk C. Stochastic Models: Algorithmic Approach. Wiley, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mignotte, Maurice. Polynomials: An algorithmic approach. Springer, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Mignotte, Maurice. Polynomials: An algorithmic approach. Springer, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

1956-, Saclarides Theodore J., Millikan Keith W, and Godellas Constantine V, eds. Surgical oncology: An algorithmic approach. Springer-Verlag, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

1956-, Saclarides Theodore J., Millikan Keith W, and Godellas Constantine V, eds. Surgical oncology: An algorithmic approach. Springer-Verlag, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

L, Eisenberg Ronald, ed. Diagnostic imaging: An algorithmic approach. Lippincott, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Matthews, Robert I. Structured COBOL: An algorithmic approach. W.C. Brown, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Tijms, H. C. Stochastic models: An algorithmic approach. Wiley, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ghosh, Sukumar. Distributed systems: An algorithmic approach. CRC Press, Taylor & Franciss Group, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Algorithmic approach"

1

Moshkov, Mikhail. "Algorithmic Problems. Local Approach." In Intelligent Systems Reference Library. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41728-4_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Moshkov, Mikhail. "Algorithmic Problems. Global Approach." In Intelligent Systems Reference Library. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41728-4_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dobzinski, Shahar, and Noam Nisan. "A Modular Approach to Roberts’ Theorem." In Algorithmic Game Theory. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04645-2_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Besozzi, Daniela, Paolo Cazzaniga, Dario Pescini, and Giancarlo Mauri. "A Multi-volume Approach to Stochastic Modeling with Membrane Systems." In Algorithmic Bioprocesses. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-88869-7_26.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Charwat, Günther, and Andreas Pfandler. "Democratix: A Declarative Approach to Winner Determination." In Algorithmic Decision Theory. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23114-3_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Elkind, Edith, and Piotr Faliszewski. "Recognizing 1-Euclidean Preferences: An Alternative Approach." In Algorithmic Game Theory. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44803-8_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Pérez-Jiménez, Mario J., and Takashi Yokomori. "Membrane Computing Schema: A New Approach to Computation Using String Insertions." In Algorithmic Bioprocesses. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-540-88869-7_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Zhang, Lei, Fengchun Tian, and David Zhang. "Cross-Domain Subspace Learning Approach." In Electronic Nose: Algorithmic Challenges. Springer Singapore, 2018. http://dx.doi.org/10.1007/978-981-13-2167-2_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kobayashi, Yusuke, Ryoga Mahara, and Souta Sakamoto. "EFX Allocations for Indivisible Chores: Matching-Based Approach." In Algorithmic Game Theory. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43254-5_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Brafman, Ronen I., and Ran Taig. "A Translation Based Approach to Probabilistic Conformant Planning." In Algorithmic Decision Theory. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24873-3_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Algorithmic approach"

1

Sarmasanu, Vasile-Silviu, Cristian Nicolae Butincu, Vasile Ion Manta, and Andrei Stoleru. "Algorithmic approach for audio segmentation." In 2024 28th International Conference on System Theory, Control and Computing (ICSTCC). IEEE, 2024. http://dx.doi.org/10.1109/icstcc62912.2024.10744641.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Popescu, Andrei, and Johannes P. Wallner. "Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach." 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/55.

Full text

Abstract:

Reasoning with defeasible and conflicting knowledge in an argumentative form is a key research field in computational argumentation. Reasoning under various forms of uncertainty is both a key feature and a challenging barrier for automated argumentative reasoning. It was shown that argumentative reasoning using probabilities faces in general high computational complexity, in particular for the so-called constellation approach. In this paper, we develop an algorithmic approach to overcome this obstacle. We refine existing complexity results and show that two main reasoning tasks, that of comput

APA, Harvard, Vancouver, ISO, and other styles

3

Sirala, Vinita, and Zahir Ahmed Ansari. "Algorithmic Approach for Servo System Characterization." In 2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT). IEEE, 2024. http://dx.doi.org/10.1109/icccnt61001.2024.10726127.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Jyoti, Divya, Jyoti Srivastava, and Dharmendra Prasad Mahato. "Implementing T5 for Text Summarization: An Algorithmic Approach." In 2025 International Conference on Information Networking (ICOIN). IEEE, 2025. https://doi.org/10.1109/icoin63865.2025.10992766.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sree, Kuruva Divya, Geethika Gunti, Nizampatnam Neelima, and K. V. Nagaraja. "Optimizing Cargo Ship Operational Costs: A Comprehensive Algorithmic Approach." In 2024 4th International Conference on Intelligent Technologies (CONIT). IEEE, 2024. http://dx.doi.org/10.1109/conit61985.2024.10627747.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Rodić, Dušica, Saša Horvat, Tamara Rončević, and Snežana Babić-Kekez. "ALGORITHMIC APPROACH TO QUANTITATIVE PROBLEM-SOLVING IN CHEMISTRY." In SCIENCE AND TECHNOLOGY EDUCATION: DEVELOPING A GLOBAL PERSPECTIVE. Scientia Socialis Ltd., 2021. http://dx.doi.org/10.33225/balticste/2021.144.

Full text

Abstract:

Examining students' inclinations to use algorithms and rules to solve a task was a fruitful area of research in chemical education in the last four decades. This research aimed to examine whether students read the task request carefully, considering its meaningfulness, or they approach it mechanically, applying a set of algorithms by default. The research sample consisted of students majoring in chemistry teaching at the University of Novi Sad, Faculty of Sciences who were in their final year of bachelor studies. The study was conducted during two academic years. The main instrument consisted

APA, Harvard, Vancouver, ISO, and other styles

7

A. N., Rybalov. "GENERIC COMPLEXITY OF ALGORITHMIC PROBLEMS." In Mechanical Science and Technology Update. Omsk State Technical University, 2022. http://dx.doi.org/10.25206/978-5-8149-3453-6-2022-10-14.

Full text

Abstract:

Generic approach is one of the approaches to the study of algorithmic problems for almost all inputs, born at the intersection of computational algebra and computer science. Within the framework of this approach, algorithms are studied that solve a problem for almost all inputs, and for the remaining rare inputs give an undefined answer. This review reflects two areas of research of generic complexity of algorithmic problems in algebra, mathematical logic, number theory, and theoretical computer science. The first direction is devoted to the construction of generic algorithms for problems that

APA, Harvard, Vancouver, ISO, and other styles

8

Nagel, Robert L., Matt R. Bohm, Josh Cole, and Phillip Shepard. "An Algorithmic Approach to Teaching Functionality." In ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/detc2012-70625.

Full text

Abstract:

The consideration of function is prevalent across numerous domains as a technique allowing complex problems to be abstracted into a form more readily solvable. In engineering design, functional models tend to be of a more generalized nature, and consequently, engineering design derived functional representations do not aim to replace domain specific models but to encapsulate those models at a higher and more integrated system level. While the value of function in engineering design seems to be generally recognized, it remains a difficult concept to teach to students of engineering design. In t

APA, Harvard, Vancouver, ISO, and other styles

9

Murena, Pierre-Alexandre, Jérémie Sublime, Basarab Matei, and Antoine Cornuéjols. "An Information Theory based Approach to Multisource Clustering." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/358.

Full text

Abstract:

Clustering is a compression task which consists in grouping similar objects into clusters. In real-life applications, the system may have access to several views of the same data and each view may be processed by a specific clustering algorithm: this framework is called multi-view clustering and can benefit from algorithms capable of exchanging information between the different views. In this paper, we consider this type of unsupervised ensemble learning as a compression problem and develop a theoretical framework based on algorithmic theory of information suitable for multi-view clustering an

APA, Harvard, Vancouver, ISO, and other styles

10

Lin, Yishi, Wei Chen, and John C. S. Lui. "Boosting Information Spread: An Algorithmic Approach." In 2017 IEEE 33rd International Conference on Data Engineering (ICDE). IEEE, 2017. http://dx.doi.org/10.1109/icde.2017.137.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Algorithmic approach"

1

Sherman, Paul M., M. A. Foster, B. D. Tharin, and J. G. Smirniotopoulos. An Algorithmic Approach to Neuroimaging in AIDS. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada437671.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Stewart, A. J., and James F. Cremer. Beyond Keyframing: An Algorithmic Approach to Animation. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada241337.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Tang, Ao K. Algorithmic Approach for Network Inference and Monitoring: Coding over Real Numbers. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada624778.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kozma, William, Joel Dumke, and Brent Johnson. An Algorithmic Approach to Optimizing Network Resources for Public Safety LTE Networks. Institute for Telecommunication Sciences, 2014. https://doi.org/10.70220/0xg1xlgm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Baker, John L., James L. Olds, and Joel L. Davis. A Novel Approach to Large Scale Brain Network Models: An Algorithmic Model for Place Cell Emergence With Robotic Sensor Input. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada425321.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lewis, Dustin, ed. A Compilation of Materials Apparently Reflective of States’ Views on International Legal Issues pertaining to the Use of Algorithmic and Data-reliant Socio-technical Systems in Armed Conflict. Harvard Law School Program on International Law and Armed Conflict, 2020. http://dx.doi.org/10.54813/cawz3627.

Full text

Abstract:

This document is a compilation of materials that at least appear to be reflective of one or more states’ views on international legal issues pertaining to the actual or possible use of algorithmic and data-reliant socio-technical systems in armed conflict. In September of 2018, the Harvard Law School Program on International Law and Armed Conflict (HLS PILAC) commenced a project titled “International Legal and Policy Dimensions of War Algorithms: Enduring and Emerging Concerns.”[1] The project builds on the program’s earlier research and policy initiative on war-algorithm accountability. A goa

APA, Harvard, Vancouver, ISO, and other styles

7

Durovic, Mateja, and Franciszek Lech. A Consumer Law Perspective on the Commercialization of Data. Universitätsbibliothek J. C. Senckenberg, Frankfurt am Main, 2021. http://dx.doi.org/10.21248/gups.64577.

Full text

Abstract:

Commercialization of consumers’ personal data in the digital economy poses serious, both conceptual and practical, challenges to the traditional approach of European Union (EU) Consumer Law. This article argues that mass-spread, automated, algorithmic decision-making casts doubt on the foundational paradigm of EU consumer law: consent and autonomy. Moreover, it poses threats of discrimination and under- mining of consumer privacy. It is argued that the recent legislative reaction by the EU Commission, in the form of the ‘New Deal for Consumers’, was a step in the right direction, but fell shor

APA, Harvard, Vancouver, ISO, and other styles

8

Baader, Franz, and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. Aachen University of Technology, 2007. http://dx.doi.org/10.25368/2022.159.

Full text

Abstract:

Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. The pinpointing algorithms described in the DL literature are obtained as extensions of the standard tableau-based reasoning algorithms for computing consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a partic

APA, Harvard, Vancouver, ISO, and other styles

9

Baader, Franz, and Rafael Peñaloza. Pinpointing in Terminating Forest Tableaux. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.166.

Full text

Abstract:

Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. The pinpointing algorithms described in the DL literature are obtained as extensions of the standard tableau-based reasoning algorithms for computing consequences from DL knowledge bases. Although these extensions are based on similar ideas, they are all introduced for a particular tableau-based algorithm for a partic

APA, Harvard, Vancouver, ISO, and other styles

10

Iyer, Ananth V., Samuel Labi, Steven R. Dunlop, et al. Heavy Fleet and Facilities Optimization. Purdue University, 2022. http://dx.doi.org/10.5703/1288284317365.

Full text

Abstract:

The Indiana Department of Transportation (INDOT) is responsible for timely clearance of snow on state-maintained highways in Indiana as part of its wintertime operations. For this and other maintenance purposes, the state’s subdistricts maintain 101 administrative units spread throughout the state. These units are staffed by personnel, including snow truck drivers and house snow removal trucks and other equipment. INDOT indicated a need to carry out value engineering analysis of the replacement timing of the truck fleet. To address these questions, this study carried out analysis to ascertain

APA, Harvard, Vancouver, ISO, and other styles

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!