Abstract The self-consistent modeling of vacuum polarization due to virtual electron-positron fluctuations is relevance for many near term experiments associated with high intensity radiation sources and represents a milestone in describing scenarios extreme energy density. We present generalized finite-difference time-domain solver that can incorporate the modifications Maxwell’s equations pol...

Guided Complete Search (GCS) is a generic framework for combining and coordinating a tree search solver and a secondary solver to yield a complete and efficient CSP solver. The primary solver of GCS is systematic tree search augmented with constraint propagation algorithm, which is used to maintain the completeness of the GCS solver. The secondary solver of GCS can either be a complete or incom...

This paper studies the interrelations between independence or conditional independence and causal relations, defined in terms of functional dependence, that hold among variables of interest within the settable system framework of White and Chalak. We provide formal conditions ensuring the validity of Reichenbach’s principle of common cause and introduce a new conditional counterpart, the condit...

Mutual stochastic independences among-algebras and mutual algebraic inde-pendences among elements of semimodular lattices are observed to have a very similar behaviour. We suggest abstract independence structures called I-relations describing it. Presented examination of I-relations resembles a theory of abstract connectedness: a dual characterization of I-relations by families of connected set...

We are studying control knowledge for a general problem solver, named BLOCKHEAD. Currently the problem solver is based on negative heuristics, which has led to surprising efficiency in suitable domains. The lesson seems to be that it is easier to avoid being stupid than to try to be smart. Stupid plans are defined and a plan improvement method proposed. Analyses of stupid plans and failed plans...

Abstract The extreme motions created a negative effect on planing hull. Otherwise, interceptors enable the improvement of hydrodynamic characteristics highspeed craft. total drag ship can be divided into two components: pressure and shear forces. This project specifically aims to predict component based CFD simulation with without an interceptor resistance components. volume fluid is used in co...

We present an OR/MS approach we adopted to stop some of the academic journals subscribed by Nanzan University Library. The problem is formulated as the knapsack problem and solved by the EXCEL Solver. We also show how we implement our solution in our university.