Dynamic computer simulations of electrophoresis: a versatile research and teaching tool

Software is available, which simulates all basic electrophoretic systems, including moving boundary electrophoresis, zone electrophoresis, ITP, IEF and EKC, and their combinations under almost exactly the same conditions used in the laboratory. These dynamic models are based upon equations derived from the transport concepts such as electromigration, diffusion, electroosmosis and imposed hydrodynamic buffer flow that are applied to user-specified initial distributions of analytes and electrolytes. They are able to predict the evolution of electrolyte systems together with associated properties such as pH and conductivity profiles and are as such the most versatile tool to explore the fundamentals of electrokinetic separations and analyses. In addition to revealing the detailed mechanisms of fundamental phenomena that occur in electrophoretic separations, dynamic simulations are useful for educational purposes. This review includes a list of current high-resolution simulators, information on how a simulation is performed, simulation examples for zone electrophoresis, ITP, IEF and EKC and a comprehensive discussion of the applications and achievements.

Casting materials and their application in research and teaching

From a biological point of view, casting refers to filling of anatomical and/or pathological spaces with extraneous material that reproduces a three-dimensional replica of the space. Casting may be accompanied by additional procedures such as corrosion, in which the soft tissue is digested out, leaving a clean cast, or the material may be mixed with radiopaque substances to allow x-ray photography or micro computed topography (µCT) scanning. Alternatively, clearing of the surrounding soft tissue increases transparency and allows visualization of the casted cavities. Combination of casting with tissue fixation allows anatomical dissection and didactic surgical procedures on the tissue. Casting materials fall into three categories namely, aqueous substances (India ink, Prussian blue ink), pliable materials (gelatins, latex, and silicone rubber), or hard materials (methyl methacrylates, polyurethanes, polyesters, and epoxy resins). Casting has proved invaluable in both teaching and research and many phenomenal biological processes have been discovered through casting. The choice of a particular material depends inter alia on the targeted use and the intended subsequent investigative procedures, such as dissection, microscopy, or µCT. The casting material needs to be pliable where anatomical and surgical manipulations are intended, and capillary-passable for ultrastructural investigations.

Getting started with taiji: investigating students expectations and teachers appraisals of taiji beginners courses

In recent years, Taiji has been frequently investigated and considered as a stress management intervention. Although health care providers' appraisals and consumers' expectations are regarded as essential for treatment outcome, little attention has been drawn to this issue in Taiji research. In our study we have conducted two surveys to explore beginners' (n = 74) expectations and teachers' (n = 136) appraisals of their Taiji courses in general as well as more particularly related to stress management. Qualitative data analysis revealed that beginners mainly expected to learn a new method that is applicable in their daily life to foster peace of mind and to enhance their stress management. Congruently moderate-to-high improvements in stress management have also been found in quantitative analysis, whereby a lower educational level predicted higher expectations (P = 0.016). Taiji-teachers stated body- and mind-related benefits most frequently and appraised moderate-to-high improvements in stress management. Higher appraisals were predicted by a shorter teaching experience (P = 0.024). Our results inform about beginners' expectations and teachers' appraisals related to a Taiji-beginners course and highlight the role of educational background and teaching experience in shaping stress-management-related beginners' expectations and teachers' appraisals.

Developing ICF Core Sets for persons with sleep disorders based on the International Classification of Functioning, Disability and Health

BACKGROUND: With the International Classification of Functioning, Disability and Health (ICF), we can now rely on a globally agreed-upon framework and system for classifying the typical spectrum of problems in the functioning of persons given the environmental context in which they live. ICF Core Sets are subgroups of ICF items selected to capture those aspects of functioning that are most likely to be affected by sleep disorders. OBJECTIVE: The objective of this paper is to outline the developmental process for the ICF Core Sets for Sleep. METHODS: The ICF Core Sets for Sleep will be defined at an ICF Core Sets Consensus Conference, which will integrate evidence from preliminary studies, namely (a) a systematic literature review regarding the outcomes used in clinical trials and observational studies, (b) focus groups with people in different regions of the world who have sleep disorders, (c) an expert survey with the involvement of international clinical experts, and (d) a cross-sectional study of people with sleep disorders in different regions of the world. CONCLUSION: The ICF Core Sets for Sleep are being designed with the goal of providing useful standards for research, clinical practice and teaching. It is hypothesized that the ICF Core Sets for Sleep will stimulate research that leads to an improved understanding of functioning, disability, and health in sleep medicine. It is of further hope that such research will lead to interventions and accommodations that improve the restoration and maintenance of functioning and minimize disability among people with sleep disorders throughout the world.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.

European mobility and local political incorporation: The case of British and Romanian residents in Spain

This paper analyses the impact of European mobility in the field of the political nomination of intra-EU migrants in local elections. The study contributes to the debates in the literature related to immigrant nomination and representation by showing how group resources and political opportunities in the country of residence interact with the political opportunities of the European citizenship regime. It argues that the symbolic and legal status of European identity, representation in the European Parliament and strong links between political institutions in the countries of destination and origin play a positive role in boosting immigrant political entrepreneurs’ visibility vis-à-vis host country political actors. In order to illustrate these findings, the paper provides a qualitative comparison of British and Romanian residents in Spain.