We propose an approach for modularizing P-log programs and corresponding compositional semantics based on conditional probability measures. We do so by resorting to Oikarinen and Janhunen’s definition of a logic program module and extending it to P-log by introducing the notions of input random attributes and output literals. For answering to P-log queries our method does not imply calculating ...

In this paper we present PALAIS — a virtual simulation environment for Artificial Intelligence (AI) in games. The environment provides functionality for prototyping, testing, visualisation and evaluation of game AI. It allows definition and execution of arbitrary, three-dimensional game scenes and behaviors. Additionally, PALAIS incorporates a plugin system that supports swift integration of cu...

In wireless sensor networks (WSNs), an efficient allocation of application modules on sensors can reduce application’s execution time, thereby saving energy and extending WSN lifetime. This poster presents a general framework for optimal module allocation in heterogeneous WSNs. The framework relies on an analytical model for the execution time of applications and considers stochastic processing...

We propose an approach for modularizing P-log programs and corresponding compositional semantics based on conditional probability measures. We do so by resorting to Oikarinen and Janhunen’s definition of a logic program module and extending it to P-log by introducing the notions of input random attributes and output literals. For answering to P-log queries our method does not imply calculating ...

We study L-Betti numbers for von Neumann algebras, as defined by D. Shlyakhtenko and A. Connes in [4]. We give a definition of Lcohomology and show how the study of the first L-Betti number can be related to the study of derivations with values in a bi-module of affiliated operators. We show several results about the possibility of extending derivations from sub-algebras and about uniqueness of...

in this paper, we extend some propositions of banachalgebras into module actions and establish the relationships betweentopological centers of module actions. we introduce some newconcepts as                         -property and -property for banach modules and obtain some conclusions inthe topological center of module actions and arens regularity of banachalgebras.

This paper introduces a novel approach to conventional Photovoltaic (PV) modules that involves regulating the internal connections of PV strings (or submodules) using set switches isolate shaded submodules while leaving unshaded unaffected. By extending connection types include parallel or series via an external circuit, along with switches, output voltage and current can be adjusted without re...

in this paper, we  study the arens regularity properties of module actions. we investigate some properties of topological centers of module actions ${z}^ell_{b^{**}}(a^{**})$ and  ${z}^ell_{a^{**}}(b^{**})$ with some conclusions in group algebras.

In this paper we study the relation between module amenability of $theta$-Lau product $A×_theta B$ and that of Banach algebras $A, B$. We also discuss module biprojectivity of $A×theta B$. As a consequent we will see that for an inverse semigroup $S$, $l^1(S)×_theta l^1(S)$ is module amenable if and only if $S$ is amenable.

platform for database languages (or why predicate calculus is not enough). 10 the level of classes (more generally sorts) and the level of modules was already clearly made in the FOOPS language (besides the original paper 17], see also 21] for a very good discussion of inheritance issues and of the class-module distinction in the context of FOOPS), and indeed goes back to the distinction betwee...