Results 41 to 50 of about 2,904,652 (288)
A simple sequent calculus for nominal logic [PDF]
, 2013 Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values ...
Cheney, James
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background/Objectives Osteosarcoma is a radioresistant tumor that may benefit from stereotactic body radiation therapy (SBRT) for locoregional control in metastatic/recurrent disease. We report institutional practice patterns, outcomes, toxicity, and failures in osteosarcoma patients treated with SBRT.
Jenna Kocsis +13 more
wiley +1 more source
Changes in Livonian first names in Salaca during the 17th and 18th centuries
Eesti ja Soome-ugri Keeleteaduse Ajakiri, 2016 Under examination are the developments that occurred in name traditions that were caused by Christianisation as can be ascertained on the basis of written sources.
Aldur Vunk
doaj +1 more source
The Computer and the Classification of Script [PDF]
, 2009 In the 1970s Bernhard Bischoff famously predicted that, thanks to technology, palaeography was on the road to becoming an art of measurement. The journey down this road has not been smooth, however, for several reasons.
Stansbury, Mark
core
, 2016 Part of the work of the Members of the EEC during the Congress of Celje consisted in reading and studying narrations of conversions to the faith today. In the months prior to the Congress, 4 testimonies of conversion were gathered.
Sultana, Carl-Mario
core +2 more sources
Lifestyle Behaviors and Cardiotoxic Treatment Risks in Adult Childhood Cancer Survivors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Higher doses of anthracyclines and heart‐relevant radiotherapy increase cardiovascular disease (CVD) risk. This study assessed CVD and CVD risk factors among adult childhood cancer survivors (CCSs) across cardiotoxic treatment risk groups and examined associations between lifestyle behaviors and treatment risks.
Ruijie Li +6 more
wiley +1 more source
New Trends in Yorùbá Personal Names among Yorùbá Christians [PDF]
, 2014 In this paper, we examine new trends in Yorùbá personal names that are first names among Yorùbá Christians. The data used include data drawn from previous studies on Yorùbá personal names, the lists of names of the candidates of the Joint Admissions ...
̀Ikọ̀tún, Reuben Olúwáfẹ́mi
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT We present two pediatric cases of pediatric low‐grade gliomas (PLGG) with BRAF V600E mutations diagnosed and monitored using cerebrospinal fluid (CSF) liquid biopsy analyzed via digital droplet PCR (ddPCR), without tissue biopsy. Both patients were treated with dabrafenib and trametinib and monitored through clinical assessments, magnetic ...
Hannah Sultan +5 more
wiley +1 more source
Crypotograms on the Prowl [PDF]
, 1987 One of the fundamental ways of enciphering a text for the purpose of concealing its message is to rearrange the letters of which it consists. The result is a so-called transposition cipher. If we apply its principle to individual words or names, we can
Borgmann, Dmitri A.
core +1 more source
Nominal Unification from a Higher-Order Perspective
, 2010 Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as distinct entities.
Levy, Jordi, Villaret, Mateu
core +1 more source