Model checking for First Order Logic is a computationally demanding task. Matters become worse in systems that typically yield fairly large and complex formulas, and that also include the representation of pluralities. This is the case of Discourse Representation Theory (Kamp and Reyle 1993), in which representations encode discourse chunks and deal with various plural phenomena. Not surprising...

The two-parameter dynamical replica theory (2-DRT) is applied to investigate retrieval properties of non-monotonic associative memory, a model which lacks thermodynamic potential functions. 2DRT reproduces dynamical properties of the model quite well, including the capacity and basin of attraction. Superretrieval state is also discussed in the framework of 2-DRT. The local stability condition o...

Abstract The accelerated electrification of transport systems with EVs has brought new challenges for charging scheduling, fleet management, and infrastructure location configuration planning. In this review, we have provided a systematic review the recent development in strategic, tactical, operational decisions demand responsive system planning using electric vehicles (EV-DRT). We summarized ...

Atrial fibrillation (AF) is one of the most common cardiac arrhythmias and associated to an increasing risk stroke. Most AF-related strokes are formed in left atrial appendage (LAA). To prevent thrombus formation, LAA occlusion (LAAO) considered a suitable alternative for AF patients with contraindications anti-coagulation treatment. Nevertheless, LAAO linked non-negligible generating at surfac...

The authors propose a behavioral decision theory relevant to the maintenance of desirable identities. The theory, termed deviance regulation theory (DRT), predicts that actions translate into meaningful identities to the extent that they cause the individual to deviate from reference group norms. This straightforward proposition is used to predict the patterning of behavior across a wide array ...

The goal of this paper is to lay a logical foundation for discourse theories by providing an algebraic foundation of compositional formalisms for discourse semantics as an analogon to the simply typed-calculus. Just as that can be specialized to type theory by simply providing a special type for truth values and postulating the quantiiers and connectives as constants with xed semantics, the pro...

Impedance measurement is a common technique to characterize and detect the electrical properties of biological cells. However, decode underlying physical processes, it requires complex models alongside prior knowledge sample under study. In this work, we introduce an attractive label-free method for sensing cells in suspension based on impedance distribution relaxation times (DRT) model. The DR...

Assimilation to the internal CO2 (ACi) response curve and gas exchange parameters were quantified for four North American willows ((Salix cordata (COR), S. discolor (DIS), eriocephala (ERI), interior (INT)) grown in a 2 × factorial of atmospheric soil moisture treatments see how they would respond climate change factors. After first year greenhouse growth under said treatments, we saw no differ...

BACKGROUND This paper describes an evaluation of an initiative to increase the research capability of clinical groups in primary and community care settings in a region of the United Kingdom. The 'designated research team' (DRT) approach was evaluated using indicators derived from a framework of six principles for research capacity building (RCB) which include: building skills and confidence, r...