• 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 183

  • 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 Analyzing Given Names 

Müller, Jürgen (2020)
Computer science has evolved so much that it influences almost every part of human live. A particularly personal part of human live is the selection of a given name for a newborn baby. The name discovery service Nameling is our way to help expectant parents with this decision. It is a web service that helps parents to find a given name for their newborn baby. We want to further improve the user experience of Nameling by personalizing its name results for the current user. We deem this important, because the selection ...
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

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 ...
Thumbnail

Preprint An Overview of Modeling Concepts for Service-Based Software Architectures 

Rademacher, Florian (2020)
This document provides an overview of modeling concepts for service-based software architectures (SBSAs). The concepts were extracted during a survey of conceptual frameworks for architecture modeling of SBSAs.
Thumbnail

Dissertation Formal Verification for ALICA Plans 

Nguyen Van, Thao (2021)
Mit der Entwicklung von Wissenschaft und Technik steigen auch die Fähigkeiten autonomer Roboter. Immer mehr und kompliziertere Roboterszenarien werden in vielen Bereichen realisierbar, wie z. B. Mäh-, Ernte- und Lagerroboter. Daher wird die Planung für sie zu einer immer wichtigeren Aufgabe. Da diese Roboter jedoch täglich komplexer werden, ist die Sicherheitszertifizierung ein unvermeidliches Anliegen bei der Entwicklung von mehr autonomen Robotern. Daher ist die Verifizierung der Pläne vor der Verwendung und dem ...
Thumbnail

Dissertation Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems 

Khatri, Abdul Rafay (2019-11)
Field Programmable Gate Array (FPGA) has been involved in various applications in the last couple of decades, such as aerospace, biomedical instrumentation, safety-critical systems, and spacecraft, due to their remarkable features. These features include parallelism, reconfiguration, self-healing capabilities, availability, low cost and low design turn-around time. FPGA devices are sensitive to Single Event Effects (SEE), which can be caused by various sources, such as α-particles, cosmic rays, atmospheric neutrons, ...
Thumbnail

Dissertation Towards Service Co-evolution in the Internet of Things 

Tran, Huu Tam (2021-12)
Nowadays, in the world of technology, where the new technologies are devolved and replace the old ones every single day, any software product in order to maintain its competitiveness, must be updated continually. Updating a software product results from an evolution process, including adding new features, replacing outdated features, repairing bugs, closing security gaps, and improving performance, which requires a lot of effort and knowledge. Therefore, the Internet of Things (IoT) services are no exception. An ...
Thumbnail

Technischer Report Model-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach 

Sorgalla, Jonas; Rademacher, Florian; Sachweh, Sabine; Zündorf, Albert (2020-04-15)
Microservice Architecture denotes a software architectural style for service-based software systems whereby business capabilities are encapsulated in autonomously developable and deployable services. To foster a more efficient development it is considered feasible to apply the means of Model-driven Development in order to handle the complexity of such a distributed system and avoid the manual creation of boilerplate code using code generation. In this paper, we present and evaluate two modeling approaches for ...
Thumbnail

Dissertation Eine SPARQL-Schnittstelle für OData-Services 

Kirchhoff, Marc (2014-11-25)
Enterprise-Resource-Planning-Systeme (ERP-Systeme) bilden für die meisten mittleren und großen Unternehmen einen essentiellen Bestandteil ihrer IT-Landschaft zur Verwaltung von Geschäftsdaten und Geschäftsprozessen. Geschäftsdaten werden in ERP-Systemen in Form von Geschäftsobjekten abgebildet. Ein Geschäftsobjekt kann mehrere Attribute enthalten und über Assoziationen zu anderen Geschäftsobjekten einen Geschäftsobjektgraphen aufspannen. Existierende Schnittstellen ermöglichen die Abfrage von Geschäftsobjekten, ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 19

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 2020 - 2023 (17) 2010 - 2019 (60) 2000 - 2009 (80) 1990 - 1999 (25) 1989 - 1989 (1)
  • Publication typeArticle  (38)Diploma thesis  (4)Doctoral thesis  (77)Course material  (8)Preprint  (27)xmlui.type.  (
  • Keyword (DDC)000  Computer science, knowledge and systems  (2)
    004 (183)
    370  Education  (2)380  Commerce, communications and transportation  (1)500  Science  (3)... View More
  • Open access open access (182) restricted access (1)

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