Results 51 to 60 of about 552,801 (329)
A new coinductive confluence proof for infinitary lambda calculus
, 2020 We present a new and formal coinductive proof of confluence and normalisation of B\"ohm reduction in infinitary lambda calculus. The proof is simpler than previous proofs of this result.
Czajka, Łukasz
core +1 more source
Confluence reduction for Markov automata [PDF]
, 2013 Markov automata are a novel formalism for specifying systems exhibiting nondeterminism, probabilistic choices and Markovian rates. Recently, the process algebra MAPA was introduced to efficiently model such systems.
A. Hartmanns +12 more
core +8 more sources
FEBS Letters, EarlyView.Bone metastasis in prostate cancer (PCa) patients is a clinical hurdle due to the poor understanding of the supportive bone microenvironment. Here, we identify stearoyl‐CoA desaturase (SCD) as a tumor‐promoting enzyme and potential therapeutic target in bone metastatic PCa.
Alexis Wilson +7 more
wiley +1 more source
Effective field theory as the bridge between lattice QCD and nuclear physics [PDF]
, 2006 A confluence of theoretical and technological developments are beginning to make possible contributions to nuclear physics from lattice QCD. Effective field theory plays a critical role in these advances.
Kaplan, David B.
core +3 more sources
Molecular Oncology, EarlyView.PARP inhibitors are used to treat a small subset of prostate cancer patients. These studies reveal that PARP1 activity and expression are different between European American and African American prostate cancer tissue samples. Additionally, different PARP inhibitors cause unique and overlapping transcriptional changes, notably, p53 pathway upregulation.
Moriah L. Cunningham +21 more
wiley +1 more source
The Unreliable Narrator as a Precedent to the Post-Truth Era: Subjective Personal Memory in the Literary Autobiographies of Eudora Welty and Tom Robbins [PDF]
University of Bucharest Review. Literary and Cultural Studies Series, 2019 Trying to find the roots of the current post-truth era, one possible path of origin presents itself when it comes to the literary tradition: the unreliable narrator.
Dorotka Bachratá
doaj +1 more source
Resonance equals reducibility for A-hypergeometric systems [PDF]
, 2000 Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant.
DS Kanevski +6 more
core +3 more sources
Molecular Oncology, EarlyView.This study explores salivary RNA for breast cancer (BC) diagnosis, prognosis, and follow‐up. High‐throughput RNA sequencing identified distinct salivary RNA signatures, including novel transcripts, that differentiate BC from healthy controls, characterize histological and molecular subtypes, and indicate lymph node involvement.
Nicholas Rajan +9 more
wiley +1 more source
Artificial Interactionism: Avoiding Isolating Perception From Cognition in AI
Frontiers in Artificial Intelligence, 2022 We discuss the influence upon the fields of robotics and AI of the manner one conceives the relationships between artificial agents' perception, cognition, and action. We shed some light upon a widespread paradigm we call the isolated perception paradigm
Mathieu Guillermin +2 more
doaj +1 more source
Influence of hydraulic resistance on flow features in an open channel confluence [PDF]
, 2014 A numerical model based on the 3D shallow water equations is set up for a 90° angle open channel confluence. The model is first calibrated and validated using experimental data by (Shumate, 1998).
Creëlle, Stéphan +3 more
core