In this paper we propose the design of a more robust General Game Player, able to successfully play the class of synchronous independent games using Propositional Automata, a framework for reasoning about discrete, dynamic, multiagent systems, developed by the Stanford Logic Group. We prove conditions under which a Propositional Automata represents multiple, synchronous independent subgames, an...

We present a general-purpose method for dynamically factoring a planning domain, whose structure is then exploited by our generic planning method to find sound and complete plans. The planning algorithm’s time complexity scales linearly with the size of the domain, and at worst exponentially with the size of the largest subdomain and interaction between subdomains. The factorization procedure d...

This paper generalizes to the nonlinear case a standard way to solve general sparse systems of linear equations. In particular, Duu 1977] has suggested that row and column interchanges be applied to permute the coeecient matrix of a linear system into block lower triangular form. The linear system then can be solved by using the associated block Gauss-Seidel or forward block substitution scheme...

Traditionally, operating systems have used monolithic network stack implementations: implementations where the whole network stack executes in the kernel or (in microkernels) in a single, trusted, user level server. Code maintenance issues, ease of debugging, need for simultaneous existence of multiple protocols, and security benefit have argued for removing the networking implementation from k...

Abstract. This paper generalizes to the nonlinear case a standard way to solve general sparse systems of linear equations. In particular, Duff [J. Inst. Math. Appl., 19 (1977), pp. 339-342] has suggested that row and column interchanges be applied to permute the coefficient matrix of a linear system into block lower triangular form., The linear system then can be solved by using the associated ...

This paper presents the first parallel implementation of novel “Interpolated Factored Green Function” (IFGF) method introduced recently for accelerated evaluation discrete integral operators arising in wave scattering and other areas (Bauinger Bruno, Jour. Computat. Phys., 2021). On basis hierarchical IFGF interpolation strategy, proposed (hybrid MPI-OpenMP) results efficient data communication...