Marcus Isaksson

Learn More
In this study we address the problem of predicting the position of a moving lung tumor during respiration on the basis of external breathing signals--a technique used for beam gating, tracking, and other dynamic motion management techniques in radiation therapy. We demonstrate the use of neural network filters to correlate tumor position with external(More)
We prove a quantitative version of the Gibbard-Satterthwaite theorem. We show that a uniformly chosen voter profile for a neutral social choice function $f$ of $q \geq 4$ alternatives and $n$ voters will be manipulable with probability at least $10^{-4} \eps^2 n^{-3} q^{-30}$, where $\eps$ is the minimal statistical distance between $f$ and the family of(More)
We study constraint satisfaction problems on the domain {&minus;1, 1}, where the given constraints are homogeneous linear threshold predicates, that is, predicates of the form sgn(<i>w</i><sub>1</sub><i>x</i><sub>1</sub> + &ctdot; + <i>w</i><sub>n</sub><i>x</i><sub>n</sub>) for some positive integer weights <i>w</i><sub>1</sub>, ..., <i>w</i><sub>n</sub>.(More)
Software architects seek efficient support for planning and designing models. Many software design tools lack flexibility in combining informal and formal design. In this paper, we present OctoUML, a proof of a concept of a new generation software design environment that supports an effective software design process. The system provides options for(More)
Gaussian isoperimetric results have recently played an important role in proving fundamental results in hardness of approximation in computer science and in the study of voting schemes in social choice theory. In this thesis we prove a generalization of a Gaussian isoperimetric result by Borell and show that it implies that the majority function is optimal(More)
  • 1