Recent advances in software testing introduced parameterized unit tests (PUT), which accept parameters, unlike conventional unit tests (CUT), which do not accept parameters. PUTs are more beneficial than CUTs with regards to fault-detection capability, since PUTs help describe the behaviors of methods under test for all test arguments. In general, existing applications often include manually wr...

Knowledge on the incidence of childhood accidents according to the child's stage of development is important for designing preventive programs targeting each age bracket. The aim of this study was to describe the incidence of falls, cuts, and burns in children up to four years of age according to family economic status and maternal age and schooling, in children from the 2004 Pelotas (Brazil) b...

Plural (or multiple-conclusion) cuts are inferences made by applying a structural rule introduced by Gentzen for his sequent formulation of classical logic. As singular (singleconclusion) cuts yield trees, which underlie ordinary natural deduction derivations, so plural cuts yield graphs of a more complicated kind, related to trees, which this paper defines. Besides the inductive definition of ...

Gomory mixed-integer (GMI) cuts generated from optimal simplex tableaus are known to be useful in solving mixed-integer programs. Further, it is well-known that GMI cuts can be derived from facets of Gomory’s master cyclic group polyhedron and its mixed-integer extension studied by Gomory and Johnson. In this paper we examine why cutting planes derived from other facets of master cyclic group p...

The tenderness characteristics of 15 primal cuts of beef of three different age groups were assessed, and the most reliable cut to predict carcass tenderness was determined. Fifteen wholesale cuts from each age group, representing the full variation in fatness, were aged, cooked and underwent sensory evaluation, shear force resistance and proximate analysis. Collagen content and solubility was ...

type II diabetes5. However, like most proteases, a complete picture of the targets of DPP4 is lacking, which makes it difficult to anticipate metabolic function has prompted the development of a number of small-molecule inhibitors of DPP4, including sitagliptin (Januvia), which was recently approved by the US Food Proteases are enzymes that perform the basic task of cutting up other proteins an...

We introduce a problem we call Cooperative cut, where the goal is to find a minimum-cost graph cut but where a submodular function is used to define the cost of a subsets of edges. That means, the cost of an edge that is added to the current cut set C depends on the edges in C. This generalization of the cost in the standard min-cut problem to a submodular cost function immediately makes the pr...

This paper presents scaled quadratic cuts based on scaling the second-order Taylor expansion terms for the decomposition methods Outer Approximation (OA) and Partial Surrogate Cuts (PSC) used for solving convex Mixed Integer Nonlinear Programing (MINLP). The scaled quadratic cut is proved to be a stricter and tighter underestimation for the convex nonlinear functions than the classical supporti...

Chvátal-Gomory and Gomory fractional cuts are well-known cutting planes for pure integer programming problems. Various methods for strengthening them are known, for example based on subadditive functions or disjunctive techniques. We present a new and surprisingly simple strengthening procedure, discuss its properties, and present some computational results.