ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Books  (112)
  • bic Book Industry Communication::U Computing & information technology::UY Computer science  (112)
  • KIT Scientific Publishing  (111)
  • Firenze University Press  (1)
Collection
  • Books  (112)
Source
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Physics-Based Probabilistic Motion Compensation of Elastically Deformable Objects (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: A predictive tracking approach and a novel method for visual motion compensation are introduced, which accurately reconstruct and compensate the deformation of the elastic object, even in the case of complete measurement information loss. The core of the methods involves a probabilistic physical model of the object, from which all other mathematical models are systematically derived. Due to flexible adaptation of the models, the balance between their complexity and their accuracy is achieved.
    Keywords: QA75.5-76.95 ; stochastic estimation ; physics-based modeling ; robotics ; distributed parameter systems ; beating heart surgery ; video processing ; probabilistic models ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Computer science approach to quantum control (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work considers several hypothetical control processes on the nanoscopic level and show their analogy to computation processes. It shows that measuring certain types of quantum observables is such a complex task that every instrument that is able to perform it would necessarily be an extremely powerful computer.
    Keywords: QA75.5-76.95 ; Informationstheorie ; Quanteninformatik ; Berechnungskomplexität ; Komplexitätstheorie ; Hauptsatz der Thermodynamik 2 ; Quantentheorie ; Entropie ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Specification and verification of object-oriented software components (2021)
    KIT Scientific Publishing
    Details
    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 ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Deterministic Sampling for Nonlinear Dynamic State Estimation (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The goal of this work is improving existing and suggesting novel filtering algorithms for nonlinear dynamic state estimation. Nonlinearity is considered in two ways: First, propagation is improved by proposing novel methods for approximating continuous probability distributions by discrete distributions defined on the same continuous domain. Second, nonlinear underlying domains are considered by proposing novel filters that inherently take the underlying geometry of these domains into account.
    Keywords: QA75.5-76.95 ; Sensordatenfusion ; Richtungsstatistik ; Directional Statistics ; Stochastische Filterung ; Sensor Data Fusion ; DichteapproximationStochastic Filtering ; Density Approximation ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Grafische Benutzungsunterstützung auf Befehlsebene für die Entwicklung massivparalleler Programme (2021)
    KIT Scientific Publishing
    Details
    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 ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Bewegungsplanung und sensorgestützte Ausführung für das Greifen auf humanoiden Robotern (2021)
    KIT Scientific Publishing
    Details
    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 ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Efficient Reinforcement Learning using Gaussian Processes (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This book examines Gaussian processes in both model-based reinforcement learning (RL) and inference in nonlinear dynamic systems.First, we introduce PILCO, a fully Bayesian approach for efficient RL in continuous-valued state and action spaces when no expert knowledge is available. PILCO takes model uncertainties consistently into account during long-term planning to reduce model bias. Second, we propose principled algorithms for robust filtering and smoothing in GP dynamic systems.
    Keywords: QA75.5-76.95 ; autonomous learning ; Gaussian processes ; control ; machine learning ; Bayesian inference ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Über lernende optische Inspektion am Beispiel der Schüttgutsortierung (2021)
    KIT Scientific Publishing
    Details
    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 ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Human Pose Estimation with Implicit Shape Models (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: This work presents a new approach for estimating 3D human poses based on monocular camera information only. For this, the Implicit Shape Model is augmented by new voting strategies that allow to localize 2D anatomical landmarks in the image. The actual 3D pose estimation is then formulated as a Particle Swarm Optimization (PSO) where projected 3D pose hypotheses are compared with the generated landmark vote distributions.
    Keywords: QA75.5-76.95 ; Computer vision ; Bildverarbeitung ; Human pose estimation ; action recognition ; AktionserkennungScene understanding ; Szenenverstehen ; Menschliche Posenschätzung ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Whole-Body Affordances for Humanoid Robots: A Computational Approach (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2023-12-20
    Description: The goal of this work is the development of a novel computational formalization of whole-body affordances which is suitable for the multimodal detection and validation of interaction possibilities in unknown environments. The hierarchical framework allows the consistent fusion of affordance-related evidence and can be utilized for realizing shared autonomous control of humanoid robots. The affordance formalization is evaluated in several experiments in simulation and on real humanoid robots.
    Keywords: QA75.5-76.95 ; Kognition ; cognition ; Manipulation ; Perzeption ; robotics ; Humanoide Robotik ; humanoid robotics ; manipulation ; Robotik ; perception ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...