368,284 research outputs found
Termination Detection of Local Computations
Contrary to the sequential world, the processes involved in a distributed
system do not necessarily know when a computation is globally finished. This
paper investigates the problem of the detection of the termination of local
computations. We define four types of termination detection: no detection,
detection of the local termination, detection by a distributed observer,
detection of the global termination. We give a complete characterisation
(except in the local termination detection case where a partial one is given)
for each of this termination detection and show that they define a strict
hierarchy. These results emphasise the difference between computability of a
distributed task and termination detection. Furthermore, these
characterisations encompass all standard criteria that are usually formulated :
topological restriction (tree, rings, or triangu- lated networks ...),
topological knowledge (size, diameter ...), and local knowledge to distinguish
nodes (identities, sense of direction). These results are now presented as
corollaries of generalising theorems. As a very special and important case, the
techniques are also applied to the election problem. Though given in the model
of local computations, these results can give qualitative insight for similar
results in other standard models. The necessary conditions involve graphs
covering and quasi-covering; the sufficient conditions (constructive local
computations) are based upon an enumeration algorithm of Mazurkiewicz and a
stable properties detection algorithm of Szymanski, Shi and Prywes
Translation termination depends on the sequential ribosomal entry of eRF1 and eRF3.
Translation termination requires eRF1 and eRF3 for polypeptide-and tRNA-release on stop codons. Additionally, Dbp5/DDX19 and Rli1/ABCE1 are required; however, their function in this process is currently unknown. Using a combination of in vivo and in vitro experiments, we show that they regulate a stepwise assembly of the termination complex. Rli1 and eRF3-GDP associate with the ribosome first. Subsequently, Dbp5-ATP delivers eRF1 to the stop codon and in this way prevents a premature access of eRF3. Dbp5 dissociates upon placing eRF1 through ATP-hydrolysis. This in turn enables eRF1 to contact eRF3, as the binding of Dbp5 and eRF3 to eRF1 is mutually exclusive. Defects in the Dbp5-guided eRF1 delivery lead to premature contact and premature dissociation of eRF1 and eRF3 from the ribosome and to subsequent stop codon readthrough. Thus, the stepwise Dbp5-controlled termination complex assembly is essential for regular translation termination events. Our data furthermore suggest a possible role of Dbp5/DDX19 in alternative translation termination events, such as during stress response or in developmental processes, which classifies the helicase as a potential drug target for nonsense suppression therapy to treat cancer and neurodegenerative diseases
Thermooxidative aging of polydicyclopentadiene in glassy state
Thermal aging of thin films of unstabilized polydicyclopentadiene (pDCPD) at several temperatures ranging from 120 to 30 C was investigated by means of carbonyl build up by FTIR with ammonia derivatization, double bond titration, mass uptake measurement, hydroperoxides titration by iodometry and DSC coupled with sulfur dioxide treatment. In the temperature range under investigation, pDCPD is in glassy state and it oxidizes faster than common polymers oxidized at rubbery state (e.g. polydienic elastomers). Using the kinetic analysis, these results were ascribed to increased initiation rate due to catalyst residues, some possible intramolecular processes favoring propagation, or a very low termination rate of oxidation radical chains because of the control of termination reactions by macroradical diffusion
Unifying type systems for mobile processes
We present a unifying framework for type systems for process calculi. The
core of the system provides an accurate correspondence between essentially
functional processes and linear logic proofs; fragments of this system
correspond to previously known connections between proofs and processes. We
show how the addition of extra logical axioms can widen the class of typeable
processes in exchange for the loss of some computational properties like
lock-freeness or termination, allowing us to see various well studied systems
(like i/o types, linearity, control) as instances of a general pattern. This
suggests unified methods for extending existing type systems with new features
while staying in a well structured environment and constitutes a step towards
the study of denotational semantics of processes using proof-theoretical
methods
One-Counter Stochastic Games
We study the computational complexity of basic decision problems for
one-counter simple stochastic games (OC-SSGs), under various objectives.
OC-SSGs are 2-player turn-based stochastic games played on the transition graph
of classic one-counter automata. We study primarily the termination objective,
where the goal of one player is to maximize the probability of reaching counter
value 0, while the other player wishes to avoid this. Partly motivated by the
goal of understanding termination objectives, we also study certain "limit" and
"long run average" reward objectives that are closely related to some
well-studied objectives for stochastic games with rewards. Examples of problems
we address include: does player 1 have a strategy to ensure that the counter
eventually hits 0, i.e., terminates, almost surely, regardless of what player 2
does? Or that the liminf (or limsup) counter value equals infinity with a
desired probability? Or that the long run average reward is >0 with desired
probability? We show that the qualitative termination problem for OC-SSGs is in
NP intersection coNP, and is in P-time for 1-player OC-SSGs, or equivalently
for one-counter Markov Decision Processes (OC-MDPs). Moreover, we show that
quantitative limit problems for OC-SSGs are in NP intersection coNP, and are in
P-time for 1-player OC-MDPs. Both qualitative limit problems and qualitative
termination problems for OC-SSGs are already at least as hard as Condon's
quantitative decision problem for finite-state SSGs.Comment: 20 pages, 1 figure. This is a full version of a paper accepted for
publication in proceedings of FSTTCS 201
- …