Controller Synthesis for Timeline-based Games

In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-based games has been recently introduced. It has been proved that finding whether a winning strategy exists for such games is 2EXPTIME-complete. However, a concrete approach to synthesize controllers implementing such strategies is missing. This paper fills this gap, outlining an approach to controller synthesis for timeline-based games

Numerical simulation of two-phase fluid flow

We simulate two-phase fluid flow using a stress–strain relation based on Biot’s theory of poroelasticity for partial saturation combined with the mass conservation equations. To uncouple flow and elastic strain, we use a correction to the stiffness of the medium under conditions of uniaxial strain. The pressure and saturation differential equations are then solved with an explicit time stepping scheme and the Fourier pseudospectral method to compute the spatial derivatives. We assume an initial pressure state and at each time step compute the wetting- and non wetting-fluid pressures at a given saturation. Then, we solve Richards’s equation for the non wetting-fluid saturation and proceed to the next time step with the updated saturations values. The pressure and saturation equations are first solved separately and the results compared to known analytical solutions showing the accuracy of the algorithm. Then, the coupled system is solved. In all the cases, the non-wetting fluid is injected at a given point in space as a boundary condition and capillarity effects are taken into account. The examples consider oil injection in a water-saturated porous medium.Facultad de Ciencias Astronómicas y Geofísica

Is a gene-centric human proteome project the best way for proteomics to serve biology?

With the recent developments in proteomic technologies, a complete human proteome project (HPP) appears feasible for the first time. However, there is still debate as to how it should be designed and what it should encompass. In "proteomics speak", the debate revolves around the central question as to whether a gene-centric or a protein-centric proteomics approach is the most appropriate way forward. In this paper, we try to shed light on what these definitions mean, how large-scale proteomics such as a HPP can insert into the larger omics chorus, and what we can reasonably expect from a HPP in the way it has been proposed so far

Heliostat-field soiling predictions and cleaning resource optimization for solar tower plants

This paper presents a novel methodology for characterizing soiling losses through experimental measurements. Soiling predictions were obtained by calibrating a soiling model based on field measurements from a 50 MW modular solar tower project in Mount Isa, Australia. The study found that the mean predicted soiling rate for horizontally fixed mirrors was 0.12 percentage points per day (pp/d) during low dust seasons and 0.22 pp/d during high seasons. Autoregressive time series models were employed to extend two years of onsite meteorological measurements to a 10-year period, enabling the prediction of heliostat-field soiling rates. A fixed-frequency cleaning heuristic was applied to optimise the cleaning resources for various operational policies by balancing direct cleaning resource costs against the expected lost production, which was computed by averaging multiple simulated soiling loss trajectories. Analysis of resource usage showed that the cost of fuel and operator salaries contributed 42 % and 35 % respectively towards the cleaning cost. In addition, stowing heliostats in the horizontal position at night increased daily soiling rates by 114 % and the total cleaning costs by 51 % relative to vertically stowed heliostat-field. Under a simplified night-time-only power production configuration, the oversized solar field effectively charged the thermal storage during the day, despite reduced mirror reflectance due to soiling. These findings suggest that the plant can maintain efficient operation even with a reduced cleaning rate. Finally, it was observed that performing cleaning operations during the day led to a 7 % increase in the total cleaning cost compared to a night-time cleaning policy. This was primarily attributed to the need to park operational heliostats for cleaning

Circulating proteolytic signatures of chemotherapy-induced cell death in humans discovered by N-terminal labeling

It is known that many chemotherapeutics induce cellular apoptosis over hours to days. During apoptosis, numerous cellular proteases are activated, most canonically the caspases. We speculated that detection of proteolytic fragments released from apoptotic cells into the peripheral blood may serve as a unique indicator of chemotherapy-induced cell death. Here we used an enzymatic labeling process to positively enrich free peptide α-amines in the plasma of hematologic malignancy patients soon after beginning treatment. This N-terminomic approach largely avoids interference by high-abundance proteins that complicate traditional plasma proteomic analyses. Significantly, by mass spectrometry methods, we found strong biological signatures of apoptosis directly in the postchemotherapy plasma, including numerous caspase-cleaved peptides as well as relevant peptides from apoptotic and cell-stress proteins second mitochondria-derived activator of caspases, HtrA serine peptidase 2, and activating transcription factor 6. We also treated hematologic cancer cell lines with clinically relevant chemotherapeutics and monitored proteolytic fragments released into the media. Remarkably, many of these peptides coincided with those found in patient samples. Overall, we identified 153 proteolytic peptides in postchemotherapy patient plasma as potential indicators of cellular apoptosis. Through targeted quantitative proteomics, we verified that many of these peptides were indeed increased post- vs. prechemotherapy in additional patients. Our findings reveal that numerous proteolytic fragments are released from dying tumor cells. Monitoring posttreatment proteolysis may lead to a novel class of inexpensive, rapid biomarkers of cell death

Geophysical signature of a World War i tunnel-like anomaly in the Forni Glacier (Punta Linke, Italian Alps)

Global warming and the associated glacier retreat recently revealed the entrance to an ice\u2013rock tunnel, at an altitude of 3c3600 m a.s.l., in the uppermost portion of the Forni Glacier in the Central Italian Alps. The tunnel served as an entrance to an Austro-Hungarian cableway station excavated in the rocks during the Great War just behind the frontline. A comprehensive geophysical survey, based on seismic and ground-penetrating radar profiling, was then undertaken to map other possibleWorldWar I (WWI) remains still embedded in the ice. The ice\u2013rock interface was reconstructed over the entire saddle and in the uppermost portion of the glacier. A prominent linear reflector was surprisingly similar to the common response of buried pipes. The reflector orientation, almost longitudinal to the slope, does not seem to be compatible with a glacial conduit or with other natural features. Numerical simulations of a series of possible targets constrained interpretation to a partly water-filled rounded shape cavity. The presence of a preserved WWI tunnel connecting Mount Vioz and Punta Linke could be considered a realistic hypothesis. The Forni glacier could be still considered polythermal and comprised of cold ice without basal sliding in its top portion

C7 is expressed on endothelial cells as a trap for the assembling terminal complement complex and may exert anti-inflammatory function

We describe a novel localization of C7 as a membrane-bound molecule on endothelial cells (ECs). Data obtained by sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE), Western blot analysis, Northern blot analysis, and mass spectrometry revealed that membrane- associated C7 (mC7) was indistinguish-able from soluble C7 and was associated with vimentin on the cell surface. mC7 interacted with the other late complement components to form membrane-bound TCC (mTCC). Unlike the soluble SC5b-9, mTCC failed to stimulate ECs to express adhesion molecules, to secrete IL-8, and to induce albumin leakage through a monolayer of ECs, and more importantly protected ECs from the proinflammatory effect of SC5b-9. Our data disclose the possibility of a novel role of mC7 that acts as a trap for the late complement components to control excessive inflammation induced by SC5b-9. \ua9 2009 by The American Society of Hematology

Targeted online liquid chromatography electron capture dissociation mass spectrometry for the localization of sites of in vivo phosphorylation in human Sprouty2

We demonstrate a strategy employing collision-induced dissociation for phosphopeptide discovery, followed by targeted electron capture dissociation (ECD) for site localization. The high mass accuracy and low background noise of the ECD mass spectra allow facile sequencing of coeluting isobaric phosphopeptides, with up to two isobaric phosphopeptides sequenced from a single mass spectrum. In contrast to the previously described neutral loss of dependent ECD method, targeted ECD allows analysis of both phosphotyrosine peptides and lower abundance phosphopeptides. The approach was applied to phosphorylation analysis of human Sprouty2, a regulator of receptor tyrosine kinase signaling. Fifteen sites of phosphorylation were identified, 11 of which are novel

Network Rewiring of Homologous Recombination Enzymes during Mitotic Proliferation and Meiosis.

Homologous recombination (HR) is essential for high-fidelity DNA repair during mitotic proliferation and meiosis. Yet, context-specific modifications must tailor the recombination machinery to avoid (mitosis) or enforce (meiosis) the formation of reciprocal exchanges-crossovers-between recombining chromosomes. To obtain molecular insight into how crossover control is achieved, we affinity purified 7 DNA-processing enzymes that channel HR intermediates into crossovers or noncrossovers from vegetative cells or cells undergoing meiosis. Using mass spectrometry, we provide a global characterization of their composition and reveal mitosis- and meiosis-specific modules in the interaction networks. Functional analyses of meiosis-specific interactors of MutLγ-Exo1 identified Rtk1, Caf120, and Chd1 as regulators of crossing-over. Chd1, which transiently associates with Exo1 at the prophase-to-metaphase I transition, enables the formation of MutLγ-dependent crossovers through its conserved ability to bind and displace nucleosomes. Thus, rewiring of the HR network, coupled to chromatin remodeling, promotes context-specific control of the recombination outcome

Numerical simulation of two-phase fluid flow

We simulate two-phase fluid flow using a stress–strain relation based on Biot’s theory of poroelasticity for partial saturation combined with the mass conservation equations. To uncouple flow and elastic strain, we use a correction to the stiffness of the medium under conditions of uniaxial strain. The pressure and saturation differential equations are then solved with an explicit time stepping scheme and the Fourier pseudospectral method to compute the spatial derivatives. We assume an initial pressure state and at each time step compute the wetting- and non wetting-fluid pressures at a given saturation. Then, we solve Richards’s equation for the non wetting-fluid saturation and proceed to the next time step with the updated saturations values. The pressure and saturation equations are first solved separately and the results compared to known analytical solutions showing the accuracy of the algorithm. Then, the coupled system is solved. In all the cases, the non-wetting fluid is injected at a given point in space as a boundary condition and capillarity effects are taken into account. The examples consider oil injection in a water-saturated porous medium.Facultad de Ciencias Astronómicas y Geofísica