Dialectical Frameworks Revisited∗ Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass Institute of Computer Science, Leipzig University Johannes Peter Wallner and Stefan Woltran Institute of Information Systems, Vienna University of Technology

Recent Research: Slice knots. A knot K ⊂ S is called slice, if it bounds a smooth 2-disk in D. In higher odd dimensions Levine [Le69], [Le69b] found a computable algebraic method of determining whether a knot is slice or not. In 1975 Casson and Gordon [CG86] first found examples which show that the high dimensional results (which relied on the Whitney trick) can not be extended to the case of o...

The physical model describing heat transfer and melting taking place during and after the interaction of a laser beam with a semi-infinite metal surface is based on the classical Stefan problem with appropriately chosen boundary conditions to reflect direct selective laser sintering of metals. A level set method for solving this problem is presented in this paper. From the results of these comp...

We reduce the two phase Stefan problem with kinetic to a system of nonlinear Volterra integral equations of second kind and apply Newton's method to linearize it. We found product integration solution of the linear form. Sufficient conditions for convergence of the numerical method are given and their applicability is illustrated with an example.

Stefan problem with kinetics is reduced to a system of nonlinear Volterra integral equations of second kind and Newton's method is applied to linearize it. Product integration solution of the linear form is found and sufficient conditions for convergence of the numerical method are given. An example is provided to illustrated the applicability of the method.