yusuke1997/dblp-id-title huggingface dataset:
Feature model-based software product line testing
Unittests für die Klimamodellentwicklung
Normalization of Horn clauses with disequality constraints
Modellmethodologie und optimale Bestellmenge: Grundriss e. Methodologie d. Modellkonstruktion, konkretisiert am Modell d. optimalen Bestellmenge
Spezifikation und Implementationsaspekte eines Datenbanksystem auf der Basis des erweiterten NF2-Modells zur Dokumentation medizinischer Befunde
Ein mathematisches Modell für die Planung prophylaktischer Instandhaltungsmassnahmen an Energieanlagen unter Berücksichtigung von Ressourcenbeschränkungen: Lösungsverfahren für ganzzahlige Optimierungsaufgaben spezieller Struktur
Discovering lesser known molecular players and mechanistic patterns in Alzheimer's disease using an integrative disease modelling approach
Entwicklung eines Datenverarbeitungssystems zur integrierten Erfassung und Auswertung von Versuchs- und Produktionsdaten der Versuchsstation Thalhausen
Sprachsegmente in der Spektralanalyse: Parameter zur Präzisierung der Sprechererkennung auf der Grundlage der spektralen Intensitätsverteilung
How to Raise Users' Awareness of Online Privacy: An Empirical and Theoretical Approach for Examining the Impact of Persuasive Privacy Support Measures on Users' Self-Disclosure on Online Social Networking Sites
Gesprochener Mensch-Maschine-Dialog
Blockchain-basiertes virtuelles Geld
Conserve and protect resources in software-defined networking via the traffic engineering approach
Asymptotic Analysis and Design Optimization for Periodic Perforated Shells
Schnelle automatische Differentiation, Einschliessungsmethoden und Anwendungen
Die Anwendung automatisierter Textverarbeitung zur Rationalisierung informationeller Arbeitsprozesse unter besonderer Berücksichtigung der Erfordernisse des Hochschulwesens
A statistical perspective on learning of time series in neural networks
On diaginalizations over complexity classes
Physical-layer security architectures for the internet of things
Memory and interface architectures for invasive tightly coupled processor arrays = Speicher- und Schnittstellenarchitekturen für invasive eng gekoppelte Prozessorfelder
Large state spaces and large data: Utilizing neural network ensembles in reinforcement learning and kernel methods for clustering
Ein Beitrag zur Planung und Überwachung gleisloser Transportsysteme im Steinkohlenbergbau unter Tage
Gleichgewichtspfade für Ökonomien mit variierenden Daten
Rechnergestützte Produktionsplanung und -steuerung: effizienzorientierte Auswahl anpassbarer Standardsoftware
Sui-generis-Schutz für Datenbanken: die EG-Datenbankrichtlinie vor dem Hintergrund des nordischen Rechts
Ein Beitrag zur rechnerinternen Modellierung technischer Gebilde für das rechnergestützte Konstruieren mit grafischem Dialog
Advanced EEG signal processing with applications in brain-computer interfaces: evaluating user focused paradigms for the purpose of enhancing brain-computer interaction
Bildschirmtext im Einzelhandel: Chancen, Risiken u. künftige Handlungsspielräume für d. Marketing
Kartographische Potenziale fotorealistischer und non-fotorealistischer Texturen für die Nutzung virtueller 3D-Stadtmodelle
Convex Relaxation of Variational Models with Applications in Image Analysis
Dynamische Strukturen in lokal gekoppelten neuronalen Netzwerken
Ein formales Modell der graphischen Darstellung von Daten
Exploring the organizational impact of software-as-a-service on software vendors: the role of organizational integration in software-as-a-service development and operation
Large-scale approximate EM-style learning and inference in generative graphical models for sparse coding
A dynamical model for the perceptual organization of apparent motion = (Ein dynamisches Modell für die perzeptuelle Organisation von Scheinbewegung)
Structure and convergence of Jacobi type methods for matrix computations
Learning collective behavior in an experimental system of feedback-controlled microswimmers
Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power
VoIP performance of the relay-enhanced IEEE 802.16m wireless broadband system
Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen
Untersuchungen über Ursachen und Wirkungen des räumlichen Aliasings in der seismischen Datenbearbeitung, insbesondere bei der Migration
3D-Bildsegmentierung mittels statistischer Formmodelle: Korrespondenzfindung, Modellierung, Segmentierung und ihre wechselseitigen Abhängigkeiten
Tracking von Menschen und menschlichen Zuständen
Die Bewertung von Software-Entwurfsmethoden: e. anwenderorientiertes Verfahren zur Ausw. von Entwurfsmethoden auf d. Grundlage d. Nutzwertanalyse
Phonetische Entscheidungsbäume für die automatische Spracherkennung mit großem Vokabular
Parallel In-memory Data Processing using Modern Hardware
Mathematische Modellierung eines Festbettreaktors für die Fischer-Tropsch-Synthese unter besonderer Berücksichtigung der Methanbildung
Parametrization Based Quad Meshing in Practical Applications
Trajektorienverfahren zur Lösung nichtlinearer Optimierungsaufgaben
Verfahren zur Aufnahme und simultanen Analyse von einfachen dreidimensionalen Szenen
Beitrag zum effektiven Einsatz von Bearbeitungszentren unter besonderer Berücksichtigung des Hilfszeitverhaltens
Kommunikation in hierarchischen Speichersystemen
Interactive data annotation for virtual reality applications
Morphometrische und densitometrische Untersuchungen an Gliomen mit Hilfe der automatischen Mikroskopbildanalyse als Basis einer objektivierten Klassifizierung und Gradierung
Mikromagnetische Rechnungen an isolierten und eingebetteten Strukturen
A temporal logic approach to iInformation-flow control
Computerassistierte Vaskularisationsanalyse von Mammatumoren mit dem Echosignalverstärker SHU 508 A (Leovovist) sowie 3D-Ultraschall
Electroencephalographics: A Novel Modality for Graphics Research
Beitrag zur Entwicklung von CAD-Basissystemen
Computergestütztes Investitions-Controlling in Filialunternehmen des Einzelhandels
Integrated behavior modeling of space-intensive mechatronic systems
Maschinelle Generierung von Empfehlungen zur Lehr-/Lernunterstützung im Hochschulkontext
Teleradiologie im Vergleich der Gesundheitssysteme - eine ökonomische Beurteilung anhand der neuen deutschen Gesetzgebung
Entwicklung der Grundlagen eines automatischen Entflechters auf der Basis eines allgemeingültigen Parallelrechner-Modells
Verfahren für die hierarchische Codierung von Einzelbildern in medizinischen Bildinformationssystemen
Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen
Entwicklung von parallelen Rechnersystemen zur Hardwareimplementierung neuronaler Netze
Ein Beitrag zur Zuverlässigkeitserhöhung auf der Ebene der Elemente mikrorechnergestützter Leitsysteme der Elektroenergieversorgung
Parallel algorithms for optimization of dynamic systems in real-time
Simula und Simulation kombinierter Modelle
Navigating in complex process model collections
Einsatzplanung von Hydraulikbaggern mit Hilfe der EDV
Roboterkinematik: Grundlagen, Invertierung und symbolische Berechnung
Eine SPARQL-Schnittstelle für OData-Services
Entwicklung eines tiefenwahrnehmenden Scheinwerfer-Kamera-Systems
Modeling and Analysis of Software Defined Virtual Mobile Core Networks
Contributions to mechanical proofs of correctness for compiler front ends
Automatische Plazierung für Dickschicht-Hybridschaltkreise
Ellipsis - Konzeption und Implementierung einer vereinheitlichten und leistungsfähigen Architektur für Multi-Agenten-Systeme (MAS) auf Basis frei verfügbarer IT-Infrastrukturkomponenten unter besonderer Berücksichtigung internationaler Standards
Monokulares Computer-Sehen: ein Gestalt-Ansatz
A Dualities-Consolidating Framework to Support Systematic Programming Language Design
Efficient audio communication over heterogeneous packet networks with wireless access
Language Grounding in Vision
Computergestützter Sequenzvergleich mit Sequenzwörtern
Dynamic language models for hybrid speech recognition
Ausführbarkeitstest und Scheduling-Algorithmen in dynamischen Mehrprozessorsystemen
Medien in Japan: der Einfluss neuer Medien auf die Entwicklung traditioneller Medien in Japan
Transaktionen in föderativ verteilten Datenbanken
Ein neues Verfahren zur robusten Lösung stationärer Arbeitspunktprobleme im elektrischen Energienetz
Ein Beitrag zur Verwendung rationaler Zahlen in Public-key-Kryptosystemen
Wortwahl in Fachsprachen: Analysen und automatische Erstellung einer individuellen Wortempfehlung am Beispiel der Informationstechnik
Entwicklung und Evaluation eines berührungslosen Bedienkonzeptes für eine stereoskopische maritime Lagedarstellung
Ein ebenes Bahnzerlegungsverfahren als Grundlage für die rechnergestützte Ermittlung von Werkzeugwegen zur NC-Fräsbearbeitung skulpturartiger Flächen
Modellbasierte Entwicklung funktional sicherer Hardware nach ISO 26262
Spezifikationsstile und Entwurfswerkzeuge für Kommunikationsprotokolle im Echtzeitbereich
Vorprozessoren: ein Beitrag zur stochastisch-ergodischen Messtechnik
Einflüsse der Computertätigkeit auf die Denkweise von Ingenieuren an einer Forschungseinrichtung
Betriebswirtschaftliche und leitungsmässige Anforderungen an die Struktur und Speicherung der Daten für die Gewährleistung einer planmässigen und reaktionsschnellen Angebotstätigkeit
Authentifizierung von Audiodaten mittels inhalts-fragiler Wasserzeichen
Funktionale Prozeßsprachen höherer Ordnung
Individualized situation recognition using approximate case-based reasoning
Dealing with Dependence in the End-to-End Performance Analysis in Stochastic Network Calculus
NewsSIEVE: ein selbstadaptiver Filter für textuelle Informationen
Entwurf und Aufbau einer Steuerung für ein Rastergrafiksystem
Development and test of a high performance multi channel readout system on a chip with application in PET/MR
An object oriented design methodology for hard real time systems: the OOHARTS approach
Impact of variety and control on users' reactions to recommender systems: exemplary application diversifying users' meal choices
Improved software cost estimation: a robust and interpretable modeling method and a comprehensive empirical investigation
Aufbau eines computergestützten Spektralanalysesystems für Sprachschall
Stigmergy-based Load Scheduling in a Demand Side Management Context
Usability parameters of learning-effectove visuals in geography textbooks: challenges and opportunities for geographical knowledge construction through geography textbook visuals
Verfahren zur Planung des Einsatzes von Cyber-Physischen-Systemen in der Produktion
Modellvisualisierung für die Spezifikationssprache ADORA
Lastverteilung in heterogenen Systemen
Entwicklung eines Softwaresystems zur Chemotherapieplanung maligner Erkrankungen im Kindesalter (CHEMO-PLAN)
Uncertainty estimation for object detection using deep learning approaches
Berechnung heterogener Gasgleichgewichte und Datenanalyse in der IR-Spektroskopie: Beiträge zum Computereinsatz in der Chemie
Ein Referenzmodell zum Wertbeitrag der IT
Hochaufgelöste Oberflächenbestimmung von Natursteinen und Orientierung von Bildern mit dem Facetten-Stereosehen
Computer Vision and Deep Learning Methods for Measuring and Modeling Animal Behavior
Überlaststeuerung bei Sprachübertragung in lokalen Kommunikationssystemen mit TOKEN-Zugriffsverfahren
Disaggregation von Haushaltsenergiemessdaten mit tiefen neuronalen Netzen
Mitigating Soft-Biometric Driven Bias and Privacy Concerns in Face Recognition Systems
Secure cloud computing in legal metrology
Dynamische neuronale Feldarchitektur zur Steuerung autonomer Systeme am Beispiel der Wegeplanung eines mobilen Roboters
Simulation von Fertigungssystemen: Anforderungen u. Methoden zur Modellerstellung
Didaktische und technische Grundlagen der Teachwareentwicklung
Uncovering dynamics: Learning and amortized inference for state-space models
Three-dimensional rule based continuous soil modelling
Unendliche Objekte und Geflechte
Visual Analysis for Graphs, Networks and Flows
Hyper space exploration: Methodik zur multi-kriteriellen Trade-off-Analyse von Systemen im disruptiven Kontext am Beispiel Elektromobilität
OBJECT - ein formales objektorientiertes Datenmodell
Human Pose Estimation with Implicit Shape Models
Effiziente invariante Musterklassifikation durch Einsatz von neuronalen Schichten mit fixierten Gewichten
Globale Informationsgesellschaft: wissenschaftliche Theorie - politisches Programm - globalisierte Geschäftssphäre
Robustness in Machine Learning: Adversarial Perturbations, Explanations & Intuition
Discovery of usage based item similarities to support recommender systems in dealing with rarely used items
Untersuchungen zur effektiven Implementierung des Relationenkonzeptes für Datenbanksysteme am Beispiel relationenalgebraorientierter Anfragesprachen
Ball Tracking and Action Recognition of Soccer Players in TV Broadcast Videos
Eine konstruktive Theorie der Architektur abstrakter Objekte
Der Middle-Manager als PC-Benutzer: eine explorative Untersuchung der Bestimmungs- und Gestaltungsfaktoren der PC-unterstützten Arbeit von Middle-Managern
Straf- und Ordnungswidrigkeitenrecht im Bundesdatenschutzgesetz
Synthesizing stream control
Parallele Testmustergenerierung für digitale kombinatorische Schaltungen auf verteilten Rechnersystemen
Planung kollisionsfreier Bewegungen für Manipulatoren durch Kombination von zielgerichteter Suche und zufallsgesteuerter Zwischenzielerzeugung
Visual Prototyping of Knitwear
User-centered biometric interfaces
Bestimmung zeitabhängiger Blutdruckfelder aus Strömungsdaten der Magnetresonanztomographie
Modellbasierte Objekterkennung mittels Neuronaler Netze unter Verwendung textureller Merkmale
Low-power Time Series Processing with Spiking Neural Networks
Ein mathematisches Modell des erythropoetischen Systems von Ratte und Maus
Quantitative Estimation of Total Body Water Loss During Physical Exercise
Gestaltungsperspektiven für Mensch-Maschine-Interaktion im Lichte der Struktureigenschaften sprachlicher Kommunikation
Generic Text Recognition using Long Short-Term Memory Networks
Schutz der Privatsphäre in kontext- und ortsbezogenen Diensten
Schemaübersetzung durch optimierende Kombination partiell anwendbarer elementarer Transformationsverfahren
Möglichkeiten und Grenzen der automatengestützten Bildung feiner Ablaufeinheiten, ein Beitrag zur Qualifizierung der bautechnologischen Vorbereitung im Industriebau
Model-driven development, deployment, and analysis of Internet of Things applications
Deep-learning Algorithmen für die Fahrzeugdetektion auf Luftbildern: Untersuchung der Einflussfaktoren und des Trainingsverhaltens bei synthetischem Datenmaterial
Entwicklung einer komponentenbasierten Architektur zur Implementierung paralleler Anwendungen mittels CORBA: mit Beispielen aus den Wirtschaftswissenschaften
3D-sensors: axiomatization, modeling, calibration, localization and mapping
Information fusion mechanisms for multi-modal affect recognition
Evaluation and improvement of internet voting schemes based on legally-founded security requirements
Beiträge zur Informatikforschung
Efficient fault-injection-based assessment of software-implemented hardware fault tolerance
Spezifikationssprache für die Prädiktion des Zeitverhaltens von verteilten Systemen
Slicing and reduction techniques for model checking Petri nets
Empirische Untersuchung der Unterstützung unterschiedlicher kognitiver Stile in einer multimedialen Lernsoftware für Computer-assisted Language Learning CALL
Automatic Generator Methodology for Safe Embedded Software
Design of distributed model-based control agents for building automation systems
Marktstrukturelle Auswirkungen neuer Produktionstechnologien: eine Analyse am Beispiel der Computerintegrierten Produktionstechnologien (CIM)
Bestimmung optimaler Parameter bei Wegewahlmodellen vom Gleichgewichtstyp mit Gradientenverfahren
Entwurf und Implementierung eines Personalkapazitäts-Planungssystems (PCPS)
Efficient Exchange and Processing of Semi-structured Data in the Embedded Domain
Grundsätze zur Entwicklung und Anwendung von Industrieroboter-Effektoren am Beispiel des adaptiven Wechselsystems
Physics-informed neural networks for learning dynamic, distributed and uncertain systems
Method for high-efficiency data compression and transmission of vehicle measurement data through mobile internet
Satisfiability and model checking in team based logics
Beitrag zur qualitativen Modellbildung in unscharfer Umgebung
Management of uncertainty and inconsistency in database reengineering processes
Spärlich verbundene neuronale Netze und ihre Anwendung
Information extraction for the geospatial domain
Formale Programmentwicklung mit dynamischer Logik
Betroffenenorientierte Systementwicklung: Prozess u. Methoden d. Entwicklung menschengerechter Informationssysteme
Compiler and runtime techniques to identify and optimize atomic blocks in parallel programs
Benchmark-driven Software Performance Optimization
Enhanced data fusion in communication constrained multi sensor applications
Grundrechtsfähigkeit Künstlicher Intelligenz
A framework for evaluating privacy-enhanced attribute-based credential systems
Universal Codes for Broadcast Systems with Physical Layer Security and Their Algorithmic Computability in Quantum Information Theory
Ein Beitrag zur Rechnerstützung in der Konstruktion von informationsverarbeitenden Systemen (IVS)
Nonlinear Model Predictive Control for Industrial Manufacturing Processes with Reconfigurable Machine Tools
Konzepte und Algorithmen für den numerischen Sammelschienenschutz
Syntactic dependencies and beyond: robust neural architectures and quality-enhanced corpora for structured prediction in NLP
Bewertung der Nassbagger und der sich anschliessenden Transportkette im Schelfbereich unter Anwendung eines EDV-Modells
Stochastic modeling of image content in remote sensing image archives
Aufzählung von kurzen Gittervektoren in allgemeiner Norm
Strukturanalytische Untersuchungen am Phytobenthos der Kieler Bucht mittels mathematischer Methoden (zum Problem der Anwendung klassischer und moderner Konzepte in der marinen Vegetationskunde)
OSS architecture for mixed-criticality systems - a dual view from a software and system engineering perspective
Externer-Rechner-Protokolle in Europa: Vergleich und Implementierung
A new probabilistic approach in predictive microbiology
Elektronische Wahlhelfer in der Demokratie: der Status quo bei politischen Wahlen
Tupel von TVL als Datenstruktur für Boolesche Funktionen
Ein Transformationssystem zur Programmentwicklung
Modellbasierte Entwicklung von eingebetteten Regelungssystemen in der Automobilindustrie
Collaboration-based Metrics for Project Management Support in Global Software Engineering
The role of compliance in humans and humanoid robots locomotion
Machine Learning and Computational Mass Spectrometry for the Discovery of Metabolite Biomarkers Involved in Type 2 Diabetes
Graphentheoretische Ansätze für CAD-Werkzeuge in der CMOS-Technik
Erfolgsprognosen auf der Basis von Rückberichten als Beitrag zu einem zukunftsorientierten Führungsinstrument
Entscheidungskriterien bei der Konzipierung von Hardware-Software-Funktionen für mikroprozessorgesteuerte Geräte
Adaptive Lastverteilung für parallele Programme
Improving prediction accuracy using dynamic information
Dense 3D Multi-View Reconstruction of Free-Form Objects Using a UAV-Borne Triple Camera System with Active Illumination
Konzeption und Implementierung eines Framework zur Entwicklung sprachverstehender Applikationen am Beispiel des medizinischen Dokumentationssystems DPV
On-body interfaces for mobile interaction
Ein Konzept für den Einsatz der Hypermediatechnik an computergestützten Arbeitsplätzen in der Medizin
Proaktive Tätigkeitsunterstützung: Adaptive Tätigkeitserkennung in Abhängigkeit der Pupillendynamik und Entwicklung einer situativen Assistenz
Efficient Processing and Learning on Unstructured Data
Hebung des Abstraktionsniveaus der prozeduralorientierten Programmpakete mit der Objektschalenmethode zur flexiblen Verknüpfung der Prozesse am Beispiel des Strassenentwurfs
Neuronale Funktionsapproximation mit RBF-Schwerpunktnetzen
Software-Entwicklung mit objektorientierten Frameworks
Objekt-Orientierung im Compilerbau
Efficient modeling, verification and analysis techniques to enhance the virtual prototype based design flow for embedded systems
Hybridprogrammierung: ein Beitrag zur Lösung der Software-Krise ; Kombination der dritten und fünften Software-Generation
Verification Techniques for TSO-Relaxed Programs
Statistical models for hierarchical phrase-based machine translation
Relative Termination
Informations- und Kommunikationssysteme in der Kreislaufwirtschaft
Modeling judgements of environmental sounds by means of artificial neural networks
Overview: Entwurf und Realisierung eines Fenstersystems für Arbeitsplatzrechner
Toward Resilient Exascale PDE Solvers Using the Combination Technique
Organisation des Datenaustausches in internen Speicherhierarchien
Domain-Independent Extraction of Insights from User Comments
Support vector learning
Aufbau einer medizinischen Faktenbank für Auskünfte einschiesslich Diagnostikunterstützung, Teil: Ösophagus, Literatur
Privacy-preserving data processing for real use cases
Interactive Visualization for Assistance of Needle-Based Interventions
Strukturen der Werbung 1986: ein auf informationstheoretischer Basis entwickeltes Verfahren der statistischen Analyse von Werbewirkung
Digitale Simulation in der Elektrochemie mit der Methode der finiten Elemente
Modern methods in bayesian probabilistic modeling and their applications
Systeme aus vorgefertigten Softwarebausteinen, Entwurfsprinzipien und Realisierungskonzepte
Empirically-based Solution Framework for Distributed Engineering of software intensive products
Die außergerichtliche Konfliktregelung im elektronischen Geschäftsverkehr: neue Folgen der Rechtsverfolgung und Rechtsdurchsetzung: Chancen, Risiken, Grenzen
Automatic Speech Recognition for Low-resource Languages and Accents Using Multilingual and Crosslingual Information
Automatic refinement of large-scale cross-domain knowledge graphs
Echtzeitfähige Simulation von schwarmfähigen autonomen Unterwasserrobotern für Umweltmonitoring
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Beitrag zur Entwicklung eines rechnergestützten Spezifikationssystems zur Anwendung im Entwurf von Automatisierungssystemen
Visualization for retrieval of scientific and technical information
Uncertainty Decoding for Reverberation-Robust Automatic Speech Recognition
On the Tight Security of the Transport Layer Security (TLS) Protocol Version 1.3
Der Reformprozeß in der öffentlichen Verwaltung vor dem Hintergrund der Informationsgesellschaft: dargestellt am Beispiel von Bürgerinformationssystemen in Online-Medien als Weiterentwicklung des Bürgeramtskonzeptes der Stadt Berlin
Architecture-based availability prediction and service recommendation for cloud computing
Funktionentheoretische Methoden in der Regelungstheorie unendlichdimensionaler Systeme
Ein generisches und hoch skalierbares Framework zur Automatisierung und Ausführung wissenschaftlicher Datenverarbeitungs- und Simulationsworkflows
Leadership gap in agile teams: how developers and scrum masters mature
Beherrschung von Montageprozessen komplexer elektronischer Geräte durch automatisierte Informationsverarbeitung
Off-line compilation for efficient processing with constraint logic grammars
Spectrum und Envelope: Computerprogramme zur Spektralanalyse nicht äquidistanter paläoklimatischer Zeitreihen
Quality of experience of multiparty conferencing and telemeeting systems: methods and models for assessment and prediction
Simulationsmodell der optimalen Informationsverarbeitung in automatisierten Navigationssystemen
Entwurf digitaler Komponenten nachrichtentechnischer Systeme mit petrinetzmodellierten VHDL-Modellen
Berührungslose Informationsübertragung über rotatorische und translatorische Gelenke in Handhabungssystemen: Integration eines Bussystems in einen Industrieroboter zur Übertragung von Sensor- und Steuerungsdaten
A Psychologically Driven Ontology-based Model of Character-based Behavior
A methodology for workflow modeling: from business process modeling towards sound workflow specification