We study the interplay between dependent types and general computational effects. We define a language with both value types and terms, and computation types and terms, where types depend only on value terms. We use computational Σ-types to account for typedependency in the sequential composition of computations. Our language design is justified by a natural class of categorical models. We acco...

Within relevance theory the two local pragmatic processes of enrichment and loosening of linguistically encoded conceptual material have been given quite distinct treatments. Enrichments of various sorts, including those which involve a logical strengthening of a lexical concept, contribute to the proposition expressed by the utterance, hence to its truthconditions. Loosenings, including metaph...

The topic of working memory (WM) is ubiquitous in research on cognitive psychology and on individual differences. According to one definition, it is a small amount of information kept in a temporary state of heightened accessibility; it is used in most types of communication and problem solving. Short-term storage has been defined as the passive (i.e., non-attention-based, nonstrategic) compone...

Joint attention develops during the first year of life but little is known about its effects on long-term memory. We investigated whether joint attention modulates long-term memory in 9-month-old infants. Infants were familiarized with visually presented objects in either of two conditions that differed in the degree of joint attention (high versus low). EEG indicators in response to old and no...

The cosmological stochastic gravitational-wave background produced by the mildly non-linear evolution of density fluctuations is analyzed, in the frame of an Einstein-de Sitter model, by means of a fully relativistic perturbation expansion up to second order. The form of these gravitational-instability-induced gravitational waves is gaugedependent. In the synchronous gauge, where the second-ord...

A 3D Pt/TiO2 architecture assembled from 1D nanowires has been designed and successfully prepared by an environmentally-friendly one-pot solvothermal process. The formation mechanism has been investigated and the unique architecture exhibits an excellent photocatalytic hydrogen production rate as high as 13.33 mmol h(-1) g(-1), the corresponding apparent quantum efficiency reaches 34%.

In three experiments we examined the effect of schema activation on professional translators who had to read and translate or to read aloud visually presented texts. In Experiment 1, text understanding was improved by presenting a summary before reading aloud the texts. However, prior presentation of the summary reduced comprehension when participants had to translate them (sight translation). ...

Working memory has been consistently associated with mathematics achievement, although the etiology of these relations remains poorly understood. The present study examined the genetic and environmental underpinnings of math story problem solving, timed calculation, and untimed calculation alongside working memory components in 12-year-old monozygotic (n = 105) and same-sex dizygotic (n = 143) ...

Due to the aging process, the provision of long-term care (LTC) to the dependent elderly has become a major challenge of our epoch. But our societies are also characterized, since the 1970s, by a postponement of births, which, by raising the intergenerational age gap, can affect the provision of LTC by children. In order to examine the impact of those demographic trends on the optimal policy, w...