Results 61 to 70 of about 8,430 (314)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications [PDF]

Logical Methods in Computer Science, 2011
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or Muller acceptance conditions.
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre   +3 more
doaj   +1 more source

How to stop time stopping [PDF]

, 2006
Zeno-timelocks constitute a challenge for the formal verification of timed automata: they are difficult to detect, and the verification of most properties (e.g., safety) is only correct for timelock-free models.
Bowman, Howard, Gomez, Rodolfo
core   +1 more source

Cell wall target fragment discovery using a low‐cost, minimal fragment library

FEBS Letters, EarlyView.
LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan, Mathew Stanley, Olawale Raimi, Andrew T. Ferenbach, Helge C Dorfmueller, Daan M. F. van Aalten   +5 more
wiley   +1 more source

Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement

IEEE Access
Embedded systems have three major features: real-time, parallel and hierarchical. Therefore, we specified an embedded system as a hierarchically structured timed automata operating in parallel.
Satoshi Yamane
doaj   +1 more source

A Boyer-Moore Type Algorithm for Timed Pattern Matching

, 2016
The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems.
Akazaki, Takumi, Hasuo, Ichiro, Waga, Masaki   +2 more
core   +1 more source

PYCR1 inhibition in bone marrow stromal cells enhances bortezomib sensitivity in multiple myeloma cells by altering their metabolism

Molecular Oncology, EarlyView.
This study investigated how PYCR1 inhibition in bone marrow stromal cells (BMSCs) indirectly affects multiple myeloma (MM) cell metabolism and viability. Culturing MM cells in conditioned medium from PYCR1‐silenced BMSCs impaired oxidative phosphorylation and increased sensitivity to bortezomib.
Inge Oudaert, Lauren van den Broecke, Osman Aksoy, Judith Lind, Sonia Vallet, Arne Van der Vreken, Gamze Ates, Ann Massie, Ken Maes, Kim De Veirman, Elke De Bruyne, Karin Vanderkerken, Klaus Podar, Eline Menu   +13 more
wiley   +1 more source

Efficient Online Timed Pattern Matching by Automata-Based Skipping

, 2017
The timed pattern matching problem is an actively studied topic because of its relevance in monitoring of real-time systems. There one is given a log $w$ and a specification $\mathcal{A}$ (given by a timed word and a timed automaton in this paper), and ...
A Kane, BW Watson, D Ničković, D Sunday, D Ulus, D Ulus, DE Knuth, DL Dill, DR Kini, E Asarin, F Franek, F Herbreteau, G Behrmann, G Behrmann, H-M Ho, M Waga, O Maler, R Alur, RS Boyer, S Chen, S Faro, T Ferrère, T Reinbacher   +22 more
core   +1 more source

Aggressive prostate cancer is associated with pericyte dysfunction

Molecular Oncology, EarlyView.
Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero, Ane Martinez‐Larrinaga, Joaquim Grego‐Bessa, Saioa Garcia‐Longarte, Hielke van Splunder, Ianire Astobiza, Amaia Ercilla, Laura Bozal‐Basterra, Isabel Mendizabal, Pilar Villacampa, Arkaitz Carracedo, Mariona Graupera   +11 more
wiley   +1 more source

Time and tape complexity of pushdown automaton languages

Information and Control, 1968
An algorithm is presented which will determine whether any string w in Σ*, of length n, is contained in a language L ⊆ Σ* defined by a two-way nondeterministic pushdown automation. This algorithm requires time n3 when implemented on a random access computer.
Aho, A.V., Hopcroft, J.E., Ullman, J.D.
openaire   +2 more sources

Tumor and germline testing with next generation sequencing in epithelial ovarian cancer: a prospective paired comparison using an 18‐gene panel

Molecular Oncology, EarlyView.
Genetic testing in epithelial ovarian cancer includes both germline and tumor‐testing. This approach often duplicates resources. The current prospective study assessed the feasibility of tumor‐first multigene testing by comparing tumor tissue with germline testing of peripheral blood using an 18‐gene NGS panel in 106 patients.
Elisabeth Spenard, Cristina Mitric, Melanie Care, Tracy L. Stockley, Raymond H. Kim, Jeanna McCuaig, Blaise Clarke, Laura Ranich, Clare Sheen, Sarah E. Ferguson, Liat Hogen, Taymaa May, Marcus Q. Bernardini   +12 more
wiley   +1 more source