The Finagle point (Wuffle et al., 1989), the yolk (McKelvey, 1986; Ferejohn et al., 1984) and the epsilon-core (Wooders, 1983; Salant and Goodstein, 1990; Tovey, 2010; Feld and Grofman, 1991) are three solution concepts that have been proposed to predict the outcome of majority voting in the Euclidean spatial model. Relationships among these three concepts are investigated in (Bra̋uninger, 2007)...

Magnetic reconnection is a driving engine of solar flares, stellar flares, and quite probably bursty events in high-energy astrophysical sites. The reconnection process is driven by a small-scale “dissipation region” surrounding the reconnection point (X-point), at which a plasma ideal condition breaks down. Recently, kinetic particle-in-cell (PIC) simulations have revealed that the electron id...

in this paper we define the notions of ultra and involution ideals in bck-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative bck-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower bck-semilattice, the notions of...

Given distinct points p1, . . . , pr of a smooth variety V (over an algebraically closed field k) and positive integers mi, Z = m1p1 + · · · +mrpr denotes the subscheme defined locally at each point pi by I mi i , where Ii is the maximal ideal in the local ring OV,pi at pi of the structure sheaf. More briefly, we say Z is a fat point subscheme of V . In the case that V is P for some n, it is of...

Three-point Dixon techniques achieve good lipid-water separation by estimating the phase due to field inhomogeneities. Recently it was demonstrated that the combination of an iterative algorithm (iterative decomposition of water and fat with echo asymmetry and least-squares estimation (IDEAL)) with a fast spin-echo (FSE) three-point Dixon method yielded robust lipid-water decomposition. As an a...

A Iogit vector model and a logit ideal point model are presented for external analysis of paired comparison preference judgments aggregated over a homogeneous group. The logit vector model is hierarchically nested within the logit ideal point model so that statistical tests are available to distinguish between these two models. Generalized least squares estimation procedures are developed to ac...

In this paper, the cost of generation and system transmission losses have been considered as objectives for optimization. The multiobjective optimal power dispatch (MOPD) problem is formulated using weighting method and a number of noninferior solutions are generated in 2D space by varying weights for IEEE 5, 14 and 30 bus systems – manually using GA technique, by using GA toolbox of MATLAB R20...

How do you prove the correctness of multi-threaded code? This question has been asked since at least the mid-sixties, and it has inspired researchers ever since. Many approaches have been tried, based on mathematical theories, the use of annotations, or the construction of abstractions. An ideal solution would be a tool that one can point ations. An ideal solution would be a tool that one can p...