Second-order uniication is undecidable in general. Miller showed that uniication of so-called higher-order patterns is decidable and unitary. We show that the uniication of a linear higher-order pattern s with an arbitrary second-order term that shares no variables with s is decidable and nitary. A few extensions of this uniication problem are still decidable: unifying two second-order terms, w...

Abstract. We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discriminate among neighboring solutions on the basis of uniform information about each individual free variable. What we mean by uniform information, is information which does not depend on the solution: e.g. the num...

We define a model of predicate logic in which every term and predicate, open or closed, has an absolute denotation independently of a valuation of the variables. For each variable a, the domain of the model contains an element JaK which is the denotation of the term a (which is also a variable symbol). Similarly, the algebra interpreting predicates in the model directly interprets open predicat...

Recently it has been argued that some of the fine-tuning problems of the MSSM inflation associated with the existence of a saddle point along a flat direction may be solved naturally in a class of supergravity models. Here we extend the analysis and show that the constraints on the Kähler potentials in these models are considerably relaxed when the location of the saddle point is treated as a f...

Abstract Introduction: In this study the role of PGE2 as an important inflammatory mediator in Indomethacine and Theophylline effects on joint diameter and vascular response of chronically inflamed rat knee joint to saphenous nerve stimulation was investigated. Methods: Inflammation was induced by intraarticular injection of 0.2 ml Freund,s Complete Adjuvant (FCA) and 3, 7, 14, 21 days post i...

In today’s world, green human resource management is one of the most important factors in forward-thinking your environment-friendly business. Most of the researchers are of the view that employees must be empowered and environmentally aware of greening while carrying out green human resource management practices.  The present study is examining the impact of different Green human resource prac...

In this paper we will consider some extensions of the usual term rewrite format, namely: term rewriting with conditions, infmi~y term rewriting and term rewriting with bound variables. Rather than aiming at a complete survey, we discuss some aspects of these three extensions.

The paper consists of two parts. The rst one is a concise introduction to epistemic (both propositional and predicate) logic with common knowledge operator. As the full predicate logics of common knowledge are not even recursively enumerable, in the second part we introduce and investigate the monodic fragment of these logics which allows applications of the epistemic operators to formulas with...

We present a road map for a joint project of the simulation league and the humanoid league that we call 3D2Real. This project is concerned with the integration of these two leagues which is becoming increasingly important as the research fields are converging. Currently, a lot of work is duplicated across the leagues, collaboration is sparse, and knowhow is not transfered effectively. This bind...