Results 91 to 100 of about 17,423 (281)
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Model Checking Techniques applied to the design of Web Services
CLEI Electronic Journal, 2007 In previous work we have presented the generation of WS-CDL and WS-BPEL documents. In this paper we show the unification of both generations. The aim is to generate correct WS-BPEL skeleton documents from WS-CDL documents by using the Timed Automata as ...
Gregorio Dıaz +4 more
doaj +1 more source
Expected-Delay-Summing Weak Bisimilarity for Markov Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially distributed delays possibly intertwined with internal actions. The resulting
Alessandro Aldini, Marco Bernardo
doaj +1 more source
Are Timed Automata Updatable? [PDF]
, 2000 In classical timed automata, as defined by Alur and Dill [AD90,AD94] and since widely studied, the only operation allowed to modify the clocks is the reset operation. For instance, a clock can neither be set to a non-null constant value, nor be set to the value of another clock nor, in a non-deterministic way, to some value lower or higher than a given
Bouyer, Patricia +3 more
openaire +2 more sources
Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains
FEBS Open Bio, EarlyView.The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth +6 more
wiley +1 more source
A method for reliability detection of automated guided vehicle based on timed automata
Systems Science & Control Engineering, 2021 To ensure the normal operation of the automated guided vehicle, the system must pass the reliability test in the process of design and manufacturing. Unreliable events are small probability events, which is not easy to be detected by using experimental ...
Xuefeng Deng +4 more
doaj +1 more source
On probabilistic timed automata
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
FEBS Open Bio, EarlyView.In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes +32 more
wiley +1 more source
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata [PDF]
, 2010 In this report, we study the application of the Parametric Timed Automata(PTA) tool to a concrete case of a distributed Heterogeneous Communication System (HCS).
Le, Hoa Thi Thieu +3 more
core
FEBS Open Bio, EarlyView.Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +1 more source