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
  • bic Book Industry Communication::U Computing & information technology::UY Computer science  (60)
  • thema EDItEUR::P Mathematics and Science::PN Chemistry  (31)
  • KIT Scientific Publishing  (91)
  • Bremerhaven : Alfred-Wegener-Inst. für Polar- und Meeresforschung
  • German  (91)
  • Hungarian
  • 2020-2024  (91)
Collection
Keywords
Publisher
Language
Years
  • 2020-2024  (91)
Year
  • 1
    facet.materialart.
    Unknown
    Weiterführende Untersuchungen zur Darstellung und Reaktivität von metalloiden Germaniumclustern (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-05
    Description: Ein wesentlicher Aspekt dieser Arbeit ist die Suche nach besseren Donorkomponenten für die, mit Hilfe der Kokondensationstechnik dargestellten, Germaniummonohalogenidlösungen.Des Weiteren befaßt sich die Arbeit mit der Folgechemie von metalloiden Germaniumclustern sowohl in Lösung, als auch in der Gasphase.
    Keywords: QD1-999 ; metalloid ; Kokondensation ; Cluster ; Germanium ; Folgechemie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    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
  • 3
    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
  • 4
    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
  • 5
    facet.materialart.
    Unknown
    Ultraschnelle zeitaufgelöste Pump/Probe-Photoelektronenspektroskopie an isolierten und massenselektierten Anionen (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-05
    Description: In der vorliegenden Arbeit wird die Anregungs/Abfrage-Photoelektronenspektroskopie auf die Untersuchung elektronischer Dynamik in massenselektierten Molekülionen unter Hochvakuum-Bedingungen angewendet, wodurch die Beobachtung intramolekularer elektronischer Relaxation unter Ausschluss jeglicher Wechselwirkung der untersuchten Teilchen zur umgebenden Matrix möglich ist.
    Keywords: QD1-999 ; Dianion ; Dynamik ; Gasphase ; Zeitauflösung ; Photoelektronenspektroskopie ; Phthalocyanin ; Fulleren ; Ab-initio-Rechnung ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    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
  • 7
    facet.materialart.
    Unknown
    Untersuchung gepulster laminarer rußender Methan-Luft Diffusionsflammen unter erhöhtem Druck (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-05
    Description: In einer rußenden pulsierten Methan-Luft Diffusionsflamme werden Rußkonzentration, Partikelzahldichte, -radius, -temperatur und OH*-Emission bestimmt. Die pulsierte Flamme zeigt transiente Effekte, erhöhte mittlere Rußkonzentrationen und Ablösung der Flammenspitze. Ein analytisches Modell beschreibt Flammenkontur, Ablösung der Flammenspitze und den asymmetrischen Verlauf der OH*-Emission. Eine numerische Analyse auf Basis der Flamelettheorie gibt die nichtlinearen Effekte der Rußbildung wieder.
    Keywords: QD1-999 ; Verbrennung ; Laminare Strömung ; Methan ; Luft ; Ruß ; Pulsation ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter (2021)
    KIT Scientific Publishing
    Details
    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 ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Wissensbasierte probabilistische Modellierung für die Situationsanalyse am Beispiel der maritimen Überwachung (2021)
    KIT Scientific Publishing
    Details
    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 ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Stoßwellenuntersuchungen zum Zerfall stickstoffhaltiger Verbindungen mit spektroskopischen Methoden (2021)
    KIT Scientific Publishing
    Details
    Publication Date: 2024-04-05
    Description: In dieser Arbeit wurden Geschwindigkeitskonstanten für den thermischen Zerfall von NCN und Allylamin unter verbrennungsrelevanten Bedingungen untersucht. Zerfallsreaktionen stickstoffhaltiger Verbindungen spielen zum Beispiel bei der Stickoxidbildung in Verbrennungsprozessen eine Rolle. Die Experimente wurden an einem Stoßrohr durchgeführt, an das ein ARAS-Aufbau oder ein FM-Spektrometer gekoppelt wurde. Die erhaltenen Ergebnisse wurden mit Hilfe der statistischen Reaktionstheorie analysiert.
    Keywords: QD1-999 ; Reaktionskinetik ; Atomresonanzabsorptionsspektroskopie ; Mastergleichung ; Stoßwellenuntersuchung ; Frequenzmodulationsspektroskopie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    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...