Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Logic Closure Spaces, SLCS, extends with reachability connectives that, in turn, can be used expressing interesting spatial properties, such as "being near to" or surrounded by". SLCS constitutes kernel solid logical framework reasoning abo...

Using analytical methods they devised, the authors intend to study economic aspects of racetrack economy described as a continuous-space version new geography model. The main mathematical conclusions are summarized follows: 1) Workers and firms agglomerate only finite number cities, maximum possible emerging cities reduces preference for variety increases or transport cost decreases. 2) further...

the morphology of retinal photoreceptor layer was studied in continuous light-exposed and dark-adapteddomestic male cats (felis catus). the eyes of 12 healthy adult cats (4 in continuous light-exposed group, 4 in continuous dark-adapted group, and 4 in control group) were routinely fixed and studied by electron microscope. results showed that the general structure of photoreceptor layer in this...