yusuke1997/dblp-id-title huggingface dataset:
BROMETH: methodology to develop safe reconfigurable medical robotic systems: application on pediatric supracondylar humeral fracture
Das Bild im Spannungsfeld zwischen Wirklichkeit und Fiktion: Aspekte über computergenerierte Bildwelten
Ansichtenbasierte 3D-Objekterkennung mit erweiterten selbstorganisierenden Merkmalskarten
Spiking neural models & machine learning for systems neuroscience: Learning, Cognition and Behavior
Ein Transceiverkonzept für die Interfahrzeugkommunikation bei 64 GHz
Effiziente Verfahren für den physikalischen Entwurf von MOS-VLSI-Schaltungen und ihre Anwendung beim Entwurf eines defekttoleranten Mikroprozessors
Handling data problems in machine learning applications in supply chain management: a multiple-case study on the analysis of data augmentation approaches
Modelle zur Analyse und Prognose des Futtergetreideverbrauchs in der Bundesrepublik Deutschland
Personalplanung mit unscharfen LP-Ansätzen auf der Grundlage der Fuzzy-Set-Theorie
Delegated authenticated authorization in the life cycle of smart objects in the internet of things: Delegierte authentisierte Autorisierung im Lebenszyklus von smarten Objekten im Internet der Dinge
Integration of verification and testing into compilation systems: concept and case study
Beschreibung, Modellierung und Simulation kooperierender Systeme mit höheren Petri-Netzen am Beispiel der Steuerung flexibler Fertigungssysteme
Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle
Towards Practical and Secure Channel Impulse Response-based Physical Layer Key Generation
Untersuchung zur Etablierung und Validierung eines 3D-Ganganalysesystems in der Orthopädie
Methoden zur Qualitätsbewertung und Qualitätssicherung einzelner Spots in Microarray-Experimenten
Two stories about trying to trace the untraceable: B-cell epitope prediction and deciphering circadian clocks
Context-Centric Design of Automotive Human-Machine Interfaces
Erkennung von Schleifbrand durch Schallemissionsanalyse
Association Learning inspired by the Symbol Grounding Problem
The Vulnerability of Data Protection and Trustworthy Content Generation in AI Models
Analysis, retrieval and layout for digital photobooks
Algorithmen zur Ermittlung der Topologie gekoppelter Rechnersysteme
Ein baukastenartiges Expertensystem-Architekturmodell mit fuzzy-fallbasierter Schlußfolgerungskomponente
URML: Towards Visual Negotiation of Complex System Requirements
Kooperierende Objektsysteme: Betrieb und Entwicklung
Beitrag zur optimalen Lageranordnung in der Landwirtschaft aus transporttechnologischer Sicht
Fuzzy-Geometrie und Anwendungen in der medizinischen Bildverarbeitung
Mensch-Maschine-Schnittstellen in der flexiblen Fertigungssteuerung: Entwurf und Realisierung mit abstrakten Automaten
Web-based Secure Application Control
Generative solver construction for machine learning problems
Seamless Flexibility in High-Performance Network Functions Virtualization
Entwicklung und Realisierung von Steuersoftware für Rasterelektronenmikroskope in Hinblick auf deren Anwendung in Testverfahren der Mikroelektronik
Spin Valves for Reconfigurable Logic Devices
Image Classification of High Variant Objects in Fast Industrial Applications
Maintaining security and trust in large scale public key infrastructures
Entwicklung einer vollautomatischen, programmierbaren spannungsoptischen Versuchseinrichtung: e. Studie zur Laborautomatisierung in der Spannungsoptik
Das digitale Bild der Stadt: Beobachtungen, Hypothesen und Schlußfolgerungen über Stadtraum und Computer
Kommunikationsgesteuerte cyber-physische Montagemodelle
Ein Beitrag zur Steuerung parabolischer ITO-Gleichungen
A polymorphic sort system for axiomatic specification languages
Semantic Mapping for Autonomous Robots in Urban Environments
A user-oriented, comprehensive system for the 6 DoF recognition of arbitrary rigid household objects
Kontextsensitiv lernende Sequenzvorhersage zur erfahrungsbasierten Unterstützung bei der Softwareprozessausführung
Theory and Implementation of Software Bounded Model Checking
Konzept eines komponentenbasierten, verteilten Sicherheitsverbundes
Prosodic analysis and synthesis: application in computer-assisted language learning
Comparison-based methods in machine learning
Ranking for Web Data Search Using On-The-Fly Data Integration
Entwicklung eines Programmsystems zur rechnergestützten Aufnahme und zur qualitativen und halbquantitativen Auswertung von Röntgenfluoreszenzspektren
A light-weight approach facilitating an evolutionary transition towards software product lines
Software-Wartung: e. modellgestützter Ansatz zur Planung von Software- Wartungsstrategien
Entwicklung und Einsatz eines Qualitätsmodells für Workflow-Management-Anwendungen
Konzeption und Realisierung von Diagnosewerkzeugen auf der Basis konnektionistischer Modelle
Structured Models with Gaussian Processes
Reconfigurable Computing Systems for Robotics using a Component-Oriented Approach
Smartphones, dumb journalism: the strategies and approaches for mobile journalism in a ubiquitous scenario (the German newspapers case)
Objektverfolgung und Objekterkennung mittels der partiellen Hausdorffdistanz
Änderungen in Lebensstil und Nährstoffangebot als treibende Kräfte der Genomevolution in Escherichia coli und Salmonella
Von Star wars, Ultima und Doom: mythologisch verschleierte Gewaltmechanismen im kommerziellen Film und in Computerrollenspielen
Bewertung von Datenbanksystemen mittels Simulation unter besonderer Berücksichtigung der universellen Zugriffmethode VSAM
Practical Approaches to the Truthful Anonymization of Microdatar
Strukturierung verteilter Datenbanken auf dedizierten Rechnern
Der EDV-Einsatz in der operativen Medizin in der Bundesrepublik Deutschland 1989
Adopting Design Science Research to Develop a Framework for Systematic Technology Application Selection
Ein Analysemodell zur rechnerbasierten Durchführung von auditiven Sprachqualitätsmeßverfahren und seine Realisierung
Strategies to address data sparseness in implicit semantic role labeling
Translational Expressiveness. Comparing Process Calculi using Encodings
Formal synthesis and verification of hierarchical recursive circuits based on an algebraic calculus of nets
Semimorphe Arithmetik zur automatischen Ergebnisverifikation auf Vektorrechnern
Ein Beitrag zur Perzeption der Frikativlaute
Konzepte zur effizienten Implementierung strukturell rekursiver Programme
Local orientation analysis in images and image sequences using steerable filters
Six-Port-Based Microwave Spectroscopy of Dielectric Materials for Non-Invasive ISM Applications
Sensitivitäts-Analyse von Scheduling-Algorithmen
Entscheidungs-Unterstützungs-Systeme zur Steuerung von Produktions-Transport-Prozessen im Bauwesen
Zur Problematik der Realisierung einer Einrichtung für die Bildung und Auflösung von Datenpaketen unter Berücksichtigung der CCITT-Empfehlung X.3
Extrinsic calibration for intelligent vehicles and infrastructure sensors using dual quaternions
Optimistic Adaptation of Decentralised Role-based Software Systems
On the trade-off between element availability and cost in virtualized network infrastructures
Ein Beitrag zum Einsatz wissensbasierter Expertensysteme in der Prozessautomatisierung
Towards multimodal activity recognition in complex scenarios
Open source software: urheberrechtliche Aspekte freier Software
Interdependencies in the discovery and adoption of facebook applications: an empirical investigation
Beitrag zur Voraussage von Bewegungsbahnen pelagischer Schleppnetze nach Einleitung von Schiffsmanövern
Rechnerunterstützte Optimierung des Hauptspantquerschnittes von Containerschiffen nach der Längsfestigkeit unter Einbeziehung nichtlinearer Optimierungsmethoden
Reconfiguration of Hybrid Systems
Development of multispectral optoacoustic imaging for high resolution small animal visualization
Object discovery, interactive and 3D segmentation for large-scale computer vision tasks / Theodora Kontogianni ; Bastian Leibe, Konrad Schindler
An Abstraction Framework for Tangible Interactive Surfaces
Flexible und skalierbare Dienstgütemechanismen für das Internet der nächsten Generation
Behandlung von Syntaxfehlern für LR-Sprachen ohne Korrekturversuche
An investigation of linear and nonlinear data assimilation methods in the presence of model error
On the approximability of location and network design problems
On the importance of ecologically valid usable security research for end users and IT workers
Entwicklung und Evaluation einer Methodik zur Untersuchung von Interaktionsgeräten für Maschinen- und Prozessbediensysteme mit grafischen Benutzungsoberflächen
Systematische Entwicklung von Evaluationsverfahren zur Beurteilung der Benutzerfreundlichkeit von CAD-Systemen
Lateinische Rechtecke und Maschinenbelegung
Evaluation der Validität von Netzwerk-Meta-Analysen: Veranschaulichung des Evidenzflusses und Lokalisierung von Inkonsistenz
Sprecheradaption in einem Spracherkennungssystem mit stochastischer Modellierung
The role of interface and exchange processes in forming and switching of ZrO2 based ReRAM devices
High-quality web information provisioning and quality-based data pricing
Entwicklung eines Anwendungsprogramms zur Analyse und Beurteilung von Investitionsmassnahmen in der Datenverarbeitung (Hard- und Softwareauswahl) auf der Basis einer vergleichenden Betrachtung verschiedener Verfahren
Cyclic and duplicial objects in computer science: (co)algebras for (co)monads in monoidal categories
Advanced convex analysis for improved variational image reconstruction
Entwicklung eines Entscheidungsunterstützungssystems zur Zeitparametereinstellung
Ein Beitrag zur unternehmensweiten Suche in heterogenen Datenbeständen: Entwurf, Entwicklung und Einsatz einer Referenzarchitektur
Integration von Sicherheitsgateways in eine Architektur für mehrseitige Sicherheit
Ein Kontrollmodell für die Strukturierte Analyse
Integriertes rechnergeführtes Steuerungssystem zur Kabelherstellung
Anwendung, Konzeption und Entwurf eines Werkzeugs zur Koordination komplexer, betrieblicher Arbeitsprozesse
Deriving Goal-oriented Performance Models by Systematic Experimentation
Sicherheitsmechanismen für dienstbasierte Softwaresysteme
Automatische Speicherfreigabe in Mehrprozessorsystemen: Verfahren und Leistungsbewertung
Towards High Performability in Advanced Metering Infrastructures
Anwendungen eines hybrid-optischen Rückkopplungssystems
The presentation of formal proofs
Entwurf linearer Abtastregler durch Kollokation
A Common Programming Interface for Managed Heterogeneous Data Analysis
Mathematische Modellierung und Optimierung für Aufgaben der Produktionsablaufplanung
Local feature description with invariance against affine projection
Modalitätsspezifische Aufbereitung medizinischer Bilddaten
Analysing differential and tumour-associated splicing using RNA sequencing data / presented by Diplom-Informatiker Moritz Aschoff"
Parallele Lösungen für stochastische Modellierung
Entwicklung und Prüfung eines Expertensystems auf einem Teilgebiet der zentralnervösen Erkrankungen des Rindes
Modellierung und Analyse lastinduzierter Speicherfehler
Federated Query Processing over Heterogeneous Data Sources in a Semantic Data Lake
Streaming analytics in user-centric internet of things domains - a fog-enabled system architecture for smart home applications
Tageszeitungen und Online-Medien: elektronisches Publizieren als produktpolitisches Instrument der Verlage
Algorithmen zum Auffinden längster Kreise in Graphen
Rechnerexperimente an zweidimensionalen Systemen, ein Modell für Phospholipidmembranen
Erkennung geometrischer Eigenschaften virtueller Objekte auf Basis eines Einpunkt-Kontakts und daraus generiertem kinästhetischen, taktilen und auditiven Feedback
Secure Distributed Information Management Based on Semantic Web Technologies
Proportionalität euklidischer Abstände definierter extraoraler und intraoraler Punkte: eine Machbarkeitsstudie
Graphical models and symmetries: loopy belief propagation approaches
Polzuweisung und Störungsentkopplung in linearen Systemen, ein numerisch orientierter Ansatz
Simulationen in der betrieblichen Altersversorgung: ein Markov-Modell und Abschätzungen für die Anzahl der Simulationen
Didaktische Kriterien zur Strukturierung von Bedienungsanleitungen: eine exemplarische Analyse von Software-Bedienungsanleitungen
A machine-checked constructive metatheory of computation tree logic
Implementation-level analysis of cryptographic protocols and their applications to e-voting systems
Das datenschutzrechtliche Medienprivileg: Presseprivileg bei Multimediaanwendungen in Deutschland, Griechenland und Großbritannien unter dem Einfluß des Europarechts
Sensorgestützte Kollisionsvermeidung bei Industrierobotern
Methodik und Richtlinien für die dezentrale Produktionsdatenerfassung in Fertigungsprozessen, dargestellt am Beispiel der Daten für die Fertigungsfortschrittskontrolle in Maschinenbaubetrieben mit Grossserien- und Massenfertigung
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
Eine agile Methode zur simulativen Qualitätssicherung von Aktiven Sicherheitssystemen
Personalized route planning: on finding your way in theory and practice
Zur Charakterisierung von Verfahren zur Emissionsminderung mittels eines DV-gestützten Informationssystems: Entwicklung einer relationalen Datenbank für Verfahren zur SO2- und NOx-Minderung bei stationären Feuerungsanlagen
Universelle Modelle und ausgewählte Algorithmen des DNA-Computing
Handling Tradeoffs between Performance and Query-Result Quality in Data Stream Processing
Constraint driven schema merging
Neue Ansätze zur Speicherzugriffsanalyse paralleler Anwendungen mit gemeinsam genutztem Adressraum
Computational complexity of graph polynomials
SUNRISE - Entwurf und Implementation eines Software-Systems zur medizinischen Bild- und Messdatenverarbeitung
Medium access control protocols for energy and delay efficient applications of wireless sensor networks
Ein rechnergestütztes Informationssystem für die Ausbildung in Informatik
Integrating relational databases with the semantic web
Metadaten-Verwaltung in einem verteilten RAM-basierten Speicherdienst
Search and learning in the immune system : models of immune surveillance and negative selection
Securing the android app ecosystem: obfuscation, tamperproofing, and malware detection = Absicherung des Android App Ökosystems
Spezielle Modelle und Algorithmen für das lineare Optimierungsproblem
Exploring Neural Network Architectures with Automated Machine Learning Approaches
Konzeption eines integrierten computergestützten Systems für Entwurf, Implementierung und Test von Software
Development of hands-free interaction techniques and alternative computer access solutions for people with motor-neuron impairments
Vergleich von Parallelen Maschinen mit gemeinsamen und verteilten Speichern
Automatic deep learning segmentation of cortical and white matter lesions of multiple sclerosis patients in 7 Tesla magnetic resonance imaging data
Similarity Searching in Macromolecular Electron Density Maps
Fraktale Masse, Multifraktale und Diffusion als Ergebnis stochastischer Lernvorgänge in neuronalen Netzwerken
Maschinelle Lernverfahren zur Behandlung von Bonitätsrisiken im Mobilfunkgeschäft
Erklärungen in Fuzzy Expertensystemen: Entwicklung von Erklärungskonzepten für Fuzzy Expertensysteme auf der Basis geeigneter Wissensrepräsentation, Dialoggestaltung und Methoden der linguistischen Approximation
Automating the discovery of linking candidates
Entwurf, Simulation und Optimierung eines Algorithmus' zur hohen Kraftschlussausnutzung bei modernen Triebfahrzeugen
Landscape Level Modelling of the Ethiopian Highland Resources: A geo-informatics application to their sustainable management, use and conservation
Graphs with distance guarantees
Variability in service-oriented computing
Temporal modeling in relational database systems
Anamnese und Spermiogramm: EDV-gestützte Korrelationsstatistik an 2583 [zweitausendfünfhundertdreiundachtzig] Andrologie-Befunden der Universitäts-Hautklinik Bonn aus den Jahren 1960 bis 1972
Synthese von Kommunikationsprozessoren aus Spezifikationen in Form von Impulsdiagrammen
Anforderungen an Verfahren der Spektralanalyse physiologischer Zeitreihen und ihre algorithmische Realisierung
Messungen und Modellierung am deep shaft
Beitrag zur Ermittlung dynamischer Beanspruchungen beim Aufstoss von Eisenbahnfahrzeugen
Optimierung der Energie-Effizienz für Algorithmen der Linearen Algebra durch SIMD-Programmierung und AVX-Vektorisierung
Entwicklung eines rechnergestützten Informationssystems für die Bauleitung: ein Beitrag zur CAD-CAM-Technologie im Bauwesen
Computerunterstützte Interaktionsanalyse: Entwurf, Implementierung und Anwendung
Beitrag zur Realisierung der Methode der finiten Elemente auf einem problemorientierten Mehrmikroprozessorsystem
Schreibprozess und Computer
High-Speed Security Log Analytics Using Hybrid Outlier Detection
Optimale Steuerung verteilter, ereignisdiskreter Systeme
Determinusmus und Voluntarismus in computer-gestützten Entscheidungsprozessen: die soziologische Ambivalenz des Einsatzes von Entscheidungsunterstützungssystemen und Möglichkeiten ihrer Überwindung
Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen
Applications of phase registration in robotic mapping
Multi-objective Network Virtualization and its Applicability to Industrial Networks
Human Shape Estimation using Statistical Body Models
Urheberrecht im Internet in Österreich, Deutschland und der EU: Missbrauch, technische Schutzmöglichkeiten und rechtliche Flankierungen
Specification and verification for real-time coordination protocols of cyber-physical systems
Beschreibung programmierter Systeme mittels Hierarchien intuitiv verständlicher Modelle
Scalable propagation of continuous actions in peer-to-peer-based massively multiuser virtual environments: the continuous events approach
Multi-Klassifikator-Systeme für die Objetdetektion in Bilddaten
Stochastische Modelle für den Funkkanal und deren Anwendung
Distributed log analysis for scenario-based detection of multi-step attacks and generation of near-optimal defense recommendations
["Immer online?"] ; Immer online?: das Smartphone zwischen Begrenzung und Begehren in der psychonalytischen Behandlung Adoleszenter
Validierung von Busspezifikationen offener Maschinensteuerungen
Geometrical calibration and filter optimization for cone-beam computed tomography
Neuronale Netzwerke als psychologische Modelle des episodischen Gedächtnisses in Listenlernparadigmen: eine kritische Analyse konnektionistischer Methoden
Zeitgesteuertes Frame-Switching zur effizienteren Nutzung von Slots in FlexRay-Clustern
KI-Modelle in den Sozialwissenschaften: logische Struktur und wissensbasierte Systeme von Balancetheorien
Künstliches Themenbewusstsein in natürlichen Dialogen
Eine Methodologie und ein Werkzeug zur Wissensakquisition für Aufgaben der Prozesssteuerung
Vereinfachung von Prozess-Systemen durch Sequentialisierung
Zur Parameterschätzung und Stichprobenplanung in Weibull-Verteilungen
Romanische Verbalmorphologie und relationentheoretische mathematische Linguistik: Axiomatisierung u. algorithm. Anwendung d. klass. Wort-u.-Paradigma-Modells
Ein Beitrag zur Dekomposition von linearen zeitinvarianten Grosssystemen
Möglichkeiten und Chancen computerunterstützten Lernens in der Sonderschule für Lernbehinderte
Einsatz der elektronischen Datenverarbeitung in der Intensivmedizin vorwiegend am Beispiel des Elektrokardiogramms
Allgemeine Typographie: eine Studie zur Entwicklung von Typographie unter besonderer Berücksichtigung des Einflusses von Desktop Publishing Systemen
Natural scene statistics and neural representations for mouse vision
Communication of Digital Material Appearance Based on Human Perception
New challenges for interviewers when innovating social surveys: linking survey and objective data
Chip-Architekturplanung nach dem Resonanzverfahren: ein wissensbasierter Ansatz zur Synthese algorithmischer Verhaltensbeschreibungen
Handskizzeneingabe von Freiformgeometrien für CAD-Modelle
Messung, Modellierung und Bewertung von verteilten, multimedialen Systemen
Advanced handover management in future wireless networks using prediction of QoS
Geographische Restriktionen bei menschlicher Bewegungsmodellierung zur Leistungsbewertung in mobilen Netzen
Eine Domänen-Architektur zur Konfiguration von wiederverwendbaren Software-Komponenten für die Lösung nichtlinearer Netzgleichungen
Eine Methodik zur rechnergestützten Analyse und Synthese von Mehrgrössenregelsystemen
Simulation-Based Data Fusion and Tracking
Demo Engineering: Using Software Theater for Exploratory Projects
Learning Priors for Augmented Reality Tracking and Scene Understanding
Kommunikationsstrategien im Systemgeschäft: die Vermarktung von CIM-Systemen
Adaptive Pfadplanung mit Verfahren zur heuristischen Graphensuche
Eine objektorientierte Architektur für Hochleistungs-Display-Prozessoren
Entwicklung von Hard- und Softwarewerkzeugen zur Leistungs- und Einsatzoptimierung von Traktoren
Kompakte Implementierung konturorientierter Bildverarbeitungssysteme mit VLSI-Bausteinen
Entwicklung eines verbesserten Sprachcodecs für das GSM-Vollraten-Mobilfunknetz
Model-Driven Software Engineering for Computational Science Applied to a Marine Ecosystem Model
Anwendungen stochastischer Verfahren zur Lösung statischer und dynamischer Kanalvergabeprobleme in Mobilfunknetzen
Algorithmen und Indexstrukturen für Top-k-Anfragen mit quasi-konvexen oder quadratischen Bewertungsfunktionen
Computerunterstützte Darstellung von dreidimensionalen Strukturen für den Anatomie- und Embryologieunterricht
Self-Verification - Verification of Embedded Systems after Deployment
Unsupervised Learning of Network Embedding with Variational Autoencoder Framework
Ein Beitrag zur Dimensionierung kostenoptimaler Reihenfertigungen mit Hilfe von Bedienungsmodellen
Dynamische Modelle der Lasten elektrischer Energieübertragungssysteme
Beitrag zur experimentellen Parameteridentifikation linearer mechanischer Systeme mittels Modalanalyse
Konstruktion und Anwendung eines multizweckorientierten hierarchischen Metamodellierungswerkzeugs
Untersuchungen zur Modellbildung der Stickstoffaufnahme von Winterweizen unter Feldbedingungen
Ein Beitrag zur Entwicklung von Methoden zur Stereoanalyse und Bildsynthese im Anwendungskontext der Videokommunikation
Konzeption und Stand des Einsatzes von data dictionaries
Vertragsrechtliche Aspekte elektronischer Märkte - nach schweizerischem Obligationenrecht
Activity of microRNAs and transcription factors in Gene Regulatory Networks: Activity of microRNAs and transcription factors in Gene Regulatory Networks
Grundstrukturen in fehlertoleranten Systemen und ihre formale Darstellung
Structuring process models
Erkennung fliessender Sprache mit integrierten Suchmethoden
A systems biological perspective on complex human diseases: uncovering hidden relations via multi-scale network analyses
Wahlspots im Social Web: Eine medienwissenschaftliche Analyse der visuellen Wahlkampfkommunikation auf YouTube während der Bundestagswahl 2009
Bildbasierte Beleuchtung in 3D-Photo-Collections
Entwurf eines Blackboard-Rahmensystems für die Arbeitsplanung
Green Light Optimal Speed Advisory for Bikes
Deep Neural Networks and Tabular Data: Inference, Generation, and Explainability
Automatische Segmentierung natürlichsprachiger Sätze
Side-Channel and Fault Attacks in Modern Lattice-Based Cryptography
Prozessgerechte Toleranzfestlegung: Bereitstellung von Prozessgenauigkeitsinformationen für die Konstruktion
Zur approximativen Analyse nahezu-separabler Warteschlangennetze
Entwicklung eines Modells zur Anwendung inferenzfähiger Ontologien im Software Engineering
Organizational practices and the design of traveling algorithms: insights from an ethnographic study in an IT consultancy
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Methodische Anforderungsverarbeitung auf Basis eines objektorientierten Anforderungsmodells
Natürliche Semantik für imperative und objektorientierte Programmiersprachen
Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen
Qualitative Process Analysis: Theoretical Requirements and Practical Implementation in Naval Domain
Verifikation softwareintensiver Fahrwerksysteme