ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Books  (233)
  • QA75.5-76.95  (233)
  • KIT Scientific Publishing  (233)
  • Berlin : Akad.-Verl.
  • Project Gutenberg
Collection
  • Books  (233)
Language
Years
  • 1
    Publication Date: 2024-04-14
    Description: Das modular aufgebaute Kursbuch Informatik I behandelt die wichtigsten theoretischen Grundlagen der Informatik. Außerdem werden praktische Fähigkeiten vermittelt, die zur selbstständigen Erstellung von gut geschriebenen (Java-) Programmen erforderlich sind.
    Keywords: QA75.5-76.95 ; Programmiersprache ; Theoretische Informatik ; Formale Sprache ; Informatikstudium ; Informatiklehrer ; Programmierung ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Language: German
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    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 ...
  • 3
    Publication Date: 2023-07-05
    Description: Ein noch offenes Problem der optischen 3D-Modellerfassung ist die Notwendigkeit einer zeitintensiven, manuell gestützten Montage mehrerer Ansichten bzw. Tiefenbilder zu einem geschlossenen 3D-Oberflächenmodell. Könnte dieser Vorgang der sog. 3D-Registrierung in den Scanprozess verlagert werden, so könnte das bisher erfasste Gesamtergebnis dem Anwender visualisiert werden und dieser hätte die Möglichkeit, interaktiv auf noch nicht erfasste Bereiche einzugehen. In der vorliegenden Arbeit wird hierzu ein neuer Ansatz entwickelt und vorgestellt.
    Keywords: QA75.5-76.95 ; Oberfläche ; Profil 〈Oberfläche〉 ; Oberflächenprüfung ; Optische Messung ; Triangulierung ; Optische Messtechnik ; Messtechnik ; Kalibrieren 〈Messtechnik〉
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    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 ...
  • 5
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 6
    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 ...
  • 7
    Publication Date: 2023-07-05
    Description: Um das Potential von P2P-Netzen und -Systemen für die Entwicklung und den Betrieb zukünftiger verteilter Systeme zu analysieren, erfolgt in der Arbeit zunächst eine umfassende Darlegung des aktuellen Entwicklungsstandes. Daraus leiten sich wesentliche Fragestellungen hinsichtlich Architektur, Robustheit und Telekommunikationsrecht ab. In der Folge werden diese untersucht, indem vorhandene Mechanismen bewertet sowie durch neuartige Verfahren ergänzt werden, um bestehende Defizite auszugleichen.
    Keywords: QA75.5-76.95 ; Telekommunikationsrecht ; Rechnernetze ; Virtuelle Netzwerke ; Peer-to-Peer
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    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 ...
  • 9
    Publication Date: 2023-07-05
    Description: Die Arbeit behandelt asymptotische Eigenschaften eines speziellen Anpassungstests auf multivariate Normalverteilung, der Teststatistik von Cox und Small. Unter verschiedenen Verteilungsannahmen wird das asymtotische Verhalten der Teststatistik untersucht und die Grenzverteilungen angegeben. Mit einer Simulationsstudie werden die theoretischen Ergebnisse bestätigt.
    Keywords: QA75.5-76.95 ; Grenzwertsätze in Banachräumen ; Anpassungstests ; Asymptotische Statistik ; sphärisch-symmetrische Verteilungen
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
    Keywords: QA75.5-76.95 ; proof obligations ; encapsulation ; components ; context specification ; deductive verification ; modular proofs ; formal specification ; object-orientation ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 12
    Publication Date: 2023-12-20
    Description: Benutzungsunterstützung wird heute von jedem Programm verlangt. Aufbauend auf allgemeinen ergonomischen Grundlagen und einem allgemeinen Modell für parallele Algorithmen stellt die vorliegende Arbeit Methoden vor, wie Quelltext paralleler Programme durch den Einsatz dynamisch erzeugter Icons übersichtlicher gestaltet werden kann. Dazu wird eine neu entworfene Entwicklungsumgebung vorgestellt, die neben der Icondarstellung im Quelltext auch Dialogboxen bereitstellt, welche besonders für Aktivierungs- und Kommunikationsaufgaben auf Parallelrechnern angepasst sind.
    Keywords: QA75.5-76.95 ; Barrierefreiheit ; Parallelrechner ; Qt ; Programmierumgebung ; Softwareergonomie ; Benutzeroberfläche ; Softwarewerkzeug ; SIMD ; Editor ; Quellcode ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 14
    Publication Date: 2023-07-05
    Description: Chirurgische Assistenzsysteme unterstützen den Chirurgen bei der Durchführung einer Operation. Durch ihren Einsatz sollen das Patientenrisiko gesenkt und die chirurgische Belastung verringert werden. Ein Ziel zukünftiger Assistenzsysteme ist die Bereitstellung einer kontextbezogenen Unterstützung des Chirurgen. Im Fokus der vorliegenden Arbeit stehen ein Konzept und die zugehörigen Methoden zur Realisierung solch einer Assistenz.
    Keywords: QA75.5-76.95 ; Situationsinterpretation ; Erweiterte Realität
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: Die computergestützte Simulation von Bewegungsabläufen wird immer wichtiger in vielen Anwendungsgebieten. Einsatzgebiete von dynamischen Simulationen sind beispielsweise die Erstellung von Computeranimationen für Filme, Anwendungen in der virtuellen Realität oder für Computerspiele. In diesen Gebieten genügen oft plausible Ergebnisse, die dem Anwender das Gefühl einer realistischen Bewegung vermitteln. Hier kann die Simulation volumenerhaltender Körper zur Verbesserung der visuellen Plausibilität.
    Keywords: QA75.5-76.95 ; SimulationElastizitätVolumenerhaltung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Publication Date: 2023-07-05
    Description: Die Bedienung von Softwarewerkzeugen am Bildschirmarbeitsplatz beansprucht Ressourcen im kapazitätsbegrenzten Arbeitsgedächtnis des Menschen, die der eigentlichen Arbeitsaufgabe verloren gehen. Zur Unterstützung des Entwurfs von Mensch-Maschine-Dialogen hinsichtlich dieser Ressourcenkonkurrenz wird eine Modellierungssprache definiert und experimentell validiert, mit der die Belastung des Arbeitsgedächtnisses duch Interaktion am Bildschirmarbeitsplatz quantitativ abgeschätzt werden kann.
    Keywords: QA75.5-76.95 ; Psychische Belastung ; Visuelle Wahrnehmung ; Kognition ; Mensch-Maschine-Kommunikation ; Arbeitsgedächtnis ; Kurzzeitgedächtnis ; Arbeitsbelastung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2023-07-05
    Description: Dieses Buch führt den Leser in die beiden Themengebiete Netzwerk- und IT-Sicherheitsmanagement ein. Neben den technischen Aspekten sind dabei die strategischen, planerischen, organisatorischen und steuernden Maßnahmen des Managements von besonderer Bedeutung. Zur Verdeutlichung der Inhalte werden Fallbeispiele angeführt, bei denen insbesondere auf Erfahrungen und Maßnahmen des Rechenzentrums der Universität Karlsruhe (TH) Bezug genommen wird.
    Keywords: QA75.5-76.95 ; IT-Sicherheitsmanagement ; Identitätsmanagement ; Netzwerkmanagement ; Datenschutz
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2023-12-20
    Description: Zielsetzung dieser Arbeit ist die Untersuchung, Entwicklung und Realisierung von Algorithmen zur Planung und Ausführung von Greif- und Manipulationsaufgaben auf humanoiden Robotern. Die hierzu entwickelten Methoden ermöglichen die Planung kollisionsfreier Bewegungen für ein- und zweiarmige Aufgabenstellungen sowie deren sensorgestützte Ausführung.
    Keywords: QA75.5-76.95 ; Humanoide Roboter ; Greifen ; Bewegungsplanung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: In der minimal-invasiven Chirurgie ist die Wahl der Zugänge für den Erfolg einer Operation entscheidend. Beim Einsatz eines Robotersystems besteht Kollisionsgefahr der Roboterarme. Die vorgestellte wissensbasierte Planung ermöglicht effizientere und effektivere Operationen. Der Operationsablauf wird erlernt und in einer probabilistischen Wissensbasis gespeichert. Das Wissen wird zudem für ein prädiktives Kameraführungssystem genutzt. Die Metaheuristik STO wird vorgestellt.
    Keywords: QA75.5-76.95 ; Zugangsplanung für minimal-invasive Chirurgie ; Globale Optimierung ; Wissensbasierte Kameraführung ; Medizinische Informatik ; Kognitive Medizinrobotik
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2023-07-05
    Description: MES (Manufacturing Execution Systems) are situated between automation and management level and are affected from changes of the production. Therefore their adaptivity within the lifecycle of production plants is mission critical. Furthermore MES act as data and information hub. This means that they have to work together with other systems in an efficient and seamless way. MES must be interoperable and must have semantics under control. The present publication faces both aspects.
    Keywords: QA75.5-76.95 ; Manufacturing Execution Systems ; AutomationML ; Interoperabilität ; Adaptivität ; Semantik
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 22
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 23
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 24
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 25
    Publication Date: 2023-07-05
    Description: Das Projekt MINT (Modellgetriebene Integration von Informationssystemen) beschäftigt sich mit der Entwicklung von Methoden zur Umsetzung modellgetriebener Ansätze, wie z. B. der Model Driven Architecture (MDA) der Object Management Group (OMG), im Bereich der Integration von betrieblichen Informationssystemen. Dabei werden sowohl die Integration von Legacy Systemen in moderne Umgebungen als auch die Integration von Individualsoftware in einen Standardsoftware-Kontext berücksichtigt.
    Keywords: QA75.5-76.95 ; Modellgetriebene Softwareentwicklung ; Integration von Informationssystemen
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: In Ad-hoc-Netzen sind aktive Mitarbeit aller Teilnehmer und Einbringung eigener, knapper Ressourcen zugunsten Anderer unverzichtbar. Das hier vorgestellte verteilte Zugangskontrollsystem schließt dazu unkooperative Nutznießer aus dem Netz aus. Grundlage dafür sind gegenseitige Kooperativitätseinschätzungen der autonomen, einander a priori meist unbekannten Teilnehmer, die durch automatische Verhaltensbeobachtung sowie durch Austausch und Verknüpfung von Einschätzungen ermittelt werden.
    Keywords: QA75.5-76.95 ; Kooperation ; Verhaltensbeurteilung ; Elektrisches Netzwerk ; Verteiltes System ; Netzzugang ; Ad-hoc-Netz ; Zugriffs ; Vertrauen ; Selbstorganisation
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    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 ...
  • 28
    Publication Date: 2023-07-05
    Description: Neue Wege in der Lehre und Forschung an deutschen Hochschulen:Die Universität Karlsruhe (TH) entwickelte, erprobte und evaluierte Wege und Instrumente zur Verbesserung der Qualität mobilen und multimediagestützten Lebens, Lehrens und Lernens. An dem 18-monatigen Projekt ""Notebook-Universität Karlsruhe (TH) NUKATH"" waren Institute unterschiedlicher Fakultäten interdisziplinär beteiligt. Der Band enthält Einblicke in die einzelnen Projekte, die sich der Anwendungs-, Dienste- und Infrastrukturebene einer zukunftsgerichteten Universität widmen.
    Keywords: QA75.5-76.95 ; Multimedia ; E-Learning ; Computerunterstütztes Lernen ; Universität / Weiterbildung ; Mobile Computing ; Lernumwelt ; Hochschulbildung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Publication Date: 2023-07-05
    Description: Bei der Entwicklung formularbasierter Benutzerschnittstellen werden Spezialfälle einzelner Benutzer häufig nicht berücksichtigt. Besonders verursachen mehrere Varianten der Benutzerschnittstelle für ein einziges Programm einen hohen Entwicklungsaufwand. Benutzerschnittstellen werden in der Praxis von Programmierern und wenigen Benutzern definiert. Eine so entwickelte Benutzerschnittstelle stellt eine universelle Lösung dar. Benutzer können die Schnittstelle zwar verwenden, jedoch wären in vielen Fällen Vereinfachungen wünschenswert. Die häufige Unzufriedenheit der Benutzer ist daher gut nachvollziehbar. Diese Arbeit beschreibt ein Verfahren zur Erweiterung von Komponententechnologien, die eine selbständige Vereinfachung von Formularen ohne Programmierung durch den Benutzer ermöglicht.
    Keywords: QA75.5-76.95 ; Vereinfachung ; Komponenten ; Nützlichkeit ; Verwendbarkeit ; Formular ; Benutzeroberfläche ; GUI ; Anpassung ; Benutzermodellierung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Publication Date: 2023-12-20
    Description: Automated visual inspection is an integral part in industrial manufacturing processes, but development and setup of such systems is very costly. Machine learning significantly reduces the effort of and speeds up both tasks. This work develops several machine learning methods suitable for automated visual inspection. The methods augment each other and can be used for a wide range of products.
    Keywords: QA75.5-76.95 ; Mustererkennung ; Schüttgutsortierung ; visual inspection ; optische Inspektion ; maschinelles Lernen ; Pattern recognition ; machine learning ; bulk material soriting ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 32
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 33
    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 ...
  • 34
    Publication Date: 2023-07-05
    Description: In the proposed system the environment of an industrial robot is captured through algorithms of machine learning. Thus, objects and human actions are determined. Based on semantic analysis situational knowledge is inferred and dynamic risk assessment as well as robotic behaviour are concluded. Consequently, this provides the foundation for a reactive robot system for achieving efficient and safe human-robot-cooperation.
    Keywords: QA75.5-76.95 ; image processing ; Maschinelles Lernen ; Bildverarbeitung ; semantic analysis ; Semantische Analyse ; Situationsverstehen ; machine learning ; situation awareness ; Robotik ; Robotics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    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 ...
  • 36
    Publication Date: 2023-12-20
    Description: Humanoide Roboter sind hochkomplexe Systeme. Sie zeichnen sich durch ein sehr heterogenes Sensor- und Aktorsystem aus, welches wiederum sehr hohe und breit gefächerte Anforderungen an die verwendete Architektur stellt. Es wird sowohl der Entwurf einer funktionalen Steuerungsarchitektur, das verwendete Softwarerahmenwerk als auch die Abbildung auf eine dezidierte Hardwarearchitektur beschrieben.
    Keywords: QA75.5-76.95 ; Humanoide Roboter ; Hardwarearchitektur ; Softwarearchitektur ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2023-12-20
    Description: In today’s surveillance systems, a multitude of sensors are used. Thus, the data volume is clearly increasing and the human decision maker has to be supported in analyzing this data in an intelligent way. This contribution deals with the process of situation assessment, which is analyzing real-time data with respect to pre-modeled situations of interest with a dynamic Bayesian network. The quality of the recognition is evaluated with a maritime dataset.
    Keywords: QA75.5-76.95 ; data fusion ; dynamic Bayesian networks ; SituationsbewusstseinSituation assessment ; maritime surveillance ; maritime Überwachung ; Situationsanalyse ; Datenfusion ; situation awareness ; dynamische Bayes’sche Netze ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Publication Date: 2023-12-20
    Description: Die vorliegende Abhandlung untersucht die methodische und systematische Herangehensweise an die Entwicklung dienstorientierter Anwendungen im Web Engineering. Dabei wird deren architekturelle Betrachtung in den Vordergrund gerückt, die auf der Grundlage autonomer, wiederverwendbarer Komponenten in Form von Web Services basiert. Dazu werden dedizierte Modelle, Methoden und Werkzeuge entlang dieser - an Web-Standards orientierten - Architektur entwickelt.
    Keywords: QA75.5-76.95 ; Web Engineering Entwicklung WSLS Agil Software ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    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 ...
  • 40
    Publication Date: 2023-12-20
    Description: Thermal infrared deflectometry is based on the effect that rough surfaces, although having a dull appearance in the visual spectrum, exhibit a specular reflection in the thermal infrared spectrum and therefore enabling surface inspection with the method of deflectometry. This work covers the problems of generating the required thermal code patterns. The evaluation either adapts established methods from deflectometry, or new methods are introduced.
    Keywords: QA75.5-76.95 ; Thermal infrared camera ; Wärmebildkamera ; Infrared-Deflectometry ; Oberflächeninspektion ; Thermische Muster ; Infrarotdeflektometrie ; Surface inspection ; Deflectometry ; Deflektometrie ; Thermal patterns ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Publication Date: 2023-12-20
    Description: In der vorliegenden Arbeit werden Navigationsstrategien erforscht, die es einer Laufmaschine im Gelände ermöglichen, ein vorgegebenes Ziel autonom zu erreichen.Hierbei werden die Teilbereiche der Navigation, Lokalisation, Umweltmodellierung, Bahnplanung sowie Adaption an das Gelände unter Berücksichtigung der speziellen Anforderungen und Randbedingungen von Laufmaschinen eingehend untersucht.
    Keywords: QA75.5-76.95 ; Schreitroboter ; Navigation ; Gelände ; Lokalisation ; Bahnplanung ; Umweltmodell 〈Informatik〉 ; Anpassung ; Robotik ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Compliance with regulatory requirements and internal policies has become increasingly critical to business success. This book presents an approach for efficiently checking the compliance of business processes based on event data recorded in a standardized event log format. In addition to a reference implementation of the approach an extension for a business process management tool as well as a web-based dashboard are developed.
    Keywords: QA75.5-76.95 ; Compliance-Regeln ; event logs ; Compliance-Prüfung ; compliance rules ; Compliance-Anforderungen ; Geschäftsprozessebusiness processes ; Ereignisprotokolle ; compliance requirements ; compliance checking ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Anwendungsprogramme wie Applikationsserver folgen in ihrem Aufbau häufig einer mehrschichtigen Architektur, wobei eine Sicht beschreibt, wie die Daten aus der Datenbank in die Anwendung ausgelesen werden. Wird auf der Sicht eine Änderungsoperation durchgeführt, muss der Zustand der Datenbank entsprechend nachgeführt werden, so dass insgesamt wieder ein konsistenter Systemzustand erreicht wird. Die Arbeit zeigt, dass für eine weitaus größere Klasse von Sichten bei Änderungsoperationen eine Nachführung bestimmbar ist, als dies bei bisherigen Ansätzen der Fall ist.
    Keywords: QA75.5-76.95 ; Baumautomat ; View-Update-Problem ; Relationales Datenmodell ; Datenbank ; Sicht ; Änderungsoperationen ; Objektorientiertes Datenmodell ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    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 ...
  • 45
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 46
    Publication Date: 2023-12-20
    Description: This work presents novel concepts for efficient decision support in reconfiguring software-intensive technical systems with limited maintenance access. In contrast to purely redundancy-oriented approaches, the proposed methodology is based on the predictive pre-calculation of adequate configuration alternatives in the relevant design space. The knowledge about configuration relationships is manifested early and used for the autonomic cost-efficient assessment of configuration alternatives.
    Keywords: QA75.5-76.95 ; Fehlertoleranz ; fault tolerance ; Redundanz ; decision support ; redundancy ; software maintenance ; Software-Wartung ; Entscheidungsunterstützung ; Rekonfiguration ; Reconfiguration ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 48
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 49
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 50
    Publication Date: 2023-12-20
    Description: Mit dem Titel ""Basissoftware für selbstorganisierende Infrastrukturen für vernetzte mobile Systeme"" vereint das Schwerpunktprogramm 1140 der DFG Forschungsvorhaben zum Thema drahtloser Ad-hoc- und Sensornetze. Durch die Konzeption höherwertiger Dienste für diese aufstrebenden Netztypen leistet das Schwerpunktprogramm einen essentiellen Beitrag zur aktuellen Forschung und erschafft gleichzeitig ein solides Fundament zur Entwicklung zahlreicher Anwendungen.
    Keywords: QA75.5-76.95 ; Basissoftware ; höherwertige Dienste ; mobile Ad-hoc-Netze ; drahtlose Sensornetze ; Middleware ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Publication Date: 2023-12-20
    Description: This work establishes an integrated tool chain from modeling physical simulations to design automation for FPGA-based real-time simulations. Modelica was chosen as a versatile, intuitive and object-oriented modeling language. The implemented tool chain incorporates high-level synthesis methods to generate a VHDL design. Both floating-point and fixed-point arithmetic are supported.
    Keywords: QA75.5-76.95 ; Hardware-in-the-Loop ; Entwurfsautomatisierung ; FPGA ; Modelica ; Echtzeit ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    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 ...
  • 53
    Publication Date: 2023-07-05
    Description: Für Informationssysteme haben die Selbstorganisation und Autonomie der Teilnehmer große Bedeutung gewonnen. Ein solches System ist beispielsweise ein Ad-hoc Netz einer Universität, in dem sich die Geräte von Studenten untereinander Dienste erbringen. Aus der Sicht menschlicher Benutzer ergibt sich aber ein großes Problem: Die untereinander autonomen Geräte sind in der Lage zu betrügen, indem sie versprochene Dienstleistungen nicht erbringen.In diesem Buch wird ein Ansatz beschrieben, der solches Betrugsverhalten durch die Bereitstellung geeigneter Kooperationsanreize unterbindet.
    Keywords: QA75.5-76.95 ; Autonomie ; Anreizsystem ; Betriebliches Informationssystem ; Selbstorganisation
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    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 ...
  • 55
    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 ...
  • 56
    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 ...
  • 57
    Publication Date: 2023-12-20
    Description: Aktuelle und zukünftige Chipentwürfe werden aus wiederverwendbaren Basisbausteinen, so genannten IP-Modulen, aufgebaut. Diese IP-Module müssen definierte Qualitätskriterien erfüllen, um den Chipentwurf zu beschleunigen, das Integrationsrisiko aufseiten des IP-Nutzers und den Aufwand für Nacharbeit aufseiten des IP-Anbieters zu reduzieren.
    Keywords: QA75.5-76.95 ; Automation ; Auslieferung ; Austauschformat ; IP ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2023-12-20
    Description: With the current state of the art angle sensors are used for the operation of permanent magnet synchronous machines in electric and hybrid vehicles. In the present work, a new concept for sensorless control is proposed. The robust operation could be proven with new and further developed sensorless procedures on the machine test bench. The operating range of sensorless control could be significantly increased with the presented methods.
    Keywords: QA75.5-76.95 ; Hybridfahrzeug ; electrical machine ; geberlose Regelung ; sensorless control ; elektrische Maschine ; control theory ; electrical vehicle ; Elektrofahrzeug ; permanent magnet synchronous machine ; Regelungstechnik ; Permanentmagnet Synchronmaschine ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    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 ...
  • 60
    Publication Date: 2023-07-05
    Description: This work presents an approach to data-driven motion generation for humanoid robots, which is based on the observation and analysis of human whole-body motions. To this end, we investigate how captured human motions can be represented, classified and organized in a large-scale motion database. The statistical modeling of the transitions between characteristic whole-body poses enables the subsequent generation of multi-contact motions.
    Keywords: QA75.5-76.95 ; Ganzkörperbewegung ; robotics ; motion generation ; Bewegungsgenerierung ; menschliche Bewegungsanalyse ; humanoid robotics ; human motion analysis ; Robotik ; humanoide Robotik ; whole-body motion
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    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 ...
  • 62
    Publication Date: 2023-07-05
    Description: Bei der Umsetzung von Geschäftsmodellen wird verstärkt auf das Architekturkonzept der serviceorientierten Architektur (SOA) zurückgegriffen. Vor dem Hintergrund der wachsenden Komplexität der resultierenden dienstorientierten Systeme stellt die vorliegende Arbeit einen systematischen Ansatz zur effektiven Zusammenführung von Informationen, Werkzeugen und Methodiken in ein übergreifendes und konsistent anwendbares Modell zur Verwaltung und Überwachung dienstorientierter Systemlandschaften vor.
    Keywords: QA75.5-76.95 ; Informationsmodell ; Service-orientierte Architektur ; IT Service Management ; Betrieb ; Dienstorientierte Systeme
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2023-12-20
    Description: In der vorliegenden Arbeit wird eine biologisch motivierte Verhaltenssteuerung für ein kognitives Automobil vorgestellt, die ein hohes Maß an Rückmeldung liefert und damit die Grundlage für zukünftige Lernverfahren bildet. Weiterhin wird eine universell einsetzbare Bahnplanungskomponente entwickelt. Wesentliches Element des vorgestellten Ansatzes ist die Repräsentation von Fahrintention und Fahrzeugumfeld mit Hilfe von dynamischen Gefahrenkarten.
    Keywords: QA75.5-76.95 ; kognitiv automobil verhalten bahnplanung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    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 ...
  • 65
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 66
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 67
    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 ...
  • 68
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 69
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The focus of this work is on the analysis of haptic sensor data acquired by a humanoid robot for shape-based object classification. The central theme is the examination of different approaches for the fusion of haptic sensor data in order to distinguish objects roughly with a few or in detail with several samples. A part of the presented system is an attention space with provide a strategy for an active object classification.
    Keywords: QA75.5-76.95 ; Taktile Sensoren ; Humanoider Roboter ; Abtaststrategie ; Objekterkennung ; Haptische Exploration ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Kardiovaskuläre Erkrankungen stellen in den westlichen Industrienationen eine der Haupttodesursachen dar. Für die Diagnostik steht inzwischen mit der Computer-Tomographie ein leistungsfähiges bildgebendes Verfahren zur Verfügung.Im Rahmen dieser Arbeit wurden Verfahren entwickelt, um dem Radiologen durch eine weitgehend automatische und umfassende Analyse von 4D-CTA-Daten und der automatischen Berechnung wichtiger diagnostischer Parameter zu unterstützen.
    Keywords: QA75.5-76.95 ; medizinische Bildverarbeitung ; statistische Formmodelle ; Computer-Tomographie ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 72
    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 ...
  • 73
    Publication Date: 2023-12-20
    Description: In der vorliegenden Abhandlung wird ein System zur autonomen 3D-Umweltmodellierung vorgestellt, welches auf den drei Hauptprozessen Datenaufnahme, Datenintegration und Aktionsplanung beruht. Basis der Modellierung sind dichte Tiefenbilder, generiert durch einen rotierenden Zeilenscanner, mit Punktmerkmalen. Durch die Registrierung aller Daten können die Fehler der odometrischen Lagebestimmung minimiert werden. Anhand der ermittelten 3D-Daten wird die nächste beste Aufnahmeposition ermittelt.
    Keywords: QA75.5-76.95 ; SLAM ; Autonome Navigation ; Autonome Exploration ; Robotik ; 3D-Umweltmodellierung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    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 ...
  • 75
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die Struktur von Softwaresystemen zerfällt aufgrund von nötigen Anpassungen an eine sich verändernde Umwelt. Als Konsequenz der sich verschlechternden Struktur werden weitere Änderungen des Systems immer aufwändiger, es sei denn die Struktur wird vor den Änderungen immer wieder verbessert.In dieser Arbeit stellen wir ein Verfahren vor, das Restrukturierungen bestimmt, die die Qualität der Struktur eines gegebenen Systems verbessern.
    Keywords: QA75.5-76.95 ; Evolutionäre Algorithmen ; Metriken ; Software-Wartung ; Restrukturierungen ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2023-12-20
    Description: Voraussetzung für die gemeinsame Nutzung von Betriebsmitteln mobiler Geräte sind Verfahren, die es erlauben, den Energiebedarf für die Bereitstellung von Ressourcen abzuschätzen, unter mehreren Ressourcenanbietern einen geeigneten auszuwählen und diesen für den erbrachten Energieaufwand zu entschädigen. Diese Arbeit stellt hierfür entwickelte Verfahren vor, die insbesondere das geringe Energiebudget mobiler Geräte berücksichtigen.
    Keywords: QA75.5-76.95 ; gemeinsame Ressourcennutzungmobile KommunikationsgeräteEnergieschätzungDienstgeberauswahlAnreizsystem ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Publication Date: 2023-12-20
    Description: Die dynamische Simulation gewinnt im Bereich der VR immer mehr an Bedeutung. In diesem Bereich ist die Geschwindigkeit des verwendeten Verfahrens entscheidend.Weitere Anforderungen sind unter anderem Genauigkeit, Stabilität und eine einfache Implementierung.In dieser Arbeit wird ein neues Verfahren für die Simulation von Mehrkörpersystemen vorgestellt. Das vorgestellte Verfahren arbeitet ausschließlich mit Impulsen, um Gelenke, Kollisionen und bleibende Kontakte mit Reibung zu simulieren.
    Keywords: QA75.5-76.95 ; Zwangsb ; Newtonsche Axiome ; Lagrange-Formalismus ; Computersimulation ; Impulserhaltung ; Mechanik ; Dynamische Modellierung ; Dynamisches Verhalten ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2023-12-20
    Description: Das erfolgreiche Internet basiert auf einer großen Anzahl unterschiedlicher Kommunikationsprotokolle. Diese erfüllen wesentliche Aufgaben, wie Adressierung, Datentransport oder sichere Kommunikation. Wählt man die richtigen Protokolle aus, so können gewünschte Eigenschaften der Kommunikation erreicht werden. Die vorliegende Arbeit betrachtet die automatisierte Wahl von Kommunikationsprotokollen und die damit erreichbare Verbesserung von zum Beispiel Sicherheit.
    Keywords: QA75.5-76.95 ; Wahl ; Protokolle ; Internet ; Kommunikation ; Sicherheit ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 80
    Publication Date: 2023-07-05
    Description: The technical design of security systems has a high impact on its acceptance. To understand the influencing factors, an acceptance model for smart video surveillance is developed. To improve acceptance different technical components are designed and implemented. Lastly they are integrated into a prototype for fall detection in hospital environments and evaluated for the acceptance. The book combined theoretical work on understanding acceptance with practical work into developing new systems.
    Keywords: QA75.5-76.95 ; Privacy ; Akzeptanz ; PrivatheitVideo surveillance ; acceptance ; Privacy by Design ; Datenschutz ; data protection ; Videoüberwachung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Bekannte Techniken für die Verwaltung und Überprüfung von Zertifikaten wurden zur Unterstützung von PKIs entwickelt. Aufgrund verschiedener Defizite dieser Techniken bezüglich Performanz und Sicherheit wird ein eigener Ansatz vorgestellt. Dieser Ansatz greift auf Vorgängerarbeiten zurück, im Wesentlichen auf Arbeiten von Ralph Charles Merkle, Irene Gassko et. al und Ahto Buldas. Einen wichtigen Baustein des vorgestellten Ansatzes bildet die Datenstruktur mit der Bezeichnung Improved Certification Verification Tree (I-CVT). Diese ermöglicht die kosteneffiziente und sichere Verwaltung und Überprüfung von Attributszertifikaten und kann die Basis einer sogenannten Privilege Management Infrastructure bilden. Basierend auf der I-CVT-Technik können die mit Attributszertifikaten verbundenen Verwaltungskosten niedrig gehalten werden. Wichtiger noch, dass mit Hilfe von I-CVTs die Überprüfung sowohl einzelner als auch gleichzeitig mehrerer Attributszertifikate einer Zertifizierungsstelle effizient und sicher durchführbar ist. Anhand von I-CVTs lassen sich so genannte Vollständigkeitsbeweise generieren. Diese verhindern die unbemerkte Zurückhaltung von auf eine Anfrage passenden Attributszertifikaten durch die diese speichernde Datenbank. Angenommen wird dabei, dass der Anfragende die Anzahl jener Attributszertifikate im Voraus nicht kennt. Einen Spezialfall für Vollständigkeitsbeweise bilden Anfragen, welche höchstens einen Treffer haben können. In solchen Fällen können so genannte Existenz-Beweise beziehungsweise Nicht-Existenz-Beweise generiert und vom Anfragenden ausgewertet werden, je nach Erfolg der jeweiligen Suche. Die Möglichkeit, solche Beweise zu generieren macht den Einsatz von I-CVTs neben der gewünschten sicheren Zugriffskontrolle auch für zahlreiche andere Szenarien attraktiv, die auf Datenbankanfragen basieren. Aus Sicht der performanten Überprüfung während der Zugriffskontrolle haben Attributszertifikate, welche durch Delegierung entstanden, eine Sonderstellung. Bei der zertifikatsbasierten Rechtedelegierung entstehen so genannte Delegierungsnetzwerke, die in den einfachsten Fällen eine Delegierungskette (engl. Delegation Chain) bilden. Ein solches Netzwerk besteht aus Zertifikaten, die von verschiedenen Stellen ausgestellt wurden. Den vertrauten Ursprung solcher Netzwerke, falls es überhaupt einen gibt, während der Zugriffskontrolle zu finden, kann lange Wartezeiten im System verursachen. Ein Vorschlag von Tuomas Aura den hiermit verbundenen Aufwand zu reduzieren, war die Reduktion derartiger Netzwerke auf Attributszertifikate, welche direkt von vertrauten Instanzen ausgestellt werden. Dies hat eine wesentliche Vereinfachung der Ursprungsprüfung delegierter Berechtigungen zur Folge. Einen sicheren Dienst für diesen Zweck innerhalb einer PMI zu konstruieren wirft aber etliche Probleme auf, welche diskutiert werden. In dieser Arbeit wird deshalb neben anderen Konzepten die Technik der so genannten Offline-Delegierung vorgeschlagen. Sie bietet eine einfache Lösung des Problems, indem die gleiche Nutzfunktionalität - sprich die Weitergabe von Berechtigungen - ganz ohne das Entstehen von Delegierungsnetzwerken geschieht. Dies macht die Ursprungsprüfung der Delegierungen einfacher sowie eine nachträgliche Reduzierung von Delegierungsnetzwerken unnötig. Die kombinierte Verwendung von I-CVTs und der Offline-Delegierung bildet das theoretische Fundament eines prototypisch implementierten Systems mit der Kurzbezeichnung PAMINA (Privilege Administration and Management INfrAstructure). Die den jeweiligen Bedürfnissen anpassbare und erweiterbare Komponenten des Systems PAMINA Administration Server, Privilege Database und Certificate Verifier ermöglichen eine flexible Einführung in eine Betriebsumgebung. Die Tragfähigkeit von PAMINA wurde bei der Absicherung eines an der Universität Karlsruhe entwickelten internetbasierten Lernsystems mit der Bezeichnung ed.tec demonstriert.
    Keywords: QA75.5-76.95 ; Datensicherung ; Elektronische Unterschrift ; Zugriffskontrolle ; Zugriffsrelation ; Zertifikat ; Computersicherheit ; Zertifizierungsstelle ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    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 ...
  • 83
    Publication Date: 2023-12-20
    Description: A chromatic confocal 3D sensor is proposed. In contrast to the state of the art, which typically uses spectrometers to measure the wavelength, only a few camera channels are used. Each channel has an unique spectral sensitivity ant the optimization of the sensitivity is the main part of the book. Interference filters are optimized for the technical realization.
    Keywords: QA75.5-76.95 ; Interferrenzfilter chromatisch konfokal 3D Messtechnik ; interference filter chromatic confocal 3D ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    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 ...
  • 85
    Publication Date: 2023-12-20
    Description: Die Arbeit untersucht die Einordnung von Peer-to-Peer-Systemen in das Datenschutzrecht und Folgen für selbstorganisierende Empfehlungssysteme. Ein nutzer- und ein objektbasierter Ansatz für ein solches System werden entworfen und evaluiert. Spezifische Vorteile bezüglich Empfehlungsqualität einerseits sowie Skalierbarkeit andererseits werden in einem kombinierten Ansatz vereint. Vorschläge zur Fortentwicklung des Rechts der Peer-to-Peer-Systeme bilden den Abschluss der Dissertation.
    Keywords: QA75.5-76.95 ; Informationsrecht ; Datenschutz ; Peer-to-Peer ; Empfehlungssystem ; Vertrauen ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Ein Konzept für eine interaktive semantische Objektmodellierung wird vorgeschlagen. Die flexible und erweiterbare Objektrepräsentation ermöglicht die Modellierung funktionaler und semantischer Objektinformationen durch die Darstellung von Eigenschaften, die menschliche Begriffe und Kategorien abbilden und die Verbindung von Objekten mit Handlungen und mit sensoriell erfassbaren Attributen herstellen. Das interaktive Modellierungssystem erlaubt die intuitive Erstellung semantischer Objektmodelle.
    Keywords: QA75.5-76.95 ; Objektmodellierung ; Semantische Modellierung ; Mensch-Roboter-Interaktion ; Multimodale Interaktion ; Objektrepräsentation ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Publication Date: 2023-12-20
    Description: Ziel der Arbeit ist es, den föderativen Ansatz und die hiermit verbundenen Konzepte, Standards und Softwaresysteme hinsichtlich der Informationskonsistenz zu analysieren und zu bewerten, sowie Lösungsansätze zur Vermeidung inkonsistenter Identitätsdaten darzulegen.
    Keywords: QA75.5-76.95 ; Identitätsmanagement ; Informationskonsistenz ; Föderation ; Konsistenzmodell ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Publication Date: 2023-12-20
    Description: Die Arbeit entwickelt ein komplettes System für die telemanipulierte und autonome robotergestützte Chirurgie. Beschrieben werden die hierfür notwendigen Komponenten: Softwarearchitektur, Entwicklungsumgebung, Planung mit Validierung und Verifizierung, Einbindung der Sensordaten, Bahnplanung, Steuerung und Regelung der Aktorik. Die Funktionsfähigkeit des Systems wird anhand zweier Operationen gezeigt (Abdominalen Aortenaneurysma (AAA), Laserknochenschneiden mit einem CO2 Laser).
    Keywords: QA75.5-76.95 ; Laserknochenschneiden ; Robotergestützte Chirurgie ; Telemanipulation ; Leichtbauroboter ; Robotik ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2023-12-20
    Description: In dieser Arbeit wurde eine neuartige Methode zur interindividuellen Untersuchung anatomischer Gegebenheiten entwickelt und an der lateralen Schädelbasis zur Bestimmung der Durchführbarkeit Minimal Traumatischer Eingriffe angewendet. Das Konzept der Minimal Traumatischen Chirurgie wurde erstmals umfangreich aus sowohl medizinischer als auch technischer Sicht beschrieben. Es wurden neue Erkenntnisse gewonnen, die für eine Umsetzung der Minimal Traumatischen Chirurgie von wichtig sind.
    Keywords: QA75.5-76.95 ; Modellierung ; Simulation ; HNO ; Chirurgie ; Akustikusneurinom ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: In dieser Arbeit wird ein multikriterielles Modell zur Integration des Risikomanagements auf Basis von Kredit-, Markt- und operationellem Risiko konzipiert. Der Ansatz approximiert die Lösungen des Problems mittels multikriterieller evolutionärer Algorithmen. Seine Anwendung wird für eine Beispielbank aufgezeigt mit besonderem Fokus auf die ansprechende Visualisierung der Ergebnisse.
    Keywords: QA75.5-76.95 ; multikriterielle evolutionäre Algorithmen ; Risikomanagement ; Integriertes Risikomanagement ; Intelligente Methoden
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The book is intended for a wide range of readers and contains an introduction to various practically relevant aspects of curves with many illustrations: It offers a treatment of the differential geometric basics, of Bézier and B-spline representations, of rational and algebraic curves, and introduces the reader to some special curves, which are important for applications or historical reasons. Proofs requiring more in-depth mathematical knowledge are dispensed with.
    Keywords: QA75.5-76.95 ; Spezielle Kurvendifferential geometry ; algebraic curves ; Bézier representations ; Splines ; Bézier-Darstellungen ; Differentialgeomtrie ; splines ; Algebraische Kurven ; special curves ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    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 ...
  • 93
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Der Trend zu kleineren Losgrößen und kürzeren Produktlebenszyklen erfordert flexiblere Automatisierungslösungen. Der Beitrag dieser Arbeit liegt in der Entwicklung universeller, kontaktbasierter Manipulationsstrategien, die modellfrei, objektunabhängig und durch den Einsatz von erfahrungsbasiertem Lernen taktzeitoptimiert sind. Sie lösen industrielle Greif- und Fügeaufgaben, die zur Palettierung, Verpackung und Maschinenbestückung notwendig sind.
    Keywords: QA75.5-76.95 ; Roboter ; Manipulation ; Greifer ; Montage ; Automatisierung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: In dieser Arbeit wird ein Konzept entwickelt und untersucht, mit dem ein Sensornetz Daten sicher, d. h. vertraulich und authentisch, zu einer Datensenke transportiert.Der Benutzer bestimmt dabei einen Kompromiss zwischen Sicherheit und dem in Sensornetzen kritischen Energiebedarf. Je sicherer Daten im Netz transportiert werden sollen, desto mehr Energie muss für den Transport ausgegeben werden.
    Keywords: QA75.5-76.95 ; Aggregation ; Datentransport ; Sensornetze ; Computerunterstützte Kommunikation ; Computersicherheit ; Sicherheit ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Publication Date: 2023-12-20
    Description: In machine vision, the illumination design has direct impact on the performance of a visual inspection system. In this work, a problem-specific illumination design is presented, which is motivated by optical feature extraction taking place during physical image acquisition. The approach is analyzed on the basis of a physically based camera and illumination model and is experimentally evaluated in different application scenarios.
    Keywords: QA75.5-76.95 ; optische Merkmalsextraktion ; inverse illumination ; Computational Illumination ; Automated Visual Inspection ; Machine Vision ; Beleuchtungsmodellierung ; inverse Beleuchtung ; light fields ; Automatische Sichtprüfung ; Beleuchtungsoptimierung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2023-12-20
    Description: In der Arbeit wird erstmalig ein Unterstützungssystem für die Geschäftsprozessmodellierung vorgestellt, das dem Benutzer zu seinem gerade editierten Prozess Prozessfragmente aus einer Bibliothek vorschlägt. Der Vorschlag von Prozessfragmenten erfolgt auf Basis von Geschäftsregeln und Korrektheits- und Semantikkriterien. Zusätzlich werden Ähnlichkeitsmaße definiert, durch die Prozessteile mit unterschiedlichem Vokabular zur Beschreibung gleicher Prozessobjekte wieder verwendet werden können.
    Keywords: QA75.5-76.95 ; Anfragesprache ; Semantic Web Rule Language ; Ähnlichkeitsmaß ; Geschäftsprozessmodelle ; Benutzerunterstützung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    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 ...
  • 98
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die mittlerweile unabdingbare Verfügbarkeit des Internets wird zunehmend durch finanziell motivierte, verteilte Angriffe gestört. Deren schnelle und flächendeckende Erkennung als notwendige Voraussetzung für effektive Gegenmaßnahmen ist Ziel dieser Arbeit. Hierzu werden neue Mechanismen zur Identifikation von Angriffen und zur dezentralen domänenübergreifenden Kooperation verteilter Erkennungssysteme entworfen. Zudem werden die für die realitätsnahe Evaluierung notwendigen Werkzeuge entwickelt.
    Keywords: QA75.5-76.95 ; Angriffserkennung im Internet ; Dezentrale Kooperation ; Sicherheit ; Realitätsnahe Simulation großer Netze ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.
    Keywords: QA75.5-76.95 ; Digitalschaltung ; Logiksynthese ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die computergestützte Modellierung detaillierter Gebäudefassaden wird in der Computeranimation usw. immer bedeutender.In dieser Arbeit werden neue Techniken vorgestellt, die sich von der Erstellung einer groben Gebäudestruktur über die Beschreibung detailreicher Fassadenelemente bis hin zur automatischen Geometrie- und Texturerzeugung erstrecken. Zusammengeführt ist ein System entstanden, das sich gegenüber bekannten Techniken durch seine Flexibilität und Vielfalt auszeichnet.
    Keywords: QA75.5-76.95 ; Architektur ; Computergraphik ; Prozedurale Modellierung ; Virtuelle Realität ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...