yusuke1997/dblp-id-title huggingface dataset:
Problemanalytischer Ansatz zur Dimensionierung und Strukturierung von Teilefertigungen des Maschinenbaues im Rahmen der technologischen Betriebsprojektierung
Flash-aware Database Management Systems
Ausgewählte Vergleiche regelbasierter Expertensysteme mit konventionellen Verfahren zur betrieblichen Entscheidungsunterstützung
Anwendung der Fuzzy-Logik in automatisierungstechnischen Entscheidungsstrukturen
Reverberating Brain Bits: Scrutinizing Information Routing by Synchronization
Die rechtliche Einheit von Hardware und Software
Ein Verfahren zur linearen Optimierung
On power system automation: A Digital Twin-centric framework for the next generation of energy management systems
Ein Datenakquisitionssystem für passive Messungen in Telekommunikationsnetzwerken
Eine überlappende Gebietszerlegungsmethode zur Parallelisierung der Lösung von parabolischen Differentialgleichungen
Analyzing memory accesses for performance and correctness of parallel programs
Gerätetechnisch unterstützte Abwehr ungewünschten Eindringens schädlicher Programme in Rechnersysteme und -netze
Funktionelle Verifikation synchroner, digitaler Systeme
Shallow discourse parsing for German
Remeshing-Algorithmen für dreidimensionale Finite-Element-Simulationen von Umformprozessen
Watching people fail: fostering diagnostic competences with peer feedback on erroneous cognitive modeling examples
Reconsideration and extension of Cartesian genetic programming
An architecture for distributed databases on workstations
Mining user-generated content for incidents = Auswertung von nutzergenerierten Inhalten für Schadensereignisse
Speicherdimensionierung hybrider ATM-Koppelelemente
Molekulardynamische Computersimulation von Chlorwasserstoff in wässriger Lösung
Näherungen für die Verzerrung und die Varianz einer Klasse autoregressiver Schätzverfahren
On the usage of reputation information in the internet of services
Modelling and inferring connections in complex networks
Mortality Modeling: Machine Learning and Mortality Shocks
Stable matchings beyond stable marriage: models, algorithms, complexity
A User-Centered Approach to Solving the Tourist Trip Design Problem for Individuals and Groups
Probabilistische Erkennung von 3d-Freiformobjekten mit Bayesschen Netzen
Wagenumlaufplanung bei begrenzten Betriebshofkapazitäten: ein Mehrgüterflussmodell zur Planung des Fahrzeugeinsatzes im fahrplangebundenen öffentlichen Personennahverkehr
Achieving Collaboration In Distributed Systems Deployed Over Selfish Peers - An Illustrative Case Study With Publish/Subscribe
Generierung von Spezifikationen betrieblicher Anwendungssysteme auf der Basis von Geschäftsprozeßmodellen
Supporting continuous media communications and applications by exploiting their special characteristics
Leichtgewichtige Betriebssystemdienste für ressourcengewahre Anwendungen gekachelter Vielkernrechner
Reasoning about terminating functional programs
Wrapper algorithms and their performance assessment on high-dimensional molecular data
Flocking and formation as mission control strategies for multi-agent systems: comparative evaluation and development of a cooperative approach
Configurable nD-visualization for complex Building Information Models
Specification and Analysis of Software Systems with Configurable Real-Time Behavior
A multimodal biosensor-based system with compatibility for telemonitoring and epidemiological services
Aspekte der Schiffsmaschinenraum-Automatisierung mit Mikrorechentechnik aus der Sicht der kubanischen Schiffahrt
Digitalization of mobility: understanding the transformational impacts of pervasive digital technologies on business models in the mobility sector
Effektivität und Qualitätssicherung bei der Herstellung von Multimediaapplikationen
Adaptable code generation of consistent and customizable data-centric applications with MontiDEx
Untersuchung kardialer Mikropotentiale durch Anwendung der Mikrorechentechnik und ihre Beziehung zu klinisch elektrophysiologischen Befunden
Architektur für einen Verzeichnisdienst in der serviceorientierten Produktionstechnik
Numerische Methoden in der optimalen Versuchsplanung
Automatische Erkennung von Unkrautarten im Keimblattstadium mit digitaler Bildverarbeitung
Nutzung einer Systemkonzeption im modell- und rechnergestützten Entscheidungsprozess der Jahresproduktionsplanung, dargestellt am Beispiel der konzeptionellen Etappe im VEB Kombinat Lacke und Farben Berlin
Analytische Kollisionskontrolle für die NC-Fertigung
Prozessintegrierte Dokumentation und optimierte Wiederverwendung von Simulationsmodellen der automobilen Funktionsabsicherung
Design and applications of an interoperability reference model for production e-science infrastructures
Evidence-based practice and scientific reasoning in social work
Fault-tolerant radio coverage and connectivity in wireless mesh networks
Heap-based reasoning about asynchronous programs
Design of efficient and correct algorithms: theoretical results and runtime prediction of implementations in practice
Multiprozessor mit dynamisch variabler Topologie
Objektorientierte Modellierung mechatronischer Systeme am Beispiel geregelter Roboter
Ein Beitrag zur Bildfolgenverarbeitung der Gebärdensprache in Videobildern
Multi-modal post-editing of machine translation
Monadic Parametricity of Second-Order Functionals
Maschineller Erwerb lexikalischen Wissens aus kleinen und verrauschten Textkorpora
Beratungssystem zum Entwurf von Prozessführungskonzepten für Rektifikationskolonnen mit Seitenabzug
Gesundheitsökonomische Auswirkungen von Expertenwissen und künstlicher Intelligenz im Rahmen der Diagnostik seltener Erkrankungen
A reliability-aware fusion concept toward robust ego-lane estimation incorporating multiple sources
Automatische Bildauswertung zur dynamischen Schielwinkelmessung bei Kleinkindern und Säuglingen
On the Usability of Wireless Sensor Networks in Smart Farming Applications
Autonome Fahrzeugführung durch Rechnersehen
Knowledge design of digital subcultural heritage: heuristics from curating creativity, aesthetics and culture of the "Demoscene"
Learning Low-Dimensional Representations With Application to Classification and Decision-Making
Analyzing human processing of text: evidence from NeuroIS
Durch klimatische Szenen erzeugte topologische Räume
Effective and efficient reuse with software libraries
Informations- und Dokumentationssystem für das prozessorientierte Qualitätsmanagement
Information und Entropie: ökologische Perspektiven des Übergangs zu einer Informationswirtschaft
Hybride und hierarchische Modellierung zur Reduzierung der Rechenzeiten bei Simulationsuntersuchungen einer Klasse von Multiprozessorsystemen
Untersuchung des Verhaltens von Echtzeitoperationssystemen mit Hilfe der digitalen Simulation
Theorie eines Halbleitersystems zur Realisierung der Ordnungsparameterdynamik eines Synergetischen Computers
Weighted Parsing Formalisms Based on Regular Tree Grammars
Zur Gestaltung von Software-Systemen für rechnergestützte Ingenieur-Arbeitsplätze im Verfahrensingenieurwesen, insbesondere in der Anlagenprojektierung
Interactive volume visualization in the context of virtual radiotherapy treatment planning
Hardware-conscious techniques for efficient and reliable stateful stream processing
State Estimation for Distributed Systems with Stochastic and Set-membership Uncertainties
Specification Mining in High dimensional Heterogeneous Data Sets of Large-Scale Distributed Systems
Zur nichtlinearen Netzwerksynthese von Integrodifferentialgleichungssystemen und Synthese von Vierpolen zur Umwandlung der Form periodischer Funktionen
Analytic and Learned Footstep Control for Robust Bipedal Walking
Skalierbare Gruppenkommunikationsunterstützung für ATM-Netze
Gaze and visual scanpath features for data-driven expertise recognition in medical image inspection
Experimentelle Expertsysteme für röntgenologische Diagnostikaufgaben unter Verwendung eines unscharfen Systemkonzeptes
Methoden zur Lösung von Aufgaben der optimalen Steuerungen mit engen Zustandsbereichen
Prioritized justification based nonmonotonic logic and its applications
Übersetzung und Optimierung relationaler Anfragen am Beispiel der Datenbanksprache SQL
On Successive Cancellation Decoding of Polar Codes and Related Codes
Concepts & design of integrated circuits for bidirectional neural interfaces
Towards implicit parallel programming for systems
Formal verification of cryptographic security proofs
Eine Dekompositionsmethode zur optimalen Bemessung von Tragwerken unter dynamischer Belastung
Physically-Based Inverse Problems for High-Quality 3D Reconstruction
Verfahren zur Lösung konkaver Optimierungsaufgaben auf der Basis eines verallgemeinerten Erweiterungsprinzips
Analysis, design and evaluation of a framework for the modularization of service systems
Data-driven Methods for Fault Localization in Process Technology
CIMAWA: Entwicklung und Anwendung einer textbasierten Assoziations-Berechnungsmethode
The Deceptive Angle: Threat Intelligence and Resiliency for Industrial Information Assurance
Human Factors in Secure Software Development
Simulation störanfälliger Systeme: preisorientierte Modelle u. deren Einsatz auf Microcomputern zur betriebswirtschaftl. Bewertung von Störungen komplexer Systeme
Die entscheidungstheoretisch fundierte Organisation der Investitionsentscheidung im Industrieunternehmen
Improving interpolants of non-convex polyhedra with linear arithmetic and probably approximatley correct learning for bounded linear arrangements
Der PPS-CAx-CIM-Markt Schweiz: eine Untersuchung über den Anwender- sowie den Anbietermarkt
Experimentelle Untersuchungen zur Bewertung von Einflüssen beim Lesen von Strichcodes mit Laserscannern
Analyse, Akquisition und Verarbeitung distribuiert vorliegenden Wissens zur Diagnose von Kraftfahrzeugsystemen
Über den Einsatz von CI-Methoden bei der Ressourcen-Verwaltung in Hochgeschwindigkeitsnetzen
Vollständige modale Synthese linearer Systeme und ihre Anwendung zum Entwurf strukturbeschränkter Zustandsrückführungen
In-Network Processing Algorithms for Cooperative Networks
Unterstützung kooperativer Dokumentenbearbeitung in Weitverkehrsnetzen
Evaluation of forward modeling inaccuracies and spatio-temporal source reconstruction for EEG/MEG data analysis in human brain research
Multiscale algorithms in discrete optimization
Computerunterstützte Materialflussplanung für Warenverteilsysteme
Rechnerunterstützte Gestaltung ortsgebundener Montagearbeitsplätze, dargestellt am Beispiel kleinvolumiger Produkte
Shape mining: knowledge extraction from engineering design data
Automatische Parallelisierung und parallele Gitterbasisreduktion
Konkordanzen in langen Zeichenketten
Towards a Specification-based Quality Guarantee for Geo Raster Web Services
Ein System zur Erfassung und rechnergestützten Auswertung paläogeographischer Daten
Objektorientiertes Qualitätsinformationssystem: Referenzmodell und Realisierungsansätze
PC-gestützte Erfassung reduzierter Spektren und Peakprofile in der Massenspektrometrie: Untersuchung des elektronenstoss-induzierten Zerfalls ausgewählter Trimethylsilyloxyanthrachinone
Numerische Simulation von Scherschichten mit der Discrete-vortex-Methode
Enhancing Data Flow Tracking for Data Usage Control
Nonmonotonic reasoning based on minimal models and its implementation
Context-Sensitive Description Logics in Dynamic Settings
Theorembeweisen mit Rewrite-Techniken: Methode, Strategien und Vergleiche
Intents and preferences prediction based on implicit human cues
Charakterisierung akustischer Eigenschaften des spontanen Neugeborenenschreis in den ersten drei Lebenstagen in Abhängigkeit vom Geburtsmodus
Untersuchungen zur Steuerung von Regalförderzeugen durch Bildverarbeitung
Schnelle parallele Fehlererholung in verteilten In-Memory Key-Value Systemen
Weakly Selective Training induces Specialization within Populations of Sensory Neurons
Modellbildung, Klassifikation und Bewertung von Algorithmen in der Datenkompression
Modellgetriebene Software-Migration
Language support for dynamic and evolving software architectures
Konstruktion und Anwendung einer maschinellen Aufmerksamkeitssteuerung für komplexe Bildfolgen
Die Schnittstelle des Menschen zu seiner Umwelt
Erfolgsgrößen von Dienstleisterportalen im Electronic Business: am Beispiel des Finanzdienstleistungsmarktes
Unmasking fault tolerance: quantifying deterministic recovery dynamics in probabilistic environments
Thresholds for Matchings in Random Bipartite Graphs with Applications to Hashing-Based Data Structures
Security through safety: an approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
Expressivity and definability in extended modal languages
Active data selection in supervised and unsupervised learning
Ein Beitrag zur heuristisch-numerischen Energieintegration
Aspect-Oriented Sentiment Analysis of Customer Reviews Using Distant Supervision Techniques
Analysis and manipulation of repetitive structures of varying shape
Entwurf eines Lehrprogramms zum Stoffgebiet Datenstrukturen unter Nutzung von LEFO und Vorschläge für die Verbesserung und Realisierung der Lehrprogrammformulierungssprache
Ermittlung optimaler Instandhaltungsintervalle für Vermittlungseinrichtungen nach einer Verlustfunktion
Spektralschätzung und Identifikation mechanischer Systeme mittels Kurz-Zeit-Fourier-Analyse
Zur vollständigen und expliziten Lösung spezieller linearer diskreter L1-und L∞-Approximationsprobleme
On meta modeling for communication in operational process control engineering
Verfahren und Algorithmen der robusten Synchronisation für die Datenübertragung über dispersive Schwundkanäle
System integration in the design process of the manufacturing industry based on OMG and ISO standards
Eine Klassifizierung von Unabhängigkeitssystemen
Efficient range and image data processing - algorithms and software paradigms
Verbundoptimierung und Realisierung echtzeitfähiger blinder Kanalentzerrungs- und Synchronisationsmodule
Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving
Die Anwendung der dynamischen Optimierung beim Entwurf ebener Fachwerkkonstruktionen
Analysis and design of data-driven business models / submitted by Babett Kühne
Einsetzbarkeit und Wertigkeit eines kontinuierlich speichernden Langzeit-EKG-Systems mit Realtimeanalyse, Festkörperspeicher und computerassistierter Auswertung in der Diagnostik und Behandlung von Herzrhythmusstörungen im Kindesalter
Mustererkennung mit optisch generierten Korrelationssignalen in einem Hybriden optisch-digitalen Prozessor
Ein Beitrag zur rechnerunterstützten Konstruktion und Fertigung von Fliesspresswerkzeugen
State-based timing analysis for distributed systems
On-Line-Identifikation dynamischer Randnetze aus gemessenen Netzzustandsänderungen
Architectures based on Oblivious RAM for Enhancing User Privacy and their Applications to Genome Processing
Speicherverwaltung für konzeptionell strukturierte verteilte Systeme
Integrating and managing AI in organizations: archetypes of AI in organizational design
Ein flexibles Mehrrechnersystem zur Steuerung technologischer Ausrüstungen der Mikroelektronik-Montage auf der Basis selbstdokumentierender Softwaremodule
Die Lévy-Hinčin-Formel für Faltungshalbgruppen komplexer Masse auf homogenen Räumen
GSM passive coherent location signal processing: impact on system performance
Interaktive Programmierung von Manipulationssequenzen
Study and Analysis of Knowledgebase of Molecular Systems and to Develop Model for Prediction of Molecular Structure
How to deploy security mechanisms online (consistently)
Computerlernprogramme in der Medizin: eine Übersicht
Nutzungserlebnis im Elektrofahrzeug: Gestaltung und Untersuchung einer multimodalen Energie-Schnittstelle
An integrated approach to simulation based learning in support of strategic and project management in software organisations
Distributed management of grid-based scientific workflows
Attention-Based Point Cloud Sampling
Efficient data mining algorithms for time series and complex medical data
Structural and Evolutionary Analysis of Developer Networks
A preference-based relevance feedback approach for polyrepresentative multimedia retrieval
Zur Entwicklung eines lernfähigen, behaviorbasierten Systems
Fehlertoleranz durch Kombination von statischer und dynamischer Redundanz
Einfluss "intelligenter" Maschinen auf menschliches Verhalten
Bioinformatics pre-selection of thioredoxin/glutaredoxin target proteins for the construction of cellular redox regulatory network
Stilstatistische Unterscheidung genuiner und simulierter Suizid-Abschiedsbriefe: zur Entwicklung e. automatisierten Verfahrens
A data communication protocol to provide support for unidirectional data transfer
Semantics for the Web of Things: Modeling the Physical World as a Collection of Things and Reasoning with their Descriptions
Self-organizing control of networked systems
A flexible framework for investigating chromatin state trajectories
Ein abstrakter Implementierungsbegriff für die Spezifikationssprache OBSCURE
Camera Re-Localization with Data Augmentation by Image Rendering and Image-to-Image Translation
Ein effizienter Ansatz zur Übersetzung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
Bestimmung kostenminimaler Spannungen auf Graphen zu Problemen mit und ohne Unimodularitätseigenschaft
Selected Cryptographic Methods for Securing Low-End Devices
A Language-centered Approach to support environmental modeling with Cellular Automata
Hybrid approaches for sentiment analysis
Zur algorithmischen Synthese von schnellen Programmen
Arztbriefverwaltung und -auswertung mit dem Literaturarchivierungs- und Recherchesystem LARS
Software-Management und Unternehmensberatung, anwendungsorientierte Analyse der Berater/Klienten-Interaktion bei Softwareprojekten
Informationsschreiben in der IT-Branche: ein Leitfaden und Qualitätsprüfungsverfahren
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Konvergenz und Überwältigung: die Mythen der Künstlichen Intelligenz aus theologisch-ethischer Perspektive
Konstruieren im Verbund von Expertensystem, CAD-System, Datenbank und Wiederholteilsuchsystem
Numerical analysis of long-run properties for Markov population models
Synthesis of asynchronous distributed systems from global specifications
Type systems for computer algebra
Zur Klassifizierung empirischer Funktionen geowissenschaftlicher Daten
Rechnerunterstützte Ziehteilauslegung mit elementaren Berechnungsmethoden
Entwurfsszenario für Multimedia-Anwendungen und ihre Implementation mit relationalen und objektorientierten Datenbanksystemen
Mechatronic Processing Objects - Eine verarbeitungsorientierte Modellrepräsentation als Basis einer offenen Entwurfsumgebung für mechatronische Systeme
Efficient algorithms for on-line scheduling and load distribution in parallel systems
Orometry, intrinsic dimensionality and learning: Novel insights into network data
Methoden zur Planung und Einführung rechnerintegrierter Produktionsprozesse
Synthesized view distortion computation by rendering for depth map encoding
Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem
Learning deep visual features for Minimum Cost Multicut Problem
Untersuchungen zur Prüfstrategie digitaler Komponenten und Systeme im VLSI-Niveau: ein Beitrag zur rechnergesteuerten Mess- und Prüftechnik
Beitrag zur formalen Beschreibung von Objekterkennungsaufgaben unter dem Aspekt einer programmtechnischen Realisierung der Erkennungsalgorithmen
Combinatorial and information-theoretic aspects of tree compression
Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen
Ein dezentrales Agentensystem unter Berücksichtigung von mehrseitiger Sicherheit
Avantgarde der Computernutzung: Hackerkulturen der Bundesrepublik und der DDR
Latent structured models for video understanding
Beitrag zur Gestaltung rechnergestützter Konstruktionsverfahren unter dem Aspekt der Anpassung an die Bedingungen im betrieblichen Reproduktionsprozess
Empowering Medical Laboratories with Automated AI and Big Data Approaches to Genomics-Based Diagnostics
Assoziatives diagnostisches Problemlösen mit dem Expertensystem-Shell MED 2
Verification of asynchronous hyperproperties
Learning to Learn Neural Representations with Limited Data and Supervision
Rechnerunterstützter Entwurf digitaler Systeme unter Nutzung der Registertransfersprache FBS
Informationstheoretische Untersuchungen zur Vektorquantisierung von sphärisch invarianten Sprachmodellprozessen
Der rechtliche Schutz bei der Nutzung von Social Networks
Kopplung von zeitdiskreten, domänenspezifischen Simulationsmodellen an Prozessmodelle der BPMN 2.0
Untersuchungen zur Entartung linearer Optimalsteuerprobleme
Improving interactive rendering of volumetric effects in computer graphics and visualization
Interactive segmentation, uncertainty and learning
Zu einigen Problemen des Diagnostizierens von Schülerleistungen im Mathematikunterricht auf der Grundlage von Leistungsermittlungen unter Nutzung der EDV: e. Unters. zur Begründung method. Empfehlungen
Informatik-Sicherheitsmanagement: eine Herausforderung für die Unternehmensführung
Implementation von Primitiven und höheren Sprachkonstrukten zur Prozesskoordination
The power of frequency hopping and information dissemination in constrained communication models
Design-Space Exploration of Biologically-Inspired SNN Models for Application-Specific Many-Core Systems
Eine Constraint-basierte Modellierung für geometrische Objekte
Helena: Handling massively distributed systems with ELaborate ENsemble Architectures
Goal babbling for an efficient bootstrapping of inverse models in high dimensions
The QDAcity-RE-RS Method for Creating Complete, Consistent, and Traceable Requirements Specifications
Parasitic tracking for ubiquitous augmented reality
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen = Indicator-based detection and compensation of inaccurate and incompletely described software requirements
Nichtlineare Informationsverarbeitung in biologischen und technischen Sehsystemen: eine Analyse mit Volterra-Reihen und Statistiken höherer Ordnung
Optimisation of LHCb Applications for Multi- and Manycore Job Submission
Stichprobenbasierte Assoziationsanalyse im Rahmen des knowledge discovery in Databases
Synchronisation in parallelen Datenbanksystemen
Detection of KRAS Synthetic Lethal Partners through Integration of Existing RNAi Screens
Parallele Computergraphik und Animation mit Transputern
Approximate string matching for high-throughput sequencing
A parallel prolog execution model implemented on the PESA-P multiprocessor architecture
Strukturen und Werkzeuge für eine durch das Anlagenpersonal modifizierbare und ergänzbare Petrinetzanlagensteuerung: automatische Generierung übersichtlicher Petrinetze und optimaler Abläufe durch Aufspaltung in eine vom Systemingenieur zu implementierende Anlagenbeschreibung und eine vom Facharbeiter vorgebbare Anlagennutzung
Computergestütztes Informationsmanagement für das Fertigungssystem Kleben
Ein Beitrag zur Problematik des Prozessrechnereinsatzes an Kernkraftwerken: Teil A. Messwerterfassung und Störsignalanalyse (Joe Klebau) ; Teil B. Digitale Tiefstfrequenzfilter und Methoden zur Bestimmung des Übertragungsfaktors analoger und digitaler Filter (Steingroewer, Günter)
Untersuchungen zur Projektierung und Implementierung von relationalen Datenbanken
Zur Verwendung der computerunterstützten Simulationstechnik im Rahmen der betrieblichen Finanzplanung
Dynamische Übertragung von Information in nichtlinearen Systemen
Modellgetriebene Entwicklung von Steuerungssoftware auf Basis der UML unter Berücksichtigung der domänenspezifischen Anforderungen des Maschinen- und Anlagenbaus
Möglichkeiten der Rationalisierung des Entwurfsprozesses der Datenverarbeitungsprojektierung durch seine dialogorientierte Gestaltung
Deep learning on point clouds with applications in vehicle self-localization
Mobiles Internet im Unternehmenskontext: Webtechnologien als technische Basis für Geschäftsanwendungen auf mobilen Endgeräten
Reputation object representation model for enabling reputation interoperability
Latency-aware digital audio processing on Linux
Computergestützte Kennzahlen-Analysesysteme