Efficient reduction of nondeterministic automata with application to language inclusion testing [PDF]
Logical Methods in Computer Science, 2019 We present efficient algorithms to reduce the size of nondeterministic B\"uchi word automata (NBA) and nondeterministic finite word automata (NFA), while retaining their languages.
Lorenzo Clemente, Richard Mayr
doaj +1 more source
Escaping from nonhyperbolic chaotic attractors
, 2004 We study the noise-induced escape process from chaotic attractors in nonhyperbolic systems. We provide a general mechanism of escape in the low noise limit, employing the theory of large fluctuations.
Celso Grebogi +8 more
core +1 more source
Granular discharge rate for submerged hoppers [PDF]
, 2014 The discharge of spherical grains from a hole in the bottom of a right circular cylinder is measured with the entire system underwater. We find that the discharge rate depends on filling height, in contrast to the well-known case of dry non-cohesive ...
Durian, D. J. +3 more
core +4 more sources
Next‐generation proteomics improves lung cancer risk prediction
Molecular Oncology, EarlyView.This is one of very few studies that used prediagnostic blood samples from participants of two large population‐based cohorts. We identified, evaluated, and validated an innovative protein marker model that outperformed an established risk prediction model and criteria employed by low‐dose computed tomography in lung cancer screening trials.
Megha Bhardwaj +4 more
wiley +1 more source
A Path Integral Representation of the Map between Commutative and Noncommutative Gauge Fields [PDF]
, 1999 The world-volume theory on a D-brane in a constant B-field background can be described by either commutative or noncommutative Yang-Mills theories.
Okuyama, Kazumi
core +4 more sources
Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma
Molecular Oncology, EarlyView.Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken +7 more
wiley +1 more source
Local Lattice Distortion Caused by Short Range Charge Ordering in LiMn$_2$O$_4$
, 2013 We have performed powder neutron diffraction on $^7$Li-enriched sample of LiMn$_2$O$_4$ at 300 K. The crystal structure determined by Rietveld analysis is a cubic spinel with space group of $Fd\bar{3}m$ in which all Mn atoms are crystallograghically ...
Igawa, Naoki +7 more
core +1 more source
Therapeutic strategies for MMAE‐resistant bladder cancer through DPP4 inhibition
Molecular Oncology, EarlyView.We established monomethyl auristatin E (MMAE)‐resistant bladder cancer (BC) cell lines by exposure to progressively increasing concentrations of MMAE in vitro. RNA sequencing showed DPP4 expression was increased in MMAE‐resistant BC cells. Both si‐DPP4 and the DPP4 inhibitor sitagliptin suppressed the viability of MMAE‐resistant BC cells.
Gang Li +10 more
wiley +1 more source
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs [PDF]
Logical Methods in Computer Science, 2017 The winning condition of a parity game with costs requires an arbitrary, but fixed bound on the cost incurred between occurrences of odd colors and the next occurrence of a larger even one.
Alexander Weinert, Martin Zimmermann
doaj +1 more source
Sensitivity Analysis for a Scenario-Based Reliability Prediction Model [PDF]
, 2005 As a popular means for capturing behavioural requirements, scenariosshow how components interact to provide system-level functionality.If component reliability information is available, scenarioscan be used to perform early system reliability assessment.
Rodrigues, G, Rosenblum, D, Uchitel, S
core +1 more source