Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In...

BACKGROUND Spinosad (a mixture of spinosyns A and D) is a unique natural pesticide produced by Saccharopolyspora spinosa. With regard to attempts to improve S. spinosa by classical mutagenesis, we propose that the bottleneck of screening out high-spinosad-production strains is probably caused by the fermentation media. OBJECTIVES The current study aimed to identify a new medium to extensively...

background this cross-sectional study was conducted to compare the average costs of breast cancer screening and treatment among women with the age of 25 and over in shiraz-iran.   methods three majors hospitals affiliated with shiraz university of medical sciences (sums) were selected for data collection. financial documents and interviews with the hospitals’ financial officers were used for da...

The voltage-dependent K+ channel Kv1.3 (also known as KCNA3), which plays crucial roles in leukocytes, physically interacts with KCNE4. This interaction inhibits the K+ currents because the channel is retained within intracellular compartments. Thus, KCNE subunits are regulators of K+ channels in the immune system. Although the canonical interactions of KCNE subunits with Kv7 channels are under...

In this article I will prove undecidability results for elementary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the “nets-within-nets” paradigm. Eos are special object net system which have a two leveled structure.

We present results for the inverse screening lengths (i.e. the screening masses) of quark–antiquark systems belonging to different spin-parity channels. The results are obtained from lattice QCD simulations of 2 + 1 flavors of dynamical quarks with masses that correspond to realistic pion and almost physical kaon masses at zero temperature. For the light quarks our study shows that the screenin...

BACKGROUND Although octanoylcarnitine (C8) concentrations measured from newborn screening dried blood spots are used to identify those at high risk of medium-chain acyl-CoA dehydrogenase deficiency (MCADD), age-related reference values are currently not available for unaffected newborn populations. Because age at sampling may vary within and between screening programs, variations in C8 concentr...