We study the mechanism design problem where planner can observe ex-post first-ranked alternatives or peaks of voter preferences. contrast this with has ex-ante information regarding

This paper describes the integration of computer algebra systems and constraint solvers into proof planners. It shows how e cient external reasoners can be employed in proof planning and how the shortcuts of the external reasoners can be expanded to veri able natural deduction proofs in the proof planning framework. In particular, these shortcuts simplify and guide the formal proof. The paper i...

Modelling and simulating the traffic of heavily used but secure environments such as seaports and airports is of increasing importance. This paper discusses issues and problems that may arise when extending an existing microsimulation strategy. This paper discusses the simulations and how extensions of these simulations can aid planners with optimal physical and operational feedback. Conclusion...

This research aims to find an answer to the question of which knowledge and skills do the Turkish urban planners need in their business practice. Understanding change in cities, making a prediction, making an urban decision and putting it into practice, working together with actors from different organizations from various academic disciplines, persuading people to accept something and developi...

Workplace learning is becoming increasingly important in all fields. While workplace learning in medicine, also called practice-based learning and improvement (PBLI) is not new, understanding how it works and how it fits with an individual physician's continuing professional development is new. In this article, we describe seven issues associated with PBLI and then pose questions for reflection...