CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Solving Satisfiability of Ground Term Algebras Using DPLL and Unification In Proceedings
B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)
January 2004
-
A State Space Distribution Policy based on Abstract Interpretation In Proceedings
S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)
January 2004
-
Keyphrase assignment. Comparison between 'identification cloud' based automatic methods and human experts Tech Report
January 2004
-
Grid approximation of a singularly perturbed boundary value problem modelling heat transfer in the case of flow over a flat plate with suction of the boundary layer Article
Journal of Computational and Applied Mathematics, 166(1), 221-232.J.J.H. Miller (John), G.I. Shishkin (Gregori), B. Koren (Barry) and L.P. Shishkina
January 2004
-
Multi-point Taylor expansions of analytic functions Article
Transactions of the American Mathematical Society, 356(11), 4323-4342.January 2004
-
Automated negotiation and bundling of information goods Tech Report
D.J.A. Somefun (Koye), E.H. Gerding (Enrico), S.M. Bohte (Sander) and J.A. La Poutré (Han)
January 2004
-
Multi-attribute bilateral bargaining in a one-to-many setting Tech Report
E.H. Gerding (Enrico), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)
January 2004
-
Amicable pairs : a survey Article
Fields Institute Communications, 1-19.January 2004