TY - THES
AU - Riechers, Sören
ID - 704
TI - Scheduling with Scarce Resources
ER -
TY - CONF
AU - Polevoy, Gleb
AU - Trajanovski, Stojan
AU - Grosso, Paola
AU - de Laat, Cees
ID - 17652
KW - flow
KW - filter
KW - MMSA
KW - set cover
KW - approximation
KW - local ratio algorithm
SN - 978-3-319-71150-8
T2 - Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
TI - Filtering Undesirable Flows in Networks
ER -
TY - GEN
AB - We consider a swarm of $n$ autonomous mobile robots, distributed on a
2-dimensional grid. A basic task for such a swarm is the gathering process: All
robots have to gather at one (not predefined) place. A common local model for
extremely simple robots is the following: The robots do not have a common
compass, only have a constant viewing radius, are autonomous and
indistinguishable, can move at most a constant distance in each step, cannot
communicate, are oblivious and do not have flags or states. The only gathering
algorithm under this robot model, with known runtime bounds, needs
$\mathcal{O}(n^2)$ rounds and works in the Euclidean plane. The underlying time
model for the algorithm is the fully synchronous $\mathcal{FSYNC}$ model. On
the other side, in the case of the 2-dimensional grid, the only known gathering
algorithms for the same time and a similar local model additionally require a
constant memory, states and "flags" to communicate these states to neighbors in
viewing range. They gather in time $\mathcal{O}(n)$.
In this paper we contribute the (to the best of our knowledge) first
gathering algorithm on the grid that works under the same simple local model as
the above mentioned Euclidean plane strategy, i.e., without memory (oblivious),
"flags" and states. We prove its correctness and an $\mathcal{O}(n^2)$ time
bound in the fully synchronous $\mathcal{FSYNC}$ time model. This time bound
matches the time bound of the best known algorithm for the Euclidean plane
mentioned above. We say gathering is done if all robots are located within a
$2\times 2$ square, because in $\mathcal{FSYNC}$ such configurations cannot be
solved.
AU - Fischer, Matthias
AU - Jung, Daniel
AU - Meyer auf der Heide, Friedhelm
ID - 17811
T2 - arXiv:1702.03400
TI - Gathering Anonymous, Oblivious Robots on a Grid
ER -
TY - CONF
AB - Many university students struggle with motivational problems, and gamification has the potential to address these problems. However, using gamification currently is rather tedious and time-consuming for instructors because current approaches to gamification require instructors to engage in the time-consuming preparation of course contents (e.g., for quizzes or mini-games). In reply to this issue, we propose a “lean” approach to gamification, which relies on gamifying learning activities rather than learning contents. The learning activities that are gamified in the lean approach can typically be drawn from existing course syllabi (e.g., attend certain lectures, hand in assignments, read book chapters and articles). Hence, compared to existing approaches, lean gamification substantially lowers the time requirements posed on instructors for gamifying a given course. Drawing on research on limited attention and the present bias, we provide the theoretical foundation for the lean gamification approach. In addition, we present a mobile application that implements lean gamification and outline a mixed-methods study that is currently under way for evaluating whether lean gamification does indeed have the potential to increase students’ motivation. We thereby hope to allow more students and instructors to benefit from the advantages of gamification.
AU - John, Thomas
AU - Feldotto, Matthias
AU - Hemsen, Paul
AU - Klingsieck, Katrin
AU - Kundisch, Dennis
AU - Langendorf, Mike
ID - 1095
T2 - Proceedings of the 25th European Conference on Information Systems (ECIS)
TI - Towards a Lean Approach for Gamifying Education
ER -
TY - CONF
AB - To detect errors or find potential for improvement during the CAD-supported development of a complex technical system like modern industrial machines, the system’s virtual prototype can be examined in virtual reality (VR) in the context of virtual design reviews. Besides exploring the static shape of the examined system, observing the machines’ mechanics (e.g., motor-driven mechanisms) and transport routes for the material transport (e.g., via conveyor belts or chains, or rail-based transport systems) can play an equally important role in such a review. In practice it is often the case, that the relevant information about transport routes, or kinematic properties is either not consequently modeled in the CAD data or is lost during conversion processes. To significantly reduce the manual effort and costs for creating animations of the machines complex behavior with such limited input data for a design review, we present a set of algorithms to automatically determine geometrical properties of machine parts based only on their triangulated surfaces. The algorithms allow to detect the course of transport systems, the orientation of objects in 3d space, rotation axes of cylindrical objects and holes, the number of tooth of gears, as well as the tooth spacing of toothed racks. We implemented the algorithms in the VR system PADrend and applied them to animate virtual prototypes of real machines.
AU - Brandt, Sascha
AU - Fischer, Matthias
AU - Gerges, Maria
AU - Jähn, Claudius
AU - Berssenbrügge, Jan
ID - 16338
SN - 9780791858110
T2 - Volume 1: 37th Computers and Information in Engineering Conference
TI - Automatic Derivation of Geometric Properties of Components From 3D Polygon Models
VL - 1
ER -
TY - THES
AU - Li, Shouwei
ID - 19604
TI - Parallel fixed parameter tractable problems
ER -
TY - CONF
AU - Polevoy, Gleb
AU - de Weerdt, M.M.
ID - 17653
KW - interaction
KW - reciprocation
KW - contribute
KW - shared effort
KW - curbing
KW - convergence
KW - threshold
KW - Nash equilibrium
KW - social welfare
KW - efficiency
KW - price of anarchy
KW - price of stability
T2 - Proceedings of the 29th Benelux Conference on Artificial Intelligence
TI - Reciprocation Effort Games
ER -
TY - CONF
AB - Through this study, we introduce the idea of applying scheduling techniques to allocate spatial resources that are shared among multiple robots moving in a static environment and having temporal constraints on the arrival time to destinations. To illustrate this idea, we present an exemplified algorithm that plans and assigns a motion path to each robot. The considered problem is particularly challenging because: (i) the robots share the same environment and thus the planner must take into account overlapping paths which cannot happen at the same time; (ii) there are time deadlines thus the planner must deal with temporal constraints; (iii) new requests arrive without a priori knowledge thus the planner must be able to add new paths online and adjust old plans; (iv) the robot motion is subject to noise thus the planner must be reactive to adapt to online changes. We showcase the functioning of the proposed algorithm through a set of agent-based simulations.
AU - Khaluf, Yara
AU - Markarian, Christine
AU - Simoens, Pieter
AU - Reina, Andreagiovanni
ID - 24398
SN - 0302-9743
T2 - International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017)
TI - Scheduling Access to Shared Space in Multi-robot Systems
ER -
TY - CONF
AB - We present an efficient parallel algorithm for the general Monotone Circuit Value Problem (MCVP) with n gates and an underlying graph of bounded genus k. Our algorithm generalizes a recent result by Limaye et al. who showed that MCVP with toroidal embedding (genus 1) is in NC when the input contains a toroidal embedding of the circuit. In addition to extending this result from genus 1 to any bounded genus k, and unlike the work reported by Limaye et al., we do not require a precomputed embedding to be given. Most importantly, our results imply that given a P-complete problem, it is possible to find an algorithm that makes the problem fall into NC by fixing one or more parameters. Hence, we deduce the interesting analogy: Fixed Parameter Parallelizable (FPP) is with respect to P-complete what Fixed Parameter Tractable (FPT) is with respect to NP-complete. Similar work that uses treewidth as parameter was also presented by Elberfeld et al. in [6].
AU - Abu-Khzam, Faisal N.
AU - Li, Shouwei
AU - Markarian, Christine
AU - Meyer auf der Heide, Friedhelm
AU - Podlipyan, Pavel
ID - 143
T2 - Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)
TI - The Monotone Circuit Value Problem with Bounded Genus Is in NC
ER -
TY - CONF
AU - Li, Shouwei
AU - Meyer auf der Heide, Friedhelm
AU - Podlipyan, Pavel
ID - 16358
T2 - Algorithms for Sensor Systems, Proceedings of the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS)
TI - The impact of the Gabriel subgraph of the visibility graph on the gathering of mobile autonomous robots
ER -