1 Logic and games: historical encounters Logic and games have had several encounters in history. One major factor in the emergence of logic in Antiquity was a systematic interest in the rules of argumentation, which have a clear game-like structure. Games were mathematized for the first time, one might say, in the17th century: when Pascal and Huygens based their idea of probability on betting o...

Isophotes and reflection lines are standard tools for surface interrogation. We study the correlations between them. We show that isophotes and reflection lines are different (but not disjunct) classes of surface curves. Furthermore we introduce the concept of reflection circles as a generalization of isophotes and reflection lines. Reflection circles can be considered as the mirror images of a...

We consider the question whether there exists a set A such that every set polynomial-time Turing equivalent to A is also many-one equivalent to A. We show that if E = NE then no sparse set has this property. We give the first relativized world where there exists a set with this property, and in this world the set A is sparse.

A number of protocols based on the formal dialogue games of philosophy have recently been proposed for interactions between autonomous agents. Several of these proposals purport to assist agents engaged in the same types of interactions, such as persuasions and negotiations, and are superficially different. How are we to determine whether or not these proposals are substantially different? This...

In this letter, we investigate the impact of choosing different loss functions from the viewpoint of statistical learning theory. We introduce a convexity assumption, which is met by all loss functions commonly used in the literature, and study how the bound on the estimation error changes with the loss. We also derive a general result on the minimizer of the expected risk for a convex loss fun...

“Bloat”, a term that has existed in the technical community for many years, has recently received attention in the popular press. The term has a negative connotation implying that human, or system performance is diminished in some way when “bloat” exists. Yet “bloat” is seldom clearly defined and is often a catch-all phrase to suggest that software is filled with unnecessary features. However, ...

a lattice boltzmann method is applied to demonstrate the comparison results of simulating natural convection in an open end cavity using different hydrodynamic and thermal boundary conditions. the prandtl number in the present simulation is 0.71, rayleigh numbers are 104,105 and 106 and viscosities are selected 0.02 and 0.05. on-grid bounce-back method with first-order accuracy and non-slip met...