Transactional Memory in a Dynamic Language

Concurrency control is mostly based on locks and is therefore notoriously difficult to use. Even though some programming languages provide high-level constructs, these add complexity and potentially hard-to-detect bugs to the application. Transactional memory is an attractive mechanism that does not have the drawbacks of locks, however the underlying implementation is often difficult to integrate into an existing language. In this paper we show how we have introduced transactional semantics into Smalltalk by using the reflective facilities of the language. Our approach is based on method annotations, incremental parse tree transformations and an optimistic commit protocol. The implementation does not depend on modifications to the virtual machine and therefore can be changed at the language level. We report on a practical case study, benchmarks and further and on-going work.

From big smartphone data to worldwide research: The Mobile Data Challenge

This paper presents an overview of the Mobile Data Challenge (MDC), a large-scale research initiative aimed at generating innovations around smartphone-based research, as well as community-based evaluation of mobile data analysis methodologies. First, we review the Lausanne Data Collection Campaign (LDCC), an initiative to collect unique longitudinal smartphone dataset for the MDC. Then, we introduce the Open and Dedicated Tracks of the MDC, describe the specific datasets used in each of them, discuss the key design and implementation aspects introduced in order to generate privacy-preserving and scientifically relevant mobile data resources for wider use by the research community, and summarize the main research trends found among the 100+ challenge submissions. We finalize by discussing the main lessons learned from the participation of several hundred researchers worldwide in the MDC Tracks.

Multi-Environment Model Estimation for Motility Analysis of Caernorhabditis elegans

The nematode Caenorhabditis elegans is a well-known model organism used to investigate fundamental questions in biology. Motility assays of this small roundworm are designed to study the relationships between genes and behavior. Commonly, motility analysis is used to classify nematode movements and characterize them quantitatively. Over the past years, C. elegans' motility has been studied across a wide range of environments, including crawling on substrates, swimming in fluids, and locomoting through microfluidic substrates. However, each environment often requires customized image processing tools relying on heuristic parameter tuning. In the present study, we propose a novel Multi-Environment Model Estimation (MEME) framework for automated image segmentation that is versatile across various environments. The MEME platform is constructed around the concept of Mixture of Gaussian (MOG) models, where statistical models for both the background environment and the nematode appearance are explicitly learned and used to accurately segment a target nematode. Our method is designed to simplify the burden often imposed on users; here, only a single image which includes a nematode in its environment must be provided for model learning. In addition, our platform enables the extraction of nematode ‘skeletons’ for straightforward motility quantification. We test our algorithm on various locomotive environments and compare performances with an intensity-based thresholding method. Overall, MEME outperforms the threshold-based approach for the overwhelming majority of cases examined. Ultimately, MEME provides researchers with an attractive platform for C. elegans' segmentation and ‘skeletonizing’ across a wide range of motility assays.

Allele-specific polymerase chain reaction diagnostic test for the functional MDR1 polymorphism in dogs

The major multidrug transporter P-glycoprotein (Pgp) contributes to the barrier function of several tissues and organs, including the brain. In a subpopulation of Collies and seven further dog breeds, a 4 base pair deletion has been described in the Pgp-encoding MDR1 gene. This deletion results in the absence of a functional form of Pgp and loss of its protective function. Severe intoxication with the Pgp substrate ivermectin has been attributed to the genetically determined lack of Pgp. An allele-specific polymerase chain reaction (PCR)-based screening method has been developed to detect the mutant allele and to determine if a dog is homozygous or heterozygous for the mutation. Based on this validation, the allele-specific PCR proved to be a robust, reproducible and specific tool, allowing rapid determination of the MDR1 genotype of dogs of at risk breeds using blood samples or buccal swabs.

A 1.8-kb insertion in the 3'-UTR of RXFP2 is associated with polledness in sheep

Sheep breeds show a broad spectrum of different horn phenotypes. In most modern production breeds, sheep are polled (absence of horns), whereas horns occur mainly in indigenous breeds. Previous studies mapped the responsible locus to the region of the RXFP2 gene on ovine chromosome 10. A 4-kb region of the 3'-end of RXFP2 was amplified in horned and polled animals from seven Swiss sheep breeds. Sequence analysis identified a 1833-bp genomic insertion located in the 3'-UTR region of RXFP2 present in polled animals only. An efficient PCR-based genotyping method to determine the polled genotype of individual sheep is presented. Comparative sequence analyses revealed evidence that the polled-associated insertion adds a potential antisense RNA sequence of EEF1A1 to the 3'-end of RXFP2 transcripts.

Fully automatic GBM segmentation in the TCGA-GBM dataset: Prognosis and correlation with VASARI features.

Reproducible definition and quantification of imaging biomarkers is essential. We evaluated a fully automatic MR-based segmentation method by comparing it to manually defined sub-volumes by experienced radiologists in the TCGA-GBM dataset, in terms of sub-volume prognosis and association with VASARI features. MRI sets of 109 GBM patients were downloaded from the Cancer Imaging archive. GBM sub-compartments were defined manually and automatically using the Brain Tumor Image Analysis (BraTumIA). Spearman's correlation was used to evaluate the agreement with VASARI features. Prognostic significance was assessed using the C-index. Auto-segmented sub-volumes showed moderate to high agreement with manually delineated volumes (range (r): 0.4 - 0.86). Also, the auto and manual volumes showed similar correlation with VASARI features (auto r = 0.35, 0.43 and 0.36; manual r = 0.17, 0.67, 0.41, for contrast-enhancing, necrosis and edema, respectively). The auto-segmented contrast-enhancing volume and post-contrast abnormal volume showed the highest AUC (0.66, CI: 0.55-0.77 and 0.65, CI: 0.54-0.76), comparable to manually defined volumes (0.64, CI: 0.53-0.75 and 0.63, CI: 0.52-0.74, respectively). BraTumIA and manual tumor sub-compartments showed comparable performance in terms of prognosis and correlation with VASARI features. This method can enable more reproducible definition and quantification of imaging based biomarkers and has potential in high-throughput medical imaging research.

Membrane microdialysis: Evaluation of a new method to assess splanchnic tissue metabolism

OBJECTIVE: Measuring peritoneal lactate concentrations could be useful for detecting splanchnic hypoperfusion. The aims of this study were to evaluate the properties of a new membrane-based microdialyzer in vitro and to assess the ability of the dialyzer to detect a clinically relevant decrease in splanchnic blood flow in vivo. DESIGN: A membrane-based microdialyzer was first validated in vitro. The same device was tested afterward in a randomized, controlled animal experiment. SETTING: University experimental research laboratory. SUBJECTS: Twenty-four Landrace pigs of both genders. INTERVENTIONS: In vitro: Membrane microdialyzers were kept in warmed sodium lactate baths with lactate concentrations between 2 and 8 mmol/L for 10-120 mins, and microdialysis lactate concentrations were measured repeatedly (210 measurements). In vivo: An extracorporeal shunt with blood reservoir and roller pump was inserted between the proximal and distal abdominal aorta, and a microdialyzer was inserted intraperitoneally. In 12 animals, total splanchnic blood flow (measured by transit time ultrasound) was reduced by a median 43% (range, 13% to 72%) by activating the shunt; 12 animals served as controls. MEASUREMENTS AND MAIN RESULTS: In vitro: The fractional lactate recovery was 0.59 (0.32-0.83) after 60 mins and 0.82 (0.71-0.87) after 90 mins, with no further increase thereafter. At 60 and 90 mins, the fractional recovery was independent of the lactate concentration. In vivo: Abdominal blood flow reduction resulted in an increase in peritoneal microdialysis lactate concentration from 1.7 (0.3-3.8) mmol/L to 2.8 (1.3-6.2) mmol/L (p = .006). At the same time, mesenteric venous-arterial lactate gradient increased from 0.1 (-0.2-0.8) mmol/L to 0.3 (-0.3 -1.8) mmol/L (p = .032), and mesenteric venous-arterial Pco2 gradients increased from 12 (8-19) torr to 21 (11-54) torr (p = .005). CONCLUSIONS: Peritoneal membrane microdialysis provides a method for the assessment of splanchnic ischemia, with potential for clinical application.

Statistical evaluation of time-dependent metabolite concentrations: estimation of post-mortem intervals based on in situ 1H-MRS of the brain

Knowledge of the time interval from death (post-mortem interval, PMI) has an enormous legal, criminological and psychological impact. Aiming to find an objective method for the determination of PMIs in forensic medicine, 1H-MR spectroscopy (1H-MRS) was used in a sheep head model to follow changes in brain metabolite concentrations after death. Following the characterization of newly observed metabolites (Ith et al., Magn. Reson. Med. 2002; 5: 915-920), the full set of acquired spectra was analyzed statistically to provide a quantitative estimation of PMIs with their respective confidence limits. In a first step, analytical mathematical functions are proposed to describe the time courses of 10 metabolites in the decomposing brain up to 3 weeks post-mortem. Subsequently, the inverted functions are used to predict PMIs based on the measured metabolite concentrations. Individual PMIs calculated from five different metabolites are then pooled, being weighted by their inverse variances. The predicted PMIs from all individual examinations in the sheep model are compared with known true times. In addition, four human cases with forensically estimated PMIs are compared with predictions based on single in situ MRS measurements. Interpretation of the individual sheep examinations gave a good correlation up to 250 h post-mortem, demonstrating that the predicted PMIs are consistent with the data used to generate the model. Comparison of the estimated PMIs with the forensically determined PMIs in the four human cases shows an adequate correlation. Current PMI estimations based on forensic methods typically suffer from uncertainties in the order of days to weeks without mathematically defined confidence information. In turn, a single 1H-MRS measurement of brain tissue in situ results in PMIs with defined and favorable confidence intervals in the range of hours, thus offering a quantitative and objective method for the determination of PMIs.

Microscopic wire guide-based orotracheal mouse intubation: description, evaluation and comparison with transillumination

Airway access is needed for a number of experimental animal models, and the majority of animal research is based on mouse models. Anatomical conditions in mice are small, and the narrow glottic opening allows intubation only with a subtle technique. We therefore developed a microscopic endotracheal intubation method with a wire guide technique in mice anaesthetized with halothane in oxygen. The mouse is hung perpendicularly with its incisors on a thread fixed on a vertical plate. The tongue is placed with a pair of forceps between the left hand's thumb and forefinger and slightly pulled, while the neck and thorax are positioned using the third and fourth fingers. By doing so, the neck can be slightly stretched, which allows optimal visualization of the larynx and the vocal cords. To ensure a safe intubation, a fine wire guide is placed under vision between the vocal cords and advanced about 5 mm into the trachea. An intravenous 22G x 1 in. plastic or Teflon catheter is guided over this wire. In a series of 41 mice, between 21 and 38 g, the success rate for the first intubation attempt was >95%. Certainty of the judgement procedure was 100% and success rate was higher using the described method when compared with a transillumination method in a further series. The technique is safe, less invasive than tracheostomy and suitable for controlled ventilation and pulmonary substance application.

A fuzzy risk attitude classification based on prospect theory

Traditional methods do not actually measure peoples’ risk attitude naturally and precisely. Therefore, a fuzzy risk attitude classification method is developed. Since the prospect theory is usually considered as an effective model of decision making, the personalized parameters in prospect theory are firstly fuzzified to distinguish people with different risk attitudes, and then a fuzzy classification database schema is applied to calculate the exact value of risk value attitude and risk be- havior attitude. Finally, by applying a two-hierarchical clas- sification model, the precise value of synthetical risk attitude can be acquired.

Evaluation of a novel photography-based home assessment protocol for identification of environmental risk factors for falls in elderly persons

PRINCIPLES To evaluate the validity and feasibility of a novel photography-based home assessment (PhoHA) protocol, as a possible substitute for on-site home assessment (OsHA). METHODS A total of 20 patients aged ≥65 years who were hospitalised in a rehabilitation centre for musculoskeletal disorders affecting mobility participated in this prospective validation study. For PhoHA, occupational therapists rated photographs and measurements of patients' homes provided by patients' confidants. For OsHA, occupational therapists conducted a conventional home visit. RESULTS Information obtained by PhoHA was 79.1% complete (1,120 environmental factors identified by PhoHA vs 1416 by OsHA). Of the 1,120 factors, 749 had dichotomous (potential hazards) and 371 continuous scores (measurements with tape measure). Validity of PhoHA to potential hazards was good (sensitivity 78.9%, specificity 84.9%), except for two subdomains (pathways, slippery surfaces). Pearson's correlation coefficient for the validity of measurements was 0.87 (95% confidence interval [CI 0.80-0.92, p <0.001). Agreement between methods was 0.52 (95%CI 0.34-0.67, p <0.001, Cohen's kappa coefficient) for dichotomous and 0.86 (95%CI 0.79-0.91, p <0.001, intraclass correlation coefficient) for continuous scores. Costs of PhoHA were 53.0% lower than those of OsHA (p <0.001). CONCLUSIONS PhoHA has good concurrent validity for environmental assessment if instructions for confidants are improved. PhoHA is potentially a cost-effective method for environmental assessment.

More volunteers in football clubs. An evaluation of a method to increase the number of volunteers

An increasing number of clubs experience difficulties in recruiting and retaining sufficient numbers of volunteers to manage and staff their clubs (Lamprecht, Fischer, & Stamm, 2012). In order to facilitate volunteer recruitment, sport clubs need a specific strategy to recruit and retain volunteers for both formal positions and ad hoc tasks. Therefore, the intervention “More Volunteers in Football Clubs” was designed and its impact was evaluated in detail. The question this evaluation research wants to address is: Can football clubs recruit and retain volunteers successfully by implementing the intervention “More Volunteers in Football Clubs”? The designed intervention is based on the different expectations and needs of volunteers, as well as non-profit human resource management and organisational development management, with a strong emphasis on club-specific counseling and support. Task forces of the twelve participating football clubs attended four workshops in which they received tailor made counseling to reach the desired number of volunteers. The intervention has been implemented and its effectiveness tested in cooperation with the Swiss Football Federation with twelve Swiss football clubs following a pretest, intervention, posttest design Data have been gathered and analysed using a combination of qualitative and quantitative methods. Outcome measurements are: volunteer rate, number of recruited volunteers, number of filled volunteer positions and volunteer satisfaction. Four months after the intervention all clubs that completed the proposed intervention were successful in recruiting the desired number of volunteers. Further, all participating clubs found the intervention helpful and would recommend other clubs to participate as well. With the development of this practical intervention a solution for football clubs is provided to overcome the difficulties in recruiting and retaining sufficient numbers of volunteers. Lamprecht, M., Fischer, A., & Stamm, H.-P. (2012). Sportvereine in der Schweiz. Strukturen, Leistungen, Herausforderungen. Zürich, Switzerland: Seismo.

Evaluation of farm-level parameters derived from animal movements for use in risk-based surveillance programmes of cattle in Switzerland

BACKGROUND: This study focused on the descriptive analysis of cattle movements and farm-level parameters derived from cattle movements, which are considered to be generically suitable for risk-based surveillance systems in Switzerland for diseases where animal movements constitute an important risk pathway. METHODS: A framework was developed to select farms for surveillance based on a risk score summarizing 5 parameters. The proposed framework was validated using data from the bovine viral diarrhoea (BVD) surveillance programme in 2013. RESULTS: A cumulative score was calculated per farm, including the following parameters; the maximum monthly ingoing contact chain (in 2012), the average number of animals per incoming movement, use of mixed alpine pastures and the number of weeks in 2012 a farm had movements registered. The final score for the farm depended on the distribution of the parameters. Different cut offs; 50, 90, 95 and 99%, were explored. The final scores ranged between 0 and 5. Validation of the scores against results from the BVD surveillance programme 2013 gave promising results for setting the cut off for each of the five selected farm level criteria at the 50th percentile. Restricting testing to farms with a score ≥ 2 would have resulted in the same number of detected BVD positive farms as testing all farms, i.e., the outcome of the 2013 surveillance programme could have been reached with a smaller survey. CONCLUSIONS: The seasonality and time dependency of the activity of single farms in the networks requires a careful assessment of the actual time period included to determine farm level criteria. However, selecting farms in the sample for risk-based surveillance can be optimized with the proposed scoring system. The system was validated using data from the BVD eradication program. The proposed method is a promising framework for the selection of farms according to the risk of infection based on animal movements.