We give a construction of coequalisers in formal topology, a predicative version of locale theory. MSC: 03F65, 06D22, 54B15.

We give a new definition of the lower pointwise dimension associated with a Borel probability measure with respect to a general CarathéodoryPesin structure. Then we show that the spectrum of the measure coincides with the essential supremum of the lower pointwise dimension. We provide an example coming from dynamical systems. Résumé Nous donnons une nouvelle définition de la dimension locale in...

In Precision Feeding System of Breeder Swine, RFID is used to collect some important information about the body status of individual swine, IT is banded together with the adjusting of nutrition model, so as to actualize the precision feeding based on the individual status of livestock. The special swine entity is recognized in hoggery locale and its individual information is prompted, so the co...