yusuke1997/dblp-id-title huggingface dataset:
Entwicklung eines Computerprogramms zum Einsatz in der mykologischen Routinediagnostik und Forschung mit Darstellung von Anwendungsbeispielen zu serologischen und kulturellen Fragestellungen
Untersuchung zur Verspätungsentwicklung von Fernreisezügen auf der Datengrundlage der Rechnerunterstützten Zugüberwachung Frankfurt am Main
Deep reinforcement learning in robotics and dialog systems
Corporate collaboration 2.0 maturity model
Felsbilder Nordafrikas und der Sahara: e. Verfahren zu ihrer systemat. Erfassung u. Auswertung
Institutionelle Datenschutzkontrolle der Europäischen Gemeinschaft: eine Untersuchung über Voraussetzungen, Funktion und Aufbau
Entwurf eines Multisensor-Flächennavigationssystems für die allgemeine Luftfahrt
Community Detection in Hypergraphs
Learning Sparse Data Models via Geometric Optimization with Applications to Image Processing
Informationstheoretische Bewertung und Optimierung von Frage-Antwort-Systemen mit besonderer Berücksichtigung von Spread-Spectrum-Kennungssystemen
Datenerfassung für die Anwendung lernender Algorithmen bei der Herstellung von Blechformteilen
Ontology-Based Architecture Enforcement: Defining and Enforcing Software Architecture as a Concept Language using Ontologies and a Controlled Natural Language
Computer-Vision-basierte Tracking- und Kalibrierungsverfahren für augmented reality
Prototypentwicklung mit Templates in multifunktionalen PC-Werkzeugumgebungen
Modeling of bio-inspired pattern recognition: from V1 models to sensorimotor representations
Neural networks in photofinishing
Presupposing
Textureigenschaften in der digitalen Bildkodierung
Mathematical modelling and hardware support of garbage collection
Zu einigen Aspekten der Vermittlung von Datenpaketen im ISDN
Klassifikation von Schiffssilhouetten auf der Grundlage von korrelativen Algorithmen
Konzeption und Umsetzung der hybriden Industrieroboterprogrammierung
First-order theorem proving modulo equations
Kern und ε-Kern bei allgemeinen Koalitionsspielen
Softwarehilfsmittel zur Programmierung von Multiprozessoren mit begrenzten Nachbarschaften: e. Beitr. zur Konfigurationsverwaltung
Informationssystemgestützte Substitutionsprüfung in der produzierenden Industrie: Anforderungsanalyse, Konzept und Implementierung
Implementation of combinator specifications: notions and proving techniques
Visual Analytics Approaches to Genomic Data Representation: From Molecular Storage to Multidimensional Projection
Hürdenlauf electronic Cash: die Entstehung eines elektronischen kartengestützten Zahlungssystems als sozialer Prozess
Entwicklung und Anwendung eines Vorgehensmodells zur Unterstützung des objektorientierten Softwareentwicklungsprozesses am Beispiel eines CAD-Systems
Die schutzfähige Erfindung und die stimulierungswürdige erfinderische Leistung unter Bedingungen des Einsatzes von Informationsverarbeitungssystemen in Schöpfungsprozessen: erfinder- und patentrechtliche Konsequenzen
Telekommunikation mit Personalcomputer für Hörbehinderte
On the privacy risks of machine learning models
A hybrid flow-based intrusion detection system incorporating uncertainty
Entwicklung eines strukturierten Prozesses des Interaktionsdesigns für natürliche Benutzungsschnittstellen
Exploring the spatio-temporal dynamics of lipid rafts and their role in signal transduction: a modeling and simulation approach
Ein fehlertolerantes Verfahren zur Schiffsklassifikation unter Verwendung eines probabilistischen Modells
Modellierung verbal repräsentierter Geoinformation im Anwendungsbeispiel des Katastrophenmanagements
Visual analytics for production and transportation systems
Modellierung und Simulation der Silizium-Gasphasenepitaxie
Software tools: Automatisierung im software engineering ; eine umfassende Darstellung der Einsatzmöglichkeiten von Software-Entwicklungswerkzeugen
Strukturierung und Datenanalyse mit Hilfe von GIS-Methoden am Beispiel der Zentralanden
Document Meta-Information as Weak Supervision for Machine Translation
A Learning-Based Methodology for Hybrid Application Mapping on Heterogeneous MPSoCs
Bilaterale Kontaktschaltungen: Analyse und Synthese
Active multispectral SWIR imaging for reliable skin detection and face verification
Objekte der Gruppenarbeit: ein Konzept für das Computer aided Team
Efficient Conversion of Scientific Legacy Documents into Semantic Web Resources: using biosystematics as a working example
Debug automation from pre-silicon to post-silicon
Optimierte Software- und Hardware-Strukturen für Constraint-Netze
Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design
Average-case-Analyse spezieller Baum-Parameter
Automatische Tiefenbestimmung aus Grauwertstereobildern
Einsatz neuzeitlicher Regelalgorithmen bei Wärmebehandlungsöfen
Beitrag zur Theorie und Praxis der optimalen Gestaltung von technischen Entwurfsprozessen unter dem Aspekt der Anpassung bei besonderer Berücksichtigung rechnergestützter Konstruktion
Ein rechnerunterstütztes System für die technische Dokumentation und Übersetzung
Credibility analysis of textual claims with explainable evidence
Ein Werkzeug für den Entwurf verteilter Systeme auf der Basis erweiterter Petri-Netze
Progression in cognitive-affective research by increasing ecological validity: a series of Virtual Reality studies
SIGFA, ein Verfahren zur prozessnahen Dimensionierung integrierter Fertigungsabschnitte mit Zentralspeicher
Disease risk prediction in genome-wide association studies
Asymptotic properties of certain competition systems in artificial intelligence and ecology
Eine Informatik-didaktische Methode für das Erlernen von Projektarbeit in Schule und Hochschule
Probabilistic matching of solid shapes in arbitrary dimension
Design und Implementierungsaspekte einer objektorientierten Programmiersprache
A computational model of acoustic packaging
Der Einsatz von Multisektorenkriterien zur Stabilitätsanalyse nichtlinearer Mehrgrößenregelkreise
Rechnergestützte Qualitätssicherungsmassnahmen beim Metall-Schutzgasschweissen
Cloud native privacy engineering for transparency and accountability
Pattern-Driven Design of Visualizations for High-Dimensional Data
Visuelle Basisliniendetektion
Eine Methodik zur Analyse und Spezifikation des Abrechungsmanagements von Dienstleistungen eines Rechnernetzes
An Actual Causality Framework for Accountable Systems
Konzepte und Hilfsmittel der Datenadministration und deren Konsequenzen für die betriebliche Datenverarbeitung
Variational surface reconstruction
On Uncertainty-Aware Perception, Prediction, and Planning
Automatic proofs and refutations for higher-order logic
Allokation von Rechenprozessen in verteilten Realzeitsystemen
Dynamic expressibility under complex changes
Star-topology decoupled state-space search in AI planning and model checking
Multi criteria authentication in Peer to Peer Systems based on multi dimensional administration graphs
"On-line"-Identifikation und lernende Regelung nichtlinearer Regelstrecken mittels neuronaler Netze
Optimierte Delauny-Triangulierungen zur Vernetzung getrimmter NURBS-Körper
A dynamic and component-based process scheduler framework for heterogeneous many-core systems
Beitrag zu Methoden, Analyse, Bewertung und Prognose von Software-Zuverlässigkeit in Sicherheitssystemen
Dependable Publish/Subscribe Systems for Distributed Application Development
Der Erfolgsbegriff und die deutsche Strafrechtszuständigkeit im Internet
Aufwandsarme Qualitätsverbesserungen bei der gestörten Übertragung codierter Sprachsignale
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Computerkriminalität: die neuen Tatbestände der Datenveränderung gem. § 303 a StGB und der Computersabotage gem. § 303 b StGB
An erasure-resilient and compute-efficient coding scheme for storage applications
On the evaluation of defect prediction models
Interaktive Angleichung als Modell für die Mensch-Computer-Interaktion im Semantic Web
Fahrplanbasiertes Energiemanagement in Smart Grids
Über-alles-Kalibrierung von Industrierobotern zur lokalen Minimierung der Posefehler
Learning and Execution of Object Manipulation Tasks on Humanoid Robots
Editing Encrypted Messages Without Decrypting Nor Understanding Them
Joint downlink beamforming and discrete resource allocation using missed-integer programming
Optimal Spatial Registration of SLAM for Augmented Reality
Akzeptanzverbesserung medizinischer Dokumentationssysteme durch graphische Benutzerschnittstellen am Beispiel des "Frankfurter Modellprojekt Schlaganfallpatient"
Numerische Behandlung von Bifurkationsproblemen bei einparametrischen Optimierungsaufgaben
Interpretable Machine Learning Models for Mining Chemical Databases
Entwicklung laufzeitoptimierter semantischer Web-Applikationen: Konzepte, Lösungsansätze und Anwendungsfälle
Mehrebenen-Testgenerierung für synchrone Schaltwerke
Web-Usability aus linguistischer und formaler Sicht: am Beispiel von universitären Websites
Konzipierung und Realisierung von Informationssystemen in der naturwissenschaftlich-technischen Forschung und Entwicklung unter Berücksichtigung wesentlicher Gesichtspunkte der Effektivität der Leitungstätigkeit in Wissenschaft und Forschung und des wissenschaftlichen Arbeitsprozesses
A fast platform for interactive e-learning systems
Robust and Efficient Deep Visual Learning
Machine learning to support physicians in endoscopic examinations with a focus on automatic polyp detection in images and videos
Systematische Analyse der digitalen Fehlersimulation als Grundlage für die Entwicklung effizienter Parallelisierungsansätze
Zum Entwurf nichtlinearer zeitdiskreter Beobachter mittels affiner Approximationen
Beitrag zur Gestaltung störsicherer Mikroprozessrechner als Teil der Fehlertoleranz unter dem Aspekt der Schiffsautomatisierung
Informationstheoretische Grenzen optischer 3D-Sensoren
Automatische Erkennung von gestörten Sprachsignalen
Genome Analysis Methods using Long Read Nanopore Sequencing
Contribution to the winding theory: introduction of a unified method for the treatment of winding topology
Textprozessierung - Design und Applikation
Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks: a graph-based approach
Ausgewählte positive und normative Messkonzepte der Verteilung
Impact of technological support on the workload of software prototyping
Rationelle Datenspeicherung und -verwaltung und numerische Untersuchungen für ein Finite-Elemente-Programmsystem
Verteilte kontinuierliche Einsatzplanung in Dynamischen Virtuellen Kraftwerken
YAP: parsing and disambiguation with feature based grammars
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Verification of golog programs over description logic actions
Software Architecture for Real-Time Image Analysis in Autonomous MAV Missions
Fast and accurate performance simulation of out-of-order processing cores in embedded systems
Anwenderorientierte Dezentralisierung von PPS-Systemen
Zur Anwendbarkeit des §156 BGB sowie zur Inhaltskontrolle bei privaten Online-Auktionen
Möglichkeiten und Grenzen der Modellierung von Lernprozessen mit neuronalen Netzwerken
Reconstruction and Scalable Detection and Tracking of 3D Objects
Measuring and Optimizing the Quality of Anonymized Health Data
Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform (Ansätze zur Steigerung der Leistungsfähigkeit und Vorhersagbarkeit der Codeausführung auf einer eingebetteten Java-Plattform)
Der Einsatz des Computers im Unterricht der Primarstufe der Schule für Lernbehinderte
New approaches to privacy preserving signatures
Entwurf eines Feldbusses für die Automatisierungstechnik unter dem besonderen Aspekt der Sicherung der Datenübertragung
Referenzmodell zur Gestaltung der Serviceorganisation in Unternehmen der Raumfahrtbranche zum Betrieb bemannter Raumfahrtsysteme
Performance Improvement of Adaptive Processors
Inhaltsbasierte Analyse und Segmentierung narrativer, audiovisueller Medien
Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems
Ablaufsteuerung von Montagefertigungen: heurist. Reihenfolgeplanung vergierender Auftragsstrukturen mittels Prioritätsregeln ; computergestützte Simulationsstudien d. Werkstattfertigung
Visualisierung des Ablaufverhaltens paralleler Programme
Towards Monocular 6D Object Pose Estimation
Ein Beitrag zur Spezifikation und Implementierung von neutralen Datenschnittstellen
Anwendung des Schauderschen Fixpunktsatzes zur güterobusten Regelung flexibler Strukturen mit unsicheren Parametern
Social Commonsense Reasoning with Structured Knowledge in Text
Wirtschaftlichkeitsuntersuchungen bei Reihenhäusern
An Analysis of the Inner Workings of Variational Autoencoders
Efficient Anonymous Group Communication
Ein Beitrag zur Berechnung der Verfügbarkeit technischer Systeme
Selbst-Adaptivität in vernetzten eingebetteten Systemen unter Berücksichtigung nicht-funktionaler Anforderungen
OSCAR: ein Organisations- und Verwaltungssystem zur Entwicklung grosser Finite-Elemente-Programmsysteme
Deep Representation Learning Techniques for Audio Signal Processing
Effiziente Methoden für global verteiltes wissenschaftliches Rechnen
PC-gestützte Systeme der Erfolgslenkung: Anwendungsmöglichkeiten u. Ausgestaltung für e. qualifizierte Unternehmensführng in Klein- u. Mittelbetrieben
H∞-Regelung linearer Systeme mit Totzeiten
Generation of multilingual ontology lexica with M-ATOLL: a corpus-based approach for the induction of ontology lexica
An interdisciplinary concept for human-centered explainable artificial intelligence - Investigating the impact of explainable AI on end-users
Energy efficient capacity management in virtualized data centers
Vergleichende Tiefgefrierversuche an Bullensperma unter Verwendung eines computergesteuerten programmierten Einfrierverfahrens mit induzierter Kristallisation (Seeding)
Human factors in access control: analysis and design
Referenzdatenfreie Entzerrung und Kanalschätzung auf der Basis von Statistik höherer Ordnung
Datensicherheit und Datenschutz und ihre Auswirkung auf die Effektivität der betrieblichen Strukturen
CERMO: ein erweitertes Entity-Relationship-Modell zur Beschreibung von CIM-Datenbasen
Computer audition for emotional wellbeing
Präparation für die automatische Bildanalyse und deren Anwendung für die Qualitätskontrolle in der Lebensmittelindustrie
JAM - Just Another Algorithm to Solve a Motion Planning Problem: ein geometrisches Bahnplanungsverfahren für Zweiarmroboter
Ein integrierender Ansatz zur possibilistischen Inferenz in wissensbasierten Systemen
Automatische Abschätzung von 1H-NMR-chemischen Verschiebungen in organischen Verbindungen
Beurteilung der Eignung von Softwaresystemen für eine lange Lebensdauer
Planning and analysis of two- and three-arm non-inferiority trials
Künstliche-Intelligenz-Forschung und ihre epistemologischen Grundlagen
Full-stack security. How fingerprinting thwarts security gaps across all layers
Efficient Semantic Scene Understanding for Mobile Robots
Schemaevolution in objektorientierten Datenbanksystemen auf der Basis von Versionierungskonzepten
Integration management: a virtualization architecture for adapter technologies
Building change detection using high resolution remotely sensed data and GIS
Essays on blockchain applications and data management
Methodischer Systementwurf für den elektronischen Handel
Automatische Generierung von Testszenarien für UNIX-ähnliche Echtzeitrechner aufgrund algorithmischer Beschreibungen
Geschlechterunterschiede beim Zugang zu Neuen Technologien: eine empirische Studie zur Gestaltung von Schulungsmassnahmen am Personalcomputer
Semantic-based management of federated infrastructures for future internet experimentation
Transparency- and performance-oriented control of haptic teleoperation systems
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Überlagerung von Magnet-Resonanz-Tomographie- mit Positronen-Emissions-Tomographie-Bildern
Hy-NLI: a Hybrid system for state-of-the-art Natural Language Inference
Strategische Ausrichtung des Informations-Controlling: ein Konzept zur Einbindung der Informationsverarbeitung in die strategischen Managementprozesse einer Unternehmung
Machine learning on data streams: improving the applicability and performance of stream clustering algorithms
Modelle zur regionenorientierten Bildbeschreibung
Untersuchungen zur Spezifikation und Implementierung eines relationalen Datenbasismechanismus
Eine Formalisierung der Hardwarebeschreibungssprache VHDL für die Hardware-Verifikation
Grenzüberschreitender Datenschutz
Die Bedeutung von usability und cognitive load für die Informationssuche beim multimedialen Lernen
Schüler denken am Computer: eine Untersuchung über den Einfluss von Repräsentationsformen und kognitiven Strategien beim Konstruieren und Analysieren von Algorithmen
Adaptive optimisation of composite objectives with exponentiated gradient: a family of algorithms for high-dimensional and sparse targets
A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment
Evaluation of Risks and Security Controls for Industrial Components within Connected Manufacturing
Weiterentwicklung und Anwendung eines zweidimensionalen Technologiesimulators für VLSI-Schaltkreise
Unsupervised Anomaly Detection and Localization for Visual Quality Inspection
Entwicklung und Erprobung eines universalen Computersystems für die Sonderpädagogik und die Rehabilitation
Testdatenkompaktion durch beschleunigte Schieberegister mit vielen X-Werten
EDV-Beratungsverträge
Simulation und Wirtschaftlichkeit von Luftkollektor-Speicher-Systemen zur solarunterstützten Trocknung am Beispiel des Tabaks
Evolving deep neural networks: optimization of weights and architectures
Visualisierung des Systemzustandes und Situationserfassung in großräumigen elektrischen Übertragungsnetzen
Algorithmen zur Zustandscodierung synchroner Steuerwerke
Arbeitsorganisation bei Einsatz einer CAD-NC-Kopplung
Design and applications of perception-based mesh, image, and display-related quality metrics
Optimierung von Distributionsnetzwerken unter Berücksichtigung von Tourenplanungsaspekten und zeitlichen Restriktionen
Quality of experience-driven low-delay error-resilient video communication
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Electronic data interchange: Einsatzmöglichkeiten und ökonomische Auswirkungen
Characterizing the brain state-dependent variability of resting state fMRI
Programmierkonzepte und Lastverteilungsstrategien für heterogene Parallelrechnersysteme
Voice recognition by computer
Performance comparison of four human whole-genome sequencing technologies
Prioritization in incremental requirements engineering
Normalwerte und Kriterien der Rechtshypertrophie im computervermessenen EKG bei Kindern
A computational model of derivational morphology
Thermal Management for Dependable On-Chip Systems
Towards Scalable OLTP Over Fast Networks
Path sampling techniques for efficient light transport simulation
Validierung des DITUBS-Programmsystems zur neutronenphysikalischen Berechnung hochkonvertierender Druckwasserreaktoren auf Basis der PROTEUS-Phase-II-Experimente
Learning with recurrent neural networks
Konzeption eines rechnergestützten Vertriebs-, Informations- und Kommunikationssystems und dessen Umsetzung in die Praxis
Contributions to depth-based classification and computation of the Tukey depth
Image-based extraction of eye features for robust eye tracking
Stabilisierung, Optimalregelung und Festwertregelung von linearen zeitvarianten, zeitdiskreten Systemen
Situation-aware Edge Computing
Automatisierung des Rechenbetriebes eines Hochschulrechenzentrums
Empirical analysis of the effects and the mitigation of IPv4 address exhaustion
A hardware design methodology with special emphasis on reuse and synthesis
Wissensaufbereitung für ein Diagnosesystem bei flexiblen Fertigungseinrichtungen
Zur Modellierung und Lösung von Problemen der optimalen Steuerung in der Kontinuumsmechanik
Query processing in complex modern traffic networks
Beurteilung der prozessparameterabhängigen Qualität von Hochtemperaturlötverbindungen mittels rechnerunterstützter Gefügeanalyse
Ermittlung und Beeinflussung der Effektivität flexibler automatisierter Fertigungssysteme und deren rechnergestützten Steuerung
Kompetenzentwicklung in der Montage mit Hilfe virtueller Technologien
Intelligent sensor nodes powered over fiber for cost-effective applications
Struktur und Entwurf eines Systems für den parallelen Dialog
Improving trust in cloud, enterprise, and mobile computing platforms
Ein Vielfachzugriffsverfahren für lokale Hochgeschwindigkeitsnetze zur Integration asynchroner und isochroner Übermittlungsdienste
Distributional initialization of neural networks
Adaptive Kompensation sinusförmiger Störungen im Antriebsstrang von Robotern
Reasoning in many dimensions: uncertainty and products of modal logics
Brain-computer interfaces based on event-related potentials: toward fast, reliable and easy-to-use communication systems for people with neurodegenerative disease
A coarse-granular approach to software development allowing non-programmers to build and deploy reliable, Web-based applications
Acceptance-based information systems engineering = Akzeptanzorientierte Gestaltung mobiler und tragbarer Informationssysteme
Binary Analysis using On-Demand Tabulation of Function Summaries
Formal software development using generic development steps
Casual interaction: devices and techniques for low-engagement interaction
Ökologie - Innovation - Unternehmenserfolg: Unternehmensentwicklung im Zeichen des Fortschritts
Supporting multi-tenancy in Relational Database Management Systems for OLTP-style software as a service applications
Über die globale Existenz nichtlinearer Beobachter zeitkontinuierlicher dynamischer Systeme
Aufbau eines Verschlüsselungssystems zur Dokumentation von gerichtsmedizinischen Sektionsprotokollen
Web content delivery, monetization, and search: back-office and advertisement traffic on the Internet
Automatic performance diagnosis and recovery in cloud microservices
Magnetresonanz-Mammographie (MRM) bei 1.0 Tesla: Validierung der Methode und Wert der computerassistierten Diagnostik
Entwicklung eines EDV-gerechten Dokumentationsblattes zur Erfassung der Leistungen des DHD
Graph-Matching zur positions- und verzerrungsinvarianten Objekterkennung auf der Basis der Wavelet-Transformation
Methods and tools for summarization of entities and facts in knowledge bases
[Effiziente Kalibrierung von MPI- Bildgebungseinheiten] ; Magnetic particle imaging - effiziente Kalibrierung der Bildgebungseinheiten
Modulares Informationsmanagement in der integrierten Produkt- und Prozessplanung
COMPASITES - Computer-aided active site analysis of protein structures
Aufbau und Implementierung eines digitalen Simulationssystems für die Antriebstechnik
Rugby - A Process Model for Continuous Software Engineering
An extensible and customizable framework for the management and orchestration of emerging software-based networks
Interactive 3D visualization of ensemble weather forecasts
Evaluating the digitalization in the healthcare sector: a user-based analysis
Relevanz computergraphischer Methoden für die Automatisierungstechnik
Transactional memory for high-performance embedded systems
Logik der interaktiven Programmentwicklung
Democratizing 3D Human Digitization
Approximation algorithms for spectrum allocation and power control in wireless networks
Ein Programmsystem zur rechnergestützten Entscheidungsfindung/Polyoptimierung
Analyse und ein Gewinnungsverfahren des Americiums im Kernbrennstoffzyklus des Druckwasserreaktors
Justified test foci definition: an empirical approach
Checkable Safety Arguments - A Modeling Framework Supporting the Maintenance of Safety Arguments Consistent with System Development Artifacts
Universal Workload-based Graph Partitioning and Storage Adaption for Distributed RDF Stores
Floodlight Illumination: zur algorithmischen Komplexität und zu kombinatorischen Aspekten
Virtuelle Textwelten: theoretische Grundlagen und Implementationsperspektiven der anglistischen Computerphilologie
Vererbung, semantische Netzwerke und Wissensrepräsentation
Inverse Rendering for Geometry and Material Reconstruction