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  (142)
  • QA75.5-76.95  (111)
  • bic Book Industry Communication::P Mathematics & science::PH Physics  (31)
  • KIT Scientific Publishing  (142)
  • English  (142)
Collection
  • Books  (142)
Source
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Physics-Based Probabilistic Motion Compensation of Elastically Deformable Objects (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: A predictive tracking approach and a novel method for visual motion compensation are introduced, which accurately reconstruct and compensate the deformation of the elastic object, even in the case of complete measurement information loss. The core of the methods involves a probabilistic physical model of the object, from which all other mathematical models are systematically derived. Due to flexible adaptation of the models, the balance between their complexity and their accuracy is achieved.
    Keywords: QA75.5-76.95 ; stochastic estimation ; physics-based modeling ; robotics ; distributed parameter systems ; beating heart surgery ; video processing ; probabilistic models ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Interference in vehicle-to-vehicle communication networks - analysis, modeling, simulation and assessment (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: In wireless vehicular communication networks the periodic transmission of status updates by all vehicles represents a basic service primitive, in particular for safety related applications. Due to the limited communication resources the question raises how much data each node may provide such that the quality of service required by applications can still be guaranteed under realistic interference conditions. Local broadcasts capacity is introduced and analyzed to tackle this open question.
    Keywords: QA75.5-76.95 ; Wireless communication ; Simulation ; Capacity ; Vehicular networks
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Computer science approach to quantum control (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work considers several hypothetical control processes on the nanoscopic level and show their analogy to computation processes. It shows that measuring certain types of quantum observables is such a complex task that every instrument that is able to perform it would necessarily be an extremely powerful computer.
    Keywords: QA75.5-76.95 ; Informationstheorie ; Quanteninformatik ; Berechnungskomplexität ; Komplexitätstheorie ; Hauptsatz der Thermodynamik 2 ; Quantentheorie ; Entropie ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Coordinating Service Compositions : Model and Infrastructure for Collaborative Creation of Electronic Documents (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Electronic documents frequently include contributions from different human and non-human sources. The Web, for instance, offers ever-changing content and services which can perform activities during document creation. This thesis introduces a solution for collaborative document creation which maps contributions of human and non-human participants to software services. The joint flexible composition and coordination of these services leads to a novel understanding of dynamic Web-based documents.
    Keywords: QA75.5-76.95 ; flexibility ; collaboration ; RESTful Web services ; service composition ; coordination
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Arsenic in groundwater of West Bengal: Implications from a field study (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: This publication presents results of an interdisciplinary field study assessing the contribution of biological and inorganic processes in the mobilisation and accumulation of arsenic in groundwater of the Bengal Delta Plain, West Bengal. Investigations were focussed on the distribution of arsenic in sediments and shallow groundwater of two representative study sites. All results were combined in an effort to develop a conceptional model describing the mobility of arsenic in West Bengal aquifers.
    Keywords: QC1-999 ; Arsenic ; Groundwater ; Bengal Delta Plain ; Groundwater abstraction ; West Bengal ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Investigation of coherent microscopic defects inside the tunneling barrier of a Josephson junction (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: In disordered solids, two-level atomic-tunneling systems are present in large quantity. Only recently, superconducting qubits opened a door for a detection and individual coherent manipulation of such microscopic quantum systems. We succeeded to tune the resonance frequencies of these systems by applying external strain on the qubit chip. Moreover, we observed and analyzed the interaction between two coupled tunneling systems.
    Keywords: QC1-999 ; two-level systemQuantenbit ; Qubit ; qubit ; Superconducting qubit ; TunnelsystemQuantum bit ; TLS ; tunneling system ; phase qubit ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Fast-response measurements of organic trace species in the Earth's atmosphere (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: This work describes the development of an ultra-light-weight Proton-Transfer-Reaction Mass Spectrometer (PTR-MS), its detailed qualification, ground-based and airborne applications and studies on VOC emissions in connection with fossil fuel production. The new system was used aboard a mobile laboratory in order to investigate the chemical fingerprints of the diverse emitters at oil and natural gas well pads. Emissions of aromatic hydrocarbons at a hydraulically fractured well have been studied.
    Keywords: QC1-999 ; PTR-MS Flüchtige organische Verbindungen Hydraulic Fracturing Aromatische Kohlenwasserstoffe Flugzeuggestützte MessungenPTR-MS Volatile organic compounds Hydraulic Fracturing Aromatic hydrocarbons Airborne measurements ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
    Keywords: QA75.5-76.95 ; Formal Semantics ; Slicing ; Theorem Proving ; Language Based Security ; Modularity
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Anaerobic digestion of organic solid waste for energy production (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: Anaerobic digestion of the organic fraction of municipal solid waste as such or together with food waste, press water or patatoes sludge was investigated to equilibrate methane production within a day or over the weekend, when no OFMSW was available. A stable co-digestion process could be achieved with COD degradation between 60 and 80 %. The max. organic loading rates were 28 kg COD/L,d. For stable methane production the OLR during Co-digestion should not excede 22,5 kg/L,d.
    Keywords: QC1-999 ; Food waste ; Potatoes sludge ; Organic fraction of municipal solid waste ; Methane production ; Anaerobic digestion ; Co-digestion ; Press water ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Deterministic Sampling for Nonlinear Dynamic State Estimation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The goal of this work is improving existing and suggesting novel filtering algorithms for nonlinear dynamic state estimation. Nonlinearity is considered in two ways: First, propagation is improved by proposing novel methods for approximating continuous probability distributions by discrete distributions defined on the same continuous domain. Second, nonlinear underlying domains are considered by proposing novel filters that inherently take the underlying geometry of these domains into account.
    Keywords: QA75.5-76.95 ; Sensordatenfusion ; Richtungsstatistik ; Directional Statistics ; Stochastische Filterung ; Sensor Data Fusion ; DichteapproximationStochastic Filtering ; Density Approximation ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Product lines for digital information products (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Digital information products are an important class of widely used digital products, whose core benefit is the delivery of information or education (e.g., electronic books, online newspapers, e-learning courses).This book introduces a novel and systematic approach, Product Lines for Digital Information Products (PLANT), which focuses on the creation of variants of such products within a product line, and which extends concepts from the area of software product lines.
    Keywords: QA75.5-76.95 ; software product lines ; digital goods ; PLANT ; development ; economics ; modeling ; information goods ; Petri nets ; workflow management ; content
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    Spintronics with individual metal-organic molecules (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: In this work two ideas of using individual metal organic molecules in applications for data storage are presented. On the one hand, metal-free phthalocyanine is used to form a GMR contact consisting of one single molecule leading to the world smallest magnetic sensor. On the other hand, chromium acetylacetonate was used to study the properties of magnetic molecules adsorbed on surfaces in order to build magnetic bits for date storage.
    Keywords: QC1-999 ; spintronics ; nanotechnology ; magnetic sensors ; giant magneto resistance ; organic electronics ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Wind Systems in the Dead Sea and Footprints in Seismic Records (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: Atmospheric processes, such as wind, impact the ground motion of the earth and have the potential to induce strong broad-band noise in seismological records. In order to quantify the influence of wind on ground motion velocity joint seismological and meteorological measurements were conducted at the Dead Sea.Results reveal a pronounced impact of wind on seismological records. A methodology is presented to account for the dependency of PSD of ground motion velocity on the horizontal wind field.
    Keywords: QC1-999 ; Wind ; Microseisms ; Wind speed ; Topography ; Totes Meer ; TopographieSeismology ; Seismologie ; Rauschspektrum ; Dead Sea ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    High-resolution sensitivity studies with the regional climate model COSMO-CLM (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: High-resolution regional ensemble climate simulations with the regional climate model COSMO-CLM are performed for Southwest Germany to study the sensitivity of meteorological and hydrological variables to parameter settings. The soil-vegetation model VEG3D is implemented into COSMO-CLM to assess the impact of the lower atmospheric boundary on simulation results. A statistical-dynamical downscaling method is tested to shorten the simulation time for regional climate studies.
    Keywords: QC1-999 ; regional climate modelling ; climate ; sensitivity studies ; COSMO-CLM ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Model Transformation Languages with Modular Information Hiding (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain.
    Keywords: QA75.5-76.95 ; Modellgetriebene Softwareentwicklung ; Modularität von Programmen ; transformation languages ; Softwarewartung ; Modelltransformationen ; model transformations ; modularity of programs ; Transformationssprachen ; software maintenance ; Model-driven software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    Efficient Reinforcement Learning using Gaussian Processes (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This book examines Gaussian processes in both model-based reinforcement learning (RL) and inference in nonlinear dynamic systems.First, we introduce PILCO, a fully Bayesian approach for efficient RL in continuous-valued state and action spaces when no expert knowledge is available. PILCO takes model uncertainties consistently into account during long-term planning to reduce model bias. Second, we propose principled algorithms for robust filtering and smoothing in GP dynamic systems.
    Keywords: QA75.5-76.95 ; autonomous learning ; Gaussian processes ; control ; machine learning ; Bayesian inference ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Probabilistic Framework for Sensor Management (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: A probabilistic sensor management framework is introduced, which maximizes the utility of sensor systems with many different sensing modalities by dynamically configuring the sensor system in the most beneficial way. For this purpose, techniques from stochastic control and Bayesian estimation are combined such that long-term effects of possible sensor configurations and stochastic uncertainties resulting from noisy measurements can be incorporated into the sensor management decisions.
    Keywords: QA75.5-76.95 ; Bayesian estimation ; decision theory ; sensor management ; information theory ; Gaussian mixtures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Adaptive State (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Mobile robot motion planning in unstructured dynamic environments is a challenging task. Thus, often suboptimal methods are employed which perform global path planning and local obstacle avoidance separately. This work introduces a holistic planning algorithm which is based on the concept of state
    Keywords: QA75.5-76.95 ; obstacle avoidance ; Pfadplanung ; motion planning ; autonomes Fahren ; HindernisvermeidungMobile robots ; path planning ; Mobile Roboter ; Bewegungsplanung ; autonomous driving
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    Efficient Radar Forward Operator for Operational Data Assimilation within the COSMO-model (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: Doppler radars provide unique 3D information about precipitating clouds in high spatial and temporal resolutions. However, the observed quantities (reflectivity, Doppler velocity and polarization properties) are not directly comparable to the variables of numerical prediction models. In order to enable radar data assimilation, a comprehensive modular radar forward operator has been developed.
    Keywords: QC1-999 ; NWP model ; radar simulator ; parallelized and vectorized code ; weather forecast ; data assimilation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    Quantum simulation experiments with superconducting circuits (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: While the universal quantum computer seems not in reach for the near future, this work focusses on analog quantum simulation of intriguing quantum models of light-matter interactions, with the goal of achieving a computational speed-up as compared to classical hardware. Existing building blocks of quantum hardware are used from superconducting circuits, that have proven to be a very suitable experimental platform for the implementation of model Hamiltonians at a high degree of controllability.
    Keywords: QC1-999 ; Festkörperphysik ; superconductivity ; quantum bit ; solid state physics ; Quantensimulation ; Quantenbits ; Quantenmechanik ; Supraleitung ; quantum computation ; Quantum simulation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    Confidential Data-Outsourcing and Self-Optimizing P2P-Networks: Coping with the Challenges of Multi-Party Systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This work addresses the inherent lack of control and trust in Multi-Party Systems at the examples of the Database-as-a-Service (DaaS) scenario and public Distributed Hash Tables (DHTs). In the DaaS field, it is shown how confidential information in a database can be protected while still allowing the external storage provider to process incoming queries. For public DHTs, it is shown how these highly dynamic systems can be managed by facilitating monitoring, simulation, and self-adaptation.
    Keywords: QA75.5-76.95 ; Simulation ; Cloud-Computing ; Peer-to-Peer ; Security ; Data-Outsourcing ; Sicherheit
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    Parameterisation of electromagnetic showers and search for large extra dimensions in pp collisions at s = 14 TeV (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: The emission of dibenzofurans and dioxins from industrial processes is a major environmental concern. Focussing on dibenzofuran, this study tend to improve our understanding of the general oxidation chemistry and to provide a mechanism suitable for future modelling studies. Based on quantum chemical methods, energies, chemical structures and reactions are calculated numerically. Not only stable molecules and radicals, but also transition states are reported in this work.
    Keywords: QC1-999 ; ADD ; Shower parametrization ; extra dimensions ; shower parameterisation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    Human Pose Estimation with Implicit Shape Models (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work presents a new approach for estimating 3D human poses based on monocular camera information only. For this, the Implicit Shape Model is augmented by new voting strategies that allow to localize 2D anatomical landmarks in the image. The actual 3D pose estimation is then formulated as a Particle Swarm Optimization (PSO) where projected 3D pose hypotheses are compared with the generated landmark vote distributions.
    Keywords: QA75.5-76.95 ; Computer vision ; Bildverarbeitung ; Human pose estimation ; action recognition ; AktionserkennungScene understanding ; Szenenverstehen ; Menschliche Posenschätzung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    Whole-Body Affordances for Humanoid Robots: A Computational Approach (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The goal of this work is the development of a novel computational formalization of whole-body affordances which is suitable for the multimodal detection and validation of interaction possibilities in unknown environments. The hierarchical framework allows the consistent fusion of affordance-related evidence and can be utilized for realizing shared autonomous control of humanoid robots. The affordance formalization is evaluated in several experiments in simulation and on real humanoid robots.
    Keywords: QA75.5-76.95 ; Kognition ; cognition ; Manipulation ; Perzeption ; robotics ; Humanoide Robotik ; humanoid robotics ; manipulation ; Robotik ; perception ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    facet.materialart.
    Unknown
    Real-time Biomechanical Modeling for Intraoperative Soft Tissue Registration (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Computer assisted surgery systems intraoperatively support the surgeon by providing information on the location of hidden risk and target structures during surgery. However, soft tissue deformations make intraoperative registration (and thus intraoperative navigation) difficult. In this work, a novel, biomechanics based approach for real-time soft tissue registration from sparse intraoperative sensor data such as stereo endoscopic images is presented to overcome this problem.
    Keywords: QA75.5-76.95 ; real-time finite elements ; soft tissue modeling ; echtzeitfähige finite Elemente ; intraoperative Navigation ; registration ; Registrierung ; intraoperative navigation ; GPU ; Weichgewebemodellierung ; GPU computing ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Intraoperative Planning and Execution of Arbitrary Orthopedic Interventions Using Handheld Robotics and Augmented Reality (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The focus of this work is a generic, intraoperative and image-free planning and execution application for arbitrary orthopedic interventions using a novel handheld robotic device and optical see-through glasses (AR). This medical CAD application enables the surgeon to intraoperatively plan the intervention directly on the patient’s bone. The glasses and all the other instruments are accurately calibrated using new techniques. Several interventions show the effectiveness of this approach.
    Keywords: QA75.5-76.95 ; Kalibrierung ; Handgehaltene Roboter ; Orthopädie ; Orthopedics ; Augmented Reality ; Handheld Robot ; Planning ; Calibration ; Planungsanwendung ; Erweiterte Realität ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    facet.materialart.
    Unknown
    Tool-supported identification of functional concerns in object-oriented code (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Concern identification aims to find the implementation of a functional concern in existing source code. In this work, concerns are described, using the Hierarchic Concern Model, as gray-boxes containing subconcerns, inputs, and outputs. The inputs and outputs are used as concern seeds to identify data-oriented abstractions of concern implementations, called concern skeletons. The identification approach is based on context free language reachability and supported by a tool, called CoDEx.
    Keywords: QA75.5-76.95 ; concern skeleton ; hierarchic concern model ; CoDEx ; concern identification ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    facet.materialart.
    Unknown
    Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Quality attributes, such as performance or reliability, are crucial for the success of a software system and largely influenced by the software architecture. Their quantitative prediction supports systematic, goal-oriented software design and forms a base of an engineering approach to software design. This thesis proposes a method and tool to automatically improve component-based software architecture (CBA) models based on such quantitative quality prediction techniques.
    Keywords: QA75.5-76.95 ; Software ArchitectureOptimizationQuality AttributesPerformanceModel-based Prediction ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    facet.materialart.
    Unknown
    Flexible Application-Layer Multicast in Heterogeneous Networks (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work develops a set of peer-to-peer-based protocols and extensions in order to provide Internet-wide group communication. The focus is put to the question how different access technologies can be integrated in order to face the growing traffic load problem. Thereby, protocols are developed that allow autonomous adaptation to the current network situation on the one hand and the integration of WiFi domains where applicable on the other hand.
    Keywords: QA75.5-76.95 ; Adaptive Networks ; Wireless Communication ; Traffic Load Balancing ; Peer-to-Peer ; Application-Layer Multicast ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    facet.materialart.
    Unknown
    Service-oriented design of environmental information systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Service-orientation has an increasing impact upon the design process and the architecture of environmental information systems. This thesis specifies the SERVUS design methodology for geospatial applications based upon standards of the Open Geospatial Consortium. SERVUS guides the system architect to rephrase use case requirements as a network of semantically-annotated requested resources and to iteratively match them with offered resources that mirror the capabilities of existing services.
    Keywords: QA75.5-76.95 ; design methodology ; SERVUS ; resource orientation ; service-oriented architecture ; environmental information system ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    facet.materialart.
    Unknown
    Semantic technologies for distributed information systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In this book we show how semantic technologies and in particular the use of ontologies can be employed to address a number of typical challenges in distributed information systems: First, we illustrate how ontologies enable the integration of information across heterogeneous nodes. Second, we show how ontology evolution allows dealing with the dynamics in the information in a consistent manner. Third, we present a model for ontologybased coordination using semantic overlay networks.
    Keywords: QA75.5-76.95 ; Semantic Web ; Semantic Technologies ; Ontologies ; Information Systems ; Information Integration ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    facet.materialart.
    Unknown
    Nonlinear state and parameter estimation of spatially distributed systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In this thesis two probabilistic model-based estimators are introduced that allow the reconstruction and identification of space-time continuous physical systems. The Sliced Gaussian Mixture Filter (SGMF) exploits linear substructures in mixed linear/nonlinear systems, and thus is well-suited for identifying various model parameters. The Covariance Bounds Filter (CBF) allows the efficient estimation of widely distributed systems in a decentralized fashion.
    Keywords: QA75.5-76.95 ; sensor network ; nonlinear estimation ; distributed-parameter system ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    Modeling and Prediction of I/O Performance in Virtualized Environments (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: We present a novel performance modeling approach tailored to I/O performance prediction in virtualized environments. The main idea is to identify important performance-influencing factors and to develop storage-level I/O performance models. To increase the practical applicability of these models, we combine the low-level I/O performance models with high-level software architecture models. Our approach is validated in a variety of case studies in state-of-the-art, real-world environments.
    Keywords: QA75.5-76.95 ; Modell ; Vorhersage ; Performanz ; Prediction ; I/O ; VirtualisierungModel ; Performance ; Virtualization ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    New Methods to Improve Large-Scale Microscopy Image Analysis with Prior Knowledge and Uncertainty (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Multidimensional imaging techniques provide powerful ways to examine various kinds of scientific questions. The routinely produced data sets in the terabyte-range, however, can hardly be analyzed manually and require an extensive use of automated image analysis. The present work introduces a new concept for the estimation and propagation of uncertainty involved in image analysis operators and new segmentation algorithms that are suitable for terabyte-scale analyses of 3D+t microscopy images.
    Keywords: QA75.5-76.95 ; 3D Bildanalyse ; Algorithms ; Software3D Image Analysis ; Algorithmen ; Data Mining ; Entwicklungsbiologie ; Software ; Developmental Biology ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    facet.materialart.
    Unknown
    Advancing Electromyographic Continuous Speech Recognition: Signal Preprocessing and Modeling (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Speech is the natural medium of human communication, but audible speech can be overheard by bystanders and excludes speech-disabled people. This work presents a speech recognizer based on surface electromyography, where electric potentials of the facial muscles are captured by surface electrodes, allowing speech to be processed nonacoustically. A system which was state-of-the-art at the beginning of this book is substantially improved in terms of accuracy, flexibility, and robustness.
    Keywords: QA75.5-76.95 ; Spracherkennung ; Speech Recognition ; Biosignals ; Silent Speech Interfaces ; Electromyography ; Elektromyographie ; Biosignale ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    facet.materialart.
    Unknown
    Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
    Keywords: QA75.5-76.95 ; design by contract ; software specification ; software verification ; abstract interpretation ; theorem proving
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    facet.materialart.
    Unknown
    Coupled model transformations for QoS enabled component-based software design (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This thesis presents the Palladio Component Model and its accompanying transformations for component-based software design with predictable performance attributes. The use of transformations results in a deterministic relationship between the model and its implementation. The introduced Coupled Transformations method uses this relationship to include implementation details into predictions to get better predictions. The approach is validated in several case studies showing the increased accuracy.
    Keywords: QA75.5-76.95 ; performance prediction ; model-driven software development ; Palladio Component Model ; component-based software development ; Coupled Transformations ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    A Contribution to Active Infrared Laser Spectroscopy for Remote Substance Detection (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: In this work we present a stand-off, long wave infrared (LWIR) spectroscopy system for remote detection of hazardous substances. The principle is based upon wavelength selective illumination using External Cavity Quantum Cascade Lasers, that are tunable in the LWIR wavelength range from 7.5 - 10 µm, in which most chemical substances exhibit a highly characteristic absorption behaviour.
    Keywords: QA75.5-76.95 ; Laserspektroskopie ; Infrared spectroscopy ; Infrarotspektroskopie ; Hyperspektralbilder ; remote detection ; Explosivstoffdetektion ; laser spectroscopy ; Lineares Mixturmodell ; linear mixture model ; hyperspectral imaging
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    facet.materialart.
    Unknown
    Parameter dependencies for reusable performance specifications of software components (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: To avoid design-related per­for­mance problems, model-driven performance prediction methods analyse the response times, throughputs, and re­source utilizations of software architectures before and during implementation. This thesis proposes new modeling languages and according model transformations, which allow a reusable description of usage profile dependencies to the performance of software components. Predictions based on this new methods can support performance-related design decisions.
    Keywords: QA75.5-76.95 ; Performance Engineering ; Simulation ; Software Component ; Model-driven Software Development ; Software Architecture ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    facet.materialart.
    Unknown
    Nonlinear Gaussian Filtering : Theory, Algorithms, and Applications (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: By restricting to Gaussian distributions, the optimal Bayesian filtering problem can be transformed into an algebraically simple form, which allows for computationally efficient algorithms. Three problem settings are discussed in this thesis: (1) filtering with Gaussians only, (2) Gaussian mixture filtering for strong nonlinearities, (3) Gaussian process filtering for purely data-driven scenarios. For each setting, efficient algorithms are derived and applied to real-world problems.
    Keywords: QA75.5-76.95 ; Zustandsschätzung ; GaußprozesseBayesian statistics ; Kalman filter ; Gaussian processes ; Kalman-Filter ; state estimation ; filtering ; Bayes'sche Statistik ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    facet.materialart.
    Unknown
    Haptic Guidance for Extended Range Telepresence (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: A novel navigation assistance for extended range telepresence is presented. The haptic information from the target environment is augmented with guidance commands to assist the user in reaching desired goals in the arbitrarily large target environment from the spatially restricted user environment. Furthermore, a semi-mobile haptic interface was developed, one whose lightweight design and setup configuration atop the user provide for an absolutely safe operation and high force display quality.
    Keywords: QA75.5-76.95 ; Telepresence ; Haptic Interface ; Assistance Systems ; Teleoperation ; Haptic Guidance ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    facet.materialart.
    Unknown
    Relational exploration. Combining description logics and formal concept analysis for knowledge specification (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work introduces Relational Exploration, a method for acquiring complete relational knowledge about a domain of interest by successively consulting a domain expert without ever asking redundant questions. This is achieved by combining Description Logics (DL) and Formal Concept Analysis (FCA): DL formalisms are used for defining FCA attributes while FCA exploration techniques are deployed to obtain or refine DL knowledge specifications.
    Keywords: QA75.5-76.95 ; Semantic Web ; Wissensmanagement ; Verbandstheorie ; Formale Begriffsanalyse ; Data Mining ; Terminologische Logik ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    facet.materialart.
    Unknown
    Evolutionary computation in stochastic environments (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This book develops efficient methods for the application of Evolutionary Algorithms on stochastic problems. To achieve this, procedures for statistical selection are systematically analyzed with respect to different measures and significantly improved. It is shown how to adapt one of the best procedures for the needs of Evolutionary Algorithms and Evolutionary operators for efficient implementation in stochastic environments are identified.
    Keywords: QA75.5-76.95 ; Evolutionary Algorithm ; Uncertainty ; Simulation based optimization ; Bayes ; Ranking & Selection ; Genetic Algorithms ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    facet.materialart.
    Unknown
    Flexible Views for View-based Model-driven Development (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis.
    Keywords: QA75.5-76.95 ; View-based Engineering ; Modellgetriebene Software-Entwicklung ; ModelJoin ; Model-Driven Software Development ; Sichtenbasierte Entwicklung ; Vitruvius ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    facet.materialart.
    Unknown
    Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments for detecting different CPU, OS, and virtualization properties, and validated in different case studies.
    Keywords: QA75.5-76.95 ; Execution Environment ; Measurements ; Experiments ; Metamodel ; Software Performance Prediction ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    facet.materialart.
    Unknown
    Helmholtz Portfolio Theme Large-Scale Data Management and Analysis (LSDMA) (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The Helmholtz Association funded the ""Large-Scale Data Management and Analysis"" portfolio theme from 2012-2016. Four Helmholtz centres, six universities and another research institution in Germany joined to enable data-intensive science by optimising data life cycles in selected scientific communities. In our Data Life cycle Labs, data experts performed joint R&D together with scientific communities. The Data Services Integration Team focused on generic solutions applied by several communities.
    Keywords: QA75.5-76.95 ; Data Science ; Datenlebenszyklus ; Datenmanagement ; data management ; data analysis ; data science ; Big Data ; Datenanalyse ; data life cycle ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    facet.materialart.
    Unknown
    Optimal Sequence-Based Control of Networked Linear Systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In Networked Control Systems (NCS), components of a control loop are connected by data networks that may introduce time-varying delays and packet losses into the system, which can severly degrade control performance. Hence, this book presents the newly developed S-LQG (Sequence-Based Linear Quadratic Gaussian) controller that combines the sequence-based control method with the well-known LQG approach to stochastic optimal control in order to compensate for the network-induced effects.
    Keywords: QA75.5-76.95 ; Paketverluste ; Networked Control Systems (NCS) ; sequence-based control ; Optimale Regelung ; Sequenzbasierte Regelung ; optimal control ; packet losses ; time delays ; Vernetzte Regelungssysteme (NCS) ; Zeitverzögerungen ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    facet.materialart.
    Unknown
    Hybrid routing in delay tolerant networks (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work addresses the integration of today's infrastructure-based networks with infrastructure-less networks. The resulting Hybrid Routing System allows for communication over both network types and can help to overcome cost, communication, and overload problems. Mobility aspect resulting from infrastructure-less networks are analyzed and analytical models developed. For development and deployment of the Hybrid Routing System an overlay-based framework is presented.
    Keywords: QA75.5-76.95 ; Mobility Modeling ; Mobile Networks ; Overlay Networks ; Hybrid Routing ; Delay Tolerant Networks ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    facet.materialart.
    Unknown
    Floquet Theory for a Class of Periodic Evolution Equations in an Lp-Setting (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In this work we explore the Floquet theory for evolution equations of the form u'(t)+A_t u(t)=0 (t real) where the operators A_t periodically depend on t and the function u takes values in a UMD Banach space X.We impose a suitable condition on the operator family (A_t) and their common domain, in particular a decay condition for certain resolvents, to obtain the central result that all exponentially bounded solutions can be described as a superposition of a fixed family of Floquet solutions.
    Keywords: QA75.5-76.95 ; Bloch solution ; Lp setting ; Floquet theory ; periodic evolution equation ; superposition principle ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    facet.materialart.
    Unknown
    Privacy-Respecting Smart Video Surveillance Based on Usage Control Enforcement (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This research introduces a conceptual framework for enforcing privacy-related restrictions in smart video surveillance systems based on danger levels and incident types to be handled. It increases the selectivity of surveillance by restricting data processing to individuals associated to incidents under investigation. Constraints are enforced by usage control, which is instantiated for video surveillance for the first time and enables tailoring such systems to comply with data protection law.
    Keywords: QA75.5-76.95 ; Privacy ; Anonymization ; AnonymisierungSmart Video Surveillance ; Data Protection ; Nutzungskontrolle ; Usage Control ; Datenschutz ; Intelligente Videoüberwachung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    facet.materialart.
    Unknown
    An Access Definition and Query Language : Towards a Unified Access Control Model (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In this work we suggest a meta access control model emulating established access control models by configuration and offering enhanced features like the delegation of rights, ego-centered roles, and decentralized administration. The suggested meta access control model is named ''Access Definition and Query Language'' (ADQL). ADQL is represented by a formal, context-free grammar allowing to express the targeted access control model, policies, facts, and access queries as a formal language.
    Keywords: QA75.5-76.95 ; Policy ; Access Control Model ; Security ; Meta Access Control ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    facet.materialart.
    Unknown
    Inter-Vehicle-Communications - Based on Ad Hoc Networking Principles : The FleetNet Project (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Vehicular Ad Hoc Networks (VANETs) represent an emerging topic in wireless communication and networking. VANETs are currently receiving a lot of attention due to their promise of considerably increasing safety and comfort while being on the road. High mobility, adverse channel conditions, and market introduction are some of the key challenges one has to deal with when designing these spontaneous networks. Inter-Vehicle-Communications Based on Ad Hoc Networking Principles covers results and achievements of the FleetNet project, a project devoted to the design of a vehicular ad hoc network.
    Keywords: QA75.5-76.95 ; Fahrzeug ; Ad-hoc-Netz ; Kommunikation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    facet.materialart.
    Unknown
    Efficient Algorithms for Large-Scale Image Analysis (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work develops highly efficient algorithms for analyzing large images. Applications include object-based change detection and screening. The algorithms are 10-100 times as fast as existing software, sometimes even outperforming FGPA/GPU hardware, because they are designed to suit the computer architecture. This thesis describes the implementation details and the underlying algorithm engineering methodology, so that both may also be applied to other applications.
    Keywords: QA75.5-76.95 ; image processing ; algorithm engineering ; SIMD ; image analysis ; lossless image compression ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    facet.materialart.
    Unknown
    Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Previously, software architects were unable to effectively and efficiently apply reusable knowledge (e.g., architectural styles and patterns) to architectural analyses. This work tackles this problem with a novel method to create and apply templates for reusable knowledge. These templates capture reusable knowledge formally and can efficiently be integrated in architectural analyses.
    Keywords: QA75.5-76.95 ; Architekturwissen ; Pattern ; Schablonen ; architectural analysis ; Architekturbewertung ; templates ; patterns ; Templates ; styles ; architectural knowledge ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    facet.materialart.
    Unknown
    Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.
    Keywords: QA75.5-76.95 ; Software Development ; Software Reliability ; Zuverlässigkeit ; Statistisches Testen ; Software-Entwicklung ; Statistical Testing ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    facet.materialart.
    Unknown
    Deriving Goal-oriented Performance Models by Systematic Experimentation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Performance modelling can require substantial effort when creating and maintaining performance models for software systems that are based on existing software. Therefore, this thesis addresses the challenge of performance prediction in such scenarios. It proposes a novel goal-oriented method for experimental, measurement-based performance modelling. We validated the approach in a number of case studies including standard industry benchmarks as well as a real development scenario at SAP.
    Keywords: QA75.5-76.95 ; Performance Software Engineering ModellierungPerformance Engineering Software Modeling ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    facet.materialart.
    Unknown
    Concept and Design of a Hand-held Mobile Robot System for Craniotomy (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work demonstrates a highly intuitive robot for Surgical Craniotomy Procedures. Utilising a wheeled hand-held robot, to navigate the Craniotomy Drill over a patient's skull, the system does not remove the surgeons from the procedure, but supports them during this critical phase of the operation.
    Keywords: QA75.5-76.95 ; Craniosynostosis ; Craniotomy ; Wheeled Robot ; Medical Robot ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    facet.materialart.
    Unknown
    Detection and characterization of inclusions in impedance tomography (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: The topic of this work are two further developments of the Factorization method for electrical impedance tomography.We present a modification of this method that is capable of detecting mixed inclusions, i.e. both inclusions with a higher as well as inclusions with a lower conductivity than the background medium. In addition, we derive a new method to compute the conductivity inside inclusions after they have been localized.
    Keywords: QA75.5-76.95 ; Factorization Method ; Inverse Problem ; Electrical Impedance Tomography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    facet.materialart.
    Unknown
    Tracking Extended Objects with Active Models and Negative Measurements (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Extended object tracking deals with estimating the shape and pose of an object based on noisy point measurements. This task is not straightforward, as we may be faced with scarce low-quality measurements, little a priori information, or we may be unable to observe the entire target. This work aims to address these challenges by incorporating ideas from active contours and exploiting information from negative measurements, which tell us where the target cannot be.
    Keywords: QA75.5-76.95 ; Extended Objects ; Tracking ; Active Models ; Aktive Modelle ; Bilddatenverarbeitung ; Computer Vision ; Negative Information ; Ausgedehnte Objekte ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    facet.materialart.
    Unknown
    The future role of renewable energy sources in European electricity supply : A model-based analysis for the EU-15 (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: Ambitious targets for the use of renewable electricity (RES-E) have been formulated by the EU Commission and the EU Member States. Taking into account technical, economic, and ecological framework conditions of the electricity market in a model-based approach, this book provides a comprehensive, quantitative assessment of the future penetration of renewable electricity in the European electricity market.
    Keywords: QC1-999 ; energy system model ; RES ; optimisation ; electricity market ; enewable energy ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    facet.materialart.
    Unknown
    Verification-based software-fault detection (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
    Keywords: QA75.5-76.95 ; Fault Detection ; Model Generation ; Theorem Proving ; Test Generation ; Dynamic Logic
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    facet.materialart.
    Unknown
    World Modeling for Intelligent Autonomous Systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: The functioning of intelligent autonomous systems requires constant situation awareness and cognition analysis. Thus, it needs a memory structure that contains a description of the surrounding environment (world model) and serves as a central information hub. This book presents a row of theoretical and experimental results in the field of world modeling. This includes areas of dynamic and prior knowledge modeling, information fusion, management and qualitative/quantitative information analysis.
    Keywords: QA75.5-76.95 ; Bayes ; Umweltmodellierung ; Entropy ; Information Fusion ; Robotik ; World Modeling ; Robotics ; Entropie ; Informationsfusion
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    facet.materialart.
    Unknown
    Electroluminescence from Plasmonic Excitations in a Scanning Tunnelling Microscope (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: This work presents the design and commissioning of a new low-temperature Scanning Tunnelling Microscope equipped with an innovative light collection setup using an integrated, micro-fabricated mirror tip. Commissioning experiments demonstrate the capabilities of this new instrument and reproduce known effects regarding gap plasmons on noble-metal surfaces. Furthermore, different contrasts in the plasmon-mediated light emission from Cobalt nano-islands on a Copper (111) substrate are reported.
    Keywords: QC1-999 ; Rastertunnelmikroskopie ; Molecules ; ""Metal Surfaces"" ; ""Low Temperatures"" ; Metalloberflächen ; Moleküle""Scanning Tunnelling Microscopy"" ; Plasmonen ; Plasmons ; Tieftemperatur ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    facet.materialart.
    Unknown
    Possibly imperfect ontologies for effective information retrieval (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Ontologies and semantic metadata can theoretically solve all problems of traditional full-text search engines. In practice, however, they are always imperfect. This work analyzed whether the negative effect of ontology imperfection is higher than the positive effect of exploiting the ontology features for IR. To answer this question, a complete ontology-based information retrieval system was implemented and thoroughly evaluated.
    Keywords: QA75.5-76.95 ; Fuzzy Menge ; automatic metadata generation ; Ontologie 〈Wissensverarbeitung〉 ; fuzzy set ; probability theory ; Information-Retrieval-System ; Generierung ; Unvollkommenheit ; possibility theory ; Metadaten ; Semantic Web ; automatische Metadatengenerierung ; Wahrscheinlichkeitstheorie ; Information Retrieval ; imperfection ; ontology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    facet.materialart.
    Unknown
    Simultaneous Tracking and Shape Estimation of Extended Objects (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This work is concerned with the simultaneous tracking and shape estimation of a mobile extended object based on noisy sensor measurements. Novel methods are developed for coping with the following two main challenges: i) The computational complexity due to the nonlinearity and high-dimensionality of the problem and ii) the lack of statistical knowledge about possible measurement sources on the extended object.
    Keywords: QA75.5-76.95 ; Tracking ; shape estimation ; nonlinear state estimation ; extended objects
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    facet.materialart.
    Unknown
    Inter-vehicle communications - achieving safety in a distributed wireless environment. Challenges, systems and protocols (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This thesis contributes to the development of inter-vehicle communications with the goal of enhancing vehicular active safety. The wireless technology IEEE 802.11p is analyzed with an extended network simulator. As a result, challenges and design criteria for vehicular communication systems are defined. Finally, strategies for channel congestion avoidance and information dissemination are proposed, constituting a robust design to cope with unreliable and saturated wireless channel conditions.
    Keywords: QA75.5-76.95 ; Netzwerksimulation ; Fairness 〈Informatik〉 ; VANET ; Drahtloses lokales Netz ; Ad-hoc-Netz ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    facet.materialart.
    Unknown
    Learning and Execution of Object Manipulation Tasks on Humanoid Robots (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Equipping robots with complex capabilities still requires a great amount of effort. In this work, a novel approach is proposed to understand, to represent and to execute object manipulation tasks learned from observation by combining methods of data analysis, graphical modeling and artificial intelligence. Employing this approach enables robots to reason about how to solve tasks in dynamic environments and to adapt to unseen situations.
    Keywords: QA75.5-76.95 ; Autonomous systems ; Graphical programming ; Humanoide Robotik ; Programming by demonstration ; Autonome Systeme ; Robotik ; Programmieren durch Vormachen ; Robotics ; Humanoid robotics ; Graphische Programmierung
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    facet.materialart.
    Unknown
    Consolidation of Customized Product Copies into Software Product Lines (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: In software development, project constraints lead to customer-specific variants by copying and adapting the product. During this process, modifications are scattered all over the code. Although this is flexible and efficient in the short term, a Software Product Line (SPL) offers better results in the long term, regarding cost reduction, time-to-market, and quality attributes. This book presents a novel approach named SPLevo, which consolidates customized product copies into an SPL.
    Keywords: QA75.5-76.95 ; Restrukturierungsoftware product line ; refactoring ; variability analysis ; difference analysis ; Variabilitätsanalyse ; Software-Produktlinie ; Differenzanalyse
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    facet.materialart.
    Unknown
    Performance Problem Diagnostics by Systematic Experimentation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: In this book, we introduce an automatic, experiment-based approach for performance problem diagnostics in enterprise software systems. The proposed approach systematically searches for root causes of detected performance problems by executing series of systematic performance tests. The presented approach is evaluated by various case studies showing that the presented approach is applicable to a wide range of contexts.
    Keywords: QA75.5-76.95 ; Experimente ; performance ; problem diagnosis ; experimentation ; Ursachenanalyse ; Problemdiagnose ; Anti-Pattern ; Performance ; root cause analysis ; anti-pattern
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    facet.materialart.
    Unknown
    Framework for Analysis and Identification of Nonlinear Distributed Parameter Systems using Bayesian Uncertainty Quantification based on Generalized Polynomial Chaos (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: In this work, the Uncertainty Quantification (UQ) approaches combined systematically to analyze and identify systems. The generalized Polynomial Chaos (gPC) expansion is applied to reduce the computational effort. The framework using gPC based on Bayesian UQ proposed in this work is capable of analyzing the system systematically and reducing the disagreement between the model predictions and the measurements of the real processes to fulfill user defined performance criteria.
    Keywords: QA75.5-76.95 ; ParameterschätzungUncertainty Quantification ; Parameter estimation ; verteilt-parametrische Systeme ; Sensitivity Analysis ; generalized polynomial chaos ; Distributed Parameter Systems ; Sensitivitätsanalyse ; Unsicherheit Quantifizierung
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    facet.materialart.
    Unknown
    Characterization, Avoidance and Repair of Packet Collisions in Inter-Vehicle Communication Networks (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This work proposes a combined and accurate simulation of wireless channel, physical layer and networking aspects in order to bridge the gaps between the corresponding research communities. The resulting high fidelity simulations enable performance optimizations across multiple layers, and are used in the second part of this thesis to evaluate the impact of fast-fading channel characteristics on Carrier-Sense Multiple Access, and to quantify the benefit of successive interference cancellation.
    Keywords: QA75.5-76.95 ; Carrier-Sense Multiple Access ; High Fidelity Simulation ; Inter-Vehicle Networks ; Congestion Control ; Inter-Vehicle Communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    facet.materialart.
    Unknown
    Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques.
    Keywords: QA75.5-76.95 ; Performance Prediction ; Software Architecture ; Event-based Systems ; Modelling
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    facet.materialart.
    Unknown
    High Availability and Scalability of Mainframe Environments using System z and z/OS as example (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Mainframe computers are the backbone of industrial and commercial computing, hosting the most relevant and critical data of businesses. One of the most important mainframe environments is IBM System z with the operating system z/OS. This book introduces mainframe technology of System z and z/OS with respect to high availability and scalability. It highlights their presence on different levels within the hardware and software stack to satisfy the needs for large IT organizations.
    Keywords: QA75.5-76.95 ; High Availability ; Scalability ; Workload Management ; Processor Technology ; Mainframe ; Cluster ; System z ; Reliability ; Operating Systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    facet.materialart.
    Unknown
    Tunable Security for Deployable Data Outsourcing (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Security mechanisms like encryption negatively affect other software quality characteristics like efficiency. To cope with such trade-offs, it is preferable to build approaches that allow to tune the trade-offs after the implementation and design phase. This book introduces a methodology that can be used to build such tunable approaches. The book shows how the proposed methodology can be applied in the domains of database outsourcing, identity management, and credential management.
    Keywords: QA75.5-76.95 ; föderatives Identitätsmanagement ; database outsourcing ; Einsetzbarkeit ; Datenbankauslagerung ; federated identity management ; deployability ; IT-Sicherheit ; credential management ; GeheimnismanagementIT security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    facet.materialart.
    Unknown
    Probabilistic Models for 3D Urban Scene Understanding from Movable Platforms (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This work is a contribution to understanding multi-object traffic scenes from video sequences. All data is provided by a camera system which is mounted on top of the autonomous driving platform AnnieWAY. The proposed probabilistic generative model reasons jointly about the 3D scene layout as well as the 3D location and orientation of objects in the scene. In particular, the scene topology, geometry as well as traffic activities are inferred from short video sequences.
    Keywords: QA75.5-76.95 ; computer vision ; machine learning ; scene understanding
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    facet.materialart.
    Unknown
    Quantifying and Predicting the Influence of Execution Platform on Software Component Performance (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: The performance of software components depends on several factors, including the execution platform on which the software components run. To simplify cross-platform performance prediction in relocation and sizing scenarios, a novel approach is introduced in this thesis which separates the application performance profile from the platform performance profile. The approach is evaluated using transparent instrumentation of Java applications and with automated benchmarks for Java Virtual Machines.
    Keywords: QA75.5-76.95 ; Components ; Performance Prediciton ; Execution Platform Profiling ; Java Bytecode ; Software Performance
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    facet.materialart.
    Unknown
    Advanced Signaling Support for IP-based Networks (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This work develops a set of advanced signaling concepts for IP-based networks. It proposes a design for secure and authentic signaling and provides QoS signaling support for mobile users. Furthermore, this work develops methods which allow for scalable QoS signaling by realizing QoS-based group communication mechanisms and through aggregation of resource reservations.
    Keywords: QA75.5-76.95 ; Signaling ; Protocols ; Quality-of-Service ; Internet ; NSIS
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    facet.materialart.
    Unknown
    Characterisation of REBCO Roebel cables (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: This work concerns the characterization of high-temperature superconducting REBCO Roebel cables for use in accelerator magnets. The effects of bending, torsion and compressive stress on the cable are investigated. The second part concerns the effect of inter-strand resistance on the cable properties. A two-parameter model is proposed to describe inter-strand connections and predict the effect on AC loss and stability. Additionally, the AC loss and stability are experimentally investigated.
    Keywords: QC1-999 ; Hochtemperatursupraleiter ; REBCO coated conductor ; High-temperature superconductor ; Hochfeldmagnete ; REBCO-Bandleiter ; Roebelkabel ; high-field magnets ; Roebel cable ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    facet.materialart.
    Unknown
    Human-Inspired Balancing and Recovery Stepping for Humanoid Robots (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Robustly maintaining balance on two legs is an important challenge for humanoid robots. The work presented in this book represents a contribution to this area. It investigates efficient methods for the decision-making from internal sensors about whether and where to step, several improvements to efficient whole-body postural balancing methods, and proposes and evaluates a novel method for efficient recovery step generation, leveraging human examples and simulation-based reinforcement learning.
    Keywords: QA75.5-76.95 ; Maschinelles Lernen ; Balancing ; Optimierung ; Regelungstechnik ; Machine learning ; Balancieren ; Control systems ; Humanoide Robotik ; Humanoid robotics ; Optimization
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    facet.materialart.
    Unknown
    Policy-based Contracting in Semantic Web Service Markets (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This book presents an interdisciplinary approach drawing from the fields of computer science, economics, and law to realize dynamic and flexible Web service markets. It thereby addresses technical issues such as the functional and non-functional description of Web services, economic questions like selecting the right service at an acceptable price, and legal problems dealing with automated contract conclusion and interpretation.
    Keywords: QA75.5-76.95 ; Ontologie 〈Wissensverarbeitung〉 ; Nutzentheorie ; Vertrag ; Markt ; Web Services ; Dienstgüte
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    facet.materialart.
    Unknown
    Treatment of phenolic wastewater in suspended and fixed bed bioreactors (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: Phenol and chlorophenols are among the most important class of raw materials in chemical industry. These compounds also list among priority pollutants. The main problem in treating phenol or chlorophenol containing wastewater is the toxicity it exerts to the microbial flora in biological treatment plants. This may lead to partial or complete treatment plant failure, when the microbial flora is not adapted to phenol concentrations in the influent. The purpose of this thesis was to adapt the microbial flora of domestic sewage sludge to phenol and 2-chlorophenol at high concentration under continuous feeding conditions for long time periods and to study the response of suspension and fixed biofilm systems to transient loading and operation.
    Keywords: QC1-999 ; 2-chlorophenol ; Phenol ; fixed bed ; biodegradation ; suspension ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    facet.materialart.
    Unknown
    Contrails and Climate Engineering - Process Studies on Natural and Artificial High-Level Clouds and Their Impact on the Radiative Fluxes (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: Two aspects of anthropogenic impacts on the atmosphere are investigated using means of numerical weather prediction. A case study is conducted to estimate the impact of such artificial clouds on the incoming solar radiation at the Earth's surface with special regard to photovoltaic power production. Furthermore, simulations are performed to assess the efficacy of injecting particles into the Arctic troposphere with the aim of modifying cirrus clouds for counteracting global warming.
    Keywords: QC1-999 ; climate engineering ; contrails ; Kondensstreifen ; Arktis ; arctic ; cirrus ; Wolkenmikrophysik ; Zirren ; cloud microphysics ; Climate Engineering ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    facet.materialart.
    Unknown
    Learning Dynamic Systems for Intention Recognition in Human-Robot-Cooperation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This thesis is concerned with intention recognition for a humanoid robot and investigates how the challenges of uncertain and incomplete observations, a high degree of detail of the used models, and real-time inference may be addressed by modeling the human rationale as hybrid, dynamic Bayesian networks and performing inference with these models. The key focus lies on the automatic identification of the employed nonlinear stochastic dependencies and the situation-specific inference.
    Keywords: QA75.5-76.95 ; Intention Recognition ; Dynamic Systems ; (Conditional) Density Estimation ; Regularization ; Human-Robot-Cooperation ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    facet.materialart.
    Unknown
    Light Emission from Single Self-decoupled Molecules in a Scanning Tunnelling Microscope (2022)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: In this work, a clear pathway is presented to achieve well-defined electronically decoupled chromophores from metallic leads without requiring additional insulating layers. To study such self-decoupled molecules, STM equipped with an efficient light detection setup has been used. Results show that the chromophores mounted on tripodal molecular platforms adsorbed on a gold surface present well-defined and efficient electroluminescence down to the single-molecule level.
    Keywords: Rastertunnelmikroskopie; Einzelmoleküle; Elektrolumineszenz; Selbstassemblierung; Plasmonen; Scanning tunnelling microscopy; Single molecules; Electroluminescence; Self-assembly; Plasmonics ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    facet.materialart.
    Unknown
    Register allocation for programs in SSA Form (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: This book investigates register allocation for programs in static single-assignment form.Its main result is that the interference graphs of SSA-form programs are chordal.This gives the compiler precise knowledge over the register demand and allows for separating spilling, assignment and coalescing. For each of these phases, we present methods specially tailored to the SSA setting and provide a first evaluation.
    Keywords: QA75.5-76.95 ; Compiler ; Register Allocation ; Graph Coloring ; Graphfärbung ; Registerzuteilung ; SSA Form ; Codegeneration ; Codegenerierung ; Übersetzerbau ; Register 〈Informatik〉 ; Codeoptimierung
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    facet.materialart.
    Unknown
    Dynamic Network Notation: A Graphical Modeling Language to Support the Visualization and Management of Network Effects in Service Platforms (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Service platforms have moved into the center of interest in both academic research and the IT industry due to their economic and technical impact. These multitenant platforms provide own or third party software as metered, on-demand services. Corresponding service offers exhibit network effects. The present work introduces a graphical modeling language to support service platform design with focus on the exploitation of these network effects.
    Keywords: QA75.5-76.95 ; Control Theory ; Graphical Modeling Language ; Network Effects ; Service Platforms ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    facet.materialart.
    Unknown
    Specification Languages for Preserving Consistency between Models of Different Languages (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.
    Keywords: QA75.5-76.95 ; Model Transformation Consistency Synchronisation Language ; Modell Transformation Konsistenz Synchronisierung Sprache ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    facet.materialart.
    Unknown
    Realtime Analysis of Large-Scale Data (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In photon science more and more data are taken. It is not possible anymore to store and process all data offline. In this book, we explore strategies for handling this large amount of data. A neural network as well as techniques from image processing are used to efficiently categorize and select useful data. We also indicate why many sophisticated algorithms cannot be used in this context. In addition, a prototype for data selection is presented, discussed, and benchmarked.
    Keywords: QA75.5-76.95 ; nanocrystalligraphy ; image-processing ; signalverarbeitungbig data ; signal-processing ; nanokristallographie ; echtzeitverarbeitung ; real-time-processing ; big data ; bildverarbeitung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    facet.materialart.
    Unknown
    Moving Object Detection and Segmentation for Remote Aerial Video Surveillance (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Unmanned Aerial Vehicles (UAVs) equipped with video cameras are a flexible support to ensure civil and military safety and security. In this thesis, a video processing chain is presented for moving object detection in aerial video surveillance. A Track-Before-Detect (TBD) algorithm is applied to detect motion that is independent of the camera motion. Novel robust and fast object detection and segmentation approaches improve the baseline TBD and outperform current state-of-the-art methods.
    Keywords: QA75.5-76.95 ; Automatische Videoüberwachung ; Object Detection ; Independent Motion Detection ; Bewegungsdetektion bei bewegter Kamera ; MultiobjekttrackingAutomatic Video Surveillance ; Multiple Object Tracking ; Track-Before-Detect ; Objektdetektion ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    facet.materialart.
    Unknown
    Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).
    Keywords: QA75.5-76.95 ; Reengineering ; Component-Based Software Architecture ; Performance Model ; Reverse Engineering ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    facet.materialart.
    Unknown
    Integrated Software Architecture-Based Reliability Prediction for IT Systems (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: With the increasing importance of reliability in business and industrial IT systems, new techniques for architecture-based software reliability prediction are becoming an integral part of the development process. This dissertation thesis introduces a novel reliability modelling and prediction technique that considers the software architecture with its component structure, control and data flow, recovery mechanisms, its deployment to distributed hardware resources and the system´s usage profile.
    Keywords: QA75.5-76.95 ; Software ReliabilitySoftware ArchitectureDesign-Time Reliability PredictionComponent-Based Software Development ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    facet.materialart.
    Unknown
    Architectural Design Decision Documentation through Reuse of Design Patterns (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The ADMD3 approach presented in this book enchances the architectural design documentation of decision via reuse of design patterns. It combines the support for evaluation of pattern application, semi-automated documentation of decision rationale and trace links. The approach is based on a new kind of design pattern catalogue, whereby usual pattern descriptions are captured together with question annotations to the patterns and information on architectural structure of patterns.
    Keywords: QA75.5-76.95 ; Dokumentation von Entwurfsentscheidungen ; EntwurfsmusterkatalogSoftware Architecture ; Software Architektur ; Software Design Patterns ; Design Decision Documentation ; Software Entwurfsmuster ; Design Rationale ; Design Pattern Catalogue ; Entwurfsbegründung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    facet.materialart.
    Unknown
    A Contribution to Resource-Aware Architectures for Humanoid Robots (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The goal of this work is to provide building blocks for resource-aware robot architectures. The topic of these blocks are data-driven generation of context-sensitive resource models, prediction of future resource utilizations, and resource-aware computer vision and motion planning algorithms. The implementation of these algorithms is based on resource-aware concepts and methodologies originating from the Transregional Collaborative Research Center ""Invasive Computing"" (SFB/TR 89).
    Keywords: QA75.5-76.95 ; Invasive Computing ; Vorhersage ; Ressourcenmodelle ; Motion Planning ; Prediction ; Resourcemodels ; Robotik ; Bewegungsplanung ; Robotics ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    facet.materialart.
    Unknown
    Avoiding Unintended Flows of Personally Identifiable Information : Enterprise Identity Management and Online Social Networks (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work addresses potentially occurring unintended flows of personally identifiable information (PII) within two fields of research, i.e., enterprise identity management and online social networks. For that, we investigate which pieces of PII can how often be gathered, correlated, or even be inferred by third parties that are not intended to get access to the specific pieces of PII. Furthermore, we introduce technical measures and concepts to avoid unintended flows of PII.
    Keywords: QA75.5-76.95 ; Big Data Analytics ; Enterprise Identity and Access Management ; Online Social Networks ; SAML ; Facebook ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    facet.materialart.
    Unknown
    Search for H -〉 bb in association with a tt pair in proton-proton collisions at vs = 14 TeV (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-04
    Description: The main topic of this book is the determination of the potential to discover the Higgs boson at the Compact Muon Solenoid (CMS) experiment at the LHC in a certain decay channel. The production mode under investigation is the associated production with top quarks and the subsequent decay into b-quarks. The search for the decay into b-quarks is of special interest, because it has the highest branching ratio in the mass region shortly above the exclusion limit of 114.4 GeV. In addition, this channel facilitates measurements of Higgs coupling properties.
    Keywords: QC1-999 ; Teilchenbeschleuniger ; CERN ; Elementarteilchenphysik ; Higgs-Modell ; CMS-Detektor ; Higgs-Mechanismus ; Higgs-Teilchen ; Hochenergiephysik ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    facet.materialart.
    Unknown
    Video-to-Video Face Recognition for Low-Quality Surveillance Data (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The availability of video data is an opportunity and a challenge for law enforcement agencies. Face recognition methods can play a key role in the automated search for persons in the data. This work targets efficient representations of low-quality face sequences to enable fast and accurate face search. Novel concepts for multi-scale analysis, dataset augmentation, CNN loss function, and sequence description lead to improvements over state-of-the-art methods on surveillance video footage.
    Keywords: QA75.5-76.95 ; face ; recognition ; video ; Videoverarbeitung ; Gesichtswiederkennung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    facet.materialart.
    Unknown
    Secure and Efficient IP Mobility Support for Aeronautical Communications (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: Motivated by the future Internet Protocol (IP) based aeronautical telecommunications network supporting air traffic control communications, this thesis specifies a route optimization protocol for Network Mobility (NEMO) that is both secure and efficient.Furthermore, a new certificate model is defined that is particularly suitable for the aeronautical environment.The improvements of the new concepts in terms of security and efficiency are demonstrated and compared to the state of the art.
    Keywords: QA75.5-76.95 ; security ; certificates ; IP mobility ; aeronautical communications ; NEMO
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    facet.materialart.
    Unknown
    Robot Assisted Laser Osteotomy (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: In the scope of this thesis world's first robot system was developed, which facilitates osteotomy using laser in arbitrary geometries with an overall accuracy below 0.5mm. Methods of computer and robot assisted surgery were reconsidered and composed to a workflow. Adequate calibration and registration methods are proposed. Further a methodology for transferring geometrically defined cutting trajectories into pulse sequences and optimized execution plans is developed.
    Keywords: QA75.5-76.95 ; robot assisted surgery ; computer assisted surgery ; laser bone ablation ; laser based osteotomy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 99
    facet.materialart.
    Unknown
    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.
    Keywords: QA75.5-76.95 ; Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    facet.materialart.
    Unknown
    Situation Interpretation for Knowledge- and Model Based Laparoscopic Surgery (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-07-05
    Description: To manage the influx of information into surgical practice, new man-machine interaction methods are necessary to prevent information overflow. This work presents an approach to automatically segment surgeries into phases and select the most appropriate pieces of information for the current situation. This way, assistance systems can adopt themselves to the needs of the surgeon and not the other way around.
    Keywords: QA75.5-76.95 ; Maschinelles Lernen ; Assistenz ; Ontologie ; Ontology ; Surgery ; Augmented Reality ; Chirurgie ; Erweiterte RealitätMachine Learning ; Assistance
    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...