yusuke1997/dblp-id-title huggingface dataset:
Medien- und Online-Technologien im Industrial-Design: Theorie und Praxis der neuen Medien im Industrial-Design unter besonderer Berücksichtigung der Entwicklungs- und Anwendungsperspektiven von Online-Technologien im Automobildesign
Strategies in infinite games: structured reactive programs and transducers over infinite alphabets
Bitstream-based attacks against reconfigurable hardware
Efficient device drivers for supercomputers
Eine offene Mobile Health Plattform zur Erfassung und Verarbeitung von physiologischen Parametern in der Präventivmedizin
A GB related parser for Norwegian
Automatisierte Analyse von Bauschuttrezyklaten auf der Basis von Bild- und Spektralinformationen
Entwicklung und Realisierung eines integrierten Sicherheitskonzeptes der Informationsinfrastruktur: dargestellt an einem Beispiel-Betrieb
Entwicklung eines CAD-Modells mit integriertem Optimierungsansatz für die kurzfristige Abbauplanung als Teil eines Gesamtsystems für die Planung von Festgesteinstagebauen
Ziele und Aufbau eines Informationssystems für die Pflanzenzüchtung
Realisierung und messtechnische Untersuchungen an einem digitalen Parallelverfahren zur Datenübertragung im Fernsprechkanal
Untersuchungen zur Inzidenz, Ätiologie und Prävention nosokomialer Infektionen auf einer kombinierten interdisziplinären Intensiv- und chirurgischen Wachstation unter Anwendung eines standardisierten Datenerfassungsmittels
A Query Repository With Evolutionary Policy-Based Classification of SQL Queries
Web-scale profiling of semantic annotations in HTML pages
Untersuchung der Einbindung wissensbasierter Systeme in die Planung von Tagebauen, am Beispiel der Direktversturzkombination
Dynamic maintenance of convex polytopes and related structures
Designing intelligent support for learning from and in everyday contexts
Ein Beitrag zum Problem der Übertragbarkeit von Software
Anwendergesteuerter Einsatz von Algorithmen, Regeln und Fuzzy-Logik in offenen Systemarchitekturen
Surgical data science in endoscopic surgery
Experimentelle Untersuchung und mathematische Beschreibung des sigmoidförmigen Verlaufes der Äthanolresorptionsphase
Zwei Modelle zur datengetriebenen Segmentierung visueller Daten
Ansätze und Methoden zur Ressourcenabschätzung in Datenflusssystemen
Ein inkrementeller Ansatz zur Generierung informativer 3D-Animationen
Probleme der Organisation der Projektierung in Industriebaukombinaten und Möglichkeiten der Anwendung der automatisierten Informationsverarbeitung (AIV): ein Beitrag zur Intensivierung der Projektierung
Automatische Parallelisierung von sequentiellen Programmen unter besonderer Berücksichtigung von Hardware-Beschleunigern
Genauigkeit und klinische Anwendbarkeit der elektronischen computergestützten Registrierung von Kondylenbewegungen mit dem ECRS-Gerät nach Luckenbach
Automatische Übersetzung englischer Fachtexte ins Persische
Neuronale Radial-Basis-Funktion-Netze zur stabilen adaptiven Regelung von Gelenkarm-Robotern
Charakterisierung und Anwendungen von analogen EEPROMs
Anwendbarkeit statistischer Modelle bei virtueller Rekonstruktion lateraler Mittelgesichtsfrakturen
Learning Based Techniques for Intercell Interference Coordination in LTE-Advanced Heterogeneous Networks
Object class detection using part-based models trained from synthetically generated images
Grundlagenuntersuchung zur Optimierung der Lösearbeit von Teilschnitt-Vortriebsmaschinen mit Querschneidkopf
Control algorithms for mobile agents
Similarity search applications in medical images
Highly Automated Formal Verification of Arithmetic Circuits
Der Urheberrechtsschutz von Computerprogrammen im nationalchinesischen Recht: ein Vergleich mit dem deutschen Recht unter Berücksichtigung der internationalen Entwicklung
Neural Network Architectures and Activation Functions: A Gaussian Process Approach
Image processing problems using functional lifting onto low-dimensional measures
Embodiment in Virtual and Mixed Environments
Datenflusssemantiken für Petrinetze
Theoretische Begründung und praktikable Gestaltung einer Methodik für die zweckmässige Zuordnung von EDV-Gerätetechnik zu betrieblichen Fertigungsbereichen für Betriebe der metallverarbeitenden Industrie
Online monitoring and computational steering of massive parallel CFD simulations
Environmental system-of-systems engineering for integrated Nexus design: developing participatory approaches to design decision making processes in complex human-nature-technology systems
Geometrische Programmierung: Theorie, Algorithmen u. ökonom. Anwendungen
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Informationstechnische Kopplung von CAD und CAP durch eine flexible Konstruktionsdatenaufbereitung
Effiziente Algorithmen für Probleme der Kollisionserkennung und der geometrischen Optimierung
Physical-layer security for the internet of things
Exact algorithms for constraint satisfaction problems
Ein neuartiger, auf VDM basierender Codegenerator-Generator
Approximate similarity search in metric spaces
Simulation and statistical model-checking of logic-based multi-agent system models
Computergestützte Steuerungs- und Positionierverfahren für Elektrohängebahnsysteme
Konzeption für die Implementierung von Verfahren der hierarchischen und nichthierarchischen Clusteranalyse in eine Methodenbank unter besonderer Berücksichtigung des Leistungsvermögens der Verfahren
On the Accuracy of Fiber Tractography
Koordinierung in nebenläufigen, objektorientierten Systemen
Computer-aided validation of formal conceptual models
Antwortkontrolle im rechnerunterstützten Programmiertraining
Visualisierung in einer verteilten Rechenumgebung
ASITA: advanced security infrastructure for multi-agent applications in the telematic area
Kriterien zum Einsatz von Betriebssystemen am Beispiel der Nutzung von Unix im intermodalen Verkehr
Simultane Klassifikation der Bodenbedeckung und Landnutzung unter Verwendung von Conditional Random Fields
Lösungsansätze für juristische Expertensysteme: (warum kann u. soll es jurist. Expertensysteme geben?)
Gebäudeerfassung aus digitalen Oberflächenmodellen
Development of the FPGA-based Raw Data Preprocessor for the TPC Readout Upgrade in ALICE
Triplet lexicon models for statistical machine translation
Virtualizing physical space
System zur Unterstützung der optischen Prüfung von Werkstücken durch den Vergleich von Bildern auf der Basis eines integrierten Produktmodellierungssystems
Novel jet flavour tagging algorithms exploiting adversarial deep learning techniques with efficient computing methods and preparation of open data for robustness studies
Partitioning of radar signals in stationary and ground moving targets by use of low-rank and compressed sensing methods
Aspects of active learning, architecture search and Lidar Panoptic Segmentation towards pedestrian perception in autonomous driving
Computer-unterstützter Biometrieunterricht im Gartenbau
Modellierung und Leistungsbewertung paketvermittelter verbindungsorientierter Datenkommunikationsnetze für heterogene Verkehrslast
Symbolisch-numerische Signalverarbeitung zur Diagnose analoger Schaltungen
Rechnergestützte Simulationswerkzeuge zur Effizienzsteigerung des Industrierobotereinsatzes
Qualitative modeling for observer based fault diagnosis
Deep one-class learning: a deep learning approach to anomaly detection
Emotionale Gestaltung multimedialer Lernumgebungen: der Einfluss visueller Ästhetik und Usability auf affektives Erleben, Motivation und Lernerfolg
Syntaxanalyse von Graphen bei Präsidenz-Graph-Grammatiken
Bronchoskopische Navigation mittels Pose-Estimation des C-Bogens aus musterkodierten Fluoroskopie-Aufnahmen
Netzwesen Mensch: vom Alltag im Cyberspace
Entwicklung von Computergrafik-Methoden für die Darstellung der dreidimensionalen Struktur von ribosomalen Untereinheiten
Effiziente und robuste, feature-basierte Wiedererkennung langer Zeitreihen in großen Datenbanken
Methodische Beiträge zur Realisierung einer zentralisierten Server-Client-Architektur für eine sichere IP-basierte Fahrzeugdiagnose am Beispiel einer Service-Werkstatt
Serviceorientiertes Mehrkanal-Beaconing in Fahrzeug-Ad-hoc-Netzen
From acoustic mismatch towards blind acoustic model selection in automatic speech recognition
Evaluation von Anlagestrategien: Realisierung eines objektorientierten Simulators
Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation
Online-Planungsprobleme mit Fristen: Algorithmendesign und Analysen
Efficiency and effectiveness evaluation of an automated multi-country patient count cohort system
Quantum cryptanalysis with minimal amount of qubits
Integrierte Flugzeugrumpf- und Kabinenentwicklung mit graphenbasierten Entwurfssprachen
Studie zur Herausbildung der Informatik als wissenschaftliche Disziplin unter den Bedingungen kapitalistischer Produktionsverhältnisse
Zur Bestimmung von Zielen für die räumliche Bevölkerungsverteilung: e. nichtlineares Programmierungsmodell
Erfahrungen in der Optimierung von Netzwerkfunktionen nach Gauss und Tschebyscheff
Komplexe Unternehmensdynamik: chaotische dynamische Systeme in der Betriebswirtschaftlehre
Anwendungsarchitektur-konforme Konfiguration selbstorganisierender Softwaresysteme
Signature-based algorithms to compute standard bases
Der k-NN-Klassifikator bei stochastisch abhängigen Lernfolgen
Coordinating Service Compositions: Model and Infrastructure for Collaborative Creation of Electronic Documents
Anwendung neuronaler Netzwerke zur Lösung von Klassifikationsproblemen
Optimisation of tableau-based reasoning systems for expressive description logics
Predictive Dependency Parsing
Machine learning techniques for time series forecasting in power systems operation
Nutzung der Digitalsimulation bei der Entwicklung von Regelstrukturen für Drehstromantriebssysteme
Die Entwicklung einer Systemtechnik und ihre Anwendung auf ein vertikales Marketingsystem
Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen
Declarative design and enforcement for secure cloud applications
Subjektive Leistungen im Arbeitsprozess: eine empirische Untersuchung von Arbeitsstilen in der Programmierarbeit
Applied declarative security & privacy mechanisms in macOS applications = Angewandte deklarative Mechanismen zur Wahrung von Anwendungssicherheit und Datenschutz in macOS-Anwendungen
Durchlaufzeiten in Informationsprozessen: Wege zur Beschleunigung der Informationsverarbeitung
Zur wirtschaftlichen Problematik der Einführung innovativer Informationstechnologien: ein institutionenökonomischer Ansatz mit empirischer Fallstudie
Immersiorama immersive yet controlled: cognitive science in virtual world, an argument for virtual reality as an improvement to laboratory
CAD Schraubenverbindungen
Entwurf und Bewertung von Verfahren zur Verkehrslenkung in WDM-Netzen
Observation Petri Nets
Beitrag zur funktionsorientierten Behandlung komplexer digitaler Systeme
Interaktive Hypertext-Anwendungen in Vertrieb und Marketing
Improving the consistency and completeness of safety requirements specifications
Identifikation von Parametern linearer Systeme bei starken Störungen
Operation refinement proofs for VDM-like specifications
Fehler von Berufsschülern bei der Arbeit mit dem Computer im Unterrichtsfach Datenverarbeitung
Software-Defined Networking for Real-Time Capable, Reliable and Cost-Efficient Smart Grid Communication Infrastructures
Distance computation, information dissemination, and wireless capacity in networks
Repräsentation, Verarbeitung und Organisation von Webinhalten: Relaunch des Webauftritts der Universität Bielefeld
Architectures for virtualization and performance evaluation in software defined networks
Comprehensible and Robust Knowledge Discovery from Small Datasets
Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion
Elektronische Zeitungsproduktion: computergesteuerte Redaktionssysteme und ihre publizistischen Folgen
Model-driven adaptation for spoken dialogues in intelligent environments
Vector detection techniques with moderate complexity
Overcoming challenges of controller-based and free-handed interaction in cross-reality
Computerprogramme im deutschen Urheberrechtssystem
"Ilmenauer Verteiltes Information-Retrieval-System" (IVIRES): eine neue Architektur zur Informationsfilterung in einem verteilten Information Retrieval System
A Metamodel for Cyber-Physical Systems
Implementation of bioinspired algorithms on the neuromorphic VLSI system SpiNNaker 2
Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties
Face recognition in an automotive environment
Exact solutions for discrete graphical models: multicuts and reduction techniques
Ein Beitrag zur Entwicklung offener Prozeßleitsysteme für Unterstationen des Elektroenergiesystems mit Hilfe eines ganzheitlichen Datenmodells
What, where, and when? Mechanisms of learning biological motion representations
Strukturierung mikrorechnergesteuerter Messgeräte zur Logikanalyse in komplexen digitalen Schaltungen
Driver mental states detection during highly automated driving by decoding brain signals
A reference architecture and implementation enabling data protection in distributed eLearning and eScience processes
Diskrete Geometrie für die digitale Bildverarbeitung
Statistische Physik des Lernens perzeptronartiger Neuronaler Netzwerke
Cooperative routing in wireless mesh networks
Entwurf von selbstprüfenden digitalen Schaltungen mit monoton unabhängigen Ausgängen
Measurement-based Quality Assessment of Requirements Specifications for Software-Intensive Systems
Deep learning for imaging particle analysis applications
Unveiling rare patterns: enhancing interpretability and discovering unexpected insights in data
Grafisch unterstützter Entwurf und Restrukturierung von Softwarearchitektur
Selbstorganisation neuronaler Strukturen durch Kooperation und Wettbewerb: Theorie der Bildung von Augendominanzmustern und Zeitreihenanalyse mit neuronalen Modellen
Verteiltes Modell-Management und Objektbanken für diskrete Probleme und diskrete Strukturen
Angepasste Verfahren der drahtlosen Nachrichtentechnik
Wirtschaftlichkeit von Bürokommunikationssystemen: Entwicklung e. method. gestützten Instrumentes für d. Wirtschaftlichkeitsbeurteilung von Bürokommunikationssystemen
Pre-error cognition: insights into cognitive control through neural precursors of performance errors
Berechnung des Hochwasser-Abflusses mit Hilfe eines Niederschlags-Abflussmodells unter Verwendung verschiedener hydrologischer Verfahren
Konzepte und Prototypen interaktiver Hilfesysteme
Aufnahme und Verarbeitung peripherer visueller Information unter dem Aspekt der Beanspruchungsmessung
Coordination in open distributed systems
Räumliche und zeitliche Regelmässigkeiten zellularer Automaten
Certified Adversarial Robustness With Domain Constraints
Real-Time Geometry Decompression on Graphics Hardware
Zur Lernwirkung von Medien unter informationstheoretischem und zeichentheoretischem Aspekt
On the impact of high-speed drops on dry and wetted surfaces
Logistikgerechte PPS-Systeme: Konzeption, Aufbau, Umsetzung
Semantic interoperability as a service for the smart energy system
Deep learning methods for automotive radar signal processing
Analysis and Design of Modern Coding Schemes for Unequal Error Protection and Joint Source-Channel Coding
Rechnerunterstützte Elizitierung mehrattributiver Präferenzstrukturen: ein normativ begründeter Ansatz bei gegebener Attributmenge
Computerbasiertes Lernen in 3D-graphischen Szenen: Entwurf, Realisierung und Evaluation einer Anwendung für die kardiologische Ultraschalldiagnostik
Informationsspuren zum numerischen und graphischen Vergleich von reduzierten natürlichsprachlichen Texten
Zur Gestaltung der Benutzerschnittstelle von Softwaresystemen für automatisierte Informationssysteme
Optimizing client-server architectures for spoken language dialogue systems
Mobile service provision in harsh environments = Bereitstellung mobiler Dienste in rauen Umgebungen
Beiträge zur algebraischen Theorie der formalen Sprachen
Mathematische Modellbildung und Simulation der Knochenheilung
Neue Informations- und Kommunikationstechnologien im Marketing des Lebensmitteleinzelhandels
CAD-Datenaustausch: ein formaler Ansatz
Effiziente Lösungsverfahren für Sichtbarkeitsprobleme in der realitätsnahen Bildsynthese
Semantische Technologien zur domänenspezifischen und formalen Beschreibung von Zeitreihen in Datenbanken
Zustandsbeobachter für zeitdiskrete nichtlineare Systeme: geometrische Analyse und Synthese
Die Marxsche Theorie als Computersimulation: Versuch einer systemtheoretischen Explikation des Marxschen Forschungsprogramms
A methodology for requirements analysis and evaluation of software development environments
Papierlose Wertpapiere
Concepts for scalable molecular dynamics simulations on future HPC systems
Der Wechsel von Informationsaufnahme und aktiver Verarbeitung beim Lernen: eine Anwendung in der EDV-Schulung
Informationsquellenmodelle: ein Konzept zur wissensbasierten Bewertung der Glaubwürdigkeit von Meinungen
CAD-Verarbeitung zur Simulation von Molekülspektren
Social search in collaborative tagging networks: the role of ties
Schnelles Reaktorzyklus-Rechenverfahren mit einem 3D-Simulator und Untersuchung neuer Abbrandstrategien für Druckwasserreaktoren
Codeselektion mit regulär gesteuerter Termersetzung
Agentenunterstützte Steuerung von Multimediadiensten
Online-Verfahren der Ganzzahlarithmetik und ihre Realisierung in einem Koprozessor
New techniques for the modular analysis of digital signature schemes
Topological device descriptions and applications
Entwicklung hochfester zementgebundener Betone unter Anwendung mathematischer Modellierungsmethoden
Computing information rates of finite state models with application to magnetic recording
Analoge Schaltungstechnik für die Emulation biologieorientierter Neuronenmodelle
Network analysis for decision support: a structured study of transportation systems and their topologies
Kontextadaptive Anwendungsarchitekturen für das mobile Cloud Computing
CASSANDRA: drug gene association prediction via text mining and ontologies
Werkzeuge zur Rationalisierung der Softwareentwicklung unter besonderer Berücksichtigung von Aufgaben der Leitung und Planung
Sierpinski Curves for Parallel Adaptive Mesh Refinement in Finite Element and Finite Volume Methods
Faster and more robust algorithms for Monte Carlo light transport simulation
Detecting and mitigating information flow threats in Android OS / by Sascha Groß
Theoretische und experimentelle Analysen zum Fitts'schen Gesetz bei der Interaktion mit großflächigen berührungssensitiven Bildschirmen
Designing and implementing a web-based network controlling system (NCS) for automated real time routing service over the web, based on open source technologies: a case study for Tehran
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Optimierung von Pulssequenzen
Entwurfskriterien, Realisierung und Einsatz eines assoziativen Subprozessors für Mikrorechner
Gestaltung der arbeitsplatzorientierten Informationsverarbeitung und Schlussfolgerungen für die Ausbildung von Ökonomen
Construction of a concept of neuronal modeling
Mikrorechner-Hardware- und -Software-Module zur effektiven Realisierung von Automatisierungslösungen mit Elektroantriebssystemen
Selbstorganisation, Selbstausrichtung und Selbstanpassung in lernenden Multi-Agenten-Systemen
Bewertung inhomogener fraktaler Strukturen und Skalenanalyse von Texturen
Temporal Program Verification and Synthesis as Horn Constraints Solving
Time-frequency localized functions and operators in Gabor analysis
Speech synthesis from invasive brain signals: From offline analysis to closed-loop speech decoding
Design and analysis of lightweight block ciphers: a focus on the linear layer
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Strengthening public-key cryptography: robust constructions and multi-user security
CAD-systemneutrale Erstellung und Datenhaltung von parametrisierten Variantenbibliotheken
Development and evaluation of architecture concepts for a system-on-chip based neuromorphic compute node for accelerated and reproducible simulations of spiking neural networks in neuroscience
Goal-oriented A Posteriori Error Estimation and Adaptive Mesh Refinement in 2D/3D Thermoelasticity Problems
Systemtechnische Aspekte von Expertensystemen auf der Basis arbeitsplatzorientierter Rechentechnik
Toward a Better Understanding of Evolving Social Networks
Symbolic representations in WCET analysis
Entwurf und Realisierung des Aufbaus und der Testumgebung der SB-PRAM
Probabilistic protein homology modeling
Nutzungsprobleme der elektronischen Datenverarbeitung bei der Untersuchung von Transportgutdiebstählen mit unbekanntem Täter im Gütertransport der Deutschen Reichsbahn: eine kriminalistische Studie
Approximation mit rationalen B-Spline Kurven und Flaechen. Approximation with rational B-spline curves and surfaces / Bernhard Elsaesser
Rechnerintegrierte Darstellung von Produktinformation und Wissen als Basis für ein intelligentes Konstruktionssystem
Von Economo und Koskinas 3D-Atlas auf Grundlage eines physischen Modells
Statistical natural language processing methods for intelligent process automation
Demystifying reinforcement learning approaches for production scheduling
Das Orientierungsproblem bei Hypermedien: zur Metamorphose eines Gestaltungsproblems / Angelika Hoppé
Beurteilung des Nutzungs- und Instandhaltungsverhaltens von Kraftfahrzeugen mit Hilfe eines theoretisch-experimentellen Modells
Zweistufenoptimierung von Stahlbetontragwerken mit Hilfe der sequentiellen quadratischen Programmierung
Top-k Semantic Caching
Geoinformationssysteme zur Lageanalyse und Risikobewertung
Visuelle Wahrnehmung und Zeichenfunktion: Untersuchung zur Grundlage des Kategorieneffekts bei der Wahrnehmung von Buchstaben und Ziffern
Reflection patterns in the context of object and component technology
CAVA - A Verified Model Checker
Entwicklung eines Hybriden Tidemodells
Models and algorithms for demand oriented planning of telecommunication systems
Ein Ansatz zur Integration von Pfadausdrücken in Frame-Logik
Systementwurf für die rechnergestützte Befundung, dargestellt am Beispiel der Röntgendiagnostik des Digestionstrakts
Verteilte Architektur eines sprachgesteuerten wissensbasierten Beratungssystems
Testpunkteinbau und hierarchische Fehlersimulation in kombinatorischen Schaltungen
Computer als medizinische Lehr- und Lernmedien unter besonderer Berücksichtigung von dermatologischen Patientensimulationen
Die Entwicklung von Mikroprozessorsystemen unter besonderer Berücksichtigung der Unterstützung durch rechentechnische Hilfsmittel
EDV-mäßige Erfassung von Mißbildungen im Kiefer-Gesichtsbereich
Neue Konzepte und Methoden für die inkohärent-optische Bildverarbeitung
Verbesserung von Lastverteilverfahren durch Einbeziehung eines längeren Beobachtungszeitraumes
Ein rechnergestütztes Therapieverfahren zur Behandlung von Diabetikern auf der Basis eines Modellregelsystems
Der Missbrauch von Codekarten aus strafrechtlicher Sicht
DV-gestützte Führungsinformationssysteme: konzeptionelle Anforderungen und Gestaltungsmöglichkeiten
Learning multi-view 2D to 3D label transfer for semi-supervised semantic segmentation of point clouds
Untersuchungen zur Unterstützung der Datenbankverwaltung auf Arbeitsplatzrechnern durch eine dedizierte Hardware
Heuristische Ressourcenplanung in MPM-Netzplänen mit beschränkter Kapazität
Fault-Tolerant Spatio-Temporal Compression Scheme for Wireless Sensor Networks
Workload-sensitive Timing Behavior Analysis for Fault Localization in Software Systems
Rechnergestützter Firmwareentwurf
Entwicklung und Optimierung eines modularen orthopädischen Diagnoseprogramms für die Erkennung von Muskel-Skelett-Erkrankungen einschließlich computerbasierter Umsetzung auf CD-ROM
Learning to Hash for Large-Scale Medical Image Retrieval
Abbildungsqualität von wissensbasierten Systemen: eine Methodologie zur Evaluierung
Datenschutz beim Internet-Einkauf: Gefährdungen, Anforderungen, Gestaltungen
Data-driven requirements elicitation: an automated end-user feedback analytics approach and implications for enterprise software requirements engineering
Über orthogonale Transformationen und fehlerkorrigierende Codes