@inproceedings{231, abstract = {{Existing approaches towards service composition demand requirements of the customers in terms of service templates, service query profiles, or partial process models. However, addressed non-expert customers may be unable to fill-in the slots of service templates as requested or to describe, for example, pre- and postconditions, or even have difficulties in formalizing their requirements. Thus, our idea is to provide non-experts with suggestions how to complete or clarify their requirement descriptions written in natural language. Two main issues have to be tackled: (1) partial or full inability (incapacity) of non-experts to specify their requirements correctly in formal and precise ways, and (2) problems in text analysis due to fuzziness in natural language. We present ideas how to face these challenges by means of requirement disambiguation and completion. Therefore, we conduct ontology-based requirement extraction and similarity retrieval based on requirement descriptions that are gathered from App marketplaces. The innovative aspect of our work is that we support users without expert knowledge in writing their requirements by simultaneously resolving ambiguity, vagueness, and underspecification in natural language.}}, author = {{Geierhos, Michaela and Schulze, Sabine and Bäumer, Frederik Simon}}, booktitle = {{Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)}}, editor = {{Loiseau, Stephane and Filipe, Joaquim and Duval, Béatrice and van den Herik, Jaap}}, isbn = {{ 978-989-758-073-4}}, pages = {{277--283}}, publisher = {{SciTePress - Science and Technology Publications}}, title = {{{What did you mean? Facing the Challenges of User-generated Software Requirements}}}, doi = {{10.5220/0005346002770283}}, year = {{2015}}, } @inproceedings{232, abstract = {{We introduce weighted boolean formula games (WBFG) as a new class of succinct games. Each player has a set of boolean formulas she wants to get satisfied; the formulas involve a ground set of boolean variables each of which is controlled by some player. The payoff of a player is a weighted sum of the values of her formulas. We consider both pure equilibria and their refinement of payoff-dominant equilibria [34], where every player is no worse-off than in any other pure equilibrium. We present both structural and complexity results:We consider mutual weighted boolean formula games (MWBFG), a subclass of WBFG making a natural mutuality assumption on the formulas of players. We present a very simple exact potential for MWBFG. We establish a polynomial monomorphism from certain classes of weighted congestion games to subclasses of WBFG and MWBFG, respectively, indicating their rich structure.We present a collection of complexity results about decision (and search) problems for both pure and payoff-dominant equilibria in WBFG. The precise complexities depend crucially on five parameters: (i) the number of players; (ii) the number of variables per player; (iii) the number of formulas per player; (iv) the weights in the payoff functions (whether identical or not), and (v) the syntax of the formulas. These results imply that, unless the polynomial hierarchy collapses, decision (and search) problems for payoff-dominant equilibria are harde than for pure equilibria.}}, author = {{Monien, Burkhard and Mavronicolas, Marios and Wagner, Klaus}}, booktitle = {{the ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday}}, pages = {{49--86}}, title = {{{Weighted Boolean Formula Games}}}, doi = {{10.1007/978-3-319-24024-4_6}}, year = {{2015}}, } @techreport{233, abstract = {{Motivated by the deterministic single exponential time algorithm of Micciancio and Voulgaris for solving the shortest and closest vector problem for the Euclidean norm, we study the geometry and complexity of Voronoi cells of lattices with respect to arbitrary norms.On the positive side, we show that for strictly convex and smooth norms the geometry of Voronoi cells of lattices in any dimension is similar to the Euclidean case, i.e., the Voronoi cells are defined by the so-called Voronoi-relevant vectors and the facets of a Voronoi cell are in one-to-one correspondence with these vectors. On the negative side, we show that combinatorially Voronoi cells for arbitrary strictly convex and smooth norms are much more complicated than in the Euclidean case.In particular, we construct a family of three-dimensional lattices whose number of Voronoi-relevant vectors with respect to the l_3-norm is unbounded.Since the algorithm of Micciancio and Voulgaris and its run time analysis crucially dependonthefactthatfortheEuclidean normthenumber of Voronoi-relevant vectors is single exponential in the lattice dimension, this indicates that the techniques of Micciancio and Voulgaris cannot be extended to achieve deterministic single exponential time algorithms for lattice problems with respect to arbitrary l_p-norms.}}, author = {{Blömer, Johannes and Kohn, Kathlén}}, publisher = {{Universität Paderborn}}, title = {{{Voronoi Cells of Lattices with Respect to Arbitrary Norms}}}, year = {{2015}}, } @inproceedings{21683, abstract = {{Purpose – This paper aims to present a methodology to help end-users to find appropriate part candidates for the use of the additive manufacturing (AM) technology. These shall be capable of bringing AM into their businesses. The concept furthermore includes approaches for redesigning current available parts and helps to estimate the economic implications of the use of the technology. Design/methodology/approach – The approach starts to discuss general economic aspects for the successful use of AM. While describing the introduction of new technologies into existing businesses, the importance of an appropriate part selection for AM is pointed out. A methodology for a part selection process is presented, and the different criteria are developed. An approach for a redesign of the selected parts, including the gathering of requirements, is given based on different sample parts. A variation of criteria to include measures for product piracy is highlighted. Findings – The methodology has proven applicability in several research and industry projects in aerospace applications. Independent part selections from experts analyzed within a project of the European Space Agency had a 90 per cent overlap with the results. It allows companies with only basic AM knowledge to start a part screening for applicable AM candidates in their own company with a reasonable effort. Originality/value – The methodology for the redesign process helps to identify the main functions of the products targeted and the relevant environment, so one can benefit from the various advantages that AM has to offer. The selection methodology helps to ask the right questions and to reduce the effort.}}, author = {{Lindemann, C. and Jahnke, U. and Reiher, T. and Koch, R.}}, booktitle = {{Rapid Prototyping Journal}}, isbn = {{1355-2546}}, number = {{2}}, pages = {{216--227}}, publisher = {{Emerald}}, title = {{{Towards a sustainable and economic selection of part candidates for Additive Manufacturing}}}, doi = {{https://doi.org/10.1108/RPJ-12-2014-0179}}, volume = {{21}}, year = {{2015}}, } @inproceedings{21684, abstract = {{Additive Manufacturing offers a high potential in aerospace industry due to its freedom of design and the ability to manufacture complex and lightweight parts. The low number of units, high quality standards and fast response time are special challenges that have to be met especially in the Maintenance, Repair and Overhaul sector. Thus, companies have to decide at which point it is economic to apply Additive Manufacturing. However, companies lack experience on this new technology. This is why a tool is required that takes into account the above mentioned crucial points and supports the decision process. The paper analyzes aviation’s characteristics with regard to Additive Manufacturing. The structure of current MRO repair workflows is investigated to identify a feasible application for Additive Manufacturing. Additionally the supply chain will be examined to indicate the benefit which the technology can generate in this highly demanding field. The findings are integrated into a methodology that supports the decision whether to apply Additive Manufacturing on the basis of costs, time and quality.}}, author = {{Deppe, G. and Lindemann, C. and Koch, R.}}, booktitle = {{26th Annual International Solid Freeform Fabrication Symposium}}, pages = {{1560--1563}}, title = {{{Developement of an economic decision support for the application of Additive Manufacturing in aerospace}}}, doi = {{http://utw10945.utweb.utexas.edu/sites/default/files/2015/2015-125-Deppe.pdf}}, volume = {{26}}, year = {{2015}}, } @inproceedings{21685, abstract = {{Presently the implications Additive Manufacturing (AM) on intellectual properties are discussed in public. Here AM is often mentioned as a driver for product piracy as it allows to produce and to copy objects with any geometries. Imitators need a lot of information to copy an object accurately. As reverse engineering has been identified as the most important information source for product imitators, AM can also help to reduce the threat of product piracy when correctly applied in the product development. Due to the layer wise production process that allows the manufacturing of very complex shapes and geometries, the reverse-engineering process can be complicated by far. By this, quite contrary to the public opinion, AM can increase the needed effort of imitators and strongly reduce the economic efficiency of product piracy. This paper will show different protection measures and a methodological approach of how to apply these measures to a product. Beside the protective effect some measures allow a traceability of parts over the product’s lifecycle and thus support the quality management of AM processes and additively produced parts. }}, author = {{Jahnke, U. and Büsching, J. and Reiher, T. and Koch, R.}}, booktitle = {{26th Annual International Solid Freeform Fabrication Symposium}}, pages = {{1601--1611}}, title = {{{Protection measures against product piracy and application by the use of AM}}}, doi = {{http://utw10945.utweb.utexas.edu/sites/default/files/2015/2015-128-Jahnke.pdf}}, volume = {{26}}, year = {{2015}}, } @inproceedings{21686, abstract = {{Additive Manufacturing (AM) offers high potential due to its freedom of design for structural parts. Especially in combination with FE-based topology optimization an optimal use of material and thus significant weight reductions can be expected. However, the application of AM is hampered by different additional manufacturing processes along the entire production chain and data handling induced restrictions.Disadvantages emerge from a lack of adjustment of the entire design process for AM. First the optimization algorithms are not targeted to the opportunities and restrictions of AM –represented by design rules – like the design of support structures. Secondly, the CAD software is not adjusted to AM in particular. Creating freeform shaped surfaces based on the optimization results is significantly less convenient than building defined blocks or turning parts following the needs of conventional machining. The indispensable subsequent interpretation of optimization results regarding the design rules and the possibilities of CAD-tools counteracts optimal results. This paper considers different approaches for a Topology Optimization (TO)-shape regaining on different sample parts including telecommunication satellite parts. An innovative design methodology is presented getting crucial for creating high quality designs. }}, author = {{Reiher, T. and Koch, R.}}, booktitle = {{26th Annual International Solid Freeform Fabrication Symposium}}, pages = {{1092--1103}}, title = {{{FE-Optimization and data handling for Additive Manufacturing of structural parts}}}, doi = {{http://utw10945.utweb.utexas.edu/sites/default/files/2015/2015-90-Reiher.pdf}}, volume = {{26}}, year = {{2015}}, } @inproceedings{21700, author = {{Jahnke, U. and Lindemann, C.}}, booktitle = {{Inside 3D Printing Conference and Expo}}, title = {{{Sustainable Part Selection for the Use of Additive Manufacturing in Companies Focussing on Prevention of Product Piracy}}}, year = {{2015}}, } @inproceedings{21701, abstract = {{The aerospace sector is characterized by long product life cycles and a need for lightweight design. Additive manufacturing is a technology that produces parts layer by layer and thus enables the manufacturing of any complex parts at nearly no extra costs. A topology optimization enhances the part’s performance for their special purpose. The results are often complex bionic structures that cannot be produced with conventional manufacturing technologies. The paper analyzes how the high potential of this technology can be applied to aerospace parts. A topology optimization will be conducted for an aircraft part explaining the crucial points and a life cycle analysis examines the achieved sustainable improvements for the aircraft’s life cycle.}}, author = {{Deppe, G. and Reiher, T. and Koch, R.}}, booktitle = {{International Conference Production Engineering and Management 2015}}, isbn = {{9783941645110}}, pages = {{219--230}}, title = {{{Exploring the cost and lifetime benefits of a topology optimized aerospace part applying additive manufacturing}}}, doi = {{https://www.th-owl.de/elsa/download/335/336/PEM_Tagung_zusammen2015.pdf}}, volume = {{5}}, year = {{2015}}, } @inproceedings{21703, author = {{Lindemann, C. and Reiher, T. and Koch, R.}}, booktitle = {{Paris Space Week}}, title = {{{Guidelines for a sustainable and economic selection of part candidates for space applications using additive manufacturing}}}, year = {{2015}}, } @article{21733, author = {{Wiens, Alex and Domik, Gitta}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{3}}, pages = {{15--19}}, publisher = {{IEEE}}, title = {{{In-Class Exercise for Shadow Mapping Algorithms}}}, doi = {{10.1109/MCG.2015.58}}, volume = {{35}}, year = {{2015}}, } @article{21734, author = {{Wiens, Alex and Domik, Gitta}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{4}}, pages = {{108--112}}, publisher = {{IEEE}}, title = {{{In-Class Exercises for Shadow Volume Algorithms}}}, doi = {{10.1109/MCG.2015.82}}, volume = {{35}}, year = {{2015}}, } @article{21735, author = {{Encarnacao, L. M. and Chuang, Y. and Stork, A. and Kasik, D. and Rhyne, T. and Avila, L. and Kohlhammer, J. and LaViola, J. and Tory, M. and Dill, J. and Domik, Gitta and Owen, G. S. and Wong, P. C.}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{1}}, pages = {{20--32}}, publisher = {{IEEE}}, title = {{{Future Directions in Computer Graphics and Visualization: From CG&A's Editorial Board}}}, doi = {{10.1109/MCG.2015.14}}, volume = {{35}}, year = {{2015}}, } @article{21736, author = {{Haas, Nikolaus and Zelle, Michael and Rosendahl, Wilfried and Zink, Albert and Preuss, Rainer and Laser, Kai and Gostner, Paul and Arens, Stephan and Domik, Gitta and Burchert, Wolfgang}}, journal = {{Lancet (London, England)}}, pages = {{2432}}, title = {{{Hypoplastic left heart in the 6500-year-old Detmold Child}}}, doi = {{10.1016/S0140-6736(15)60770-X}}, volume = {{385}}, year = {{2015}}, } @article{21737, author = {{Zhang, K. and Nguyen , Q. V. and Meng , Z. and Tao, W.}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{1}}, pages = {{56--64}}, publisher = {{IEEE}}, title = {{{Teaching Information Aesthetics as a Research Class in China}}}, doi = {{10.1109/MCG.2015.22}}, volume = {{35}}, year = {{2015}}, } @article{21738, author = {{Rensink, R. A.}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{2}}, pages = {{16--20}}, publisher = {{IEEE}}, title = {{{Preparing Undergraduates for Visual Analytics}}}, doi = {{10.1109/MCG.2015.40}}, volume = {{35}}, year = {{2015}}, } @article{21739, author = {{Artner, N. M. and Janusch, I. and Kropatsch, W.G.}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{5}}, pages = {{101--c3}}, publisher = {{IEEE}}, title = {{{Evaluating and Grading Students in Large-Scale Image Processing Courses}}}, doi = {{10.1109/MCG.2015.107}}, volume = {{35}}, year = {{2015}}, } @article{21740, author = {{Cao, Mingliang and Li, Yi and Pan, Zhigeng and Csete, Josephine and Sun, Shu and Li, Jie and Liu, Y.u}}, journal = {{IEEE Computer Graphics and Applications}}, number = {{6}}, pages = {{83--89}}, publisher = {{IEEE}}, title = {{{Educational Virtual-Wear Trial: More Than a Virtual Try-On Experience}}}, doi = {{10.1109/MCG.2015.130}}, volume = {{35}}, year = {{2015}}, } @inbook{21905, author = {{Rumlich, Dominik}}, booktitle = {{CLIL Revisited: Eine kritische Analyse des gegenwärtigen Standes des bilingualen Sachfachunterrichts}}, editor = {{Rüschoff, Bernd and Sudhoff, Julian-Thorben and Wolff, Dieter}}, pages = {{309--330}}, publisher = {{Lang}}, title = {{{Zur affektiv-motivationalen Entwicklung von Lernenden im bilingualen Sachfachunterricht}}}, year = {{2015}}, } @article{21906, author = {{Rumlich, Dominik}}, journal = {{Diversität konkret}}, number = {{1}}, pages = {{1--28}}, title = {{{Selbst(bestimmt) sind die Lernenden! Ideen und Methoden für eine studierendenzentrierte Lernveranstaltung.}}}, volume = {{3}}, year = {{2015}}, }