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
  • QA75.5-76.95  (121)
  • thema EDItEUR::P Mathematics and Science::PN Chemistry  (31)
  • KIT Scientific Publishing  (152)
  • Bremerhaven : Alfred-Wegener-Inst. für Polar- und Meeresforschung
  • German  (152)
  • Hungarian
  • 2020-2024  (152)
Collection
Publisher
Language
Years
  • 2020-2024  (152)
Year
  • 1
    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 ...
  • 2
    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 ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    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 ...
  • 9
    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 ...
  • 10
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...