Toggle light / dark theme

The exercise that ‘will increase your chances of living into your 90s and 100s’

The author and National Geographic fellow shared on Instagram that “gardening is much better than joining any gym”

The explorer and educator, 63, dubbed the outdoor activity as “the best longevity exercise you could do”

Buettner has become well known for his research into five “blue” zones across the world where inhabitants regularly live well into their old age.

New all-optical approach could miniaturize night vision technology

Miniaturizing could therefore lead to widespread adoption. Creating night vision filters that weigh less than a gram and can sit as a film across a pair of traditional spectacles opens up new, everyday applications.

Consumer night vision glasses that allow the user to see the visible and at the same time could result in safer driving in the dark, safer nighttime walks, and less hassle working in low-light conditions that currently require bulky and often uncomfortable headlamps.

In research published in Advanced Materials, TMOS researchers from the Australian National University demonstrate enhanced infrared vision non-linear upconversion technology using a non-local lithium niobate metasurface.

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

It sure looks like other philosophers are using the Stone duality in ways that are a lot more sophisticated than my own way!

Abstract In this paper we present a point-free theory of Whiteheadean style of space and time.


In this paper we present a point-free theory of Whiteheadean style of space and time. Its algebraic formulation, called dynamic contact algebra (DCA), is a Boolean algebra whose elements symbolized dynamic regions changing in time, with two spatio-temporal mereotopological relations between them: stable and unstable contact. We prove several representation theorems for DCAs, representing them in structures arising from products of contact algebras or from products of topological spaces. We also present a decidable quantifier-free constraint logic for reasoning about stable and unstable mereotopological relations between dynamic regions. We consider the paper as a first step in point-free dynamic mereotopology.

/* */