Summary of the 7th international workshop on Models@run.time

The Models@run.time (MRT) workshop series offers a discussion forum for the rising need to leverage modeling techniques for the software of the future. The main goals are to explore the benefits of models@run.time and to foster collaboration and cross-fertilization between different research communities like for example like model-driven engineering (e.g. MODELS), self-adaptive/autonomous systems communities (e.g., SEAMS and ICAC), the control theory community and the artificial intelligence community. © 2012 Authors.

Reduction of circulating soluble Flt-1 alleviates preeclampsia-like symptoms in a mouse model

Preeclampsia (PE) is characterized by widespread endothelial damage with hypertension, proteinuria, glomeruloendotheliosis and elevated soluble Flt-1 (sFlt-1), a natural occurring antagonist of vascular endothelial growth factor (VEGF). Cancer patients receiving anti-VEGF therapy exhibit similar symptoms. We suggested that a decrease in circulating sFlt-1 would alleviate the symptoms associated with PE. Adenoviral (Adv) overexpression of sFlt-1 induced proteinuria, caused glomerular damage and increase in blood pressure in female Balb/c mice. Circulating level of sFlt-1 above 50 ng/ml plasma induced severe vascular damage and glomerular endotheliosis. Albumin concentration in urine was elevated up to 30-fold, compared to control AdvGFP-treated animals. The threshold of kidney damage was in the range of 20-30 ng/ml sFlt-1 in plasma (8-15 ng/ml in urine). Co-administration of AdvsFlt-1 with AdvVEGF to neutralize circulating sFlt-1 resulted in more than a 70% reduction in free sFlt-1 in plasma, more than 80% reduction in urine and rescued the damaging effect of sFlt-1 on the kidneys. This demonstrates that below a critical threshold sFlt-1 fails to elicit damage to the fenestrated endothelium and that co-expression of VEGF is able to rescue effects mediated by sFlt-1 overexpression.

Quantization of the Inhomogeneous Bianchi I model:quasi-Heisenberg picture

The quantization scheme is suggested for a spatially inhomogeneous 1+1 Bianchi I model. The scheme consists in quantization of the equations of motion and gives the operator (so called quasi-Heisenberg) equations describing explicit evolution of a system. Some particular gauge suitable for quantization is proposed. The Wheeler-DeWitt equation is considered in the vicinity of zero scale factor and it is used to construct a space where the quasi-Heisenberg operators act. Spatial discretization as a UV regularization procedure is suggested for the equations of motion.

Effect of Cu and Sn promotion on the catalytic deoxygenation of model and algal lipids to fuel-like hydrocarbons over supported Ni catalysts

The ability of Cu and Sn to promote the performance of a 20% Ni/Al2O3 catalyst in the deoxygenation of lipids to fuel-like hydrocarbons was investigated using model triglyceride and fatty acid feeds, as well as algal lipids. In the semi-batch deoxygenation of tristearin at 260 °C a pronounced promotional effect was observed, a 20% Ni-5% Cu/Al2O3 catalyst affording both higher conversion (97%) and selectivity to C10-C17 alkanes (99%) in comparison with unpromoted 20% Ni/Al2O3 (27% conversion and 87% selectivity to C10-C17). In the same reaction at 350 °C, a 20% Ni-1% Sn/Al2O3 catalyst afforded the best results, giving yields of C10-C17 and C17 of 97% and 55%, respectively, which contrasts with the corresponding values of 87 and 21% obtained over 20% Ni/Al2O3. Equally encouraging results were obtained in the semi-batch deoxygenation of stearic acid at 300 °C, in which the 20% Ni-5% Cu/Al2O3 catalyst afforded the highest yields of C10-C17 and C17. Experiments were also conducted at 260 °C in a fixed bed reactor using triolein − a model unsaturated triglyceride − as the feed. While both 20% Ni/Al2O3 and 20% Ni-5% Cu/Al2O3 achieved quantitative yields of diesel-like hydrocarbons at all reaction times sampled, the Cu-promoted catalyst exhibited higher selectivity to longer chain hydrocarbons, a phenomenon which was also observed in experiments involving algal lipids as the feed. Characterization of fresh and spent catalysts indicates that Cu enhances the reducibility of Ni and suppresses both cracking reactions and coke-induced deactivation.

Langevin dynamics, large deviations and instantons for the quasi-geostrophic model and two-dimensional Euler equations

We investigate a class of simple models for Langevin dynamics of turbulent flows, including the one-layer quasi-geostrophic equation and the two-dimensional Euler equations. Starting from a path integral representation of the transition probability, we compute the most probable fluctuation paths from one attractor to any state within its basin of attraction. We prove that such fluctuation paths are the time reversed trajectories of the relaxation paths for a corresponding dual dynamics, which are also within the framework of quasi-geostrophic Langevin dynamics. Cases with or without detailed balance are studied. We discuss a specific example for which the stationary measure displays either a second order (continuous) or a first order (discontinuous) phase transition and a tricritical point. In situations where a first order phase transition is observed, the dynamics are bistable. Then, the transition paths between two coexisting attractors are instantons (fluctuation paths from an attractor to a saddle), which are related to the relaxation paths of the corresponding dual dynamics. For this example, we show how one can analytically determine the instantons and compute the transition probabilities for rare transitions between two attractors.

The selective protection afforded by ebselen against lipid peroxidation in an ROS-dependent model of inflammation

The effects of an experimental model of hydrogen-peroxide-induced foot pad oedema on indices of oxidative damage to biomolecules have been investigated. We have demonstrated increased levels of fluorescent protein and lipid peroxides occurring in plasma at 24 and 48 h post-injection. In addition, a decrease in the degree of galactosylation of IgG was observed which kinetically related the degree of inflammation and to the increase in protein autofluorescence (a specific index of oxidative damage). The effects of ebselen, a novel organoselenium compound which protects against oxidative tissue injury in a glutathione-peroxidase-like manner, have also been examined in this model. Pretreatment of animals with a dose of 50 mg/kg ebselen afforded significant and selective protection against lipid peroxidation only. This effect may contribute to the anti-inflammatory effect of this agent in hydroperoxide-linked tissue damage.

Error-correcting codes on a Bethe-like lattice

We analyse Gallager codes by employing a simple mean-field approximation that distorts the model geometry and preserves important interactions between sites. The method naturally recovers the probability propagation decoding algorithm as a minimization of a proper free-energy. We find a thermodynamical phase transition that coincides with information theoretical upper-bounds and explain the practical code performance in terms of the free-energy landscape.

The effect of ageing on macrophage Toll-like receptor-mediated responses in the fight against pathogens

The cellular changes during ageing are incompletely understood yet immune system dysfunction is implicated in the age-related decline in health. The acquired immune system shows a functional decline in ability to respond to new pathogens whereas serum levels of cytokines are elevated with age. Despite these age-associated increases in circulating cytokines, the function of aged macrophages is decreased. Pathogen-associated molecular pattern receptors such as Toll-like receptors (TLRs) are vital in the response of macrophages to pathological stimuli. Here we review the evidence for defective TLR signalling in normal ageing. Gene transcription, protein expression and cell surface expression of members of the TLR family of receptors and co-effector molecules do not show a consistent age-dependent change across model systems. However, there is evidence for impaired downstream signalling events, including inhibition of positive and activation of negative modulators of TLR induced signalling events. In this paper we hypothesize that despite a poor inflammatory response via TLR activation, the ineffective clearance of pathogens by macrophages increases the duration of their activation and contributes to perpetuation of inflammatory responses and ageing.

Development of an in-vitro model system to investigate the mechanism of muscle protein catabolism induced by proteolysis-inducing factor

The mechanism of muscle protein catabolism induced by proteolysis-inducing factor, produced by cachexia-inducing murine and human tumours has been studied in vitro using C2C12 myoblasts and myotubes. In both myoblasts and myotubes protein degradation was enhanced by proteolysis-inducing factor after 24 h incubation. In myoblasts this followed a bell-shaped dose-response curve with maximal effects at a proteolysis-inducing factor concentration between 2 and 4 nM, while in myotubes increased protein degradation was seen at all concentrations of proteolysis-inducing factor up to 10 nM, again with a maximum of 4 nM proteolysis-inducing factor. Protein degradation induced by proteolysis-inducing factor was completely attenuated in the presence of cycloheximide (1 μM), suggesting a requirement for new protein synthesis. In both myoblasts and myotubes protein degradation was accompanied by an increased expression of the α-type subunits of the 20S proteasome as well as functional activity of the proteasome, as determined by the 'chymotrypsin-like' enzyme activity. There was also an increased expression of the 19S regulatory complex as well as the ubiquitin-conjugating enzyme (E214k), and in myotubes a decrease in myosin expression was seen with increasing concentrations of proteolysis-inducing factor. These results show that proteolysis-inducing factor co-ordinately upregulates both ubiquitin conjugation and proteasome activity in both myoblasts and myotubes and may play an important role in the muscle wasting seen in cancer cachexia. © 2002 Cancer Research UK.

The development of an in vivo model of drug-induced terminal differentiation of Leukaemic cells

The technique of growing human leukaemic cells in diffusion chambers was developed to enable chemicals to be assessed for their ability to induce terminal differentiation. HL-60 promyelocytic leukaemia cell growth, in a lucite chamber with a Millipore filter, was optimised by use of a lateral incision site. Chambers were constructed using 0.45um filters and contained 150ul of serum-free HL-60 cells at a density of 1x106 cells/ml. The chambers were implanted into CBA/Ca mice and spontaneous terminal differentiation of the cells to granulocytes was prevented by the use of serum-free medium. Under these conditions there was an initial growth lag of 72 hours and a logarithmic phase of growth for 96 hours; the cell number reached a plateau after 168 hours of culture in vivo. The amount of drug in the plasma of the animal and in chambers that had been implanted for 5 days, was determined after a single ip injection of equitoxic doses of N-methylformamide, N-ethylformamide, tetramethylurea, N-dibutylformamide, N-tetramethylbutylformamide and hexamethylenebisacetamide. Concentrations of both TMU and HMBA were obtained in the plasma and in the chamber which were pharmacologically effective for the induction of differentiation of HL-60 cells in vitro, that is 12mM TMU and 5mM HMBA. A 4 day regime of treatment of animals implanted with chambers demonstrated that TMU and HMBA induced terminal differentiation of 50% and 35%, respectively, of the implanted HL-60 cells to granulocyte-like cells, assessed by measurement of functional and biochemical markers of maturity. None of the other agents attained concentrations in the plasma that were pharmacologically effective for the induction of differentiation of the cells in vitro and were unable to induce the terminal differentiation of the cells in vivo.

Theoretical study of Talbot-like bands observed using a laser diode below threshold

We report on a theoretical study of an interferometric system in which half of a collimated beam from a broadband optical source is intercepted by a glass slide, the whole beam subsequently being incident on a diffraction grating and the resulting spectrum being viewed using a linear CCD array. Using Fourier theory, we derive the expression of the intensity distribution across the CCD array. This expression is then examined for non-cavity and cavity sources for different cases determined by the direction from which the slide is inserted into the beam and the source bandwidth. The theoretical model shows that the narrower the source linewidth, the higher the deviation of the Talbot bands' visibility (as it is dependent on the path imbalance) from the previously known triangular shape. When the source is a laser diode below threshold, the structure of the CCD signal spectrum is very complex. The number of components present simultaneously increases with the number of grating lines and decreases with the laser cavity length. The model also predicts the appearance of bands in situations not usually associated with Talbot bands.

Development of a multicellular co-culture model of normal and cystic fibrosis human airways in vitro

Cystic fibrosis (CF) is the most common lethal inherited disease among Caucasians and arises due to mutations in a chloride channel, called cystic fibrosis transmembrane conductance regulator. A hallmark of this disease is the chronic bacterial infection of the airways, which is usually, associated with pathogens such as Pseudomonas aeruginosa, S. aureus and recently becoming more prominent, B. cepacia. The excessive inflammatory response, which leads to irreversible lung damage, will in the long term lead to mortality of the patient at around the age of 40 years. Understanding the pathogenesis of CF currently relies on animal models, such as those employing genetically-modified mice, and on single cell culture models, which are grown either as polarised or non-polarised epithelium in vitro. Whilst these approaches partially enable the study of disease progression in CF, both types of models have inherent limitations. The overall aim of this thesis was to establish a multicellular co-culture model of normal and CF human airways in vitro, which helps to partially overcome these limitations and permits analysis of cell-to-cell communication in the airways. These models could then be used to examine the co-ordinated response of the airways to infection with relevant pathogens in order to validate this approach over animals/single cell models. Therefore epithelial cell lines of non-CF and CF background were employed in a co-culture model together with human pulmonary fibroblasts. Co-cultures were grown on collagen-coated permeable supports at air-liquid interface to promote epithelial cell differentiation. The models were characterised and essential features for investigating CF infections and inflammatory responses were investigated and analysed. A pseudostratified like epithelial cell layer was established at air liquid interface (ALI) of mono-and co-cultures and cell layer integrity was verified by tight junction (TJ) staining and transepithelial resistance measurements (TER). Mono- and co-cultures were also found to secrete the airway mucin MUC5AC. Influence of bacterial infections was found to be most challenging when intact S. aureus, B. cepacia and P. aeruginosa were used. CF mono- and co-cultures were found to mimic the hyperinflammatory state found in CF, which was confirmed by analysing IL-8 secretions of these models. These co-culture models will help to elucidate the role fibroblasts play in the inflammatory response to bacteria and will provide a useful testing platform to further investigate the dysregulated airway responses seen in CF.

Approximation of photonic crystal fibres with large air holes by the step index fibre model

An equivalent step index fibre with a silica core and air cladding is used to model photonic crystal fibres with large air holes. We model this fibre for linear polarisation (we focus on the lowest few transverse modes of the electromagnetic field). The equivalent step index radius is obtained by equating the lowest two eigenvalues of the model to those calculated numerically for the photonic crystal fibres. The step index parameters thus obtained can then be used to calculate nonlinear parameters like the nonlinear effective area of a photonic crystal fibre or to model nonlinear few-mode interactions using an existing model.

The emergence of knowledge exchange:an agent-based model of a software market

We investigate knowledge exchange among commercial organizations, the rationale behind it, and its effects on the market. Knowledge exchange is known to be beneficial for industry, but in order to explain it, authors have used high-level concepts like network effects, reputation, and trust. We attempt to formalize a plausible and elegant explanation of how and why companies adopt information exchange and why it benefits the market as a whole when this happens. This explanation is based on a multiagent model that simulates a market of software providers. Even though the model does not include any high-level concepts, information exchange naturally emerges during simulations as a successful profitable behavior. The conclusions reached by this agent-based analysis are twofold: 1) a straightforward set of assumptions is enough to give rise to exchange in a software market, and 2) knowledge exchange is shown to increase the efficiency of the market.

Model evaluation and case series data

We discuss aggregation of data from neuropsychological patients and the process of evaluating models using data from a series of patients. We argue that aggregation can be misleading but not aggregating can also result in information loss. The basis for combining data needs to be theoretically defined, and the particular method of aggregation depends on the theoretical question and characteristics of the data. We present examples, often drawn from our own research, to illustrate these points. We also argue that statistical models and formal methods of model selection are a useful way to test theoretical accounts using data from several patients in multiple-case studies or case series. Statistical models can often measure fit in a way that explicitly captures what a theory allows; the parameter values that result from model fitting often measure theoretically important dimensions and can lead to more constrained theories or new predictions; and model selection allows the strength of evidence for models to be quantified without forcing this into the artificial binary choice that characterizes hypothesis testing methods. Methods that aggregate and then formally model patient data, however, are not automatically preferred to other methods. Which method is preferred depends on the question to be addressed, characteristics of the data, and practical issues like availability of suitable patients, but case series, multiple-case studies, single-case studies, statistical models, and process models should be complementary methods when guided by theory development.