Results 81 to 90 of about 1,543,905 (277)

Crucial parameters for precise copy number variation detection in formalin‐fixed paraffin‐embedded solid cancer samples

Molecular Oncology, EarlyView.
This study shows that copy number variations (CNVs) can be reliably detected in formalin‐fixed paraffin‐embedded (FFPE) solid cancer samples using ultra‐low‐pass whole‐genome sequencing, provided that key (pre)‐analytical parameters are optimized.
Hanne Goris, Vasiliki Siozopoulou, Léon C van Kempen, Anne Sieben, Ella Roelant, Stig Hellemans, Elyne Backx, Laure Sorber, Koen De Winne, Senada Koljenović, Karen Zwaenepoel   +10 more
wiley   +1 more source

Forward Analysis for WSTS, Part II: Complete WSTS [PDF]

Logical Methods in Computer Science, 2012
We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the clover in S is a finite description of the downward closure of the ...
Alain Finkel, Jean Goubault-Larrecq
doaj   +1 more source

Quenched invariance principles for the random conductance model on a random graph with degenerate ergodic weights

, 2017
We consider a stationary and ergodic random field $\{\omega(e) : e \in E_d\}$ that is parameterized by the edge set of the Euclidean lattice $\mathbb{Z}^d$, $d \geq 2$.
Deuschel, Jean-Dominique, Nguyen, Tuan Anh, Slowik, Martin   +2 more
core   +1 more source

Basroparib inhibits YAP‐driven cancers by stabilizing angiomotin

Molecular Oncology, EarlyView.
Basroparib, a selective tankyrase inhibitor, suppresses Wnt signaling and attenuates YAP‐driven oncogenic programs by stabilizing angiomotin. It promotes AMOT–YAP complex formation, enforces cytoplasmic YAP sequestration, inhibits YAP/TEAD transcription, and sensitizes YAP‐active cancers, including KRAS‐mutant colorectal cancer, to MEK inhibition.
Young‐Ju Kwon, Dong Young Kim, Yuna Kim, Uk‐Il Kim, Jae‐Sung Kim   +4 more
wiley   +1 more source

Monotonicity Constraints for Termination in the Integer Domain [PDF]

Logical Methods in Computer Science, 2011
Size-Change Termination (SCT) is a method of proving program termination based on the impossibility of infinite descent. To this end we use a program abstraction in which transitions are described by Monotonicity Constraints over (abstract) variables ...
Amir M. Ben-Amram
doaj   +1 more source

SmallTalk: a novel small‐sized fusion tag for peptide expression and purification

FEBS Open Bio, EarlyView.
The SmallTalk fusion tag allows for the efficient expression and purification of soluble recombinant proteins or peptides in Escherichia coli. Testing with SmallTalk‐GFP confirmed that the proteins were soluble and folded correctly, while SmallTalk‐Bin1b maintained its antimicrobial activity against various bacterial isolates. This streamlined workflow
Atika Tariq, Nestor G. Casillas‐Vega, Alma Gomez‐Loredo, Xristo Zarate   +3 more
wiley   +1 more source

Amortised Resource Analysis with Separation Logic [PDF]

Logical Methods in Computer Science, 2011
Type-based amortised resource analysis following Hofmann and Jost---where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline---have been successful in providing concrete ...
Robert Atkey
doaj   +1 more source

Pioglitazone plus (−)‐epigallocatechin gallate: a novel approach to enhance osteogenic performance in aged bone marrow mesenchymal stem cells

FEBS Open Bio, EarlyView.
Aged human bmMSCs are seeded in the scaffold. Osteoblastic induction can slightly increase cell's bone‐forming activity to produce bone‐like tissues, shown as the sporadic xylenol orange‐stained spots (the lower left image). Notably, pioglitazone plus EGCG co‐treatment dramatically increases cell's bone‐forming activity and bone‐like tissue production (
Ching‐Yun Chen, Jia‐Ci Jhang, Chun‐Yi Peng, Quốc Cường Nguyễn, Feng‐Huei Lin, Hung‐Ming Wu, Shankung Lin   +6 more
wiley   +1 more source

Quantum phases in artificial molecules

, 2001
The many-body state of carriers confined in a quantum dot is controlled by the balance between their kinetic energy and their Coulomb correlation. In coupled quantum dots, both can be tuned by varying the inter-dot tunneling and interactions.
Adourian, Amaha, Asano, Ashoori, Austing, Bayer, Beenakker, Bennet, Bimberg, Biolatti, Blick, Blick, Blick, Brodsky, Bryant, Burkard, Chakraborty, Chen, Chen, Crouch, Elisa Molinari, Eto, Fafard, Filippo Troiani, Fujisawa, Golden, Golden, Guy Austing, Hartmann, Haug, Hu, Hu, Imamura, Imamura, Imamura, Jacak, Kaputnika, Kastner, Klimeck, Kohn, Kotlyar, Kouwenhoven, Kouwenhoven, Kouwenhoven, Landau, Livermore, Lloyd, Lockwood, Lozovik, Maksym, Martı́n-Moreno, Massimo Rontani, Mattis, Matveev, Matveev, Mayrock, Nagaraja, Oh, Oosterkamp, Oosterkamp, Palacios, Partoens, Partoens, Partoens, Partoens, Pfannkuche, Pi, Rontani, Rontani, Rontani, Schedelbeck, Schmidt, Schüller, Slater, Stafford, Tamura, Tarucha, Tokura, Troiani, Ulrich Hohenester, van der Vaart, Wagner, Wang, Waugh, Waugh, Wensauer, Woggon, Yannouleas, Zrenner   +88 more
core   +1 more source

Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham, Sahana Sathyanarayana, Charlotte B. Stewart, Robyn Iredale, Victoria Foster, Debra Galley, Mark Baker, Nicola Pavese   +7 more
wiley   +1 more source