Results 71 to 80 of about 1,319,448 (268)
Sodium Rich Vanadium Oxy‐Fluorophosphate – Na3.2Ni0.2V1.8(PO4)2F2O – as Advanced Cathode for Sodium Ion Batteries [PDF]
, 2023 Rachid Essehli +11 more
openalex +1 more source
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata [PDF]
Logical Methods in Computer Science, 2007 Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run.
Klaus Aehlig
doaj +1 more source
FEBS Open Bio, EarlyView.Tandem VHH targeting distinct EGFR epitopes were engineered into a monovalent bispecific antibody (7D12‐EGA1‐Fc) with more potent ADCC without increasing affinity to EGFR. Structural modeling of 7D12‐EGA1‐Fc showed cross‐linking of separate EGFR domains to enhance CD16a engagement on NK cells.
Yuqiang Xu +5 more
wiley +1 more source
A Distribution Law for CCS and a New Congruence Result for the pi-calculus [PDF]
Logical Methods in Computer Science, 2008 We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge,
Daniel Hirschkoff, Damien Pous
doaj +1 more source
FEBS Open Bio, EarlyView.Clinical analysis reveals significant dysregulation of FGFRL1 in esophageal cancer (EC) patients. RNAi‐coupled next‐generation sequencing (NGS) and in vitro study reveal FGFRL1‐mediated EC progression via EMT, PI3K/Akt, and Notch pathways. Functional assays confirm its role in tumor growth, migration, and invasion.
Aprajita Srivastava +3 more
wiley +1 more source
Isomorphisms of types in the presence of higher-order references (extended version) [PDF]
Logical Methods in Computer Science, 2012 We investigate the problem of type isomorphisms in the presence of higher-order references. We first introduce a finitary programming language with sum types and higher-order references, for which we build a fully abstract games model following the work ...
Pierre Clairambault
doaj +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 +7 more
wiley +1 more source
Generalizing determinization from automata to coalgebras [PDF]
Logical Methods in Computer Science, 2013 The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgebras ...
Alexandra Silva +3 more
doaj +1 more source
Size segregation and convection
, 1995 The size segregation of granular materials in a vibrating container is investigated using Molecular Dynamics. We find that the rising of larger particles is accompanied by the existence of convection cells even in the case of the lowest possible ...
Allen M P +13 more
core +2 more sources