LOTOS is a speciication language, but it is not very useful without a design methodology that describes the process from initial speciication construction to implementation. In this paper we discuss the tools to support such a design process. The language, method and tools are beginning to be used in realistic applications, but the research on them continues. This paper concentrates on the curr...

Recently, Cho et al. [Y. J. Cho, R. Saadati, S. H. Wang, Common xed point theorems on generalized distance in ordered cone metric spaces, Comput. Math. Appl. 61 (2011) 1254-1260] dened the concept of the c-distance in a cone metric space and proved some xed point theorems on c-distance. In this paper, we prove some new xed point and common xed point theorems by using the distance in ordered con...

Large-scale production of conical carbon nanostructures is possible through pyrolysis of hydrocarbons in a plasma torch process. The resulting carbon cones occur in five distinctly different forms, and disc-shaped particles are produced as well. The structure and properties of these carbon cones and discs have been relatively little explored until now. Here we characterize the structure of thes...

In this paper we deal with the semivectorial bilevel problem in the Riemannian setting. The upper level is a scalar optimization problem to be solved by the leader, and the lower level is a multiobjective optimization problem to be solved by several followers acting in a cooperative way inside the greatest coalition and choosing among Pareto solutions with respect to a given ordering cone. For ...

ultimate limits of an open pit, which define its size and shape at the end of the mine’s life, is the pit with the highest profit value. a number of algorithms such as floating or moving cone method, floating cone method ii and the corrected forms of this method, the korobov algorithm and the corrected form of this method, dynamic programming and the lerchs and grossmann algorithm based on grap...

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program’s transition relation and then show that the relational abstraction is wellfounded. The focus of current tools has been on developing sophisticated techniques for constructing the abstractions while relying on known decidable logics (such as linear a...

This paper is an attempt to examine the main theorems of social choice theory from the viewpoint of constructive mathematics. We examine the Gibbard–Satterthwaite theorem [A.F. Gibbard, Manipulation of voting schemes: a general result, Econometrica 41 (1973) 587–601; M.A. Satterthwaite, Strategyproofness and Arrow’s conditions: existence and correspondence theorems for voting procedures and soc...

This qualitative research examines propinquity across two grocery shopping situations – real (in-store) and virtual (online). Examining how the same consumers shop for the same or similar commodities provides quasi-experimental conditions to examine differences in shopping behaviour. Convergent interviews with 15 respondents identified that consumer reasons – expectations of convenience, trust ...

Using angle-resolved photoemission spectroscopy (ARPES) and low-energy electron diffraction (LEED), together with density-functional theory (DFT) calculation, we report the formation of charge density wave (CDW) its interplay Kondo effect topological states in CeSbTe. The observed Fermi surface (FS) exhibits parallel segments that can be well connected by CDW ordering vector, indicating order i...