Integrated model-driven dashboard development

Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach for dashboard development that is model-driven and can be integrated with the business performance models. We adopt the business performance modeling framework, and we extend it in order to capture the reporting aspect of the business operation. We describe models that can effectively represent all the elements necessary for the business performance reporting process, and the interactions among them. We demonstrate how all these models can be combined and automatically generate the final solution. We further extend the proposed framework with mechanisms that can detect changes in the models and incrementally update the deployed solutions. Finally, we discuss our experience from the application of our technique in a real-world scenario. This case study shows that our technique can be efficiently applied to and handle changes in the underlying business models, delivering significant benefits in terms of both development time and flexibility.     

Buchbesprechungen

Ohne Zusammenfassung     

Experiences from Exporting Major Proof Assistant Libraries

The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc/MMT. Each translation presented great theoretical, technical, and social challenges, some universal and some system-specific, some solvable and some still open. In this paper, we survey these challenges and compare and evaluate the solutions we chose. We believe similar library translations will be an essential part of any future system interoperability solution, and our experiences will prove valuable to others undertaking such efforts.

     

Valuation of online social networks taking into account users’ interconnectedness

Online social networks have been gaining increasing economic importance in light of the rising number of their users. Numerous recent acquisitions priced at enormous amounts have illustrated this development and revealed the need for adequate business valuation models. The value of an online social network is largely determined by the value of its users, the relationships between these users, and the resulting network effects. Therefore, the interconnectedness of a user within the network has to be considered explicitly to get a reasonable estimate for its economic value. Established standard business valuation models, however, do not account for these aspects sufficiently. Thus, we propose an economic model for the valuation of online social networks, which takes into account the users’ interconnectedness within the network. Furthermore, we analyze different centrality measures, which can be used to quantify users’ interconnectedness in online social networks and propose a measure which is based on the PageRank-algorithm. Finally, the practical application of the model is illustrated by an example of the European online social network XING.com.     

X-ray Fluorescence Uptake Measurement of Functionalized Gold Nanoparticles in Tumor Cell Microsamples

Quantitative cellular in vitro nanoparticle uptake measurements are possible with a large number of different techniques, however, all have their respective restrictions. Here, we demonstrate the application of synchrotron-based X-ray fluorescence imaging (XFI) on prostate tumor cells, which have internalized differently functionalized gold nanoparticles. Total nanoparticle uptake on the order of a few hundred picograms could be conveniently observed with microsamples consisting of only a few hundreds of cells. A comparison with mass spectroscopy quantification is provided, experimental results are both supported and sensitivity limits of this XFI approach extrapolated by Monte-Carlo simulations, yielding a minimum detectable nanoparticle mass of just 5 pg. This study demonstrates the high sensitivity level of XFI, allowing non-destructive uptake measurements with very small microsamples within just seconds of irradiation time.     

Treatment of Stress Urinary Incontinence with Muscle Stem Cells and Stem Cell Components: Chances,Challenges and Future Prospects

Urinary incontinence (UI) is a major problem in health care and more than 400 million people worldwide suffer from involuntary loss of urine. With an increase in the aging population, UI is likely to become even more prominent over the next decades and the economic burden is substantial. Among the different subtypes of UI, stress urinary incontinence (SUI) is the most prevalent and focus of this review. The main underlying causes for SUI are pregnancy and childbirth, accidents with direct trauma to the pelvis or medical treatments that affect the pelvic floor, such as surgery or irradiation. Conservative approaches for the treatment of SUI are pelvic physiotherapy, behavioral and lifestyle changes, and the use of pessaries. Current surgical treatment options include slings, colposuspensions, bulking agents and artificial urinary sphincters. These treatments have limitations with effectiveness and bear the risk of long-term side effects. Furthermore, surgical options do not treat the underlying pathophysiological causes of SUI. Thus, there is an urgent need for alternative treatments, which are effective, minimally invasive and have only a limited risk for adverse effects. Regenerative medicine is an emerging field, focusing on the repair, replacement or regeneration of human tissues and organs using precursor cells and their components. This article critically reviews recent advances in the therapeutic strategies for the management of SUI and outlines future possibilities and challenges.     

An Engineered sgsh Mutant Zebrafish Recapitulates Molecular and Behavioural Pathobiology of Sanfilippo Syndrome A/MPS IIIA

Mucopolysaccharidosis IIIA (MPS IIIA, Sanfilippo syndrome type A), a paediatric neurological lysosomal storage disease, is caused by impaired function of the enzyme N-sulfoglucosamine sulfohydrolase (SGSH) resulting in impaired catabolism of heparan sulfate glycosaminoglycan (HS GAG) and its accumulation in tissues. MPS IIIA represents a significant proportion of childhood dementias. This condition generally leads to patient death in the teenage years, yet no effective therapy exists for MPS IIIA and a complete understanding of the mechanisms of MPS IIIA pathogenesis is lacking. Here, we employ targeted CRISPR/Cas9 mutagenesis to generate a model of MPS IIIA in the zebrafish, a model organism with strong genetic tractability and amenity for high-throughput screening. The sgsh^Δex5−6 zebrafish mutant exhibits a complete absence of Sgsh enzymatic activity, leading to progressive accumulation of HS degradation products with age. sgsh^Δex5−6 zebrafish faithfully recapitulate diverse CNS-specific features of MPS IIIA, including neuronal lysosomal overabundance, complex behavioural phenotypes, and profound, lifelong neuroinflammation. We further demonstrate that neuroinflammation in sgsh^Δex5−6 zebrafish is largely dependent on interleukin-1β and can be attenuated via the pharmacological inhibition of Caspase-1, which partially rescues behavioural abnormalities in sgsh^Δex5−6 mutant larvae in a context-dependent manner. We expect the sgsh^Δex5−6 zebrafish mutant to be a valuable resource in gaining a better understanding of MPS IIIA pathobiology towards the development of timely and effective therapeutic interventions.     

Regional mass flux balancing for controlling gentle soil remediation operations

Extraction of heavy metals by accumulating plants is a method which is currently in development for the "gentle" remediation of contaminated agricultural soils (phytoremediation, see [2]). Areal contaminant mass flux balances are basic criteria for the design of such remediations and their control. A framework for the integration of contaminant balances relating the field scale of remediation with the regional scale of soil monitoring networks is provided by the recently developed method PROTERRA [3]. The objective of the study presented in this paper was to test the suitability of PROTERRA for planning and monitoring gentle soil remediations. For this purpose we applied the PROTERRA method to the contaminated agricultural land in and around Dornach, Switzerland, to assess copper flux balances.The calculations showed that atmospheric deposition and the application of pesticides and manure are important pathways for the inputs of copper. The copper export with a special maize cultivar accumulating heavy metals would be about three times higher than the average metal export with crops. A moderate increase of sewage sludge application would lead to a substantial increase of the copper input. Decisions to remediate the soil should take the uncertainty of mass flux balances both on field scale as well as on regional scale into account. Therefore, an important need of further development of the PROTERRA method is the integration of uncertainty analysis on both scales.     

Synchronization in complex networks of phase oscillators: A survey

The emergence of synchronization in a network of coupled oscillators is a fascinating subject of multidisciplinary research. This survey reviews the vast literature on the theory and the applications of complex oscillator networks. We focus on phase oscillator models that are widespread in real-world synchronization phenomena, that generalize the celebrated Kuramoto model, and that feature a rich phenomenology. We review the history and the countless applications of this model throughout science and engineering. We justify the importance of the widespread coupled oscillator model as a locally canonical model and describe some selected applications relevant to control scientists, including vehicle coordination, electric power networks, and clock synchronization. We introduce the reader to several synchronization notions and performance estimates. We propose analysis approaches to phase and frequency synchronization, phase balancing, pattern formation, and partial synchronization. We present the sharpest known results about synchronization in networks of homogeneous and heterogeneous oscillators, with complete or sparse interconnection topologies, and in finite-dimensional and infinite-dimensional settings. We conclude by summarizing the limitations of existing analysis methods and by highlighting some directions for future research.     

pROST: a smoothed \ell _p-norm robust online subspace tracking method for background subtraction in video

An increasing number of methods for background subtraction use Robust PCA to identify sparse foreground objects. While many algorithms use the \(\ell _1\) -norm as a convex relaxation of the ideal sparsifying function, we approach the problem with a smoothed \(\ell _p\) -quasi-norm and present pROST, a method for robust online subspace tracking. The algorithm is based on alternating minimization on manifolds. Implemented on a graphics processing unit, it achieves realtime performance at a resolution of \(160 \times 120\) . Experimental results on a state-of-the-art benchmark for background subtraction on real-world video data indicate that the method succeeds at a broad variety of background subtraction scenarios, and it outperforms competing approaches when video quality is deteriorated by camera jitter.