Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations, where composition is ...

Split cuts are among the most important and well-understood cuts for general mixed-integer programs. In this paper we consider some recent generalizations of split cuts and compare their relative strength. More precisely, we compare the elementary closures of split, cross, crooked cross and general multi-branch split cuts as well as cuts obtained from multi-row and basic relaxations. We present...

Integer programs defined by two equations with two free integer variables and nonnegative continuous variables have three types of nontrivial facets: split, triangle or quadrilateral inequalities. In this paper, we compare the strength of these three families of inequalities. In particular we study how well each family approximates the integer hull. We show that, in a well defined sense, triang...

In this paper, we show a general way to interpret the infrastructure of a global field of arbitrary unit rank. This interpretation generalizes the prior concepts of the giant-step operation and f -representations, and makes it possible to relate the infrastructure to the (Arakelov) divisor class group of the global field. In the case of global function fields, we present results that establish ...

We discuss the nonabelian world-volume action which governs the dynamics of N coincident Dp-branes. In this theory, the branes’ transverse displacements are described by matrix-valued scalar fields, and so this is a natural physical framework for the appearance of noncommutative geometry. One example is the dielectric effect by which Dp-branes may be polarized into a noncommutative geometry by ...

Trichoepithelioma is a well-recognized hamartoma of hair germ clinically presenting as solitary or multiple papules. Uncommonly, it may present as a large solitary lesion, termed as giant solitary trichoepithelioma (GST). A 50-year old man presented with a large, pedunculated mass over the root of nose obstructing visual field. It was excised and sent for histopathological examination. H&E stai...

in this study, a new efficient semi-analytical method is introduced to give approximate solutions of strongly nonlinear oscillators. the proposed method is based on combination of two different methods, the multi-step homotopy analysis method and spectral method, called the multi-step spectral homotopy analysis method (msham). in this method, firstly, we propose a new spectral homotopy analysis...

We construct a new harmonic family: dielectric flow solutions with maximal supersymmetry in eleven-dimensional supergravity. These solutions are asymptotically AdS4 ×S7, while in the infra-red the M2 branes are dielectrically polarized into M5 branes. These solutions are holographically dual to vacua of the mass deformed theory on M2 branes. They also provide an interesting insight on the super...

As mentioned before, the success of CASE relies on two noteworthy properties: the Sure Screening (SS) property and the Separable After Screening (SAS) property. In this section, we discuss the two properties in detail, and illustrate how these properties enable us to decompose the original regression problem to many small-size regression problems which can be fit separately. We then use these p...