Results 131 to 140 of about 1,163,964 (293)

A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case [PDF]

, 2008
The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove
Schmidt-Schauß, Manfred, Machkasova, Elena   +1 more
core  

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Calculus : Multivariable

, 2013
This Sixth Edition of Calculus continues the effort to promote courses in which understanding and computation reinforce each other. Calculus: Multivariable 6th Edition reflects the many voices of users at research universities, four-year colleges ...
Quinney, Douglas, Feldman, Jeff Tecosky, Tucker, Thomas W., Kalaycioglu, Selin, Lock, Patti Frazer, Hallett, Deborah Hughes, Flath, Daniel, Lahme, Brigitte, Mumford, David, Morris, Jerry, McCallum, William G., Patterson, Cody L., Lozano, Guadalupe I., Gleason, Andrew M., Spiegler, Adam H., Osgood, Brad G.   +15 more
core  

Circulating microRNA signatures of cachexia and cancer in Canis familiaris as a comparative oncology model for human disease

Molecular Oncology, EarlyView.
Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park, Kyongman An, Gyeonghwa Kim, Soo‐Nyun Choi, Hong‐Ki Lee, Keun Hur, Kyu‐Shik Jeong   +6 more
wiley   +1 more source

EXPTIME Tableaux for the Coalgebraic Mu-Calculus

, 2009
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk, Cirstea, Corina, Kupke, Clemens   +2 more
core   +1 more source

Preoperative circulating tumor cells integrated with imaging analysis for prognostic evaluation in head and neck squamous cell carcinoma

Molecular Oncology, EarlyView.
Detecting circulating tumor cells (CTCs) in blood before surgery may help predict outcomes in patients with head and neck squamous cell carcinoma (HNSCC). Here, we show when combined with tumor size and lymph node involvement from routine imaging, CTC status identifies high‐risk patients with poorer survival—offering a simple, minimally invasive tool ...
Susanne Flach, Gizem Abaci, Tom Huberty, Axel Lechner, Lukas Käsmann, Jens Ricke, Sophia Stöcklein, Martin Canis, Philipp Baumeister, Marianna Alunni‐Fabbroni   +9 more
wiley   +1 more source

ON THE OPERATIONAL CALCULUS WITH DIFFERENTIABLE FUNCTIONS [PDF]

Proceedings of the National Academy of Sciences, 1958
openaire   +2 more sources

An elementary operational calculus

, 2015
Mikusinski, Piotr,, Atanasiu, Dragu,
core   +1 more source

Epigenetic silencing of the liver‐specific lncRNA LUNAR promotes liver cancer progression via NOTCH activation

Molecular Oncology, EarlyView.
LUNAR is a liver‐specific long noncoding RNA (lncRNA) that is highly expressed in normal liver but becomes epigenetically silenced in hepatocellular carcinoma through promoter hypermethylation. Loss of LUNAR is associated with NOTCH activation, epithelial–mesenchymal transition, and metastasis, whereas restoring LUNAR restrains metastatic progression ...
Se Ha Jang, Hyung Seok Kim, Geum Ok Baek, Moon Gyeong Yoon, Su In Lee, Jee‐Yeong Jeong, Ji Eun Han, Soon Sun Kim, Jae Youn Cheong, Jung Woo Eun   +9 more
wiley   +1 more source

CEACAM1 participation in breast cancer progression

Molecular Oncology, EarlyView.
In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin, Irina Kube‐Golovin, Anatolii Romaniuk, Gunther Wennemuth   +3 more
wiley   +1 more source