Results 51 to 60 of about 1,184,149 (273)
, 2002 Number of Pages: 2Integrative BiologyGeological ...
Censky, Ellen J. +2 more
core +1 more source
On the characterization of models of H*: The semantical aspect [PDF]
Logical Methods in Computer Science, 2016 We give a characterization, with respect to a large class of models of untyped lambda-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is H* (observations for head normalization).
Flavien Breuvart
doaj +1 more source
The Black Hole Mass Scale of Classical and Pseudo Bulges in Active Galaxies
, 2014 The mass estimator used to calculate black hole (BH) masses in broad-line active galactic nuclei (AGNs) relies on a virial coefficient (the "$f$ factor") that is determined by comparing reverberation-mapped (RM) AGNs with measured bulge stellar velocity ...
Ho, Luis C., Kim, Minjin
core +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
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [PDF]
Logical Methods in Computer Science, 2005 This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion ...
Luca Aceto +3 more
doaj +1 more source
Call-by-value Termination in the Untyped lambda-calculus [PDF]
Logical Methods in Computer Science, 2008 A fully-automated algorithm is developed able to show that evaluation of a given untyped lambda-expression will terminate under CBV (call-by-value).
Neil D. Jones, Nina Bohr
doaj +1 more source
Molecular Oncology, EarlyView.The number of circulating tumor cells obtained from prostate cancer patients was increased approximately 5‐fold compared to regular CellSearch when processing 2 mL diagnostic leukapheresis material aliquots and increased by 44‐fold when processing 20 mL DLA aliquots using the flow enrichment target capture Halbach‐array.
Michiel Stevens +8 more
wiley +1 more source
Test, Teachers, Quorum (Pure Populations) [PDF]
, 2013 The “trial and error” method is fundamental for Master Minddecision algorithms. On the basis of Master Mind games and strategies weconsider some data mining methods for tests using students as teachers.Voting, twins, opposite, simulate and observer ...
Radev, Slavian
core
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors [PDF]
Logical Methods in Computer Science, 2019 It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the expansion of the B\"
Lionel Vaux
doaj +1 more source
Molecular Oncology, EarlyView.The authors applied joint/mixed models that predict mortality of trifluridine/tipiracil‐treated metastatic colorectal cancer patients based on circulating tumor DNA (ctDNA) trajectories. Patients at high risk of death could be spared aggressive therapy with the prospect of a higher quality of life in their remaining lifetime, whereas patients with a ...
Matthias Unseld +7 more
wiley +1 more source