Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model checking problems for fragments of MTL with respect to different semantic models. We show that these fragments have widely differing complexities: from polynomial space to non-primitive recursive and even undecidable. ...

We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra computations. The library based on our interface definition — the Matrix Template Library (MTL) — is written in C++ and consists of a small number of template classes that can be composed to represent commonly used matrix ...

The MIT Microsystems Technology Laboratories (MTL) is an interdepartmental laboratory whose mission is to foster research and education in semiconductor process and device technology and in integrated circuits and systems design. MTL provides microand nanofabrication and computer-aided design (CAD) infrastructure to the entire campus. MTL has 36 core faculty members who are engaged in diverse r...

Across many cultures people conceptualize time as extending along a horizontal Mental Time Line (MTL). This spatial mapping of time has been shown to depend on experience with written text, and may also depend on other graphic conventions such as graphs and calendars. All of this information is typically acquired visually, suggesting that visual experience may play an important role in the deve...

Using functional magnetic resonance imaging, the current study explored the differential mnemonic contributions of the hippocampus and surrounding medial temporal lobe (MTL) cortices to explicit recognition memory and configural learning. Using a task that required processing of repeated and novel visuospatial contexts across multiple trials, we examined MTL activation in relation to 3 forms of...

Dual process theories of recognition memory posit that recollection and familiarity represent dissociable processes. Animal studies and human functional imaging experiments support an anatomic dissociation of these processes in the medial temporal lobes (MTL). By this hypothesis, recollection may be dependent on the hippocampus, while familiarity appears to rely on extrahippocampal MTL (ehMTL) ...

Although much work has implicated the contributions of frontostriatal and medial temporal lobe (MTL) systems during probabilistic classification learning, the impact of emotion on these learning circuits is unknown. We used a modified version of the weather prediction task in which two participant groups were scanned with identical neutral cue cards probabilistically linked to either emotional ...

The yeast Candida albicans can mate. However, in the natural environment mating may generate progeny (fusants) fitter than clonal lineages too rarely to render mating biologically significant: C. albicans has never been observed to mate in its natural environment, the human host, and the population structure of the species is largely clonal. It seems incapable of meiosis, and most isolates are ...

Constructing autobiographical events involves an initial phase of event selection, in which a memory or imagined future event is initially brought to mind, followed by a phase of elaboration, in which an individual accesses detailed knowledge specific to the event. While considerable research demonstrates the importance of the medial temporal lobes (MTL) in the later phase, its role in initial ...

Introduction: The human stature forms part of his or her biological profile. It becomes more important during personal identification in case of mass disasters and in search of missing persons. We measured various parameters of the dried tibia, then by applying linear regression we formulated maximum tibia length which can be conveniently used for arriving at human stature. Methods: The obtain...