yusuke1997/dblp-id-title huggingface dataset:
Eine Methode zur formalen Modellierung von Betriebssystemkonzepten
Ein methodischer Beitrag zur hybriden Regelung der Produktionsqualität in der Fahrzeugmontage
Erschliessung neuer Nutzungsformen mathematisch-statistischer Software zur Erhöhung der Qualität und Effektivität statistischer Analysetätigkeit in der Staatlichen Zentralverwaltung für Statistik: ein Schritt von der Stapelverarbeitung zum Dialog
Advances in syndrome coding based on stochastic and deterministic matrices for steganography
Wissensbasierte Pr/T-Netze zur Planungsunterstützung in offenen Systemen und ihre Anwendung im Bürobereich
Betriebsdatenerfassung: grundlegende Kennzeichnung und Gestaltungsmerkmale im Rahmen der zeitlichen und qualitativen Lenkung der industrieellen Produktion
Learning representations of interactive behaviour
Entscheidungskriterien in der stochastischen dynamischen Optimierung und die ihnen zugrunde liegende Präferenzstruktur des Entscheidungsträgers: ein nutzentheoretischer Ansatz
Distributed Detection of Faults and Cyber-attacks of Multi-Agent Systems
Development of Agent-Based Simulation Models for Software Evolution
Zur Terminplanung schriftlicher und mündlicher Prüfungen unter Anwendung exakter und heuristischer Methoden der Graphenfärbung
Service-oriented business models for the electric vehicle battery life cycle
Towards Understanding Virtual Collaboration with Virtual Assistants in Organizational Environments
Scalable space-time adaptive simulation tools for computational electrocardiology
Artificial Bandwidth Extension of Telephone Speech Signals Using Phonetic A Priori Knowledge
A hybrid framework for prediction problem in large collections of short time series
End-to-End Neural Speech Translation
Analog Circuit Design Approaches
Dynamics for vision guided autonomous mobile robots
Informationssystem für die rechnergestützte Materialversorgung eines Betriebes
Die Anwendung des Kellogg Kellogg-und-Li-und-Yorke-Fixpunktverfahrens auf Optimierungsprobleme
Zellulare Hypergraphen und Ersetzungssysteme: ein Konzept zur Modellierung dynamischer zellularer Strukturen
3D Interaction Techniques in Multi-User Virtual Reality: towards scalable templates and implementation patterns for cooperative interfaces
A Flexible Approach to Close-Range 3-D Modeling
An introduction of greedy extension sets for the application on fix free codes
Modellbasierte Migration von Unternehmensanwendungen durch Kombination eines Top-down - und Bottom-up -Ansatzes
Non-Intrusive Load Monitoring (NILM): combining multiple distinct electrical features and unsupervised machine learning techniques
Mask-based Black-box Attacks on Safety-Critical Systems that Use Machine Learning
Knowledge-augmented and context-sensitive face perception
Einsatz der Mikrorechentechnik zur Kontrolle und Steuerung von technologischen Spezialausrüstungen in der Elektronikindustrie
Die Entropie von Symbolfiguren
Lehrkonzeptionelle Gestaltungsansätze für eine durchgängige Informatikausbildung in einer Fachrichtung
A study on selected Bayesian and Non-Bayesian econometric estimators and model parameterisation in consumer demand analysis in Malawi
SECUSI: ein Verfahren zur EDV-gestützten Durchführung von Sensitivitäts- und Curve-Fitting-Analysen an dynamischen, sozio-ökonomischen Modellen
Überlegungen und Experimente zur Verbesserung der Infrarotspektroskopie mittels der Rechentechnik
Erfolgsdeterminanten von Communities in virtuellen Welten: eine empirische Untersuchung am Beispiel von Second Life
Security Mechanisms for Workflows in Service-Oriented Architectures
Texture synthesis and style transfer using perceptual image representations from convolutional neural networks
On public goods and location conflicts
Teams in agile software development: Design principles and examination of human factors
Operational Business Intelligence im Kontext der Analyse und Steuerung von Geschäftsprozessen
Interaktive Visualisierungen für den Linking- und Suchprozess heterogener Informationen im Web
On the security off full disk encryption = Zur Sicherheit von Festplattenvollverschüsslungen
Ein modulares Mehrrechner-Betriebssystem mit Prioritätszeitplanung und lastausgleichender Objektmigration für verteilte Realzeitanwendungen
Objektorientiertes Entwurfsverfahren für Anwendungs-Software-Systeme am Beispiel von Telekommunikations-Anlagen
Die maschinelle Übersetzung aufgabenorientierter japanisch-deutscher Dialoge: Lösungen für translation mismatches
Extremal fixpoints for higher-order modal logic
Categorizations of Product-related Requirements in Practice: Observations and Improvements
Online anomaly detection for reconfigurable self-X real-time operating systems: a danger theory-inspired approach
Sicherheit bei der Betriebsdatenerfassung: Modifizierung der FMEA für den Betriebsdatenerfassungsprozess
Ein Computermodell für das Verhalten des Muskels unter Dehnung und Aktivierung
Generating and Managing Secure Passwords for Online Accounts
Wissensbasierte Entscheidungsunterstützung in der Patientenüberwachung am Beispiel der Anästhesie: Problemstellung und Lösungsansätze aus ingenieurwissenschaftlicher Sicht
Big Data: Potential und Barrieren der Nutzung im Unternehmenskontext
Prozesskommunikation und Rechnerverbund in der Produktion
Preismanagement für Telekommunikationsdienstleistungen: modell- und methodenorientierter Ansatz zur Entscheidungsunterstützung
Anforderungsermittlung an ein Beschreibungsmittel und Erweiterung einer Gerätebeschreibungssprache für die modulare Automatisierung im Maschinen- und Anlagenbau
Ein Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien
Groupware und computergestützte Zusammenarbeit: Wirkungsbereiche und Potentiale
Evolutionary stability and dynamic stability in generalized "Rock-Scissors-Paper" games
Steuerbarkeitsuntersuchungen für nichtlinear gestörte lineare dynamische Kontrollsysteme
Regularisierungen des Wilson-Verfahrens
A Hierarchical Approach for Autonomous Planning and Execution of Excavation Tasks
Bürokommunikation mit Inhouse-Netzen: Entwicklung e. Simulationsmodells d. betriebl. Kommunikationssystems als Hilfsmittel für Entscheidungen über d. Einsatz neuer Kommunikationstechnik
Model-driven security in service-oriented architectures: leveraging security patterns to transform high-level security requirements to technical policies
Coping with distance and location dependencies in spatial, temporal and uncertain data
Combined schedulability and WCET analysis for real-time operating systems
Experimentalsystem zur Entwicklung und Testung von Software für die Kommunikationstechnik
Graph Embeddings Motivated by Greedy Routing
Trusted and privacy-preserving embedded systems advances in design, analysis and application of lightweight privacy-preserving authentication and physical security primitives
Secure testing of VLSI cryptographic equipment
Visual Tracking of Multiple Humans with Machine Learning based Robustness Enhancement applied to Real-World Robotic Systems
Grid-Based Techniques for Semi-Stochastic Sampling
Weiterentwicklung sprachorientierter Datenstrukturen in der Führung und Simulation elektrischer Energieversorgungssysteme
Zur automatischen Portierbarkeit von Echtzeit-Software
Der GapSet Algorithmus: Ein parallelisierbarer Algorithmus zur Berechnung minimaler Schnitte
Methods for immersive visual analysis of structural brain data
Maximally separated signals for digital communications
Konsequent dezentralisierte Steuerung mit Industrial Ethernet und offenen Applikationsprotokollen: Beitrag zur Einführung von Industrial Ethernet in die Industrieautomation
Ausfallresistente Ersatzpfadkonstruktion für verteilte Netzwerkanwendungen
Petrinetz-basierte Beobachtung von Systemzuständen: Einsatzmöglichkeiten und Leistungsgrenzen bei der Lenkung von Flughafenverkehr
Funktion, Architektur und Anwendung moderner Mikroprozessoren und Transputer
Blind packet forwarding: a clean-slate security approach for future networks
Policies in integrated network and systems management: methodologies for the definition, transformation, and application of management policies
Ein Beitrag zur mathematischen Modellierung des kontinuierlichen Zerkleinerungsprozesses in Rührwerkskugelmühlen
Die Entwicklung und frühere Bedeutung des Harzer Rotviehs unter Berücksichtigung der geographisch und sozial bedingten Verhältnisse im Zuchtgebiet sowie die Einbeziehung von EDV-Auswertungsergebnissen noch vorhandener Herd- und Vorkörbücher: e. Beitr. zum Harzer Rotvieh
Formale Spezifikation und Leistungsbewertung von Vielfachzugriffsprotokollen in Mobilfunknetzen
Automatic Detection of Video Display Errors in Car Navigation Systems
Linearisiertes Verfahren zur Berechnung von Durchdringungskurven zweier Körper
Dezentralisierung von Büroarbeitsplätze mit neuen Informations- und Kommunikationstechniken: eine Analyse unter betriebswirtschaftlich-organisatorischen Aspekten
Secure and Usable User Authentication
Integration of Network Security Mechanisms in Softwarized Networks with Data Plane Programming and Software-Defined Networking
Pareto Optimization and Decision Making in Process Design
Zur Generierung von Hypertextstrukturen aus linearen Texten durch Partitionierung und Strukturanreicherung
Entwicklung eines evolutionsstrategischen Formgebungsautomaten
Flexible Automatisierung: Ermittlung und Gestaltung ihrer ökonomischen Effektivität
Efficient implementation of code- and hash-based cryptography
Architekturmodelle zur Planung der Informationsverarbeitung von Kreditinstituten
Decoding of block and convolutional codes in rank metric
Hierarchischer Programmentwurf in der Algebra binaerer Relationen
Bestimmung von Gesichtsmerkmalen zur automatischen Gesichtserkennung in der Zugangskontrolle
Auswirkung von alphanumerischen Bildschirmdarstellungen auf die Arbeitsbelastung
Theoretische Untersuchung digitaler Filter
Performance Evaluation of Cellular Vehicular Communications
Topics in iteration theory
Flexibles Sicherheitsmanagement in TCP-IP-Netzen
Abstraction and refinement of probabilistic automata using modal stochastic games
Entscheidungsunterstützung zur Planung der Software-Qualitätssicherung in mechatronischen Produkten
Agentenbasierte Softwareentwicklung: Methode und Anwendungen
Informationsfreiheit und Urheberrecht - Pressedatenbanken im Internet
On synthesising Linux kernel module components from Coq formalisations
Scalable Graph Algorithms using Practically Efficient Data Reductions
Verfahren zur textbezogenen Schreibererkennung aus dem Handschriftenbild von Einzelbuchstaben
Planning of edge computing for factories
Logistik-Controlling: Entwicklung flexibilitätsorientierter Strukturen und Methoden zur ganzheitlichen Planung, Steuerung und Kontrolle der Unternehmenslogistik
Untersuchungen zur Gestaltung eines bedienarmen Rechenbetriebes in einem betrieblichen Rechenzentrum bei der Abarbeitung eines komplexen und integrierten automatisierten Informationsverarbeitungssystems
General dataflow nets with single input/single output semantics
Automated complexity analysis of rewrite systems
Benutzerorientierte Datenallokation in verteilten Informationssystemen
Beitrag zur Gestaltung dialogorientierter, dezentraler Programmsysteme für die technologische Fertigungsvorbereitung
Memory-aware mapping strategies for heterogeneous MPSoC systems
Teilautomatische Herstellung von Codegeneratoren für Mikrokontroller
Sicherheit und Privatsphäre in Online Sozialen Netzwerken
Asymptotische Eigenschaften von linearen und quadratischen Schätzungen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül höherer Ordnung
Antwortzeitverhalten eines Echtzeit-Rechensystems bei Auslagerung des Betriebssystemkerns auf einen eigenen Prozessor
Modelle für die verlustfreie Bilddatenkomprimierung
Interaction techniques for mid-air pen input in handheld augmented reality
Simulation kontinuierlicher Prozesse in hierarchischen Produktionsplanungssystemen: Entwicklung von Werkzeugen und experimentelle Analyse
Ein verallgemeinertes stationäres Entscheidungsmodell der dynamischen Optimierung: ein einheitlicher Zugang zu Glücksspielmodellen und Semi-Markoffschen Entscheidungsmodellen
Semantic Question Answering Over Knowledge Graphs: Pitfalls and Pearls
Baumgesteuerte Grammatiken
Methodenentwicklung zentraler Forschungsdateninfrastrukturen für überregionale Forschungsverbünde im Rahmen des Deutschen Zentrums für Lungenforschung
Probabilistic learning of indexed families under monotonicity constraints: hierarchy results and complexity aspects
Unterteilungsalgorithmen für multivariate Splines, ein geometrischer Zugang
Methoden und Werkzeuge zur Sollkonzeptentwicklung EDV-gestützter Dispositionssysteme
Rechnerische Optimierung ausgewählter Parameter von Pkw-Karosseriestrukturen
Verfügungsrechtliche Steuerung wertschöpfender Prozesse: ein gestaltender Ansatz der verteilten künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus
Einsatz von Metamodellen zur Optimierung von Antriebsstrangkonzepten elektrifizierter Pkw
Entwurf und Aufbau effizienter Zustandsdiagnostik für das Booster-Synchrotron Bodo
Methodische Untersuchungen zur Anwendung der Komplexmethode der linearen Optimierung in der Landwirtschaft, dargestellt an einem Beispiel der Frischeierproduktion
Zuordnung von raumbezogenen Daten: am Beispiel der Datenmodelle ATKIS und GDF
Anwendung datenbasierter Analysemethoden für die Steigerung der Produktqualität in der Elektronikfertigung
A structuring mechanism for Petri nets
Fault tolerance in parallel data processing systems
Zur Qualifizierung der Anlagenüberwachung und Instandhaltungsvorbereitung durch die komplexe Automatisierung von Informationsprozessen
Realizing software-defined wireless networks
From supervised to unsupervised support vector machines and applications in astronomy
Rechtsfragen des Kreditvertriebs über Internet
Rechnergestützte Integration von Rechnungswesen-Informationen und Marktforschungsdaten: der Weg vom Symptom zur Therapie
Untersuchungen zum Wahrnehmungsrealismus von Abbildern und Bildern: computergrafische Optimierungsansätze im Spannungsfeld von bildhafter Gestaltung, virtueller Architektur und visueller Wahrnehmung
Decoupling Mesh and Data Representations for Geo-spatial Data Visualization
Quality-of-Service-Aware Virtualization of Programmable Networks
Robust breath-held abdominal magnetic resonance imaging based on compressed sensing
Verification of program computations
Occlusion culling and hardware accelerated volume rendering
Von der Schmiegsamkeit zur Einmischung: Professionalisierung der Chemikerinnen und Informatikerinnen
Story driven modeling als agile Vorgehensmethode für das Internet der Dinge in Lehre und Praxis
Bildmanagement zur herzchirurgischen Operationsplanung: Bedeutung des Konzeptes der problemorientierten Segmentierung und Visualisierung in der hierarchischen Datenanalyse
Entwicklung eines Intrumentariums zur Emissionsprojektion auf der Basis des Emissionsfaktoransatzes
Rechnerunterstütze Vorverarbeitung und Codierung verfahrenstechnischer Modelle für die Simulationsgebung DIVA
Rechentechnische Nachbildung von Geschwindigkeitsverläufen im Stadtverkehr
Towards designing inherently interpretable deep neural networks for image classification
Strategien und Algorithmen zur interaktiven Volumenvisualisierung in digitalen Dokumenten
Web based project coaching: requirements, design, implementation and evaluation of online coaching services for IT project management
MIAC: Methodology for Intelligent Agents Componentware
Optimierung einer Multi-GNSS-Signalverarbeitung auf Grundlage heterogener Programmierung
Entwicklung eines rechnergestützten Verfahrens zur technologischen Analyse von Fertigungsprozessen in Fliessfertigung am Beispiel der Herstellung von Betonelementen
Transaction concepts in autonomous database environments
Automatisierung eines physikalischen Experimentes zur Neutronenstreuung mittels Mikrorechentechnik
Computergestützte Legasthenietherapie: Begründung und Entwicklung eines tachistoskopischen PC-Trainingsprogramms für Legastheniker auf der Sekundarstufe
Standard compliant ultra high throughput turbo code decoders (Standardkompatible Turbo-Code-Dekodierer für sehr hohe Durchsätze)
Finanzbuchführung mit Personal-Computern: Vorschläge für e. gesetzesadäquate Gestaltung von Programmen u. Verfahren
Ideale in Gruppenalgebren in der Codierungstheorie
Kultur und elektronische Kommunikation: eine empirische Untersuchung zu den Nutzern von Computernetzwerken
Datenkonsistenz bei heterogener Datenspeicherung: Konzept und prototypische Realisierung
Assertion level proof planning with compiled strategies
Markovsche und Nicht-Markovsche Approximationen an Markovsche Entscheidungsprozesse
Ein System zur Generierung von deutschen Texten aus semantischen Repräsentationen
Wissensrepräsentation und -akquisition in einem natürlichsprachlichen Software-Informationssystem
Adaptive data processing in embedded networks
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
1-Kiesel-Automaten in Labyrinthen
Analyse und Simulation limbischer Charaktere in Minoritätenspielen und Rechnernetzen
Closing the Loop: 3D Object Tracking for Advanced Robotic Manipulation
Rechnerunterstützte Planung und Gestaltung manueller Arbeitsmethoden auf der Basis eines Systems vorbestimmter Zeiten
Deep anomaly detection in distributed software systems
Large-scale detection and measurement of malicious content
Object oriented network and systems management in a distributed environment: an approach towards technology independent management of broadband telecommunications networks
Automatisierte Verifikation des Designs von grafischen Benutzeroberflächen mit Bayes'schen Netzen - Konzeptualisierung und praktische Anwendung am Beispiel des Audi Infotainmentsystems MMI
Koordination in strukturierten Konversationen: ein Koordinationsmodell für kooperierende Agenten und seine Anwendung im Bereich Computer-supported cooperative work (CSCW)
Verfahren zur integrierten Gestaltung und Bewertung von Mensch-Maschine-Dialogen im Kraftfahrzeug, basierend auf einem Entwicklermodell des Fahrerwissens
Modellierung diskreter Bodenlagersysteme mit digitaler Simulation
Identifikation von Einflussfaktoren auf die Akzeptanz und Nutzung von virtuellen Prozessen: eine empirische Überprüfung der Process Virtualization Theory
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Advancing image and video recognition with less supervision
Rekonstruktion und Modellierung von Flächen aus Tiefenbildern
Informationsaustausch in der maritimen Transportkette: Untersuchung der Prozessleistung im Datenfluss und der Kapazitätsauslastung
Rechnergestützte Anwendungsprogrammentwicklung für Industrieroboter und flexible Automatisierungsgeräte: Programmiermethoden u. ihre Anwendung in d. Produktionstechnik
Effizientes Routing in strukturierten P2P Overlays
Designing privacy preserving personalized public display systems
Wireless Network Localization via Cooperation
Kopplung von Netzwerk- und Halbleitersimulator nach dem Master-Slave-Prinzip
Das Recht auf freie Meinungsäußerung im Internet: ein Vergleich der Rechtslage in der Bundesrepublik Deutschland und den Vereinigten Staaten von Amerika
Rechnergestützter Entwurf von Ultraschallsensorsystemen für Serviceroboter
Considering unknown unknown: reconstruction of non-confoundable causal relations in biological networks
Type-safe Programming for the Semantic Web
Evaluation of neuronal fiber tractography
Nichtlineare fehlertolerante Interpolation von Zwischenbildern
Wyner-Ziv Bayer-pattern video coding
Objektorientierte Simulation und genetische Algorithmen zur Produktionsplanung und -steuerung
Geometry adaptive multi-view coding techniques for image based rendering
Entwicklung eines Informationssystems zur strategischen Planung des Werkzeugbaus: ein Beitrag zur Strategiefindung auf Basis von Benchmarking-Ergebnissen
Increasing software quality of JavaScript programs: an approach based on type systems = Verbesserung der Software Qualität von JavaScript Programmen
Extraction and Evaluation of Mid-level Features for Semantic Music Analysis
Generating and auto-tuning parallel stencil codes
Charakterisierung faseroptischer Übertragungsstrecken: Multimodefasern und ihr Einsatz in Kommunikationssystemen
Herstellung potentieller magnetischer Speichermedien durch Ionenbeschuss antiferromagnetisch gekoppelter Trilagen
Untersuchungen von Schichtformungen keramischer Schlicker mittels Finite-Element-Methode
Verfahren zur Kostenoptimierung von Topologien eingebetteter Kommunikationsnetze
Strukturinformation bei der Beschreibung monadischer NP-Probleme
Rechnergestützte Baubestandsverwaltung über den gesamten Lebenszyklus eines Bauwerkes: Systemanalyse und Erstellung eines Bauwerksmodelles
Formen und Folgen der Softwaregestaltung: digitale Transformation am Beispiel der deutschen Energiewirtschaft
Zur Integration von Vektor- und Rasterdaten in Geo-Informationssystemen: theoretische und praktische Aspekte der Quadtree-Struktur für Geometrie-Daten
Der Alcohol Use Disorders Identification Test (AUDIT) als präoperatives Screeninginstrument für die postoperative exogene Psychose
Generierung effizienter Übersetzer
Ein halbanalytisches FE-Modell für harmonische Wellen zur Berechnung von Wellenunruhen in Häfen und im Küstenvorfeld
A self-adaptive hardware architecture for online data compression based on dynamic partial reconfiguration
Wiederverwendung fördernde Dokumentation objektorientierter Anwendungsentwicklung am Beispiel eines Liegenschaftsverwaltungssystems
Integration of communication and power networks for planning and optimization of smart grids
On the structure and generalizability of programs synthesized by genetic programming
Tool support for the distribution of object based applications
Polarisation und Farbe als Parameter zur Subkodierung von optischen Informationsträgern
Interessenkonflikte durch den Einsatz von neuen Informations- und Kommunikationstechniken in der Steuerberatung
Quality-aware Content Adaptation in Digital Video Streaming
Integration von analytischem und heuristischem Wissen in ein System zur experimentellen Modellbildung
Modeling Human-Robot-Interaction based on generic Interaction Patterns
Development and Evaluation of Protocols for the Operation of Wireless Ad-Hoc Networks with Quality-of-Service Requirements
LiDAR-Based Semantic Perception for Autonomous Vehicles
Automatische Generierung ebener Netze als Kernstück eines FEM-Preprozessors
Entwurf, Realisierung, Programmierung und Anwendung eines Arithmetik-Spezialrechners
Rechnergestützte Stichprobenverfahren im Prüfungswesen: Darstellung von Annahme- und Schätzstichprobe sowie Gegenüberstellung der Anwendungsmöglichkeiten statistischer Tabellenwerke und des PC-Programms RSW
Unterstützung der Werkstoffauswahl im Konstruktionsprozess durch ein wissensbasiertes Informationssystem
Wissensbasierte Fehlererkennung und Diagnose mit den Fallbeispielen Kreiselpumpe und Drehstrommotor
Musik und Virtualität: digitale Virtualität im Kontext computerbasierter Musikproduktion
Zur Problematik und zum Anwendungsnutzen von Strategiemodellen in der Rindermast
Automatic approaches for microscopy imaging based on machine learning and spatial statistics
Entwurf eines integrierten Systems zur Visualisierung von Ergebnissen numerischer Berechnungsverfahren für massiv parallele Rechnerarchitekturen
Feedback based error control for robust video transmission
Evaluation und Akzeptanz neuer Technologien und Geschäftsmodelle im Gesundheitssektor
Reproduzierbare Aktionen unter UNIX: Entwicklung eines programmierbaren Software-Roboters für die Reproduktion des Eingabeverhaltens eines Benutzers
Melting down the number of variables for the inclusion problem for pattern languages and logspace-decidability of determinism of regular languages
Flexible Fertigungssysteme: Simulation d. Prozesse als Hilfsmittel zur Planung u. zum Test von Steuerprogrammen
Einsatz moderner Mikrocomputer zur Steuerung und Datenverarbeitung am Farbzentrenlaserspektrometer
Ergonomische Gestaltung adaptierbarer Mensch-Computer-Interfaces für die Interaktion beim Gehen
Die Unterstützung der inkrementellen juristischen Fallösung durch wissensbasierte Systeme
Game-based Synthesis for Distributed Control of Industrial Assembly Lines
Dienstgüte-orientiertes Ressourcen-Management in drahtlosen Netzen