Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Abstract—We propose a new geometric spanner for wireless ad hoc networks, which can be constructed efficiently in a distributed manner. It integrates the connected dominating se...
A geometrical modelling tool allowing construction of models of living cells and their organelles would facilitate understanding of biological processes at the cellular level. Her...
The population vector code relates directional tuning of single cells and global, directional motion incited by an assembly of neurons. In this paper three things are done. First, ...
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...