Results 51 to 60 of about 1,319,448 (268)
Probabilistic call by push value [PDF]
Logical Methods in Computer Science, 2019 We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both
Thomas Ehrhard, Christine Tasson
doaj +1 more source
Symmetries and Lie algebra of the differential-difference Kadomstev-Petviashvili hierarchy
, 2009 By introducing suitable non-isospectral flows we construct two sets of symmetries for the isospectral differential-difference Kadomstev-Petviashvili hierarchy.
Chen D. Y. +8 more
core +1 more source
Parent‐to‐Child Information Disclosure in Pediatric Oncology
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Despite professional consensus regarding the importance of open communication with pediatric cancer patients about their disease, actual practice patterns of disclosure are understudied. Extant literature suggests a significant proportion of children are not told about their diagnosis/prognosis, which is purported to negatively ...
Rachel A. Kentor +12 more
wiley +1 more source
URSA: A System for Uniform Reduction to SAT [PDF]
Logical Methods in Computer Science, 2012 There are a huge number of problems, from various areas, being solved by reducing them to SAT. However, for many applications, translation into SAT is performed by specialized, problem-specific tools.
Predrag Janicic
doaj +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
Dual canonical bases for the quantum special linear group and invariant subalgebras [PDF]
, 2005 A string basis is constructed for each subalgebra of invariants of the function algebra on the quantum special linear group. By analyzing the string basis for a particular subalgebra of invariants, we obtain a ``canonical basis'' for every finite ...
Zhang, Hechun, Zhang, R. B.
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Neuroblastoma (NB) with central nervous system (CNS) metastases is rare at diagnosis, but occurs more often during relapse/progression. Patients with CNS metastases face a dismal prognosis, with no standardized curative treatment available.
Vicente Santa‐Maria Lopez +13 more
wiley +1 more source
Inductive Definition and Domain Theoretic Properties of Fully Abstract [PDF]
Logical Methods in Computer Science, 2007 A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent non-deterministic ...
Vladimir Sazonov
doaj +1 more source
Population structure of banana shrimp, Penaeus merguiensis De Man, 1888 in the Strait of Hormoz, Persian Gulf [PDF]
, 2018 Monthly length frequency data of banana shrimp, Penaeus merguiensis were collected from the coastal waters of the north east of the Persian Gulf, from January 2012 to January 2013.
Kamrani, E. +3 more
core
Improved limits on short-wavelength gravitational waves from the cosmic microwave background
, 2012 The cosmic microwave background (CMB) is affected by the total radiation density around the time of decoupling. At that epoch, neutrinos comprised a significant fraction of the radiative energy, but there could also be a contribution from primordial ...
A. A. Starobinsky +4 more
core +1 more source