Process algebra for performance evaluation

This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems – like large-scale computers, client–server architectures, networks – can accurately be described using such stochastic specification formalisms. The main emphasis of this paper is the treatment of operational semantics, notions of equivalence, and (sound and complete) axiomatisations of these equivalences for different types of Markovian process algebras, where delays are governed by exponential distributions. Starting from a simple actionless algebra for describing time-homogeneous continuous-time Markov chains, we consider the integration of actions and random delays both as a single entity (like in known Markovian process algebras like TIPP, PEPA and EMPA) and as separate entities (like in the timed process algebras timed CSP and TCCS). In total we consider four related calculi and investigate their relationship to existing Markovian process algebras. We also briefly indicate how one can profit from the separation of time and actions when incorporating more general, non-Markovian distributions

A formula for the core of an ideal

The core of an ideal is the intersection of all its reductions. For large classes of ideals I we explicitly describe the core as a colon ideal of a power of a single reduction and a power of I.Comment: to appear in Math. An

Translocation arrest by reversible folding of a precursor protein imported into mitochondria

Passage of precursor proteins through translocation contact sites of mitochondria was investigated by studying the import of a fusion protein consisting of the NH2-terminal 167 amino acids of yeast cytochrome b2 precursor and the complete mouse dihydrofolate reductase. Isolated mitochondria of Neurospora crassa readily imported the fusion protein. In the presence of methotrexate import was halted and a stable intermediate spanning both mitochondrial membranes at translocation contact sites accumulated. The complete dihydrofolate reductase moiety in this intermediate was external to the outer membrane, and the 136 amino acid residues of the cytochrome b2 moiety remaining after cleavage by the matrix processing peptidase spanned both outer and inner membranes. Removal of methotrexate led to import of the intermediate retained at the contact site into the matrix. Thus unfolding at the surface of the outer mitochondrial membrane is a prerequisite for passage through translocation contact sites. The membrane-spanning intermediate was used to estimate the number of translocation sites. Saturation was reached at 70 pmol intermediate per milligram of mitochondrial protein. This amount of translocation intermediates was calculated to occupy approximately 1% of the total surface of the outer membrane. The morphometrically determined area of close contact between outer and inner membranes corresponded to approximately 7% of the total outer membrane surface. Accumulation of the intermediate inhibited the import of other precursor proteins suggesting that different precursor proteins are using common translocation contact sites. We conclude that the machinery for protein translocation into mitochondria is present at contact sites in limited number

Data-Driven Modeling and Prediction of Complex Spatio-Temporal Dynamics in Excitable Media

Spatio-temporal chaotic dynamics in a two-dimensional excitable medium is (cross-) estimated using a machine learning method based on a convolutional neural network combined with a conditional random field. The performance of this approach is demonstrated using the four variables of the Bueno-Orovio-Fenton-Cherry model describing electrical excitation waves in cardiac tissue. Using temporal sequences of two-dimensional fields representing the values of one or more of the model variables as input the network successfully cross-estimates all variables and provides excellent forecasts when applied iteratively

Finite Generation of Algebras Associated to Powers of Ideals

We study generalized symbolic powers and form ideals of powers of ideals and compare their growth with the growth of ordinary powers, and we discuss the question of when the graded rings attached to symbolic powers or to form ideals of powers are finitely generated.Comment: 17 pages. The only change in this version is to add new reference

Structural changes in activated wood-based carbons: correlation between specific surface area and localization of molecular-sized pores

Samples of maple were pyrolyzed and subsequently activated by carbon dioxide at different temperatures for various dwell times. The changes in wood structure were characterized by nitrogen adsorption isotherms, transmission electron microscopy (TEM) with selected-area electron diffraction (SAED), and scanning electron microscopy (SEM). Increasing pyrolysis temperatures promoted increased crystallization of graphitic wood components and mineral-like phases. The average pore diameter derived from nitrogen adsorption isotherms approximately correlated with the results obtained by high-resolution SEM and TEM. The highest surface area was found for samples containing considerable amounts of nanoperforated pit membranes located in intervascular pitting. High-resolution TEM examinations of membrane regions showed foam-like clusters with an average size of 1.7nm, which are attributed to the selective influence of CO2 activation on pyrolyzed cellulose and ligni

Museums as restorative environments

Restorative environments possess a combination of attributes that facilitate recovery from mental fatigue. Most previous research in this regard has focused on natural environments, but this paper explores the extent to which museum environments also provide access to restorative experiences. Visitors (307 tourists and 274 local residents) to a history museum, an art museum, an aquarium, and a botanic garden completed a questionnaire regarding the restorative qualities and benefits of the environment they visited. The findings indicate that for some people, museums are at least as restorative as natural environments. The paper contributes to the development of a theoretical understanding of museums as restorative environments and provides insights into the factors that facilitate and enhance restorative experiences. Such experiences have the potential to contribute to visitors’ well-being and satisfaction

Deformations of modules of maximal grade and the Hilbert scheme at determinantal schemes

Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R). Suppose X:=Proj(R/I_t(\cA)) is smooth in a sufficiently large open subset and dim X > 0. Then we prove that the local graded deformation functor of M is isomorphic to the local Hilbert (scheme) functor at X \subset Proj(R) under a week assumption which holds if dim X > 1. Under this assumptions we get that the Hilbert scheme is smooth at (X), and we give an explicit formula for the dimension of its local ring. As a corollary we prove a conjecture of R. M. Mir\'o-Roig and the author that the closure of the locus of standard determinantal schemes with fixed degrees of the entries in a presentation matrix is a generically smooth component V of the Hilbert scheme. Also their conjecture on the dimension of V is proved for dim X > 0. The cohomology H^i_{*}({\cN}_X) of the normal sheaf of X in Proj(R) is shown to vanish for 0 < i < dim X-1. Finally the mentioned results, slightly adapted, remain true replacing R by any Cohen-Macaulay quotient of a polynomial ring.Comment: 24 page

Translocation arrest by reversible folding of a precursor protein imported into mitochondria

Passage of precursor proteins through translocation contact sites of mitochondria was investigated by studying the import of a fusion protein consisting of the NH2-terminal 167 amino acids of yeast cytochrome b2 precursor and the complete mouse dihydrofolate reductase. Isolated mitochondria of Neurospora crassa readily imported the fusion protein. In the presence of methotrexate import was halted and a stable intermediate spanning both mitochondrial membranes at translocation contact sites accumulated. The complete dihydrofolate reductase moiety in this intermediate was external to the outer membrane, and the 136 amino acid residues of the cytochrome b2 moiety remaining after cleavage by the matrix processing peptidase spanned both outer and inner membranes. Removal of methotrexate led to import of the intermediate retained at the contact site into the matrix. Thus unfolding at the surface of the outer mitochondrial membrane is a prerequisite for passage through translocation contact sites. The membrane-spanning intermediate was used to estimate the number of translocation sites. Saturation was reached at 70 pmol intermediate per milligram of mitochondrial protein. This amount of translocation intermediates was calculated to occupy approximately 1% of the total surface of the outer membrane. The morphometrically determined area of close contact between outer and inner membranes corresponded to approximately 7% of the total outer membrane surface. Accumulation of the intermediate inhibited the import of other precursor proteins suggesting that different precursor proteins are using common translocation contact sites. We conclude that the machinery for protein translocation into mitochondria is present at contact sites in limited number