This article is an exercise in computational jurisprudence. It seems clear that the field of AI and Law should draw upon the insights of legal philosophers, whenever possible. But...
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
Kazimierz Subieta, Yahiko Kambayashi, Jacek Leszcz...
We give a counterexample to a conjecture by Wild about binary matroids. We connect two equivalent lines of research in matroid theory: a simple type of basis-exchange property and ...
Abstract. Solovay's random-real forcing ([1]) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, ...
Leading-edge systems-on-chip (SoC) being designed today could reach 20 Million gates and 0.5 to 1 GHz operating frequency. In order to implement such systems, designers are increa...