نتایج جستجو برای: β cuts

تعداد نتایج: 190224  

Journal: :Archive for Rational Mechanics and Analysis 2022

Abstract In this work we study statistical properties of graph-based clustering algorithms that rely on the optimization balanced graph cuts, main example being Cheeger cuts. We consider proximity graphs built from data sampled an underlying distribution supported a generic smooth compact manifold $${\mathcal {M}}$$ M </...

Journal: :Math. Log. Q. 2008
Richard Kaye

We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of ‘indicator’ is defined in a novel way, without initially specifying what property is indicated and is used to define a topological space of cuts of the model. Various familiar properties of cuts (strength, regularity, saturation, coding pr...

2011
Suresh Thummalapenta Madhuri R. Marri Tao Xie Nikolai Tillmann Jonathan de Halleux

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...

Journal: :Cadernos de saude publica 2017
Raquel Siqueira Barcelos Iná S Santos Alicia Matijasevich Aluísio J D Barros Fernando C Barros Giovanny Vinicius Araújo França Vera Lúcia Schmidt da Silva

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...

Journal: :Theor. Comput. Sci. 2013
Kosta Dosen Zoran Petric

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 ...

Journal: :Math. Program. 2008
Sanjeeb Dash Oktay Günlük

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...

Journal: :Meat science 2011
H C Schönfeldt P E Strydom

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 ...

Journal: :Nature chemical biology 2009
Matthew Bogyo

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...

2010
Stefanie Jegelka Jeff Bilmes

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید