Recent studies have provided evidence that species diversity and distributions in continental biotas reflect a long history of responses (e.g. range shifts, speciation or adaptation) to habitat changes produced by geological activity over the past several million years (deep time) as well as glacial-interglacial cycles over the most recent hundreds of thousands of years (shallow time). Molecula...

This paper presents a method which simplifies verification of deeply embedded functional programs. We present a technique by which proof-certified equations describing the effect of functional programs (shallow embeddings) can be automatically extracted from their operational semantics. Our method can be used in reverse, i.e. from shallow to deep embeddings, and thus for implementing certifying...

Cumulus clouds involve processes on a vast range of scales—including cloud droplets, turbulent mixing, and updrafts and downdrafts—and it is often difficult to determine how processes on different scales interact with each other. In this article, several multiscale asymptotic models are derived for cumulus cloud dynamics in order to (i) provide a systematic scale analysis on each scale and (ii)...

The German question answering (QA) system IRSAW (formerly: InSicht) participated in QA@CLEF for the fifth time. IRSAW was introduced in 2007 by integrating the deep answer producer InSicht, several shallow answer producers, and a logical validator. InSicht builds on a deep QA approach: it transforms documents to semantic representations using a parser, draws inferences on semantic representatio...

A 5 yr spring and summer survey (July 2000 to May 2004) of the elasmobranch fauna of Glover’s Reef Marine Reserve, Belize, documents the use of this oceanic atoll by at least 12 elasmobranch species, including early life-stages of nurse sharks Ginglymostoma cirratum, Caribbean reef sharks Carcharhinus perezi, lemon sharks Negaprion brevirostris, and southern stingrays Dasyatis americana. Elasmo...

ion paradigm or approach KBS defined in terms of Source Heuristic classification Feature abstraction, heuristic match, solution refinement Clancey 1985 Deep and shallow knowledge Deep knowledge, causal relations, shallow knowledge Keravnoe and Washbrook 1989 Problem-solving method Problem decomposition, domain independent strategies, sequencing inferences McDermott 1988 Generic tasks Problem ty...

Emotion is known to influence multiple aspects of memory formation, including the initial encoding of the memory trace and its consolidation over time. However, the neural mechanisms whereby emotion impacts memory encoding remain largely unexplored. The present study used a levels-of-processing manipulation to characterize the impact of emotion on encoding with and without the influence of elab...

Age-related impairments in episodic memory have been related to a deficiency in semantic processing, based on the finding that elderly adults typically benefit less than young adults from deep, semantic as opposed to shallow, nonsemantic processing of study items. In the present study, we tested the hypothesis that elderly adults are not able to perform certain cognitive operations under deep p...

Gorgonian species show a high morphological variability in relation to the environment in which they live. In coastal areas, parameters such as temperature, light, currents, and food availability vary significantly with depth, potentially affecting morphology of the colonies and the structure of the populations, as well as their connectivity patterns. In tropical seas, the existence of connecti...

The groundwater is an important source of drinking water in the Kathmandu Valley, and is presently fulfilling about forty five percent of the total demand of water supply. However, the deteriorating groundwater quality is an emerging issue of concern. In this study attempt has been done to characterize the groundwater for the fate of arsenic and nitrate contaminations. Physico-chemical paramete...