Готові списки джерел за темами / Omnispective analysis and reasoning

Добірка наукової літератури з теми "Omnispective analysis and reasoning"

Автор: Grafiati
Опубліковано: 10 грудня 2022
Оновлено: 28 січня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Omnispective analysis and reasoning".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Omnispective analysis and reasoning"

1

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

Повний текст джерела
Анотація:
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 та ін.
2

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

Повний текст джерела
Анотація:
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 та ін.
3

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

Повний текст джерела
Анотація:
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 та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
9

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

Повний текст джерела
Анотація:
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 та ін.
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/.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Omnispective analysis and reasoning"

1

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
Також вас можуть зацікавити розширені добірки на тему "Omnispective analysis and reasoning" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії