Steen Vester

Learn More
OBJECTIVE To better appreciate the complex nature of the pediatric patient with tracheal stenosis due to congenital complete tracheal rings, we evaluated clinical presentation, methods of evaluation, necessity for surgical repair, associated anomalies, and outcome. DESIGN Retrospective study. PATIENTS Eighteen patients with long-segment tracheal(More)
We describe the solution used by the Python-DTU team in the Multi-Agent Programming Contest 2011, where the scenario was called Agents on Mars. We present our auction-based agreement algorithm and discuss our chosen strategy and our choice of technology used for implementing the system. Finally, we present an analysis of the results of the competition as(More)
We investigate a model for representing large multiplayer games, which satisfy strong symmetry properties. This model is made of multiple copies of an arena; each player plays in his own arena, and can partially observe what the other players do. Therefore, this game has partial information and symmetry constraints, which make the computation of Nash(More)
An unusual case of transvaginal impalement is presented. At initial exploration the broad ligament and vagina were repaired. When bile drained from suction catheters reexploration revealed an injury to the duodenum and diaphragm. Wounds that penetrate the vagina may injure nonpelvic viscera. Vaginal penetrating wounds should be managed like other abdominal(More)
We provide a brief description of our Python-DTU system, including the overall design, the tools and the algorithms that we used in the Multi-Agent Programming Contest 2012, where the scenario was called Agents on Mars like in 2011. Our solution is an improvement of our Python-DTU system from last year. Our team ended in second place after winning at least(More)
We consider quantitative extensions of the alternating-time temporal logics ATL/ATL * called quantitative alternating-time temporal logics (QATL/QATL *) in which the value of a counter can be compared to constants using equality, inequality and modulo constraints. We interpret these logics in one-counter game models which are infinite duration games played(More)