Results 81 to 90 of about 1,353,441 (297)
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance [PDF]
, 2010 Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for LF in the style of recent formulations where only canonical forms are ...
David Aspinall and Adriana B. Compagnoni +10 more
core +8 more sources
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source
Adaptive mesh refinement techniques for high-order finite-volume WENO schemes [PDF]
, 2016 This paper demonstrates the capabilities of Adaptive Mesh Refinement Techniques (AMR) on 2D hybrid unstructured meshes, for high order finite volume WENO methods.
Srinivasan, Harshavardhana +1 more
core
The newfound relationship between extrachromosomal DNAs and excised signal circles
FEBS Letters, EarlyView.Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley +1 more source
Fetal Brain Tumor Harboring a Unique ROCK1::BRAF Fusion
Pediatric Blood &Cancer, EarlyView.
Marllon Cindra Sant'Ana +8 more
wiley +1 more source
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
To Group or Not to Group? Good Practice for Housing Male Laboratory Mice
Animals, 2017 It is widely recommended to group-house male laboratory mice because they are ‘social animals’, but male mice do not naturally share territories and aggression can be a serious welfare problem. Even without aggression, not all animals within a group will
Sarah Kappel +2 more
doaj +1 more source
Journal of Research of the National Institute of Standards and Technology, 2004 Global optimisation methods of structure determination from powder diffraction data have risen to prominence in a relatively short space of time and they now constitute a key approach in the examination of polycrystalline molecular organic materials. A correctly formulated global optimisation approach may be regarded as a "global Rietveld refinement ...
openaire +2 more sources
, 2017 Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby.
Bourgerie, Austin +4 more
core +1 more source