scholarly journals Decidability for some justification logics with negative introspection

2013 ◽  
Vol 78 (2) ◽  
pp. 388-402 ◽  
Author(s):  
Thomas Studer
Keyword(s):  
Modal Logics ◽  
Model Construction ◽  
Negative Introspection ◽  
Novel Model ◽  
Finite Constant

AbstractJustification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.

630: A Novel Model System for the Treatment of Renal Cancer by Nonmyeloablative Allogeneic Hemopoietic Cell Transplantation Using Cyclophosphamide in Mice

2005 ◽  
Vol 173 (4S) ◽  
pp. 172-172
Author(s):  
Masatoshi Eto ◽  
Masahiko Harano ◽  
Katsunori Tatsugami ◽  
Hirofumi Koga ◽  
Seiji Naito
Keyword(s):  
Cell Transplantation ◽  
Renal Cancer ◽  
Model System ◽  
Hemopoietic Cell ◽  
Novel Model

A Novel Model for Separate Estimates for Explicit and Implicit Memory

2012 ◽  
Author(s):  
Richard A. Chechile ◽  
Lara N. Sloboda ◽  
Erin L. Warren ◽  
Daniel H. Barch ◽  
Jessica R. Chamberland
Keyword(s):  
Implicit Memory ◽  
Novel Model

Bankruptcy Model Construction and its Limitation in Input Data Quality

2019 ◽  
Vol 10 (2) ◽  
pp. 117-125
Author(s):  
Dana Kubíčková ◽  
◽  
Vladimír Nulíček ◽  
Keyword(s):  
Data Quality ◽  
Normal Distribution ◽  
Input Data ◽  
Model Construction ◽  
The Third ◽  
Third Stage ◽  
Discriminant Analyses ◽  
One Year ◽  
The University ◽  
Multivariate Discriminant

The aim of the research project solved at the University of Finance and administration is to construct a new bankruptcy model. The intention is to use data of the firms that have to cease their activities due to bankruptcy. The most common method for bankruptcy model construction is multivariate discriminant analyses (MDA). It allows to derive the indicators most sensitive to the future companies’ failure as a parts of the bankruptcy model. One of the assumptions for using the MDA method and reassuring the reliable results is the normal distribution and independence of the input data. The results of verification of this assumption as the third stage of the project are presented in this article. We have revealed that this assumption is met only in a few selected indicators. Better results were achieved in the indicators in the set of prosperous companies and one year prior the failure. The selected indicators intended for the bankruptcy model construction thus cannot be considered as suitable for using the MDA method.

Metoclopramide Restores the Sympathoadrenal Response to Hypoglycemia in a Novel Model of HAAF

Diabetes ◽  
2018 ◽  
Vol 67 (Supplement 1) ◽  
pp. 104-OR
Author(s):  
ADRIANA VIEIRA DE ABREU ◽  
RAHUL AGRAWAL ◽  
PARKER HOWE ◽  
SIMON J. FISHER
Keyword(s):  
Novel Model

Simulating Self-Regeneration and Self-Replication Processes Using Movable Cellular Automata with a Mutual Equilibrium Neighborhood

2020 ◽  
Vol 29 (4) ◽  
pp. 741-757
Author(s):  
Kateryna Hazdiuk ◽  
◽  
Volodymyr Zhikharevich ◽  
Serhiy Ostapov ◽  
◽  
...  
Keyword(s):  
Cellular Automata ◽  
Cellular Automaton ◽  
Three Dimensional ◽  
Computer Models ◽  
The Self ◽  
Model Construction ◽  
Natural Phenomena ◽  
Different Types ◽  
Movable Cellular Automata ◽  
Self Replication

This paper deals with the issue of model construction of the self-regeneration and self-replication processes using movable cellular automata (MCAs). The rules of cellular automaton (CA) interactions are found according to the concept of equilibrium neighborhood. The method is implemented by establishing these rules between different types of cellular automata (CAs). Several models for two- and three-dimensional cases are described, which depict both stable and unstable structures. As a result, computer models imitating such natural phenomena as self-replication and self-regeneration are obtained and graphically presented.

Sign in / Sign up

Export Citation Format

Share Document