Modelling software design as the systematic transformation of formal specifications into efficient programs and building CASE tools that support it has long been considered one of the ultimate goals of software engineering. For instance, Balzer (1981) and Fikas (1985) consider that the process of developing a program [can be] formalized as a set of correctness-preserving transformations [...] a...

It is possible for a geoscience data providing organization simply to design an eXtensible Markup Language (XML) schema for a particular data exchange problem at hand and make it generally available. Though not ideal, this is an improvement on having many varieties of non XML data formats. This is because the XML format is partially self-documenting and provides common methods for parsing files...

In this paper, we propose a new approach for data fusion in the context of schema-based Peer-To-Peer (P2P) systems. Schema-based systems manage and provide query capabilities for (semi-)structured information: queries have to be formulated in terms of schema. The dominating schema-based systems are relational databases or XML documents. Schema-based P2P are called Peer Data Management system (P...

The term goal directed conventionally refers to either of 2 separate process types-motor processes organizing action oriented toward physical targets and decision-making processes that select these targets by integrating desire for and knowledge of action outcomes. Even newborns are goal directed in the first sense, but the status of infants as decision makers (the focus here) is unknown. In th...

Abstract The deluge of network datasets demands a standard way to effectively and succinctly summarize datasets. Building on similar efforts standardize the documentation models in machine learning, here we propose cards , short summaries that can capture not only basic statistics but also information about data construction process, provenance, ethical considerations, other metadata. In this p...

BACKGROUND The acronym ESSENCE (Early Symptomatic Syndromes Eliciting Neurodevelopmental Clinical Examinations) highlights that children seeking clinical treatment are often multiply impaired, thus requiring treatment from several specialties. The aim was to map and relate, on a population level, ESSENCE to two salient predictors of health and adaptation to adversities, namely, Self-Directednes...

Serotonergic pathways have been related to altered personality patterns in seasonal affective disorder (SAD). The short allele (s) of a polymorphism in the serotonin transporter promoter gene (5-HTTLPR) has been associated with neuroticism and anxiety-related personality traits in healthy volunteers. We investigated personality and 5-HTTLPR in female SAD patients using the Temperament and Chara...

Modelling software design as the systematic transformation of formal specifications into efficient programs and building CASE tools that support it has long been considered one of the ultimate goals of software engineering. For instance, Balzer (1981) and Fikas (1985) consider that the process of developing a program [can be] formalized as a set of correctness-preserving transformations [...] a...