We investigate the computational content of the axiom of determinacy (AD) in the setting of classical arithmetic in all finite types with the principle of dependent choices (DC). By employing the notion of realizability interpretation for arithmetic given by Berardi, Bezem and Coquand (1998), we interpret the negative translation of AD. Consequently, the combination of the negative translation ...

soil salinity affects ions concentrationss of plant tissues and this may alter the merits quality of medicinal plants. experiments were conducted during 2003 at the the isfahan university of technology campus, isfahan, iran, to assess the effects of five soil salinity levels (3.2, 3.6, 4.5, 5.4 and 7.5 ds m-1) on na, k, and ca contents of borage and echium. each plant species was studied in a s...

background and objective : the prevalence of community acquired methicillin resistant staphylococcus aureus (ca-mrsa) is increasing around the world. it involves healthy people and causes a variety of diseases. material and methods : this cross sectional study was conducted from september 2010 - june 2011 on children less than 14 years of ahvaz, southwest iran. the participants were selected wi...

background: the number of interventional cardiology (ic) procedures has increased rapidly. coronary angiography (ca) and percutaneous transluminal coronary angioplasty (ptca) are now widely performed as a matter of routine, and they are considered safe procedures for experienced cardiologists. however, it is also known that these procedures are associated with high radiation doses due to long f...

This report documents our efforts to develop a Generation Challenges 2011 surface realization system by converting the shared task deep inputs to ones compatible with OpenCCG. Although difficulties in conversion led us to employ machine learning for relation mapping and to introduce several robustness measures into OpenCCG’s grammar-based chart realizer, the percentage of grammatically complete...

Address reprint requests to Dr. Reto Krapf, Division of Nephroiogy, 1065 HSE, University of California, San Francisco, CA 94143. J. GEN. PSVSlOL. @ The Rockefeller University Press 9 0022-1295/87/12/0833/21 $2.00 833 Volume 90 December 1987 833-853 on July 2, 2017 jgp.rress.org D ow nladed fom 834 T H E JOURNAL OF GENERAL PHYSIOLOGY 9 VOLUME 90 9 1987

Grammar-based surface realizers require inputs compatible with their reversible, constraint-based grammars, including a proper representation of unbounded dependencies and coordination. In this paper, we report on progress towards creating realizer inputs along the lines of those used in the first surface realization shared task that satisfy this requirement. To do so, we augment the Universal ...