yusuke1997/dblp-id-title huggingface dataset:
Bildverbesserung in Röntgenfilmen durch optische Filterung
Entwurf und Implementation einer objektorientierten UNIX-Shell: ein Prototyping-orientierter Ansatz
Die Überwachung lokaler Funknetzwerke ("WLAN-Catching"): Informationstechnologische und strafprozessuale Aspekte unter besonderer Berücksichtigung allgemeiner Fragen der Internetüberwachung und Verschlüsselung
Verfolgung von Personen in monokularen Bildfolgen
Zur induktiven Programmsynthese im Rahmen der algebraischen Softwarespezifikation
Korrektes Schließen bei unvollständiger Information: Anwendung des Prinzips der maximalen Entropie in einem probabilistischen Expertensystem
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken
Problemorientierte Programmiersprache zur Mass-, Form- und Lagebestimmung von punktweise auf Koordinatenmessgeräten erfassten Prüflingen
Ein Dialogsystem für die Ablauf- und Ressourceneinsatzplanung
Communication and I/O efficient parallel data structures
Analyse des Entwurfsprozesses - Konstruktion von Rohrleitungen - für den Aufbau eines Systems der Rechnerunterstützung
Design Problems in large-scale, time-sensitive WSNs
Parallele 3D-Bildgenerierung
Link Mining and Localisation in the Context of Face-to-Face Contact Networks
Höhere Mechanismen der visuellen Informationsverarbeitung in neuronalen Netzen
TUDABA - eine Tumordatenbank auf der Grundlage von ADT-Tumorbögen zur klinischen Dokumentation von Patienten mit Tumoren des Mund-, Kiefer-, Gesichtsbereiches im Rahmen des DÖSAK
Fault-Tolerant Coarse-Grained Data-Flow Execution
Symbolische Interpretation technischer Zeichnungen
Betrugserkennung in secret sharing schemes durch Tests auf Konsistenz
Integration von Mechanismen zur Unterstützung der Fehlertoleranz in LIPS
Searching and mining in enriched geo-spatial data
Zu Fragen der Auswahl und Wirtschaftlichkeit des Einsatzes von CAD/CAM-Lösungen
Malware detection and countermeasures for constrained internet of things devices
Value of information under climate targets: an application of cost-risk analysis
Generalized Bayesian inference under prior-data conflict
Eine Methodik zur Entwicklung von Multiagenten-Systemen auf Basis von Geschäftsprozess-Modellen
Anwendung klassischer Verfahren und Fuzzy-Logik zur Verbesserung der hydrostatischen Höhenstandsmessung
Machine learning through exploration for perception-driven robotics = Machinelles Lernen in der Perzeptions-basierte Robotik
Improving end-to-end quality of service in low-power wireless sensor networks
Eine objektorientierte Softwarearchitektur für Multimedia-Kommunikationssysteme
Wissensaquisitation, Vorlesung und interaktives Lernen im Fach Neurologie mit Hilfe eines Relationalen-Multimedialen-Datenbank-Management-Systems
Expertensystemgestützte Diagnose massiv paralleler Rechner
Automated analysis of software artefacts - a use case in e-assessment
Simplification problems for automata and games
Inter- und Intratransaktionsparallelität in Datenbanksystemen: Entwurf, Implementierung und Evaluation eines Datenbanksystems mit Inter- und Intratransaktionsparallelität
Indirect causes, dependencies and causality in Bayesian networks
Robust Entity Linking in Heterogeneous Domains
Deterministic Reactive Programming for Cyber-physical Systems
Time-triggered architecture for online diagnosis in resource-constrained systems with compressed data streams
The intelligence in the loop: empirical explorations and reflections
Computersimulation zur Entwicklung sportmotorischer Techniken
Entwicklung eines mehrstufigen Systems der Datenverarbeitung als eine Schlüsseltechnologie in der Landwirtschaft, dessen ökonomische Wirkungsweise für die Intensivierung der landwirtschaftlichen Produktion und die Leitung und Planung dieses Prozesses durch den Rat des Bezirkes mit seinem Fachorgan für Land-, Forst- und Nahrungsgüterwirtschaft, dargestellt am Beispiel des Bezirkes Karl-Marx-Stadt
Methodik zur Gestaltung und Evaluierung der Software-Gebrauchstauglichkeit bei der ersten oder bei seltener Anwendung
Experiments on the automatic induction of German semantic verb classes
Ein Konzept für ein modular aufgebautes, graphikfähiges taktiles Anzeigegerät für blinde Rechnerbenutzer
Designing smart home appliances displaying non-urgent everyday information
Big data - big accountability: Erkennung von Versicherungsbetrug mit Big Data nach der Datenschutz-Grundverordnung
Rechtliche Verantwortlichkeit im Internet: unter besonderer Berücksichtigung des Teledienstegesetzes und des Mediendienste-Staatsvertrags
Simulation wiederverwendbarer Raumtransportsysteme im cislunaren Raum unter besonderer Berücksichtigung chemischer Antriebe
Möglichkeiten zur besseren Ausnutzung der Kapazitäten und zur Anwendung rechnergestützter Methoden als Voraussetzung für eine intensive Grundfondsreproduktion in den Kombinaten und Betrieben
What was true yesterday might not be true today
Data clustering and beyond: a deterministic annealing framework for exploratory data analysis
Test case generation from natural language requirements for embedded systems with semantic role labeling
Efficient Simulation of Spectral Light Transport in Dense Participating Media and Granular Materials
Effiziente Algorithmen für transitive Hülle, transitive Reduktion und minimale Flussprobleme
Eine protokollübergreifende Regelung der Sendebandbreite basierend auf Ende-zu-Ende-Zustandsinformationen
Optimization of multicarrier data transmission over wireline and optical media for a novel industrial fieldbus
Reuse of Model Transformations for Propagating Variability Annotations in Annotative Software Product Lines
Branchenspezifische Gestaltung von rechnergeführten Produktionssystemen am Beispiel der Holz- und Möbelindustrie
Komplexitätsmessung von Produktmodellen
Die Vorausbestimmung der Kraftwerksverfügbarkeit als komplexes betriebswirtschaftliches Problem
Die Netzarchitekturen SNA und DNA im Vergleich zum OSI-Modell und ihre Eignung als Ausgangspunkt einer für EDVA, Klein- und Mikrorechner gemeinsamen Netzarchitektur
Eine Methodologie zur Entwicklung von dialogorientierter Anwender-Software für Abfertigungsprozesse im Verkehrswesen
Konzepte für eine wissensbasierte visuelle Sprache zur Bildanalyse
Behavioural profiles: a relational approach to behaviour consistency
Automatic Performance Engineering Workflows for High Performance Computing
Development and application of computational methods for cancer subtype detection from -omics data
Untersuchungen zur Güte der Erkennung von Objektkonturen mit Hilfe des Zweikanalverfahrens
Data and Dasein - A Phenomenology of Human-Data Relations
Automated methods for audio-based music analysis with applications to musicology
Automatische Erkennung von Redewiedergabe: ein Beitrag zur quantitativen Narratologie
Neuronale Netze zur Regelung verfahrenstechnischer Anlagen
Rechnerunterstützte Gestaltfindung auf der Basis eines integrierten Produktmodells
Entwicklung und Anwendung einer computergestützten Patientenkartei in der Neonatologie mit dem KC 87
Model-based privacy by design
Formal Verification of Industrial Software and Neural Networks
Klassifikation von Niederspannungsnetzen mit Support Vector Machines ERZEUGUNGSANLAGEN.Bewertung des Aufnahmevermögens für Dezentrale Erzeugungsanlagen
Vergleichende Untersuchung zur Implementierung eines neuen Mustererkennungsverfahrens am EKG
Ensemble learning with discrete classifiers on small devices
Simultane Losgrößen- und Ablaufplanung auf parallelen Maschinen: theoretische Ansätze und experimentelle Ergebnisse
Zur Charakterisierung kontextfreier Sprachen und Grammatiken durch Strukturen konkomitanter Teilzeichenketten
Prädiktion einer langfristigen Fahrzeugzustandsänderung anhand virtueller datengetriebener Sensormodelle
New approaches to investigating sex-biased admixture in southern African populations
Information processing for integrated product engineering: how modern software technologies and organizational methods can help improve time-to-market, quality, and costs
Der Einsatz des Mensch-Maschine-Dialoges bei der Kapazitätsbilanzierung zur Rationalisierung des Leitungs- und Planungsaufwandes im Bereich der kurzfristigen Planung, Lenkung und Kontrolle
Optimale Codes
Die Erschließung heterogener Textquellen für die Digital Humanities
Sequential and parallel functions as processes
The influence of personality on software quality
Design and Evaluation of Event Detection Techniques for Social Media Data Streams
Data deduplication, its efficient usage, and its potential usage in HPC
Bestimmung der aktuellen Konfiguration eines elektrischen Netzes aus Syntax und Werten einer Datensprache
Fehlerkorrigierende Quellendecodierung
One-way delay measurement based on flow data in large enterprise networks
User-Centred Evaluations in Computer Vision: Empirical Insights on Explanation Methods and Gaze-Aware Videoconferencing
Untersuchung von cortikalen Repräsentationen und deren Plastizität: optische Messungen und Simulation mit Hilfe neuronaler Netze
Evaluating temporal queries over history-aware architectural runtime models
Ein Programmwerkzeug zur Simulation kombinierter Systeme
Saliency Methods for Object Discovery Based on Image and Depth Segmentation
Beschreibung und Analyse kontextfreier Sprachen unter durchgängiger Verwendung von Graphen
Sensing and visualizing social context from spatial proximity
Methods for engineering symbolic human behaviour models for activity recognition
Suchbasierte Algorithmen für das Scheduling unabhängiger paralleler Tasks
Entwurf, Realisierung und Einsatz eines computergestützten Hochrechnungssystems für die Disposition von kurzlebigen Produkten
Modellierung und Erkennung dreidimensionaler Handschrift mittels Inertialsensorik
[Layout automation in analog IC design with formalized and nonformalized expert knowledge] ; SWARM: a novel methodology for integrated circuit layout automation based on principles of self-organization
Computergestützte Psychodiagnostik in einer psychotherapeutischen Ambulanz
Soft features for statistical machine translation of spoken and signed languages
Assistenzbasierte Planung der Datenregistrierung für flexible, multisensorische Inspektionssysteme
Anomaly detection in cloud computing environments
Ein Beitrag zur Entwurfsunterstützung, Leistungsanalyse und Leistungsbewertung von Echtzeitsystemen und Echtzeitbetriebssystemen
Automatisierte Layoutplanung von Roboter-Fertigungszellen
Predictive analytics and protection of massive data
Task scheduling on FPGA-based accelerators with limited partial reconfiguration
Die Entwicklung generischer Kontrollstrukturen aus kaskadierten ATNs
Control Conditions for Transformation Units: Parallelism, As-long-as-possible, and Stepwise Control
"Like, comment, subscribe": Perception of acoustic-prosodic features of content creators' charismatic speech on YouTube
Stabilität kostenminimaler Lösungen bei der Planung von Abwasserentsorgungssystemen
Verquickung der mathematischen und informatischen Forschung an zivilen deutschen Hochschulen mit der modernen Kriegsführung
Learning Human-Robot Interaction: A Case Study on Human-Robot Handshaking
Semantic analysis of image sequences using computer vision methods
Task generality in relation extraction
Dekomposition von Mehrprodukt-Warteschlangennetzwerken mit "Batch-Processing"
Entwicklung von Hilfsmitteln zum Aufbau fehlertoleranter Mehrrechnersysteme unter Steuerung des verteilten Echtzeitbetriebssystems MULTI-KOMI
People Analytics in privatrechtlichen Arbeitsverhältnissen: Vorschläge zur wirksameren Durchsetzung des Datenschutzrechts
E-migration: image enhancement for subsurface objects of constant curvature in ground probing radar reflection data
Vergleichende Berechnung der Pulswellengeschwindigkeit in arteriellen Gefässen des Menschen mit Hilfe einer elektronischen Datenverarbeitungsanlage
Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel
Untersuchungen zur Lehrdisziplin Informatik unter dem Aspekt der Könnensentwicklung im Diplomlehrerstudium Polytechnik
Correct Compilation of Relaxed Memory Concurrency
Hidden-Markov-Modelle: unüberwachtes Lernen und Klassifikation
Query-Time Data Integration
Silence is golden: reactive local topology control and geographic routing in wireless ad hoc and sensor networks
Einsatz und Entwicklung von Expertensystemen im Bankbetrieb
Computerunterstützte ökonometrische Modellerstellung in Lehre und Forschung: Konzeption u. Realisierung e. integrativen Ansatzes
Eine Infrastruktur für den Einsatz autonomer mobiler Agenten im Electronic Commerce
Verbesserung der Informationsgestaltung in der Simulationstechnik unter Nutzung autonomer Visualisierungswerkzeuge
Zu Raum- und Zeitkompliziertheitsklassen auf nichtdeterministischen Turingakzeptoren
Algorithmen zur Optimierung von Schaltungen und zur Lösung nichtlinearer Differentialgleichungen
Model- and simulation-based evaluation and optimization of embedded systems
Algorithmic Decision-Making in Multi-Agent Systems: Votes and Prices
Software architectures in computer graphics
Assessment of visual quality and simulator sickness for omnidirectional videos
Ein neuartiger Signalsimulator zur Entwicklungsunterstützung von Prozeßelektronik
Exploration Strategies for Indoor Environments
Frame-theoretic Designs for Future Wireless Communications
Automatische Bemessung für stochastische dynamische Belastung
Beherrschung dynamischer Variantenmodelle für eingebettete Fahrzeugsysteme
WorldView - ein generisches Virtual Reality Framework für die interaktive Visualisierung großer geographischer Datenmengen
Database-Inspired Reasoning Problems in Description Logics With Path Expressions
Semidefinite Faktorprobleme - ihre softwaremässige Lösung und ihre Anwendung
Connectionist choice models: theoretical and empirical aspects of a mathematical model
Test planning for low-power built-in self test
Advancing neural language modeling in automatic speech recognition
Models and optimization techniques for intralogistic problems in part supply
Mobile User Behavioral Modelling
Online density estimates: a probabilistic condensed representation of data for knowledge discovery
Entwärmungskonzepte durch funktionale Strukturen in spritzgegossenen dreidimensionalen Schaltungsträgern
A dependency-aware, context-independent code search infrastructure
Zur deskriptiven Komplexität von monadischen Logiken der zweiten Stufe
Air to ground quantum key distribution
Joint matched filtering, decoding, and timing synchronization
Accurate Performance Modeling for Distributed Stream Processing: Methods for Performance Benchmarking and Zero-shot Parallelism Tuning in Distributed and Heterogeneous Environments
Entwicklung eines Btx-Informationssystems für die computerunterstützte Ernährungsberatung
Sicherheitsmanagement in offenen Kommunikationssystemen: Sicherheitsarchitektur für eine electronic Mall
A Malware Detection System For Android
Opportunities for Novel Interactions with Virtual Realities
Algorithmic problems in Brunn-Minkowski theory
Beiträge zum Traveling Salesman Problem
Spannungsberechnung an einer Welle-Nabe-Passfederverbindung mittels Finiter Elemente
Modellierung der Lesesignale bei magnetischer Vertikalaufzeichnung mit Volterra-Reihen
Automatic Characterization of Performance Dynamics with Periscope
Constrained Planarity Algorithms in Theory and Practice
Analogrechner mit optoelektronischem, automatischem Programmierfeld
Systementwurf und Entwicklung von Bildschirmarbeitsplätzen zur Verarbeitung und Präsentation meteorologischer Informationen für die operative Arbeit im Meteorologischen Dienst der DDR
Zustandssicherungs- und Wiederanlaufverfahren für verteilte Netzbetriebssysteme mit dynamischer Redundanz
Computerfrauen: welchen Anteil haben Frauen an Computergeschichte u. -arbeit?
System zur Steuerung und Datenverwaltung für die Recompilation von Testersoftware
Clusteranalyseverfahren für hochdimensionale binäre Daten: Algorithmen und Performanz für Big Data Anwendungen
Coded caching over realistic and scalable wireless networks
Untersuchung neuer Verfahren zur Pitch-Detektion von Sprachsignalen
Integrationsgerechter Entwurf analoger Fuzzy-Regler
Ermittlung effektiver Möglichkeiten zur Intensivierung des Produktionsprozesses durch Weiterentwicklung und Anwendung der Komplexmethode sowie deren Einordnung in die Leitung und Planung der bezirksgeleiteten Industrie
Multi-Criteria Optimization of System Integration Testing
Charakteristika von und Wechselwirkungen zwischen Schutzzielen sowie deren Umsetzung in einer Benutzungsschnittstelle
Beitrag zur Ermittlung des ökonomisch günstigen Rekonstruktionszeitpunktes von Wasserversorgungsleitungen unter Nutzung des Datenbankteils Wasserversorgungsnetze (DBT WVN)
Bedienarme Produktion in der Buchbinderei
Resource Allocation for Software Pipelines in Many-core Systems
Konzepte für die interaktive Entwicklung und Benutzung von Anwendersystemen
A capability-based context modelling method to enhance digital service flexibility
Peer-to-Peer-Technologie in der Automatisierung
Rekursive Berechnung hierarchischer Netze mit dem Mikrorechner
Untersuchung einer allgemeinen, linearen, gemischt-ganzzahligen O-1-Optimierungsaufgabe mit einer Nebenbedingung
Scalable graph partitioning for distributed graph processing
Routing and Stabbing
Simulationsumgebung zur Auslegung der Bewegungsdynamik des mechatronischen Systems Werkzeugmaschine
Selbstorganisation virtueller Geräte für das Lastmanagement von Kleinverbrauchern
Reliable transmission of scalable video
Konzeption, Konfiguration und Einsatzmöglichkeiten digitaler Rechner in der Photogrammetrie
Sensor-based human activity recognition: Overcoming issues in a real world setting
High-level Graphical Programming for Big Data Applications
Rechnerunterstützung bei der variablen Produktgestaltung, -dimensionierung und Integration von NC-Systemen
Behavior-based Malware Detection with Quantitative Data Flow Analysis
Systemeigenschaft Robustheit: ein Ansatz zur Bewertung und Maximierung von Robustheit eingebetteter Systeme
Label ranking with probabilistic models
Vergleichende Untersuchungen über die Zuverlässigkeit der computerunterstützten Thrombozytengrössenanalyse im antikoagulierten Menschen- und Tierblut
Algorithmen der Sprachverarbeitung zur Entwicklung eines vollsynthetischen Sprachausgabesystems
Beitrag zur Optimierung der operativen Instandsetzung im Komplex arbeitender landtechnischer Arbeitsmittel der Pflanzenproduktion
Theorie neuronaler Assoziativspeicher: lokales Lernen und iteratives Retrieval von Information
Techniques for Efficient Performance Analysis and Memory Optimization in Mapping Dataflow Models of Computation onto Embedded Systems
Ein Beitrag zur Produktdatenmodellierung einer abgegrenzten Objektklasse
Robust control of systems subject to hard constraints
Vollautomatische Erkennung von Schriftzeichen in gedrucktem Schriftgut: Erhöhung der Zuverlässigkeit durch Kombination von unsicherem Wissen aus konkurrierenden Quellen
Secure remote service execution for web media streaming
Effizientes Kostenmanagement: EDV-gestützte Datenanalyse und -interpretation durch den Controlling-Leitstand
Application Coordination in Pervasive Systems
Physikalische Grundlagen fotodielektrischer Bilderzeugungsprozesse
Komponententechnik für Entwicklung und Evolution von Anwendungen im World Wide Web
Analyse von Alarmdaten in Telekommunikationsnetzen: Identifikation und Klassifikation von Alarmmustern
Multiple permitting and bounded turing reducibilities
Wissensbasierte Auswahl und Auslegung von Extraktoren
Towards Collaborative Internet Content Delivery
Aggregation of binary relations: algorithmic and polyhedral investigations
Pattern Discovery in Time Series
Lösung binärer Differentialgleichungen und ihre Anwendung auf binäre Systeme
Untersuchung betrieblicher Informationssysteme unter Verwendung automatentheoretischer Instrumentarien
Bearbeitung von forensisch-toxikologischen Fällen auf dem Personalcomputer: Auswertung von 500 Fällen d. Jahre 1983/84
Effiziente simulationsbasierte Optimierung farbiger stochastischer Petri-Netze
Investigation of Wiener filter techniques for in-loop filtering in video coding
Formal Verification of Algorithms for Automata and Model Checking
Untersuchung zum Beweiswert der DNA-Multilocus-Analyse am Beispiel der Sonde MZ 1.3 im Abstammungsgutachten sowie über die Verwendbarkeit des EDV-gestützten Auswertungssystems DNAVIEW für DNA-Fragmente
Layout synthesis of analog integrated circuits
Computergestützte Informationsbeschaffung und -verwaltung aus wissenschaftlichen Dokumenten = Computer-aided information retrieval and management system from scientific documents
Schranken für die durchschnittliche Laufzeit des Simplexverfahrens und von Innere-Punkte-Verfahren
Adaptive Data Quality Monitoring with a Focus on the Completeness of Timestamped Data
Vermittlung und Management von Diensten in offenen Systemen
Beiträge zur 2D-Filterung unter Berücksichtigung eines speziellen Prozessors
Reconstruction, Analysis, and Editing of dynamically deforming 3D-Surfaces
Methodische Prinzipien für die rechnergestützte Erfassung, Speicherung, Verarbeitung und Ausgabe von Flächennutzungsdaten im Rahmen eines geographischen Informationssystems
Ermittlung aufgabenbezogener Integrationsbedarfe zur Ableitung von Integrationsarchitekturen für Informationssysteme
Finite-Elemente-Methode-Basismodellbildung in einer durchgängigen CAD-Lösung
Vergleichende Bewertung statischer Tiefenkriterien in computergenerierten Aussensichtdarstellungen
Modellierung von Akkumulations- und Kreislaufprozessen in Waldbeständen: (e. Beitr. zur biometr.-analyt. Behandlung von kausalen Modellansätzen)
Freiheitsräume und -sicherung im digitalen Staat - Herausforderungen durch aktuelle Innovationen
Ein Beschreibungsverfahren zum Entwurf digitaler Steuerungen für nebenläufige Vorgänge
Modeling of dynamic systems with Petri nets and fuzzy logic
Measuring information processing in neural data: The application of transfer entropy in neuroscience
Privacy and Verifiability in Decentralized Electronic Voting Systems
Spezifikation und HLL-Implementierung von Multitaskbetriebssystemen
Beitrag zum Entwurf selbstprüfender digitaler Systeme
Highly parallel ray based wave propagation modeling and improved accuracy concepts for radiation and scattering problems involving composite metallic and dielectric objects
Gate stack engineering for emerging polarization based non-volatile memories
Qualitätssteigernde Maßnahmen bei der Entwicklung von Software-Systemen im Bauwesen durch Objektrelationen
Datenbank-orientiertes Rechnungswesen: Grundzüge e. EDV-gestützten Realisierung d. Einzelkosten- u. Deckungsbeitragsrechnung
Software-Entwicklung zur Prozessierung und Analyse multidimensionaler NMR-Spektren
Understanding and Mitigating Security, Privacy, and Ethical Risks in Generative Artificial Intelligence
Generic and adaptive metadata management framework for scientific data repositories
Semi-Weakly Supervised Learning for Label-efficient Semantic Segmentation in Expert-driven Domains
Zur temporalen Logik von Bäumen
Methods and applications of uncertainty quantification for object recognition
Supercomputer simulations of transmon quantum computers
LiDAR Domain Adaptation - Automotive 3D Scene Understanding
Experimentelle Untersuchungen zur Präzision des Compugnath-Systems
Einstellung von Falschdraht-Texturiermaschinen mit Hilfe der Evolutionsstrategie und neuronaler Netze
Ein dreidimensionales numerisches Transportmodell für atmosphärische Spurenstoffe
Simulation des Herstellungsprozesses präzisionsgeschmiedeter Zahnräder mit der Finite-Elemente-Methode
A flexible metaheuristic framework for solving rich vehicle routing problems: Formulierung, Implementierung und Anwendung eines kognitionsbasierten Simulationsmodells
Ein Beitrag zur Deadlockanalyse auf der Grundlage einer sprachlich geführten Programmiermethodik
Strategies for alleviating overdraw effects in information visualization
Softwaregestütztes Anforderungsmanagement zur Auswahl von ERP-Systemen
Entwicklung eines flexiblen Kraftwerksprogramms S.O.KR.A.T.E.S. mit simultanem Lösungsverfahren in Zusammenhang mit der Untersuchung moderner Kraftwerkskonzepte
Domain- and Quality-aware Requirements Engineering for Law-compliant Systems
Ein Expertensystem zur betriebswirtschaftlichen Anwendung der Komplexmethode
World Modeling for Intelligent Autonomous Systems
Ein durchgängiges Architekturkonzept für Anwendungs- und Betriebssysteme: die Grundlage für Entwurf und Implementierung des CHEOPS-Kerns