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
  • bic Book Industry Communication::U Computing & information technology::UY Computer science  (60)
  • KIT Scientific Publishing  (60)
  • München : Beck
  • Singapore :Springer Nature Singapore :
  • German  (60)
  • Dutch
  • Italian
Collection
Publisher
Language
Years
  • 1
    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 ...
  • 2
    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 ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    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 ...
  • 9
    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 ...
  • 10
    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 ...
  • 11
    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 ...
  • 12
    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 ...
  • 13
    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 ...
  • 14
    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 ...
  • 15
    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 ...
  • 16
    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 ...
  • 17
    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 ...
  • 18
    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 ...
  • 19
    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 ...
  • 20
    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 ...
  • 21
    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 ...
  • 22
    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 ...
  • 23
    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 ...
  • 24
    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 ...
  • 25
    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 ...
  • 26
    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 ...
  • 27
    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 ...
  • 28
    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 ...
  • 29
    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 ...
  • 30
    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 ...
  • 31
    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 ...
  • 32
    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 ...
  • 33
    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 ...
  • 34
    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 ...
  • 35
    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 ...
  • 36
    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 ...
  • 37
    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 ...
  • 38
    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 ...
  • 39
    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 ...
  • 40
    Publication Date: 2023-12-20
    Description: Am Forschungszentrum Karlsruhe wird ein neues bildgebendes Verfahren zur verbesserten Diagnose von Brustkrebs entwickelt: Die 3D-Ultraschall-Computertomographie. Die Untersuchung der Abbildungseigenschaften ermittelt die Möglichkeiten und Grenzen der Bildgebung. In dieser Arbeit werden die wesentlichen Systemparameter ermittelt, hinsichtlich ihres Einflusses auf die Abbildungseigenschaften bewertet und eine Optimierung des Gesamtsystems bezüglich der erreichbaren Bildqualität durchgeführt.
    Keywords: QA75.5-76.95 ; Ultraschall-Computertomographie ; Reflexionstomographie ; 3D-Punktabbildung ; Stochastische Bildrekonstruktion ; 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: This book collates contributions from within the fields of micro-manufacturing technologies and engineering, and complements the online training platform developed by the MIMAN-T consortium. This book primarily targets technicians and prospective professionals as well as student operating within the sector and aims to serve as an effective tool to facilitate the translation of micro-manufacturing technologies into tangible industrial benefits.
    Keywords: QA75.5-76.95 ; Miniaturisation ; Market analysis ; application ; Production technologies ; Martanalyse ; Miniaturiesierung ; Anwendungen ; Fertigungstechnologien ; 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: This book presents an architecture for programming in natural language called NLCI. It decouples the application domain from the text analyses: NLCI is an extensible architecture and its components are reusable. NLCI is evaluated with two case studies in two radically different domains: translating commands for a home automation system (openHAB) and generating 3D animations from English scripts with Alice.
    Keywords: QA75.5-76.95 ; program synthesis ; Sprachverarbeitung ; SoftwaretechnikNatural language processing ; software engineering ; programming systems ; Programmiersystem ; Programmsynthese ; 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
    Publication Date: 2023-12-20
    Description: In den meisten industriellen Anwendungen sind schnelle und zuverlässige Algorithmen zur Zeichenerkennung gefordert. Dazu werden verschiedene Zeichensegmentierungsansätze vorgestellt, die sich größtenteils adaptiv an die Gegebenheiten in den Aufnahmen anpassen. Weiterhin wird ein Segmentierungsverfahren beschrieben, das mögliches Vorwissen mit berücksichtigt. Zudem wurden Kombinationen von Merkmalen und Klassifikatoren bezüglich deren Robustheit unter dem Einfluss von Rauschen untersucht.
    Keywords: QA75.5-76.95 ; Merkmalsberechnung ; Klassifikation von Schriftzeichen ; Smart-Kameras ; Zeichensegmentierung ; Optische Zeichenerkennung ; 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: Bei der Aufgabenbearbeitung durch ein Mensch-Computer-System wird der Mensch durch den Computer-Einsatz nicht nur unterstützt, sondern auch belastet: Zusätzlich zur Bearbeitung der Hauptaufgabe muss er den Computer bedienen.Es wurde ein Vorgehen entwickelt, welches durch den Einsatz einer neuen Methode zur quantitativen Aufgabenbeschreibung eine gezielte Entlastung des Menschen durch Assistenzeinsatz und eine daraus resultierende Leistungssteigerung für die Hauptaufgabe ermöglicht.
    Keywords: QA75.5-76.95 ; Anthropotechnik ; Szenenanalyse ; Aufgabenanalyse ; Mensch-Maschine-System ; Assistenzsystem ; Bildauswertung ; Modellgetriebene Entwicklung ; 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 ...
  • 45
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The Organic Smart Home is a generic framework as well as a runtime environment for the application in real smart homes to cope with the challenges of a flexible and adaptive energy management system.
    Keywords: QA75.5-76.95 ; Energiemanagement Smarthomeenergy-management smarthome ; 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 ...
  • 46
    Publication Date: 2023-12-20
    Description: In dieser Arbeit wird die Idee verfolgt, komplexe Systeme aus sehr einfachen Teilsystemen aufzubauen und für solche Systemkaskaden eine stochastische Zustandsschätzung durchzuführen. Dabei wird die Struktur der Kaskade verwendet, um die Schätzung lokal in den Teilsystemen durchzuführen woraus eine globale Schätzung abgeleitet wird. Im Fokus der Arbeit stehen nichtlineare und hybride Systeme. Als eine Anwendung wird die Intentionserkennung in der Mensch-Roboter-Kooperation betrachtet.
    Keywords: QA75.5-76.95 ; Intentionserkennung ; nichtlineare Schätzer ; Bayes ; hybride Systeme ; 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
    Publication Date: 2023-12-20
    Description: Die in dieser Arbeit vorgestellte ServiceCast-Architektur umfasst Lösungen zur dienstbasierten Adressierung und Kommuikation in drahtlosen Sensor-Aktor-Netzen. Besondere Beachtung kommt der realistischen Repräsentation und Kalibrierung des indeterministischen drahtlosen Kanals in Simulationen und dessen Auswirkungen auf Mechanismen höherer Protokolle zu. Diesen besonderen Randbedingungen wird durch neue Formen der Adressierung und Zustellung von Daten (z.B. Somecast) Rechnung getragen.
    Keywords: QA75.5-76.95 ; Ad-Hoc Netze ; dienstbasierte Adressierung ; Sensornetze ; Kommunikstionsarchitektur ; Kalibrierung des Drahtloskanals ; 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 ...
  • 48
    Publication Date: 2023-12-20
    Description: This work addresses the automatic detection of complex situations in image sequences in the video surveillance context. There are difficulties when dealing with data from natural environments. This work expands the formalism of FMTHL and SGTs to deal with erroneous, missing, and noisy data and complexity, demonstrates the robustness of situational recognition in natural scenarios, and expands generic applicability beyond discourse boundaries.
    Keywords: QA75.5-76.95 ; situation recognition ; Kognitives Sichtsystem ; Situationsanalyse ; cognitive vision system ; 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 ...
  • 49
    Publication Date: 2023-12-20
    Description: Die Visualisierung und die Unterscheidbarkeit kontinuierlicher, multidimensionaler Messdaten stößt mit bekannten Techniken oft bereits für wenige Parameter an ihre Grenzen. Für die Darstellung von räumlich-zeitlichen Satellitendaten wird ein neues Konzept für die Visualisierung kontinuierlicher, multidimensionaler, meteorologischer Satellitendaten vorgestellt. Schwerpunkte sind die 3D-Visualisierung, der Einfluss von Animationen und die Entwicklung einer 2D- und 3D-Visualisierungssoftware.
    Keywords: QA75.5-76.95 ; Visualisierung Satellitendaten multidimensional Spurengas 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 ...
  • 50
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Fahrerassistenzsysteme eröffnen die Möglichkeit für automatische Eingriffe in Gefahrensituationen und bieten dadurch ein Potenzial zur Unfallvermeidung und zur Minimierung der Unfallschwere im Straßenverkehr. Die Handlungen mehrerer kognitiver Fahrzeuge können über Funkkommunikation miteinander koordiniert werden. Diese Dissertation untersucht potenziell echtzeitfähige Bewegungsplanungsalgorithmen zur Planung von Fahrmanövern, die von mehreren Fahrzeugen kooperativ ausgeführt werden können.
    Keywords: QA75.5-76.95 ; Kooperation ; Fahrerassistenzsystem ; autonome Fahrzeuge ; Bahnplanung ; 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 ...
  • 51
    Publication Date: 2023-12-20
    Description: Softwareproduktlinienentwicklung ist ein Ansatz zur systematischen Wiederverwendung von Softwareartefakten. In dieser Arbeit stellen wir ein Verfahren vor, welches es erlaubt, unterstützte Merkmale einer Produktlinie in Form voneinander abgegrenzter Belangimplementierungen zu spezifizieren und diese zu maßgeschneiderten Varianten der Produktlinie zu komponieren. Das Verfahren vereinigt hierzu Konzepte der mehrdimensionalen Belangtrennung, der generischen Programmierung sowie der Generierung.
    Keywords: QA75.5-76.95 ; Generierung ; Softwareproduktlinien ; Generische Programmierung ; Softwarekomposition ; Aspektorientierte Programmierung ; 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: Software Architecture covers the technical organization of a software system and principles which determine design and evolution of the system. The research issue of this work results from software evolution, when the software needs to be modified. The contribution of this book is a method for change request analysis based on software architecture models. The method supports derivation of tasks covering several work areas and life cycle phases.
    Keywords: QA75.5-76.95 ; Software Evolution ; Change Request Analysis ; Software Engineering ; Software Architecture ; Änderungsanfragenanalyse ; Software ; Software-Evolution ; Software-Architektur ; 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 ...
  • 53
    Publication Date: 2023-12-20
    Description: This book presents methods to build an intra-operative model using images of a stereo endoscope and force data. The idea is to use this model in a computer-based assistance system for laparoscopic surgery. One focus is on a method for intra-operative surface reconstruction. Furthermore, methods for intraoperative registration of pre-and intraoperative models are presented.
    Keywords: QA75.5-76.95 ; medizinische Bildverarbeitung ; computergestützte Assistenz ; Registrierung ; Intraoperative Sensoranalyse ; minimal-invasive Chirurgie ; 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 ...
  • 54
    Publication Date: 2023-12-20
    Description: Dienstorientierte Architekturen werden ihr volles Potenzial nur dann entfalten können, wenn es gelingt, Dienste fallweise und zur Laufzeit einzubinden. Hierdurch entstünde eine weitaus robustere und besser an den Kontext angepasste Architektur, da ungeeignete Dienstgeber dynamisch ausgetauscht werden könnten. Ziel der Arbeit war daher die Schaffung einer semantischen Dienstbeschreibungssprache, die als Grundlage für eine solche Dienstnutzung dienen kann.
    Keywords: QA75.5-76.95 ; Semantic Web ; Ontologie ; Serviceorientierte Architektur ; Web Services ; 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 ...
  • 55
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: In dieser Arbeit werden adaptive Methoden zur Analyse von Anthropomatikdaten entwickelt. Zielsetzung ist die automatische Erkennung von Systemzuständen mit Hidden-Markov-Modellen. Anwendungsbeispiele sind Bohrgeräusche aus der Wirbelsäulenchirurgie, medizinische Ultraschallbilder und menschliche Bewegungsdaten. Neben dem Vergleich mit anderen Klassifikationsverfahren werden Merkmalsgenerierung, geeignete Modellstrukturen, Optimierung der Zustände und Aspekte der Implementierung besprochen.
    Keywords: QA75.5-76.95 ; Adaptive Signalverarbeitung ; Bildverarbeitung ; Ultraschall ; Bewegungsanalyse ; Automatische Klassifikation ; Hidden-Markov-Modell ; Tumorklassifikation ; 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 ...
  • 56
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: An ever-increasing integration of technology in our daily life took place over the last years. Humanoid robots like other autonomous systems are becoming increasingly relevant. For these systems it is essential to perceive their current environment at the required level of detail. Therefore, this publication introduces the interest-driven audiovisual scene exploration based on multimodal saliency, knowledge-driven curiosity and other aspects, which achieve an important scientific contribution.
    Keywords: QA75.5-76.95 ; interessengetriebene audiovisuelle Szenenexploration ; exploration paths ; OPASCA-Systeminterest-driven audiovisual scene exploration ; wissensbasierte Neugier ; multimodale Salienz ; knowledge-driven curiosity ; multimodal saliency ; OPASCA-system ; Explorationspfade ; 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 ...
  • 57
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The interpretation of aerial and satellite imagery requires significant experience and expert knowledge and therefore is mainly performed by professional image interpreters. So far, automatic methods are not able to provide comparable results but they can be used to support the manual image interpretation process. This work shows how the benefits of manual and automatic image interpretation can be adequately combined in an interactive image interpretation system.
    Keywords: QA75.5-76.95 ; Luftbildauswertung ; Fernerkundung ; Szenenanalyse ; Unterstützungssysteme ; Bildverstehenremote sensing ; image understanding ; decision support systems ; image interpretation ; scene analysis ; 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
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Obwohl die technische Entwicklung von Softwareagenten bereits weit fortgeschritten ist, sind sie bislang kaum im praktischen Einsatz zu finden. Von großem Nutzen wären Agenten in Märkten, wo sie zur Effizienzsteigerung des Marktgeschehens beitragen könnten. Eine Möglichkeit, die Effizienz des Marktgeschehens zu erhöhen, besteht in der Verteilung eines Risikos weniger risikoaverse Akteure. Hierzu bieten sich unter anderem die Instrumente Vertragsstrafe und Reugeld an.
    Keywords: QA75.5-76.95 ; Elektronische Form ; Agent ; Reugeld ; Effizienz ; Elektronische Unterschrift ; Vertragsschluss ; elektronische Signatur ; Willenserklärung ; Softwareagenten ; Computererklärung ; Electronic Commerce ; Agenten ; Vertragsstrafe ; 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 ...
  • 59
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die Methode zur teilautomatisierten Identifikation mobiler Teilprozesse ermöglicht eine computergestützte, kriterien-spezifische Analyse der Inschriften von Geschäftsprozess-Schemata und gibt Empfehlungen für potenziell mobile Teilprozesse. Die Methode zur hybriden Simulation erlaubt die Abbildung spezifischer Aufgabenausführungen mobiler Aufgabenträger auf Interaktionen mit mobilen Geräten. Diese werden realitätsnah in der simulativen Analyse des modellierten Geschäftsprozesses ausgeführt.
    Keywords: QA75.5-76.95 ; mobile Informationstechnologie ; Geschäftsprozesse ; Identifikation ; Hybride Simulation ; 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 ...
  • 60
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die Arbeit präsentiert zwei neuartige deflektometrische Verfahren, die jeweils unter Einbeziehung von Zusatzinformation eine eindeutige Lösung des mathematisch schlecht gestellten Rekonstruktionsproblems erlauben. Das erste der beiden stützt sich auf das bei vielen praxisrelevanten Bauteilen auftretende diffuse Reflexionsverhalten. Außerdem wird ein allgemeines Modell des spekularen optischen Flusses hergeleitet, der entsteht, wenn die gesuchte Fläche relativ zum Messaufbau bewegt wird.
    Keywords: QA75.5-76.95 ; optischer Fluss ; spiegelnde Oberflächen ; 3D-Rekonstruktion ; Deflektometrie ; Shape-from-Shading ; 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...