Results 31 to 40 of about 101,866 (227)

On the Problem of Computing the Probability of Regular Sets of Trees [PDF]

, 2015
We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which computes the probability of languages recognizable by \emph{game automata}.
Michalewski, Henryk, Mio, Matteo
core   +4 more sources

Transcriptome‐wide analysis of circRNA and RBP profiles and their molecular relevance for GBM

Molecular Oncology, EarlyView.
CircRNAs are differentially expressed in glioblastoma primary tumors and might serve as therapeutic targets and diagnostic markers. The investigation of circRNA and RNA‐binding proteins (RBPs) interactions shows that distinct RBPs play a role in circRNA biogenesis and function.
Julia Latowska‐Łysiak, Żaneta Zarębska, Marcin P. Sajek, Adriana Grabowska, Alessia Buratin, Paweł Głodowicz, Julia O. Misiorek, Konrad Kuczyński, Stefania Bortoluzzi, Marek Żywicki, Jan G. Kosiński, Agnieszka Rybak‐Wolf, Rafał Piestrzeniewicz, Anna M. Barciszewska, Katarzyna Rolle   +14 more
wiley   +1 more source

Early metastasis is characterized by Gr1+ cell dysregulation and is inhibited by immunomodulatory nanoparticles

Molecular Oncology, EarlyView.
Breast cancer metastasis is associated with myeloid cell dysregulation and the lung‐specific accumulation of tumor‐supportive Gr1+ cells. Gr1+ cells support metastasis, in part, through a CHI3L1‐mediated mechanism, which can be targeted and inhibited with cargo‐free, polymeric nanoparticles.
Jeffrey A. Ma, Sophia M. Orbach, Kate V. Griffin, Kathryn Kang, Yining Zhang, Rebecca S. Pereles, Ian A. Schrack, Guillermo Escalona, Jacqueline S. Jeruss, Lonnie D. Shea   +9 more
wiley   +1 more source

On the Bernoulli Automorphism of Reversible Linear Cellular Automata

, 2015
This investigation studies the ergodic properties of reversible linear cellular automata over $\mathbb{Z}_m$ for $m \in \mathbb{N}$. We show that a reversible linear cellular automaton is either a Bernoulli automorphism or non-ergodic.
Chang, Chih-Hung, Chang, Huilan
core   +1 more source

Landscape of BRAF transcript variants in human cancer

Molecular Oncology, EarlyView.
We investigate the annotation of BRAF variants, focusing on protein‐coding BRAF‐220 (formerly BRAF‐reference) and BRAF‐204 (BRAF‐X1). The IsoWorm pipeline allows us to quantify these variants in human cancer, starting from RNA‐sequencing data. BRAF‐204 is more abundant than BRAF‐220 and impacts patient survival.
Maurizio S. Podda, Danilo Tatoni, Gianluca Mattei, Alberto Magi, Romina D'Aurizio, Laura Poliseno   +5 more
wiley   +1 more source

Cost Preserving Bisimulations for Probabilistic Automata [PDF]

, 2013
Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled by weak probabilistic bisimulation serving as the reference notion for ...
Hermanns, Holger, Turrini, Andrea
core   +1 more source

Dose‐dependent induction of epithelial‐mesenchymal transition in 3D melanoma models by non‐thermal plasma treatment

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, Edgar Cardenas De La Hoz, Hanne Verswyvel, Joey De Backer, Ho Wa Lau, Angela Privat‐Maldonado, Wim Vanden Berghe, Steve Vanlanduit, Evelien Smits, Annemie Bogaerts, Abraham Lin   +10 more
wiley   +1 more source

A Fibrational Approach to Automata Theory

arXiv: Formal Languages and Automata Theory, 2015
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely generated profinite D-monoids. The global sections of these opfibrations are shown to correspond to varieties of languages in C, pseudovarieties of D-monoids, and profinite ...
Chen, Liang-Ting, Urbat, Henning
openaire   +5 more sources

METTL3 knockout accelerates hepatocarcinogenesis via inhibiting endoplasmic reticulum stress response

FEBS Open Bio, EarlyView.
Liver‐specific knockout of N6‐methyladenosine (m6A) methyltransferase METTL3 significantly accelerated hepatic tumor initiation under various oncogenic challenges, contrary to the previously reported oncogenic role of METTL3 in liver cancer cell lines or xenograft models. Mechanistically, METTL3 deficiency reduced m6A deposition on Manf transcripts and
Bo Cui, Silin Tu, Haibo Li, Zhancheng Zeng, Ruiqi Xiao, Jing Guo, Xiaoqi Liang, Chang Liu, Lijie Pan, Wenjie Chen, Mian Ge, Xiaofen Zhong, Linsen Ye, Huaxin Chen, Qi Zhang, Yan Xu   +15 more
wiley   +1 more source

On cascade products of answer set programs

, 2014
Describing complex objects by elementary ones is a common strategy in mathematics and science in general. In their seminal 1965 paper, Kenneth Krohn and John Rhodes showed that every finite deterministic automaton can be represented (or "emulated") by a ...
Antić, Christian
core   +1 more source