@article{48306,
  abstract     = {{<jats:p>The goal of argumentation mining, an evolving research field in computational linguistics, is to design methods capable of analyzing people's argumentation. In this article, we go beyond the state of the art in several ways. (i) We deal with actual Web data and take up the challenges given by the variety of registers, multiple domains, and unrestricted noisy user-generated Web discourse. (ii) We bridge the gap between normative argumentation theories and argumentation phenomena encountered in actual data by adapting an argumentation model tested in an extensive annotation study. (iii) We create a new gold standard corpus (90k tokens in 340 documents) and experiment with several machine learning methods to identify argument components. We offer the data, source codes, and annotation guidelines to the community under free licenses. Our findings show that argumentation mining in user-generated Web discourse is a feasible but challenging task.</jats:p>}},
  author       = {{Habernal, Ivan and Gurevych, Iryna}},
  issn         = {{0891-2017}},
  journal      = {{Computational Linguistics}},
  keywords     = {{Artificial Intelligence, Computer Science Applications, Linguistics and Language, Language and Linguistics}},
  number       = {{1}},
  pages        = {{125--179}},
  publisher    = {{MIT Press}},
  title        = {{{Argumentation Mining in User-Generated Web Discourse}}},
  doi          = {{10.1162/coli_a_00276}},
  volume       = {{43}},
  year         = {{2016}},
}

@article{52747,
  author       = {{Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}},
  issn         = {{1861-2032}},
  journal      = {{Journal on Data Semantics}},
  keywords     = {{Artificial Intelligence, Computer Networks and Communications, Information Systems}},
  number       = {{2}},
  pages        = {{55--75}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}}},
  doi          = {{10.1007/s13740-015-0055-y}},
  volume       = {{5}},
  year         = {{2016}},
}

@article{52803,
  author       = {{Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}},
  issn         = {{1861-2032}},
  journal      = {{Journal on Data Semantics}},
  keywords     = {{Artificial Intelligence, Computer Networks and Communications, Information Systems}},
  number       = {{2}},
  pages        = {{55--75}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}}},
  doi          = {{10.1007/s13740-015-0055-y}},
  volume       = {{5}},
  year         = {{2016}},
}

@article{41866,
  author       = {{Russer, Johannes A. and Uddin, Nasir and Awny, Ahmed Sanaa and Thiede, Andreas and Russer, Peter}},
  issn         = {{2162-2264}},
  journal      = {{IEEE Electromagnetic Compatibility Magazine}},
  keywords     = {{Electrical and Electronic Engineering, Computer Networks and Communications, Instrumentation, Signal Processing, Software}},
  number       = {{3}},
  pages        = {{79--85}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{Near-field measurement of stochastic electromagnetic fields}}},
  doi          = {{10.1109/memc.2015.7336761}},
  volume       = {{4}},
  year         = {{2015}},
}

@article{39479,
  author       = {{Vidor, Fábio and Meyers, Thorsten and Hilleringmann, Ulrich}},
  issn         = {{2079-9292}},
  journal      = {{Electronics}},
  keywords     = {{Electrical and Electronic Engineering, Computer Networks and Communications, Hardware and Architecture, Signal Processing, Control and Systems Engineering}},
  number       = {{3}},
  pages        = {{480--506}},
  publisher    = {{MDPI AG}},
  title        = {{{Flexible Electronics: Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film Transistors}}},
  doi          = {{10.3390/electronics4030480}},
  volume       = {{4}},
  year         = {{2015}},
}

@inproceedings{10674,
  author       = {{Ho, Nam and Kaufmann, Paul and Platzner, Marco}},
  booktitle    = {{24th Intl. Conf. on Field Programmable Logic and Applications (FPL)}},
  keywords     = {{Linux, hardware-software codesign, multiprocessing systems, parallel processing, LEON3 multicore platform, Linux kernel, PMU, hardware counters, hardware-software infrastructure, high performance embedded computing, perf_event, performance monitoring unit, Computer architecture, Hardware, Monitoring, Phasor measurement units, Radiation detectors, Registers, Software}},
  pages        = {{1--4}},
  title        = {{{A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms}}},
  doi          = {{10.1109/FPL.2014.6927437}},
  year         = {{2014}},
}

@article{46266,
  author       = {{Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}},
  issn         = {{0018-9340}},
  journal      = {{IEEE Transactions on Computers}},
  keywords     = {{Computational Theory and Mathematics, Hardware and Architecture, Theoretical Computer Science, Software}},
  pages        = {{1--1}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}}},
  doi          = {{10.1109/tc.2014.2329687}},
  year         = {{2014}},
}

@article{39504,
  author       = {{Vidor, F. F. and Wirth, G. and Assion, F. and Wolff, K. and Hilleringmann, Ulrich}},
  issn         = {{1536-125X}},
  journal      = {{IEEE Transactions on Nanotechnology}},
  keywords     = {{Electrical and Electronic Engineering, Computer Science Applications}},
  number       = {{3}},
  pages        = {{296--303}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor}}},
  doi          = {{10.1109/tnano.2012.2236891}},
  volume       = {{12}},
  year         = {{2013}},
}

@article{4706,
  abstract     = {{Purpose – The purpose of this paper is to show how to employ complex event processing (CEP) for the observation and management of business processes. It proposes a conceptual architecture of BPM event producer, processor, and consumer and describes technical implications for the application with standard software in a perfect order scenario. Design/methodology/approach – The authors discuss business process analytics as the technological background. The capabilities of CEP in a BPM context are outlined an architecture design is proposed. A sophisticated proof-of-concept demonstrates its applicability. Findings – The results overcome the separation and data latency issues of process controlling, monitoring, and simulation. Distinct analyses of past, present, and future blur into a holistic real-time approach. The authors highlight the necessity for configurable event producer in BPM engines, process event support in CEP engines, a common process event format, connectors to visualizers, notifiers and return channels to the BPM engine. Research limitations/implications – Further research will thoroughly evaluate the approach in a variety of business settings. New concepts and standards for the architecture's building blocks will be needed to improve maintainability and operability. Practical implications – Managers learn how CEP can yield insights into business processes' operations. The paper illustrates a path to overcome inflexibility, latency, and missing feedback mechanisms of current process modeling and control solutions. Software vendors might be interested in the conceptualization and the described needs for further development. Originality/value – So far, there is no commercial CEP-based BPM solution which facilitates a round trip from insight to action as outlines. As major software vendors have begun developing solutions (BPM/BPA solutions), this paper will stimulate a debate between research and practice on suitable design and technology.}},
  author       = {{Janiesch, Christian and Matzner, Martin and Müller, Oliver}},
  isbn         = {{1020120096}},
  issn         = {{14637154}},
  journal      = {{Business Process Management Journal}},
  keywords     = {{Architecture, Business activity monitoring, Business process management, Business process re-engineering, Complex event processing, Computer software, Standard software}},
  number       = {{4}},
  pages        = {{625----643}},
  title        = {{{Beyond process monitoring: A proof-of-concept of event-driven business activity management}}},
  doi          = {{10.1108/14637151211253765}},
  year         = {{2012}},
}

@article{17236,
  abstract     = {{The behavior for a humanoid robot is often modeled in accordance with human behavior. Current research suggests that analyzing infant behavior as a basis for designing the robot behavior can guide us to a natural robot interface. Based on this idea many researchers support saliency systems as a bottom-up inspired way to simulate infant-like gazing behavior. In the field of saliency systems many different approaches have proposed and quantified in terms of speed, quality and other technical issues. But so far, no one compared and quantified them in terms of natural infant tutor interaction. The question we would like to address in this paper is: Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations? By addressing these issues we want to take a step towards an autonomous robot system, which could be used more natural interaction experiments in future.}},
  author       = {{Narayan, Vikram and Lohan, Katrin Solveig and Tscherepanow, Marko and Rohlfing, Katharina and Wrede, Britta}},
  issn         = {{1662-5188}},
  journal      = {{Frontiers in Computational Neuroscience}},
  keywords     = {{child gazing behavior, computer vision, saliency, development}},
  number       = {{35}},
  publisher    = {{Frontiers Media SA}},
  title        = {{{Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations?}}},
  doi          = {{10.3389/conf.fncom.2011.52.00035}},
  volume       = {{5}},
  year         = {{2011}},
}

@inproceedings{37011,
  abstract     = {{Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study.}},
  author       = {{Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}},
  booktitle    = {{Proceedings of DATE’10, Dresden}},
  keywords     = {{Timing, Programming, Automotive engineering, Application software, Hardware, Computer architecture, Communication system software, Software architecture, Delay, Software standards}},
  location     = {{Dresden}},
  publisher    = {{IEEE}},
  title        = {{{Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}}},
  doi          = {{10.1109/DATE.2010.5457125}},
  year         = {{2010}},
}

@article{43503,
  author       = {{Kröger, Claus and Böcker, Joachim and Neiß, Konstantin}},
  issn         = {{0178-2312}},
  journal      = {{at - Automatisierungstechnik}},
  keywords     = {{Electrical and Electronic Engineering, Computer Science Applications, Control and Systems Engineering}},
  number       = {{10}},
  pages        = {{542--545}},
  publisher    = {{Walter de Gruyter GmbH}},
  title        = {{{Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik}}},
  doi          = {{10.1524/auto.2010.9082}},
  volume       = {{58}},
  year         = {{2010}},
}

@article{42803,
  abstract     = {{We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the run time of these algorithms and consider several related problems, including the computation of two-sided ideal classes, isomorphism classes of orders, connecting ideals for orders, and ideal principalization. We conclude by giving the complete list of definite Eichler orders with class number at most 2.}},
  author       = {{Kirschmer, Markus and Voight, John}},
  issn         = {{0097-5397}},
  journal      = {{SIAM Journal on Computing}},
  keywords     = {{General Mathematics, General Computer Science}},
  number       = {{5}},
  pages        = {{1714--1747}},
  publisher    = {{Society for Industrial & Applied Mathematics (SIAM)}},
  title        = {{{Algorithmic Enumeration of Ideal Classes for Quaternion Orders}}},
  doi          = {{10.1137/080734467}},
  volume       = {{39}},
  year         = {{2010}},
}

@inproceedings{17272,
  abstract     = {{In developmental research, tutoring behavior has been identified as scaffolding infants' learning processes. It has been defined in terms of child-directed speech (Motherese), child-directed motion (Motionese), and contingency. In the field of developmental robotics, research often assumes that in human-robot interaction (HRI), robots are treated similar to infants, because their immature cognitive capabilities benefit from this behavior. However, according to our knowledge, it has barely been studied whether this is true and how exactly humans alter their behavior towards a robotic interaction partner. In this paper, we present results concerning the acceptance of a robotic agent in a social learning scenario obtained via comparison to adults and 8-11 months old infants in equal conditions. These results constitute an important empirical basis for making use of tutoring behavior in social robotics. In our study, we performed a detailed multimodal analysis of HRI in a tutoring situation using the example of a robot simulation equipped with a bottom-up saliency-based attention model. Our results reveal significant differences in hand movement velocity, motion pauses, range of motion, and eye gaze suggesting that for example adults decrease their hand movement velocity in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI) and this decrease is even higher in the Adult-Robot Interaction (ARI). We also found important differences between ACI and ARI in how the behavior is modified over time as the interaction unfolds. These findings indicate the necessity of integrating top-down feedback structures into a bottom-up system for robots to be fully accepted as interaction partners.}},
  author       = {{Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}},
  booktitle    = {{Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}},
  keywords     = {{robot simulation, hand movement velocity, robotic interaction partner, robotic agent, robot-directed interaction, multimodal analysis, Motionese, Motherese, intelligent tutoring systems, immature cognitive capability, human computer interaction, eye gaze, child-directed speech, child-directed motion, bottom-up system, bottom-up saliency-based attention model, adult-robot interaction, adult-child interaction, adult-adult interaction, human-robot interaction, action learning, social learning scenario, social robotics, software agents, top-down feedback structures, tutoring behavior}},
  pages        = {{1--6}},
  publisher    = {{IEEE}},
  title        = {{{People modify their tutoring behavior in robot-directed interaction for action learning}}},
  doi          = {{10.1109/DEVLRN.2009.5175516}},
  year         = {{2009}},
}

@inproceedings{2262,
  abstract     = {{In this work we present EvoCache, a novel approach for implementing application-specific caches. The key innovation of EvoCache is to make the function that maps memory addresses from the CPU address space to cache indices programmable. We support arbitrary Boolean mapping functions that are implemented within a small reconfigurable logic fabric. For finding suitable cache mapping functions we rely on techniques from the evolvable hardware domain and utilize an evolutionary optimization procedure. We evaluate the use of EvoCache in an embedded processor for two specific applications (JPEG and BZIP2 compression) with respect to execution time, cache miss rate and energy consumption. We show that the evolvable hardware approach for optimizing the cache functions not only significantly improves the cache performance for the training data used during optimization, but that the evolved mapping functions generalize very well. Compared to a conventional cache architecture, EvoCache applied to test data achieves a reduction in execution time of up to 14.31% for JPEG (10.98% for BZIP2), and in energy consumption by 16.43% for JPEG (10.70% for BZIP2). We also discuss the integration of EvoCache into the operating system and show that the area and delay overheads introduced by EvoCache are acceptable. }},
  author       = {{Kaufmann, Paul and Plessl, Christian and Platzner, Marco}},
  booktitle    = {{Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS)}},
  keywords     = {{EvoCache, evolvable hardware, computer architecture}},
  pages        = {{11--18}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{EvoCaches: Application-specific Adaptation of Cache Mapping}}},
  year         = {{2009}},
}

@inproceedings{17278,
  abstract     = {{This paper investigates the influence of feedback provided by an autonomous robot (BIRON) on users’ discursive behavior. A user study is described during which users show objects to the robot. The results of the experiment indicate, that the robot’s verbal feedback utterances cause the humans to adapt their own way of speaking. The changes in users’ verbal behavior are due to their beliefs about the robots knowledge and abilities. In this paper they are identified and grouped. Moreover, the data implies variations in user behavior regarding gestures. Unlike speech, the robot was not able to give feedback with gestures. Due to the lack of feedback, users did not seem to have a consistent mental representation of the robot’s abilities to recognize gestures. As a result, changes between different gestures are interpreted to be unconscious variations accompanying speech.}},
  author       = {{Lohse, Manja and Rohlfing, Katharina and Wrede, Britta and Sagerer, Gerhard}},
  isbn         = {{1050-4729}},
  keywords     = {{discursive behavior, autonomous robot, BIRON, man-machine systems, robot abilities, robot knowledge, user gestures, robot verbal feedback utterance, speech processing, user verbal behavior, service robots, human-robot interaction, human computer interaction, gesture recognition}},
  pages        = {{3481--3486}},
  title        = {{{“Try something else!” — When users change their discursive behavior in human-robot interaction}}},
  doi          = {{10.1109/ROBOT.2008.4543743}},
  year         = {{2008}},
}

@inproceedings{38107,
  abstract     = {{TestML is an XML-based language for the exchange of test descriptions in automotive systems design and mainly introduced through the structural definition of an XML schema as an independent exchange format for existing tools and methods covering a wide range of different test technologies. In this paper, we present a rigorous formal behavioral semantics for TestML by means of Abstract State Machines (ASMs). Our semantics is a concise, unambiguous, high-level specification for TestML-based implementations and serves as a basis to define exact and well-defined mappings between existing test languages and TestML.}},
  author       = {{Großmann, Jürgen and Müller, Wolfgang}},
  booktitle    = {{Proc. of ISOLA 06}},
  isbn         = {{978-0-7695-3071-0}},
  keywords     = {{System testing, Software testing, Automotive engineering, Automatic testing, Machinery production industries, Protocols, Hardware design languages, Samarium, XML, Computer industry}},
  location     = {{Paphos, Cyprus}},
  title        = {{{A Formal Behavioral Semantics for TestML}}},
  doi          = {{10.1109/ISoLA.2006.37}},
  year         = {{2006}},
}

@inproceedings{39032,
  abstract     = {{Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.}},
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of VL/HCC 05}},
  isbn         = {{0-7695-2443-5}},
  keywords     = {{Unified modeling language, Software design, Virtual machining, Embedded system, Programming, Documentation, Hardware, Computer languages, Operating systems, Runtime}},
  title        = {{{Transformation of UML State Machines for Direct Execution}}},
  doi          = {{10.1109/VLHCC.2005.64}},
  year         = {{2005}},
}

@inproceedings{39050,
  abstract     = {{Currently, middleware for smart home networks with embedded and mobile devices are in the focus of several investigations. In this paper, we propose a middleware for secure management of device and user profiles by integrating a profile database with a generic authentication scheme for an X.509 enabled ticket management in the context of the OSGi framework. After the introduction of the individual system components and their interaction, we also discuss potential system attacks.}},
  author       = {{Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}},
  booktitle    = {{Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}},
  isbn         = {{0-7695-2424-9}},
  keywords     = {{Intelligent networks, Smart homes, Middleware, Project management, Data security, Ubiquitous computing, Context-aware services, Computer architecture, Home automation, Environmental management}},
  location     = {{Copenhagen, Denmark }},
  publisher    = {{IEEE}},
  title        = {{{Secure Profile Management in Smart Home Networks}}},
  doi          = {{10.1109/DEXA.2005.171}},
  year         = {{2005}},
}

@article{29924,
  author       = {{Amann, Notker and Böcker, Joachim and Prenner, Franz}},
  issn         = {{1083-4435}},
  journal      = {{IEEE/ASME Transactions on Mechatronics}},
  keywords     = {{Electrical and Electronic Engineering, Computer Science Applications, Control and Systems Engineering}},
  number       = {{4}},
  pages        = {{697--700}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle}}},
  doi          = {{10.1109/tmech.2004.839036}},
  volume       = {{9}},
  year         = {{2004}},
}