Modern charge density studies: the entanglement of experiment and theory

This tutorial review article is intended to provide a general guidance to a reader interested to learn about the methodologies to obtain accurate electron density mapping in molecules and crystalline solids, from theory or from experiment, and to carry out a sensible interpretation of the results, for chemical, biochemical or materials science applications. The review mainly focuses on X-ray diffraction techniques and refinement of experimental models, in particular multipolar models. Neutron diffraction, which was widely used in the past to fix accurate positions of atoms, is now used for more specific purposes. The review illustrates three principal analyses of the experimental or theoretical electron density, based on quantum chemical, semi-empirical or empirical interpretation schemes, such as the quantum theory of atoms in molecules, the semi-classical evaluation of interaction energies and the Hirshfeld analysis. In particular, it is shown that a simple topological analysis based on a partition of the electron density cannot alone reveal the whole nature of chemical bonding. More information based on the pair density is necessary. A connection between quantum mechanics and observable quantities is given in order to provide the physical grounds to explain the observations and to justify the interpretations.

Embedding Languages Without Breaking Tools

Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts of an application related to specialized domains. Unfortunately, such language extensions typically do not integrate well with the development tools of the host language. Editors, compilers and debuggers are either unaware of the extensions, or must be adapted at a non-trivial cost. We present a novel approach to embed DSLs into an existing host language by leveraging the underlying representation of the host language used by these tools. Helvetia is an extensible system that intercepts the compilation pipeline of the Smalltalk host language to seamlessly integrate language extensions. We validate our approach by case studies that demonstrate three fundamentally different ways to extend or adapt the host language syntax and semantics.

Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

BMP-2 induces the expression of chondrocyte-specific genes in bovine synovium-derived progenitor cells cultured in three-dimensional alginate hydrogel

OBJECTIVE: According to recent reports, the synovial membrane may contain mesenchymal stem cells with the potential to differentiate into chondrocytes under appropriate conditions. In order to assess the usefulness of synovium-derived progenitor cells for the purposes of cartilage tissue engineering, we explored their requirements for the expression of chondrocyte-specific genes after expansion in vitro. DESIGN: Mesenchymal progenitor cells were isolated from the synovial membranes of bovine shoulder joints and expanded in two-dimensions on plastic surfaces. They were then seeded either as micromass cultures or as single cells within alginate gels, which were cultured in serum-free medium. Under these three-dimensional conditions, chondrogenesis is known to be supported and maintained. Cell cultures were exposed either to bone morphogenetic protein-2 (BMP-2) or to isoforms of transforming growth factor-beta (TGF-beta). The levels of mRNA for Sox9, collagen types I and II and aggrecan were determined by RT-PCR. RESULTS: When transferred to alginate gel cultures, the fibroblast-like synovial cells assumed a rounded form. BMP-2, but not isoforms of TGF-beta, stimulated, in a dose-dependent manner, the production of messenger RNAs (mRNAs) for Sox9, type II collagen and aggrecan. Under optimal conditions, the expression levels of cartilage-specific genes were comparable to those within cultured articular cartilage chondrocytes. However, in contrast to cultured articular cartilage chondrocytes, synovial cells exposed to BMP-2 continued to express the mRNA for alpha1(I) collagen. CONCLUSIONS: This study demonstrates that bovine synovium-derived mesenchymal progenitor cells can be induced to express chondrocyte-specific genes. However, the differentiation process is not complete under the chosen conditions. The stimulation conditions required for full transformation must now be delineated.

Designed ankyrin repeat proteins: a new approach to mimic complex antigens for diagnostic purposes?

Inhibitory antibodies directed against coagulation factor VIII (FVIII) can be found in patients with acquired and congenital hemophilia A. Such FVIII-inhibiting antibodies are routinely detected by the functional Bethesda Assay. However, this assay has a low sensitivity and shows a high inter-laboratory variability. Another method to detect antibodies recognizing FVIII is ELISA, but this test does not allow the distinction between inhibitory and non-inhibitory antibodies. Therefore, we aimed at replacing the intricate antigen FVIII by Designed Ankyrin Repeat Proteins (DARPins) mimicking the epitopes of FVIII inhibitors. As a model we used the well-described inhibitory human monoclonal anti-FVIII antibody, Bo2C11, for the selection on DARPin libraries. Two DARPins were selected binding to the antigen-binding site of Bo2C11, which mimic thus a functional epitope on FVIII. These DARPins inhibited the binding of the antibody to its antigen and restored FVIII activity as determined in the Bethesda assay. Furthermore, the specific DARPins were able to recognize the target antibody in human plasma and could therefore be used to test for the presence of Bo2C11-like antibodies in a large set of hemophilia A patients. These data suggest, that our approach might be used to isolate epitopes from different sets of anti-FVIII antibodies in order to develop an ELISA-based screening assay allowing the distinction of inhibitory and non-inhibitory anti-FVIII antibodies according to their antibody signatures.

BPM software and process modelling languages in practice

IT has turned out to be a key factor for the purposes of gaining maturity in Business Process Management (BPM). This book presents a worldwide investigation that was conducted among companies from the ‘Forbes Global 2000’ list to explore the current usage of software throughout the BPM life cycle and to identify the companies’ requirements concerning process modelling. The responses from 130 companies indicate that, at the present time, it is mainly software for process description and analysis that is required, while process execution is supported by general software such as databases, ERP systems and office tools. The resulting complex system landscapes give rise to distinct requirements for BPM software, while the process modelling requirements can be equally satisfied by the most common languages (BPMN, UML, EPC).

Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.

Universal ontology: attentive tracking of objects and substances across languages and over development

Previous research has demonstrated that adults are successful at visually tracking rigidly moving items, but experience great difficulties when tracking substance-like ‘‘pouring’’ items. Using a comparative approach, we investigated whether the presence/absence of the grammatical count–mass distinction influences adults and children’s ability to attentively track objects versus substances. More specifically, we aimed to explore whether the higher success at tracking rigid over substance-like items appears universally or whether speakers of classifier languages (like Japanese, not marking the object–substance distinction) are advantaged at tracking substances as compared to speakers of non-classifier languages (like Swiss German, marking the object–substance distinction). Our results supported the idea that language has no effect on low-level cognitive processes such as the attentive visual processing of objects and substances. We concluded arguing that the tendency to prioritize objects is universal and independent of specific characteristics of the language spoken.

Practical domain-specific debuggers using the Moldable Debugger framework

Understanding the run-time behavior of software systems can be a challenging activity. Debuggers are an essential category of tools used for this purpose as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to introspect and interact with the running systems, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This mismatch creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort, as developers need to recover concrete domain concepts using generic mechanisms. To reduce this gap, and increase the efficiency of the debugging process, we propose a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies. We further motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

Domain Globalization: Using Languages to Support Technical and Social Coordination

When a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system. Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system. In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages. We identify two types of coordination: technical coordination and social coordination. After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration in a globalized environment.

Taboo Language and Illness Online: The Use of Specific Emoticons and Graphic Signs to Talk about HIV/AIDS in South Africa

South Africa is one of the countries most affected by HIV/AIDS: According to 2014 UNAIDS data 6.8 million South Africans live with HIV/AIDS, which means a 18.9% prevalence rate among adults (15-49 years old). Despite this strong presence of HIV/AIDS in South African society it remains relatively stigmatized and is not openly talked about. The silence about HIV/AIDS maintained in everyday conversations and the superstitions associated with this illness have led to the creation of a taboo language. This study aims at shedding light on how South African users resort to specific emoticons and graphic signs to talk about HIV/AIDS online. For this purpose 368 Facebook status updates and comments concerning HIV/AIDS and its side effects were analysed. All participants, aged 14-48, lived at the moment of data collection in Cape Town, in the Cape Flats area. The online conversations investigated are mainly in English mixed with Afrikaans and/or Xhosa. The emoticons and graphic signs in most cases display a graphic depiction of the physical (and mental) effects of the illness. These linguistic and semiotic practices employed on Facebook provide insight into how Capetonian users, on the one hand, express solidarity and sympathy with people suffering from HIV/AIDS. On the other hand, the emoticons and graphic signs are used to label and position people affected by HIV/AIDS. Thus, in the South African context social network sites have become an important space and means for communicating HIV/AIDS issues.