Relevant bibliographies by topics / Omnispective analysis and reasoning

Academic literature on the topic 'Omnispective analysis and reasoning'

Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Omnispective analysis and reasoning.'

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 "Omnispective analysis and reasoning"

1

Simmons, Barbara. "Clinical reasoning: concept analysis." Journal of Advanced Nursing 66, no. 5 (May 2010): 1151–58. http://dx.doi.org/10.1111/j.1365-2648.2010.05262.x.

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

Tang, Hongmei, Wenzhong Tang, Ruichen Li, Yanyang Wang, Shuai Wang, and Lihong Wang. "Analysis of Knowledge Graph Path Reasoning Based on Variational Reasoning." Applied Sciences 12, no. 12 (June 17, 2022): 6168. http://dx.doi.org/10.3390/app12126168.

Full text
Abstract:
Knowledge graph (KG) reasoning improves the perception ability of graph structure features, improving model accuracy and enhancing model learning and reasoning capabilities. This paper proposes a new GraphDIVA model based on the variational reasoning divergent autoencoder (DIVA) model. The network structures and calculation processes of the models are analyzed. The GraphSAGE algorithm is introduced into the path reasoning module to solve the inability of the original model to perceive the features of the graph structure, which leads to a decline in the accuracy rate. Hence, GraphDIVA can achieve a higher accuracy rate with fewer learning iterations. The experiments show the efficiency and effectiveness of our model and proves that our method has a better effect on the accuracy rate and training difficulty than the baseline model on the FB15k-237 and NELL-995 benchmark datasets.
APA, Harvard, Vancouver, ISO, and other styles
3

Alaoui, Larbi, and Antonio Penta. "Cost-Benefit Analysis in Reasoning." Journal of Political Economy 130, no. 4 (April 1, 2022): 881–925. http://dx.doi.org/10.1086/718378.

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

Schupbach, Jonah N. "Robustness Analysis as Explanatory Reasoning." British Journal for the Philosophy of Science 69, no. 1 (March 1, 2018): 275–300. http://dx.doi.org/10.1093/bjps/axw008.

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

Evans, Jonathan St B. T. "Rational Analysis of Illogical Reasoning." Contemporary Psychology 44, no. 6 (December 1999): 461–63. http://dx.doi.org/10.1037/002095.

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

KARA, LEVENT BURAK, and THOMAS F. STAHOVICH. "Causal reasoning using geometric analysis." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 16, no. 5 (November 2002): 363–84. http://dx.doi.org/10.1017/s0890060402165036.

Full text
Abstract:
We describe an approach that uses causal and geometric reasoning to construct explanations for the purposes of the geometric features on the parts of a mechanical device. To identify the purpose of a feature, the device is simulated with and without the feature. The simulations are then translated into a “causal-process” representation, which allows qualitatively important differences to be identified. These differences reveal the behaviors caused and prevented by the feature and thus provide useful cues about the feature's purpose. A clear understanding of the feature's purpose, however, requires a detailed analysis of the causal connections between the caused and prevented behaviors. This presents a significant challenge because one has to understand how a behavior that normally takes place affects (or is affected by) another behavior that is normally absent. This article describes techniques for identifying such elusive relationships. These techniques employ a set of rules that can determine if one behavior enables or disables another that is spatially and temporally far away. They do so by geometrically examining the traces of the causal processes in the device's configuration space. Using the results of this analysis, our program can automatically generate text output describing how the feature performs its function.
APA, Harvard, Vancouver, ISO, and other styles
7

Cockcroft, Peter D. "Clinical Reasoning and Decision Analysis." Veterinary Clinics of North America: Small Animal Practice 37, no. 3 (May 2007): 499–520. http://dx.doi.org/10.1016/j.cvsm.2007.01.011.

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

Sukirwan, Darhim, and T. Herman. "Analysis of students’ mathematical reasoning." Journal of Physics: Conference Series 948 (January 2018): 012036. http://dx.doi.org/10.1088/1742-6596/948/1/012036.

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

Sirovich, L. "Probabilistic Reasoning in Data Analysis." Science Signaling 4, no. 192 (September 20, 2011): tr14. http://dx.doi.org/10.1126/scisignal.2001980.

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

Ringer, Fritz K. "Causal Analysis in Historical Reasoning." History and Theory 28, no. 2 (May 1989): 154. http://dx.doi.org/10.2307/2505033.

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

Dissertations / Theses on the topic "Omnispective analysis and reasoning"

1

Crane, Nicola. "Debiasing reasoning : a signal detection analysis." Thesis, Lancaster University, 2016. http://eprints.lancs.ac.uk/82265/.

Full text
Abstract:
This thesis focuses on deductive reasoning and how the belief bias effect can be reduced or ameliorated. Belief bias is a phenomenon whereby the evaluation of the logical validity of an argument is skewed by the degree to which the reasoner believes the conclusion. There has been little research examining ways of reducing such bias and whether there is some sort of effective intervention which makes people reason more on the basis of logic. Traditional analyses of this data has focussed on simple measures of accuracy, typically deducting the number of incorrect answers from the number of correct answers to give an accuracy score. However, recent theoretical developments have shown that this approach fails to separate reasoning biases and response biases. A reasoning bias, is one which affects individuals’ ability to discriminate between valid and invalid arguments, whereas a response bias is simply the individual’s tendency to give a particular answer, independent of reasoning. A Signal Detection Theory (SDT) approach is used to calculate measures of reasoning accuracy and response bias. These measures are then analysed using mixed effects models. Chapter 1 gives a general introduction to the topic, and outlines the content of subsequent chapters. In Chapter 2, I review the psychological literature around belief bias, the growth of the use of SDT models, and approaches to reducing bias. Chapter 3 covers the methodology, and includes a a thorough description of the calculation of the SDT measures, and an explanation of the mixed effects models I used to analyse these. Chapter 4 presents an experiment in which the effects of feedback on reducing belief bias is examined. In Chapter 5, the focus shifts in the direction of individual differences, and looks at the effect of different instructions given to participants, and Chapter 6 examines the effects of both feedback and specific training. Chapter 7 provides a general discussion of the implications of the previous three chapters.
APA, Harvard, Vancouver, ISO, and other styles
2

McGreggor, Brian Keith. "Fractal reasoning." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/50337.

Full text
Abstract:
Humans are experts at understanding what they see. Similarity and analogy play a significant role in making sense of the visual world by forming analogies to similar images encountered previously. Yet, while these acts of visual reasoning may be commonplace, the processes of visual analogy are not yet well understood. In this dissertation, I investigate the utility of representing visual information in a fractal manner for computing visual similarity and analogy. In particular, I develop a computational technique of fractal reasoning for addressing problems of visual similarity and novelty. I illustrate the effectiveness of fractal reasoning on problems of visual similarity and analogy on the Raven’s Progressive Matrices and Miller’s Analogies tests of intelligence, problems of visual novelty and oddity on the Odd One Out test of intelligence, and problems of visual similarity and oddity on the Dehaene test of core geometric reasoning. I show that the performance of my computational model on these various tests is comparable to human performance. Fractal reasoning provides a new method for computing answers to such problems. Specifically, I show that the choice of the level of abstraction of problem representation determines the degree to which an answer may be regarded as confident, and that that choice of abstraction may be controlled automatically by the algorithm as a means of seeking that confident answer. This emergence of ambiguity and its remedy via problem re-representation is afforded by the fractal representation. I also show how reasoning over sparse data (at coarse levels of abstraction) or homogeneous data (at finest levels of abstraction) could both drive the automatic exclusion of certain levels of abstraction, as well as provide a signal to shift the analogical reasoning from consideration of simple analogies (such as analogies between pairs of objects) to more complex analogies (such as analogies among triplets, or larger groups of objects). My dissertation also explores fractal reasoning in perception, including both biologically-inspired imprinting and bistable perception. In particular, it provides a computational explanation of bistable perception in the famous Necker cube problem that is directly tied to the process of determining a confident interpretation via re-representation. Thus, my research makes two primary contributions to AI theories of visual similarity and analogy. The first contribution is the Extended Analogy By Recall (ABR*) algorithm, the computational technique for visual reasoning that automatically adjusts fractal representations to an appropriate level of abstraction. The second contribution is the fractal representation itself, a knowledge representation that add the notion of self-similarity and re-representation to analogy making.
APA, Harvard, Vancouver, ISO, and other styles
3

Rexhepi, Astrit. "Motion analysis using probabilistic and statistical reasoning." Thesis, University of Surrey, 2007. http://epubs.surrey.ac.uk/843205/.

Full text
Abstract:
The usual input to a motion analysis system is a temporal image sequence. Even though motion analysis is often called dynamic image analysis, it is frequently based on a small number of consecutive images, sometimes just two or three in a sequence. This case is similar to an analysis of static images, and the motion is actually analyzed at a higher level. There are three main groups of motion-related problems: Motion detection, moving object detection and localization, and derivation of 3D object properties. In this thesis we focused our attention on the second group. More specifically, within this group we will be dealing with four main issues: Moving object boundary detection, boundary delineation, boundary representation and description, and boundary matching for fast future location prediction. To detect moving object boundaries a new theory derived from temporal cooccurrence matrices is proposed, developed and applied. Afterwards, a filter design is developed to get fast and accurate results. As any boundary detection method, the output from this stage is usually a set of unlinked segments of boundaries. To assemble these segments of boundaries into meaningful boundary, a new active contour model has been proposed and developed that is capable of escaping energy minima caused by noise. Since our method for matching we based on the correspondence of interest points (feature points), we needed a proper set of invariant descriptors in order to match contours of two successive frames. For this task, a new theory on boundary representation and description called The theory of variances and varilets has been proposed and developed. We used moments of the variance transform and the normalized variance transform for an initial matching of contours which is in some sense a global matching. Afterwards, an Iterative sub-mappings strategy has been proposed and applied for fine matching. An important issue from the moment function was that extrema of successive derivatives provide as a coarse-to-fine matching, where to each feature point we assigned a proper descriptor induced from the normalized variance transform matrix.
APA, Harvard, Vancouver, ISO, and other styles
4

Stupple, Edward James Nairn. "Inspection-time analysis of syllogistic reasoning processes." Thesis, University of Derby, 2007. http://hdl.handle.net/10545/246212.

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

Paulson, James Daniel. "Reasoning tools to support systems analysis and design." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/29259.

Full text
Abstract:
Some parts of the systems analysis and design process are not well structured and rely heavily on human judgement and experience. This is particularly true for decomposition and the validation of system specifications. Decomposition has long been considered a fundamental part of systems analysis and design. However, ensuring that a decomposition is optimal is nearly impossible. Ensuring that a system specification is complete and consistent is an inherently difficult task. Most existing systems analysis and design methodologies allow only the use of techniques such as code walk-throughs and post-implementation testing. Analysis errors discovered at such late stages can be quite expensive to correct. Existing methodologies cannot support automated completeness and consistency testing because they lack the degree of formalism required to allow automation. The primary objective of this research was to increase understanding of system decomposition. To aid in achieving this objective a formalism for representing a system specification, and a set of computer-based specifications analysis tools were developed. The tools support decomposition and provide completeness and consistency testing of a system specification. An existing system modelling formalism was extended to provide the basis for the specification formalism. This extended formalism will allow an analyst to describe a system with the degree of precision necessary for automated testing and decomposition. The ability to create a complete and consistent system model facilitated the development of a general theory of system decomposition. A system model created using the specifications analysis tools can be analyzed using a decomposition algorithm based on this theory. The algorithm incorporates a number of commonsense software design rules and decomposition heuristics drawn from the literature, and has been included in the specifications analysis tools. Experience has shown that the specifications analysis tools may suggest system decompositions not previously considered by the analyst. Alternative decompositions may arise in two situations: 1. The system has a valid alternative structure which may not have been considered by the analyst. This alternative structure may be superior to the original structure envisioned by the analyst when the system model was constructed. 2. The system specification does not contain enough information to rule out certain unreasonable decompositions. The missing information should be explicitly included in the specification to avoid problems of interpretation later in the system development life cycle. Analysis of several test systems (including the IFIP Working Conference system often used as a standard problem in the systems analysis literature) using the specifications analysis tools has proven the feasibility of automated consistency and completeness testing and decomposition. Further research is required in two areas: 1. Enhancement of the specifications analysis tools. The tools are not user friendly. An analyst will require extensive training to use them effectively. As well, the computational speed of the tools must be improved. Automated decomposition is too slow to allow easy interaction between the analyst and the tools. 2. A hierarchical analysis technique must be developed to support application of the specification formalism and the theory of decomposition to larger systems.
Business, Sauder School of
Graduate
APA, Harvard, Vancouver, ISO, and other styles
6

Kramer, Glenn Andrew. "Geometric reasoning in the kinematic analysis of mechanisms." Thesis, University of Sussex, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385673.

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

Oliver, Keith A. "An analysis of moral reasoning, contact, relationship and homophobia /." The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487841975359629.

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

Islam, Asif Moinul. "Case Based Reasoning method for analysis of Physiological sensor data." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-27672.

Full text
Abstract:
Remote healthcare is a demanding as well as emergent research area. The rise of healthcare costs in the developed countries have made the policy makers for trying to find an alternate model of healthcare rather than relying on traditional healthcare system. Although advancement in the sensor technology, forthcomingness of devices like smart phones and improvement in artificial intelligence technology have made the remote healthcare close to reality but still there are plenty of issues to be solved before it becomes a commonly used healthcare model. In this thesis, studies of two vital physiological parameters pulse rate and oxygen saturation were done to unearth some patterns using Case-Based Reasoning technique. A three-tiered application is developed focusing remote healthcare. The results of the thesis could be used as a starting point of further research of two above mentioned physiological parameters in order to detect anomalous condition of health.
APA, Harvard, Vancouver, ISO, and other styles
9

Alcock, Lara. "Categories, definitions and mathematics : student reasoning about objects in analysis." Thesis, University of Warwick, 2001. http://wrap.warwick.ac.uk/56117/.

Full text
Abstract:
This thesis has two integrated components, one theoretical and one investigative. The theoretical component considers human reason about categories of objects. First, it proposes that the standards of argumentation in everyday life are variable, with emphasis on direct generalisation, whereas standards in mathematics are more fixed and require abstraction of properties. Second, it accounts for the difficulty of the transition to university mathematics by considering the impact of choosing formal definitions upon the nature of categories and argumentation. Through this it unifies established theories and observations regarding student behaviours at this level. Finally, it addresses the question of why Analysis seems particularly difficult, by considering the relative accessibility of its visual representations and its formal definitions. The investigative component is centred on a qualitative study, the main element of which is a series of interviews with students attending two different first courses in Real Analysis. One of these courses is a standard lecture course, the other involves a classroom-based, problem-solving approach. Grounded theory data analysis methods are used to interpret the data, identifying behaviours exhibited when students reason about specific objects and whole categories. These behaviours are linked to types of understanding as distinguished in the mathematics education literature. The student's visual or nonvisual reasoning style and their sense of authority, whether "internal" or "external" are identified as causal factors in the types of understanding a student develops. The course attended appears as an intervening factor. A substantive theory is developed to explain the contributions of these factors. This leads to improvement of the theory developed in the theoretical component. Finally, the study is reviewed and the implications of its findings for the teaching and learning of mathematics at this level are considered.
APA, Harvard, Vancouver, ISO, and other styles
10

M, Dube Chad. "Dual-process theory and syllogistic reasoning a signal detection analysis /." Amherst, Mass. : University of Massachusetts Amherst, 2009. http://scholarworks.umass.edu/theses/242/.

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

Books on the topic "Omnispective analysis and reasoning"

1

Hill, Warren. Mathematical reasoning through verbal analysis. Pacific Grove, CA: Midwest Publications, 1988.

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

Hill, Warren. Mathematical reasoning through verbal analysis. Pacific Grove, CA: Midwest Publications, 1988.

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

Hill, Warren. Mathematical reasoning through verbal analysis. Pacific Grove, CA: Midwest Publications, 1988.

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

Hicks, Stephen Ronald Craig, 1960- and Kelley David 1949-, eds. Readings for logical analysis. 2nd ed. New York: W.W. Norton, 1998.

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

Brkić, Jovan. Legal reasoning: Semantic and logical analysis. New York: P. Lang, 1985.

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

Backer, E. Computer-assisted reasoning in cluster analysis. New York: Prentice Hall, 1995.

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

Song, Xiping. Software design methods: Analysis and reasoning. New York: Oxford University Press, 1997.

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

Ronald, Edwards, ed. Mathematical reasoning through verbal analysis, book-1. Pacific Grove, CA: Midwest Publications, 1988.

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

Hill, Warren. Mathematical reasoning through verbal analysis, book-2. Pacific Grove, CA: Critical Thinking Press & Software, 1991.

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

John, Delaney, ed. Learning legal reasoning: Briefing, analysis, and theory. Bogota, N.J: J. Delaney, 1987.

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

Book chapters on the topic "Omnispective analysis and reasoning"

1

Brown, Frank Markham. "Boolean Analysis." In Boolean Reasoning, 87–122. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4757-2078-5_4.

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

Wang, Cong, and Pascal Hitzler. "Reasoning." In Encyclopedia of Social Network Analysis and Mining, 1499–501. New York, NY: Springer New York, 2014. http://dx.doi.org/10.1007/978-1-4614-6170-8_115.

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

Foster, Simon, and Georg Struth. "Automated Analysis of Regular Algebra." In Automated Reasoning, 271–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31365-3_22.

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

Nikolić, Đurica, and Fausto Spoto. "Reachability Analysis of Program Variables." In Automated Reasoning, 423–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31365-3_33.

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

Wohlrapp, Harald R. "Argument Analysis." In Logic, Argumentation & Reasoning, 315–60. Dordrecht: Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-017-8762-8_8.

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

Knorr, Matthias. "Automated Reasoning." In Encyclopedia of Social Network Analysis and Mining, 1–7. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-7163-9_110188-1.

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

Knorr, Matthias. "Automated Reasoning." In Encyclopedia of Social Network Analysis and Mining, 101–8. New York, NY: Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4939-7131-2_110188.

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

Rowe, Daniel, Jordi Gonzàlez, Ivan Huerta, and Juan J. Villanueva. "On Reasoning over Tracking Events." In Image Analysis, 502–11. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73040-8_51.

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

Cheval, Vincent, Hubert Comon-Lundh, and Stéphanie Delaune. "Automating Security Analysis: Symbolic Equivalence of Constraint Systems." In Automated Reasoning, 412–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_35.

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

Jones, Neil D. "Program Termination Analysis by Size-Change Graphs (Abstract)." In Automated Reasoning, 1–4. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5_1.

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

Conference papers on the topic "Omnispective analysis and reasoning"

1

Chemboli, Srinivas, and Clive Boughton. "Omnispective analysis and reasoning." In the 5th India Software Engineering Conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2134254.2134279.

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

"Text Analysis with Ontology Reasoning." In Third International Symposium on Business Modeling and Software Design. SCITEPRESS - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004774100640073.

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

Carvalho, E., J. Cruz, P. Barahona, Theodore E. Simos, George Psihoyios, and Ch Tsitouras. "Probabilistic Reasoning with Continuous Constraints." In Numerical Analysis and Applied Mathematics. AIP, 2007. http://dx.doi.org/10.1063/1.2790083.

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

Wojdowski, Lukasz. "Probabilistic reasoning in practical system analysis." In 2015 MIXDES - 22nd International Conference "Mixed Design of Integrated Circuits & Systems". IEEE, 2015. http://dx.doi.org/10.1109/mixdes.2015.7208580.

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

Golinska-Pilarek, Joanna, and Ewa Orlowska. "Relational Reasoning in Formal Concept Analysis." In 2007 IEEE International Fuzzy Systems Conference. IEEE, 2007. http://dx.doi.org/10.1109/fuzzy.2007.4295512.

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

Paliath, Vivin, and Paulo Shakarian. "Reasoning about sequential cyberattacks." In ASONAM '19: International Conference on Advances in Social Networks Analysis and Mining. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3341161.3343522.

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

Roy, Jean, and Alexandre Bergeron Guyard. "Supporting threat analysis through description logic reasoning." In 2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2012). IEEE, 2012. http://dx.doi.org/10.1109/cogsima.2012.6188401.

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

Misailovic, Sasa. "Probabilistic reasoning for analysis of approximate computations." In ESWEEK'17: THIRTEENTH EMBEDDED SYSTEM WEEK. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3125501.3125524.

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

Chang, Cheng-Yue, and Jing-Sha He. "Network Forensic Analysis via Vulnerability Evidence Reasoning." In 2016 International Conference on Computer Engineering and Information Systems. Paris, France: Atlantis Press, 2016. http://dx.doi.org/10.2991/ceis-16.2016.48.

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

Roque, W. L., and R. P. Dos Santos. "Qualitative reasoning, dimensional analysis and computer algebra." In the 1991 international symposium. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/120694.120773.

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

Reports on the topic "Omnispective analysis and reasoning"

1

Stone, Gregory. Discussion & analysis: Spatial reasoning assessment. The Learning Partnership, January 2021. http://dx.doi.org/10.51420/report.2021.2.

Full text
Abstract:
A complete Rasch multi-faceted analysis was performed on the draft Spatial Reasoning Assessment. While the psychometric report presents the complete analysis for the examination, this discussion proceeds step-by-step to understand the way in which the analysis proceeded, and the findings therein. The findings were that holistically, the instrument performed admirably. As a pretest, it is likely that students were not expected to demonstrate certain reasoning skills (e.g., GIS) as indeed they did not. The rating scale functions well to capture the examiner judgement. Overall, the instrument works together as a functional assessment, capturing the general construct of Spatial Reasoning.
APA, Harvard, Vancouver, ISO, and other styles
2

Lochbaum, Karen E., and Lynn A. Streeter. Carnegie Hall: An Intelligent Tutor for Command-Reasoning Practice Based on Latent Semantic Analysis. Fort Belvoir, VA: Defense Technical Information Center, September 2002. http://dx.doi.org/10.21236/ada406129.

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

Chang, Shing I., E. S. Lee, and Steven R. Hanna. A Comparative Study of Multivariate Analysis for Selection and Classification Using Fuzzy Measures and Reasoning. Fort Belvoir, VA: Defense Technical Information Center, December 2001. http://dx.doi.org/10.21236/ada397639.

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

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) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient.
APA, Harvard, Vancouver, ISO, and other styles
5

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) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient.
APA, Harvard, Vancouver, ISO, and other styles
6

Baader, Franz, Carsten Lutz, Maja Miličić, Ulrike Sattler, and Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Aachen University of Technology, 2004. http://dx.doi.org/10.25368/2022.145.

Full text
Abstract:
Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, Carsten Lutz, Maja Miličić, and Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2010.145.

Full text
Abstract:
Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.
APA, Harvard, Vancouver, ISO, and other styles
8

Hu, XinYi, JingXuan Hao, and HangYue Wang. Improvement of Environmental enrichment on Cognitive Functions in Patients and animals : A systematic review and meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, December 2022. http://dx.doi.org/10.37766/inplasy2022.12.0014.

Full text
Abstract:
Review question / Objective: To study the relationship between environmental enrichment and cognitive function through a meta-analysis of the literature, analyze its effects on the improvement of cognitive function in patients and animals, and evaluate the effects of different environmental enrichment measures on cognitive function improvement. Condition being studied: Cognitive decline refers to an individual's memory, language, reasoning and other aspects of cognitive function showing obvious, measurable decline or abnormal. The causes of cognitive decline are various, including neurodegeneration, cerebrovascular disease, infection, trauma, and depression. Alzheimer's disease and stroke are the most common.
APA, Harvard, Vancouver, ISO, and other styles
9

Nic Daeid, Niamh, Heather Doran, Lucina Hackman, and Pauline Mack. The Curse of the Burial Dagger Teacher Materials. University of Dundee, September 2021. http://dx.doi.org/10.20933/100001220.

Full text
Abstract:
The Curse of the Burial Dagger is an interactive graphic novel murder mystery, created by the Leverhulme Research Centre for Forensic Science and digital story studio Fast Familiar. Players use maths, logic and critical reasoning skills to assist Susie uncover different types of forensic evidence and weigh up contrasting hypotheses. Can they uncover the events leading up to Lord Hamilton’s death and deduce how he died…before the curse strikes again? These documents are the Teacher/Group lead pack which contain additional resources including: • The Teacher/Group Lead Pack – Teacher walk through – Factsheet – What is Forensic Science? – Factsheet – What is a hypothesis? – Marzipan Calculation – Factsheet and activity – Fingerprint Analysis – Activity – Chromatography investigation • Printable completion certificate • Printable Note paper and fact-sheet
APA, Harvard, Vancouver, ISO, and other styles
10

Lutz, Carsten, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.

Full text
Abstract:
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to 'concrete' domains such as numbers and strings with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be quite useful for reasoning about conceptual models of information systems, and as the basis for expressive ontology languages. We propose to further extend such DLs with key constraints that allow the expression of statements like 'US citizens are uniquely identified by their social security number'. Based on this idea, we introduce a number of natural description logics and perform a detailed analysis of their decidability and computational complexity. It turns out that naive extensions with key constraints easily lead to undecidability, whereas more careful extensions yield NEXPTIME-complete DLs for a variety of useful concrete domains.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Omnispective analysis and reasoning' 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