Constraint-based Run-time State Migration for Live Modeling

Live modeling enables modelers to incrementally update models as they are running and get immediate feedback about the impact of their changes. Changes introduced in a model may trigger inconsistencies between the model and its run-time state (e.g., deleting the current state in a statemachine); effectively requiring to migrate the run-time state to comply with the updated model. In this paper, we introduce an approach that enables to automatically migrate such runtime state based on declarative constraints defined by the language designer. We illustrate the approach using Nextep, a meta-modeling language for defining invariants and migration constraints on run-time state models. When a model changes, Nextep employs model finding techniques, backed by a solver, to automatically infer a new run-time model that satisfies the declared constraints. We apply Nextep to define migration strategies for two DSLs, and report on its expressiveness and performance

Constraint-based run-time state migration for live modeling

Live modeling enables modelers to incrementally update models as they are running and get immediate feedback about the impact of their changes. Changes introduced in a model may trigger inconsistencies between the model and its run-time state (e.g., deleting the current state in a statemachine); effectively requiring to migrate the run-time state to comply with the updated model. In this paper, we introduce an approach that enables to automatically migrate such runtime state based on declarative constraints defined by the language designer. We illustrate the approach using Nextep, a meta-modeling language for defining invariants and migration constraints on run-time state models. When a model changes, Nextep employs model finding techniques, backed by a solver, to automatically infer a new run-time model that satisfies the declared constraints. We apply Nextep to define migration strategies for two DSLs, and report on its expressiveness and performance

Detection of quorum-sensing-related molecules in Vibrio scophthalmi

BACKGROUND: Cell-to-cell communication (also referred to as quorum sensing) based on N-acyl-homoserine lactones (AHLs) is a widespread response to environmental change in Gram-negative bacteria. AHLs seem to be highly variable, both in terms of the acyl chain length and in the chemical structure of the radicals. Another quorum sensing pathway, the autoinducer-2-based system, is present both in Gram-positive and Gram-negative bacteria. In this study the presence of signal molecules belonging to both quorum sensing signalling pathways was analysed in the marine symbiotic species Vibrio scophthalmi. RESULTS: Three AHL-like signal molecules were detected in V. scophthalmi supernatants with the Agrobacterium tumefaciens sensor assay. This observation was further supported by the decrease in the presence of these signal molecules after cloning and expression of lactonase AiiA from Bacillus cereus in the V. scophthalmi strains. One of the signal molecules was identified as N-(3-hydroxy dodecanoyl)-L-homoserine lactone. V. scophthalmi was also shown to carry a functional LuxS synthase. The coding sequence for a luxS-like gene was obtained showing a maximum similarity of 78% with Vibrio vulnificus. Analysis of the translated sequence revealed that the sequenced luxS gene carried the conserved domain, which is common to luxS sequences found in other species, and which is essential for LuxS enzymatic activity. CONCLUSION: The data are consistent with the presence of quorum-sensing signal molecules from both AHL- and autoinducer 2-based quorum sensing systems in V. scophthalmi, which are homologous to others previously described in various Vibrio species. How this bacterium interacts with other bacteria and eukaryotic cells to compete ecologically with other intestinal bacteria present in the fish Scophthalmus maximus warrants further investigation

Growth Performance, Nutrient Digestibility, and Retention in Atlantic Salmon, Salmo salar L., Fed Diets with Fermented Sugar Kelp, Saccharina latissima

publishedVersio

A transcription-dependent increase in miniature EPSC frequency accompanies late-phase plasticity in cultured hippocampal neurons

<p>Abstract</p> <p>Background</p> <p>The magnitude and longevity of synaptic activity-induced changes in synaptic efficacy is quantified by measuring evoked responses whose potentiation requires gene transcription to persist for more than 2-3 hours. While miniature EPSCs (mEPSCs) are also increased in amplitude and/or frequency during long-term potentiation (LTP), it is not known how long such changes persist or whether gene transcription is required.</p> <p>Results</p> <p>We use whole-cell patch clamp recordings from dissociated hippocampal cultures to characterise for the first time the persistence and transcription dependency of mEPSC upregulation during synaptic potentiation. The persistence of recurrent action potential bursting in these cultures is transcription-, translation- and NMDA receptor-dependent thus providing an accessible model for long-lasting plasticity. Blockade of GABA_A-receptors with bicuculline for 15 minutes induced action potential bursting in all neurons and was maintained in 50-60% of neurons for more than 6 hours. Throughout this period, the frequency but neither the amplitude of mEPSCs nor whole-cell AMPA currents was markedly increased. The transcription blocker actinomycin D abrogated, within 2 hours of burst induction, both action potential bursting and the increase in mEPSCs. Reversible blockade of action potentials during, but not after this 2 hour transcription period suppressed the increase in mEPSC frequency and the recovery of burst activity at a time point 6 hours after induction.</p> <p>Conclusion</p> <p>These results indicate that increased mEPSC frequency persists well beyond the 2 hour transcription-independent phase of plasticity in this model. This long-lasting mEPSC upregulation is transcription-dependent and requires ongoing action potential activity during the initial 2 hour period but not thereafter. Thus mEPSC upregulation may underlie the long term, transcription-dependent persistence of action potential bursting. This provides mechanistic insight to link gene candidates already identified by gene chip analysis to long lasting plasticity in this in vitro model.</p

The influence of marathon running on resting-state EEG activity: a longitudinal observational study

Physical activity (PA) has positive effects on various health aspects and neuronal functions, including neuronal plasticity. Exceeding a certain exercise frequency and duration has been associated with negative effects. Our study investigated the effects of excessive PA with a marathon run (MA) and regular PA (training and recovery phases) on electrocortical activity, as measured by electroencephalography (EEG). Thirty healthy marathon runners (26 male, 45 ± 9 yrs) were enrolled in the study. Four resting-state 32 channel EEG recordings were conducted: 12-8 weeks before MA (T-1), 14-4 days prior to MA (T0), 1-6 days after (T2), and 13-15 weeks after MA (T3). Power spectrum analyses were conducted using standardized Low-Resolution Electromagnetic Tomography (sLORETA) and included the following frequency bands: delta (1.5-6 Hz), theta (6.5-8.0 Hz), alpha1 (8.5-10 Hz), alpha2 (10.5-12.0 Hz), beta1 (12.5-18.0 Hz), beta2 (18.5-21.0 Hz), beta3 (21.5-30.0 Hz), and total power (1.5-30 Hz). Statistical nonparametric mapping showed reduced power both in the alpha-2 (log-F ratio = - 0.705, threshold log-F ratio =  ± 0.685, p < 0.05) and in the delta frequency band (log-F ratio = -0.699, threshold log-F ratio =  ± 0.685, p < 0.05) in frontal cortical areas after MA (T2 vs. T0). These effects diminished at long-term follow-up (T3). The results can be interpreted as correlates for subacute neuroplasticity induced by strenuous and prolonged PA. Although previous studies reported an increase in alpha frequency during and directly postexercise, the adverse observation a few days after exercise cessation suggests counterregulatory mechanisms, whose complex origin can be suspected in subcortical circuits, changes in neurotransmitter systems and modulation of affectivity