Cytoplasmic inclusions containing TAR DNA-binding protein of 43 kDa (TDP-43) or Fused in sarcoma (FUS) are a hallmark of amyotrophic lateral sclerosis (ALS) and several subtypes of frontotemporal lobar degeneration (FTLD). FUS-positive inclusions in FTLD and ALS patients are consistently co-labeled with stress granule (SG) marker proteins. Whether TDP-43 inclusions contain SG markers is current...

The semantic grid (SG) aims at connecting information silos of web into a gigantic database, and supplying only the useful information to the users. Much advance has been made on information representation, extraction and sharing, but access control in SG is seldom discussed. This paper presents an access control model for semantic gird, which uses asynchronous automata to simulate grid nodes a...

Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lacks the formal tools to perform some of these analyses and thus they can only be done by hand. The Heterogeneous Tool Set Hets is an institution-based combination of different logics and corresponding rewriting, model ...

Model-based Software Development is carried out as a well definied process. Depending on the applied approach, different phases can be distinguished, e.g. requirements specification, design, prototyping, implementation and usability evaluation. During this iterative process manyfold artifacts are developed and modified, including e.g. models, source code and usability evaluation data. CASE tool...

The historical shift towards a scientific revolution after the eighteenth century in Europe has discarded societal and cultural folklore from its dictionary of knowledge. The Oxford Dictionary defines science as “the intellectual and practical activity encompassing the systematic study of the structure and behavior of the physical and natural world through observation and experiment” (2017). Th...

SCOOP (Simple Concurrent Object-Oriented Programming) is a simple but very powerful O-O contract based framework for concurrent programming. The idea which was initially published in 1990 has since been developed to a comprehensive model with enriched type system, generalized semantics of contracts, flexible locking policy and library implementation. To use SCOOP one important step is missing: ...

For more than twenty years, the leaders of our profession, with the support of the Medical Library Association (MLA), have urged us to integrate research evidence into our practices. The title of the first MLA research policy, Using Scientific Evidence to Inform Information Practice, from 1995 conveys the idea that health sciences librarians should apply research results when making decisions [...

New high-throughput culture-independent molecular tools are allowing the scientific community to characterize and understand the microbial communities underpinning environmental biotechnology processes in unprecedented ways. By creatively leveraging these new data sources, microbial ecology has the potential to transition from a purely descriptive to a predictive framework, in which ecological ...

Introduction There are two ways of embarking on a discussion of sustainability in transport. One is primarily concerned with defining sustainability (usually through a discussion of climate change) and then detailing the seriously unsustainable trends we are currently experiencing and finishing with a flourish about how we could change trajectory and solve the problem through some serious polic...