CASC
2015
Springer
8 years 5 months ago
2015
Springer
This survey of mathematical approaches to quasi-steady state (QSS) phenomena provides an analytical foundation for an algorithmicalgebraic treatment of the associated (parameter-de...
CASC
2015
Springer
8 years 5 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 ...
CASC
2015
Springer
8 years 5 months ago
2015
Springer
CASC
2015
Springer
8 years 5 months ago
2015
Springer
We outline a method for computing the tangent cone of a space curve at any of its points. We rely on the theory of regular chains and Puiseux series expansions. Our approach is nov...
SAGT
2015
Springer
8 years 5 months ago
2015
Springer
In many markets, products are highly complex with an extremely large set of features. In advertising auctions, for example, an impression, i.e., a viewer on a web page, has numerou...
SAGT
2015
Springer
8 years 5 months ago
2015
Springer
SAGT
2015
Springer
8 years 5 months ago
2015
Springer
In Smart City and Participatory Sensing initiatives the key concept is for user communities to contribute sensor information and form a body of knowledge that can be exploited by i...
SAGT
2015
Springer
8 years 5 months ago
2015
Springer
We study a very general cost-sharing scheduling game. An instance consists of k jobs and m machines and an arbitrary weighed bipartite graph denoting the job strategies. An edge co...
SAGT
2015
Springer
8 years 5 months ago
2015
Springer
Abstract. We consider the problem of allocating indivisible goods using the leading notion of fairness in economics: the competitive equilibrium from equal incomes. Focusing on two...
SAGT
2015
Springer
8 years 5 months ago
2015
Springer
