Sciweavers

DAGSTUHL
2006
13 years 6 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven
DAGSTUHL
2006
13 years 6 months ago
Bounds and algebraic algorithms in differential algebra: the ordinary case
Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondr...
DAGSTUHL
2006
13 years 6 months ago
Constraint Satisfaction with Succinctly Specified Relations
Abstract. The general intractability of the constraint satisfaction problem (CSP) has motivated the study of the complexity of restricted cases of this problem. Thus far, the liter...
Hubie Chen, Martin Grohe
DAGSTUHL
2006
13 years 6 months ago
New Algebraic Tools for Constraint Satisfaction
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
Henning Schnoor, Ilka Schnoor
DAGSTUHL
2006
13 years 6 months ago
06401 Abstracts Collection - Complexity of Constraints
Nadia Creignou, Phokion G. Kolaitis, Heribert Voll...
DAGSTUHL
2006
13 years 6 months ago
MathBrush: An Experimental Pen-Based Math System
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
George Labahn, Scott MacLean, Mirette S. Marzouk, ...
DAGSTUHL
2006
13 years 6 months ago
Coxeter Lattice Paths
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Wa...
DAGSTUHL
2006
13 years 6 months ago
Market Engineering: An Interdisciplinary Research Challenge
Market engineering is making markets work. Markets are information processing and information producing information systems which mediate allocation of resources within or between...
Christof Weinhardt, Henner Gimpel
DAGSTUHL
2006
13 years 6 months ago
A Bayesian Reputation System for Virtual Organizations
Abstract. Virtual Organizations (VOs) are an emerging business model in today's Internet economy. Increased specialization and focusing on an organization's core competen...
Jochen Haller