yusuke1997/dblp-id-title huggingface dataset:
Adaptives Monitoring für Mehrkernprozessoren in eingebetteten sicherheitskritischen Systemen
Analog CMOS implementation of a multi-layer perceptron with nonlinear synapses
Benutzung und Programmierung virtueller Zellularprozessoren in höheren Programmiersprachen
Evolutionäre Segmentierung dreidimensionaler Formen unter Verwendung von Satelliten-Seeds
Verfahren zur Merkmalsbeschreibung von Oberflächendefekten für den Einsatz von maschinellem Lernen in der optischen Inspektion metallischer Mikrobauteile
Multiplexing and Multi-Mode Super-Resolution for Digital Material Appearance
Methode zur Reifegradsteigerung mittels Fehlerkategorisierung von Diagnoseinformationen in der Fahrzeugentwicklung
Computer aided selling: unternehmenstypologische Marktanalyse
Der Zugriff auf Computerdaten im Strafverfahren
Untersuchungen zu numerisch effektiven Verfahren zum Lösen von linearen Optimierungsaufgaben mit Verbundstruktur mittels impliziter Ressourcenaufspaltung
Computable or Not Computable: Algorithmic Aspects of Channel Capacity
A Model-driven Engineering Methodology for the Development of Service-oriented Control Procedures for Automated Manufacturing Processes
Exploring Self-Organization in Complex Biological Systems: From Neural Networks to Evolutionary Dynamics
Applied matching algorithms: selected problems from the domains of computer science education and market design
Monitoring of traffic manoeuvres with imprecise information
Inductive representation learning and natural language question answering on temporal knowledge graphs
Vorabübertragung ortsbezogener Informationen zur Unterstützung mobiler Systeme
Anomaliedetektion in räumlich-zeitlichen Datensätzen
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Dynamic fiducial markers for camera-based pose estimation
Vertragsschluss mittels BTX
Wissensmodellbasierte Audit support systems: ein Beitrag zur Architektur integrierter Informationssysteme im Rahmen der Jahresabschlussprüfung
Provider-Independent social identity management for personal and professional applications
Abstrakte Datentypen mit automatischen Implementierungen
Vergleich zweier Theorien nebenläufiger Prozesse
Entwicklung und Einsatz eines Informations- und Lehrsystems im Bereich der Photogrammetrie und digitalen Bildverarbeitung
Process-Driven Document Analysis and Understanding
Suche und Orientierung im WWW: Verbesserung bisheriger Verfahren durch Einbindung hypertextspezifischer Informationen
Offene Speichersysteme: physischer Datenbankentwurf für externe Objekte
Integrierte Modellierung von Kontroll- und Datenfluß
Medical image knowledge extension: toward an information model for representation and acquisition to enhance knowledge about medical images
Approximation von Vektorfeldern durch Selbstorganisation neuronaler Netze mit Fehlerrückführung am Beispiel der inversen Kinematik eines planaren 4-Gelenk-Arms
Datenbasierte Gesichtsanimation
Kommunikationsplanung in busgekoppelten Mehrrechnersystemen
Designing for Shared Understanding. How Collaboration Engineering can Improve Team Effectiveness of Herterogeneous Groups
Parallelisierbare Erkennung trihedraler, starrer und statischer Polyeder in einzelnen hochauflösenden Abstandsbildern
Rechtsfragen von Domain-Namen: eine empirische und dogmatische Untersuchung zivilrechtlicher Probleme, die unter die Benutzung von Domain-Namen im Internet aufgeworfen werden, insbesondere im Namens- und Kennzeichenrecht
A Generic Architecture Style for Self-Adaptive Cyber-Physical Systems
Approximate Data Analytics Systems
Smoothed-NUV priors for imaging and beyond / presented by Boxiao Ma
Wissensbasierte Erkennung und Lokalisierung von Objekten
Informatische Methoden im Sport: Simulation, Data-Mining und Machine-Learning
Tool support for architectural decision making in large software intensive projects
Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Design entropy - a measure for complexity
Debugging learning algorithms: understanding and correcting machine learning models
Searching business process models by example
Object-Oriented Modeling and Coordination of Mobile Robots
Genaue Analyse einiger kombinatorischer Algorithmen
Rechnerunterstützte Erstellung medizinischer Lehrbücher unter Verwendung formal repräsentierten Wissens
A Model-Driven Approach for the Comprehensive Analysis and Scheduling in Time-Sensitive Networks
Messung und Modellierung von lichtstreuenden Materialien zur Computer-Simulation von Tageslichtbeleuchtung
Optimierung der Trainingssteuerung im Straßenradsport mittels simulationsgestützter Trainingswirkungsanalyse mit dem Performance-Potential-Metamodell
Zu sozialen Wirkungen des Einsatzes informationsverarbeitender Technik in Bereichen ausserhalb der unmittelbaren materiellen Produktion der DDR: (Banken/Sparkassen, Deutsche Post)
On improving privacy and security through user-informed design
Service level agreements for job submission and scheduling in high performance computing
Lagrangian-Lagrangian fluid-solid coupling in a generalized finite difference framework
Syncpal: a simple and iterative reconciliation algorithm for file synchronizers
Theoretische Grundlagen und praktische Konzeption personal-computer-gestützter Systeme der Bankbilanzanalyse
Eine Methode zur psychologischen Modellierung und Simulation von autonomen Agenten
Concurrency Control for High-Performance Storage Engines
Fault-Tolerant Consistency Management in Model-Driven Engineering
Theoretische Grundlagen zur Vervollkommnung der Futterplanung in den sozialistischen Landwirtschaftsbetrieben der DDR unter den Aspekt der Anwendung ökonomisch-mathematischer Verfahren und der EDV
Leittechniksystemunabhängiges Strukturierungs- und Programmierungssystem, Verknüpfung von Standardfunktionsbausteinen und höheren Automatisierungs-Algorithmen
Ein Beitrag zur künftigen Systemkonstruktion der Informationstechnik
Joint use and mutual control of terrestrial laser scans and digital images for accurate 3D measurements
Sprachhandlungen, Übungsgestaltung und Gesprächsbefähigung auf der Anfangsstufe der berufsbezogenen computergestützten Sprachintensivausbildung Portugiesisch unter linguistischem und fremdsprachendidaktischem Aspekt
Supervised and semi-supervised statistical models for word-based sentiment analysis
Adaptivität und semantische Interoperabilität von Manufacturing Execution Systemen (MES)
Exploiting model morphology for event-based testing
Contribution to combinatorics on words
A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems
Uncertainty estimation for dense stereo matching using Bayesian deep learning
TWIST: ein Computerprogramm zur Strainberechnung aus Calcit-Zwillingsdaten und seine Anwendung in der Deformationsanalyse des alpinen Vorlandes
Anisotropic diffusion in image processing
Algorithmensynthese für lineare Systeme mit Symmetrie
Resource Efficient Inference Serving With SLO Guarantee
Konzeption und Entwicklung eines trinokularen Endoskops zur robusten Oberflächenerfassung in der minimalinvasiven Medizin
Die Registrierungspraktiken für Internet-Domain-Namen in der EU
Integrierte Planung von Informationssystemen für rechnergestützte Produktionssysteme
Segmentation of medical images using fuzzy methods
New Prototype Concepts in Classification Learning
Ein System zur kompakten und rechenzeiteffizienten VLSI-Layouttranslation unter Berücksichtigung von Regelwissen
Ein Beitrag zur Projektierung von Datenerfassungssystemen: dargest. am Beispiel d. materiell-techn. Versorgung d. VEB Gaskombinat Schwarze Pumpe
Universelle Darstellung struktureller Information im Computer
Improving Embedding Spaces in Deep Neural Networks for Computer Vision Tasks
Efficient masked hardware implementation of symmetric cryptographic primitives
Explainable AI for the Human-Centric Development of NLP Models: Working Towards more Interpretable, Robust, and Controllable Models
Aspekte des Lernens in Modellen neuronaler Netzwerke
Leistungsbewertung eingebetteter Neurocomputersysteme
Prozessregelung numerisch gesteuerter Umformmaschinen mit Fuzzy Logic
Cryptonite: a programmable crypto processor architecture for high bandwidth applications
Novel methods of passive and active side-channel attacks
Teilefamilienbildung: Vergleich rechnergestützter Verfahren
Gebäudebetriebsoptimierung: Verbesserung von Optimierungsmethoden und Optimierung unter unsicheren Randbedingungen
The recognition of acoustical alarm signals with cellular neural networks
Zufallsbeeinflusste Kellerautomaten
Automatic speaker recognition using neural networks and vector quantization
Lifelong Machine Learning for Biomedical Image Classification
Computerunterstützte Modelltransformationen: Modellierungstheorie, Konzeption und Visualisierung im Rahmen modellgetriebener Entwicklungsverfahren
Ein Beitrag zur Modellierung von Bedienungssystemen mit störanfälligen Kanälen und einer endlichen Anzahl von Warteplätzen
EDV-gestützte Arztbericht-Schreibung im Krankenhaus
Heuristische Verfahren zur Planung von Materialbereitstellungsflächen in einer Automobilmontage
Eine algebraische Beschreibung planarer Graphen und ihre Anwendung auf Petri-Netze
Rapid prototyping heterogener Echtzeitsysteme für die Mechatronik
Entwicklung statistischer Tests mit computergestützter Algebra
IT-Investitionen: investitionstheoretische Behandlung von Unsicherheit
Uncertainty Estimation, Management, and Utilisation in Human-Computer Dialogue
Analyzing given names: exploring potentials for a personalized name discovery on Nameling.net
Objektorientierte Systematisierung fügetechnischer Entwicklungen im Automobilbau
Beiträge zur Anwendung der surrogate constraints in der linearen 0-1-Optimierung
Assessing and improving strain-resolved assembly in microbial communities
Computing on encrypted data using trusted execution environments
Controlling und Informationstechnologie: Auswirkungen auf die organisatorische Gestaltung
Konzeption und Realisierung einer visuellen Modellierungssprache für Endanwender zur generischen Anpassung des dynamischen Verhaltens von Softwaresystemen
Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze
Operating System Support for Redundant Multithreading
Ein Verfahren zur automatischen Generierung von software-ergonomisch gestalteten Benutzungsoberflächen: mit 48 Tabellen
Dynamic Fractional Cascading oder die Verwaltung vieler linearer Listen
Der Pupillenregelkreis: ein biologisch motiviertes Modell aus systemtheoretischer Sicht
Random finite set-based localization and SLAM for highly automated vehicles
Security aspects of anomaly detection for cyber-physical systems
Ein Vorgehensmodell zum systematischen Planen und Aufsetzen von Data Science Projekten
Medos-2: a Modula-2 oriented operating system for the personal computer Lilith
On control and observation of neutral systems
Entwicklung eines entscheidungsunterstützenden Informationssystems für die Analytische Chemie
Semantischer Assistent für die flexible Modellierung und Echtzeit-Planung von Engineering Change-Prozessen
Multimediale Werkzeuge zu 3D-Planung im Maschinen- und Anlagenbau
Beiträge zu globalen Fragen in der NURBS-Technik
On the complexity of some problems in algorithmic algebraic number theory
Semantics, Language and Geometry: Learning to Understand the Scene
Quellsprachorientiertes Debugging von optimierten Programmen
System-Mediated Support of Explicit Collaboration in Information Retrieval
Rettungsgassenbildung mit autonomen Fahrzeugen auf Hardware mit beschränkten Ressourcen
Knochenmodellherstellung in der Medizin anhand von sonographischen Daten: unter Anwendung von Computer Aided Design (CAD) und Stereolithographie als Computer Aided Manufacturing (CAM)
Parametrische semi-infinite Optimierung in totalgeordneten Gruppen
Von Computerspielen zu Lernprogrammen: empirische Befunde und Folgerungen für die Förderung computergestützten Lernens
Datenschutz und Suchmaschinen: neue Impulse für einen Datenschutz im Internet
Ausgewählte Therapiemaßnahmen bei traumatisierten RTH-Patienten auf der Intensivstation: eine Verlaufsbeobachtung zum posttraumatischen Prozeßqualitätsmanagement
Rechnergestützte Bestimmung von Schaltmassnahmen gegen unzulässige Betriebszustände in Hochspannungsnetzen
Sicherheit für offene Kommunikation: verbindliche Telekooperation
Ein Beitrag zur Speicherung digitalisierter Schriften und zur Software beim rechnergesteuerten Lichtsatz
Real-time auralisation of outdoor sound propagation
Content-Management-Anwendungen: Spezifikation von Internet-Anwendungen auf Basis von Content-Management-Systemen
Eintauchen in mediale Welten: Immersionsstrategien im World Wide Web
Reliable communications within cyber-physical systems using the internet (RC4CPS)
Mathematische Modellierung und Simulierung der Gefügebildungsvorgänge beim Warmwalzen in Kalibern, vorzugsweise beim Walzen von Stabstahl und Draht
Ein Referenzmodell für die Retained IT-Organisation für deutsche Energieversorgungsunternehmen
Improving security, privacy and usability in the encrypted email ecosystem
Privacy and security issues in IPv6 networks
Ein Beitrag zur Erarbeitung von Zuverlässigkeitsstrategien in lokalen Rechnernetzen mit optoelektronischer Informationsübertragung
Steuerung eines Glaspressenautomaten mit unscharfen Methoden
Nonmonotonic reasoning: from theoretical foundation towards efficient computation
Bimodal Speech Recognition
Deep learning of virtual marine sensors
Verknüpfung des Konzepts der Netzkomponente mit der Struktur, dem Datenaufbau und der Betriebsführung von elektrischen Versorgungsnetzen
Untersuchung der Zuverlässigkeit und der Echtzeiteigenschaften von Token-Ring-Netzen unter dem Aspekt des Einsatzes als Kommunikationssystem in der Schaltanlagenleittechnik
Efficient Context-aware Real-time Processing of Personal Data Streams
Ein schnell konvergierendes Displacement-Schätzverfahren für die Interpolation von Fernsehbildsequenzen
Ein neues photonisches Datenkommunikationsnetz hoher Kapazität mit Paketvermittlung für den Weit- und Grossstadtverkehr
Graphmetriken und Charakterisierung von Graphenklassen
Ein situationsbasiertes Interaktionsmodell: Unterstützung von Dialogsteuerung und Selbsterklärungsfähigkeit in graphisch interaktiven Systemen
Ein Beitrag zur textuellen Programmierung von Industrierobotern
Modeling Planning, Control, and Scheduling of Cyber-Physical Systems for Reinforcement Learning
Beitrag zur automatischen Testprogrammerstellung für das digitale In-Circuit-Prüfverfahren
Forensically Sound Data Acquisition in the Age of Anti-Forensic Innocence
Investigating minimally strict functions in functional programming
On the learning of orthogonal dictionaries for sparse coding and the adaptive hierarchical sensing of sparse and compressible signals
Mixed-Signal Circuit Implementation of Spiking Neuron Models
Computergestützte Untersuchung der apikalen Undichtigkeit von Wurzelkanalfüllungen nach Farbstoffpenetration
An artifical neural network approach to model and predict asphalt deflections as a complement to experimental measurements by falling weight deflectometer
Beitrag zur Realisierung eines portablen, fehlertoleranten Mehrrechner-Betriebssystems zur Prozessautomatisierung
Ein Verfahren zur Konfiguration von Mehrprozessorsystemen
Die roboterunterstützte Implantation von Hüftendoprothesen mit dem CASPAR- System: Vergleich des Operationsverfahrens mit der konventionellen Technik und Frühergebnisse von 103 Fällen
Low-Latency Data Access in a Java-based Distributed In-Memory Key-Value Storage
Internetbasierte Immobilienfinanzierung: Auswirkungen des Electronic Business auf die Finanzierung privater Wohnimmobilien
Constrained camera motion estimation and 3D reconstruction
Selbstreproduzierende Maschinen: Konrad Zuses Montagestraße SRS 72 und ihr Kontext
On the utility of bytewise approximate matching in computer science with a special focus on digital forensics investigations
Numerical treatment of localized fields in rigorous diffraction theory and its application to light absorption in structured layers
Mapping of a Machine Learning Algorithm Representation to Distributed Disaggregated FPGAs
Logisches Schliessen bei Unsicherheit: Inferenzen in einer probabilistischen Wissensbasis bei induktiv und deduktiv erlernten Informationen
Enhancing Information Systems with Event-Handling - A Non-Invasive Approach
Estimation of motion in consecutive images
Human-centered explainable artificial intelligence for natural language processing
Recurrence in Self-Stabilization: Theory, Verification, and Application
Optimisation and evaluation of software support systems
Ein zweidimensionales numerisches Modell zur Nebelprognose
Wertorientiertes Controlling von Service-orientierten Informationssystemen: Erfolgsfaktoren flexibler IT-Applikationen
Betrachtung der Mensch-Computer-Interaktion eines bilddatenorientierten medizinischen Arbeitsplatzes für computergestützte Diagnostik und Therapieplanung
Rechnergestützte Auswertung gastrointestinaler Motilitätsparameter: Ösophagus - Magen - Kolon
Die Unternehmensarchitektur als Instrument der strategischen Kontrolle
Die Worterkennung in einem Dialogsystem für kontuierlich gesprochene Sprache
Morphembasierte automatische Indexierung und Klassifikation von Diagnosenbezeichnungen: Methodik, Realisierung und Evaluation
Rechnergestützte Planung der Ausbildung einer militärischen Lehreinrichtung: eine Problemlösung
Ein Verfahren zum Auffinden elliptischer Löcher in elastisch isotropen Scheiben mit Hilfe einer Randelement-Methode
Machine learning based classification for semantic world modeling: support vector machine based decision tree for single tree level forest species mapping
User Interfaces to the Web of Data based on Natural Language Generation
Dynamische neuronale Netze und das fundamentale raumzeitliche Lernproblem
Der Reproduktionsprozess des territorialen Arbeitsvermögens: seine Systematisierung, komplexe modellhafte Erfassung und rechnergestützte Simulation
Managing business networks: an inquiry into managerial knowledge in the multimedia industry
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
Methoden- und objekttheoretische Grundlagen zur rationelleren Projektierung von Verarbeitungsanlagen
Segmentierung und Interpretation digitaler Bilder mit Markoff-Zufallsfeldern
CoRE - komponentenorientierte Entwicklung offener verteilter Softwaresysteme im Telekommunikationskontext
Theoretische und experimentelle Untersuchungen zur Entwicklung eines mathematischen Modells der Verkokung
Gestaltung und Auswertung von Prüfprozessen unter aufwandsoptimalen Gesichtspunkten mittels anwenderfreundlichen, rechentechnischen Verfahrensregeln
Intraoperative Planning and Execution of Arbitrary Orthopedic Interventions Using Handheld Robotics and Augmented Reality
Exploration of Large-Scale SPARQL Query Collections: Finding Structure and Regularity for Optimizing Database Systems
Steuerung offener verteilter Anwendungssysteme: Konstruktion interaktionsorientierter Regelverarbeitungs- und Verhandlungsmechanismen - dargestellt am Beispiel elektronischer Dienstemärkte
Mehrgitterverfahren zur Ermittlung von Verschiebungsvektorfeldern in Bildfolgen
Rechnerunterstützte integrierte Finanzplanung mit Netzwerkflüssen
Aufbau eines mikrocomputergestützten Geräte- und Programmsystems zur Erfassung und Verarbeitung von vibroakustischen Signalen
Stochastische Zustandsübergangsmodelle und strategisierte formale Systeme
Rechnergestützte Gestaltung von Vorschriften
Visualization techniques for the analysis of software behavior and related structures
Ein one-line-Verfahren zur klassifizierten Mittelung evozierter Potentiale nach dem Leistungsspektrum des EEG durch ein Laborrechner-Mikroprozessor-System
App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse = App-orchestration as a method for formal modelling of app-ensembles for industrial business processes
Berücksichtigung ungenauer nuklearer Daten bei der Berechnung der Reduktion von Abfallactiniden durch Bestrahlung
Nutzung der EDV zur Dokumentation in Genbanken: Aufbau eines Kleinrechner-Datenspeichersystems für die Gaterslebener Genbank der Kulturpflanzen
Numerische Simulation von Pumpversuchen in komplizierten Aquifersystemen
Grundlagen eines Informationssystems für die langfristige Absatzführung in mittelständischen Betrieben der Konsumgüterindustrie
Videobasierte Gestenerkennung in einer intelligenten Umgebung
Der urheberrechtliche Schutz von Computerprogrammen im Recht der Bundesrepublik Deutschland und der Republik Korea
Event-driven Software-Architecture for Delay- and Disruption-Tolerant Networking
Pufferverwaltung in verteilten Datenbanksystemen
Dimensionierung der Speicherkopplung von Mikrorechnern in Mikrorechner-Funktionseinheiten
High Resolution EM Side Channel Attacks with Multiple Measurement Probes
Analyse von Paket-Funknetzen mit Leistungssteuerung
An investigation on the power of unlabeled data
Adaptations in Speech Processing
A Measure-Theoretic Axiomatisation of Causality and Kernel Regression
Ein Metaklassenmodell zur Integration technisch-wissenschaftlicher Software
Ein grundlegendes Operationsmodell für die strukturierte parallele Bildverarbeitung: Entwurf und Anwendung
Micro endoscope based fine manipulation in robotic surgery
Scrum and self-control: how a team-based software development methodology can support team members' self-control
Blockbasierte Disparitätsschätzung unter Berücksichtigung statistischer Abhängigkeiten der Disparitäten
Workflow Extraction from Textual Process Descriptions
Neurofuzzy-Hybridsysteme: theoretische Grundlagen, Vergleich mit statistischen Problemlösungsklassen und Anwendung im Rahmen leistungsdiagnostischer Fragestellungen
Beiträge zu Beschreibungstechniken für Entwurf und Simulation von digitalen Systemen
Graphbasierte Werkzeuge zum reverse engineering und reengineering
Reaktionskinetische Untersuchungen mittels der Methode der konstanten Reagenz-Zulaufgeschwindigkeit: Grenzen bei mehrstufigen Reaktionen
Grafische Konfiguration verteilter Systeme
Ein Mehrphasenalgorithmus für Parallelrechner zur Bestimmung von Schnittkurven zweier Flächen
Zur CAD-gestützter Modellierung von Mehrkörpersystemen
High-throughput machine-learning-supported image-based phenotyping of single chondrocytes and articular cartilage tissues for diagnosis
Inaccuracy compensation in X-ray computed tomography image reconstruction and XCT-based finite element models
Symbolic Analysis of Cryptographic Protocols
Erstellung von Testplänen für verteilte System durch stochastische Modellierung
Computergestützte Personalauswahl: Entwicklung eines Systems zur Erstellung strukturierter Personalauswahlinterviews
Trapdoor commitment schemes and their applications
Algorithmen und untere Schranken für verallgemeinerte OBDDs
Darstellung einer EDV-unterstützten Qualitätskontrolle am Beispiel der vaginalen Hysterektomie
Bestimmung des Temperaturfeldes elektronischer Geräte unter Einbeziehung der elektronischen Rechentechnik
Eine generische Software-Architektur für Multi-Agentensysteme und ihr Einsatz am Beispiel von Fahrerassistenzsystemen
Abhängige Beschäftigung und der urheberrechtliche Schutz des Arbeitsergebnisses: eine Untersuchung der Nutzungsrechte und Vergütungspflichten am Beispiel der Entwicklung von Computerprogrammen im Arbeitsverhältnis
Detection and localization of attacks on satellite-based navigation systems
Grundlagen, Konzeption und Lösungen für ein computergestütztes Informations- und Beratungssystem des Pflanzenschutzes für landwirtschaftliche Betriebe
Untersuchungen zur synthesegerechten Verhaltensbeschreibung mit VHDL
IS-gestütztes Prozessmanagement
Detached Provenance Analysis
Automatic Evaluation of Dialogue-Systems Using Neural-Network Methods
Population Protocols: Expressiveness, Succinctness and Automatic Verification
Architekturen zur Parallelverarbeitung auf dem Prinzip der strikten simultanen Rekursion
Interactive Learning of Probabilistic Decision Making by Service Robots with Multiple Skill Domains
Informationsvorsorge im Recht: die informations- und verfassungsrechtliche Problematik juristischer Informationssysteme
Data Quality of Citizen Science Observations of Organisms: Plausibility Estimation Based on Volunteered Geographic Information Context