yusuke1997/dblp-id-title huggingface dataset:
On the Usability of Coverage-Based Fuzzing of C/C++ Programs
Inferring Proteolytic Processes from Mass Spectrometry Time Series Data
Ein neues Konzept zur automatisierten Bewertung von Fertigkeiten in der minimal invasiven Chirurgie für Virtual-Reality-Simulatoren in Grid-Umgebungen
Über die Vermeidbarkeit spezieller Muster in unendlichen Wörtern
Contextualized recommendations for the socio-semantic web
Animal-Farm: an extensible framework for algorithm visualization
Zum Aufbau und zur softwaremässigen Gestaltung von Arbeitsplatzcomputern im Krankenhaus unter Berücksichtigung der Nutzer- und Bedienerakzeptanz
Modellbasiertes Management von Anwendungen
Konzeption, Realisierung und Einsatz eines schnellen Datenerfassungs- und Datenverarbeitungssystems in der optischen Kurzzeitspektroskopie
Ähnlichteilbasierte Auslegung von Stadienfolgen in der Warmmassivumformung
Robust Generation of Digital Twins Using Event-Based and RGB Cameras for Intelligent Transportation Systems
Selected topics on balanced assignment problems
Modellierung von Transportstationen in einem Rechnernetz durch geschlossene Bedienungsnetze
Flexible Fertigungssysteme: Belegung, Steuerung, Datenorganisation
Towards interactive desk workspaces
Generic sensor data fusion in information space and a new approach to processing dense sensor data
Efficient Capture of Multispectral Reflectance of Complex Surfaces
"Plattformgerichte" und Grundrechte: die Grundrechtsbindung von quasi-judikativen Plattformräten und ihr Beitrag zum Schutz der Nutzerinnen und Nutzer am Beispiel von Metas Oversight Board
Probabilistic Methods for Network Security. From Analysis to Response
Einsatzmöglichkeiten von Expertensystemen in integrierten Systemen der Produktionsplanung und -steuerung (PPS)
"I-Light" - ein webbasiertes Lernsystem zum Entwerfen mit Licht: Konzipierung und Realisierung eines Prototypen
Datenbankentwurf auf der Grundlage von Systembeziehungen
Numerische Behandlung instationärer Transportvorgänge
Skalierbare und zuverlässige Multicast-Kommunikation im Internet
Plattform zur kollaborativen Simulation und Visualisierung von Szenarien des Integrative Computational Materials Engineering
Eine Architektur zur Unterstützung von Awareness für die Kooperation in web-basierten Lernumgebungen
Tree automata with constraints on infinite trees
Virtuelle Wissensräume: ein Ansatz für die kooperative Wissensorganisation
Symbol, Geist und Computer: der Symbolbegriff in Philosophie und Kognitionswissenschaft und seine Beziehung zur Erforschung des Geistes
From microscopic dynamics to ensemble behavior in spiking neural networks
Schnelle hierarchische Entwurfsregelprüfung von Masken-Layouts integrierter Schaltungen
Interaction Analysis in Smart Work Environments through Fuzzy Temporal Logic
The nearest neighbor rule: an empirical study of its methodological aspects
Parametric methods for image processing using active contours with topology changes
Unidirectional links in wireless sensor networks: problems and solutions for MAC- and routing layer
Capacity results for classes of wiretap channels
Navigation in the Augmented Reality Head-up Display: Guidelines for the Development of AR HUD Navigation Concepts
Zustandsabhängige Sicherheitsspezifikationen und ihre Durchsetzung
Beiträge zur Applikation des Einchip-Mikrorechners U 882 im wissenschaftlichen Gerätebau am Beispiel eines einfachen Vielkanalanalysators
Smart Security: konzeptionelle Ansätze für intelligent vernetzte Sicherheitslösungen und eine urbane Sicherheitsstrategie 4.0
Calculation of strain from a single Moiré image by filtering and normalizing an interferogram
Multi-frame motion compensated prediction for video transmission
Crossings, curves, and constraints in graph drawing
Wireless embedded systems: time, location, and applications
Vertriebsinformationssysteme und Vertriebserfolg
Development and Validation of a Mobile Gait Analysis System Providing Clinically Relevant Target Parameters in Parkinson's Disease
Personal and Password-Based Cryptography
Ein Beitrag zur Untersuchung des Einflusses von CAD- bzw. CAD/CAM-Systemen auf Entwicklungstendenzen der Arbeit und innerbetriebliche arbeitsteilige Prozesse in der wissenschaftlich-technischen Produktionvorbereitung: (unter besonderer Berücksichtigung der konstruktiven Bereiche)
Kryptographische Protokolle mit einfachen Hardwarebausteinen als Vertrauensanker - mit unterschiedlichen Vertrauensmodellen am Beispiel von kryptographischen Wahlverfahren, sicheren Bezahlsystemen und Softwareschutzverfahren
Reasoning about processes and continuous change: analysis and implementation
Asynchronous tracking and description of research data changes in distributed systems with interoperable metadata
Formale Methoden zur Spezifizierung automatischer Parallelisierung
Minimum cost multicuts for image and motion segmentation
Neuartige Darstellung diskreter Volterra-Reihen zur Beschreibung nichtlinearer zeitdiskreter Systeme und deren Anwendungsmöglichkeiten für die Modellierung, Entzerrung und Codierung
Über die Wahrscheinlichkeit der Maskierung bestimmter Fehler beim Schaltkreistest durch Signaturanalyse
Usage-driven maintenance of knowledge organization systems
Anwendungsspezifische Erweiterung von Konstruktionssystemen für geometrisch-gestalterische Tätigkeiten unter Berücksichtigung einer systemneutralen Datenhaltung
Modellierung komplexer Systeme durch Computersimulation
Konzeption, Umsetzung und Evaluation einer hybriden Cluster- und Cloud-Infrastruktur für Anwendungen aus dem Bereich des High-Performance- und High-Throughput-Computing
Parallele Hardware für Backpropagation-Netze auf der Basis stochastischer Rechenwerke
Robust part-of-speech tagging of social media text
Real-time guarantees, dependability and self-configuration in future avionic networks
The role of visual grounding in visual question answering generalization and shortcut learning
Ein computergestütztes Lehrprogramm zur Einführung in das Gebiet "Nichtlineare Schwingungen"
The neural coding of properties shared by faces, bodies and objects
Formal model refinement: from specification to implementation
Optimization, application, and usability of algorithmic skeletons for parallel programming on multi-core and multi-GPU clusters
Topology-Based Characterization and Visual Analysis of Feature Evolution in Large-Scale Simulations
Laufzeittestsysteme für höhere Programmiersprachen und Diskussion einer Implementation an Hand von COBOL
Anwendbarkeit abstrakter Simulationsmodelle auf unterschiedlich komplexe Prozessorarchitekturen
Software development and correction estimation in the automotive domain
Active learning with uncertain annotators: towards dedicated collaborative interactive learning
Analytische und technische Untersuchungen zur Synthese arabischer Sprachsignale
High Performance Computing zur technischen Finanzmarktanalyse
Rechnerunterstützter Entwurf statisch sequentieller Digitalschaltungen
Aufbau einer medizinischen Faktenbank für Auskünfte, einschliesslich Diagnostikunterstützung, für das Gebiet Gastroenterologie - Gebiete Leber II und systemische Erkrankungen mit abdomineller Symptomatik
Symmetry in 3D shapes - analysis and applications to model synthesis
Fehlerbehandlung in flexiblen Fertigungssystemen: Einführung für Hersteller und Anwender
Untersuchung und Entwicklung von hardwareorientierten arithmetischen Algorithmen und Architekturen
Multidimensionale Guttman-Skalierung
Conditional safety certification for open adaptive systems
Privatsphäre, gibt's da nicht 'ne App für? - Verbesserung von Privatsphäre-relevantem Verhalten durch bessere Informationen
Identification of nodes and Networks: robustness, immunization, and explosive synchronization
Listenverarbeitung chemischer Graphen: Entwicklung eines Softwaresystemes und Anwendung zur Untersuchung von Struktur-Eigenschafts-Beziehungen für die Gaschromatographie
Entwicklung und Evaluation eines computerassistierten Darmlängenmesssystems für die quantitative Laparoskopie in der minimal invasiven Chirurgie
Phänomene des Verhandlungsverhaltens im 5-Personen-Apex-Spiel: eine systematische Analyse der Auswirkung unterschiedlicher Kommunikationsbedingungen auf Verhandlungsablauf und Endergebnisse bei Kommunikation über Terminals
Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis
Reliable on-line machine learning for regression tasks in presence of uncertainties
Large-scale multiple testing under arbitrary covariance dependency and topological data analysis for mass spectrometry imaging applications
From image data to semantic insights: enhancing construction visual analytics through knowledge formalization and utilization
Workshop-based Tailoring of Interdisciplinary Product Development Processes by Means of Structural Analysis
Zur rechnergestützten Projektierung von Stromwandlerkaskaden und Differentialschutzeinrichtungen unter Berücksichtigung von Ausgleichsvorgängen im Elektroenergieversorgungsnetz
Ein Rahmenwerk zur interaktiven Klassifikation hochauflösender optischer Satellitenbilder mittels graphenbasierter Bildmodellierung
Effektive Methoden der Zuverlässigkeitsanalyse stochastischer Netzstrukturen
Probabilistisch-logische Inferenz relationaler Situationsbeschreibungen aus Verkehrsbildfolgen
Combining visual recognition and computational linguistics : linguistic knowledge for visual recognition and natural language descriptions of visual content
Tightly-secure authenticated key exchange
Beitrag zur Speicherung, Recherche und Verarbeitung von ökonomischen und technologischen Fakten der Grundstoffindustrien aus dem Weltinformationsaufkommen zur Effektivitätssteigerung der Forschung und zur Unterstützung strategischer Entscheidungen in der Volkswirtschaft der DDR
Effiziente und korrekte Übersetzung strikter und applikativer Programmiersprachen
Design and Development of a Secure, Privacy Preserving, and Scalable Blockchain Framework
Modellierung und Überwachung des Transportes gelöster Stoffe in Tidegewässern
Modell eines Simulators für verteilte Datenbanksysteme
Modellierung und Verifikation von Eisenbahn-Infrastrukturen mit semantischen Technologien
Provision of multi-camera footage for professional production and consumer environments
Erfahrungsgeleitete Planung von Laseranlagen
Biocomputer und künstliche Intelligenz: Betrachtungen zur Computertechnik von Morgen
Ein Beitrag zur Konzeption integrativer Informationssysteme
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Ermittlung von bildinhaltsrelevanter Information für adaptive Rasterverfahren
Globally Optimal Solutions for Unit-Norm Constrained Computer Vision Problems
Eine fortgeschrittene Bedienschnittstelle für einen semiautonomen mobilen Serviceroboter
Syntheseplanung in der Peptidchemie mit Hilfe der elektronischen Datenverarbeitung
A Framework for Generic and Energy Efficient Context Recognition for Personal Mobile Devices
Generierung von Texten aus semantischen Strukturen im Prozeß der maschinellen Übersetzung
Rekonfigurierbare Routerhardware für adaptive Dienstplattformen
Wordspotting techniques using a multilayer perceptron combined with dynamic time warping and hidden Markov models
Mathematisches Modell zur effektiven Informationsrepräsentation kausaler medizinischer Zusammenhänge und seine Anwendung in einem computerunterstützten neurologischen Therapieentscheidungsverfahren
GPU Data Structures and Code Generation for Modeling, Simulation, and Visualization
Dokumentlieferung im Zeitalter elektronischen Publizierens
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
LiveShift: A Time-Shifted P2P Multimedia Streaming Approach
Kostenorientierte Produktionssteuerung: Anwendung der Prozesskostenrechnung in einem datenbankgestützten Modell für flexibel automatisierte Produktionssysteme
Algorithms for sparse convolution and sublinear edit distance
Situationsorientierte Bearbeitungsmodellierung zur NC-Programmierung
Active 3D Reconstruction for Mobile Robots
Rechnergestützte Analyse der Statik und Dynamik von Panzergehäusen
Predictive Modeling of Relational Data
Informations- und berechnungstheoretische Barrieren beim algorithmischen Lernen
Computing platforms for parallel molecular dynamics
Kognitive Dynamik: dynamische kognitive Systeme am Beispiel der Textdeixis
Ein mathematisches Modell der Wechselwirkung zwischen Membrantransport und Energiestoffwechsel des Erythrozyten unter besonderer Berücksichtigung von Blutkonservierungsbedingungen
Ein PC-basiertes Off-line-Programmiersystem mit schneller Kollisionserkennung
Advanced Scheduling Techniques for Mixed-Criticality Systems
Online monitoring in software DSM systems
Performance of time-critical embedded systems under the influence of errors and error handling protocols
Automated Machine Learning - Bayesian Optimization, Meta-Learning & Applications
Analyse von Klammergrammatiken
Secure and Reliable Remote Programming in Wireless Sensor Networks
Abbildung von XML-Dokumenten auf SQL:2003-konforme Datentypen
Die modellgestützte Entwicklung intelligenter tutorieller Systeme
Der Einsatz von Legal Tech in Compliance-Management-Systemen
Messung von Ausgeprägtheitsfunktionen als Mittel zur Bestimmung der Wirksamkeit akustischer Merkmale bei der Sprachwahrnehmung
Code Coverage Test Case Prioritization for Regression Testing Using Non-Deterministic Approach
Human motion analysis based on organic computing principles
On Leveraging Statistical and Relational Information for the Representation and Recognition of Complex Human Activities
Rechnergestützte Projektierung von Automatisierungsanlagen am Beispiel der Verdrahtungsanlagen
Multi-view Representation Learning for Unifying Languages, Knowledge and Vision
Anforderungen an integrierte Telekooperationssysteme zur Steigerung der Effektivität und Effizienz verteilter Zusammenarbeit
Contributions to turbo automatic speech recognition
Cryptographic Locks for Scriptless Cryptocurrency Payments
One Computer Scientist's (Deep) Superior Colliculus: Modeling, understanding, and learning from a multisensory midbrain structure
An extended 3D morphable face model with applications in experimental psychology
A practically relevant approach to system level fault diagnosis
Konzeption und Umsetzung eines Leitfadens zum industriellen Einsatz von Data-Mining
Höhere Petrinetze als Grundlage für Systemspezifikationen
Efficient algorithms for production scheduling
Learning probabilistic subsequential transducers
Sichere Kommunikation im Internet: Vertraulichkeit, Integrität und Authentizität in einem anonymen Netzwerk
Stochastische Prozessalgebren: Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme
Comparative Quality Estimation for Machine Translation. An Application of Artificial Intelligence on Language Technology using Machine Learning of Human Preferences
Einsatz von Fehlertoleranztechniken in VLSI-Schaltkreisen der digitalen Signalverarbeitung
Augmented Reality in der Produktion
Disentangling the model selection tasks for improved explainability in a rule-based machine learning system
A self-organising multi-agent knowledge base
Action-related places for mobile manipulation
Datenbearbeitung und 3D-Modellierung des Schwerefeldes am Beispiel des Salzstocks Geesthacht-Hohenhorn
Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen
Parallele Algorithmen zur Lösung schwachbesetzter polynominaler Gleichungssysteme
Approximate analysis methods for stochastic process algebras
Verbesserung der Performance von virtuellen Sensoren in totzeitbehafteten Prozessen
Laufzeitmodell und Protokollsprache zur Erhöhung der Einsatzfähigkeit Sicherer Zwei-Parteien-Berechnung
Higher-order constraint logic programming
Reinforcement Learning for Machine Translation: from Simulations to Real-World Applications
Analysis of recombination in molecular sequence data
Implementing support for software processes in a process centered software engineering environment
Cryptographic Primitives that Resist Backdooring and Subversion
Entscheidungsmodell zur Bewertung von Lösungskonzepten für Corporate Networks im Rahmen der Planung, Realisierung und Einführung von Corporate Networks
Untersuchungen zum selektiven Backtracking in zielorientierten Kalkülen des automatischen Theorembeweisens
Nichtlineare Systeme und deren Anwendung bei der Verarbeitung bewegter Bilder in neuronalen Systemen
Integrationsprozesse bei der Anwendung moderner Informationstechnologien in der sozialistischen Gesellschaft: Aspekte e. wissenschaftstheoret. Analyse u. wissenschaftsorganisator. Schlussfolgerungen
Ursachen- und wirkungsorientierte Analyse gesammelter Fahrprofile zur taktischen Fahrtoptimierung
TEE-based designs for network gateways, web authentication, and VM introspection
Qualitative Modellierung, Simulation und operative Steuerung dynamischer Systeme
Einsatz computergestützter Methoden im nachrichtentechnischen Systementwurf, gezeigt an Beispielen aus der Spread-Spectrum-Technik
Designing accessible user interfaces for all by means of adaptive systems
Geometric graphs: matching, similarity, and indexing
Einsatz von Risikomanagement bei der Steuerung von Grid-Systemen: eine Analyse von Versicherungen anhand einer simulierten Grid-Ökonomie
Compressed Sensing based Image Acquisition Methodologies for Constrained Autonomous Exploration Systems with Single Pixel Cameras
Documenting Bias in Data through Ontologies
Investigations of speech and other communication-relevant behaviors under non-experimental, real-world conditions using ECoG
Energy-aware design of hardware and software for ultra-low-power systems
Die Auswirkungen neuer Informations- und Kommunikationstechniken auf mittelständische Unternehmen
Model-based testing of dynamic component systems
Bewertungsmechanismen für Reaktionen und Anwendung neuronaler Netze zur Reaktionsvorhersage
Ein Beitrag zum Entwurf fehlertoleranter Parallelprozessorsysteme
Entwurf und Implementierung von Wissensquellen für die Textplanung: eine modulare Architektur
Responsivität: ein konsensbasierter Ansatz
Das Verhältnis der modernen Systemforschung und der Kategorien der materialistischen Dialektik im Kontext der wissenschaftlich-technischen Revolution - dargestellt an der wissenschaftstheoretischen Verallgemeinerung der organismischen Denkweise durch L. v. Bertalanffy und der Analyse der Kategorien der Dialektik durch K. Marx
Akzeptanz von Enterprise Mobility: empirische Analyse und praxeologische Implikationen
Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme
Visual Transfer Learning using Knowledge Graphs
Computersimulation von Mustererkennungsmechanismen in der Hör- und Vibrationsbahn von Laubheuschrecken durch ein Netz von physiologisch angepassten Modellneuronen
Objection - eine Entwicklungsumgebung für anwendungsspezifische widgets
Restaurationslinien in verteilten Rechnersystemen
DNN-based artificial bandwidth extension - enhancement and instrumental assessment of speech quality
AutoArx: Digital Architecture Twins of Living Software Systems
Abgestimmter Computereinsatz im Physikunterricht der 11. Jahrgangsstufe: eine Chance für effizienteres Physiklernen
Abstract Execution: Automatically Proving Infinitely Many Programs
Emotions and Performance in Virtual Worlds. An empirical study in the presence of missing data
Verbal Assistance with Virtual Tactile Maps: a Multi-Modal Interface for the Non-Visual Acquisition of Spatial Knowledge
Berechnung des dreidimensionalen Strömungsfeldes im Mündungsgebiet eines Seezuflusses mit der Methode der finiten Elemente
Topologieerhaltung in selbstorganisierenden neuronalen Merkmalskarten
Shortest path speed up techniques : lower bounds and applications
Efficient motion planning for mobile manipulation in planetary exploration: Planificación Eficiente de Movimientos para Manipulación Móvil en Exploración Planetaria
Entwicklung eines multivariablen, graphischen Displays zur Überwachung eines chemischen Reaktors
Interactive visual analysis of vector fields
Unsupervised learning of invariant object representations: a probabilistic generative modeling approach
Zum Stabilitätsverhalten dezentraler Regelungssysteme
Ethernet and IP for automotive E-E-architectures: technology analysis, migration concepts and infrastructure
Teaching Robots With Interactive Reinforcement Learning
Real-Time Preference Analytics on Data Streams
Dynamische Implementierung von ICIx-Anfragen
Lebenswegorientierte Planung technischer Systeme
Effective distant supervision for end-to-end knowledge base population systems
Improving statistical machine translation with linguistic information
Kombinierte Distanzmasse zur Lösung von Standardproblemen der Tourenplanung
Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
Ein Softwarepaket zur vollautomatischen Plazierung von Bauteilen auf Leiterplatten für den industriellen Einsatz
Mehrkanal-Mikrorechner-Regler: Strukturentwurf, Softwareentwicklung, Erprobung
Der Stellenwert der digitalen Schnittbildverfahren Computertomographie und Kernspintomographie für die Beurteilung von Tumoren im Kopf-Hals-Bereich und deren Halslymphknotenmetastasen
TCAD based development of a flash EPROM technology
Feature-based Time Series Analytics
Parallelizing Set Similarity Joins
Quality-centric modular software development in medical imaging research
Zur Signalisierung in zukünftigen multimedialen Kommunikationsnetzen
A holistic Methodology for the Development of Cybertronic Systems in the Context of the Internet of Things
Explainable Artificial Intelligence for Image Segmentation and for Estimation of Optical Aberrations
Relevance Based Radio Resource Management for Machine Learning Units
Die Eingabe musikalischer Information als Teil eines Arbeitsinstrumentes: e. Beitr. zur Computeranwendung in d. Musikwiss
Pfadalgorithmen für Datenbanksysteme: Entwurf, Analyse, Evaluation und Realisation
Intelligente Fahrmanöver sehender autonomer Fahrzeuge in autobahnähnlicher Umgebung
Investigation of the BOLD effect for improved specificity with fast sequences and dedicated hardware
Camera self-health-maintenance by means of sensor artificial intelligence
Ein Vielkernprozessor mit Laufzeitüberwachung zur Separierung unterschiedlich kritischer Anwendungen (A many-core platform with run-time monitoring to support separation of mixed-criticality applications)
Markov decision processes with uncertain parameters
Computersimulationen zur Synthetisierung des muskulär erzeugten menschlichen Gehens unter Verwendung eines biomechanischen Mehrkörpermodells
Visuelle Exploration multidimensionaler Informationsräume
Succinct Arguments: Constructions and Applications
AI-enabled log analysis for improving IT system dependability
Learning 6D Object Pose from Point Clouds
Dünne Gitter und deren Anwendung bei der adaptiven Lösung der dreidimensionalen Poisson-Gleichung
Schranken für die Redundanz des Huffman-Codes
Entwurf und Verifikation modularer Rechenmodelle zur Interpretation von Stabschmelzexperimenten
Conservation and Accuracy in Meshfree Generalized Finite Difference Methods
Relaxationsverfahren in der Mustererkennung: ein allgemeiner Ansatz
Modellbildung und modellgestützte Regelung der Fahrzeuglängsdynamik
Guided Sampling of Illumination for Real-Time Path Tracing
Adaptives Layoutmanagement zur effizienten Informationsdarstellung in graphischen Benutzungsschnittstellen
Automatisierte Mustererkennung in Zeitreihen zur selbstlernenden Leistungsüberwachung von Produktionsanlagen
Dynamic Injection of Scribble Features into Graphical Diagram Editors
Small TCBs of policy-controlled operating systems
Anwendungsgewahre statische Spezialisierung vormals dynamischer Systemaufrufe zur Verbesserung nichtfunktionaler Eigenschaften eingebetteter Echtzeitsysteme
Beitrag zur Anwendung der Theorie der unscharfen Mengen auf ausgewählte Probleme der Elektroenergieversorgung
Automated Security Analysis of Web Application Technologies
Beitrag zur Optimierung von Kommissionierfahrten in Hochregallagergassen mittels neuronaler Netze
Modellierung, Realisierung und Anwendungen der Biologie-nahen Signalverarbeitung
Kommunikationsminimale Algorithmen zur Lösung großer dünnbesetzter linearer Gleichungssysteme auf massiv-parallelen Systemen
Ein Meta-Modell-Konzept zur Analyse von Geschäftsprozessen