Pinocchio: Bringing Reflection to Life with First-Class Interpreters

To support development tools like debuggers, runtime systems need to provide a meta-programming interface to alter their semantics and access internal data. Reflective capabilities are typically fixed by the Virtual Machine (VM). Unanticipated reflective features must either be simulated by complex program transformations, or they require the development of a specially tailored VM. We propose a novel approach to behavioral reflection that eliminates the barrier between applications and the VM by manipulating an explicit tower of first-class interpreters. Pinocchio is a proof-of-concept implementation of our approach which enables radical changes to the interpretation of programs by explicitly instantiating subclasses of the base interpreter. We illustrate the design of Pinocchio through non-trivial examples that extend runtime semantics to support debugging, parallel debugging, and back-in-time object-flow debugging. Although performance is not yet addressed, we also discuss numerous opportunities for optimization, which we believe will lead to a practical approach to behavioral reflection.

A dose-controlled system for air-liquid interface cell exposure and application to zinc oxide nanoparticles

BACKGROUND: Engineered nanoparticles are becoming increasingly ubiquitous and their toxicological effects on human health, as well as on the ecosystem, have become a concern. Since initial contact with nanoparticles occurs at the epithelium in the lungs (or skin, or eyes), in vitro cell studies with nanoparticles require dose-controlled systems for delivery of nanoparticles to epithelial cells cultured at the air-liquid interface. RESULTS: A novel air-liquid interface cell exposure system (ALICE) for nanoparticles in liquids is presented and validated. The ALICE generates a dense cloud of droplets with a vibrating membrane nebulizer and utilizes combined cloud settling and single particle sedimentation for fast (~10 min; entire exposure), repeatable (<12%), low-stress and efficient delivery of nanoparticles, or dissolved substances, to cells cultured at the air-liquid interface. Validation with various types of nanoparticles (Au, ZnO and carbon black nanoparticles) and solutes (such as NaCl) showed that the ALICE provided spatially uniform deposition (<1.6% variability) and had no adverse effect on the viability of a widely used alveolar human epithelial-like cell line (A549). The cell deposited dose can be controlled with a quartz crystal microbalance (QCM) over a dynamic range of at least 0.02-200 mug/cm(2). The cell-specific deposition efficiency is currently limited to 0.072 (7.2% for two commercially available 6-er transwell plates), but a deposition efficiency of up to 0.57 (57%) is possible for better cell coverage of the exposure chamber. Dose-response measurements with ZnO nanoparticles (0.3-8.5 mug/cm(2)) showed significant differences in mRNA expression of pro-inflammatory (IL-8) and oxidative stress (HO-1) markers when comparing submerged and air-liquid interface exposures. Both exposure methods showed no cellular response below 1 mug/cm(2 )ZnO, which indicates that ZnO nanoparticles are not toxic at occupationally allowed exposure levels. CONCLUSION: The ALICE is a useful tool for dose-controlled nanoparticle (or solute) exposure of cells at the air-liquid interface. Significant differences between cellular response after ZnO nanoparticle exposure under submerged and air-liquid interface conditions suggest that pharmaceutical and toxicological studies with inhaled (nano-)particles should be performed under the more realistic air-liquid interface, rather than submerged cell conditions.

A mixed-integer linear programming approach to the optimization of event-bus schedules: a scheduling application in the tourism sector

This paper deals with “The Enchanted Journey,” which is a daily event tour booked by Bollywood-film fans. During the tour, the participants visit original sites of famous Bollywood films at various locations in Switzerland; moreover, the tour includes stops for lunch and shopping. Each day, up to five buses operate the tour. For operational reasons, however, two or more buses cannot stay at the same location simultaneously. Further operative constraints include time windows for all activities and precedence constraints between some activities. The planning problem is how to compute a feasible schedule for each bus. We implement a two-step hierarchical approach. In the first step, we minimize the total waiting time; in the second step, we minimize the total travel time of all buses. We present a basic formulation of this problem as a mixed-integer linear program. We enhance this basic formulation by symmetry-breaking constraints, which reduces the search space without loss of generality. We report on computational results obtained with the Gurobi Solver. Our numerical results show that all relevant problem instances can be solved using the basic formulation within reasonable CPU time, and that the symmetry-breaking constraints reduce that CPU time considerably.

Spotter: towards a unified search interface in IDEs

Program comprehension requires developers to reason about many kinds of highly interconnected software entities. Dealing with this reality prompts developers to continuously intertwine searching and navigation. Nevertheless, most integrated development environments (IDEs) address searching by means of many disconnected search tools, making it difficult for developers to reuse search results produced by one search tool as input for another search tool. This forces developers to spend considerable time manually linking disconnected search results. To address this issue we propose Spotter, a model for expressing and combining search tools in a unified way. The current implementation shows that Spotter can unify a wide range of search tools. More information about Spotter can be found at scg.unibe.ch/research/moldablespotter

Ease of Application of Medical Compression-stocking Systems for the Treatment of Venous Ulcers

OBJECTIVE: To evaluate the ease of application of two-piece, graduated, compression systems for the treatment of venous ulcers. METHODS: Four kits used to provide limb compression in the management of venous ulcers were evaluated. These have been proven to be non-inferior to various types of bandages in clinical trials. The interface pressure exerted above the ankle by the under-stocking and the complete compression system and the force required to pull the over-stocking off were assessed in vitro. Ease of application of the four kits was evaluated in four sessions by five nurses who put stockings on their own legs in a blinded manner. They expressed their assessment of the stockings using a series of visual analogue scales (VASs). RESULTS: The Sigvaris Ulcer X((R)) kit provided a mean interface pressure of 46 mmHg and required a force in the range of 60-90 N to remove it. The Mediven((R)) ulcer kit exerted the same pressure but required force in the range of 150-190 N to remove it. Two kits (SurePress((R)) Comfort and VenoTrain((R)) Ulcertec) exerted a mean pressure of only 25 mmHg and needed a force in the range of 100-160 N to remove them. Nurses judged the Ulcer X and SurePress kits easiest to apply. Application of the VenoTrain kit was found slightly more difficult. The Mediven kit was judged to be difficult to use. CONCLUSIONS: Comparison of ease of application of compression-stocking kits in normal legs revealed marked differences between them. Only one system exerted a high pressure and was easy to apply. Direct comparison of these compression kits in leg-ulcer patients is required to assess whether our laboratory findings correlate with patient compliance and ulcer healing.

Peri-implant inflammation defined by the implant-abutment interface

An implant-abutment interface at the alveolar bone crest is associated with sustained peri-implant inflammation; however, whether magnitude of inflammation is proportionally dependent upon interface position remains unknown. This study compared the distribution and density of inflammatory cells surrounding implants with a supracrestal, crestal, or subcrestal implant-abutment interface. All implants developed a similar pattern of peri-implant inflammation: neutrophilic polymorphonuclear leukocytes (neutrophils) maximally accumulated at or immediately coronal to the interface. However, peri-implant neutrophil accrual increased progressively as the implant-abutment interface depth increased, i.e., subcrestal interfaces promoted a significantly greater maximum density of neutrophils than did supracrestal interfaces (10,512 +/- 691 vs. 2398 +/- 1077 neutrophils/mm(2)). Moreover, inflammatory cell accumulation below the original bone crest was significantly correlated with bone loss. Thus, the implant-abutment interface dictates the intensity and location of peri-implant inflammatory cell accumulation, a potential contributing component in the extent of implant-associated alveolar bone loss.

Model-Centric, Context-Aware Software Adaptation

Software must be constantly adapted to changing requirements. The time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation to long-term, coarse-grained evolution. Fine-grained, dynamic and context-dependent adaptations can be particularly difficult to realize in long-lived, large-scale software systems. We argue that, in order to effectively and efficiently deploy such changes, adaptive applications must be built on an infrastructure that is not just model-driven, but is both model-centric and context-aware. Specifically, this means that high-level, causally-connected models of the application and the software infrastructure itself should be available at run-time, and that changes may need to be scoped to the run-time execution context. We first review the dimensions of software adaptation and evolution, and then we show how model-centric design can address the adaptation needs of a variety of applications that span these dimensions. We demonstrate through concrete examples how model-centric and context-aware designs work at the level of application interface, programming language and runtime. We then propose a research agenda for a model-centric development environment that supports dynamic software adaptation and evolution.

Context-Oriented Programming

Context-dependent behavior is becoming increasingly important for a wide range of application domains, from pervasive computing to common business applications. Unfortunately, mainstream programming languages do not provide mechanisms that enable software entities to adapt their behavior dynamically to the current execution context. This leads developers to adopt convoluted designs to achieve the necessary runtime flexibility. We propose a new programming technique called Context-oriented Programming (COP) which addresses this problem. COP treats context explicitly, and provides mechanisms to dynamically adapt behavior in reaction to changes in context, even after system deployment at runtime. In this paper we lay the foundations of COP, show how dynamic layer activation enables multi-dimensional dispatch, illustrate the application of COP by examples in several language extensions, and demonstrate that COP is largely independent of other commitments to programming style.

A versatile gas interface for routine radiocarbon analysis with a gas ion source

In 2010 more than 600 radiocarbon samples were measured with the gas ion source at the MIni CArbon DAting System (MICADAS) at ETH Zurich and the number of measurements is rising quickly. While most samples contain less than 50 mu g C at present, the gas ion source is attractive as well for larger samples because the time-consuming graphitization is omitted. Additionally, modern samples are now measured down to 5 per-mill counting statistics in less than 30 min with the recently improved gas ion source. In the versatile gas handling system, a stepping-motor-driven syringe presses a mixture of helium and sample CO2 into the gas ion source, allowing continuous and stable measurements of different kinds of samples. CO2 can be provided in four different ways to the versatile gas interface. As a primary method. CO2 is delivered in glass or quartz ampoules. In this case, the CO2 is released in an automated ampoule cracker with 8 positions for individual samples. Secondly, OX-1 and blank gas in helium can be provided to the syringe by directly connecting gas bottles to the gas interface at the stage of the cracker. Thirdly, solid samples can be combusted in an elemental analyzer or in a thermo-optical OC/EC aerosol analyzer where the produced CO2 is transferred to the syringe via a zeolite trap for gas concentration. As a fourth method, CO2 is released from carbonates with phosphoric acid in septum-sealed vials and loaded onto the same trap used for the elemental analyzer. All four methods allow complete automation of the measurement, even though minor user input is presently still required. Details on the setup, versatility and applications of the gas handling system are given. (C) 2012 Elsevier B.V. All rights reserved.

Exposure of silver-nanoparticles and silver-ions to lung cells in vitro at the air-liquid interface

BACKGROUND: Due to its antibacterial properties, silver (Ag) has been used in more consumer products than any other nanomaterial so far. Despite the promising advantages posed by using Ag-nanoparticles (NPs), their interaction with mammalian systems is currently not fully understood. An exposure route via inhalation is of primary concern for humans in an occupational setting. Aim of this study was therefore to investigate the potential adverse effects of aerosolised Ag-NPs using a human epithelial airway barrier model composed of A549, monocyte derived macrophage and dendritic cells cultured in vitro at the air-liquid interface. Cell cultures were exposed to 20 nm citrate-coated Ag-NPs with a deposition of 30 and 278 ng/cm2 respectively and incubated for 4 h and 24 h. To elucidate whether any effects of Ag-NPs are due to ionic effects, Ag-Nitrate (AgNO3) solutions were aerosolised at the same molecular mass concentrations. RESULTS: Agglomerates of Ag-NPs were detected at 24 h post exposure in vesicular structures inside cells but the cellular integrity was not impaired upon Ag-NP exposures. Minimal cytotoxicity, by measuring the release of lactate dehydrogenase, could only be detected following a higher concentrated AgNO3-solution. A release of pro-inflammatory markers TNF-alpha and IL-8 was neither observed upon Ag-NP and AgNO3 exposures as well as was not affected when cells were pre-stimulated with lipopolysaccharide (LPS). Also, an induction of mRNA expression of TNF-alpha and IL-8, could only be observed for the highest AgNO3 concentration alone or even significantly increased when pre-stimulated with LPS after 4 h. However, this effect disappeared after 24 h. Furthermore, oxidative stress markers (HMOX-1, SOD-1) were expressed after 4 h in a concentration dependent manner following AgNO3 exposures only. CONCLUSIONS: With an experimental setup reflecting physiological exposure conditions in the human lung more realistic, the present study indicates that Ag-NPs do not cause adverse effects and cells were only sensitive to high Ag-ion concentrations. Chronic exposure scenarios however, are needed to reveal further insight into the fate of Ag-NPs after deposition and cell interactions.

Liquid–Vapor Interface of Formic Acid Solutions in Salt Water: A Comparison of Macroscopic Surface Tension and Microscopic in Situ X-ray Photoelectron Spectroscopy Measurements

The liquid–vapor interface is difficult to access experimentally but is of interest from a theoretical and applied point of view and has particular importance in atmospheric aerosol chemistry. Here we examine the liquid–vapor interface for mixtures of water, sodium chloride, and formic acid, an abundant chemical in the atmosphere. We compare the results of surface tension and X-ray photoelectron spectroscopy (XPS) measurements over a wide range of formic acid concentrations. Surface tension measurements provide a macroscopic characterization of solutions ranging from 0 to 3 M sodium chloride and from 0 to over 0.5 mole fraction formic acid. Sodium chloride was found to be a weak salting out agent for formic acid with surface excess depending only slightly on salt concentration. In situ XPS provides a complementary molecular level description about the liquid–vapor interface. XPS measurements over an experimental probe depth of 51 Å gave the C 1s to O 1s ratio for both total oxygen and oxygen from water. XPS also provides detailed electronic structure information that is inaccessible by surface tension. Density functional theory calculations were performed to understand the observed shift in C 1s binding energies to lower values with increasing formic acid concentration. Part of the experimental −0.2 eV shift can be assigned to the solution composition changing from predominantly monomers of formic acid to a combination of monomers and dimers; however, the lack of an appropriate reference to calibrate the absolute BE scale at high formic acid mole fraction complicates the interpretation. Our data are consistent with surface tension measurements yielding a significantly more surface sensitive measurement than XPS due to the relatively weak propensity of formic acid for the interface. A simple model allowed us to replicate the XPS results under the assumption that the surface excess was contained in the top four angstroms of solution.

Long Distance Electron Transfer at the Metal/Alkanethiol/Ionic Liquid Interface

The rate constants of simple electron transfer (ET) reactions in room temperature ionic liquids (ILs) available now are rather high, typically at the edge of experimental accuracy. To consider ET phenomena in these media in view of theory developed earlier for molecular solvents, it is crucial to provide quantitative comparison of experimental kinetic data for certain reactions. We report this comparison for ferrocene/ferrocenium reaction. The ET distance is fixed by Au surface modification by alkanethiol self-assembled monolayers, which were characterized by in situ scanning tunneling microscopy. The dependence of ln kapp on barrier thickness in the range of ca. 6–20 Å is linear, with a slope typical for the same plots in aqueous media. This result confirms diabatic mode of Fc oxidation at long distance. The data for shorter ET distances point to the adiabatic regime of ET at a bare gold surface, although more detailed computational studies are required to justify this conclusion.

Multiple roles of complement MASP-1 at the interface of innate immune response and coagulation

MASP-1 is a versatile serine protease that cleaves a number of substrates in human blood. In recent years it became evident that besides playing a crucial role in complement activation MASP-1 also triggers other cascade systems and even cells to mount a more powerful innate immune response. In this review we summarize the latest discoveries about the diverse functions of this multi-faceted protease. Recent studies revealed that among MBL-associated serine proteases, MASP-1 is the one responsible for triggering the lectin pathway via its ability to rapidly autoactivate then cleave MASP-2, and possibly MASP-3. The crystal structure of MASP-1 explains its more relaxed substrate specificity compared to the related complement enzymes. Due to the relaxed specificity, MASP-1 interacts with the coagulation cascade and the kinin generating system, and it can also activate endothelial cells eliciting pro-inflammatory signaling.