ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (21)
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists  (21)
  • KIT Scientific Publishing  (21)
  • English  (21)
Collection
  • Books  (21)
Source
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Deep Learning based Vehicle Detection in Aerial Imagery (2022)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: This book proposes a novel deep learning based detection method, focusing on vehicle detection in aerial imagery recorded in top view. The base detection framework is extended by two novel components to improve the detection accuracy by enhancing the contextual and semantical content of the employed feature representation. To reduce the inference time, a lightweight CNN architecture is proposed as base architecture and a novel module that restricts the search area is introduced.
    Keywords: Objektdetektion ; Neuronale Netze ; Luftbilddaten ; Object Detection ; Deep Learning ; Aerial Imagery ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Architecture-based Evolution of Dependable Software-intensive Systems (2023)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.
    Keywords: Software and Systems Engineering; Software-intensive Systeme; Evolution; Verlässlichkeit; Systemarchitektur; Software-intensive Systems; Dependability; System Architecture ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Proceedings of the 2021 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: 2021, the annual joint workshop of the Fraunhofer IOSB and KIT IES was hosted at the IOSB in Karlsruhe. For a week from the 2nd to the 6th July the doctoral students extensive reports on the status of their research. The results and ideas presented at the workshop are collected in this book in the form of detailed technical reports.
    Keywords: computer vision; optische Messtechnik; network security; usage control und machine learning; optical metrology; usage control and machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    QoS-Based Optimization of Runtime Management of Sensing Cloud Applications (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: IoT applications perceive and interact with the environment via smart devices and cloud services. When operating such applications one is faced with the challenge of configuring the smart devices and the cloud services in a manner, which achieves a high data quality at low operational costs. This work supports IoT operators with IoT collection strategies and cost optimization functions for data qualities, which are influenced by the interplay of smart device and cloud service configurations.
    Keywords: Internet-of-Things (IoT); Cloud Computing; Lastkontrolle; Flow Control ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Model-Based Performance Prediction for Concurrent Software on Multicore Architectures (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Model-based performance prediction is a well-known concept to ensure the quality of software.Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures.We implemented the strategies into Palladio and significantly increased the performance prediction power.
    Keywords: Modellbasierte Performancevorhersage; Software Engineering; Multicore-Architekturen; parallele Entwurfsmuster; Model-based Performance Prediction; Multicore architectures; Parallel Design Patterns ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Application of diffractive lens arrays in confocal microscopy (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Diffractive lens arrays are proposed in this work for application in reflected-light confocal microscopes. They have overcome the limitations between fields of view and resolution of traditional objectives. Experiments of multi-spot confocal imaging in surface metrology and fluorescence microscopy have been demonstrated based on the proposed concepts, which have shown capabilities of high-resolution measurement over a large area.
    Keywords: diffraktives optisches Element; Konfokalmikroskopie; Fluoreszenzmikroskopie; Metrologie; 3D Messtechnik; diffractive optical element; confocal microscopy; fluorescence microscopy; metrology; 3D measurement technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Anonymous Point Collection - Improved Models and Security Definitions (2022)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: This work is a comprehensive, formal treatment of anonymous point collection. The proposed definition does not only provide a strong notion of security and privacy, but also covers features which are important for practical use. An efficient realization is presented and proven to fulfill the proposed definition. The resulting building block is the first one that allows for anonymous two-way transactions, has semi-offline capabilities, yields constant storage size, and is provably secure.
    Keywords: Anonymität ; Loyalitätssysteme ; Reputation Systems ; Loyalty Systems ; Payment Systems ; Privacy ; Reputationssysteme ; Bezahlsysteme ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Multimodal Panoptic Segmentation of 3D Point Clouds (2023)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: The understanding and interpretation of complex 3D environments is a key challenge of autonomous driving. Lidar sensors and their recorded point clouds are particularly interesting for this challenge since they provide accurate 3D information about the environment. This work presents a multimodal approach based on deep learning for panoptic segmentation of 3D point clouds. It builds upon and combines the three key aspects multi view architecture, temporal feature fusion, and deep sensor fusion.
    Keywords: Temporal Fusion; Sensor Fusion; Semantic Segmentation; Panoptic Segmentation; Zeitliche Fusion; Semantische Segmentierung; Panoptische Segmentierung; Sensorfusion; Deep Learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security (2023)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow analysis on control-flow graphs and slicing on PDGs. This framework can be used to systematically derive data-flow-like analyses on PDGs that go beyond slicing. I demonstrate that data-flow analysis can be systematically applied to PDGs and show the practicability of my approach.
    Keywords: Programmabhängigkeitsgraphen; Slicing; Informationsflusskontrolle; Datenflussanalyse; Kontrollflussgraphen; program dependence graphs; slicing; information flow control data-flow analysis; control-flow graphs ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Proceedings of the 2020 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory (2021)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: In 2020, the annual joint workshop of the Fraunhofer IOSB and the Vision and Fusion Laboratory of the KIT was hosted at the IOSB in Karlsruhe. For a week from the 27th to the 31st July the doctoral students of both institutions presented extensive reports on the status of their research and discussed topics ranging from computer vision and optical metrology to network security, usage control and machine learning. The results and ideas presented at the workshop are collected in this book.
    Keywords: KI ; maschinelles Lernen ; computer vision ; usage control ; Metrologie ; machine learning ; metrology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Architectural Alignment of Access Control Requirements Extracted from Business Processes (2023)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract access control requirements from business processes with the purpose of transforming them into a) access permissions for role-based access control and b) architectural data flow constraints to identify violations of access control in enterprise application architectures.
    Keywords: Software Engineering; Enterprise Architecture; Zugriffskontrolle; Geschäftsprozesse; Access Control; Business Processes ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    Probabilistic Parametric Curves for Sequence Modeling (2022)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: This work proposes a probabilistic extension to Bézier curves as a basis for effectively modeling stochastic processes with a bounded index set. The proposed stochastic process model is based on Mixture Density Networks and Bézier curves with Gaussian random variables as control points. A key advantage of this model is given by the ability to generate multi-mode predictions in a single inference step, thus avoiding the need for Monte Carlo simulation.
    Keywords: Probabilistische Sequenzmodellierung ; Stochastische Prozesse ; Neuronale Netzwerke ; Parametrische Kurven ; Probabilistic Sequence Modeling ; Stochastic Processes ; Neural Networks ; Parametric Curves ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Consistent View-Based Management of Variability in Space and Time (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.
    Keywords: Softwaretechnik; Modellgetriebene Entwicklung; Variabilitätsmanagement; software engineering; model-driven engineering; variability management ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.
    Keywords: Vertraulichkeit; Zugriffskontrolle; Informationsflusskontrolle; Datenflüsse; Softwarearchitektur; confidentiality; access control; information flow control; data flows; software architecture ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Self-learning Anomaly Detection in Industrial Production (2023)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Configuring an anomaly-based Network Intrusion Detection System for cybersecurity of an industrial system in the absence of information on networking infrastructure and programmed deterministic industrial process is challenging. Within the research work, different self-learning frameworks to analyze passively captured network traces from PROFINET-based industrial system for protocol-based and process behavior-based anomaly detection are developed, and evaluated on a real-world industrial system.
    Keywords: Industrielles Steuerungssystem; Netzwerksicherheit; Netzwerk-Intrusion-Detection-System; Anomalieerkennung; selbstlernend; Industrial Control System; Network Security; Network Intrusion Detection System; Anomaly Detection; self-learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    A Reference Structure for Modular Model-based Analyses (2024)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-05-09
    Description: In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.
    Keywords: Domain-specific modeling languages; Software Architecture; Internal software quality; Domänenspezifische Modellierungssprachen; Software Architektur; Interne Software Qualität ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Implicit Incremental Model Analyses and Transformations (2021)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
    Keywords: Incrementalization ; Model Analysis ; Model Transformation ; Synchronization Blocks ; Inkrementalisierung ; Modellanalyse ; Modelltransformation ; Synchronisierungsblöcke ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Active Vision for Scene Understanding (2022)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Visual perception is one of the most important sources of information for both humans and robots. A particular challenge is the acquisition and interpretation of complex unstructured scenes. This work contributes to active vision for humanoid robots. A semantic model of the scene is created, which is extended by successively changing the robot's view in order to explore interaction possibilities of the scene.
    Keywords: Roboter ; Humanoide Robotik ; robots ; Robots ; humanoid robots ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    High-speed surface profilometry based on an adaptive microscope with axial chromatic encoding (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: An adaptive microscope with axial chromatic encoding is designed and developed, namely the AdaScope. With the ability to confocally address any locations within the measurement volume, the AdaScope provides the hardware foundation for a cascade measurement strategy to be developed, dramatically accelerating the speed of 3D confocal microscopy.
    Keywords: chromatisch ; konfokal ; 3D Messtechnik ; Mikroskopie ; chromatic ; confocal ; 3D measurement technology ; microscopy ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    Proceedings of the 2022 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory (2023)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: In August 2022, Fraunhofer IOSB and IES of KIT held a joint workshop in a Schwarzwaldhaus near Triberg. Doctoral students presented research reports and discussed various topics like computer vision, optical metrology, network security, usage control, and machine learning. This book compiles the workshop's results and ideas, offering a comprehensive overview of the research program of IES and Fraunhofer IOSB.
    Keywords: optical metrology; computer vision; Optische Messtechnik; Bildverarbeitung; usage control; network security; machine learning; Usage Control; Netzwerksicherheit; Maschinelles Lernen ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    Distributed Optimization with Application to Power Systems and Control (2022)
    KIT Scientific Publishing | KIT Scientific Publishing
    Details
    Publication Date: 2024-04-14
    Description: Mathematical optimization techniques are among the most successful tools for controlling technical systems optimally with feasibility guarantees. Yet, they are often centralized—all data has to be collected in one central and computationally powerful entity. Methods from distributed optimization overcome this limitation. Classical approaches, however, are often not applicable due to non-convexities. This work develops one of the first frameworks for distributed non-convex optimization.
    Keywords: Verteilte Optimierung ; Dezentrale Optimierung ; ALADIN ; ADMM ; Optimal Power Flow ; distributed optimization ; decentralized optimization ; optimal power flow ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...