TY - JOUR A1 - Rabenalt, Thomas A1 - Richter, Michael A1 - Pöhl, Frank A1 - Gössel, Michael T1 - Highly efficient test response compaction using a hierarchical x-masking technique JF - IEEE transactions on computer-aided design of integrated circuits and systems N2 - This paper presents a highly effective compactor architecture for processing test responses with a high percentage of x-values. The key component is a hierarchical configurable masking register, which allows the compactor to dynamically adapt to and provide excellent performance over a wide range of x-densities. A major contribution of this paper is a technique that enables the efficient loading of the x-masking data into the masking logic in a parallel fashion using the scan chains. A method for eliminating the requirement for dedicated mask control signals using automated test equipment timing flexibility is also presented. The proposed compactor is especially suited to multisite testing. Experiments with industrial designs show that the proposed compactor enables compaction ratios exceeding 200x. KW - Design for testability (DFT) KW - test response compaction KW - X-masking KW - X-values Y1 - 2012 U6 - https://doi.org/10.1109/TCAD.2011.2181847 SN - 0278-0070 VL - 31 IS - 6 SP - 950 EP - 957 PB - Inst. of Electr. and Electronics Engineers CY - Piscataway ER - TY - JOUR A1 - Paredes, E. G. A1 - Boo, M. A1 - Amor, M. A1 - Bruguera, J. D. A1 - Döllner, Jürgen Roland Friedrich T1 - Extended hybrid meshing algorithm for multiresolution terrain models JF - International journal of geographical information science N2 - Hybrid terrains are a convenient approach for the representation of digital terrain models, integrating heterogeneous data from different sources. In this article, we present a general, efficient scheme for achieving interactive level-of-detail rendering of hybrid terrain models, without the need for a costly preprocessing or resampling of the original data. The presented method works with hybrid digital terrains combining regular grid data and local high-resolution triangulated irregular networks. Since grid and triangulated irregular network data may belong to different datasets, a straightforward combination of both geometries would lead to meshes with holes and overlapping triangles. Our method generates a single multiresolution model integrating the different parts in a coherent way, by performing an adaptive tessellation of the region between their boundaries. Hence, our solution is one of the few existing approaches for integrating different multiresolution algorithms within the same terrain model, achieving a simple interactive rendering of complex hybrid terrains. KW - 3D modeling KW - 3D visualization KW - geovisualization KW - triangulated irregular networks Y1 - 2012 U6 - https://doi.org/10.1080/13658816.2011.615317 SN - 1365-8816 VL - 26 IS - 5 SP - 771 EP - 793 PB - Routledge, Taylor & Francis Group CY - Abingdon ER - TY - JOUR A1 - Luebbe, Alexander A1 - Weske, Mathias T1 - Determining the effect of tangible business process modeling Y1 - 2012 ER - TY - JOUR A1 - Steinert, Bastian A1 - Hirschfeld, Robert T1 - Applying design knowledge to programming Y1 - 2012 ER - TY - JOUR A1 - Gabrysiak, Gregor A1 - Giese, Holger A1 - Seibel, Andreas T1 - Towards next-generation design thinking II : virtual muti-user software prototypes Y1 - 2012 ER - TY - JOUR A1 - Kowark, Thomas A1 - Uflacker, Matthias A1 - Zeier, Alexander T1 - Towards a shared platform for virtual collaboration monotoring in design research Y1 - 2012 ER - TY - JOUR A1 - Bordihn, Henning A1 - Kutrib, Martin A1 - Malcher, Andreas T1 - On the computational capacity of parallel communicating finite automata JF - International journal of foundations of computer science N2 - Systems of parallel finite automata communicating by states are investigated. We consider deterministic and nondeterministic devices and distinguish four working modes. It is known that systems in the most general mode are as powerful as one-way multi-head finite automata. Here we solve some open problems on the computational capacity of systems working in the remaining modes. In particular, it is shown that deterministic returning and non-returning devices are equivalent, and that there are languages which are accepted by deterministic returning and centralized systems but cannot be accepted by deterministic non-returning centralized systems. Furthermore, we show that nondeterministic systems are strictly more powerful than their deterministic variants in all the four working modes. Finally, incomparability with the classes of (deterministic) (linear) context-free languages as well as the Church-Rosser languages is derived. KW - Automata systems KW - cooperating systems KW - formal languages KW - theory of computation Y1 - 2012 U6 - https://doi.org/10.1142/S0129054112500062 SN - 0129-0541 VL - 23 IS - 3 SP - 713 EP - 732 PB - World Scientific CY - Singapore ER - TY - JOUR A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten H. T1 - Conflict-driven answer set solving: From theory to practice JF - Artificial intelligence N2 - We introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in Answer Set Programming (ASP) as unit propagation on nogoods. This provides us with a uniform constraint-based framework capturing diverse inferences encountered in ASP solving. Moreover, our approach allows us to apply advanced solving techniques from the area of SAT. As a result, we present the first full-fledged algorithmic framework for native conflict-driven ASP solving. Our approach is implemented in the ASP solver clasp that has demonstrated its competitiveness and versatility by winning first places at various solver contests. KW - Answer set programming KW - Logic programming KW - Nonmonotonic reasoning Y1 - 2012 U6 - https://doi.org/10.1016/j.artint.2012.04.001 SN - 0004-3702 VL - 187 IS - 8 SP - 52 EP - 89 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Ostrowski, Max A1 - Schaub, Torsten H. T1 - ASP modulo CSP The clingcon system JF - Theory and practice of logic programming N2 - We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude. Y1 - 2012 U6 - https://doi.org/10.1017/S1471068412000142 SN - 1471-0684 VL - 12 SP - 485 EP - 503 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten H. T1 - Multi-threaded ASP solving with clasp JF - Theory and practice of logic programming N2 - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp. Y1 - 2012 U6 - https://doi.org/10.1017/S1471068412000166 SN - 1471-0684 VL - 12 IS - 8 SP - 525 EP - 545 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Fabian, Benjamin A1 - Kunz, Steffen A1 - Konnegen, Marcel A1 - Müller, Sebastian A1 - Günther, Oliver T1 - Access control for semantic data federations in industrial product-lifecycle management JF - Computers in industry : an international, application oriented research journal N2 - Information integration across company borders becomes increasingly important for the success of product lifecycle management in industry and complex supply chains. Semantic technologies are about to play a crucial role in this integrative process. However, cross-company data exchange requires mechanisms to enable fine-grained access control definition and enforcement, preventing unauthorized leakage of confidential data across company borders. Currently available semantic repositories are not sufficiently equipped to satisfy this important requirement. This paper presents an infrastructure for controlled sharing of semantic data between cooperating business partners. First, we motivate the need for access control in semantic data federations by a case study in the industrial service sector. Furthermore, we present an architecture for controlling access to semantic repositories that is based on our newly developed SemForce security service. Finally, we show the practical feasibility of this architecture by an implementation and several performance experiments. KW - Access control KW - Data federation KW - Information integration KW - Product lifecycle management KW - Semantic data Y1 - 2012 U6 - https://doi.org/10.1016/j.compind.2012.08.015 SN - 0166-3615 VL - 63 IS - 9 SP - 930 EP - 940 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Brückner, Michael A1 - Kanzow, Christian A1 - Scheffer, Tobias T1 - Static prediction games for adversarial learning problems JF - Journal of machine learning research N2 - The standard assumption of identically distributed training and test data is violated when the test data are generated in response to the presence of a predictive model. This becomes apparent, for example, in the context of email spam filtering. Here, email service providers employ spam filters, and spam senders engineer campaign templates to achieve a high rate of successful deliveries despite the filters. We model the interaction between the learner and the data generator as a static game in which the cost functions of the learner and the data generator are not necessarily antagonistic. We identify conditions under which this prediction game has a unique Nash equilibrium and derive algorithms that find the equilibrial prediction model. We derive two instances, the Nash logistic regression and the Nash support vector machine, and empirically explore their properties in a case study on email spam filtering. KW - static prediction games KW - adversarial classification KW - Nash equilibrium Y1 - 2012 SN - 1532-4435 VL - 13 SP - 2617 EP - 2654 PB - Microtome Publishing CY - Cambridge, Mass. ER - TY - JOUR A1 - Srinivasan, K. A1 - Senthilkumar, D. V. A1 - Mohamed, I. Raja A1 - Murali, K. A1 - Lakshmanan, M. A1 - Kurths, Jürgen T1 - Anticipating, complete and lag synchronizations in RC phase-shift network based coupled Chua's circuits without delay JF - Chaos : an interdisciplinary journal of nonlinear science N2 - We construct a new RC phase shift network based Chua's circuit, which exhibits a period-doubling bifurcation route to chaos. Using coupled versions of such a phase-shift network based Chua's oscillators, we describe a new method for achieving complete synchronization (CS), approximate lag synchronization (LS), and approximate anticipating synchronization (AS) without delay or parameter mismatch. Employing the Pecora and Carroll approach, chaos synchronization is achieved in coupled chaotic oscillators, where the drive system variables control the response system. As a result, AS or LS or CS is demonstrated without using a variable delay line both experimentally and numerically. Y1 - 2012 U6 - https://doi.org/10.1063/1.4711375 SN - 1054-1500 VL - 22 IS - 2 PB - American Institute of Physics CY - Melville ER - TY - JOUR A1 - Thienen, Julia von A1 - Noweski, Christine A1 - Meinel, Christoph A1 - Lang, Sabine A1 - Nicolai, Claudia A1 - Bartz, Andreas T1 - What can design thinking learn from behavior group theraphy? Y1 - 2012 SN - 978-3-642-31990-7 ER - TY - JOUR A1 - Jobst, Birgit A1 - Köppen, Eva A1 - Lindberg, Tilmann A1 - Moritz, Josephine A1 - Rhinow, Holger A1 - Meinel, Christoph T1 - The faith-factor in design thinking : creative confidence through education at the design thinking schools Potsdam and Standford? Y1 - 2012 SN - 978-3-642-31990-7 ER - TY - JOUR A1 - Noweski, Christine A1 - Scheer, Andrea A1 - Büttner, Nadja A1 - Thienen, Julia von A1 - Erdmann, Johannes A1 - Meinel, Christoph T1 - Towards a paradigm shift in education practice : developing twenty-first century skills with design thinking Y1 - 2012 SN - 978-3-642-31990-7 ER - TY - JOUR A1 - Gumienny, Raja A1 - Gericke, Lutz A1 - Wenzel, Matthias A1 - Meinel, Christoph T1 - Tele-board in use : applying aq digital whiteboard system in different situations and setups Y1 - 2012 SN - 978-3-642-31990-7 ER - TY - JOUR A1 - Thienen, Julia von A1 - Noweski, Christine A1 - Rauth, Ingo A1 - Meinel, Christoph A1 - Lange, Sabine T1 - If you want to know who are, tell me where you are : the importance of places Y1 - 2012 ER - TY - JOUR A1 - Meinel, Christoph A1 - Leifer, Larry T1 - Design thinking research Y1 - 2012 SN - 978-3-642-31990-7 ER - TY - JOUR A1 - Lindberg, Tilmann A1 - Köppen, Eva A1 - Rauth, Ingo A1 - Meinel, Christoph T1 - On the perection, adoption and Implementation of design thinking in the IT industry Y1 - 2012 ER - TY - JOUR A1 - Gericke, Lutz A1 - Gumienny, Raja A1 - Meinel, Christoph T1 - Tele-board : folow the traces of your design process history Y1 - 2012 ER - TY - JOUR A1 - Meinel, Christoph A1 - Leifer, Larry T1 - Design thinking research Y1 - 2012 ER -