7016005
Non standard Analysis in WKL0
Within a weak subsystem of second-order arithmetic WKL0, we develop basic part of non-standard analysis up to the Peano existence theorem.
8895020
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic
Abstract.By RCA0, we denote a subsystem of second order arithmetic based on Δ01 comprehension and Δ01 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA0.
62238493
Two-Level Schemata and Generalized Links for Hypertext Database Models
3247078
Individual Level Analysis Using Decision Making Features in Multiagent Based Simulation
We introduce a set of evaluation tools in the framework of individual level analysis for multiagent based simulations. These tools are intended to overcome the weak points of multiagent systems: that it is difficult to avoid mistakes in description and arbitrary modeling; and to find reliable explanations of causal relationships between the model and its result. We analyze some artificial market models using an evaluation process that consists of the evaluation of initial learning maturity, discrimination between models, and the visualization of attention tendency in a group. We conclude that these analytical methods are useful for the evaluation of multiagent based simulations in terms of validation and finding causal relations.
205099974
Organization of quasi-consecutive retrieval files
Abstract In 1972, Ghosh introduced the consecutive retrieval (CR) file organization. It is an efficient file organization in which all records pertinent to a query are consecutively stored on linear storage locations. In this paper, we introduce the quasi-consecutive retrieval (QCR) file organization. The QCR file organization is an extension of Ghosh's CR file organization and normally offers less redundancy. In the QCR file, all the records pertinent to each query are not necessarily stored consecutively, but rather they are stored within an area of the buffer size. In this paper, we discuss graph theoretic properties of CR files and QCR files by using the properties of interval graphs well known in graph theory. We provide a basic condition for the existence of a QCR file without redundancy for a given buffer size. By introducing redundant queries, such a condition is simplified. Furthermore, a heuristic computer algorithm is given to organize a QCR file with less redundancy for a given buffer size.
11983347
Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference
Linear response formulas for the generalized belief propagation in approximate inference are derived by using generalized belief propagation. The linear response formulas can give us the marginal probability between every pair of nodes and we obtain good accuracy in some examples of practical probabilistic inferences
44800514
Logical Integration of Locally Independent Relational Databases into a Distributed Database
This paper discusses a constraint integration problem, which occurs in constructing a global view of a distributed database by local relational databases. Each local database has its own semantic constraints. such as functional, join and embedded join dependencies (FDs. JDs and EJDs, respectively). A global view of a distributed database is assumed to be defined by taking a join of these local databases. Some dependency constraints on a local database may be violated on a global view. 
 
In this paper, we show (a) the relationship between dependencies of local databases and dependencies appearing in a global view, (b) a testing method whether an EJD appears in a global view when only FDs and JDs are given to each local database, end (c) some conditions for a JD of a local database to appear in a global view as an EJD.