The B-method, as well as its offspring Event-B, are both formal methods used for the development of critical computer systems whose correctness has to be formally established. Event-B now spurs the RODIN platform, which is based on Eclipse and can be extended via plug-ins. In this paper, we present two such plug-ins; one for animation and one for interactive proof support, called a disprover. B...

UML is the main modeling language used in model-driven development (MDD). In many cases, UMLbased modeling systems need to be extended by plug-ins to support different modeling approaches. This paper proposes a conceptual framework for model-driven development of plug-ins, which enables reuse of UML modeling capabilities for defining executable plug-in models. This approach suggests that UML-ba...

Sub ject-specific models of the musculoskeletal system are ca­ pable of accurately estimating function and loads and show promise for clinical use. However, creating subject-specific models is time-consuming and requires high levels of expertise. To address these issues, we have developed the open source Musculoskeletal Atlas Project (MAP) Client software. The MAP Client provides a user-friendl...

Feasibilities of heat and cold storage technologies for vehicles were discussed for improvement of vehicle fuel efficiency. Energy performance of a plug-in cold thermal energy storage system, in which ice slurry is produced at a stationary chiller and charged into a tank in a vehicle for cabin and cargo cooling, was discussed. Energy balance of the plug-in system was compared with onboard heat ...

Eclipse is an integrated development environment that can be extended with plug-ins. Thanks to Eclipse’s success, a diverse community has been established with members coming from industry, opensource projects, and others, and a marketplace with more than 1.700 different plug-ins developed. Hence, the question arises how this marketplace is composed: Who contributes plug-ins? Which plug-ins are...

This paper details iLearn, a plug-in which allows recorded audio to be tagged and subsequently retrieved using streaming and the familiar environment of Apple’s iTunes. In particular, the plug-in allows multiple sections within a recording to be indexed and associated with a unique timestamp. Therefore, students can search for a particular keyword within a one hour lecture (or other lengthy aud...

We study plug-in estimators of conditional expectations and probabilities, and we provide a systematic analysis of their rates of convergence. The plug-in approach is particularly useful in this setting since it introduces a natural link to VCand empirical process theory. We make use of this link to derive rates of convergence that hold uniformly over large classes of functions and sets, and un...

A 60-year-old woman was referred for ileo-colonoscopy because of suspected Crohn’s disease in the terminal ileum. During biopsy in the cecum, a perforation occurred at the biopsy site. We inserted the biopsy forceps through the opening of the perforation, and managed to collect some fatty tissue from the peritoneal cavity, most probably from the nearby mesenteric fat, and pulled it back through...

We present a nonparametric method for galaxy clustering in astronomical sky surveys. We show that the cosmological definition of clusters of galaxies is equivalent to density contour clusters (Hartigan , 1975) Sc = {f > c} where f is a probability density function. The plug-in estimator Ŝc = {f̂ > c} is used to estimate Sc where f̂ is the multivariate kernel density estimator. To choose the optim...

Plugs, i.e. droplets formed in a microchannel, may revolutionize microfluidic cell-based assays. This study describes a microdevice that handles nanolitre-scale liquid plugs for the preparation of various culture setups and subsequent cellular assays. An important feature of this mode of liquid operation is that the recirculation flow generated inside the plug promotes the rapid mixing of diffe...