Auflistung Fakultät für Elektrotechnik und Informatik nach Titel

Auflistung Fakultät für Elektrotechnik und Informatik nach Titel

Sortiert nach: Sortierung: Ergebnisse:

  • Parallele adaptive Schwarmsuche für Blackbox-Probleme 
    Shuka, Romeo (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2019)
    In der heutigen Wissenschaft und Wirtschaft haben wir es oft mit Systemen zu tun, welche aus Problemen bestehen, die sehr komplex und nicht einfach zu lösen sind. Aufgrund der zunehmenden Komplexität und der teilweise ...
  • Parameterised complexity of model checking and satisfiability in propositional dependence logic 
    Mahmood, Yasir; Meier, Arne (Dordrecht [u.a.] : Springer Science + Business Media B.V, 2021)
    Dependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parameterisations with respect to central decision problems. The model checking ...
  • Parameterised Counting in Logspace 
    Haak, Anselm; Meier, Arne; Prakash, Om; Rao, B. V. Raghavendra (New York, NY : Springer, 2023)
    Logarithmic space-bounded complexity classes such as L and NL play a central role in space-bounded computation. The study of counting versions of these complexity classes have lead to several interesting insights into the ...
  • Parameterised Enumeration for Modification Problems 
    Creignou, Nadia; Ktari, Raïda; Müller, Julian-Steffen; Olive, Frédéric; Vollmer, Heribert (Basel : MDPI, 2019)
    Recently, Creignou et al. (Theory Comput. Syst. 2017), introduced the class DelayFPT into parameterised complexity theory in order to capture the notion of efficiently solvable parameterised enumeration problems. In this ...
  • Parameterized aspects of team-based formalisms and logical inference 
    Mahmood, Yasir (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2022)
    Parameterized complexity is an interesting subfield of complexity theory that has received a lot of attention in recent years. Such an analysis characterizes the complexity of (classically) intractable problems by pinpointing ...
  • Parameterized complexity of decision problems in non-classical logics 
    Schindler, Irena (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2018)
    Parameterized complexity is a branch of a computational complexity. The pioneers of this new and promising research field are Downey and Fellows. They suggest to examine the structural properties of a given problem and ...
  • Parameterized complexity of weighted team definability 
    Kontinen, Juha; Mahmood, Yasir; Meier, Arne; Vollmer, Heribert (Cambridge : Cambridge Univ. Press, 2024)
    In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analog of one of the most studied problems in parameterized complexity, the notion of weighted ...
  • Parametrised enumeration 
    Meier, Arne (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2020)
    In this thesis, we develop a framework of parametrised enumeration complexity. At first, we provide the reader with preliminary notions such as machine models and complexity classes besides proving them to be well-chosen. ...
  • Participatory Patterns in an International Air Quality Monitoring Initiative 
    Sirbu, Alina; Becker, Martin; Caminiti, Saverio; De Baets, Bernard; Elen, Bart; Francis, Louise; Gravino, Pietro; Hotho, Andreas; Ingarra, Stefano; Loreto, Vittorio; Molino, Andrea; Müller, Jürgen; Peters, Jan; Ricchiuti, Ferdinando; Saracino, Fabio; Servedio, Vito D.P.; Stumme, Gerd; Theunis, Jan; Tria, Francesca; Van den Bossche, Joris (San Francisco : Public Library Science, 2015-08-27)
    The issue of sustainability is at the top of the political and societal agenda, being considered of extreme importance and urgency. Human individual action impacts the environment both locally (e.g., local air/water quality, ...
  • Particle transport in recirculated liquid metal flows 
    Kirpo, M.; Jakovičs, A.; Nacke, B.; Baake, E. (Bingley : Emerald Group Publishing Ltd., 2008)
    Purpose - Aims to present recent activities in numerical modeling of turbulent transport processes in induction crucible furnace. Design/methodology/approach - 3D large eddy simulation (LES) method was applied for fluid ...
  • Performance analysis and coverage optimization methods for a digital radio system in the VHF bands 
    Maier, Friederike (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2013)
    [no abstract]
  • Performance analysis of wireless ad hoc networks 
    Drozda, Martin (Hannover : Universität, 2005)
    [no abstract]
  • The Performance of Distributed Applications: A Traffic Shaping Perspective 
    Hasenoot, Jasper A.; Rellermeyer, Jan S.; Uta, Alexandru (New York, NY : Association for Computing Machinery, 2023)
    Widely used in datacenters and clouds, network traffic shaping is a performance influencing factor that is often overlooked when benchmarking or simply deploying distributed applications. While in theory traffic shaping ...
  • Phase diagram for K(1-x)(NH4)(x)H2PO4 (x = 0 – 0.15) solid solutions embedded into magnetic glasses 
    Vanina, P.Y.; Naberezhnov, A.A.; Sysoeva, A.A.; Nizhankovskii, V.I.; Nacke, B. (Sankt Petersburg : St. Petersburg National Research University of Information Technologies, Mechanics and Optics, 2017)
    Effect of magnetic field application on phase transition in nanostructured solid solutions (1-x)KH2PO4 – (x)(NH4)H2PO4 at x = 0, 0.05 and 0.15 has been studied by dielectric spectroscopy at B = 0 – 10T. The samples have ...
  • Photodetection in intersatellite laser interferometers 
    Fernández Barranco, Germán (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2018)
    This thesis describes the design and characterization of photoreceivers for present and future intersatellite laser interferometers. The photoreceiver performs the optoelectronic conversion of the interfered signals and, ...
  • Photoelektrochemische Ätz- und Oxidationstechnik für AlGaN und Anwendung in Heterostruktur-Feldeffekttransistoren 
    Rotter, Thomas (Hannover : Universität, 2005)
    [no abstract]
  • A physics-based statistical model for human gait analysis 
    Zell, Petrissa; Rosenhahn, Bodo (Cham : Springer Verlag, 2015)
    Physics-based modeling is a powerful tool for human gait analysis and synthesis. Unfortunately, its application suffers from high computational cost regarding the solution of optimization problems and uncertainty in the ...
  • Planning of Reserve Storage to Compensate for Forecast Errors 
    Koch, Julian; Bensmann, Astrid; Eckert, Christoph; Rath, Michael; Hanke-Rauschenbach, Richard (Basel : MDPI, 2024)
    Forecasts and their corresponding optimized operation plans for energy plants never match perfectly, especially if they have a horizon of several days. In this paper, we suggest a concept to cope with uncertain load forecasts ...
  • Planung von optimierten Niederspannungsnetzen 
    Schlömer, Gerrit (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2017)
    [no abstract]
  • Plate-height model of ion mobility-mass spectrometry 
    Grabarics, Márkó; Lettow, Maike; Kirk, Ansgar T.; von Helden, Gert; Causon, Tim J.; Pagel, Kevin (Cambridge : Soc., 2020)
    In the past decade, ion mobility spectrometry (IMS) in combination with mass spectrometry (IM-MS) became a widely employed technique for the separation and structural characterization of ionic species in the gas phase. ...

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken