Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint has even led to a number of object-oriented (OO) programming languages outside the Smalltalk tradition adopting functional features such as lambdas and thereby function closures. However, despit...

OBJECTIVE To compare the surgical outcomes of stapled and handsewn closures in loop ileostomies. METHODS The data of 225 patients requiring loop ileostomies from 2002 to 2007 were retrospectively evaluated. The patients underwent partial small-bowel resections and either handsewn or stapled anastomoses for the ileostomy closures. They were followed up postoperatively with routine surgical exa...

Inspired by the recent experiments [1]-[3] indicating unusual doubly magic nucleus O which lies just at the neutron drip-line and encouraged by the success of our relativistic mean-field (RMF) plus state dependent BCS approach for the description of the ground state properties of the drip-line nuclei [23]-[27], we have further employed this approach, across the entire periodic table, to explore...

In this paper we consider the new type structure that has been proposed for Java closures, in the last Java Specification Language [BS11a]. This structure uses SAM types that are in fact, nominal types instead of the structural, functional types, used in the previous, proposals. In addition, it allows type inference for closures and for closure arguments. Through a technique, already consolidat...

This paper reexamines policies and outcomes concerning the NY Bight Restoration Plan, and the NY-NJ Harbor Estuary Program (NYNJHEP) precipitated by washups of marine debris and medical wastes in the New York Bight some 25-years ago. Findings indicate progress has been made but further work is necessary. Extensive beach closures have not occurred since 1987-88, although localized closings occur...

We study the existential closures of several propositional languages L considered recently as target languages for knowledge compilation (KC), namely the incomplete fragments KROM-C, HORN-C, K/H-C, renH-C, AFF, and the corresponding disjunction closures KROM-C[∨], HORN-C[∨], K/H-C[∨], renH-C[∨], and AFF[∨]. We analyze the queries, transformations, expressiveness and succinctness of the resultin...

Hospital closures occur from time to time. These closures affect not only the patients that depend on the hospitals but also the economy in many rural areas. Many factors come into play when a hospital decides to shut off services. Although influencing reasons may vary, hospital closures are likely to be caused by financial shortfalls. In the USA recently, several rural hospitals have closed an...

We report on work in progress on automatic procedures for proving properties of programs written in higher-order functional languages. Our approach encodes higher-order programs directly as first-order SMT problems over Horn clauses. It is straight-forward to reduce Hoare-style verification of first-order programs into satisfiability of Horn clauses. The presence of closures offers several chal...

In this paper we estimate the economic loss of hypothetical beach closures on the Padre Island National Seashore on the Gulf Coast of Texas. We use a travel cost random utility maximization (RUM) model with data from a random phone survey of Texas residents completed in 2001. We simulate realistic closures that may occur in event of an oil spill or other disruption. For comparison we valued the...

Just as classical knots and links can be represented by the closures of braids, so can virtual knots and links be represented by the closures of virtual braids [17]. Virtual braids have a group structure that can be described by generators and relations, generalizing the generators and relations of the classical braid group. This structure of virtual braids is worth study for its own sake. The ...