yusuke1997/dblp-id-title huggingface dataset:
Embodied Modular Neural Control of Walking in Stick Insects: From Biological Models to Evolutionary Robotics
Berechnungstheorien und Verfahren der Schattierungsanalyse im Kontext einer 3D-Auswertung von Grauwertbildern
Verwendung orthonormaler Funktionen zur Sprachanalyse und Sprachsynthese im Zeitbereich
Verfahren zur rechnerunterstützten Untersuchung zeitlicher Abläufe in Entwurfsspezifikationen
A Reference Model for Integrated Energy and Power Management of HPC Systems
New Compilation Methods for Complex User-Defined Functions
Konzepte für die Echtzeitfähigkeit eines modellbasierten Diagnose-Expertensystems
Reduktion auf adjungierten Datentypen
Optimale Expansionspfade der Unternehmung
High precision swept volume approximation with conservative error bounds
Interaktive Bildschirmexperimente: Technik und Didaktik eines neuartigen Verfahrens zur multimedialen Abbildung physikalischer Experimente
Direct volume rendering methods for needle insertion simulation
PROBAnD: eine Requirements-engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme
Zur Vervollkommnung von Leitungsinformationssystemen unter den Bedingungen der Kopplung moderner dezentraler Informationsverarbeitungstechnik mit leistungsfähigen Grossrechnern
Forensic Data Extraction from Modern File Systems
Verteilte Datenvalidierungsnetzwerke im industriellen Umfeld
BDD-based value analysis for X86 executables
Deep Generative Models for Human-Centered Autonomous Systems: Machine Learning for Enhanced Perception, Prediction, and Planning and Control
Lösen partieller Differentialgleichungen auf der SB-PRAM
Zur Integration von Aspekten der Informatik in die Statistikgrundlagenausbildung für Wirtschaftswissenschaftler
Obere und untere Schranken für Schaltkreise und Verzweigungsprogramme
Kooperative Mobilität in Megastädten
Parallel program design using data space theory
Einsatz rechentechnischer Mittel zur leitergerechten Informationsversorgung: dargestellt für die Problematik der Leitung der Produktionsdurchführung
Segmentierung und Erkennung fliessender Sprache unter Anwendung selbstorganisierender neuronaler Netzwerke in hierarchischer Architektur
Arbeitsplatzrechner und deren Nutzung als Hilfsmittel der Unternehmensführung im Steinkohlenbergbau
Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of Environment Assumptions
Modeling human reasoning: benchmarking, analysis, and improvement
Service-Oriented Architecture (SOA): An Empirical Evaluation of Characteristics, Adoption Determinants, Governance Mechanisms, and Business Impact in the German Service Industry
Verteilte Protokollstapel für drahtlose Sensornetze
Grundlagen zur Entwicklung von Expertensystemen für das Management der Strassenerhaltung
Cellular Automata, from Theory to Applications in Biological Pattern Formation
Grundfragen der Ökonomie der Nutzung der Anwender-Software durch Leitungskader
LAPEX - ein rechnerunterstütztes Verfahren zur Betriebsmittelzuordnung
Effiziente Kommunikation in Parallelrechnerarchitekturen
Effective correctness criteria for real-time requirements
Softwareentwurf und dessen Hilfsmittel für die Automatisierung industrieller Elektroenergiesysteme
Computergestützte Auswahl interkontinentaler Distributionsverfahren
Rechnergestützte Echtzeit-Verarbeitung und Interpretation antenataler Kardiotokogramme
Vergleichende Untersuchungen zu Aufwand und Zeitverhalten bei der Realisierung arithmetischer Operationen auf dualer und dezimaler Basis
Cross-Machine Multi-Phase Advanced Persistent Threat Detection and Investigation via Provenance Analytics
Optimale Gegenstrategien bei Datenverifikations-Tests
A new region matching based approach to computer assisted cartooning
Zur Veränderung der physikalischen Arbeitsweise durch die Verwendung von Computern
Hybrid 3D Reconstruction for Geometry-Based Free Viewpoint Video
Erstellen von Lautelementebibliotheken unter Verwendung von Phonemclustern auf der Grundlage des LPC-Sprachsyntheseverfahrens
Analyzing and Enhancing Routing Protocols for Friend-to-Friend Overlays
Neue Informationstechnologien als Herausforderung für die Pädagogik
Mitigating the imposition of malicious behaviour on code
Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures
Multiclass speech emotion recognition with neural networks: investigations on aspects of input data, multilingual modeling, and data scarcity
Objektorientierte und konventionelle Automatisierungssoftware im Vergleich
Design and Evaluation of the IBL BOC for the ATLAS Experiment at CERN
Dezentralisierung betrieblicher EDV-Systeme
Modellbetrachtungen zu nichtlinearen elektrischen Leitungen
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
ModOS - Modular Operating Systems for Large Scale and Distributed Infrastructures
Definitionen in Wörterbuch und Text: zur manuellen Annotation, korpusgestützten Analyse und automatischen Extraktion definitorischer Textsegmente im Kontext der computergestützten Lexikographie
Strategische Erfolgsfaktoren im Software-Marketing: ein Konzept zur Erfassung und Gewichtung strategischer Erfolgsfaktoren mit Hilfe quantitativer Verfahren
Mathematical modeling of proliferation signaling in disease and regeneration
Self-supervised Face Representation Learning
Einfluss von Streckenbeeinflussungsanlagen auf die Kapazität von Autobahnabschnitten sowie die Stabilität des Verkehrsflusses
Benutzerverhalten beim Einsatz automatisierter betrieblicher Informationssysteme
Relational concept analysis: semantic structures in dictionaries and lexical databases
Advances in Reliably Evaluating and Improving Adversarial Robustness
Opinion Mining im Web 2.0: Ansätze, Methoden, Vorgehensmodell
Simplification and reduction for automated theorem proving
Design and development of gamification as an educational support system for digital construction: enhancing learning and exploring the potential of digital twin integration
Bottom-up earley deduction for preference-driven natural language processing
Plugging in trust and privacy: three systems to improve widely used ecosystems
Ein Verfahren zum Nachweis des anforderungsgemässen Zeitverhaltens von Rechnersystemen mit Sicherheitsverantwortung
Object-aware process management
Robuste parameteradaptive Regelungen
Memory deduplication side-channel attacks to detect applications in co-resident virtual machines and defence mechanisms
Interoperability of distributed checkpointing and debugging tools
Beitrag zur fahrzeugfreien Entwicklung der indirekten Reifendruckkontrollsysteme
Zum Einfluss der Interaktion von Nutzer-, Aufgaben- und Systemmerkmalen auf die Benutzbarkeit von Softwaresystemen
Mathematische Analyse und näherungsweise Lösung eines verallgemeinerten Matroidproblems
Konzeption und Entwicklung eines prozeßorientierten CAD-Systems für die Bekleidungskonstruktion
On decoding of spatially coupled LDPC codes under latency constraints
Modelling Human Uncertainty in Predictive Data Mining: Development of a Neuro-Stochastic Model to Describe Unreliable User Feedback and its Impact on User-Adaptive Information Systems
Flexible Werkstattsteuerung mit objektorientierten Softwarestrukturen
Graphoidale Netzwerke
Algorithm Engineering for some Complex Practise Problems: Exact Algorithms, Heuristics and Hybrid Evolutionary Algorithms
Modellierung und vektoroptimale Steuerung von Verfahren der Erdölverarbeitung
Unternehmungsplanung in Softwarehäusern: Entwurf und Weiterentwicklung eines Bezugsrahmens auf der Basis empirischer Explorationen in Softwarehäusern in der Bundesrepublik Deutschland
Story Driven Web Applications
Efficient and Safe Integration of User-Defined Operators into Modern Database Systems
Fundierung der Konstruktion agiler Methoden: Anpassung, Instanziierung und Evaluation der Methode PiK-AS
Reusability evaluation of component-based embedded automative software systems
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Erklärbare Künstliche Intelligenz - Steigerung der Nachvollziehbarkeit überwachter maschineller Lernverfahren
Modular timing analysis of component-based real-time embedded systems
Automated verification of system requirements and software specifications
Struktur- und funktionsäquivalente Aufwärtsübersetzung von Maschinenprogrammen auf der Basis ihrer semantischen Analyse
Individualisiertes Fremdsprachenlernen mit dem Computer auf der Basis objektiver Sprachtests
Kamerabasierte Egomotion-Bestimmung mit natürlichen Merkmalen zur Unterstützung von Augmented-Reality-Systemen
Modularisierung als Grundkonzept zur Entwicklung systemunterstützter Programmierumgebungen für parallele Regelprogramme
Graphische Spezifikationen: ein Graphik-adäquater, objektzentrierter Kalkül zur Entwicklung korrekter Programme
Dynamisch verteilte Wörterbücher
Einbeziehung der Optimierung unter Verwendung der Informationstechnik zur Ausgestaltung der Ökonomielinie im polytechnischen Unterricht der Klassen 7 bis 10
Ein systematischer Zugang zur hardwarenahen Programmierung in höheren Programmiersprachen
Künstliche neuronale Netze zur Identifizierung von Bakterien auf Basis der FT-IR-Spektroskopie
Verwaltung von Kommunikationspuffern in Mikrorechnerverbundsystemen
Analyse und Förderung ausgewählter psychischer Voraussetzungen für das Aufgabenlösen/Programmieren durch Schüler
Verbesserung des Echtzeitverhaltens von Mehrrechnersystemen durch Prozessmigration
Independent component analysis of biomedical signals: modern data analysis techniques can assist medical decision making
Using neural networks for detection of anomalous traffic in automation networks
Deep Learning for Environmental Remote Sensing Image Understanding: Analyzing Dust and Anthropogenic Objects Across Varying Scales and Densities
Prozessmanagement für Citizen Developer: Konzeption und Integration eines Geschäftsprozessmanagementsystems für Citizen Developer in ein Generatorsystem für Unternehmensanwendungen
Learning Temporal Properties for Explainability and Verification
Semi-supervised learning for image classification
Konzepte für ein leistungsgesteigertes lokales Kommunikationssystem
A compiler infrastructure for embedded multicore SoCs
Kontrollierte Multicenter-Studie zum Effekt der Computerassistenz bei mahlzeitenbezogener Insulintherapie von Typ-1-Diabetikern
Symbolic on-the-fly analysis of stochastic Petri nets
Wettbewerbspolitik der Systemhersteller in der Datenverarbeitungs-Branche: Ansätze zur Gestaltung der Vertriebspolitik der nicht-IBM-kompatiblen Systemhersteller im Hinblick auf die Öffnung der Systemwelten
Advances in deep active learning and synergies with semi-supervision
Development and Implementation of an Adaptive Human-Machine Interface based on Ear Muscle Signals
Multi-Paradigmensystem OOXSDAR VISIS: ein Beitrag zur Entwicklung von Expertensystemen der zweiten Generation
Entwicklung eines Verfahrens zum Programmtest in der robotergestützten Montage
Entwicklung ökotoxikologischer Prüfverfahren mit Hilfe der Fuzzy-Clusteranalyse
Paralleles konturbasiertes Connected-Component-Labeling für 2D-Bilddaten mit OpenCL und Cuda
Ein heuristisches Baumsuchverfahren der ganzzahligen Programmierung und seine Anwendung zur Erreichbarkeitsanalyse bei Kommunikationsprotokollen
Ein retargierbarer Compiler für anwendungsspezifische Mikrocontroller
Informationstechnologie und Börsensysteme: Analyse und Architektur computerisierter Wertpapiermärkte
Rechnergestützte Verfahren zur Geräuschminderung
Distributed algorithms for modern communication networks
Development of seagrass monitoring techniques using remote sensing data
Towards an embedded board-level tester: study of a configurable test processor
Ein Modellierungsansatz für die Umgestaltung von Anwendungslandschaften
Objektgestützte Mehrbildzuordnung
Erzeugung testorientierter Signalbeschreibungen aus ereignisbezogenen Daten
Shape-based Machine Perception of Man-Made Objects on Underwater Sensor Data
Statistische Klassifikationsverfahren bei zeitabhängigen Daten
SCCharts - Language and Interactive Incremental Compilation
Scheduling event-triggered and time-triggered applications with optimal reliability and predictability on networked multi-core chips
Towards an arithmetic for partial computable functionals
Ontology-based representation of abstract optimization models for model formulation and system generation
Real-Time Multi-Fisheye Camera Self-Localization and Egomotion Estimation in Complex Indoor Environments
Rechnerunterstützte Prüfplanung und Prüfmittelauswahl mit multimedialem On-line-Zugriff
Nutzung von Blickbewegungen für die Mensch-Computer-Interaktion mit dynamischen Bildinhalten am Beispiel der Videobildauswertung
Synchronisationsmechanismen in verteilten Objektsystemen
Machine learning for electronic intelligence
Lokalisation und Verfolgung von Personen in Echtzeit unter Verwendung kooperierender 2D/3D-Kameras
Control mechanisms for the procedural generation of visual pattern designs
Überlastscheduling in einem Verbund autonomer Realzeitrechensysteme
Computergestützte Fernröntgenseitenanalyse am Beispiel von Dentofacial Planner und Orthognathic Treatment Planner: eine vergleichende Untersuchung
Integrative Auswertung von Farbe und Textur
Complex network embedding in the hyperbolic space using non-linear unsupervised machine learning techniques
Retrieval-based approaches for tracking and reconstructing human motions
Cryptographic protocols and algorithms for distributed multimedia systems
Generative Adversarial Networks for Time Series Generation and Translation
Essays on asset pricing and machine learning
Mobile augmented reality for human scale interaction with geospatial models: the benefit for industrial applications
Kooperationsmechanismen synchroner Groupwaresysteme: Entwurf, Realisierung und Einsatz eines Werkzeugsatzes für replizierte Softwarekooperation
Modulare und kompositionale Verfikation von zustandsendlichen Systemen
Projektablaufplanung bei komplexer Ablaufstruktur
Agentenbasierte marktliche Koordination von Wertschöpfungsnetzwerken
Compilation, worst case execution times, and schedulability analysis of statecharts models
Incremental model synchronization with precedence-driven triple graph grammars
Spawn & Merge - Eine Programmierabstraktion zur deterministischen Synchronisation verteilter Systeme
Open source software for train control applications and its architectural implications
Autotuning for Automatic Parallelization on Heterogeneous Systems
Optimierte Selbsttestprogramme für Mikroprozessoren
Secure Routing in Intelligent Device-to-Device Communications
On the Security of Lattice-Based Signature Schemes in a Post-Quantum World
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
Orientation analysis in 4D light fields
Vektorielles Rechnen im Information retrieval
Entwurf eines inkohärent-optischen Prozessors zur Bildverarbeitung
Ein Beitrag zur robusten Regelung nichtlinearer Strecken nach dem Sliding-Mode-Prinzip
Computerunterstützte zeitliche und räumliche Simulation forstlicher Systeme an den Beispielen Holzrückeprozess und Materialfluss auf einem Holzhof
SIMEX: eine offene Simulationsumgebung zum rechnergestützten Entwurf mechatronischer Systeme
Microservices to Address the Change Challenges in Socio-Technical Evolutionary-Teal Organizations
Vergleichende Bewertung von Verfahren zur Benutzerauthentikation
Ergonomische Grundlagen für das Raumsehen mit 3D-Anzeigen
Datenflussorientierte Programmierung mit Attributgrammatiken
Compaction of Orthogonal and Hierarchical Graph Drawings Using Constraint Graphs and Minimum Cost Flows
WAMCOT: eine optisch bus-basierte Shared-memory-Architektur mit multithreaded Prozessoren
Beiträge zur Verbesserung der Indoor-Lokalisierung auf der Basis von drahtlosen Technologien
Realisierung der linguistisch-phonetischen Transkription für die Sprachsynthese durch neuronale Netze mit Multilayer-Perceptron-Struktur
Planungs- und Steuerungssystem für die Mikromontage mit Mikrorobotern
Formalisierung natürlichsprachlicher Auswertungsfragen der medizinischen Basisdokumentation der Universitätskliniken in Münster
Skalierbares und robustes Routing auf Internet-ähnlichen Topologien
Partitions-limitierte Lindenmayer-Systeme
Serema: self-organized routing in heterogeneous mobile ad hoc networks
Kooperatives Lernen im Internet: qualitative Analyse einer Community of Practice im Fernstudium
Partitionierung von Fehlerlokalisierungsproblemen mit Algorithmen aus der ganzzahligen linearen Optimierung
Towards Believable Augmented Reality: Combining the Real and Virtual Worlds
Statische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen
A software architecture for next generation routers
Entwurf einer Workstation-Netzkopplung zur Überwindung der Einzelrechnerressourcen bei der Simulation komplexer Schaltungen auf der Gatterebene
Zur Verwendung graphentheoretischer Verfahren bei nichtlinearen Systemen
Ein Beitrag zur Gestaltung lokaler Rechnernetze bei Verwendung von Lichtwellenleitern
Task-oriented specialization techniques for entity retrieval
Fehlertolerante Ausfallursachenerkennung und -beseitigung in Bordrechnersystemen bei beliebigem Fehlverhalten
Computational Limits of Population Protocols: Space Complexity, Robustness and Expressive Power
A Heterogeneous System Architecture for Low-Power Wireless Sensor Nodes in Compute-Intensive Distributed Applications
Künstliche Intelligenz und Rhetorik: kulturwissenschaftliche Untersuchungen der Rhetoriken künstlicher Intelligenz
System-Level Synthesewerkzeuge: von der Theorie zur Anwendung
HyDEEP: transparent combination of measurement and expert data for defect predictions
Thermomechanical modeling of magmatic systems
Architekturen für komponentenbasierte geographische Informationssysteme im Internet
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
Die Entwicklung von Datenbanken für das Produktmodell der ISO-Norm STEP
Fostering Knowledge Exchange Based on Relevant Activities
Dynamisches Verhalten mikromechanischer Strukturen: Finite-Elemente-Simulation zur Entwurfsunterstützung und deren messtechnische Verifikation
Algorithmen für VLSI-Layout
Generative Parametrische Modellierung von Strukturkomponenten für die technische Vererbung: Dissertation
Virtualisierung von Organisationen: strategische Relevanz des Einsatzes von Intra-/Extranet
Building semantics reasoning by using rules based on available geospatial information
Automated Debugging Methodology for FPGA-based Systems
Algorithmen und Datenstrukturen für die Wegesuche im Haltestellennetz eines Bedarfsbussystems
Flächen - Bahnen - Knoten: Geocaching als Praktik der Raumerzeugung
Integrationsgerechte Umsetzung von assoziativen Netzwerken mit verteilter Speicherung
Large-Scale Multilingual Knowledge Extraction, Publishing and Quality Assessment: The case of DBpedia
Reduktionssysteme, formale Sprachen und Automatentheorie
Intraoperative Zielstrukturen in der Minimal Invasiven Chirurgie effizient visuell präsentieren mittels Augmented Reality: eine randomisiert kontrollierte Studie
Programmtestung im interaktiven Betrieb
Modell- und sensorbasierte Bahnplanung für Manipulatoren
Computerlinguistische Methoden in Community-basierten Anwendungen
Apply reverse engineering to analyze integrated safety with cybersecurity on industrial control systems
Requirements Intelligence: On the Analysis of User Feedback
Zur Gestaltung der Benutzerschnittstelle beim Einsatz von Prozessleitsystemen auf Seeschiffen
Rechnergestützte Simulation und Optimierung schneller Datenmodems
Limit laws for random recursive structures and algorithms
Integrating Symbolic Execution, Debugging and Verification
Das Datensystem zur Auswertung der CRISTA-Missionsdaten
Entwicklung eines mathematischen Toleranzmodells zur Integration in (3D-)CAD-Systeme
Möglichkeiten und Grenzen einer Anwendung der Simulationstechnik auf die Bestimmung von Zahlungseingangserwartungen industrieller Unternehmungen: Ergebnisse e. empir. Unters
Automated Optimization of Discrete Event Simulations without Knowing the Model
Detecting domestic objects with ensembles of view-tuned support vector machine cascades trained on Web images
Adaptive Routing in DTN for Public Transport Networking
Die strategische Bedeutung der Informatik für Organisationen: industrieökonomische Grundlagen des strategischen Informatikmanagements
Consumerization: enabling the introduction of IT services for mobile consumer devices
Durchlauforientierte Losgrössenbestimmung
A relevance feedback approach for social network clustering in the context of triangle inequality violations
Feature Based SLAM using High-Noise Low-Cost Automotive Sensors
Der komplexe sphärisch invariante Prozess als Modell für analytische Sprachsignale
Fuzzing with Stochastic Feedback Processes
Warteschlangen mit diskretem Zeitparameter
Einheit der Welt und Einheitswissenschaft: Grundlegung einer allgemeinen Systemtheorie
Probabilistic models for context in social media
Verfahren zur schnellen, digitalen Modellbildung für Inspektions- und Reengineeringprozesse
Aspects of positivity in control theory
Beitrag zur Untersuchung und Implementierung standardgerechter Protokolle für Kommunikationssysteme mit Mini-MAP-Architektur
Addressing the Challenge of Ambiguous Data in Deep Learning: A Strategy for Creating High-quality Image Annotations with Human Reliability and Judgement Enhancement
Ein Beitrag zur rechnergestützten Qualitätssicherung in technologischen Prozessen durch Anwendung von Verfahren der automatischen Klassifikation und Objekterkennung
Verification of software for Contiki-based low-power embedded systems using software model checking
Entwicklung und Erprobung eines Instrumentariums zur Auswahl von rechnergestützten Systemen zur Grobplanung der Produktion
Real-Time Rendering Techniques for Massive 3D Point Clouds
Steuerungsorientierte Robotersimulation
Functional Implications of Synaptic Spike Timing Dependent Plasticity and Anti-Hebbian Membrane Potential Dependent Plasticity
Learning Multilingual Semantic Parsers for Question Answering over Linked Data. A comparison of neural and probabilistic graphical model architectures
Über ein Verfahren zur Lösung spezieller Probleme der optimalen Steuerung von Systemen mit verteilten Parametern
Entwurf von Fuzzy-Reglern mit genetischen Algorithmen
Deduktive Generierung von adaptierten Plänen mit Kontrollstrukturen
Berechnung von Form und Kräften biegeschlaffer, räumlicher Zugsysteme
Acquisition of Spatial Environmental Information from Tactile Displays
Towards Virtualization of Software-Defined Networks: Analysis, Modeling, and Optimization
Systematisches Management inhaltsbezogener Informationen in der Entwicklung von Lernsoftware
Ein Beitrag zur inhaltlich-organisatorischen Gestaltung von Dialogsystemen zur Rationalisierung materialwirtschaftlicher Prozesse und Ableitung konzeptioneller Aussagen zur Methodik der Projektierung von Dialogsystemen
The Adaptive Particle Representation (APR) for Simple and Efficient Adaptive Resolution Processing, Storage and Simulations
Zur Verteilung von nichtsequentiellen Programmen auf Rechnernetze unter Berücksichtigung der Realisierbarkeit
On lightweight analysis of UML and OCL models
Zentralisation und Dezentralisation der computergestützten Informationsverarbeitung in Bankbetrieben
Automatisierte Segmentierung und Volumetrie bispektraler Magnetresonanz-Bilddaten des Gehirns
Towards a Complete Privacy Preserving Machine Learning Pipeline
Objektorientierte Modelle zur interaktiven Strömungssimulation auf Parallelrechnern
Rechnergestützte Untersuchungen zur Optimierung eines Wirbelschichtreaktors zur Verbrennung fester fossiler Brennstoffe
Räumliche Konzepte in Wissens- und Sprachverarbeitung: hybride Verarbeitung von Lokalisierung
Preference-based physician scheduling in hospitals
Integration medizinischer Modelle in elektronische Gesundheitsakten
3D Reconstruction of Plant Architecture by Grammar-based Modeling and Markov Chain Sampling
Towards auto-scaling in the cloud: online resource allocation techniques
Klassifikation durch multivariate Teilung: ein Entscheidungsbaumverfahren mit integrierten Fehlklassifikationskosten
An integrated analog network for image processing
Diskretisierte Lösung elastostatischer Kontaktprobleme mittels eines Verfahrens der linearen Optimierung