Browsing Fakultät für Elektrotechnik und Informatik by Title

Browsing Fakultät für Elektrotechnik und Informatik by Title

Sort by: Order: Results:

  • Krenz, Tobias; Gottschalk, Torben; Helmers, Lennard; Trinke, Patrick; Bensmann, Boris; Hanke-Rauschenbach, Richard (Bristol : IOP Publishing, 2024)
    It is common practice to characterize cells in polymer electrolyte membrane water electrolysis (PEMWE) using electrochemical impedance spectroscopy (EIS) and Tafel analysis, which require special equipment and operation ...
  • Krause, Thomas; Ostermann, Jörn (Hoboken, NJ : Wiley, 2020)
    When operating a wind turbine, damage of rotor blades is a serious problem. Undetected damages are likely to increase overtime, and therefore, the safety risks and economical burdens also increase. A monitoring system, ...
  • Fadel, Kamel (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2021-03-15)
    Nowadays, scientific articles are mostly published as PDF files containing unstructured and semi-structured text. This way of scholarly communication severely limits the possibilities to automatically process and reuse ...
  • Kohler, Matthias; Berberich, Julian; Müller, Matthias A.; Allgower, Frank (Frankfurt ; München [u.a.] : Elsevier, 2022)
    In this paper, we present a data-driven distributed model predictive control (MPC) scheme to stabilise the origin of dynamically coupled discrete-time linear systems subject to decoupled input constraints. The local ...
  • Jensen, Nils (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2007)
    [no abstract]
  • Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni (Saarbrücken : Dagstuhl Publishing, 2016)
    We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIMEcomplete. Furthermore, we show that the ...
  • Chandoo, Maurice (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016)
    We compute a canonical circular-arc representation for a given circular-arc (CA) graph which implies solving the isomorphism and recognition problem for this class. To accomplish this we split the class of CA graphs into ...
  • Klomp, Sven (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2012)
    [no abstract]
  • Schleusner, Jens; Neu, Lothar; Behmann, Nicolai; Blume, Holger (Piscataway, NJ : IEEE, 2019)
    The reliable detection of vulnerable road users and the assessment of the actual vulnerability is an important task for the collision warning algorithms of driver assistance systems. Current systems make assumptions about ...
  • Prenner, Nils; Klünder, Jil; Schneider, Kurt (New York,NY,United States : Association for Computing Machinery, 2022)
    Companies often combine agile and plan-based methods to so-called hybrid development approaches to benefit from the advantages of both. Recent research highlights conflicts introduced when combining agile and plan-based ...
  • Suermann, Michel; Bensmann, Boris; Hanke-Rauschenbach, Richard (Bristol : IOP Publishing Ltd., 2019)
    The degradation of proton exchange membrane water electrolysis cells is usually measured in a temporal increase of the cell voltage. Although this is sufficient to evaluate the stability of a system, it is less suitable ...
  • Matesanz, Philip; Graen, Timo; Fiege, Andrea; Nolting, Michael; Nejdl, Wolfgang (Basel : MDPI, 2021)
    Automakers manage vast fleets of connected vehicles and face an ever-increasing demand for their sensor readings. This demand originates from many stakeholders, each potentially requiring different sensors from different ...
  • Genser, Nils; Seiler, Jürgen; Kaup, André (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2018)
    Poster Presentation at the SVCP 2018
  • Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2011)
    We study the extension of dependence logic D by a majority quantifier M over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers ...
  • Bolling, Verena (Hannover : Gottfried Wilhelm Leibniz Universität, 2014-05-14)
    Synthesis research is an approach to infer generalizations from various preceding publications. This makes them an appropriate subject matter of investigating how scientific knowledge spreads and is reused within research ...
  • Rogowski, Maik; Fishan, Sven; Garbe, Heyno (Göttingen : Copernicus Publications, 2021)
    EMC measurements must be carried out in standardized and defined measuring environments. The frequency range between 9 kHz and 30 MHz is a major challenge for measurement technology. The established test sites are designed ...
  • Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert (Saarbrücken : Dagstuhl Publishing, 2016)
    We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. ...
  • Haak, Anselm (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2021)
    In this thesis, we study the descriptive complexity of counting classes based on Boolean circuits. In descriptive complexity, the complexity of problems is studied in terms of logics required to describe them. The focus ...
  • Kaldjob, Eddy Brice (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2010)
    [no abstract]
  • Prochaska, M.; Belski, A.; Mathis, Wolfgang (Göttingen : Copernicus GmbH, 2005)
    Oscillators play a decisive role for electronic equipment in many fields-like communication, navigation or data processing. Especially oscillators are key building blocks in integrated transceivers for wired and wireless ...

Search the repository


Browse

My Account

Usage Statistics