Alan Macdonald • Luther College • Decorah, IA 52101 USA • [email protected] 01/18/08 A new statement of the second law of thermodynamics is given. The law leads almost effortlessly, for very general closed systems, to a definition of absolute entropy S, a demonstration that ∆S ≥ 0 in adiabatic processes, a definition of temperature, and a demonstration that dS ≥ δQ/T along quasistatic process...

For a complete cartesian-closed category V with coproducts, and for any pointed endofunctor T of the category of sets satisfying a suitable Beck-Chevalley-type condition, it is shown that the category of lax reflexive (T,V)-algebras is a quasitopos. This result encompasses many known and new examples of quasitopoi.

In recent years, there has been an increasing demand for automatic wheelchair-user detection from a surveillance video to support wheelchair users. However, it is difficult to detect them due to occlusions by surrounding pedestrians in a crowded scene. In this paper, we propose a detection method of wheelchair users robust to such occlusions. Concretely, in case the detector cannot a detect whe...

Many terrorist attacks are accomplished by bringing explosive devices hidden in ordinary-looking objects to public places. In such case, it is almost impossible to distinguish a terrorist from ordinary people just from the isolated appearance. However, valuable clues might be discovered through analyzing a series of actions of the same person. Abnormal behaviors of object fetching, deposit, or ...

For Denjoy–Carleman differentiable function classes C where the weight sequence M = (Mk) is logarithmically convex, stable under derivations, and non-quasianalytic of moderate growth, we prove the following: A mapping is C if it maps C -curves to C -curves. The category of C -mappings is cartesian closed in the sense that C (E, C (F, G)) = C (E × F, G) for convenient vector spaces. Applications...

This paper investigates a consistent versions cwaS of sometimes inconsistent Reiter’s closed world assumption cwa, proving (theorem 4.3) that for every ∀-sentence φ and for every ∀-theory Σ, φ ∈ cwaS(Σ) iff Σ `min φ. A relativized version of this characterization (theorem 7.3) remains valid if not all relations are subject to minimization. Moreover, the paper relates cwaS to cwa and to Minker’s...

Let us assume we are given a triangle K. Is it possible to compute subrings? We show that L′′ → א0. Is it possible to extend super-linearly canonical, embedded equations? In this setting, the ability to characterize additive, regular, closed domains is essential.

Surveillance cameras have been widely installed in large cities to monitor and record human activities for different applications. Since surveillance cameras often record all events 24 hours/day, it necessarily takes huge workforce watching surveillance videos to search for specific targets, thus a system that helps the user quickly look for targets of interest is highly demanded. To this end, ...