Results 81 to 90 of about 118,707 (380)
, 2013 We show that every regular language defines a unique nondeterministic finite automaton (NFA), which we call "\'atomaton", whose states are the "atoms" of the language, that is, non-empty intersections of complemented or uncomplemented left quotients of ...
Brzozowski, Janusz, Tamm, Hellis
core +2 more sources
Molecular Oncology, EarlyView.Non‐thermal plasma treatment of melanoma cells induced epithelial‐mesenchymal transition (EMT) in a dose‐dependent fashion. This report highlights the critical need to further investigate potential adverse effects of non‐thermal plasma for cancer therapy and to optimize treatment parameters for clinical translation. Despite the promising results of non‐
Eline Biscop +10 more
wiley +1 more source
Molecular Oncology, EarlyView.Cotargeting EGFR and STAT3 with Erlotinib and TTI‐101 impairs both 2D and 3D growth of ETV1‐overexpressing prostate cancer cells by disrupting a self‐sustaining ETV1–EGFR positive feedback loop that promotes EGFR and STAT3 expression and phosphorylation (activation).
Elsa Gomes Paiva +5 more
wiley +1 more source
HYST: a source transformation and translation tool for hybrid automaton models
International Conference on Hybrid Systems: Computation and Control, 2015 A number of powerful and scalable hybrid systems model checkers have recently emerged. Although all of them honor roughly the same hybrid systems semantics, they have drastically different model description languages.
Stanley Bak +2 more
semanticscholar +1 more source
Automata finiteness criterion in terms of van der Put series of automata functions
, 2011 In the paper we develop the $p$-adic theory of discrete automata. Every automaton $\mathfrak A$ (transducer) whose input/output alphabets consist of $p$ symbols can be associated to a continuous (in fact, 1-Lipschitz) map from $p$-adic integers to $p ...
Anashin, Vladimir
core +1 more source
Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. [PDF]
, 2005 The topic of this paper is the analysis of stability for a class of switched linear systems, modeled by hybrid automata. In each location of the hybrid automaton the dynamics is assumed to be linear and asymptotically stable; the guards on the ...
Langerak, Rom, Polderman, Jan Willem
core +4 more sources
Chimeric diphtheria toxin–CCL8 cytotoxic peptide for breast cancer management
Molecular Oncology, EarlyView.DTCCL8 is a recombinant fusion toxin that targets cancer cells expressing chemokine receptors. By combining diphtheria toxin with CCL8, DTCCL8 binds to multiple receptors on tumor cells and induces selective cytotoxicity. This strategy enables receptor‐mediated targeting of cancer and may support the development of chemokine‐guided therapeutics ...
Bernardo Chavez +5 more
wiley +1 more source
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems [PDF]
, 2016 We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automaton can dynamically change its signature, i.e., the set of actions in ...
Attie, Paul C., Lynch, Nancy A.
core +2 more sources
Molecular Oncology, EarlyView.Proteomic and phosphoproteomic analyses were performed on lung adenocarcinoma (LUAD) tumors with EGFR, KRAS, or EML4–ALK alterations and wild‐type cases. Distinct protein expression and phosphorylation patterns were identified, especially in EGFR‐mutated tumors. Key altered pathways included vesicle transport and RNA splicing.
Fanni Bugyi +12 more
wiley +1 more source
One Dimensional $n$ary Density Classification Using Two Cellular Automaton Rules
, 1998 Suppose each site on a one-dimensional chain with periodic boundary condition may take on any one of the states $0,1,..., n-1$, can you find out the most frequently occurring state using cellular automaton?
Chau, H. F., Siu, L. W., Yan, K. K.
core +1 more source