• Deutsch
    • English
  • Publish
  • About KOBRA  
    • About us
    • Policy
    • License
    • FAQ
    • Contact
  • 🇬🇧
    • Deutsch
    • English
  • Login
Search 
  •   KOBRA
  • Fachbereiche
  • FB 16 Elektrotechnik / Informatik
  • Search
  •   KOBRA
  • Fachbereiche
  • FB 16 Elektrotechnik / Informatik
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.


Diese Webseite benutzt Cookies.
COOKIE POLICY DER UNI. Close


Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 140

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Dissertation Extremal Fixpoints for Higher-Order Modal Logic 

Bruse, Florian (2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL. A first characterization is given by converting the denotational semantics ...
Thumbnail

Dissertation Entwicklung eines Nanoimprint-Prozesses zur Herstellung von dreidimensional strukturierten Nanopartikeln mit erhöhter mechanischer Stabilität 

Reuter, Sabrina (2019)
The nanoimprint technology realizes already the production of two-dimensional (2D) shaped nanoparticles of different shapes and materials. These nanoparticles can be applied in advanced applications in material engineering, as well as in biology and particularly in drug-delivery systems. This work presents three-dimensional (3D) shaped nanoparticles with T-, L- and step-like cross-sections, implemented by substrate conformal imprint lithography (SCIL) and a manual soft-imprint technique. Further, 2D shaped nanoparticles ...
Thumbnail

Dissertation Social Network Mining for Analysis of Social Phenomena 

Kibanov, Mark (2019)
In den letzten zehn Jahren wurde eine große Menge an Daten über menschliche Interaktionen verfügbar, die entweder aus sozialen Online-Netzwerken stammen oder von tragbaren Geräten erfasst wurden. Die klassischen Sozialwissenschaften bieten keine Instrumente für die Durchführung datengetriebener Forschung mit solchen Daten. Die computerorientierte Sozialwissenschaft (Computational Social Science) versucht, diese Lücke zu schließen, indem sie Methoden für Data-Mining und maschinelles Lernen zur Nutzung der Daten aus ...
Thumbnail

Konferenzveröffentlichung Controlled magnetic devices in power electronic applications 

Zacharias, Peter; Kleeb, Thiemo; Fenske, Florian; Wende, Jiajing; Pfeiffer, Jonas (IEEE, 2017)
Almost all power electronic converters require magnetic devices and some properties of the converters can be controlled with magnetics. New magnetic materials enable implementation of magnetic control of converters also in high switching frequency applications. The presented paper gives an overview about controllability of magnetic devices in theory and practice, simulation approaches and examples. The focus is on electrically controllable magnetic devices. This means that an additional control winding is wound on ...
Thumbnail

Konferenzveröffentlichung Design of Photovoltaic Microinverter for Off-Grid and Grid-Parallel Applications 

Felgemacher, Christian; Jäger, Philipp; Kobeissi, Ali; Pfeiffer, Jonas; Wiegand, Dennis; Kruschel, Wolfram; Dombert, Benjamin; Zacharias, Peter; Araújo, Samuel Vasconcelos (VDE Verlag, 2014)
The design and construction of a 500VA microinverter for photovoltaic applications is presented. The developed microinverter is capable of operating as a standalone AC voltage source for small loads or, alternatively, as a grid-parallel system. Possible applications are therefore small off-grid installations as well as installations where space constraints do not allow enough modules to be combined to use string inverters. The design of the microinverter is based on a two stage concept. Two alternative topologies for ...
Thumbnail

Konferenzveröffentlichung Weight reduction of DC/DC converters using controllable inductors 

Eichhorst, Dennis; Pfeiffer, Jonas; Zacharias, Peter (VDE Verlag, 2019-07)
Controllable inductors can be realized by introducing auxiliary windings into the device that partially saturate the core and allow variation of the inductance value. This can be used to achieve zero-voltage switching in a DC/DC converter over a wide load range while at the same time the weight of the inductor is reduced. In this paper the possible size and weight reduction and the influence on the efficiency is calculated and compared to other solutions. The results are verified in a prototype.
Thumbnail

Dissertation Multilayer Thin-film Structures with Distributed Cavity for Optical Filter and Laser Applications 

Taimoor, Muhammad (2018-12)
This work is aimed at the development of a fabrication process for realization of a chirped filter based laser device (called as coreSEL). Conventional vertical cavity surface emitting lasers (VCSELs) are based on Fabry-Pérot arrangement where the electric field of the resonant mode is mainly located in the cavity region (center) and often causes undesired effects such as mode-jumps. However, coreSEL is based on chirped optical filter which offers a resonant mode with wider spatial distribution of the electric field ...
Thumbnail

Dissertation Entwicklung und Herstellung eines Labor-Demonstrators für Mikrospiegel-Arrays zur Tageslichtlenkung 

Tatzel, Andreas (2018-05)
Die Entwicklung und Herstellung eines Labor-Demonstrators für Mikrospiegel-Arrays zur Tageslichtlenkung wird beschrieben. Der Labor-Demonstrator besteht aus einem aktiven Fenster und einem Miniaturraum, wodurch die Funktionsweise der Mikrospiegel-Arrays in dem aktiven Fenster optimal dargestellt werden kann. Das aktive Fenster besteht aus einer Isolierverglasung mit einer Größe von 50 cm x 50 cm, in deren Scheibenzwischenraum vier unabhängig voneinander steuerbare Mikrospiegel-Arrays integriert sind, die eine Fläche ...
Thumbnail

Dissertation Hybrid Branching-Time Logics 

Kernberger, Daniel (2019)
We introduce and study an extension of the well-known and well-studied branching-time logics CTL, CTL+, FCTL+, CTL* and the modal μ-calculus with the so called "hybrid framework". This framework borrows ideas from first-order logic to enable more precise "structural" reasoning which is known to be impossible in the original logics. In particular, the extension with this framework enables these logics to uniquely name, reference and test for certain states, similarly to the concepts of variables and constants in ...
Thumbnail

Dissertation Planning of Autonomous and Mobile Robots in Dynamic Environments 

Neuber, Daniel (2018-11)
The capabilities of autonomous robots are increasing which is a reason for research progress in the last years. An increasing number of robotic scenarios are becoming more viable in various domains for example, mowing, harvesting, warehouse robots. But autonomous mobile robots need more than the ability to navigate through their world, and manipulate objects. Even in teams of robots, a structured plan for each team member is necessary. Planning becomes a more important task. Furthermore, the environment can ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 14

DSpace software copyright © 2002-2015  DuraSpace
KOBRA copyright © 2006-2018  UB Kassel
Contact Us | Send Feedback | Impressum / Datenschutz
Theme by 
Atmire NV
 

 

Browse

All of KOBRACommunities & CollectionsBy Issue Date Authors Titles Keyword (DDC)Keyword (GND)Publication type Language Open access This CommunityBy Issue Date Authors Titles Keyword (DDC)Keyword (GND)Publication type Language Open access

Discover

  • Date Issued 2019 (16) 2018 (18) 2017 (19) 2016 (15) 2015 (15) 2014 (14) 2013 (6) 2012 (12) 2011 (11) 2010 (14)
  • Publication typeArticle  (3)Book  (1)Diploma thesis  (3)Doctoral thesis  (115)Conference object  (3)xmlui.type.  (
  • Keyword (DDC)000  Computer science, knowledge and systems  (3)004  Data processing and computer science  (60)500  Science  (13)530  Physics  (6)540  Chemistry  (2)... View More
  • Open access open access (140)

DSpace software copyright © 2002-2015  DuraSpace
KOBRA copyright © 2006-2018  UB Kassel
Contact Us | Send Feedback | Impressum / Datenschutz
Theme by 
Atmire NV