yusuke1997/dblp-id-title huggingface dataset:
Computational Methods and Tools for Functional Analysis and Mining of High-throughput Proteomics Data (Bioinformatische Verfahren zur funktionalen Datenanalyse und Mining von High-throughput Proteomikdaten)
Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte
Model-supported process adoption and assessment in the context of multiple practice repositories
On the utility of higher order fault models for fault injections
Sprache und neue Medien: Analyse des Sprachgebrauchs in den Kommunikationsformen E-Mail und Chat
Erkennung und Verarbeitung von Formularinformationen mittels case based reasoning und bildverarbeitender Methoden
Topological aspects of the human protein interaction network
Lernen mit einer Hybride aus lernendem klassifizierendem System und selbstorganisierender Karte
Handbuch der mobilen Geoinformation: Architektur und Umsetzung mobiler standortbezogener Anwendungen und Dienste unter Berücksichtigung von Interoperabilität
Optimization of an interface abstraction layer for heterogeneous networks
Automatisierte Erstellung und Verfeinerung virtueller Prototypen für den Entwurf verteilter eingebetteter Systeme
Modified particle swarm optimizers and their application to robust design and structural optimization
Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen
Hierarchic decision procedures for verification
Tiefes Reinforcement-Lernen auf Basis visueller Wahrnehmungen
Event-driven message passing and parallel simulation of global illumination
Projektorbasierte erweiterte Realität in der rechnergestützten Chirurgie
Modellgetriebene Entwicklung managementfähiger Anwendungssysteme
Mensch-Roboter-Interaktion: eine sprachwissenschaftliche Perspektive
Texturierung und Visualisierung virtueller 3D-Stadtmodelle
Minimum cycle basis
Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen
Stability proofs for hybrid systems
Intrusion prevention and detection in wireless sensor networks
Ausführung und Entwicklung adaptiver komponentenbasierter Anwendungen
Simulation der Phakoemulsifikation im Augenoperationssimulator Eyesi
Refinement of Classical Proofs for Program Extraction
Zugänge und Analysen zur religiösen Dimension des Cyberspace
On Indoor Localization and Indoor Mapping (Über Indoor-Lokalisierung und Indoor-Mapping)
Linear realisierbare endliche Automaten
Structural Analysis of Patterns and Shapes using Hierarchical Vibrations
Hilfreiche Hilfe: Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale Wissen
Entwicklung einer inhaltsorientierten Vorgehensweise zur Handhabung von vorhandenen oder zu implementierenden komplexen Software-Systemen in Unternehmen
Biologienahe Verarbeitung visueller Signale zur robusten Extraktion von Konturinformationen
Path-line oriented visualization of dynamical flow fields
Cost-based optimization of integration flows
Decoding strategies for syntax-based statistical machine translation
Advances in constraint handling rules
Bioinformatics approaches for cancer research
WCET-aware source code and assembly level optimization techniques for real-time systems
Robust Data- and Model-Driven Anatomical Landmark Localization in Biomedical Scenarios
HyTAG: a new type of tree adjoining grammars for hybrid syntactic representation of free word order
Referenzarchitektur eines integrierten Informationssystems zur Unterstützung der Instandhaltung (Reference architecture of an integrated information system to support maintenance)
Modellbasierte Generierung prototypischer Bedienschnittstellen: ein Gestaltungswerkzeug zur formalen Beschreibung generischer, konsistenter Bedienschnittstellen mit XML
Maschinelles Lernen für die Adaption von Parametern in Bildverarbeitungssystemen
Search improvements in multirelational learning
Selbstorganisierende Systeme für die Computergrafik
Key management for wireless ad hoc networks
Novel classes of side channels and covert channels
Lernverfahren für evolutionär optimierte künstliche neuronale Netze auf der Basis zellulärer Automaten
Data Fusion for Advanced Driver Assistance Systems Based on Random Finite Set Statistic (Datenfusion für Fahrerassistenzsysteme basierend auf der Random-Finite-Set-Statistik)
Dezentralisiertes sichtenbasiertes Management übergreifender Entwicklungsprozesse
Self-organizing neural networks for sequence processing
On the formalization of model driven software engineering
Statistical learning for prediction of Type 1 Diabetes using clinical risk factors and omics data (Statistisches Lernen zur Vorhersage von Typ 1 Diabetes mithilfe von klinischen Risikofaktoren und omics Daten)
Processing elastic surfaces and related gradient flows
Physically based animation of free surface flows with the Lattice Boltzmann method
Statistical sampling for non intrusive measurements in IP networks
Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
XSiena: the content-based publish, subscribe system
Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen
Secure fingerprinting on sound foundations
High-Performance Computing with Graphics Processing Units for Physics of Complex Systems
Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen
Ein Alpha-Shape-basiertes Protein-Docking-Verfahren
Designing parallel algorithms for SMP clusters
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
Prosodiegenerierung für die datenbasierte Sprachsynthese
Learning and imitation in heterogeneous robot groups
Management support and CPU scheduling performance enhancement in wireless sensor networks
Usability-Engineering in der Anwendungsentwicklung: systematische Integration zur Unterstützung einer nutzerorientierten Entwicklungsarbeit
Zur konsistenz-basierten Validation von Protokollen mit zeitlichen Anforderungen
Agent based configuration of (metaheuristic) algorithms
Datenbasierte Methode zur automatischen Generierung elektrischer Verhaltensmodelle in der Automobilindustrie
Efficient XML processing with tree automata
Verteilte kooperative Geräteentwicklung in der Mechatronik (Distributed Cooperative Development of Mechatronic Devices)
Genomassemblierung komplexer Gräsergenome aus hoch-heterogenen Datensets. (Genomic assembly of highly complex grass genomes based on highly heterogenous datasets)
A modulatory learning rule for neural learning and metalearning in real world robots with many degrees of freedom
Noise reduction algorithms for speech communications - statistical analysis and improved estimation procedures
Distortion modeling for rate constrained optimization of scalable video coding
Anwendungsspezifische Parallellprozessarchitekturen für die Bildvorverarbeitung und -analyse
Adresselemente in modernen Kommunikationsnetzen am Beispiel des Telephone-Number-Mapping-Projektes (ENUM)
Algorithms for energy efficiency in wireless sensor networks
Study on Computer-Aided Design Support of Traditional Architectural Theories (Untersuchung von Computer-Unterstützten Entwurfssystemen der traditionellen Theorien der Architektur)
Equilibrium Analysis of Core-Selecting Auctions and the Impact of Risk Aversion and Allocation Constraints (Equilibriumanalyse von Core-selecting Auktionen und der Einfluss von Risikoaversion und Allokationsregeln)
Eye-to-eye calibration: extrinsic calibration of multi-camera systems using hand-eye calibration methods
Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
Symbolic semantics and verification of stochastic process algebras
Brain-computer interfaces: design and implementation of an online BCI system for the control in gaming applications and virtual limbs
Model and proof theory of constructive ALC: constructive description logics
Perceptually-motivated, interactive rendering and editing of global illumination
An Integer Programming Approach to Resource Allocation in Large-Scale Server Consolidation (Ganzzahlige Optimierung für Ressourcenallokation bei großen Serverkonsolidierungs-Projekten)
Induction and fuzzification of classification rules
Interne Angreifer in der Kryptographie: digitale Signatur und Schlüsselaustausch
Analysing DNA methylation signatures of cell identity
Effiziente Parallelverarbeitung mit Nachrichtenaustausch auf Metacomputern
Lernen mit Computern: Interaktionen von Personen- und Programmmerkmalen in computergestützten Lernumgebungen
Generierung prosodischer Marker für ein multilinguales Sprachsynthesesystem
Ein Vorgehen für die Portierung sequenzieller Software auf Multicore-Plattformen
On local behavior and global structures in the evolution of complex networks
Randomised dynamic load balancing
Secret sharing schemes on general access structures
GPU++: an embedded GPU development system for general-purpose computations
Strikte Verfahren zyklischer Berechnung
Strukturierte Nutzungssicht für multifunktionale Systeme
Degree Bounds and Complexity of Gröbner Bases of Important Classes of Polynomial Ideals (Gradschranken und Komplexität von Gröbner-Basen von wichtigen Klassen von Polynomidealen)
Towards automated restructuring of object oriented systems
Automatische Erkennung handgeschriebener arabischer Wörter
Improving the quality of E-learning by enhancing self-regulated learning: a synthesis of research on self-regulated learning and an implementation of a scaffolding concept
Architektur integrierter Dienstleistungssysteme: Konzeption, Metamodell und technikraumspezifische Konkretisierung
Visual localization, mapping and reconstruction using edges
An agent-based modeling and simulation methodology for strategic inter-organizational networks
Trace based debugging and visualisation of concurrent Java programs with UML
Wissenserwerb mit Informationsvisualisierungen: der Einfluss von Dimensionalität und Chromatik
Multi-Level-Modellierung mit formaler Beobachtung und Bewertung von Modulen eines Testsystems für integrierte Schaltungen
Source code analysis, management, and visualization for PROLOG
Certifying rule-based models using graph transformation
CHARM-card: hardware based cluster control and management system
Exponential language models: efficient scaling and integrability of semantic information
Patient-Specific Cerebral Vessel Segmentation with Application in Hemodynamic Simulation
Model-based classification for subcellular localization prediction of proteins
Generische Telematikservices: Konzeption, Entwurf und Implementierung eines Telematiksystem-Generators
DRPU: a programmable hardware architecture for real-time ray tracing of coherent dynamic scenes
Load specification and load generation for multimedia traffic loads in computer networks
Verteilte Nutzungsdatenerfassung und nachgelagerte Weiterverarbeitung der Nutzungsdaten im mobilen Internet
BN++: A Biological Information System
Metadaten-Management für kooperative Anwendungen
A uniform framework for the formal specification and verification of information flow security
Architecture & innovation: the role of the end-to-end arguments in the original internet
Formal verification of a fully IEEE compliant floating point unit
Machine learning of genomic profiles
Algorithmen und Hardwarearchitekturen zur optimierten Aufzählung von Automaten und deren Einsatz bei der Simulation künstlicher Kreaturen
Interactive graph drawing with constraints
Analyses of evolutionary algorithms
Semantic matchmaking with nonmonotonic description logics
Photogrammetrische 3D-Rekonstruktion im Nahbereich durch Auto-Kalibrierung mit projektiver Geometrie
The polar transmitter: analysis and algorithms
Real-time automatic emotion recognition from speech
A Statistical Reconstruction Framework for Surfaces with Features and for Animations
Ubiquitous user modeling
Digitale Schaltungen zur Sensorsignalverarbeitung mit integrierter Fehlererkennung und -korrektur
Component based adaptation methods for service oriented peer-to-peer software architectures
Fusion Methods for Time-Series Classification
Qualitätsorientierter Entwurf von Anwendungsdiensten
Computer Augmented Reality in der technischen Instandhaltung: Evaluation eines alternativen CAR-basierten Informations- und Dokumentationssystems
Advanced software concepts and technologies for autonomous mobile robotics
Processing and extending flow-based network traffic measurements
Hypertext: Geschichte und Formen sowie Einsatz als Lern- und Lehrmedium; Darstellung und Diskussion aus medienpädagogischer Sicht
Software-Infrastruktur: von analytischer Perspektive zu konstruktiver Orientierung
Localization of wireless sensor nodes based on local network density
Executable hybridUML semantics: a transformation definition
Modellbasierte Merkmalsplanung zur objektbezogenen laserscannerbasierten Navigation von Fahrzeugen
Disentangling Tissue Microstructure with Magnetic Resonance Imaging (Entwirren Gewebe Mikrostruktur mit Magnetresonanztomographie)
Rekonfiguration von mobilen autonomen Diensten in heterogener Umgebung
Das Interaktions-Bild: zu den bildnerischen und theoretischen Grundlagen der Interfacegestaltung
Design und Management selbstorganisierender drahtloser Backbone-Netzwerke
Fehlersuche im Modell: modellbasiertes Testen und Debuggen
Infrastructural Security for Virtualized Grid Computing
Turbo-Detection for GSM-Systems (Turbo-Detektion für GSM-Systeme)
Animationen in der Grammatikvermittlung: multimedialer Spracherwerb am Beispiel von Wechselpräpositionen
Evaluation and Innovation in Opportunistic Networks
On Provable Security for Complex Systems
Mehrdimensionale Multiressourcenplanung mit Constraintlösern
Algorithms for Efficient Communication in Wireless Sensor Networks - Distributed Node Coloring and its Application in the SINR Model
Medical image processing with graphics hardware = Verarbeitung medizinischer Bilddaten mit Grafikhardware
Automatische Konfiguration der Bewegungssteuerung von Industrierobotern
Personal wayfinding assistance
Spatial database support for virtual engineering
Kernel-based machine learning on sequence data from proteomics and immunomics
On information need and categorizing search
Benutzeradaptive Web-Informationssysteme: Verwaltung und Aufbereitung von Wissen im Online-Medium WWW
On foundational frames for formal modelling: sets, ε-sets and a model of conception
Interaktive Visualisierung geometrischer Algorithmen mit Techniken der generischen Programmierung
Space-Filling Curves for Efficient Algorithms in Scientific Computing
Quadratische Kommunikation im Netz: Gruppeninteraktion und die Gestaltung von CSCL-Systemen
Dimensionierung und Leistungsbewertung von TETRA-Bündelfunksystemen
On games and logics over dynamically changing structures
Model based image interpretation with application to facial expression recognition
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen: Konzeption und Realisierung eines Formalismus zur Spezifikation und Implementierung von Synchronisationsbedingungen
Graphische Modelle in der Mustererkennung
A symbolic approach to the state graph based analysis of high-level Markov reward models
Simulation, Erfassung und Analyse direkter Objektmanipulationen in virtuellen Umgebungen
A flow analysis framework for realistic scheme programs
Entwicklung von Methoden zur Echtzeitanalyse von EKG-Signalen mit Neuro-Fuzzy-Systemen für Anwendungsszenarien der Telemedizin
Ein Algorithmus zur Bestimmung der Punktanzahl elliptischer Kurven über endlichen Körpern der Char
Eine softwarebasierte Methodik zur Wahrung der Konsistenz von DRG- und qualitätssicherungs-relevanten Daten am Beispiel des BQS-Moduls "Herzchirurgie"
A hybrid ground data management concept for tunneling projects
Diagnosis, synthesis and analysis of probabilistic models
GPS-Anwendungen in der Sportwissenschaft: Entwicklung eines Messverfahrens für das Skispringen
Universelle Fernservice-Infrastruktur für eingebettete Systeme
Cryptanalysis and design of symmetric primitives
Webanwendungen über XML-Spezifikationen: verdeutlicht am Beispiel eines holländischen Auktionssystems
Traffic engineering in MPLS networks with multiple objectives: modeling and optimization
PAC-Lernen zur Insolvenzerkennung und Hotspot-Identifikation
Context-based routing in dynamic networks
Local learning for visual robotic systems
Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML)
User interfaces for wearable computers: development and evaluation
Architectural improvements of interconnection network interfaces
Learning-based facial animation
Formale Sicherheitsanalyse
Unterstützung multimedialen Lernens: Instruktionsdesign zur Förderung der Kohärenzbildung beim Wissenserwerb mit Texten und dynamisch-interaktiven Bildern
Ressourceneffiziente Realisierung pulscodierter neuronaler Netze
Business process documentation in creative work systems: a design science study in television production
Kommunikations- und Laufzeitanalyse für den Entwurf eingebetteter Systeme
Tomographic Reconstruction beyond Classical X-ray CT (Tomographische Rekonstruktion jenseits klassischer Röntgen-Computertomographie)
Semantische Kohärenz in der Softwareentwicklung: Beiträge zu einer entwicklungsphasen- und abstraktionsübergreifend homogenen Arbeitsumgebung
Development of actuated Tangible User Interfaces: new interaction concepts and evaluation methods
Graph based spatial motion tracking using affine covariant regions
Relation graphs and contextual logic: towards mathematical foundations of concept oriented databases
Novel approaches to the integration and analysis of systems biology data
Sprechaktbasierte Interaktionsmodelle für kooperative Produktionsplanungsagenten
Feature Selection and Data Mining for Proteomics and Metabolomics
Machine learning for text indexing: concept extraction, keyword extraction and tag recommendation
Virtualisierte, fehlertolerante Systemplattform für automotive Systeme
Die Chiffriermaschine Enigma - trügerische Sicherheit: ein Beitrag zur Geschichte der Nachrichtendienste
Illumination invariant interest point detection for vision based recognition tasks
A framework for XML similarity joins
Methodology, tools & case studies for ontology based knowledge management
Entwicklung von Methoden zur Unterscheidung und Interpretation von Bewegungsmustern in dynamischen Szenen
Model Driven Development of MacZ - A QoS Medium Access Control Layer for Ambient Intelligence Systems
Covers and Logarithmic Signatures of Finite Groups in Cryptography
Routing and Dimensioning in Satellite Networks with Dynamic Topology (Verkehrslenkung und Dimensionierung in Satellitennetzen mit dynamischer Topologie)
Xquery-Optimierung und -Zerlegungsstrategie im Zusammenhang mit XML-Schemaintegration
Visual tracking and grasping of a dynamic object: from the human example to an autonomous robotic system
Knowledge-Management-Support-System: nachhaltige Einführung organisationsspezifischen Wissensmanagements
A framework for inference control in incomplete logic databases
Structural stationarity in the π-calculus
Context-sensitive visualization
Migrating characters: effective user guidance in instrumented environments
Perron-Froebenius theorem for multi-homogeneous mappings with applications to nonnegative tensors
Spezifikation und Verarbeitung deutscher Syntax in Head-driven Phrase Structure Grammar
Rechnergestütztes Lernen im Bereich der regenerativen Energien: (ausgewählte Aspekte)
Die Entwicklung einer Java-basierten Bildverarbeitungssoftware für Telekonferenz und Lehre
Inter-domain routing under scrutiny: routing models and alternative routing architectures
Eine axiomatische Charakterisierung räumlicher Granularität: formale Grundlagen detailgrad-abhängiger Objekt- und Raumrepräsentation
Software-Infrastruktur und Entwicklungsumgebung für selbstorganisierende multimediale Ensembles in Ambient-Intelligence-Umgebungen
Hierarchical Pattern Matching in VLSI (Hierarchische Mustererkennung in VLSI)
Message électronique oder E-Mail?: Einstellungen frankophoner Informatikerinnen und Informatiker zu offiziellen Ersatzwörtern für die Fachsprache des Internet und zur Sprachpolitik; eine WWW-Befragung
Secure end-to-end transport over SCTP: a new security extension for SCTP
Characterization and comparison of formal refinement and development relations for software modeling techniques
Refinement and implementation techniques for Abstract State Machines
Automatische Transformation von Software-Modellen
Tailoring Robot Actions to Task Contexts using Action Models (Zuschneiden von Roboteraktionen auf Aufgabenkontexte mittels Aktionsmodellen)
Map-based multi-object dynamic scene: description and atypical event detection
Bayesian regularization and model choice in structured additive regression
3D-GIS Visualisierung in der Umweltinformatik
Linguistische Analysen für die semantische Auszeichnung natürlichsprachlicher Dokumente
The QPACE supercomputer: renormalization of dynamical CI fermions; axial charges of excited nucleons
Certifying system translations using higher order theorem provers
Eigenwertspektren des Laplaceoperators in der Bilderkennung
Navigation in the real world and in virtual worlds / by Dirk Wenig
Collision detection for curved rigid objects in the context of dynamics simulations
New RSA vulnerabilities using lattice reduction methods
Adaptive image classification on mobile phones
Evolutionäre Optimierung eines biologisch motivierten visuellen Objekterkennungssystems
A generator for type checkers
Internet-Recherche von Grundschulkindern: eine qualitativ-empirische Studie mit dem Schwerpunkt auf Kindergesprächen
On lower bounds for parity branching programs
Entwicklung einer Produktionsumgebung zur kooperativen Erstellung interaktiver Experimente
Alignmentfreie Analyse von Proteinsequenzen mit Verfahren des maschinellen Lernens
KOMODE - Ein semantisches Kontextmodell für kollaborative Anwendungen in automobilen Ad-hoc-Netzwerken
Automatisierte Entwicklung von Kommunikationsprotokollen am Beispiel Bluetooth
Direct volume visualization of geometrically unpleasant meshes
Inkrementelle Entwurfsmustererkennung
Simultane Dreifach-Strahlungs-Mößbauer-Spektroskopie und Untersuchung laserbehandelter Eisenwerkstätten
Approximation algorithms for network design and cut problems in bounded-treewidth
Entwicklung eines wissensbasierten Systems zur Beurteilung von Sternpunkterdung
Exploration and analysis of sensor technologies for efficient indoor location-based services
Cryptography and cryptanalysis for embedded systems
Kognitive Modellierung von Kooperationsfähigkeiten für einen künstlichen Agenten
Interoperable Nutzung verteilter Geodatenbanken mittels standardisierter Geo-Web-Services
Fusion von Klassifikationssystemen für die automatische Sprechererkennung
Automatic generation of object oriented unit tests using genetic programming
Spatial cognition research: the human navigation process and its comparability in complex real and virtual environments
Konzept und Realisierung eines Kommunikationsmanagementsystems zur Unterstützung verteilter Projektteams
A Formal Approach to the Development of Network Quality-of-Service
From robots to brain circuits (Optimale elastische Bewegungen)
Untersuchung eines Zeitscheibenmodells mit Hilfe von stochastischen Prozessen
Generic programming and algebraic multigrid: building blocks for scientific computing
Dynamic software architectures: a style based modeling and refinement technique with graph transformations
A framework for distributed collaborative software design meetings
Konstruktionsverfahren vorwärtsgerichteter neuronaler Netze
Efficient implementation of elliptic curve cryptography on FPGAs
A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond
Robust speech recognition based on spectro-temporal processing
Office-basierte CAQ-Systeme - am Beispiel der Integration von Prüfplanung, FMEA und Reklamationsmanagement
Modellierung paralleler Dokumentstrukturen: Verwaltung, Abgleich und Bearbeitung anhand zweier praxisrelevanter Anwendungen
MultiView-Systeme zur explorativen Analyse unstrukturierter Information
Service centric banking als agentenbasiertes System