RETURN TO ISSUEPREVEditorialNEXTGiving Credit Where Is Due: Properly Citing Relevant Prior ArtCraig W. Lindsley*Craig Lindsley*Email: [email protected]More by Craig Lindsleyhttp://orcid.org/0000-0003-0168-1445, Jacob M. Hooker*Jacob Hooker*Email: Hookerhttp://orcid.org/0000-0002-9394-7708, and Dennis C. Liotta*Dennis Liotta*Email: Liottahttp://orcid.org/0000-0002-7736-7113Cite this: J. Med. Che...

We demonstrate that in the context of statically typed pure functional lambda calculi, exceptions are strictly more powerful than call/cc. More precisely, we prove that the simply typed lambda calculus extended with exceptions is strictly more powerful than Girard's F ! [6, 15] (a superset of the simply typed lambda calculus) extended with call/cc and abort. This result is established by showin...

0168-583X/$ see front matter 2010 Elsevier B.V. doi:10.1016/j.nimb.2010.11.098 ⇑ Corresponding author. E-mail addresses: [email protected] (L. R uj.edu.pl (Z. Postawa). Molecular dynamics computer simulations are employed to probe processes taking place during continuous irradiation of Ag(1 1 1) surface by keV Ar872 projectiles. Surface modification, the total sputtering yield, and the a...

0168-583X/$ see front matter 2009 Elsevier B.V. doi:10.1016/j.nimb.2009.01.058 * Corresponding author. Fax: +48 12 633 7086. E-mail address: [email protected] (B Molecular dynamics computer simulations have been used to investigate the damage of a benzene crystal induced by 5 keV C20, C60, C120 and C180 fullerene bombardment. The sputtering yield, the mass distributions, and the d...

BACKGROUND Blood flow to the liver is partly maintained by the hepatic arterial buffer response (HABR), which is an intrinsic autoregulatory mechanism. Temporary clamping of the portal vein (PV) results in augmentation in hepatic artery flow (augHAF). Portal hyperperfusion impairs HAF due to the HABR in liver transplantation (LT). The aim of this study is to examine the effect of the HABR on bi...

We study the cost of storage management for garbage-collected programs compiled with the Standard ML of New Jersey compiler. We show that the cost of storage management is not the same as the time spent garbage collecting. For many of the programs, the time spent garbage collecting is less than the time spent doing other storage-management tasks. 1Authors’ addresses: David Tarditi, Computer Sci...

1 The Custodian of the Two Holy Mosques Institute for Hajj and Umrah Research, Umm Al -Qura University, Makkah, Saudi Arabia. 2 Air pollution Department, Nat ional Research Center, Cairo, Egypt. *Corresponding author: [email protected] Mob.: 00201151143456 ; ORCID: 0000-0002-2930-0168 Abstract The current study aimed to: i) Monitor levels of PM10, at Shebika, Haram, Masfala, Azizia, Awa...

0168-1699/$ see front matter Crown Copyright 2 doi:10.1016/j.compag.2011.06.004 ⇑ Corresponding author. Tel.: +1 819 565 91771x25 E-mail address: [email protected] (C. Pom On-farm implementation of the concept of precision livestock farming requires the design and development of new, advanced and often complex equipment. This article proposes an agent-based simulation framework to meet th...

Fusarium wilt is an endemic disease in El Barco de Avila (Castilla y León, west-central Spain), where high-quality common bean cultivars have been cultured for the last century. We used intergenic spacer (IGS) region polymorphism of ribosomal DNA, electrophoretic karyotype patterns, and vegetative compatibility and pathogenicity analyses to assess the genetic diversity within Fusarium oxysporum...