Operational semantics for signal handling

Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run. Signal handling is reminiscent both of exception handling and concurrent interleaving of processes. In this paper, we investigate different approaches to formalizing signal handling in operational semantics, and compare them in a series of examples. We find the big-step style of operational semantics to be well suited to modelling signal handling. We integrate exception handling with our big-step semantics of signal handling, by adopting the exception convention as defined in the Definition of Standard ML. The semantics needs to capture the complex interactions between signal handling and exception handling.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

Asymptotically stable phase synchronization revealed by autoregressive circle maps

A new type of nonlinear time series analysis is introduced, based on phases, which are defined as polar angles in spaces spanned by a finite number of delayed coordinates. A canonical choice of the polar axis and a related implicit estimation scheme for the potentially underlying auto-regressive circle map (next phase map) guarantee the invertibility of reconstructed phase space trajectories to the original coordinates. The resulting Fourier approximated, Invertibility enforcing Phase Space map (FIPS map) is well suited to detect conditional asymptotic stability of coupled phases. This rather general synchronization criterion unites two existing generalisations of the old concept and can successfully be applied e.g. to phases obtained from ECG and airflow recordings characterizing cardio-respiratory interaction.Comment: PDF file, 232 KB, 24 pages, 3 figures; cheduled for Phys. Rev. E (Nov) 200

Simulation techniques in energy analysis

Simulation is one of the most frequently used techniques in energy modelling. After some general remarks on the nature of simulation models, a more detailed description of a large scale dynamic energy simulation model for the Federal Republic of Germany is given. The paper continues with a discussion of some model results and concludes with some brief remarks on the limitations of the simulation approach

Utilizing high-throughput experimentation to enhance specific productivity of an E.coli T7 expression system by phosphate limitation

<p>Abstract</p> <p>Background</p> <p>The specific productivity of cultivation processes can be optimized, amongst others, by using genetic engineering of strains, choice of suitable host/vector systems or process optimization (e.g. choosing the right induction time). A further possibility is to reduce biomass buildup in favor of an enhanced product formation, e.g. by limiting secondary substrates in the medium, such as phosphate. However, with conventional techniques (e.g. small scale cultivations in shake flasks), it is very tedious to establish optimal conditions for cell growth and protein expression, as the start of protein expression (induction time) and the degree of phosphate limitation have to be determined in numerous concerted, manually conducted experiments.</p> <p>Results</p> <p>We investigated the effect of different induction times and a concurrent phosphate limitation on the specific productivity of the T7 expression system <it>E.coli </it>BL21(DE3) pRhotHi-2-EcFbFP, which produces the model fluorescence protein EcFbFP upon induction. Therefore, specific online-monitoring tools for small scale cultivations (RAMOS, BioLector) as well as a novel cultivation platform (Robo-Lector) were used for rapid process optimization. The RAMOS system monitored the oxygen transfer rate in shake flasks, whereas the BioLector device allowed to monitor microbial growth and the production of EcFbFP in microtiter plates. The Robo-Lector is a combination of a BioLector and a pipetting robot and can conduct high-throughput experiments fully automated. By using these tools, it was possible to determine the optimal induction time and to increase the specific productivity for EcFbFP from 22% (for unlimited conditions) to 31% of total protein content of the <it>E.coli </it>cells via a phosphate limitation.</p> <p>Conclusions</p> <p>The results revealed that a phosphate limitation at the right induction time was suitable to redirect the available cellular resources during cultivation to protein expression rather than in biomass production. To our knowledge, such an effect was shown for the first time for an IPTG-inducible expression system. Finally, this finding and the utilization of the introduced high-throughput experimentation approach could help to find new targets to further enhance the production capacity of recombinant <it>E.coli</it>-strains.</p

Switchable Gene Expression in Escherichia coli Using a Miniaturized Photobioreactor

We present a light-switchable gene expression system for both inducible and switchable control of gene expression at a single cell level in Escherichia coli using a previously constructed light-sensing system. The lambda cl repressor gene with an LVA degradation tag was expressed under the control of the ompC promoter on the chromosome. The green fluorescent protein (GFP) gene fused to a lambda repressor-repressible promoter was used as a reporter. This light-switchable system allows rapid and reversible induction or repression of expression of the target gene at any desired time. This system also ensures homogenous expression across the entire cell population. We also report the design of a miniaturized photobioreactor to be used in combination with the light-switchable gene expression system. The miniaturized photobioreactor helps to reduce unintended induction of the light receptor due to environmental disturbances and allows precise control over the duration of induction. This system would be a good tool for switchable, homogenous, strong, and highly regulatable expression of target genes over a wide range of induction times. Hence, it could be applied to study gene function, optimize metabolic pathways, and control biological systems both spatially and temporally.open0

Lighting Up Clostridium Difficile: Reporting Gene Expression Using Fluorescent Lov Domains

The uses of fluorescent reporters derived from green fluorescent protein have proved invaluable for the visualisation of biological processes in bacteria grown under aerobic conditions. However, their requirement for oxygen has limited their application in obligate anaerobes such as Clostridium difficile. Fluorescent proteins derived from Light, Oxygen or Voltage sensing (LOV) domains have been shown to bridge this limitation, but their utility as translational fusions to monitor protein expression and localisation in a strict anaerobic bacterium has not been reported. Here we demonstrate the utility of phiLOV in three species of Clostridium and its application as a marker of real-time protein translation and dynamics through genetic fusion with the cell division protein, FtsZ. Time lapse microscopy of dividing cells suggests that Z ring assembly arises through the extension of the FtsZ arc starting from one point on the circumference. Furthermore, through incorporation of phiLOV into the flagella subunit, FliC, we show the potential of bacterial LOV-based fusion proteins to be successfully exported to the extracellular environment

Genetic Transformation of an Obligate Anaerobe, P. gingivalis for FMN-Green Fluorescent Protein Expression in Studying Host-Microbe Interaction

The recent introduction of “oxygen-independent” flavin mononucleotide (FMN)-based fluorescent proteins (FbFPs) is of major interest to both eukaryotic and prokaryotic microbial biologists. Accordingly, we demonstrate for the first time that an obligate anaerobe, the successful opportunistic pathogen of the oral cavity, Porphyromonas gingivalis, can be genetically engineered for expression of the non-toxic green FbFP. The resulting transformants are functional for studying dynamic bacterial processes in living host cells. The visualization of the transformed P. gingivalis (PgFbFP) revealed strong fluorescence that reached a maximum emission at 495 nm as determined by fluorescence microscopy and spectrofluorometry. Human primary gingival epithelial cells (GECs) were infected with PgFbFP and the bacterial invasion of host cells was analyzed by a quantitative fluorescence microscopy and antibiotic protection assays. The results showed similar levels of intracellular bacteria for both wild type and PgFbFP strains. In conjunction with organelle specific fluorescent dyes, utilization of the transformed strain provided direct and accurate determination of the live/metabolically active P. gingivalis' trafficking in the GECs over time. Furthermore, the GECs were co-infected with PgFbFP and the ATP-dependent Clp serine protease-deficient mutant (ClpP-) to study the differential fates of the two strains within the same host cells. Quantitative co-localization analyses displayed the intracellular PgFbFP significantly associated with the endoplasmic reticulum network, whereas the majority of ClpP- organisms trafficked into the lysosomes. Hence, we have developed a novel and reliable method to characterize live host cell-microbe interactions and demonstrated the adaptability of FMN-green fluorescent protein for studying persistent host infections induced by obligate anaerobic organisms

Decoding the Folding of Burkholderia glumae Lipase: Folding Intermediates En Route to Kinetic Stability

The lipase produced by Burkholderia glumae folds spontaneously into an inactive near-native state and requires a periplasmic chaperone to reach its final active and secretion-competent fold. The B. glumae lipase-specific foldase (Lif) is classified as a member of the steric-chaperone family of which the propeptides of α-lytic protease and subtilisin are the best known representatives. Steric chaperones play a key role in conferring kinetic stability to proteins. However, until present there was no solid experimental evidence that Lif-dependent lipases are kinetically trapped enzymes. By combining thermal denaturation studies with proteolytic resistance experiments and the description of distinct folding intermediates, we demonstrate that the native lipase has a kinetically stable conformation. We show that a newly discovered molten globule-like conformation has distinct properties that clearly differ from those of the near-native intermediate state. The folding fingerprint of Lif-dependent lipases is put in the context of the protease-prodomain system and the comparison reveals clear differences that render the lipase-Lif systems unique. Limited proteolysis unveils structural differences between the near-native intermediate and the native conformation and sets the stage to shed light onto the nature of the kinetic barrier