yusuke1997/dblp-id-title huggingface dataset:
Simulationsmodelle für die Optimierung interdependenter logistischer Prozesse
Trajectory mapping in physical and topical spaces
Grundlagen der Entwicklung und des Einsatzes adaptiver Anwendungsprogramme zur automatisierten Informationsverarbeitung im sozialistischen Konsumgüterbinnenhandel
Image-based approaches for photo-realistic rendering of complex objects
Making sense of words through the eyes of a child: a computational framework for the acquisition of word meanings
Mikroprozessorgesteuerte Erfassung instationärer Druckfelder am Beispiel seegangsbelasteter Baukörper
Applications of spherical harmonics in robot vision
Image-based uncertainty estimation and out-of-distribution detection
Improving the Capabilities of Distributed Collaborative Intrusion Detection Systems using Machine Learning
Frei programmierbare Infusionstechnik
Towards Autonomous Policy Synthesis: Tactile Manipulation Skills, Learning Architecture, and Process-Taxonomy-Based Planning
A Framework for Model-based Testing of Integrated Modular Avionics
Modellierung und Ausführung von Workflows unter Berücksichtigung mobiler Kontextinformationen
Memory capacity of flow network morphology
Dynamische Bauteil- und Strukturanalysen im Rahmen eines universellen FEM-Programmsystems
Informations- und kommunikationstechnische Grundbildung in einem forschenden Mathematikunterricht
Ein assoziativer Koprozessor: Entwurf, Realisierung und Beispielanwendung zur Akzeleration von CAD-Verfahren
Meander: ein graph-basierter Ansatz zur Unterstützung der Konstruktion explizit paralleler Programme für Parallelrechner mit verteiltem Speicher
Informationstechnische Behandlung des mehrzieligen regelungstechnischen Entwurfs
EMU Speech Database System: praxisorientierte Weiterentwicklung der Funktionalität, Benutzerfreundlichkeit und Interoperabilität sowie die Aufbereitung des Kiel Corpus als EMU-Sprachdatenbank
User-centric knowledge extraction and maintenance
Methoden und Werkzeuge zur Integration von CIM-Komponenten in bestehende Produktionsorganisationen sowie zur Organisationsentwicklung und Wirtschaftlichkeitsrechnung im jeweiligen Produktionsunternehmen
Simultane Verkehrsmittelwahl, -verteilung und -umlegung mittels hierarchischer Logitmodelle unter Einhaltung von Straßenkapazitäten
Nanocrystals for nanodot memories: ion beam synthesis and electrical studies
Computing Highly Reliable Train Journeys
Towards Human-Centered Actionable Explainable AI-enabled Systems
Agenten in Raum und Zeit: diskrete Simulation mit Multiagentensystemen und expliziter Raumrepräsentation
Sensor-Based Covert Channels on Mobile Devices
Sensor fusion in localization, mapping and tracking
Physical separation technology and its Lock-Keeper implementation
Supporting location privacy in geo-social networks
Hardware entangled security primitives: attacks and defenses
Ein Vergleich von Optimierungsverfahren für die zeitdiskrete Simulation
Signal processing methods for music synchronization, audio matching, and source separation
Der Schutz der Privatsphäre bei der Anfragebearbeitung in Datenbanksystemen
Context-based resource management in wireless sensor networks
Synthetic training data for deep neural networks on visual correspondence tasks
Klinische und experimentelle Anwendung der Biotelemetrie
CRC806-Database: A semantic e-Science infrastructure for an interdisciplinary research centre
Schätzung von Bewegungsvektorfeldern in gestörter Umgebung unter Anwendung künstlicher neuronaler Netze
Datenbasierte Generierung von relevanten Fuzzy-Regeln zur Modellierung von Prozesszusammenhängen und Bedienstrategien
Simulation neuronaler Netze: Stabilität, Plastizität und Konnektivität
Optimierungsverfahren mit speziellen explizit auflösbaren Teilproblemen, ihre Globalisierung durch Dämpfung und überlineare Konvergenz
Sprecherspezifische Parametrisierung von Sprachgrundfrequenzverläufen: Analyse, Synthese und Evaluation
A novel explainability method with application to mammography image quality assessment
Moving Algorithm - Immersive Technologien und reflexive Räume für be-greifbare Interaktion
Graphentheoretische Beschreibung und Bestimmung der endlichen und unendlichen Nullstellen von linearen Mehrgrössensystemen
Tool Supported Specification and Verification of Highly Available Applications
Effiziente Compilation funktionaler Module einer algebraischen Spezifikationssprache
Visualisierung fördertechnischer Prozesse mittels Kleinstrechnern
Ein Beitrag zur Erhöhung der Effektivität der Technologie und Organisation von Rechenzentren mit ESER-Rechentechnik
Performance Problem Diagnostics by Systematic Experimentation
Verfahren zur beschleunigten Systemsimulation mit VHDL durch Integration von externen Hardware-Software-Komponenten
Dynamic distance analysis
Maschinelle Phonem-Graphem-Umsetzung für unbegrenzten deutschen Wortschatz
Bordautonomer automatischer Landeanflug aufgrund bildhafter und inertialer Messdatenauswertung
Zur Relevanz der Dokumentation und Kommunikation in der betrieblichen Softwareentwicklung und -wartung: eine Konzeption zur Verbesserung der Effizienz von Dokumentation und Kommunikation in der betrieblichen Softwareentwicklung mittels CSCW-basierter Technologie und der Integration von Hypertextfunktionalität zur Informationsvernetzung
Possibilistic neural networks for process modelling
Network-based inference of protein function and disease-gene association
Snapshot: friend or foe of data management - on optimizing transaction processing in database and blockchain systems
Der STAR-Level-3-Trigger
Analyse, Entwicklung und Erprobung von User Interfaces für die mobile Interaktion mit Online-Befragungen
Bridging the Gap Between Explanation and Exploration: Combining Text and Visualization for Dissemination of Analysis Results
CELLmicrocosmos - Integrative cell modeling at the molecular, mesoscopic and functional level
Hirnzirkel: kreisende Prozesse in Computer und Gehirn: zur neurokybernetischen Vorgeschichte der Informatik
Challenges and solutions in the design of a Java Virtual Machine for resource constrained microcontrollers = Herausforderungen und Lösungen in der Entwicklung einer Java Virtual Machine für Microcontroller mit begrenzten Ressourcen
Zu numerischen und rechentechnischen Problemen bei Modellrechnungen für statische Verflechtungsbilanzen unter besonderer Berücksichtigung der Natural-Wert-Verflechtungsbilanz und deren Bedeutung für die zentrale staatliche Planung
Building Blocks for Mapping Services
Securely Instantiating Cryptographic Schemes Based on the Learning with Errors Assumption
Electronic servicing: Wirkungsanalyse innovativer I&K-Technologien im Dienstleistungsbereich
Comparison of Compiler's Intermediate Representations and Input/Output Access Patterns with String Kernels
Continuum models for bi-disperse granular material flows capturing the process of size segregation
Entwurf eines Frameworks für CTI-Lösungen im Call Center
Investigating the role of software in science by automatic knowledge graph construction through natural language processing
Variantentechnologie unter besonderer Berücksichtigung von Elektrotechnik-CAD
5G automation solutions for industry verticals
Theoretische Untersuchungen zur Struktur von Membranproteinen
On realistic random network models for algorithm evaluation
The usual suspects: data-oriented models for identification und representation of lexical collocations
Einfluß und Auswirkungen der Informationstechnologie auf die Organisation kleiner und mittelgroßer Wirtschaftsprüfungsgesellschaften
Ökonomische Kriterien bei der Planung und Nutzung von Gebäudekomplexen, dargestellt am Beispiel von Hochschulbauten
Numerical methods for solving systems of quasidifferentiable equations
Developing model-aligned and human-readable explanations for artificial intelligence
Anonymous distributed computing: computability, randomization and checkability
Konzept eines Grafikmoduls als integraler Bestandteil eines Betriebssystems für Messcomputer der Signal- und Systemanalyse
Hybrid architecture for hardware-accelerated query processing in semantic web databases based on runtime reconfigurable FPGAs
Digitale Medien als Klangerzeuger in konstruktionistischen Workshopumgebungen
Computergestütztes Analysesystem zur sonographischen Quantifizierung der Dicke und Morphologie des Intima-Media-Komplexes der Arteria carotis communis
Massive Open Online Courses im Kontext von Persönlichkeit und Prokrastination
Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine
Constructing distributed component architectures in continuous software engineering
Veränderungsprozesse des elektronischen Marketings durch neue Entwicklungen der Informations- und Kommunikationstechnologien
Beitrag zur geometrischen Konstruktionstechnik bei der Überlagerung unterschiedlicher Konstruktionsbandbreiten am Beispiel der Funktionsüberlagerung Wohnungsbauserie 70 Erdgeschosshöhe 3300 [dreitausenddreihundert] mm
Quality assessment of compressed and impaired monochrome still pictures
Neues Verfahren zum Selbsttest von Mikroprozessoren
Constraint-basierte Modellierung und Exploration von fertigungstechnischen Lösungsräumen am Beispiel von Tailored Forming
Optimierte räumliche Abtastung und Mustererkennung bei der Hochauflösenden Thoraxelektrokardiographie
Evolutionary computing in neuronal modeling
Pädagogik im Netzwerk computergestützter Lernsysteme: über Stellenwert, Handlungs- und Einflussmöglichkeiten der Pädagogik im Netzwerk computergestützter Lernsysteme
Entscheidungsunterstützung für Hardware-Investitionen
Applying advanced SAT-based techniques to circuit testing
Unterstützung von Wissensarbeit durch Integration heterogener Kooperationswerkzeuge
A hardware benchmarking platform for the standardization of authenticated encryption algorithms
Risk Factors of Health Wearables
Goal-directed forward chaining for logic programs
Rasterorientierte Informationssysteme in der Geographie: Konzepte und Erfahrungen bei der Realisierung eines GIS für die Waldschadensforschung
Methode zur Erzeugung eines erweiterten Konformitätstests für Kommunikationsprotokolle am Beispiel der ISO 15118
Eine Architektur für individualisierte computergestützte Lernumgebungen: Grundlagen, Modularisierung und prototypische Realisierung
Integration von 3D-"Time of Flight"-Kameras in Applikationen zur sicheren Steuerung autonomer Roboter
Algorithms for Graph Connectivity and Cut Problems - Connectivity Augmentation, All-Pairs Minimum Cut, and Cut-Based Clustering
Equivalences for concurrent and distributed systems: a survey of dissertation
Interference management in wireless caching and distributed computing
Design of energy-efficient processing elements for near-threshold parallel computing
Peripheral interaction: exploring the design space
Identification of characteristic user behavior with a simple user interface in the context of space heating = Erkennung des spezifischen Nutzerverhaltens mittels einfachem Nutzerinterfaces im Rahmen der Raumbeheizung
Automatische und optimierte Konfiguration von Texturanalysesystemen
Ein effektiver wegorientierter Algorithmus zur Lösung des kombinierten Verkehrsverteilungs- und Umlegungsproblems
Artificial Intelligence for automated decision-making in error-pattern recognition
Radiation mitigation for SRAM-Based FPGAs in the CBM experiment
Geometry-predicting communication protocols for car2X applications
Grundlagen und Entwicklung von Rahmenexpertensystemen für Aufgaben der Prozessführung: das Expertensystemshell PROCON
Improving Dense Retrieval on Domain Adaptation and Decontextualization
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
Ein mißbrauchfreies anonymes elektronisches Zahlungssystem
Bewegungsplanung in der Ebene
Abstract sensor event processing to achieve dynamic composition of cyber-physical systems
Integration wissensbasierter Ansätze in ein Pen-Computer-gestütztes GIS-Werkzeug für fliessgewässerökologische Planungen
Rechnergestützte Optimierung von Planetenkoppelgetrieben
Proxemo: Documenting Observed Emotions in HCI
Security of cyber-physical systems: process-aware approach
Lernende Steuerung eines autonomen mobilen Roboters: Untersuchungen zum Erwerb sensomotorischer Fähigkeiten und einer für Navigationszwecke nutzbaren Umweltkarte
Informationsverarbeitung und Fertigungsvorbereitung für numerisch gesteuerte Werkzeugmaschinen
Die rechtlichen Aspekte des Cloud Computing unter besonderer Berücksichtigung vertrags- und datenschutzrechtlicher Fragen
Local strategies for robot formation problems
Beitrag zur optimierten Abarbeitung von Vektorzuweisungen auf einem Multiprozessorsystem
A view based approach to software process management
Ein Beitrag zur grafischen Modellierung fachgebietsorientierter Simulationsmodelle
Analysis of the Impact of Suboptimal Assumptions on the Modeling of the Aggregation of Risks
Beitrag zur rechnerischen Optimierung des Kaliberverschleisses, am Beispiel eines Grubenausbauprofiles
Source Code Transformation based on Architecture Implementation Patterns
Fehlervermeidung und Prozessmonitoring in komplexen und dynamischen Großschadenslagen
Über direkte Lösungsverfahren der nichtlinearen Optimierung
Dexpho: Düsseldorfer Expertensystem für Photodermatosen
Beitrag zur Modellierung und rechnergestützten Simulation technologischer Prozesse mit Hilfe variierter Evaluationsnetze
Straddling the border between tests and proofs
How to Improve Your Virtual Experience: Exploring the Obstacles of Mainstream VR
Ein Konzept zur Optimierung der Informationsversorgung des Top Managements: demonstriert an einem Szenario aus der Kreditwirtschaft
An implementation for algorithmic game solving and its applications in system synthesis
COX-C mit Operatorkonzept
Wissensbasierte Verwaltung und Auswahl von Lösungsverfahren in einem entscheidungsunterstützenden System für die Projektplanung
On the Transition to Post-Quantum Cryptography in the Industrial Internet of Things
An open architecture for distributed IP traffic analysis
Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit
Efficient and compatible bidirectional formal language translators based on extended triple graph grammars
On Rényi Information Measures and Their Applications
Ensemble-based programming for scientific applications
Interactive ubiquitous displays based on steerable projection
Automatic methods for protection of cryptographic hardware against fault attacks
Enhancing users' privacy: static resolution of the dynamic properties of android
Inference and Model Parameter Learning for Image Labeling by Geometric Assignment
Synthesis of listener vocalizations: towards interactive speech synthesis
Compilierung graphisch spezifizierter VLSI-Entwurfsregeln
Linguistische und lexikographische Grundlagen einer bilingualen Wortdatenbank Arabisch-Deutsch
Rechnergestütztes Layout von Leiterplatten und integrierten Schaltungen
Event oriented dynamic adaption of workflows: model, architecture, and implementation
Evaluation der Internetauftritte von Fachärzten der Allgemeinmedizin und Inneren Medizin mit hausärztlichem Versorgungsauftrag
Design and implementation of a collaborative virtual problem-based learning environment
Machine learning in advanced driver-assistance systems
Harnessing the collective knowledge of the web: navigation and learning processes in social tagging systems
Bestimmung molekularer Ähnlichkeit mit Hilfe eines Genetischen Algorithmus
Ein Echtzeitparallelrechner zur Rezentralisierung von Steuergeräten im Automobil
Rechnerunterstützte Konstruktion von Werkzeugen zum Spritzgiessen von thermoplastischen Kunststoffen
ISDN, seine Wirkungen auf die Entwicklung der Bürokommunikation und Möglichkeiten seiner Weiterentwicklung
Moment-Based Methods for Real-Time Shadows and Fast Transient Imaging
Ein finites Verfahren zur Festigkeitsberechnung von Rotationskörpern unter rotationssymmetrischer Belastung
Robust and efficient automated machine learning: systems, infrastructure and advances in hyperparameter optimization
Eine robuste und effiziente Finite-Elemente-Methode zur Lösung der inkompressiblen 3-D Navier-Stokes-Gleichungen auf Vektorrechnern
Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen
Der Einsatz von Augmented Reality in der Fußgängernavigation: Konzeption und prototypische Implementierung eines smartphonebasierten Fußgängernavigationssystems
HYDE: Konsistente Bewertung von Protein-Ligand-Komplexen auf der Basis von Wasserstoffbrücken- und Dehydratationsenergie; von der Theorie zur Anwendung
Automation strategies for sample preparation in life science applications
Logische Modellierung von Datenbasen für rechnergestützte Informationssysteme
Beobachtungsmöglichkeiten im Domain-Name-System: Angriffe auf die Privatsphäre und Techniken zum Selbstdatenschutz
Themenerkennung in Twitter unter Berücksichtigung von Meinungsäusserungen: PoliTwi ; eine Analyse politischer Themen
Clustering-based support for software architecture restructuring
Fine-grained isolation and filtering of network traffic using SDN and NFV
Entwicklung einer CAD-Komponente zur Synthese leistungselektronischer Schaltungen
Ein Architekturkonzept zum Entwurf flexibler Betriebssysteme
Towards service co-evolution in the Internet of Things
EDV-gestützte Instandhaltung: Gestaltung u. Auslegung von rechnergestützten Systemen
A Computer Vision Based System for the Automatic Analysis of Social Networks in Honey Bee Colonies
Bayesian Modeling for Optimization and Control in Robotics
Querying semistructured data based on schema matching
Entwurf und Analyse kryptographisch sicherer Keystreamgeneratoren zur Stromverschlüsselung
Gaze-adaptive LLM-based reading and writing assistants
Algorithmic foundations of terminological knowledge representation systems
Mathematische Simulation betriebswirtschaftlicher Kennzahlen des Verfahrens der Broilermast als Bestandteil einer Softwarelösung für die Prozesskontrolle und -steuerung
Konnektionistische Modelle in der Sprachverarbeitung
Compilergenerierung aus Hardwarebeschreibungen und deren Anwendung für den Entwurf anwendungsspezifischer programmierbarer Prozessoren
New Analytical and Algorithmic Framework for Hybrid Wireless Localization
Systematische Planung komplexer Produktionssysteme
Echtzeitanalyse der Kommunikation in Kfz-Bordnetzen auf Basis des CAN-Protokolls
About the exploration of data mining techniques using structured features for information extraction
A fault-tolerant and scalable protocol for replication in distributed file systems
Automatic sequences, rational functions and geometry
Data driven information systems development for health-positive behavior and mental wellbeing: yielding synergies from utilizing health data, mobile services, and artificial intelligence
Evolutionäre Analyse von strategischem Verhalten in Sozialen Netzwerken
Analysis and optimization of resilient routing in core communication networks
Optimierung und Vergleich binärer und mehrstufiger digitaler Übertragungssysteme mit und ohne Quantisierte Rückkoppelung
Design and self-management of wireless networked systems with model-driven optimization
Towards a better understanding of eye movements in natural contexts
Mathematische Modelle und Algorithmen zur Projektierung und Steuerung von flexiblen Fertigungssystemen
Entwicklung eines Computerprogramms zur Überprüfung und Berechnung von Abschirmungen bei medizinischen Elektronenbeschleunigern
Zur effizienten Hardware-Umsetzung rekurrenter neuronaler Netzwerke unter Einsatz von Methoden der Optimalquantisierung
A property checking methodology for weakly programmable system-on-chip IPs (Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs)
Unscharfe Suche für Terme geringer Frequenz in einem großen Korpus
Secure information sharing with distributed ledgers
Entwicklung einer Bewertungssystematik für die Mensch-Roboter-Kollaboration
Erarbeitung von Strategien zur Übersetzung und effektiven Abarbeitung von SPS-Anwenderprogrammen mit Ablaufstruktur als Grundlage für die Entwicklung entsprechender Softwarekomponenten
Systematische Verbesserung von Prozessen für IT-Dienstleistungen
Modellgetriebene Verfolgung formvariabler Objekte in Videobildfolgen
Parallele genetische Algorithmen zur Lösung eines zweidimensionalen Bin-Packing-Problems
Informationsmodellierung für verteilte Anwendungen auf Basis standardisierter Datenmodelle
Concepts for efficient, adaptive and robust deep learning from distributed data
Partitioning Point Clouds and Meshes with Deep Learning: Striving for a more Efficient and Effective Process in the Development of 3D Applications
Deep learning for feature based image matching
Multiobjective compiler-based optimizations for hard real-time systems
Context-Enabled Optimization of Energy-Autarkic Networks for Carrier-Grade Wireless Backhauling
Methods for Enhancing Industrial Applications with Explainable Artificial Intelligence
Softwarekonzept für eine digitale Vermittlungsanlage mit streng modularem Aufbau und verteilter Steuerung
Ein numerisches Verfahren zur Bestimmung der Spannungen in einer unter Abbaueinwirkung stehenden dehnerlosen Rohrleitung
Hardware Contention-Aware Real-Time Scheduling on Multi-Core Platforms in Safety-Critical Systems
Evolution von Meta-Modellen mit sprachbasierten Mustern
LINDA - Leistungsmanagement in Netzwerken mit Dienstgüteadaption: am Beispiel einer Ethernet-Middleware
Rechnergestützter Entwurf der Mensch-Anlagen-Kommunikation als Tätigkeitsbereich in der Softwareprojektierung von Binärsteuerungen
Enhancing analysis and interpretation workflows for transcriptome data with an interactive R/Bioconductor toolkit
Metamodellierung als Instrument des Methodenvergleichs: eine Evaluierung am Beispiel objektorientierter Analysemethoden
Subsumtion als Problemlösung, psychologische Aspekte juristischer Textinterpretation
Das Micro-CAD-System, ein Beitrag zur Einführung einer rechnerunterstützten Konstruktionsweise in kleineren und mittleren Unternehmen
Die Abhängigkeit der Störfestigkeit digitaler Geräte von den internen Funktionsabläufen
Die Telearbeit
Entwicklung und Anwendung einer relationalen Makromolekül-Datenbank
Standortfaktoren und Wettbewerbsfähigkeit der Softwareindustrie in einem globalen Wirtschaftssystem
Harnessing cross-layer design
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
A Hybrid-parallel Architecture for Applications in Bioinformatics
Der Funktionsplan als graphische Eingabefachsprache: Beitrag zur rechnergestützten Projektierung und Programmierung speicherprogrammierbarer industrieller Steuerungen
Learning the Structure of Continuous Markov Decision Processes
Zweistufige, Planer-basierte Organic Computing Middleware
Ein dienstorientiertes Abrechnungsmodell für Wertschöpfungsnetze: Entwurf, Entwicklung und Prototyp
Symmetrische und unterbrechende Prozesskommunikation
Die simultane Berechnung einiger Eigenwerte und Eigenvektoren beim grossdimensionierten allgemeinen Matrixeigenwertproblem
Information-theoretic environment modeling for mobile robot localization
Capability Aware Query Optimizer For An FPGA-Based Near-Data Processor
Approaching the problem of access control in distributed, heterogeneous and autonomous information systems
Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme
Link attribute dissemination in electronic social networks: an approach for measurement of influence and dissemination effects in social networks
Erarbeiten, Verwalten und Auswerten von Stücklisten unter Nutzung arbeitsplatzgebundener Rechentechnik
Optimalitätsbedingungen zweiter Ordnung für optimale Steuerprobleme bei semilinearen parabolischen Anfangsrandwertaufgaben mit Steuer- und Zustandsbeschränkung
Additional Traffic Sign Detection and Content Recognition
Customizable visualization in the context of metabolic networks
Efficient Verification of Programs with Complex Data Structures Using SMT Solvers
Ausgewählte rechtliche Probleme der dauernden Überlassung von Standardsoftware in England und Deutschland im Vergleich
Verfahren zur Festlegung dreischichtiger rückwirkungsfreier neuronaler Netze
Darstellung allgemeingültiger Grundlagen für die rechnergestützte technologische Fertigungsvorbereitung, dargestellt am Automatisierungsvorhaben Ringwalzwerk