Auflistung nach Dewey Decimal Classification

Sortiert nach: Sortierung: Ergebnisse:

  • Golestani, Hossein (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2018)
    Presentation at the SVCP 2018
  • Laude, Thorsten (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2018)
    Presentation at the SVCP 2018
  • Ebbing, Johannes; Kontinen, Juha; Mueller, Julian-Steffen; Vollmer, Heribert (Braunschweig : Tech. Univ. Braunschweig, 2014)
    In this paper we study the expressive power of Horn-formulae in dependence logic and show that they can express NP-complete problems. Therefore we define an even smaller fragment D*-Horn and show that over finite successor ...
  • Johannsmeier, Lars; Haddadin, Sami (Piscataway, NJ : Institute of Electrical and Electronics Engineers Inc., 2016-02-29)
    In this paper we propose a framework for task allocation in human-robot collaborative assembly planning. Our framework distinguishes between two main layers of abstraction and allocation. In the higher layer we use an ...
  • Dietze, Stefan; Taibi, Davide; Yu, Hong Qing; Dovrolis, Nikolas (Hoboken, NJ : Blackwell Publishing Ltd, 2015)
    Reusable educational resources became increasingly important for enhancing learning and teaching experiences, particularly in the medical domain where resources are particularly expensive to produce. While interoperability ...
  • Barrett, Chris; Drozda, Martin; Marathe, Madhav V.; Ravi, S.S.; Smith, James P. (New York, NY : Hindawi Publishing Corporation, 2004)
    We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of this framework, namely a mobility data generator ...
  • Feng, D.; Neuweiler, Insa; Nackenhorst, Udo (Heidelberg : Springer Verlag, 2017)
    We consider a model for biofilm growth in the continuum mechanics framework, where the growth of different components of biomass is governed by a time dependent advection–reaction equation. The recently developed ...
  • Povse, B.; Haddadin, S.; Belder, R.; Koritnik, D.; Bajd, T. (Cambridge : Cambridge University Press, 2015)
    This paper treats the systematic injury analysis of lower arm robot–human impacts. For this purpose, a passive mechanical lower arm (PMLA) was developed that mimics the human impact response and is suitable for systematic ...
  • Stecher, Rodolfo; Niederée, Claudia; Nejdl, Wolfgang; Bouquet, Paolo (Bingley : Emerald Group Publishing Ltd., 2008)
    Purpose - The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. The purpose of this paper is to present an approach for supporting a form of adaptive re-use of ...
  • Heller, Lambert (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2018-01-15)
    Further information: https://tib.eu/Lambo. German version: https://doi.org/ch5d
  • Drachsler, Hendrik; Stoyanov, Slavi; d'Aquin, Mathieu; Herder, Eelco; Guy, Marieke; Dietze, Stefan (Heidelberg : Springer Verlag, 2014)
    This paper presents a study describing the development of an Evaluation Framework (EF) for data competitions in TEL. The study applies the Group Concept Method (GCM) to empirically depict criteria and their indicators for ...
  • Demidova, Elena; Barbieri, Nicola; Dietze, Stefan; Funk, Adam; Holzmann, Helge; Maynard, Diana; Papailiou, Nikolaos; Peters, Wim; Risse, Thomas; Spiliotopoulos, Dimitris (Basel : MDPI AG, 2014)
    The web and the social web play an increasingly important role as an information source for Members of Parliament and their assistants, journalists, political analysts and researchers. It provides important and crucial ...
  • Zhou, Yiwei; Demidova, Elena; Cristea, Alexandra I. (Heidelberg : Springer Verlag, 2015)
    Representation of influential entities, such as famous people and multinational corporations, on the Web can vary across languages, reflecting language-specific entity aspects as well as divergent views on these entities ...
  • Kern, Albert; Martignoli, Stefan; Mathis, Wolfgang; Steeb, Willi-Hans; Stoop, Ralph Lukas; Stoop, Ruedi (Basel : Mdpi Ag, 2011-06)
    The "Sonar Hopf" cochlea is a recently much advertised engineering design of an auditory sensor. We analyze this approach based on a recent description by its inventors Hamilton, Tapson, Rapson, Jin, and van Schaik, in ...
  • Djafari Naini, Kaweh (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2019)
    Today, the World Wide Web has become the main source and medium for people to access, share, and manage information. Since user expectations towards all three types of functionalities are high and information volumes are ...
  • Pereira Nunes, Bernardo; Kawase, Ricardo; Dietze, Stefan; Bernardino De Campos, Gilda Helena; Nejdl, Wolfgang (Heidelberg : Springer Verlag, 2012)
    One of the most popular forms of learning is through reading and for years we have used hard copy documents as the main material to learn. With the advent of the Internet and the fast development of new technologies, new ...
  • Pereira Nunes, Bernardo; Pedrosa, Stella; Kawase, Ricardo; Alrifai, Mohammad; Marenzi, Ivana; Dietze, Stefan; Casanova, Marco Antonio (Heidelberg : Springer Verlag, 2013)
    Learning is a level-progressing process. In any field of study, one must master basic concepts to understand more complex ones. Thus, it is important that during the learning process learners are presented and challenged ...
  • Fuhrwerk, Martin; Thein, Christoph; Peissig, Jürgen (Piscataway, NJ : Institute of Electrical and Electronics Engineers Inc., 2013)
    In this contribution the influence of different broadband OFDM schemes on the perceptual audio quality of narrowband wireless microphone links is evaluated, since coexistence scenarios of wireless microphones and Orthogonal ...
  • Deifel, Hans-Peter; Dietrich, Christian; Göttlinger, Merlin; Milius, Stefan; Lohmann, Daniel; Schröder, Lutz (Piscataway : IEEE, 2017-08-08)
    The OSEK industrial standard governs the design of embedded real-time operating systems in the automotive domain. We report on efforts to develop verification methods for OSEK-conformant compilers, specifically of a code ...
  • Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2016)
    A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic ...