While programming is modeling the reality, reverse engineering is concerned with recovering it from the code. Parts of this reality can be formalized as concepts and relations among them. As previous research suggests, the identification of these concepts is a key issue in automating program analysis. Their central role requires advance reverse engineering tasks to consider them first-class cit...

employing the notions of the strong $l$-topology introduced by zhangand the $l$-frame introduced by yao  and the concept of $l$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf st$l$-top} of strong$l$-topological spaces, {bf s$l$-loc} of strict $l$-locales and{bf $l$-entopsys} of $l$-enriched topological systems. all of theseconcepts are ...

This paper presents a unified user interface technology, using 3D interaction techniques, constructive solid geometry, and a glove based menuing system, known as Tinmith-Hand, to support mobile outdoor augmented reality applications and indoor virtual reality applications. Tinmith-Hand uses similar concepts for both domains so that AR and VR applications are consistent to use. The future goal o...

We present a novel automated technique for the quantitative validation and comparison of multi-agent based crowd egress simulation systems. Despite much progress in the simulation technology itself, little attention has been accorded to the problem of validating these systems against reality. Previous approaches focused on local (spatial or temporal) crowd patterns, and either resorted to visua...

Adverse possession of part parcels permits the variation, rectification, and re-adjustment of boundaries with boundary definition being essential to parcel-based spatial data sets. Adverse possession and part parcel adverse possession address (and provide a possible solution to) two distinct problems by providing a single solution. It is suggested that utilizing adverse possession as a solution...

Is physical reality a single, unified whole – say, a spacetime of four, or ten, or twenty-six dimensions? Or does physical reality divide into parts that are causally and spatiotemporally isolated from one another, so-called “island universes”? I doubt we could ever have good reason to answer this question one way or the other. In this paper, I focus instead on a prior question, one more amenab...

Occlusion culling is a genre of algorithms for rapidly eliminating portions of three-dimensional geometry hidden behind other, visible objects prior to passing them to the rendering pipeline. In this paper, an extension to the popular shadow frustum culling algorithm is presented, which takes into account the fact that many planar occluders can be grouped into compound convex solids, which in t...

In this paper, we study the existence of a skew Killing spinor (see the definition below) on 2 and 3-dimensional Riemannian spin manifolds. We establish the integrability conditions and prove that these spinor fields correspond to twistor spinors in the two dimensional case while, up to a conformal change of the metric, they correspond to parallel spinors in the three dimensional case.