@article{60452,
  abstract     = {{<jats:p>Quadrilateral remeshing approaches based on global parametrization enable many desirable mesh properties. Two of the most important ones are (1) high regularity due to explicit control over irregular vertices and (2) smooth distribution of distortion achieved by convex variational formulations. Apart from these strengths, state-of-the-art techniques suffer from limited reliability on real-world input data, i.e. the determined map might have degeneracies like (local) non-injectivities and consequently often cannot be used directly to generate a quadrilateral mesh. In this paper we propose a novel convex Mixed-Integer Quadratic Programming (MIQP) formulation which ensures by construction that the resulting map is within the class of so called Integer-Grid Maps that are guaranteed to imply a quad mesh. In order to overcome the NP-hardness of MIQP and to be able to remesh typical input geometries in acceptable time we propose two additional problem specific optimizations: a complexity reduction algorithm and singularity separating conditions. While the former decouples the dimension of the MIQP search space from the input complexity of the triangle mesh and thus is able to dramatically speed up the computation without inducing inaccuracies, the latter improves the continuous relaxation, which is crucial for the success of modern MIQP optimizers. Our experiments show that the reliability of the resulting algorithm does not only annihilate the main drawback of parametrization based quad-remeshing but moreover enables the global search for high-quality coarse quad layouts - a difficult task solely tackled by greedy methodologies before.</jats:p>}},
  author       = {{Bommes, David and Campen, Marcel and Ebke, Hans-Christian and Alliez, Pierre and Kobbelt, Leif}},
  issn         = {{0730-0301}},
  journal      = {{ACM Transactions on Graphics}},
  number       = {{4}},
  pages        = {{1--12}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{{Integer-grid maps for reliable quad meshing}}},
  doi          = {{10.1145/2461912.2462014}},
  volume       = {{32}},
  year         = {{2013}},
}

@article{60451,
  abstract     = {{<jats:p>Nowadays, digital 3D models are in widespread and ubiquitous use, and each specific application dealing with 3D geometry has its own quality requirements that restrict the class of acceptable and supported models. This article analyzes typical defects that make a 3D model unsuitable for key application contexts, and surveys existing algorithms that process, repair, and improve its structure, geometry, and topology to make it appropriate to case-by-case requirements.</jats:p>
          <jats:p>The analysis is focused on polygon meshes, which constitute by far the most common 3D object representation. In particular, this article provides a structured overview of mesh repairing techniques from the point of view of the application context. Different types of mesh defects are classified according to the upstream application that produced the mesh, whereas mesh quality requirements are grouped by representative sets of downstream applications where the mesh is to be used. The numerous mesh repair methods that have been proposed during the last two decades are analyzed and classified in terms of their capabilities, properties, and guarantees. Based on these classifications, guidelines can be derived to support the identification of repairing algorithms best-suited to bridge the compatibility gap between the quality provided by the upstream process and the quality required by the downstream applications in a given geometry processing scenario.</jats:p>}},
  author       = {{Attene, Marco and Campen, Marcel and Kobbelt, Leif}},
  issn         = {{0360-0300}},
  journal      = {{ACM Computing Surveys}},
  number       = {{2}},
  pages        = {{1--33}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{{Polygon mesh repairing}}},
  doi          = {{10.1145/2431211.2431214}},
  volume       = {{45}},
  year         = {{2013}},
}

@article{60450,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>The computation of intrinsic, geodesic distances and geodesic paths on surfaces is a fundamental low‐level building block in countless Computer Graphics and Geometry Processing applications. This demand led to the development of numerous algorithms – some for the exact, others for the approximative computation, some focussing on speed, others providing strict guarantees. Most of these methods are designed for computing distances according to the standard Riemannian metric induced by the surface's embedding in Euclidean space. Generalization to other, especially anisotropic, metrics – which more recently gained interest in several application areas – is not rarely hampered by fundamental problems. We explore and discuss possibilities for the generalization and extension of well‐known methods to the anisotropic case, evaluate their relative performance in terms of accuracy and speed, and propose a novel algorithm, the <jats:italic>Short‐Term Vector Dijkstra</jats:italic>. This algorithm is strikingly simple to implement and proves to provide practical accuracy at a higher speed than generalized previous methods.</jats:p>}},
  author       = {{Campen, Marcel and Heistermann, Martin and Kobbelt, Leif}},
  issn         = {{0167-7055}},
  journal      = {{Computer Graphics Forum}},
  number       = {{5}},
  pages        = {{63--71}},
  publisher    = {{Wiley}},
  title        = {{{Practical Anisotropic Geodesy}}},
  doi          = {{10.1111/cgf.12173}},
  volume       = {{32}},
  year         = {{2013}},
}

@inproceedings{60454,
  author       = {{Zimmer, Henrik and Campen, Marcel and Kobbelt, Leif}},
  booktitle    = {{2013 IEEE Conference on Computer Vision and Pattern Recognition}},
  publisher    = {{IEEE}},
  title        = {{{Efficient Computation of Shortest Path-Concavity for 3D Meshes}}},
  doi          = {{10.1109/cvpr.2013.280}},
  year         = {{2013}},
}

@techreport{2504,
  author       = {{Khan, Rana Azeem M. and Karl, Holger}},
  title        = {{{Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks}}},
  year         = {{2012}},
}

@techreport{2505,
  author       = {{Dannewitz, Christian and Karl, Holger and Yadav, Aditya}},
  title        = {{{Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures}}},
  year         = {{2012}},
}

@inproceedings{20173,
  abstract     = {{This paper investigates the properties required to evolve Artificial Neural Networks for distributed control in modular robotics, which typically involves non-linear dynamics and complex interactions in the sensori-motor space. We investigate the relation between macro-scale properties (such as modularity and regularity) and micro-scale properties in Neural Network controllers. We show how neurons capable of multiplicative-like arithmetic operations may increase the performance of controllers in several ways whenever challenging control problems with non-linear dynamics are involved. This paper provides evidence that performance and robustness of evolved controllers can be improved by a combination of carefully chosen micro- and macro-scale neural network properties.}},
  author       = {{Hamann, Heiko and Stradner, Jürgen and Bredeche, Nicolas and Cazenille, Leo}},
  booktitle    = {{14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012}},
  pages        = {{89--96}},
  publisher    = {{ACM}},
  title        = {{{Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers}}},
  doi          = {{10.1145/2330163.2330177}},
  year         = {{2012}},
}

@inproceedings{20174,
  abstract     = {{As a contribution to the efforts towards robotic systems of higher flexibility we present our concept of morphologically dynamic robots. Within the projects SYMBRION and REPLICATOR, that focus on modular robotics, we have developed bio-inspired control techniques to achieve new concepts of dynamic, autonomous morphological structures. We propose three modes of coupling between robot modules: swarm, team, and organism mode. We demonstrate our concepts along with simple robot experiments.}},
  author       = {{Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen}},
  booktitle    = {{Austrian Robotics Workshop (Operational Programme Slovenia-Austria)}},
  title        = {{{Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control}}},
  year         = {{2012}},
}

@inproceedings{20175,
  author       = {{Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Zahadat, Payam and Adami, Christoph and Bryson, David M. and Ofria, Charles and Pennock, Robert T.}},
  booktitle    = {{Alife XIII}},
  pages        = {{597--598}},
  publisher    = {{MIT Press}},
  title        = {{{On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation}}},
  year         = {{2012}},
}

@article{20176,
  author       = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}},
  issn         = {{1387-3954}},
  journal      = {{Mathematical and Computer Modelling of Dynamical Systems}},
  number       = {{1}},
  pages        = {{39--50}},
  title        = {{{Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics}}},
  doi          = {{10.1080/13873954.2011.601418}},
  volume       = {{18}},
  year         = {{2012}},
}

@article{20177,
  abstract     = {{One of the main challenges in automatic controller synthesis is to develop methods that can successfully be applied for complex tasks. The difficulty is increased even more in the case of settings with multiple interacting agents. We apply the artificial homeostatic hormone system (AHHS) approach, which is inspired by the signaling network of unicellular organisms, to control a system of several independently acting agents decentrally. The approach is designed for evaluation-minimal, artificial evolution in order to be applicable to complex modular robotics scenarios. The performance of AHHS controllers is compared with neuroevolution of augmenting topologies (NEAT) in the coupled inverted pendulums benchmark. AHHS controllers are found to be better for multimodular settings. We analyze the evolved controllers with regard to the usage of sensory inputs and the emerging oscillations, and we give a nonlinear dynamics interpretation. The generalization of evolved controllers to initial conditions far from the original conditions is investigated and found to be good. Similarly, the performance of controllers scales well even with module numbers different from the original domain the controller was evolved for. Two reference implementations of a similar controller approach are reported and shown to have shortcomings. We discuss the related work and conclude by summarizing the main contributions of our work.}},
  author       = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}},
  issn         = {{1064-5462}},
  journal      = {{Artificial Life}},
  number       = {{2}},
  pages        = {{165--198}},
  title        = {{{A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems}}},
  doi          = {{10.1162/artl_a_00058}},
  volume       = {{18}},
  year         = {{2012}},
}

@article{20178,
  author       = {{Hamann, Heiko and Schmickl, Thomas and Wörn, Heinz and Crailsheim, Karl}},
  issn         = {{0941-0643}},
  journal      = {{Neural Computing and Applications}},
  number       = {{2}},
  pages        = {{207--218}},
  title        = {{{Analysis of emergent symmetry breaking in collective decision making}}},
  doi          = {{10.1007/s00521-010-0368-6}},
  volume       = {{21}},
  year         = {{2012}},
}

@inproceedings{20179,
  author       = {{Hamann, Heiko and Engelbrecht, Andreas and Birattari, Mauro and Dorigo, Marco and Blum, Christian and Stuetzle, Thomas and Christensen, Anders Lyhne and Gross, Roderich}},
  booktitle    = {{Swarm Intelligence: 8th International Conference, ANTS 2012}},
  isbn         = {{9783642326493}},
  issn         = {{0302-9743}},
  pages        = {{168--179}},
  publisher    = {{Springer}},
  title        = {{{Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions}}},
  doi          = {{10.1007/978-3-642-32650-9_15}},
  volume       = {{7461}},
  year         = {{2012}},
}

@inproceedings{25744,
  author       = {{Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang}},
  booktitle    = {{ In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}},
  location     = {{ Bangalore, 14. - 16. Dez. 2012, IEEE}},
  publisher    = {{IEEE}},
  title        = {{{Automated Source Code Annotation for Timing Analysis of Embedded Software}}},
  year         = {{2012}},
}

@inproceedings{25749,
  author       = {{Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}},
  booktitle    = {{Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012}},
  title        = {{{Real-Time Android: Deterministic Ease of Use}}},
  year         = {{2012}},
}

@inproceedings{25752,
  author       = {{Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}},
  booktitle    = {{In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity}}},
  year         = {{2012}},
}

@inproceedings{25758,
  author       = {{Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}},
  booktitle    = {{EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings }},
  title        = {{{XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software}}},
  year         = {{2012}},
}

@inproceedings{25761,
  author       = {{Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}},
  booktitle    = {{CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}},
  title        = {{{The System Verification Methodology for Advanced TLM Verification}}},
  year         = {{2012}},
}

@inproceedings{25767,
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{15th Euromicro Conference on Digital System Design (DSD)}},
  publisher    = {{IEEE Xplore}},
  title        = {{{A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}}},
  year         = {{2012}},
}

@inproceedings{25776,
  author       = {{Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}},
  booktitle    = {{ IEEE 10th International Conference on Industrial Informatics,}},
  publisher    = {{IEEE Xplore}},
  title        = {{{ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}}},
  year         = {{2012}},
}