Results 61 to 70 of about 1,543,905 (277)
Linear-use CPS translations in the Enriched Effect Calculus [PDF]
Logical Methods in Computer Science, 2012 The enriched effect calculus (EEC) is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. This paper explores the enriched effect calculus as a target language for continuation-passing-style (CPS ...
Jeff Egger +2 more
doaj +1 more source
Pseudoscalar qqbar mesons and effective QCD coupling enhanced by
, 2003 Recent developments provided evidence that the dimension 2 gluon condensate is important for the nonperturbative regime of Yang-Mills theories (quantized in the Landau gauge). We show that it may be relevant for the Dyson-Schwinger approach to QCD.
Dalibor Kekez +2 more
core +4 more sources
A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins
FEBS Letters, EarlyView.We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue +6 more
wiley +1 more source
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems [PDF]
Logical Methods in Computer Science, 2012 We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity.
Takahito Aoto, Yoshihito Toyama
doaj +1 more source
Magnetic susceptibility of ultra-small superconductor grains
, 2004 For assemblies of superconductor nanograins, the magnetic response is analyzed as a function of both temperature and magnetic field. In order to describe the interaction energy of electron pairs for a huge number of many-particle states, involved in ...
C. P. Poole +5 more
core +1 more source
Molecular Oncology, EarlyView.Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié +16 more
wiley +1 more source
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani +2 more
doaj +1 more source
Using magnetic stripes to stabilize superfluidity in electron-hole double monolayer graphene
, 2015 Experiments have confirmed that double monolayer graphene cannot generate finite temperature electron-hole superfluidity. This has been shown to be due to very strong screening of the electron-hole pairing attraction.
Covaci, Lucian +3 more
core +1 more source
Molecular Oncology, EarlyView.Plasma‐based detection of actionable mutations is a promising approach in lung cancer management. Analysis of ctDNA with a multigene NGS panel identified TP53, KRAS, and EGFR as the most frequently altered, with TP53 and KRAS in treatment‐naïve patients and TP53 and EGFR in previously treated patients.
Giovanna Maria Stanfoca Casagrande +11 more
wiley +1 more source
Semantics and Algorithms for Parametric Monitoring [PDF]
Logical Methods in Computer Science, 2012 Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining.
Grigore Rosu, Feng Chen
doaj +1 more source