213
click to vote
CASC
9 years 11 months ago
2015 Springer 
Abstract. In this paper we present the computer-supported theory exploration, including both formalization and verification, of a theory in commutative algebra, namely the theory ...
206
click to vote
CALCO
9 years 11 months ago
2015 Springer 
A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watana...
201
click to vote
CALCO
9 years 11 months ago
2015 Springer 
We introduce a method to lift monads on the base category of a fibration to its total category using codensity monads. This method, called codensity lifting, is applicable to var...
201
click to vote
CASC
9 years 11 months ago
2015 Springer 
Abstract. Recently, the authors presented a novel approach to computing resolutions and Betti numbers using Pommaret bases. For Betti numbers, this algorithm is for most examples m...
187
click to vote
ASMTA
9 years 11 months ago
2015 Springer 
This paper studies interconnected wireless sensors with the paradigm of Energy Packet Networks (EPN) which were previously introduced. In the EPN model, both data transmissions and...
|
Mathematics