LexLeader, a state of the art static symmetry breaking method, adds a lex ordering constraint for each variable symmetry of the problem to select the lexicographically least solution. In practice, the same method can also be used for partial symmetry breaking by breaking only a given subset of symmetries. We propose a new total ordering, reflex, as basis of a new symmetry breaking constraint th...

When dividing a “manna” ? of private items (commodities, workloads, land, time slots) between n agents, the individual guarantee is welfare each agent can secure in worst case other agents’ preferences and actions. If manna nonatomic utilities are continuous (not necessarily monotone or convex) minmax utility, that our agent’s best share partition manna, guaranteed by Kuhn’s generalization divi...

mannea is the most important state, which was established before median kingdom and ruled on vast part of northwestern iran for several centuries. manneaen were from hurrian race and language and probably entered the region about 1500 b.c. in their political life although they suffered many inva-sions from assyria and urartu, they kept their political and cultural independence and expended thei...

In this paper, we develop and apply an analytical model to predict the performance of McGill's EARTH-MANNA multithreaded multiprocessor system. The performance model is evolved from a closed queuing network model for multithreaded architectures reported in our earlier work [17]. In this work, we extend the original model to account for the complications due to realistic subsystem interactions a...

A successful renormalization-group (RG) approach may provide signinicant insights of a system exhibiting power-law dependencies. In 1994, a RG scheme [1] was proposed for sandpile models which exhibit power-law behavior and function as the models of self-organized criticality [2]. One momentous result of such a RG approach is that BakTang-Wisenfeld (BTW) [2] sandpile posepossing a deterministic...

A mixed manna contains goods (that everyone likes), bads (that everyone dislikes), as well as items that are goods to some agents, but bads or satiated to others. If all items are goods and utility functions are homogeneous of degree one, concave (and monotone), the competitive division maximizes the Nash product of utilities (Gale-Eisenberg): hence it is welfarist (determined by the set of fea...

In this paper we investigate total correctness (termination and correctness simultaneously) in Nonstandard Dynamic Logic (NDL). Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a first order notion if approached properly (e.g. via NDL). In Definition 1 below we recall the famous Manna-Cooper Q-method for proving total correctness. Then we do the same things to ...

Sandpile models with conserved number of particles (also called fixed energy sandpiles) may undergo phase transitions between active and absorbing states. We generalize the Manna sandpile model with fixed number of particles, introducing a parameter −1≤ λ≤ 1 related to the toppling of particles from active sites to its first neighbors. In particular, we discuss a model with height restrictions,...