Results 41 to 50 of about 196,322 (306)

Intersection types for unbind and rebind

, 2010
We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value.
Alain Frisch, Aleksandar Nanevski, Benjamin C. Pierce, Betti Venneri, Betti Venneri, Davide Ancona, Davide Ancona, Elaine Pimentel, Elena Zucca, Franco Barbanera, Garrel Pottinger, Gavin Bierman, Gordon Plotkin, Henk P. Barendregt, Joe Wells, Laurent Dami, Luc Moreau, Lukas Rytz, Mariangiola Dezani-Ciancaglini, Mariangiola Dezani-Ciancaglini, Mariangiola Dezani-Ciancaglini, Mariangiola Dezani-Ciancaglini, Mariangiola Dezani-Ciancaglini, Mario Coppo, Mario Coppo, Mario Coppo, Oleg Kiselyov, Paola Giannini, Peter Sewell, Walid Taha, Èric Tanter   +30 more
core   +1 more source

Socioeconomic status and treatment outcomes for individuals with HIV on antiretroviral treatment in the UK: cross-sectional and longitudinal analyses [PDF]

, 2016
Background: Few studies have assessed the effect of socioeconomic status on HIV treatment outcomes in settings with universal access to health care. Here we aimed to investigate the association of socioeconomic factors with antiretroviral therapy (ART ...
Apter, Beer, Broadhead, Burch, Chêne, Collazos, Elzi, Girardi, Glass, Goldman, Hawkins, Kalichman, Le Moing, Legarth, Marmot, Moralejo, Nachega, Paterson, Pellowski, Peyrot, Protopopescu, Rosin, Saracino, Saydah, Shacham, Sherr, Simoni, Simoni, Skingsley, Sobrino-Vegas, Speakman, Weiser, Woods, Zaragoza-Macias, Zou   +34 more
core   +6 more sources

A discrete particle simulation study on the influence of restitution coefficient on spout fluidized bed dynamics [PDF]

, 2008
In this paper the influence of the normal restitution coefficient on the bed dynamics\ud during different flow regimes was studied using the discrete element model.
Antonyuk, S., Buijtenen, M.S. van, Deen, N.G., Heinrich, S., Kuipers, J.A.M.   +4 more
core   +3 more sources

Clinical Insights Into Hypercalcemia of Malignancy in Childhood

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Hypercalcemia of malignancy (HCM) is a rare but life‐threatening metabolic emergency in children that occurs in less than 1% of pediatric cancer cases, with a reported incidence ranging from 0.4% to 1.0% across different studies. While it is observed in 10%–20% of adult malignancies, pediatric HCM remains relatively uncommon.
Hüseyin Anıl Korkmaz
wiley   +1 more source

The Impact of the Digital Economy on Energy Rebound: A Booster or Inhibitor?

Economies
Given the compromising effect of energy rebound on energy conservation efforts and environmental sustainability, plentiful research has focused on evaluating its size and scope in the past; however, there is a scarcity in the exploration of its potential
Maliyamu Abudureheman
doaj   +1 more source

The measurement of intraocular pressure over positive soft contact lenses by rebound tonometry

Journal of Optometry, 2016
Purpose: To investigate if the accuracy of intraocular pressure (IOP) measurements using rebound tonometry over disposable hydrogel (etafilcon A) contact lenses (CL) is affected by the positive power of the CLs.
Fabrizio Zeri, Mario De Cusatis, Luigi Lupelli, Peter Graham Swann   +3 more
doaj   +1 more source

Numerical simulation of dark lanes in post-flare supra-arcade [PDF]

, 2009
We integrate the MHD ideal equations to simulate dark void sunwardly moving structures in post--flare supra--arcades. We study the onset and evolution of the internal plasma instability to compare with observations and to gain insight into physical ...
A. Costa, Asai, C. A. Fern��ndez, Fern��ndez, G. Mart��nez, Innes, Innes, Maglione, McKenzie, McKenzie, McKenzie, S. Elaskar, Sheeley, Svestka, Verwichte, Wang, Yee, Zarachay   +17 more
core   +1 more source

Variation of Schmidt hammer rebound values depending on bed thickness and discontinuity surfaces

Scientific Research and Essays, 2011
In this study, Schmidt hammer rebound (HR) values of fine to medium-grained sandstone were measured to investigate the anisotropy effect on strengthaccording to thickness. The highest HR was measured from the thickest (132 cm) bed, with an average value of 43, while the lowest was measured from the thinnest (8 cm) bed, with an average value of 35.
Ozbek, A., Gul, M.
openaire   +1 more source

Investigation of the effect of impact direction on Schmidt rebound values by multivariate regression and neuro-fuzzy model [PDF]

SN Applied Sciences, 2020
Schmidt hammer test is a nondestructive test used in rock characterization and estimation of mechanical properties of rocks. It is an important advantage that the experiment can be carried out for different impact directions. However, a normalization should be performed on the test results because of variation of effect of gravitational forces on ...
openaire   +1 more source

Preferences of Pediatric Patients and Their Caregivers for Chemotherapy‐Induced Nausea and Vomiting Control Endpoints: A Mixed Methods Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Although not always achieved, complete chemotherapy‐induced nausea and vomiting (CINV) control is the conventional goal of CINV prophylaxis. In this two‐center, mixed‐methods study, we sought to understand the preferences of adolescent patients and family caregivers for CINV control endpoints.
Haley Newman, Tadi Hondonga, Alison Berry, Caitlin Elgarten, Jason Freedman, Katelyn Oranges, Sara McDonough, Caroline Diorio, L. Lee Dupuis   +8 more
wiley   +1 more source