Figure 1. Preoperative appearance of aneurysm with position marked on the skin.

We introduce a methodology whereby an arbitrary logic system L can be en riched with temporal features to create a new system T L The new system is constructed by combining L with a pure propositional temporal logic T such as linear temporal logic with Since and Until in a special way We refer to this method as adding a temporal dimension to L or just temporalising L We show that the logic syst...

A key function of the medial temporal lobe (MTL) is to generate predictions based on prior experience (Bar, 2009). We propose that these MTL-generated predictions guide learning, such that predictions from memory influence memory itself. Considering this proposal within a context-based theory of learning and memory leads to the unique hypothesis that the act of predicting an event from the curr...

A fragment of linear time temporal logic (LTL) is presented. It is proved that the satisfiability problem for this fragment is NPcomplete. The fragment is larger than previously known NP-complete fragments. It is obtained by prohibiting the use of until operator and requiring to use only next operators indexed by a letter.

This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with fully defined syntax, semantics and pragmatics.

Background and Aim: In the present study, the cerebral surface landmarks in human fresh autopsy specimens were investigated. Methods and Materials/Patients: Totally, 37 fresh adult autopsy human brain specimens from the Rasht Forensic Medicine Center were enrolled. Four specimens were excluded because of some traumatic injuries to cerebral cortex. Demographic information of all cases was obt...

recognition of soil water infiltration process is essential for improving irrigation efficiency, decreasing water losses and management of surface runoff. the aim of this research was to evaluate temporal variation of the kostiakove-louise infiltration coefficient parameters during a corn growing season. in this research, 16 irrigation events for 8 large scale furrow experiments were analyzed b...