yusuke1997/dblp-id-title huggingface dataset:
Program verification in synthetic domain theory
Strategische Kooperationen in der Multimediaindustrie: Entstehung, Evolution und Management
Effizientes Lernen fast optimaler Entscheidungen aus Beispielen
Semi-Autonomous Data Enrichment and Optimisation for Intelligent Speech Analysis
Causality Checking of Safety-Critical Software and Systems
New techniques for abstraction refinement
Möglichkeiten der rechnergestützten Entscheidungsfindung zur optimalen Betriebsführung von modernen Anlagen der Bordenergiebereitstellung und -nutzung
Konzeption einer matrizenbasierten Planungssprache und Datenbank zur Erstellung betrieblicher Planungs- und Kontrollsysteme
Die selbstlernende topologische Merkmalskarte zur Bildsegmentierung und Klassifikation
Abstrakte Modellierung digitaler Schaltungen
Clustering mit Entscheidungsbäumen: Analyse des CLTree Algorithmus und Aufbau eines erweiterten Algorithmen-Frameworks
On the space and circuit complexity of parameterized problems
Zur inhaltlichen und methodischen Gestaltung einer Grundlagenausbildung in Mikrorechentechnik auf den verschiedenen Stufen des einheitlichen sozialistischen Bildungssystems unter besonderer Berücksichtigung der Erwachsenenqualifizierung
Zeitvariante Filterbänke mit niedriger Systemverzögerung und perfekter Rekonstruktion
Über die Bikategorie der logisch-topologischen Netze und ihre Semantik
Reconstructing Human Motion
Vergleich und Optimierung der Monitor- und Alternatorbefundung von DLR Thoraxaufnahmen mittels modifying procedure m
PC-gestützte operative Warenwirtschaft: Funktionen anwendungsorientierter Warenwirtschaftssysteme mit integrierter Datenkasse und Kommunikationsunterstützung für den Einzelhandel-Kleinbetrieb
Automatische Texturierung von Fassaden aus terrestrischen Infrarot-Bildsequenzen
Incorporating prior knowledge of invariances into deep models for computer vision
Anwendung der Synergetik auf Korrespondenzprobleme wie Stereoskopie
Vorhersage des Auftretens von Übelkeit und Erbrechen in der postoperativen Phase durch ein neuronales Netz
Ein umfassendes Abrechnungsmodell für ein integriertes Netzmanagement
Simplicity-oriented lifelong learning of web applications
An integrated management model for intelligent networks
Systematische Gliederung komplexer technischer Systeme
Research and Design of Neural Processing Architectures Optimized for Embedded Applications
Gestaltung des Informationsmanagements in kleinen und mittleren Unternehmen der neuen Bundesländer
Dynamische Anwendungspartitionierung für heterogene adaptive Computersysteme
Formale Verifikationsmethode für reale Schaltungen und Systeme
Interaction and collaboration mechanisms for distributed communities and groups in educational settings
Modelling by example: neue Wege zur Entscheidungsunterstützung mittels interaktiver Modellierung
A Reconfigurable Processor for Heterogeneous Multi-Core Architectures
Geographische Informationssysteme und neue digitale Medien in der Landschaftsplanung
Ein offenes objektorientiertes Graphiksystem für CAD-Anwendungen
Bayesian inference for CAD-based pose estimation on depth images for robotic manipulation
Abbildbarkeit domänenspezifischer System- und Testmodelle auf adäquate Standardmodelle
Dialogue Enhancement and Personalization - Contributions to Quality Assessment and Control
Protokolle für privatsphärengerechtes Smart Metering
Beitrag zur Gestaltung eines CAD-Systems für den Rohrleitungsprojektierungsprozess
Methoden zur kontrollierten Ausführung nichtdeterministischer kommunizierender Programme
Kommunikationskonzept für die Prozeßleittechnik
Emotional modulation of instrumental cognition and self-adaptation in bounded learning control systems
Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren
Efficient duplicate detection and the impact of transitivity
Alarmaggregation und Interessantheitsbewertung in einem dezentralisierten Angriffserkennungssystem
A language ecosystem for modeling microservice architecture
Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem
Fehlerdiagnose bei Luftfahrttriebwerken
Zur Thermodynamik von Mehrstoffsystemen mit Paraffinen, Aromaten, Tetrahydrofuran und Dimethylformamid
Rechnerunterstützte Konfigurierung von Überwachungs- und Diagnosesystemen für Fertigungsanlagen
Model-based systems engineering maturity improvement in industry
Untersuchungen zur Optimierung der Aufteilung eines Datenbestandes in formatierte Dateien und dessen Strukturierung für eine Datenbank eines AIVS auf Speichern mit wahlfreiem Zugriff
Untersuchung des Frequenzspektrums simulierter elektromyographischer Signale anhand eines Computermodells: eine theoretische Studie
Transaktionsorientierte Verwaltung und Suche von Dokumenten in einer Mehrprozessordatenbankumgebung
Ein Konfigurationssystem für Planungsaufgaben in sicherheitskritischen Anwendungen
Ein Beitrag zur Anwendung der automatischen Bilderkennung bei der Montage von Halbleiterbauelementen
Erweiterung der Reflexionsmethode zur Zusammenfassung von Produktarchitekturen zu einer Produktlinienarchitektur
Neural mechanisms of information processing and transmission
Verbundoperationen über Datenströmen und deren Optimierung unter Verwendung dynamischer Metadaten
Low-overhead fault tolerance for safety-critical neural network applications
Ein Beitrag zur Optimierung der Trassenführung von Fernheiznetzen
Color, Metaphor and Culture - Empirical Foundations for User Interface Design
On right conjugacy closed loops and right conjugacy closed loop folders
Evolution eines DV-gestützten Informations- und Kommunikationssystems zum Instrument einer ganzheitlich ausgerichteten Unternehmensführung im Industriebetrieb
Graph-based Clustering Algorithms for Corpora Exploration
Fast: eine Prozessor-Architektur mit einem neuartigen Stacksystem
Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
Einbettung selbstorganisierender Karten in autonome Miniroboter
Measuring and Removing Realistic Image Noise
Werkzeuge und Methoden intelligenter Benutzeroberflächen
EDV-Einsatz in hierarchischen Lagerverbundsystemen
The application of source language information in Chinese-English statistical machine translation
Effective and transparent multivariate time series classification
Experimentiersystem zur Simulation und Programmierung technologischer Prozesse - ein Beitrag zur Erhöhung der Problemhaftigkeit und Differenzierung im polytechnischen Unterricht der Klassen 9 und 10 sowie in den Arbeitsgemeinschaften nach Rahmenprogramm
Verteiltes Planen mittels selbstorganisierender Objektnetzwerke: ein neuer Ansatz zur automatischen Arbeitsplangenerierung
Object shape estimation from point clouds using mesh-based and volumetric-based shape priors
Weiterentwicklung und Anwendung der methodisch-systemwissenschaftlichen Arbeitsweise für den Prozess der Lösungsprinzipermittlung im Maschinenbau
Flexible automatisierte Fertigung peripherer Baugruppen und Geräte der mittleren Datentechnik
Beitrag zum Entwurf mikroprozessorgesteuerter Positioniersysteme für Präzisionsroboter
Instandhaltungsgerechte Strukturierung technischer Anlageninformation am Beispiel von Hüttenwerken
Zur Entwicklung von Software für die interaktive geometrische Modellierung dreidimensionaler Objekte
Learning with Graphs using Kernels from Propagated Information
Schwache Fragmente der Arithmetik und Schwellwertschaltkreise beschränkter Tiefe
Switch Observability for Differential-Algebraic Systems.: Analysis, Observer Design and Application to Power Networks
Load dependent sensor placement method based on representative least squares: applications in structural health monitoring
The generic model query language GMQL
Komponentenorientierte Softwareentwicklung in Softwareunternehmen: Konzeption eines Vorgehensmodells zur Einführung und Etablierung
Worst-Case Execution Time Guarantees for Runtime-Reconfigurable Architectures
Collaborative Reengineering and Modularization of Software Systems
Entwurf, Methoden und Werkzeuge für komplexe Bildverarbeitungssysteme auf Rekonfigurierbaren System-on-Chip-Architekturen
Adversarial Robustness of Graph Neural Networks
Advancing Privacy-Enhancing Technologies for Policy-Driven Data Sovereignty and Provenance
Automatic Object Detection and Tracking for Video-Based Traffic Surveillance
Visual motion processing
Parallelisierung numerischer Verfahren zur Beschreibung von Ausbreitungs- und chemischen Umwandlungsprozessen in der atmosphärischen Grenzschicht
Optimal design of fixed-point and floating-point arithmetic units for scientific applications
Universelle 1-Kiesel-Automaten für k-komponentige Labyrinthe
Design and Evaluation of 'Post-WIMP' Systems to Promote the Ergonomic Transfer of Patients
Leveraging Representation Learning for Multi-Modal and Graph-Structured Data
Exploiting BSP Abstractions for Compiler Based Optimizations of GPU Applications on multi-GPU Systems
Scalable Task Schedulers for Many-Core Architectures
Marginale Passgenauigkeit CAD-CAM-gefertigter Titan-Kronenkäppchen
Erweiterung eines betriebswirtschaftlichen Programmiersystems zur Einbeziehung von Multigoal-Problemen des betriebswirtschaftlichen Operations Research
Algorithms and hardware for error correction coding with high coding gain = Algorithmen und Hardware für Fehlerkorrekturverfahren mit hohem Codierungsgewinn
Grundrichtung und Entwicklungsprobleme des Einsatzes moderner Prozessrechentechnik in Organisation und Steuerung technologischer Prozesse der Grosshandelslager
Dezentralisierung und Sicherheit in Mobilfunknetzen
Rechnerunterstützte Wissensvermittlung für Automatisierungsingenieure beim Erlernen der methodischen Grundlagen und der Handhabung von rechnerunterstützten Werkzeugsystemen
Rechnerische Ermittlung von Betriebsfestigkeitskennwerten für Krantragwerke unter Nutzung der statistischen Versuchsplanung am Beispiel des Hauptträgers von Brückenkranen
The architecture of distributed database management systems in public networks
Dilation, Transport, Visibility and Fault-Tolerant Algorithms
Constraint Modelling and Data Validation Using Formal Specification Languages
A Contribution to Resource-Aware Architectures for Humanoid Robots
Flexible web-based management of components for industrial automation
Evaluierung gitterbasierter Pfadplanungs-Algorithmen für die Hardwarebeschleunigung mit FPGAs
Development and application of a software framework for the analysis of mass spectrometry-based quantitative proteomics data in the cloud
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
Integrierte Informationssystemarchitekturen in dynamischen Kooperationen: Entwicklung und Implementierung einer Architektur zur Integration und Prozessunterstützung in dynamischen Unternehmensnetzwerken
Reconstruction of Large Scale 3D Models from Images
Komplexitätsklassen von Funktionen
Design and Analysis of Adaptive Caching Techniques for Internet Content Delivery
Simplifying the use of event-based systems with context mediation and declarative descriptions
Testing time - time to test?: using formal methods for the timing analysis of digital circuits
Challenges of computational social science analysis with NLP methods
Einsatz mobiler Agenten zur effizienten Nutzung heterogener Clustersysteme
Stimuligenerierung für die Fehlerdiagnose digitaler Schaltungen mit Scan-Pfad unter Einbeziehung des Elektronenstrahltests
Deep learning-based reduced-order modeling for high-dimensional flows
Composable accountability for distributed ledgers
Model-agnostic interpretable machine learning
Rejection and online learning with prototype-based classifiers in adaptive metrical spaces
Data and simulation-based exploration, analysis, and treatment of stenoses for prevention of ischemic strokes
Modellierung und Analyse des Netzzugangssystems für das diensteintegrierende Digitalnetz ISDN
Structural coverage criteria for testing object-oriented software
Hybrid and End-to-End Approaches for Noise Robust Automatic Speech Recognition
Eine serviceorientierte Plattform für die Unterstützung kontextbasierter Adaption für Gruppen in gemeinsamen Arbeitsbereichen
Applying complex network theory to technology assessment in early conceptual aircraft design
Aktive Bildverarbeitung
Migration Patterns between Germany and Turkey: An Agent-Based Model
Aufbau und Nutzung einer fachspezifischen Datenbank am Beispiel der Mikrobiologie als funktioneller Bestandteil des Krankenhausinformationssystems der Charité
Integrierte Softwareumgebung zur Realisierung intelligenter Regelungssysteme
Contributions to Medical Image Registration
Graph Models for Rational Social Interaction
Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher
Cross-Layer Dependability for Runtime Reconfigurable Architectures
Ein Vorgehensmodell zur automatischen Kopplung von Services am Beispiel der Integration von Standardsoftwaresystemen / von Şeref Erkayhan
Modell- und computergestützte Planung logistischer Systeme: langfristige Optimierung von Standorten u. Lagerkapazitäten
Offene Systemarchitekturen für erweiterbare Datenbanksysteme: untersucht am Beispiel des Objektbankkernsystems OMS
Preprocessing event data in process mining
Model-based Generation of Highly Configurable RTL Designs
Beschreibung von Datenaustauschen eines verteilten Fertigungssteuerungssystems
Multiprozessorsysteme im Multiuser-Betrieb: Leistungsbewertung mit analytischen Verfahren
Entwurf selbstgetakteter Pipelinearchitekturen für hohe Datendurchsatzraten
Adaptive Regeln zum Lernen und Reproduzieren periodischer Signale mit dynamischen Netzwerken
Ein hierarchisches Konzept zur Regelung des Verkehrsablaufs auf Schnellstrassen
Automatisierte Fertigungsplanung für die numerisch gesteuerte Mehrmaschinenbearbeitung
Accelerating mono and multi-column selection predicates in modern main-memory database systems
Rechnergestützter Beobachterentwurf für bilineare Systeme
Ein Beitrag zur Integration rechnerunterstützter Bauteildarstellung und -berechnung mit der Methode der finiten Elemente
Methodik zur Konstruktion und Optimierung von Fließbandstrukturen
Sensorgeführte Programmierung bahngesteuerter Industrieroboter
Composing non-functional concerns in web services
Machine Learning Methods for the Automatic Identification of Microorganisms from Raman Spectroscopic Data
Untersuchung von Möglichkeiten zur Rationalisierung und Automatisierung des Rechenbetriebes an ESER-Anlagen
Realistic scheduling models and analyses for advanced real-time embedded systems
Supporting Early Phases of Conceptual Design in Architecture Using Case-Based Reasoning and Distributed Artificial Intelligence
A model-driven approach for organizations in multiagent systems
Selbstlernende Algorithmen zur videobasierten Absichtserkennung von Fußgängern
Information density and phonetic structure: Explaining segmental variability
Zur Verwendung des Kalman-Ansatzes für eine Verbesserung der Prognosegüte ökonometrischer Modelle
Recognizing hand-drawn diagrams in images
Benchmarking environmental machine-learning models: methodological progress and an application to forest health
Strukturelle Aspekte in der kombinatorischen Optimierung: Greedoide auf Graphen
Übertragung von Eingangsfehlern bei Modellen, dargestellt am Beispiel eines ökonometrischen Vierteljahresmodells der Bundesrepublik Deutschland
Energieeffizienz von Prozessoren in High Performance Computinganwendungen der Ingenieurwissenschaften
Ein Beitrag zur rechentechnischen Lösung analytisch formulierter, binärer Problemstellungen mit hoher Variablenzahl im Dialog
Methoden zur Beschleunigung der automatischen Testmustergenerierung und Fehlersimulation für synchrone sequentielle Schaltungen
Konzepte der Anwendungsentwicklung für und mit Multi-Touch
Adaptierbares aufgabenorientiertes Programmiersystem für Montagesysteme
Fehlerlokalisierung in prozessorinternen Kommunikationsnetzen für Vielkern-Prozessoren
Bahnführung von Robotern mit Neuronalen Netzen
Multilinguales aspektbasiertes Opinion Mining: Entwicklung eines ressourcenarmen Extraktionsverfahrens und Untersuchung von Nutzerperspektiven
Data distribution for fog-based IoT applications
Interoperabilitätstest für verfahrenstechnische Automatisierungsgeräte
Adaptation on personalized public displays driven by social context
Automated patent classification for German patent documents
Sorptionskinetische Untersuchungen zum Stoff- und Wärmetransport bei der Adsorption von Benzol in porösem Silika im Vergleich zu NMR-Selbstdiffusionsmessungen
Algorithmic aspects of grammar-compressed trees
Grafisches Roboter-Simulationssystem mit verteilter Architektur
Über Fehler-korrigierende Codekonstruktionen
Combined assessment of interconnect and equalization in data links on multilayer printed circuit boards
Object recognition and Localization: the role of tactile sensors
User-Centric Networking: Privacy- and Resource-Awareness in User-to-User Communication
Data-Driven Linkage of Virtual and Real Tests for Scenario-Based Validation of Automated Vehicles
Variables Nanodatenmanagement für eingebettete Systeme
RECAA - Werkzeugunterstützung in der Anforderungserhebung
Ein mittelstandstaugliches finanzwirtschaftliches Planungssystem: d. Entwurf e. computergestützten integrierten Systems d. Finanz-, Ergebnis- u. Steuerplanung für grössere mittelständ. Unternehmen
Better early than never: formal and pracitcal techniques for the complex system design process using virtual prototypes
Rationalisierung der Produktionsvorbereitung durch Mikrorechnereinsatz in der textilen Verarbeitungstechnik
Petri Net-based Combination and Integration of Agents and Workflows
Datentransformationen in NoSQL-Datenbanken
Geometrische und stochastische Modelle zur Verarbeitung von 3D-Kameradaten am Beispiel menschlicher Bewegungsanalysen
Beitrag zur Gestaltung von Dienstfunktionen für numerische Steuerungen auf Multiprozessorbasis (CNC) unter Berücksichtigung der unterschiedlichen Anforderungen, die bei der Entwicklung, beim Betrieb und beim Service solcher Systeme bestehen
Multimodal training of maintenance and assembly skills based on augmented reality
Monocular Visual Human Pose Parameter Estimation under Partial Observations
High performance memory communication architectures for coarse grained reconfigurable computing systems
New Data Sources for Process Mining
Verfeinerung in verschiedenen Modellen für paralleles Rechnen
Non-Volatile Processor Design for Self-Powered Embedded Systems
Semantisches Datenmodell für ein kostenorientiertes operatives Entwicklungscontrolling: konzeptionelle und externe Schemata
Konzeption eines Geo-Datenmodells unter Verwendung von Freiformkörpern auf der Basis von volume non uniform rational b-splines
Accelerator für biologienahe neuronale Netze
Towards Fast and Adaptive Byzantine State Machine Replication for Planetary-Scale Systems
Optimierung biometrischer Hash-Algorithmen für die dynamische Handschrift
A calculational approach to recursive programs with effects / von Albert Pardo
On modeling and simulation of industrial fiber spinning processes: diffusive effects, electrified jets and turbulent airflows
A formal framework for the design and specification of neural networks
Theoretisch-methodische Grundlagen zur rechnergestützten optimalen Planung von Produktion und Ressourceneinsatz in Industriebetrieben, dargestellt am Beispiel von polygrafischen und verpackungsmittelherstellenden Betrieben
Sublinear-Time Cellular Automata and Connections to Complexity Theory
Computersimulation des Umwandlungsverhaltens von Stählen bei thermomechanischer Behandlung (TMB)
Automated generation of tailored load tests for continuous software engineering
Der Computersystemvertrag: Rechtsnatur und Vertragsgestaltung einer komplexen Leistungsbeziehung
Wissensbasierte Modellierung und Regelung dynamischer Systeme mit Fuzzy-Logik
Einsatz des Intelligent Cluster Index in verteilten, dezentralen NoSQL-Systemen
Exploiting autobiographical memory for fallback authentication on smartphones
Localization accuracy of surfaces in 3-D space
Model-based Engineering for Energy-efficient Operation of Factory Automation Systems within Non-productive Phases
A Framework for Pattern Matching on Symbolic Trajectories and Tuples of Time-dependent Values
Distributed data library and tools for an MPI programming environment
Color and Texture for Outdoor Robot Navigation
Eine Rekonstruktion der LR-Theorie zur Elimination von Redundanz mit Anwendung auf den Bau von ELR-Parsern
Computergestützte Gruppentechnik mittels Clusteranalysemethoden
Zielsetzung der rechnergestützten Planung und Steuerung der Produktion im elektronischen Gerätebau: dargestellt am VEB NUMERIK "KARL MARX"
Maximum entropy models for sequences: scaling up from tagging to translation
Untersuchungen zum Zusammenhang zwischen dem allgemeinen quadratischen Optimierungsproblem und dem zugeordneten linearen Komplementaritätsproblem
Affective visualization in virtual reality systems
Texturbasierte Verfahren und interaktive 3D-Visualisierung für computergenerierte Hologramme
Entwicklung und Demonstration einer Echtzeit-Datenverarbeitung für hochauflösendes, flugzeuggetragenes Wetter-Radarsystem mit Auswertung des Dopplereffekts
Model-based learning of co-sparse representations for image processing applications
Uncertainty handling in mobile community information systems
Architectural refinement in Hets
Virtuelle Stimuli für Kundentests im Innovationsprozess
Affective analysis of videos: detecting emotional content in real-life scenarios
Korpus-basierte effiziente Informationsextraktion und Grammatikinduktion der natürlichen Sprachen
Efficient, near complete and often sound data race prediction
Reducing resource waste in HPC through co-allocation, custom checkpoints, and lower false failure prediction rates
Automatisches Indexieren als Erkennen abstrakter Objekte
Empirische Analyse von Anwendungen quantitativer Marketing-Planungsmodelle
Secure cryptographic hardware: assessing logic-locking and fault attack vulnerabilities
Issue-based Model Review
Privatheit und Datenschutz in der intelligenten Überwachung: Ein datenschutzgewährendes System, entworfen nach dem "Privacy by Design" Prinzip
Identifikation soziologischer Systeme
Untersuchung der Möglichkeiten und Grenzen graphentheoretischer Methoden bei der rechnergestützten Konstruktion elektronischer Blöcke, insbesondere beim Entwurf von Einebenenleiterplatten
Subjekt und Computerkultur: zum Verhältnis von Mensch und Technik
Verfahren zur kamerabasierten Instrumentennavigation am Beispiel der HNO-Chirurgie
Langfristige Personalstrukturprognose mit Computersimulation: theoretische und methodische Grundlagen sowie Implementation eines Simulationsmodells
Patternbasierter Ansatz zur Entwicklung von verteilten Krankenakten - Kernbestandteil einer Pattern-Sprache zur Beschreibung und Entwicklung von Softwaresystemen für verteilte Krankenakten
Biopsychologie computerbasierten Lernens: physiologisches Aktivierungsgeschehen und visuelles Explorationsverhalten in mentalen Anforderungssituationen
Videotex - zivilrechtliche Aspekte
Zur Optimierung der Identifikation organischer Stoffe mit der Schwingungsspektroskopie
Konzept, Methoden und Werkzeuge für ein universelles Netzmanagement
Adaptive Umweltmodellierung für kognitive Systeme in offener Welt durch dynamische Konzepte und quantitative Modellbewertung
Natürlichsprachliche Dialoge mit mobilen Robotern auf der Basis einer ressourcenadaptiven Referenzsemantik räumlicher Umgebungen
Entwicklung und Einführung eines Projektmodells für kritische IT-Projekte
Template-basierte Klassifikation planarer Gesten
Computer Science and Abstract Thinking: Concept, Assessment, Training
Automatische Bildverarbeitung für die Qualitätssicherung
MIZAR verification of generic algebraic algorithms
Immersive Telepresence Systems and Technologies
Der Transfer in der maschinellen Sprachübersetzung
Stochastic and deterministic methods for 3D shape registration
Scalable and Distributed Resource Management for Many-Core Systems
Discovery of ill-known motifs in time series data
Virtuelle Realitäten als Herausforderung für Politik, Wirtschaft und Gesellschaft
Integrierte Sicherheitskonzeptionen für Unternehmen: Stand und Perspektiven
Analyse und Synthese von Trägern in elektronischen Verfahren zur Quantisierung von Bildern