TY - JOUR AU - Stefszky, Michael AU - Mow-Lowry, C M AU - Chua, S S Y AU - Shaddock, D A AU - Buchler, B C AU - Vahlbruch, H AU - Khalaidovski, A AU - Schnabel, R AU - Lam, P K AU - McClelland, D E ID - 26046 JF - Classical and Quantum Gravity SN - 0264-9381 TI - Balanced homodyne detection of optical quantum states at audio-band frequencies and below ER - TY - CONF AU - Becker, Markus AU - Gnokam Defo, Gilles Bertrand AU - Müller, Wolfgang AU - Fummi, F. AU - Pravadelli, G. AU - Vinco, Sara ID - 26079 T2 - Design, Automation and Test in Europe (DATE 2012) TI - MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution ER - TY - CHAP AU - Betz, Stefan ED - Betz, Stefan ID - 2608 T2 - Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand TI - Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains ER - TY - CONF AU - Becker, Markus AU - Kuznik, Christoph AU - Joy, M. tech. Mabel AU - Xie, Tao AU - Müller, Wolfgang ID - 26080 T2 - Design, Automation and Test in Europe DATE TI - XEMU: A QEMU Based Binary Mutation Testing Framework ER - TY - CONF AU - Mauerer, Wolfgang AU - Hillier, Gernot AU - Sawallisch, Jan AU - Hönick, Stefan AU - Oberthür, Simon ID - 26081 T2 - Proceedings of Embedded World Conference TI - Real-Time Android: Deterministic Ease of use ER - TY - CONF AB - In this paper, an image segmentation approach for object detection on the miniature robot BeBot - a deeply embedded system - is presented. In order to enable the robot to detect and identify objects in its environment by means of its camera, an efficient image segmentation approach was developed. The fundamental algorithm bases on the region growing and region merging concept and identifies homogeneous regions consisting of adjacent pixels with similar color. By internally representing a contiguous block of pixels in terms of run-lengths, the computational effort of both the region growing and the region merging operation is minimized. Finally, for subsequent object detection processes, a region is efficiently translated into a statistically feature representation based on discretized moments. AU - Jungmann, Alexander AU - Schierbaum, Thomas AU - Kleinjohann, Bernd ID - 26086 T2 - Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP) TI - Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot ER - TY - CONF AU - Bin Tariq, Fahad ID - 26089 T2 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems TI - Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints ER - TY - CHAP AU - Betz, Stefan ED - Betz, Stefan ID - 2609 T2 - Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand TI - Analyse des Bullwhip-Effekts in einer Supply Chain von KMU ER - TY - CONF AU - Mathews, Emi AU - Frey, Hannes ID - 26090 T2 - 13th International Conference On Distributed Computing And Networking (ICDCN) TI - A Localized Link Removal and Addition based Planarization Algorithm ER - TY - JOUR AU - Mathews, Emi AU - Mathew, Ciby ID - 26091 JF - International Journal of Computer Networks and Communications 4(1) TI - Deployment of mobile routers ensuring coverage and connectivity ER - TY - CONF AU - Müller, Wolfgang AU - Becker, Markus AU - Zabel, Henning AU - Elfeky, Ahmed AU - DiPasquale, Anthony ID - 26092 T2 - In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012 TI - Virtual Prototyping of Cyber-Physical Systems ER - TY - CHAP AU - Khaluf, Yara AU - Mathews, Emi AU - Rammig, Franz-Josef ED - Higuera-Toledano, M. Theresa ED - Brinkschulte, Uwe ED - Rettberg, Achim ID - 26093 T2 - Self-Organization in Embedded Real-Time Systems TI - Swarm Robotic Time Synchronization for Object Tracking ER - TY - CHAP AU - Rammig, Franz-Josef ED - Conradi, Tobias ED - Ecker, Gisela ED - Eke, Norbert Otto ED - Muhle, Florian ID - 26094 T2 - Schemata und Praktiken TI - Biologically Inspired Information Technology: Towards a Cyber Biosphere ER - TY - CHAP AU - Bin Tariq, Fahad AU - Korrapati, Sandeep ID - 26102 T2 - Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems TI - Adaptive Web Services for Modular and Reusable Software Development ER - TY - JOUR AB - Wood-Plastic-Composite (WPC) zeigen im Vergleich zu reinen Kunststoffen ein sehr unterschiedliches und überaus komplexes Material- und Fließverhalten. Letzteres ist für die Verarbeitung der Composite von entscheidender Bedeutung. Im Folgenden werden die Ergebnisse rheologischer Charakterisierungen sowie einiger Untersuchungen zum Füllverhalten im Spritzgießprozess dargestellt. Dabei werden auch auftretende Herausforderungen und mögliche Lösungsansätze diskutiert. AU - Kirchhoff, Nadine AU - Schröder, Cathrin AU - Stute, Daniel AU - Moritzer, Elmar AU - Schmid, Hans-Joachim ID - 26132 JF - Chemie Ingenieur Technik SN - 0009-286X TI - Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess ER - TY - JOUR AB - The sintering of vitreous nanoparticle doublets is investigated numerically by a volume of fluid method coupled to Hamaker summation and experimentally by a high-temperature sintering flow reactor as well as by doublet shape analysis in the transmission electron microscope. In particular, the characteristic differences between nanoparticulate and bulk sintering are studied. The sintering mechanism of vitreous nanoparticles is determined to be viscous flow with interparticle van der Waals interactions acting as additional driving force. The early stages of the nanoparticle sintering kinetics are inversely proportional to the square of the particle size, instead of an indirect proportionality to the first order of the particle size for the entire bulk process. The transition between nanoparticulate and bulk sintering is localised to primary particle diameters of approx. 200–300 nm. AU - Kirchhof, M.J. AU - Förster, H. AU - Schmid, Hans-Joachim AU - Peukert, W. ID - 26133 JF - Journal of Aerosol Science SN - 0021-8502 TI - Sintering kinetics and mechanism of vitreous nanoparticles VL - 45 ER - TY - CONF AB - The paradigm shift from purchasing monolithic software solutions to a dynamic composition of individual solutions entails many new possibilities yet great challenges, too. In order to satisfy user requirements, complex services have to be automatically composed of elementary services. Multiple possibilities of composing a complex service inevitably emerge. The problem of selecting the most appropriate services has to be solved by comparing the different service candidates with respect to their quality in terms of inherent non-functional properties while simultaneously taking the user requirements into account.We are aiming for an integrated service rating and ranking methodology in order to support the automation of the underlying decision-making process. The main contribution of this paper is a first decomposition of the quality-based service selection process, while emphasizing major issues and challenges, which we are addressing in the On-The-Fly Computing project. AU - Jungmann, Alexander AU - Kleinjohann, Bernd ID - 26181 T2 - Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) TI - Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition ER - TY - CONF AB - A major goal of the On-The-Fly Computing project is the automated composition of individual services based on services that are available in dynamic markets. Dependent on the granularity of a market, different alternatives that satisfy the requested functional requirements may emerge. In order to select the best solution, services are usually selected with respect to their quality in terms of inherent non-functional properties. In this paper, we describe our idea of how to model this service selection process as a Markov Decision Process, which we in turn intend to solve by means of Reinforcement Learning techniques in order to control the underlying service composition process. In addition, some initial issues with respect to our approach are addressed. AU - Jungmann, Alexander AU - Kleinjohann, Bernd ID - 26190 T2 - Proceedings of the 9th IEEE International Conference on Services Computing (SCC) TI - Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition ER - TY - THES AU - Nordsiek, Daniel ID - 26199 TI - Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme VL - 304 ER - TY - THES AU - Kreft, Sven ID - 26200 TI - Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen VL - 305 ER - TY - GEN ED - Gausemeier, Jürgen ID - 26201 TI - Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung VL - 306 ER - TY - CONF AU - Khaluf, Yara AU - Weiss, Fabian AU - Micus, Sebastian ID - 26212 T2 - The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications TI - Master Election for Time Synchronization in Swarm Robotic Systems ER - TY - CONF AU - Mathews, Emi AU - Mathew, Ciby ID - 26264 T2 - Third International Conference on Networks & Communications, LNICST TI - Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks ER - TY - JOUR AU - Gehrke, C. AU - Sperling, Jan AU - Vogel, W. ID - 26351 JF - Physical Review A SN - 1050-2947 TI - Quantification of nonclassicality ER - TY - JOUR AU - Pagel, D. AU - Fehske, H. AU - Sperling, Jan AU - Vogel, W. ID - 26352 JF - Physical Review A SN - 1050-2947 TI - Strongly entangled light from planar microcavities ER - TY - JOUR AU - Miranowicz, Adam AU - Horodecki, Paweł AU - Chhajlany, Ravindra W. AU - Tuziemski, Jan AU - Sperling, Jan ID - 26353 JF - Physical Review A SN - 1050-2947 TI - Analytical progress on symmetric geometric discord: Measurement-based upper bounds ER - TY - JOUR AU - Sperling, Jan AU - Vogel, W. AU - Agarwal, G. S. ID - 26354 JF - Physical Review Letters SN - 0031-9007 TI - Sub-Binomial Light ER - TY - JOUR AU - Sperling, Jan AU - Vogel, W ID - 26355 JF - New Journal of Physics SN - 1367-2630 TI - Entanglement quasiprobabilities of squeezed light ER - TY - JOUR AU - Sperling, Jan AU - Vogel, W. AU - Agarwal, G. S. ID - 26356 JF - Physical Review A SN - 1050-2947 TI - True photocounting statistics of multiple on-off detectors ER - TY - JOUR AU - Kundisch, Dennis ID - 2640 IS - 2 JF - International Journal of Electronic Finance TI - Trading Venue Decision of Private Online Investors VL - 6 ER - TY - JOUR AU - Zimmermann, Steffen AU - Katzmarzik, A. AU - Kundisch, Dennis ID - 2641 IS - 1 JF - The DATA BASE for Advances in Information Systems TI - IT Sourcing Portfolio Management for IT Services Providers - An Approach for using Modern Portfolio Theory to allocate Software Development Projects to available Sites VL - 43 ER - TY - JOUR AU - Kundisch, Dennis AU - Zorzi, R. ID - 2642 IS - 1 JF - Information Systems and e-Business Management TI - Enhancing the Quality of Financial Advice with Web 2.0 - An Approach Considering Social Capital in Private Asset Allocation VL - 10 ER - TY - JOUR AU - Kundisch, Dennis AU - John, Thomas ID - 2643 JF - WISU - Das Wirtschaftsstudium TI - Investitionsbewertung mit Realoptionen VL - 3 ER - TY - JOUR AU - Potzuweit, A. AU - Weich, T. AU - Barkhofen, Sonja AU - Kuhl, U. AU - Stöckmann, H.-J. AU - Zworski, M. ID - 26514 JF - Physical Review E SN - 1539-3755 TI - Weyl asymptotics: From closed to open systems ER - TY - JOUR AU - Beutner, Marc AU - Zoyke, A. AU - Kundisch, Dennis AU - Herrmann, Philipp AU - Whittaker, Michael AU - Magenheim, Johannes AU - Reinhardt, W. ID - 2655 IS - 53 JF - Kölner Zeitschrift für Wirtschaft und Pädagogik (KWP) TI - PINGO - Umsetzung von E-Learning in der Hoschule in Adaption und Weiterentwicklung des Peer Instruction Ansatzes - Didaktische und organisatorische Reflexion Studierendenaktivierung in Lehrveranstaltungen VL - 27 ER - TY - BOOK ED - Betz, Stefan ID - 2668 TI - Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand ER - TY - JOUR AU - Hellmich, Frank AU - Hoya, Fabian Karl AU - Förster , Sabrina ID - 26693 JF - Deutsch Differenziert TI - Lesetexte besser verstehen - Lesestrategien erlernen und den Wortschatz erweitern VL - 4 ER - TY - CHAP AU - Hoya, Fabian Karl AU - Hellmich, Frank ED - Hellmich, Frank ED - Förster, Sabrina ID - 26694 T2 - Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven TI - Erfassung diagnostischer Fähigkeiten bei Lehramtsstudentinnen und -studenten VL - 16 ER - TY - JOUR AU - Hellmich, Frank ID - 26743 IS - 1 JF - Zeitschrift für Grundschulforschung TI - Rezension: Handbuch Grundschulpädagogik und Grundschuldidaktik VL - 5 ER - TY - CHAP AU - Förster, Sabrina AU - Niebuhr-Siebert, Sandra AU - Hellmich, Frank ED - Hellmich, Frank ED - Förster, Sabrina ED - Hoya, Fabian Karl ID - 26744 T2 - Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven TI - Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache VL - 16 ER - TY - JOUR AU - Krupp, Danika AU - Johner, Simone A. AU - Kalhoff, Hermann AU - Buyken, Anette AU - Remer, Thomas ID - 26907 JF - The Journal of Nutrition SN - 0022-3166 TI - Long-Term Dietary Potential Renal Acid Load During Adolescence Is Prospectively Associated with Indices of Nonalcoholic Fatty Liver Disease in Young Women ER - TY - JOUR AU - Louie, Jimmy Chun Yu AU - Buyken, Anette AU - Brand-Miller, Jennie C AU - Flood, Victoria M ID - 26909 JF - The American Journal of Clinical Nutrition SN - 0002-9165 TI - The link between dietary glycemic index and nutrient adequacy ER - TY - CONF AU - Becker, Jörg AU - Bernhold, Torben AU - Beverungen, Daniel AU - Kaling, Nina AU - Knackstedt, Ralf AU - Vanesa, Lellek AU - Peter Rauer, Hans ID - 3449 T2 - Dienstleistungsmodellierung 2012 TI - Softwaregestützte Konstruktion von Produktivitätsmodellen im Facility Management ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Breuker, Dominic AU - Peter Rauer, Hans ID - 3450 T2 - Proceedings of the 16th Pacific Asian Conference on Information Systems (PACIS) 2012 TI - Resolving trade-offs in Service Performance Benchmarking using Data Envelopment Analysis ER - TY - CONF AU - Becker, Jörg AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Peter Rauer, Hans AU - Sigge, Daniel ID - 3451 T2 - Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS) 2012 TI - Service Productivity Management --- Status Quo and Directions for the Design of Conceptual Modeling Grammars. ER - TY - CONF AU - Heide, Tobias AU - Tumbas, Sanja AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Becker, Jörg ID - 3452 SN - 978-606-505-565-0 T2 - Services and Economic Development: Local and Global Challenges TI - Global versus Local Properties of Service Science: Insights from a Comparative International Study on Research Results ER - TY - CONF AU - Rosemann, Michael AU - Eggert, Mathias AU - Voigt, Matthias AU - Beverungen, Daniel ID - 3453 T2 - Proceedings of the 20$^{th}$ European Conference on Information Systems TI - Leveraging Social Network Data for Analytical CRM Strategies --- The Introduction of Social BI ER - TY - JOUR AU - Becker, Jörg AU - Bernhold, Torben AU - Beverungen, Daniel AU - Kaling, Nina AU - Knackstedt, Ralf AU - Vanessa, Lellek AU - Peter Rauer, Hans ID - 3500 IS - 1 JF - Enterprise Modelling and Information Systems Architectures TI - Construction of Productivity Models: A Tool Supported Approach in the Area of Facility Management ER - TY - JOUR AU - Beverungen, Daniel AU - Knackstedt, Ralf AU - Winkelmann, Axel ID - 3501 IS - 1 JF - e-Service Journal TI - Identifying e-Service Potential from Business Process Models --- A Theory Nexus Approach ER - TY - JOUR AU - Harteis, Christian AU - Morgenthaler, Barbara AU - Kugler, Christine AU - Ittner, Karl-Peter AU - Roth, Gabriel AU - Graf, Bernhard ID - 3633 IS - 2 JF - Vocations and Learning TI - Professional competence and intuitive decision making: A simulation study in the domain of emergency medicine VL - 5 ER - TY - JOUR AU - Harteis, Christian ID - 3634 IS - 1-2 JF - International Journal of Human Resources Development and Management TI - When workplace learning fails: Individual and organisational limitations--Exemplarily demonstrated by the issue of responsibility in work life VL - 12 ER - TY - CHAP AU - Bauer, Johannes AU - Gartmeier, Martin AU - Harteis, Christian ED - Bauer, Johannes ED - Harteis, Christian ID - 3637 T2 - Human fallibility TI - Human fallibility and learning from errors at work ER - TY - CHAP AU - Bauer, Johannes AU - Harteis, Christian ED - Bauer, Johannes ED - Harteis, Christian ID - 3638 T2 - Human Fallibility TI - The ambiguity of errors for work and learning: Introduction to the volume ER - TY - CHAP AU - Harteis, Christian AU - Bauer, Johannes AU - Heid, Helmut ED - Bauer, Johannes ED - Harteis, Christian ID - 3639 T2 - Human Fallibility TI - Research on human fallibility and learning from errors at work: Challenges for theory, research, and practice ER - TY - CHAP AU - Harteis, Christian AU - Frost, Franziska ED - Bauer, Johannes ED - Harteis, Christian ID - 3640 T2 - Human Fallibility TI - Error Orientation in the Context of Intuitive and Competent Behaviour: Results of an Exploratory Study in the Domain of Emergency Medicine ER - TY - CHAP AU - Fiehn, Janina AU - Spie{\ss}, Stefan AU - Ceylan, Firat AU - Harteis, Christian AU - Schworm, Silke ED - Egger, R ED - Merkt, Maria ID - 3641 T2 - Lernwelt Universität TI - LehreProfi--Entwicklung und Einsatz eines Instruments zur Erfassung hochschuldidaktischer Kompetenz ER - TY - BOOK ED - Bauer, Johannes ED - Harteis, Christian ID - 3646 TI - Human fallibility: The ambiguity of errors for work and learning ER - TY - CHAP AU - Gruber, Hans AU - Harteis, Christian ED - Dick, Manfred ED - Marotzki, Winfried ED - Mieg, Harald ID - 3659 T2 - Handbuch Professionsentwicklung TI - Entwicklungsaufgaben im Erwachsenenalter ER - TY - CHAP AU - Bauer, Johannes AU - Gartmeier, Martin AU - Harteis, Christian ED - Bauer, Johannes ED - Harteis, Christian ID - 3714 T2 - Human fallibility. The ambiguity of errors for work and learning TI - Learning from errors in the professions ER - TY - GEN AU - Buschmeyer, Katrin AU - Harteis, Christian ID - 3715 IS - 2 T2 - Vocations and Learning. Studies in Vocational and Professional Education TI - Wuttke & Seifried (Eds.). (2012). Learning from errors at school and at work VL - 5 ER - TY - CHAP AU - Harteis, Christian AU - Buschmeyer, Katrin ED - Wuttke, Eveline ED - Seifried, Jürgen ID - 3716 T2 - Learning from errors at school and at work TI - Learning from mistakes - still a challenge for research and business practice ER - TY - CHAP AU - Harteis, Christian AU - Frost, Franziska ED - Bauer, Johannes ED - Harteis, Christian ID - 3717 T2 - Human fallibility. The ambiguity of errors for work and learning TI - Error orientation and intuitive decision making ER - TY - CONF AU - Wachsmuth, Henning AU - Stein, Benno ID - 3812 T2 - Proceedings of COLING 2012: Posters TI - Optimal Scheduling of Information Extraction Algorithms ER - TY - BOOK ED - Schulz-Zander, Renate ED - Eickelmann, Birgit ED - Moser, Heinz ED - Niesyto, Horst ED - Grell, Petra ID - 28935 TI - Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung ER - TY - CHAP AU - Kakvi, Saqib AU - Kiltz, Eike AU - May, Alexander ID - 2918 SN - 0302-9743 T2 - Advances in Cryptology – ASIACRYPT 2012 TI - Certifying RSA ER - TY - CHAP AU - Kakvi, Saqib AU - Kiltz, Eike ID - 2919 SN - 0302-9743 T2 - Advances in Cryptology – EUROCRYPT 2012 TI - Optimal Security Proofs for Full Domain Hash, Revisited ER - TY - JOUR AU - Gries, Thomas AU - Bilkic, Natascha AU - Pilichowski, Margarethe ID - 2949 IS - 5 JF - Labour Economics TI - Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility VL - 19 ER - TY - CHAP AU - Gries, Thomas AU - Xue, Jinjun ED - Wang, Liming ID - 2950 SN - 9781138816732 T2 - Rising China in the Changing World Economy TI - Poverty in Shenzhen ER - TY - JOUR AU - Gries, Thomas AU - Meierrieks, Daniel ID - 2951 IS - 5 JF - Defence and Peace Economics TI - Economic performance and terrorist activity in Latin America VL - 23 ER - TY - JOUR AU - Gries, Thomas AU - Prior, Ulrich AU - Sureth, Caren ID - 2952 IS - 3 JF - Journal of Public Economics Theory TI - A Tax Paradox for Investment Decisions under Uncertainty VL - 14 ER - TY - CONF AU - Ackermann, Marcel Rudolf AU - Märtens, Marcus AU - Raupach, Christoph AU - Swierkot, Kamil AU - Lammersen, Christiane AU - Sohler, Christian ID - 2982 TI - StreamKM++: A clustering algorithm for data streams VL - 17 ER - TY - JOUR AB - Ich beschreibe die deutsche Enigma-Verschlüsselungsmaschine und skizziere, wie sie von den Codebrechern von Bletchely Park um Alan Turing gebrochen wurde. Besonderes Augenmerk lege ich auf die Beiträge Alan Turings und die Bedeutung seiner Leistung für die Entwicklung moderner Kryptografie. AU - Blömer, Johannes ID - 2984 IS - 4 JF - Informatik-Spektrum SN - 1432-122X TI - Turing und Kryptografie VL - 35 ER - TY - THES AU - Jager, Tibor ID - 3132 SN - 978-3-8348-1989-5 TI - On black-box models of computation in cryptology ER - TY - CONF AU - Jager, Tibor AU - Kohlar, Florian AU - Schäge, Sven AU - Schwenk, Jörg ID - 3133 T2 - Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings TI - On the Security of TLS-DHE in the Standard Model ER - TY - CONF AU - Hofheinz, Dennis AU - Jager, Tibor ID - 3134 T2 - Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings TI - Tightly Secure Signatures and Public-Key Encryption ER - TY - CONF AU - Jager, Tibor AU - Schinzel, Sebastian AU - Somorovsky, Juraj ID - 3135 T2 - Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings TI - Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption ER - TY - CONF AU - Hofheinz, Dennis AU - Jager, Tibor AU - Knapp, Edward ID - 3136 T2 - Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings TI - Waters Signatures with Optimal Security Reduction ER - TY - JOUR AU - Travkin, Oleg AU - Wehrheim, Heike AU - Schellhorn, Gerhard ID - 3180 JF - {ECEASST} TI - Proving Linearizability of Multiset with Local Proof Obligations ER - TY - JOUR AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3181 IS - 3 JF - Sci. Comput. Program. TI - Model evolution and refinement ER - TY - CONF AU - Schellhorn, Gerhard AU - Wehrheim, Heike AU - Derrick, John ED - Madhusudan, P. ED - A. Seshia, Sanjit ID - 3182 T2 - Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings TI - How to Prove Algorithms Linearisable ER - TY - JOUR AU - Shi, Lijie AU - Libuda, Lars AU - Schönau, Eckhard AU - Frassetto, Lynda AU - Remer, Thomas ID - 27067 JF - Bone SN - 8756-3282 TI - Long term higher urinary calcium excretion within the normal physiologic range predicts impaired bone status of the proximal radius in healthy children with higher potential renal acid load ER - TY - JOUR AU - Vyncke, KE AU - Libuda, Lars AU - De Vriendt, T AU - Moreno, LA AU - Van Winckel, M AU - Manios, Y AU - Gottrand, F AU - Molnar, D AU - Vanaelst, B AU - Sjöström, M AU - González-Gross, M AU - Censi, L AU - Widhalm, K AU - Michels, N AU - Gilbert, CC AU - Xatzis, C AU - Cuenca García, M AU - de Heredia, FP AU - De Henauw, S AU - Huybrechts, I AU - consortium, HELENA ID - 27074 IS - 12 JF - Br J Nutr SN - 0007-1145 TI - Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study. VL - 108 ER - TY - JOUR AU - Duffey, KJ AU - Huybrechts, I AU - Mouratidou, T AU - Libuda, Lars AU - Kersting, M AU - De Vriendt, T AU - Gottrand, F AU - Widhalm, K AU - Dallongeville, J AU - Hallström, L AU - González-Gross, M AU - De Henauw, S AU - Moreno, LA AU - Popkin, BM AU - Study group, HELENA ID - 27075 IS - 2 JF - Eur J Clin Nutr SN - 0954-3007 TI - Beverage consumption among European adolescents in the HELENA study. VL - 66 ER - TY - CONF AB - In this article we report on the experiences of a redesigned teaching in the field of computer science and society (IuG). The reasons for the redesign and the concept are outlined. We have condensed our experiences into theses: 1. Computer science and society should be a compulsory course in the bachelor's degree, in which students get an overview of which social framework conditions are relevant for them and how they can be incorporated into practice. 2. Historical contents of computer science are to be processed here by considering current developments in the context of their genesis. AU - Engbring, Dieter AU - Selke, Harald ED - Forbrig, Peter ED - Rick, Detlef ED - Schmolitzky, Axel ID - 27176 TI - Computer science and society as a field of computer science VL - 5 ER - TY - CONF AU - Klompmaker, Florian AU - Workowski, Anke AU - Thronicke, Wolfgang AU - Ostermair, Florian AU - Willemsen, Detlev AU - Hoffmann, D ID - 27177 TI - User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes ER - TY - CONF AU - Klompmaker, Florian AU - Nebe, Karsten AU - Eschenlohr, Julien ID - 27179 TI - Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices ER - TY - CONF AB - This article explains the technical potential of digital boards with which more and more schools are being equipped. A consideration of current usage scenarios of these interactive whiteboards shows that a large part of this potential is still unused and the deficits of the software often have to be circumvented with tricks, especially for use in demanding, student-oriented lessons. Finally, the further development of existing teaching scenarios using this technical potential shows that considering the technical possibilities of digital boards can motivate new didactic scenarios. AU - Selke, Harald AU - Winkelnkemper, Felix ED - Desel, J {\ "o} rg ED - Haake, J {\" o} rg ED - Spannagel, Christian ID - 27180 TI - The technical potential of digital boards ER - TY - CONF AU - Fischer, Holger Gerhard AU - Geis, Thomas AU - Kluge, Oliver AU - Bogner, Christian AU - Polkehn, Knut ID - 27181 TI - Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten ER - TY - CONF AU - Tobias, M{\"u}ller AU - Nebe, Karsten AU - Klompmaker, Florian ID - 27182 TI - Base Requirements for Virtual Tabletop Groupware Artifacts ER - TY - JOUR AU - Fischer, Holger Gerhard AU - Klompmaker, Florian ID - 27183 JF - M & C, humans and computers TI - Collaborative work on interactive displays - design, operation and fields of application ER - TY - CONF AU - Keil, Reinhard ID - 27184 TI - Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich ER - TY - CONF AB - Since 2010 when the Microsoft Kinect with its integrated depth-sensing camera appeared on the market, completely new kinds of interaction techniques have been integrated into console games. They don’t require any instrumentalization and no complicated calibration or time-consuming setup anymore. But even having these benefits, some drawbacks exist. Most games only enable the user to fulfill very simple gestures like waving, jumping or stooping, which is not the natural behavior of a user. In addition the depth-sensing technology lacks of haptic feedback. Of course we cannot solve the lack of haptic feedback, but we want to improve the whole-body interaction. Our goal is to develop 3D interaction techniques that give a maximum of freedom to the user and enable her to perform precise and immersive interactions. This work focuses on whole-body interaction in immersive virtual environments. We present 3D interaction techniques that provide the user with a maximum of freedom and enables her to operate precisely and immersive in virtual environments. Furthermore we present a user study, in which we analyzed how Navigation and Manipulation techniques can be performed by users’ body-interaction using a depth-sensing camera and a huge projection screen. Therefore three alternative approaches have been developed and tested: classical gamepad interaction, an indirect pointer-based interaction and a more direct whole- body interaction technique. We compared their effectiveness and preciseness. It turned out that users act faster, while using the gamepad, but generate significantly more errors at the same time. Using depth-sensing based whole-body interaction techniques it became apparent, that the interaction is much more immersive, natural and intuitive, even if slower. We will show the advantages of our approach and how it can be used in various domains, more effectively and efficiently for their users. AU - Klompmaker, Florian AU - Dridger, Alexander AU - Nebe, Karsten ID - 27185 T2 - Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference TI - EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS ER - TY - CONF AU - Fischer, Holger Gerhard ID - 27187 T2 - Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark TI - Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards ER - TY - CONF AU - Keil, Reinhard AU - Metternich, Hans-J {\ "u} rgen AU - Ritzenhoff, Steffan ED - Keil, Reinhard ED - Metternich, Hans- J {\ "u} rgen ED - Ritzenhoff, Steffan ID - 27188 TI - Summary and Outlook ER - TY - CONF AU - Keil, Reinhard AU - Niehus, Dominik AU - Ossenschmidt, Daniel ED - Keil, Reinhard ED - Metternich, Hans-J {\ "u} rgen ED - Ritzenhoff, Steffan ID - 27189 TI - Durchl {\ "a} ssigkeitsorientierte Bildung ER - TY - JOUR AU - Brand, Marcel AU - Klompmaker, Florian AU - Schleining, Peter AU - Weiss, Fabian ID - 27190 IS - 2 JF - Computer science spectrum TI - Automatic emotion recognition - technologies, interpretation and applications VL - 35 ER - TY - CONF AU - Keil, Reinhard AU - Metternich, Hans-J {\ "u} rgen AU - Ritzenhoff, Steffan ED - Keil, Reinhard ED - Metternich, Hans-J {\ "u} rgen ED - Ritzenhoff, Steffan ID - 27191 TI - Passability in education - a challenge for {\" u} r the future ER - TY - CONF AU - Fischer, Holger Gerhard AU - Klompmaker, Florian ID - 27192 T2 - Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada TI - Enriching Disaster Control Management based on Human-Centered Design ER - TY - GEN AU - Behrenbruch, Kay AU - Bogner, Christian AU - Fischer, Holger Gerhard AU - Geis, Thomas AU - Geitner, Claudia AU - Heimg{\"a}rtner, R{\"u}diger AU - Hofmann, Britta AU - Hunkirchen, Peter AU - Kluge, Oliver AU - Litzenberg, Britta AU - Molich, Rolf AU - Polkehn, Knut AU - Pysarenko, Yuliya AU - Zimmermann, Dirk ID - 27193 TI - German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering ER - TY - CONF AB - In order to support everyday school life, the educational platform "Education in Dialogue" was developed and continuously improved over a period of more than ten years in an evolutionary process with user participation. The aim of this article is to show how sustainable support can be achieved by not focusing on the basic possibilities of network-based work, but using everyday practice as a starting point. In order to decide how the school assignment can be optimally supported in a specific embodiment, we develop »learning scenarios«. Based on a didactic approach, a technical concept and a usage guide are designed. AU - Jakoblew, Marcel AU - Niehus, Dominik AU - Selke, Harald ED - Apostolopoulos, Nicolas ED - Mu {\ ss } mann, Ulrike ED - Coy, Wolfgang ED - Schwill, Andreas ID - 27194 TI - Learning scenarios for school 2.0 ER -