yusuke1997/dblp-id-title huggingface dataset:
Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen
Active evaluation of predictive models
Entwicklung einer objektorientierten Prozessmodellierungssprache
Beitrag zur Modellierung des Projektierungsprozesses mit Hilfe der Netztheorie am Beispiel von Elektroenergiesystemen
Bruchstörfallrechnungen gasgekühlter Kernreaktoranlagen
Advanced side-channel measurement and testing
Program extraction from coinductive proofs and its application to exact real arithmetic
Cryptographic Protocols from Physical Assumptions
Algorithms and applications for low power wireless sensor networks using wake-up receivers
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme
Visualization of Large Document Corpora
Protokoll-agnostische Netzwerkdienste und netzunterstützte Datentransportaufwertung durch den Einsatz von Zwischensystemen
Ein System zur Anwendung von Push-Konzepten in E-Commerce-Transaktionen
Modellbildung für kontinuierliche Systeme mittels direkter Identifikation
Minimizing the makespan of diagnostic multi-query graphs in embedded real time systems
Digitale Selbstbestimmung: Konstruktentwicklung und empirische Validierung
Untersuchungen zur numerischen Realisierung einer Dekompositionsmethode zum Lösen linearer Optimierungsaufgaben
Kosten-Nutzenoptimierung von Tests modellbasiert entwickelter Fahrzeugfunktionen
Aggregatverarbeitung in multidimensionalen Datenbanksystemen
Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken
Visual Prototyping of Cloth
Rthreads: ein heterogenes Software-Distributed-Shared-Memory-System mit strukturierten Datenobjekten
Zustandsbeobachter für nichtlineare Systeme
Qualitätsmanagementsystem für Geschäftsfeldmodelle: Projekttechniken als Instrumente zur Qualitätsplanung und -lenkung
Continuous Routing
Topic driven testing
High throughput image compression and decompression on GPUs
Analyse englischer Ableitungen mit PROLOG
Performance prediction of parallel program skeletons
Die Generierung natürlicher Sprache aus einer formalen Repräsentation
Die Diffusion integrativer Software-Systeme: marketingrelevante Besonderheiten von Software und deren empirische Beschreibung im Rahmen eines Segmentierungsansatzes auf Basis der innerbetrieblichen Diffusion
Konzepte und Strategien zur hierarchisch netzbasierten Modellierung und Simulation von Rechnerarchitekturen
Neural Representations of Self-Motion During Natural Scenes in the Human Brain
Weighted Automata with Storage
A Python B Implementation - PyB A Second Tool-Chain
Rechnergestützte Prozesssimulation von GGG-Kokillenguss
Point clouds and keypoint graphs in 3D deep learning for medical image analysis
Modellierung und Simulation des Zeitverhaltens digitaler Systeme
Classic graph problems made temporal - a parameterized complexity analysis
Die Einführung von Vorgangsbearbeitungssystemen in der öffentlichen Verwaltung als IT-organisatorischer Gestaltungsprozeß
Entwurf anwendungsspezifischer integrierter Schaltungen für den Einsatz in der Mechatronik
Adaptives, regelbasiertes Routing in Verbindungsnetzwerken für Parallelrechner und Workstation-Cluster
Statistische Modelle und Inferenz der strukturellen Biophysik
Koordination von Informations-Management und Controlling
Modellbasierter evolutionärer Funktionstest
Dynamik von Neuronalen Netzen
Bürokommunikation: Simulationsmodelle für den Entwurf und die Bewertung der elektronischen Vorgangsabwicklung
Neue Verfahren zur Untersuchung simultaner Ereignisse bei der diskreten, ereignisgesteuerten Simulation
Parameter identification of nonlinear continuous time systems using the Hartley modulating functions method
Ein Hochgeschwindigkeits-Vernetzungselement für eine flexible Parallelrechnerarchitektur
Untersuchungen zum Verhältnis zwischen Wachstum und Auflösung von Kristallen mit digitaler Bildauswertung
Einsatz von Transfer Learning und intelligenter Datenvorverarbeitung für effiziente KI-basierte Klassifizierung kleiner unstrukturierter Medien-Datensätze
Denkfallen beim Planen
Computerunterstützte in vitro Ultraschall-B-Bildanalyse entzündlicher und metastatisch befallener Lymphknoten des Kolons und Rektums
The model-theoretic complexity of automatic linear orders
Globale Ressourcenteilung in der High-Level-Synthese
Lastbalancierung und Resequenzierung in Netzwerkprozessoren
Identifikation rückgekoppelter Mehrgrössensysteme im Frequenzbereich: einheitl. Darst. u. Vergleich d. Verfahren
Rechnerunterstütztes Konstruieren von Werkzeugmaschinenantrieben: Dialogsystem zur Variation u. zum Optimieren von Hauptantrieben spanender Werkzeugmaschinen
High performance peer-to-peer desktop grid computing: architecture, methods, applications
Systems and algorithms for the mobile application of functional sports tests
Static Analyses of Interlanguage Interoperations
Nonlinear Filtering based on Log-homotopy Particle Flow: Methodological Clarification and Numerical Evaluation
Graph Partitioning for the Finite Element Method: Reducing Communication Volume with the Directed Sorted Heavy Edge Matching
Schemata paralleler Programme mit nichtatomaren Operatoren
Rechnerunterstützte Projektierung hydrostatischer Ventilverkettungsstrukturen
Ein stochastisches Modell des Wachstums von Zellpopulationen und seine Anwendung in der Impulscytophotometrie
Statistical and Machine Learning Methods for Handling Selectivity in Non-Probability Samples
Algorithmusnotation und Programmaufstellung mit Linearstruktogrammen
Designing Conversational Learning Companions from a Value-centered Perspective
Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme
Unsichere topologische Beziehungen zwischen ungenauen Flächen
Social cues in human-chatbot interaction
Fixed-parameter linear-time algorithms for NP-hard graph and hypergraph problems arising in industrial applications
Neue Wege zu räumlichen Molekülmodellen
Konsistente ökonometrische Makromodelle mit submodularem Aufbau, ein Konzept transparenter Arbeitsweise und seine empirische Anwendung
Combining Symbolic and Sub-symbolic Methods for explaining Graph Neural Networks
Efficiency improvement in decentrally organized interfering Wireless LANs
Automated detection and moderation of hatespeech: development of services for comment moderation systems
Systemtheoretische Beschreibung optischer Nachrichtenübertragungssysteme
Hydrodynamische Kräfte und Momente infolge Wechselwirkung zwischen zwei Schiffen und ihr Einfluss auf die Steuerbarkeit
Referenzprozessmodell für das Business-IT-Management - Vorgehen, Erstellung und Einsatz auf Basis qualitativer Forschungsmethoden
Adaptiver Fehlerschutz in drahtlosen lokalen Netzen zur optimierten Übertragung skalierbar codierter Videodaten
Beiträge zur Theorie der Lerndynamik künstlicher neuronaler Netze
Die Variationsmethode im konstruktiven Entwicklungsprozess und die Rechnerunterstützung bei der Variation technischer Prinziplösungen
Bewertung digitaler Hardware-Realisierungen zur Unterstützung des Systementwurfs
Taming exact inference in temporal probabilistic relational models
Analyse und Entwurf von Komponenten der online-Fehlerbehandlung in einem Prozessdatenverarbeitungssystem
Operation-Based Model Recommenders
Verifikation abstrakter Zustandsmaschinen
New contributions to spatial partitioning and parallel global illumination algorithms
Fehlerdiagnose mit einem Multimikroprozessorsystem
Adaptierbares Kernsystem zur Interpretation von Zeichnungen: Motivation, Entwurf, Realisierung
Zur Vermittlung und Aneignung informatorischen Wissens und Könnens als Bestandteil sozialistischer Allgemeinbildung - dargestellt am Beispiel eines fakultativen Kurses "Informatik" für die Klassen 9 und 10
Dynamische Vorgänge im Poloidalfeldsystem von Tokamakmaschinen
Local and Global Consistency Measures in Intensity-based Medical Image Registration
Updates, Patches & Co: zivilrechtliche Fragen zur Softwareaktualisierung
Algebraische Operationen auf Mamdani-Controllern
Real-time simulation of time-of-flight sensors and accumulation of range camera data
Ein anwendungstransparentes Kryptosystem zum Schutz dezentraler Rechner gegen unbefugte Datenzugriffe
Real-time capabilities of future ethernet-based in-vehicle time and safety-critical networks
Integrierte kooperierende Agenten für Teamwork
Ein Dialogsystem zur Planung und Steuerung innovativer verfahrenstechnischer Projekte
Generating program analyzers
Neue Strategien zur Lösung von Isomorphieproblemen
Methodik der Montagefolgeplanung und Bauzeitermittlung als Bestandteil eines Modells zur rechnergestützten technologischen Bearbeitung von Montageprojekten
Realization and evaluation of virtual cockpit simulation and virtual flight simulation
Output space compaction for testing and concurrent checking
Nutzung von Bewegungsparallaxe zur Schätzung von Roboterbewegungen und zur Rekonstruktion dreidimensionaler Strukturen
Semantische Modellierung virtueller Umgebungen auf Basis einer modularen Simulationsarchitektur
Datenverarbeitung und -nutzung von Kreditwürdigkeitsdaten durch fremdnützige Verarbeiter: mit einer Darstellung der Rechtstatsachen bei der SCHUFA und der Organisation Creditreform
Grundlagen für die Anwendung rechnergesteuerter Antriebe im polygrafischen Maschinenbau
Realisierung von Qualitätsregelkreisen durch Einsatz von Datennetzen: ein Beitrag zur fertigungsintegrierten Qualitätssicherung
Rechtsinformatik im Gestaltungsprozess des Tarifrechts
Analyse und Optimierung mobiler Kommunikationssysteme
Statistische Klassifizierung in hochdimensionalen Merkmalsräumen: ein paralleler lokaler Klassifikator
Schuldnerberatung: von der traditionellen Sozialarbeit zur computergestützten Dienstleistung für den privaten Haushalt
Verteilte Prozesskontrolle in ressourcenbasierten Architekturen
Ein Beitrag zur Klassifizierung und Leistungseinschätzung von Plazierungsalgorithmen am Beispiel eines Lehrentwurfssystems für CMOS-Gate-Array-Schaltkreise
Measuring the Evolution of the Internet in the Age of Giants
Algorithmic and structural aspects of temporal graphs
Integrativer Produktentwicklungsarbeitsplatz mit Multimedia- und Breitbandkommunikationstechnik
Sysremische Risiken in der Wirtschaftsinformatik
Adaptive Storage Structures
Digitale Medien im Schulalltag: eine qualitativ rekonstruktive Studie zum Medienhandeln und berufsbezogenen Orientierungen von Lehrkräften
A Technical and Economic Framework for End-to-End Realization of the User-Centric Telecommunication Paradigm
Efficient use of phase 1 information in two-phase case-control studies based on administrative databases
Optimal quality of service under dynamic resource constraints in distributed multimedia database systems
Anwendung wissensbasierter Bildanalyse im Offsetdruck
Verteilte Generierung von Objektmodellen
Computational Thinking mit Educational Robotics wirksam in der Schule implementieren
Multi-layer architecture and system design of internet protocol (IP) and optical networks
Experimentelle Simulationen windangeregter dynamischer Muster in hochauflösenden numerischen Modellen
Fertigungsmittelkonfiguration nach dem Ähnlichkeitsprinzip unter Einsatz multivariater Verfahren
Memory Distance: A Different Metric for Analyzing Algorithm Performance
Beitrag zur digitalen Regelung von Synchronmaschinen mit Fuzzy-Algorithmen
Reliable Machine Learning Methods in Image Forensics
Electronic business negotiation: some experimental studies on the interaction between medium, innovation context, and culture
Datentransportkostenoptimale Gestaltung von Rechnernetzen
Representation and execution of situated action sequences
Analyse von Hardwarefehlern in Vermittlungseinheiten digitaler Netze
La fraude informatique au sens de l'article 147 CPS
Arbeitswissenschaftliche Aspekte der betrieblichen Einführung neuer Technologien am Beispiel von Computer Aided Design (CAD): Felduntersuchung zur Ermittlung arbeitswissenschaftlicher Empfehlungen für die Einführung neuer Technologien
Robustness and applications of cellular neural networks
On the membership and correctness problem for state serializability and value opacity
Observer design for nonlinear systems with reduced observability properties
Multi-cue Perception for Robotic Object Manipulation : How Spatio-temporal Integration of Multi-modal Information Aids Task Execution
Konzept für ein globales Datenerfassungssystem auf Nanosatellitenbasis unter Verwendung von Satellite Space Division Multiple Access
Ressourcen-Provisionierungsverfahren zur Erweiterung energetischer Freiheitsgrade von Rechenzentren unter Veränderung der IT-Last
Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
Multiscale methods for (generalized) sparse recovery and applications in high dimensional imaging
A framework for assertion-based timing verification and PC-based restbus simulation of automotive systems
Enhancing the Use of the Mobile Infrastructure in Cameroon. The Case of Bayam Sellam
Spezifikation der fachlichen Klassen-Beziehungs-Struktur objektorientierter Anwendungssysteme auf der Grundlage von Modellen der betrieblichen Diskurswelt
A hierarchical deep learning framework towards the verification of geospatial databases
Tagging and parsing with cascaded Markov models: automation of corpus annotation
Robust and nonparametric classification of gene expression data
Flexibilisierung und Beschränkung von Benutzeräußerungen innerhalb von telefonischen Mensch-Maschine-Dialogen
Integrating routing decisions in network problems
Honeypot architectures for IPv6 networks
Coexisting intellectual property right regimes: the case of open and closed source software
Methodik zur Erfassung von Gestaltungsanforderungen an Fertigungsmittel während der Projektierung von Montageprozessen
Interactive Analysis of Multispectral and Hyperspectral Image Data
A Formal View on Training of Weighted Tree Automata by Likelihood-Driven State Splitting and Merging
Untersuchungen zu einem selbsteinstellenden Deadbeat-Algorithmus
CAD-basierte Off-line-Programmierung von Lichtbogenschweissrobotern
Entwicklung und Erprobung einer Bildschirm-orientierten Benutzerschnittstelle für ein Verbraucherinformationssystem
A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie
Informationsverarbeitung und künstliche Intelligenz: eine Analyse der Grundlagen der modernen Denk- und Gedächtnispsychologie
Exploring quantum information theory through graphs and networks
EDV-Management: e. empir. Unters. d. Entwicklung von Anwendungssystemen in dt. Unternehmen
Entwicklung eines wissensbasierten Systems zur wirtschaftlichen und ökologischen Bewertung der Minimalmengenschmierung bei der Planung flexibler Fertigungssysteme / Josep M. Grebner ; Eberhard Abele, Peter Groche
Scene Understanding for Intelligent Transportation and Mobility Assistance Systems
Numerische Untersuchung zur Effizienz enumerativer Algorithmen für Set-Partitioning-Probleme
Mining Sandboxes
Szenariogestützte Führung industrieller Produktionsunternehmen
Micro- and macrocognitive factors of performance in cyber defence operations
Cooperative SLAM for Multi-Robot Systems using Visual Odometry and Range Measurements
Software transparency for free software distributions
Methodische Untersuchungen zum Entwicklungsablauf für HS-Schaltanlagen mit neuen Modellvorstellungen zur Grundschaltung, interpretiert auf höhere Abstraktionsebenen für rechnergestützte Optimierung
Die multivariate logistische Funktion: Anwendungen im medizinischen Bereich
DOMeMan: Repräsentation, Verwaltung und Nutzung von digitalen Objektgedächtnissen
Why-Query Support in Graph Databases
From 3D point clouds to surfaces and volumes
A statistical approach to feature detection and scale selection in images
Satellitenfernerkundung im Völkerrecht: inwieweit existiert ein völkerrechtlicher Datenschutz?
Darstellung und Verarbeitung höherdimensionaler Signale mit Hilfe von Schnittbildsequenzen
Tractable learning for a class of global discriminative models for context sensitive image interpretation
Implementierung eines Smartphone-basierten Ersthelferalarmierungssystems bei außerklinischer kardiopulmonaler Reanimation
Bootstrapping Cryptography on the Internet
Synchronization of models on different abstraction levels using triple graph grammars
Adaptive Personalization in Driver Assistance Systems
Estimating Sparse Representations from Dictionaries With Uncertainty
Dependable reconfigurable scan networks / Natalia Lylina ; Betreuer: Hans-Joachim Wunderlich
Lightweight Cryptography on Ultra-Constrained RFID Devices
Performance Modelling for Optimized Resource Management and Application Deployment in Cloud Environments
Community-Based Intrusion Detection
Automatisierung der Gestaltprozesse von Schweissverbindungen: ein Beitrag zur Entwicklung eines Expertensystems
Werkzeug Objekt: Kybernetik und Objektorientierung
Modal Interface Theories for Specifying Component-based Systems
Multi-agent pursuit of a faster evader with application to unmanned aerial vehicles
Extending Dynamic-Programming-Based Plan Generators: Beyond Pure Enumeration
Abstractions for performance programming on multi-core architectures with hierarchical memory
Power Management for Closed-Source Interactive Games on Mobile Devices
Erkennung von falsch-positiven Softwareklonen mittels Lernverfahren
On monitoring and fault management of next generation networks
Zur Modellierung digitaler Schaltungen mit AND/OR-Graphen für die automatische Testmustergenerierung
Computergestützte Analyse der Kinematik des Oberen Sprunggelenkes
Numerische Integration elastisch-plastischer Deformationsgesetze mit komplizierten Verfestigungsansätzen
Kovarianzmethoden zur Parameteridentifikation zeitkontinuierlicher Systeme
Komplexitätsanalysen und effiziente Algorithmen für kombinatorische Probleme beim Algorithmischen Lernen
Konvergenzbeschleunigung von Folgen durch nichtlineare Transformationen
Integration einer Simulationskomponente in rechnergestützte Systeme für die technische Vorbereitung der Produktion (TEVO)
Filling disocclusions in extrapolated virtual views using advanced texture synthesis methods
Navigation control & path planning for autonomous mobile robots / Sebastian Clemens Benedikt Pütz
Localized state space and polynomial filters with applications in electrocardiography
Ordnungsrahmen für die softwarebasierte Automatisierung administrativer Prozesse = Framework for the software-based automation of administrative processes
Methods and semantics for telecommunications systems engineering
Untersuchungen von Kommunikationsmechanismen in heterogenen Mehrprozessorsystemen
Syntaktische Relationen in der automatischen Indexierung: zur Relationierung von Deskriptoren am Beispiel juristischer Dokumente
Time-sensitive converged networks: a comprehensive architecture approach
Entwurf einer objekt-orientierten Programmiersprache mit statischem Typkonzept und Parallelität
Towards On-The-Fly Image Processing
Entwicklung und Validierung eines methodischen Konzeptes zur ergonomischen Gestaltung von Bediensystemen in der Produktionstechnik
Multi-Agent Approach for Managing Workflows in an Inter-Cloud Environment
Anforderungsgetriebene Qualitätsmodellierung und -auswertung in kompositen Web-Mashups
Coupling Schemes and Inexact Newton for Multi-Physics and Coupled Optimization Problems
The combinator S
Formal Methods for Trustworthy Voting Systems: From Trusted Components to Reliable Software
Robust Adaptation and Learning Over Networks
Bewertung der Endausbaukonzeption und der Ausbaufolge von Heizkraftwerken
Mathematisches Modell zur Ermittlung inkorporierter Radioaktivitätsmengen aus den Photometermesswerten von Tritium-Autoradiogrammen in der Neuroanatomie
Correctness-by-Construction for Correct and Secure Software Systems
Optimization of connected infrastructure perception for cooperative driving
Implicit sequence learning in recurrent neural networks
Aufbereitung von 3D-Digitalisierdaten für den Werkzeug-, Formen- und Modellbau
Understanding Expert and End User Behavior in IT Security
Content placement strategies for smart products
Graphlet based network analysis of protein structures
Probabilistic pose estimation and 3D reconstruction of vehicles from stereo images
Data-efficient and safe learning with Gaussian processes
Design Methods for Reliable Quantum Circuits
Die Computerisierung der Arbeit als subjektive Realität: e. Studie über Sachbearbeiter und Sachbearbeiterinnen in Versicherungen
Efficient algorithms and data structures for compressive sensing
MEDUSA, der Mehrrechner-Durchschalte-Satellitenrechner des Rechenzentrums der Universität des Saarlandes
Network-Design Problems in Graphs and on the Plane
On synthetic datasets for development of computer vision algorithms in airborne reconnaissance applications
Organisation eines Servers für Video on demand
Somatosensory Interaction: Investigating Mechanoreception, Thermoception, and Proprioception for On-Body Haptic Feedback
Nichtgleichgewichtsphasenübergänge in der menschlichen Motorik und Erweiterungen des synergetischen Computers
Identifying and Harnessing Concurrency for Parallel and Distributed Network Simulation
Entwicklung und Implementierung adaptiver Datenstrukturen und Algorithmen zur effizienten Visualisierung und Speicherung digitaler Höhenmodelle
Data processing on heterogeneous hardware
Planning and Verification in the agent language Golog
Ein Assistenzsystem für die energetisch optimierte Längsführung eines Elektrofahrzeugs
Serielle versus parallele Verarbeitung visueller Information: eine experimentelle Untersuchung am Beispiel eines Konzentrationstests
Polnische Version des Systems LEFO: spezielle Portierung eines Programmsystems
Measuring and predicting non-functional properties of customizable programs
Vom Fremddruck zur Selbstbeschränkung: das Problem der Verarbeitung juridischer Normativität durch Internet-Intermediäre
Adaptive Strategien zur Optimierung der Anfrage-Verarbeitung in verteilten Datenbanksystemen
Mensch-Prozeß-Kommunikation und der Beitrag der Datenreduktion: Untersuchungen am Beispiel des Kraftwerksprozesses
Zur Lösung von Optimierungsproblemen über dem Durchschnitt von drei Matroiden
Knowledge graph embeddings: link prediction and beyond / Ruffinelli Daniel ; Betreuer: Rainer Gemulla
Untersuchungen zum Einsatz elektronischer Taschenrechner im Mathematikunterricht des Ausbildungsberufs "Facharbeiter für Datenverarbeitung": Schlussfolgerungen für d. theoret. Unterricht d. sozialist. Berufsausbildung
Advancing Spatial Analytical Database Systems
Prozessüberwachung im Ultraschallmetallschweißen von Blechen mittels Verknüpfung von maschinellem Lernen und physikalischer Modellierung
Edge Machine Learning: Fast Model Averaging for Decentralized Model Training
Design issues for service delivery platforms: incorporate user experience: a grounded theory study of individual user needs
Systemforschung und Politische Theorie: zur Anwendbarkeit d. Systemforschung in d. modernen Polit. Theorie
Management-Informations-Systeme im Krankenhaus: Informatik und Organisation in der Krankenhaus-Wertschöpfungskette
Untersuchungen zur Stabilität einiger Ersatzprobleme der stochastischen Optimierung in Bezug auf Änderungen der zugrunde gelegten Zufallsvariablen
Verteilte Lösung harter Probleme: schneller Lastausgleich
Fehlerkorrektur von Speicherfehlern mit Low-Density-Parity-Check-Codes
Digitale, lernfähige Neurokontroller
Development of New Hybrid Models for Prediction of Maximal Oxygen Uptake (VO2max) Using Machine Learning Methods Combined with Feature Selection Algorithms
Bewertungsoptimales Routen von Schiffen
Implementierung von IT-Strategien: eine Methode zu systematischen, strukturierten und kontrollierten Implementierung von IT-Strategien
Methodische Betrachtungen zur mathematischen Modellierung und Informationsverarbeitung bei der Lösung von Praxisaufgaben
Simulation von 3D-Halbleiterbauelementen auf einem MIMD-Multiprozessorsystem
Task execution on heterogeneous robot platforms
Verfahren zur retrospektiven numerischen Bewertung der in Mittelspannungsnetzen gewährleisteten Versorgungszuverlässigkeit
Modeling, analysis and design of genetic circuits for control and optimization inside cells
Entwicklung von Algorithmen und Programmen für ein Archivierungs- und Kommunikationssystem zur internetbasierten Verwaltung medizinischer Bilder
IntuiBeat: Formative und summative Evaluation intuitiver Benutzung