We introduce metaprogramming facilities into the Oberon V system Metaprogramming means that a module can access the struc ture of other modules i e procedures types run time data at run time We discuss how type safety can be enforced in an environment with strong typing Finally we show how metaprogramming can be used to implement an easy to use database interface and conclude with a com parison...

Several logics for reasoning under uncertainty distribute probabil ity mass over sets in some sense These include probabilistic logic Dempster Shafer theory other logics based on belief functions and second order probabilistic logic We show that these logics are in stances of a certain type of linear programming model typically with exponentially many variables We also show how a single linear ...

convexity theory and duality theory are important issues in math- ematical programming. within the framework of credibility theory, this paper rst introduces the concept of convex fuzzy variables and some basic criteria. furthermore, a convexity theorem for fuzzy chance constrained programming is proved by adding some convexity conditions on the objective and constraint functions. finally,...

in this paper, the researchers present a multi-objective linear fractional inventory model using fuzzy pro-gramming. the proposed method in this paper is applied to a problem with two objective functions. the re-sulted fuzzy model is transformed into an ordinary linear programming. the implementation of the develop-ing model presented in this paper is demonstrated through the use of some numeri...

We present a con uent rewrite system which extents a previous calculus of explicit substitu tions for the lambda calculus HaLe to Parigot s untyped lambda mu calculus Par This extension embeds the lambda mu calculus as a sub theory and provides the basis for a theoretical framework to study the abstract properties of implementations of functional pro gramming languages enriched with control str...

In the process of trying to nd a logic query language to use with our genome mapping database we extracted test data from our database and developed a set of representative queries over the data We also synthesized data for a project that does not yet have released data This data is available to those developing or testing logic databases and logic pro gramming languages

Sending mobile robots to accomplish planet exploration missions is scientiically promising and technologically challenging. We present in this paper a complete approach that encompasses the major aspects involved in the design of a robotic system for planetary exploration. It includes mission telepro-gramming and supervision at a ground station, and autonomous mission execution by the remote mo...

Power quality management based environmental optimal power flow (OPF) is a vital re‐ search area for power system operation and control, this type of problem is complex with non-linear constraints where many conflicting objectives are considered like fuel cost, gaz emission, real power loss, voltage deviation, and voltage stability[1-2]. The solution of this multi objective problem becomes more...

The paper presents a transition function based formalism for specifying robot programming frameworks. It deals with systems consisting of multiple embodied agents (e.g., robots), influencing the environment through their effectors and gathering information from the environment through their sensors. The presented examples pertain to behavioral and hybrid behavioral-deliberative agents, but are ...

Leonel Morgado, Maria Cruz, and Ken Kahn 1 Department of Engineering, University of Trás-os-Montes and Alto Douro, Quinta de Prados, 5001801, Vila Real, Portugal 2 Department of Education & Psychology, University of Trás-os-Montes and Alto Douro, Edifício do CIFOP, R. Dr. Manuel Carmona, 5001-801 Vila Real, Portugal 3 Animated Programs, President, 4 Folly Bridge Court, Shirelake Close, Oxford O...