We study consistency conditions on a M(atrix)-model which would describe M-theory on T . We argue that there is a limit in moduli space for which it becomes a 6+1D theory and study the low-energy description of extended objects in the decompactified limit. We discuss the requirements from a M(atrix)-model which would describe such an E6(6) theory and we suggest that a 1+1D theory with (0, 4) su...

one of the difficulties in using absolute altitudes is the separation between the mean open sealevel and geoid. theoretically, geoid is the base level in absolute altitudes, but practically, the mean open sealevel is used as a base level for absolute altitudes. the difference between these two levels is called as the seasurface topography. in this research, it is dealt the mean sea level modeli...

Model Repair George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, and Panagiotis Katsaros 1 Department of Informatics, Aristotle University of Thessaloniki 54124 Thessaloniki, Greece 2 School of Computer Science, University of Waterloo 200 University Avenue West Waterloo N2L3G1, Canada 3 Department of Computer Science, Stony Brook University Stony Brook, NY 11794-4400, USA Abstract. ...

Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula Φ, and local approaches in which, given a state s in M , the procedure determines whether s satisfies Φ. When s is a term of a process language, the model-checking procedure can be executed “on-the-fly”, driven by the synta...

In this paper, we consider a multi-server queuing system in which additional servers are allowed for a longer queue to reduce the customer’s balking and reneging behavior. The customers are assumed to arrive in Poisson fashion and their service- times follow exponential distribution. The number of servers in long run depends on the queue-length. We obtain equilibrium queue size distribution. Th...

in this model, we establish an inventory model to determine the optimal inventory replenishment scheme for the economic production quantity (epq) model for imperfect, deteriorating items with sales return service under multiple production and rework setup. in one cycle, production process can produces the products in m production setups and reworks the defective items in one rework setup. the c...