scholarly journals A modal computational framework for default reasoning

1997 ◽  
pp. 373-376
Author(s):  
Alberto Artosi ◽  
Paola Cattabriga ◽  
Guido Governatori
Keyword(s):  
Default Reasoning ◽  
Computational Framework

Computational Framework for Dense Sensor Network Evaluation Based on Model-Assisted Probability of Detection

2020 ◽  
Vol 78 (5) ◽  
pp. 573-583 ◽  
Author(s):  
Jin Yan ◽  
Simon Laflamme ◽  
Leifur Leifsson
Keyword(s):  
Sensor Network ◽  
Probability Of Detection ◽  
Computational Framework ◽  
Network Evaluation

A Multiphysics Computational Framework for Cylindrical Battery Behavior upon Mechanical Loading Based on LS-DYNA

2019 ◽  
Vol 166 (6) ◽  
pp. A1160-A1169 ◽  
Author(s):  
Chunhao Yuan ◽  
Xiang Gao ◽  
Hin Kwan Wong ◽  
Bill Feng ◽  
Jun Xu
Keyword(s):  
Mechanical Loading ◽  
Computational Framework

Qualitative simulation and related approaches for the analysis of dynamic systems

2004 ◽  
Vol 19 (2) ◽  
pp. 93-132 ◽  
Author(s):  
HIDDE DE JONG
Keyword(s):  
Qualitative Analysis ◽  
Dynamic Systems ◽  
Quantitative Information ◽  
Simulation Methods ◽  
Science And Engineering ◽  
Computational Framework ◽  
Combinatorial Explosion ◽  
Qualitative Simulation ◽  
Qualitative Phase ◽  
Made In

Methods for qualitative simulation allow predictions on the dynamics of a system to be made in the absence of quantitative information, by inferring the range of possible qualitative behaviors compatible with the structure of the system. This article reviews QSIM and other qualitative simulation methods. It discusses two problems that have seriously compromised the application of these methods to realistic problems in science and engineering: the occurrence of spurious behavior predictions and the combinatorial explosion of the number of behavior predictions. In response to these problems, related approaches for the qualitative analysis of dynamic systems have emerged: qualitative phase-space analysis and semi-quantitative simulation. The article argues for a synthesis of these approaches in order to obtain a computational framework for the qualitative analysis of dynamic systems. This should provide a solid basis for further upscaling and for the development of model-based reasoning applications of a wider scope.

scholarly journals Computational framework for monolithic coupling for thin fluid flow in contact interfaces

2021 ◽  
Vol 379 ◽  
pp. 113738
Author(s):  
Andrei G. Shvarts ◽  
Julien Vignollet ◽  
Vladislav A. Yastrebov
Keyword(s):  
Fluid Flow ◽  
Computational Framework ◽  
Thin Fluid

scholarly journals A computational framework for modeling cell–matrix interactions in soft biological tissues

2021 ◽  
Author(s):  
Jonas F. Eichinger ◽  
Maximilian J. Grill ◽  
Iman Davoodi Kermani ◽  
Roland C. Aydin ◽  
Wolfgang A. Wall ◽  
...  
Keyword(s):  
Soft Tissues ◽  
Three Dimensional ◽  
Biological Tissues ◽  
Computational Framework ◽  
Cell Matrix ◽  
Physiological Processes ◽  
Matrix Interactions ◽  
Mechanical Homeostasis ◽  
Cell Matrix Interactions ◽  
Short Time

AbstractLiving soft tissues appear to promote the development and maintenance of a preferred mechanical state within a defined tolerance around a so-called set point. This phenomenon is often referred to as mechanical homeostasis. In contradiction to the prominent role of mechanical homeostasis in various (patho)physiological processes, its underlying micromechanical mechanisms acting on the level of individual cells and fibers remain poorly understood, especially how these mechanisms on the microscale lead to what we macroscopically call mechanical homeostasis. Here, we present a novel computational framework based on the finite element method that is constructed bottom up, that is, it models key mechanobiological mechanisms such as actin cytoskeleton contraction and molecular clutch behavior of individual cells interacting with a reconstructed three-dimensional extracellular fiber matrix. The framework reproduces many experimental observations regarding mechanical homeostasis on short time scales (hours), in which the deposition and degradation of extracellular matrix can largely be neglected. This model can serve as a systematic tool for future in silico studies of the origin of the numerous still unexplained experimental observations about mechanical homeostasis.

scholarly journals A computational framework for connection matrix theory

2021 ◽  
Author(s):  
Shaun Harker ◽  
Konstantin Mischaikow ◽  
Kelly Spendlove
Keyword(s):  
Matrix Theory ◽  
Connection Matrix ◽  
Computational Framework

scholarly journals More on Modal Aspects of Default Logic1

1992 ◽  
Vol 17 (1-2) ◽  
pp. 99-116
Author(s):  
V. Wiktor Marek ◽  
Miroslaw Truszczynski
Keyword(s):  
Modal Logic ◽  
Default Logic ◽  
Nonmonotonic Logic ◽  
Default Reasoning ◽  
Default Theory ◽  
Autoepistemic Logic ◽  
The Relationship ◽  
Natural Classes ◽  
Weak Extension

Investigations of default logic have been so far mostly concerned with the notion of an extension of a default theory. It turns out, however, that default logic is much richer. Namely, there are other natural classes of objects that might be associated with default reasoning. We study two such classes of objects with emphasis on their relations with modal nonmonotonic formalisms. First, we introduce the concept of a weak extension and study its properties. It has long been suspected that there are close connections between default and autoepistemic logics. The notion of weak extension allows us to precisely describe the relationship between these two formalisms. In particular, we show that default logic with weak extensions is essentially equivalent to autoepistemic logic, that is, nonmonotonic logic KD45. In the paper we also study the notion of a set of formulas closed under a default theory. These objects are shown to correspond to stable theories and to modal logic S5. In particular, we show that skeptical reasoning with sets closed under default theories is closely related with provability in S5. As an application of our results we determine the complexity of reasoning with weak extensions and sets closed under default theories.

scholarly journals Furin and the adaptive mutation of SARS-COV2: a computational framework

2021 ◽  
Author(s):  
Ayesha Sohail ◽  
Sümeyye Tunc ◽  
Alessandro Nutini ◽  
Robia Arif
Keyword(s):  
Adaptive Mutation ◽  
Computational Framework
Sign in / Sign up

Export Citation Format

Share Document