yusuke1997/dblp-id-title huggingface dataset:
Increasing model utilization in software engineering: leveraging model-driven techniques for model integration, enhancement, and collaboration
Ein simultanes Berechnungsprogramm zur Untersuchung beliebiger Anlagenschaltungen und seine Anwendung bei der Auslegungs- und Teillastrechnung von Dampfkraftwerken
Example-based decomposition, generalization and refinement for machine translation
Parallel high-performance simulation of liquid-gas-solid flows with the free-surface lattice Boltzmann method
Semantic Trajectories and Predicting Future Semantic Locations
Netzwerkmanagement mit programmierbaren, kooperierenden Agenten
Domain Adaptation in Context of Visual Factors
Brustkrebs im Internet
Shape Retrieval Methods for Architectural 3D Models
Rechenverfahren zur Dosierungskalkulation renal eliminierter Pharmaka beim Kind
Expertensystem für die Lungenfunktionsdiagnostik: klinische Anwendung
Technologies for engineering manufacturing systems control in closed loop
Alternierung und logarithmischer Platz
Modellbasierte Bewegungsschätzung in Bildfolgen
Reliable Company Logo Detection with Deep Convolutional Neural Networks
An investigation into the impact of controlled English rules on the comprehensibility, usefulness and acceptability of machine-translated technical documentation for French and German users
Interorganizational information systems for the efficient utilization of renewable resources: insights from networks in the wood industry
Dynamisch veränderbare Betriebssystemstrukturen
Modularer Entwurf verteilter Systeme mit Petrinetzen
Selbsteinstellendes Gleichstromantriebs-Regelsystem mit Mikrorechner
Zur bilddaten- und modellgestützten Bestimmung der Schadstoffausbreitung in naturnahen Fliessgewässern
Analyse und Gestaltung strategischer Informationssysteme der Unternehmung: Ansätze zu e. Neuorientierung d. Methodenkritik
Ein Framework zur serviceorientierten Integration medizinischer Geräte im Krankenhaus
Geographische Informationssysteme in der kommunalen Planungspraxis am Beispiel einer stadtklimatologischen Raumanalyse und Raumbewertung
Ein programmiertes Verfahren zur Abwicklung mathematisch beschriebener, zweidimensional gekrümmter, starrer Flächen für den Zuschnitt von Segeln
Computational methods for model reduction of large-scale sparse structured descriptor systems
Simulationsmodell "Kostenanalyse für die Entscheidungsvorbereitung im Industriebetrieb" sowie dessen Nutzung für den betriebswirtschaftlichen Lehrprozess
Simulating Interaction Movements via Model Predictive Control and Deep Reinforcement Learning
Explanation of the Model Checker Verification Results
Polarisation und Dispersion von Oberflächenwellen am Gräfenberg-Array
Vergleich parametrischer und nicht-parametrischer zweidimensionaler Toleranzbereiche mit Hilfe von Simulationsrechnungen
Integrierte Managementarchitektur für qualitätsorientierte Kommunikationsdienste
Uncertainty Representations in Reinforcement Learning
Being forgotten on the internet: how temporal contextual integrity can protect online reputation
Konzept eines interaktiven Rasterdisplay-Systems auf der Basis logischer Indexbilder
Innovationen durch Bürokommunikationstechnologie: Voraussetzungen und Möglichkeiten für eine innovationsorientierte Gestaltung von Bürokommunikationssystemen
Digital and Analog Computing Paradigms in Printed Electronics
Performance Analysis of Multi-Core Multi-Mode Systems with Shared Resources - Principles and Application to AUTOSAR -
Efficiency by sparsity: depth-adaptive superpixels and event-based SLAM
Nutzung eines Informationssystems zum Aufbau von Zuchtprogrammen in der Schweine-Herdbuchzucht
Effiziente Euler- und Navier-Stokes-Löser für den Einsatz auf Vektor-Hochleistungsrechnern und massiv-parallelen Systemen
Cross Layer Optimization for Protocols in Mobile Adhoc Networks
Probleme der rechnergestützten Elektrokardiogrammauswertung, Vergleich zweier Systeme (Quinton 740 und Marquette CASE)
Beitrag zur Standardisierung eines komplexen Verfahrens zur Todeszeitbestimmung am Leichenfundort: interaktives Computerprogramm
Probabilistic model-based anomaly detection for the European X-ray free electron laser
Ein Beitrag zum Komplex der integrierten Bürorationalisierung unter dem Aspekt des verstärkten Einsatzes der Mikroelektronik, Mikrorechentechnik mit Schwerpunktlegung auf das Gebiet der Textverarbeitung unter Berücksichtigung der Textkommunikation
Probabilistische Algorithmen und schlechte Zufallszahlen
Transklassische maschinelle Systeme: Ein Beitrag zur inhaltlichen Bestimmung von Luhmanns "Unbestimmtheitsstelle" für "Computer"
LDL-AURIS: a wide model of isolated, inflected spoken word recognition
Posturerkennung starrer und nichtstarrer Objekte
Der Einsatz der Computergrafik in der zahnärztlichen Prothetik
Input Secrecy & Output Privacy: Efficient Secure Computation of Differential Privacy Mechanisms
Agentenbasierte Konsistenzprüfung heterogener Modelle in der Automatisierungstechnik
Die iterative Erschliessung von Intensivierungsmöglichkeiten zur Leistungs- und Effektivitätsverbesserung in Industriekombinaten mittels moderner Informationstechnologien
Construction and deduction in type theories
Knowledge-Enhanced Neural Networks for Machine Reading Comprehension
Anwendung der Positivitäts- und H∞-Theorie zum Entwurf robuster Regelungen für flexible Strukturen
Symmetrische Netze für Parallelrechner
Improving Android app security and privacy with developers
Deformable shape matching
Modellierung von Sprechweisen für widrige Kommunikationsbedingungen mit Anwendung auf die Sprachsynthese
Rekonfiguration und Restauration von verteilten Prozesssystemen in fehlertoleranten verteilten Rechensystemen
Digitale Machtkonzentration von Google Search: eine Untersuchung der Auswirkungen der 10. GWB-Novelle
Modeling and Implementation of Wireless Sensor Networks for Logistics Applications
Wearable Haptic Technology for 3D Selection and Guidance
Exact algorithms for NP hard problems on networks: design, analysis and implementation
Robust Vision-based Vehicle Driver Monitoring
Mengenbasierte Black-Box-Identifikation linearer Systeme
Ein System zur Formulierung und Erzeugung von Netzwerkflussproblemen
Grafikfähiges Lehrsystem in der Ingenieurausbildung
Computational, Label, and Data Efficiency in Deep Learning for Sparse 3D Data
Ein Verfahren zur ortstransparenten Betriebsmittelnutzung für offene Rechnernetze, in denen das Client-Server-Organisationsmodell Anwendung findet
Creation of digital videos of the beating chick heart from the earliest visual stage to the stage of a completely formed heart as a reference catalogue of in vivo cardiac development
Steuerplanung im Unternehmen mit einem computergestützten Modell
Applying Model-Driven Engineering to Development Scenarios for Web Content Management System Extensions
Computer in der medizinischen Aus- und Weiterbildung: Entwicklung eines Lernsystems für die mikroskopische Histopathologie
Beschreibung und theoretische Begründung eines programmerzeugenden Systems auf der Basis von Attributgrammatiken
Ein praktikables und optimales Einplanungsverfahren für heterogene Mehrprozessorsystme
Performance Modeling and Parallelization of Environment Perception and Path Planning Algorithms for Heterogeneous Advanced Driver Assistance System Architectures
Linguistische Fuzzy-Systeme mit verallgemeinerten Konklusionen und ihre Anwendung zur Modellbildung und Regelung
Über Schnittverfahren zur Lösung des linearen Komplementaritätsproblems
Graphentheoretische Grundlagen für die Partitionierung höchstintegrierter Schaltkreise
Bewertung einer PAD-Realisierung
Data preparation and domain-agnostic duplicate detection
Ein Beitrag zur Implementation graphischer Nutzerinterfaces in modernen Betriebssystem-Umgebungen
Nutzung elektronischer Datenverarbeitungsanlagen im Echtzeitbetrieb dargestellt am Beispiel der Materialversorgung für die diskrete Fertigung im elektronischen Gerätebau
Integrated timing verification for distributed embedded real-time systems
Dienstgüte- und Ressourcenmanagement in verteilten Multimedia-Systemen
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen
Strukturierte Automatisierung des SystemTests (SAST)
Aufbau eines dreidimensionalen Simulationsverfahrens zur corephysikalischen Beschreibung von Kugelhaufenreaktoren mit Mehrfachdurchlauf am Beispiel des AVR
Neue Aspekte in der Theorie der Freiformflächen beliebiger Topologie
Das Grafik-System und die Datensicherung für das Saphir-Experiment
Security considerations in the open source software ecosystem
Zur Struktur und Komplexität diskreter Optimierungsprobleme, die durch erbliche Eigenschaften auf endlichen Mengensystemen gegeben sind
A Conceptual Model and a Software Framework for Developing Context-Aware Hybrid Recommender Systems
Analyse von Einflussfaktoren beim rechnerunterstützten Konstruieren
Constraint solving for verification
A Software Ecosystem for Remote Analysis of Mass Spectrometry Imaging Data
Continuous User Understanding in Software Evolution
Improving anonymity in public group communication scenarios
Lernbeiträge im Rahmen einer kognitiven Architektur für die intelligente Prozessführung
Entwicklung, Prüfung und Anwendung des Expertensystems Weizenmodell Bayern zur Kontrolle von Pilzkrankheiten an Winterweizen im Rahmen des Integrierten Pflanzenschutzes
EDV-gestützte Qualitätssicherung im Bereich der pädiatrischen Diabetologie
Integrity and Correctness of Machine Learning Data
3D geometry for 2D video compression
Interaktive Beweissysteme, ihre Eigenschaften und deren Verhalten unter Komposition
Kooperationsfähigkeit intelligenter Agenten in föderativen wissensbasierten Systemen
Functional meta-programs towards reusability in the declarative paradigm
Die methodischen Schritte der Einsatzvorbereitung von Prozessrechnern unter dem Aspekt der Einführung automatisierter Leitungssysteme: am Beispiel einiger Einsatzfälle in der Braunkohlenindustrie
Synaptic plasticity and timing-dependent reinforcement in spiking neural networks
Efficient parallel proximity queries and an application to highly complex motion planning problems with many narrow passages
Konzepte der Wissensbereitstellung in Expertensystemen: Inferenzmechanismen auf relationalen Datenbanken
A cognitive architecture for production systems such as laser material processing
Improving the Accuracy of Refactoring Detection
Volume driven selection of loop and data transformations for cache coherent parallel processors
Konzept eines Betriebssystems für Messcomputer der Signal- und Systemanalyse
Assisted migration of application systems to cloud environments
Efficient compound values in virtual machines
Exakte Algorithmen zur Bewegung gelenkgekoppelter Objekte zwischen festen Hindernissen
On characterizing and modelling collective behaviour in non-coordinated wireless networks
Die Benutzerumgebung von SIMPLEX-II: eine offene graphische Bedienoberfläche zur Erstellung und Auswertung von Simulationsmodellen
Context-sensitive machine learning for intelligent human behavior analysis
On the improvement of security proofs
Content management and protection using trusted computing and MPEG-21 technologies
A uniform constraint-based framework for the verification of infinite state systems
Hierarchisches Routingmanagement: Autonomes Netzwerkmanagement für ein dynamisches Routing unter Berücksichtigung von Qualitätsanforderungen
Modellierung von Unsicherheiten in dynamischen Bayes-Netzen zur qualitativen Gebäudeerkennung
Mobility support in IP cellular networks: a multicast based approach
Systematic Correct-by-Construction Design for Industrial Real-Time Communication
Beschleunigung von Mikroprozessoren durch einen ausgelagerten FORTH-Koprozessor für Anwendungen der Fertigungstechnik
Sensorimotor learning and simulation of experience as a basis for the development of cognition in robotics
A 3D Camera-based System Concept for Safe and Intuitive Use of a Surgical Robot System
Adversarial inference and manipulation of machine learning models
DiaLex - Die Entstehung von Dialekten
Die Dokumentation des Sektionsgutes mit Hilfe eines Computers
Konzepte für die Architektur von Rechensystemen unter besonderer Berücksichtigung von Zuverlässigkeit und Verteiltheit
Design, Analysis, and Applications of Approximate Arithmetic Modules
Die rationelle Gestaltung der leitungsorganisatorischen Arbeit in den Kombinaten und Betrieben mit Hilfe eines rechnergestützten Organisatorenarbeitsplatzes
Distributed Collaboration on Versioned Decentralized RDF Knowledge Bases
Zukünftige Berufsfelder und Ausbildungspotentiale in der Betriebsinformatik
Certificates for automata in a hostile environment
Bridging the gap: integration, evaluation and optimization of network coding-based forward error correction / Autor: Bertram Schütz
E-Commerce als strategische Option für regionale Online-Zeitungen: die Einstellung der Nutzer als Erfolgsfaktor
Approach and method for estimating the development effort of automotive HMI prototypes
Entwicklung multipler Benutzerschnittstellen für eine Anwendung
Impact of new storage technologies on an OLTP DBMS, its architecture and algorithms
Finite element methods for global illumination computations
Beitrag zur Auswahl chemischer Reaktoren mittels heuristisch-numerischer Verfahren
Ein neues Diskretisierungsverfahren zur effizienten numerischen Lösung rasch oszillierender Differentialgleichungen
Enhanced Test Case Generation with the Classification Tree Method
Beitrag zur Feinstrukturierung von Arbeitsgangvorprogrammen nach dem Generierungsprinzip
Analyse und objektorientierter Entwurf eines integrierten Portalsystems für das Wissensmanagement
Implementierung und Erprobung des Waveform-Relaxations-Verfahrens auf einem programmierbaren Tischrechner
Konzepte für ein offenes, objektrelationales Multimedia-Datenbanksystem
Towards algorithm comprehension
Improving control of brain-computer interfaces in paralysis
Methoden zur CAD-NC-Integration auf Basis von 2D-Zeichnungsinformationen
Eine Referenzarchitektur für die assistierte und automatisierte Fahrzeugführung mit Fahrereinbindung
Modellbildung und suboptimale Steuerung von Schleppkörpern
Datenbankfähige Client-Server-Anwendungen: Generierung aus OOA-Modellen
Parallele adaptive Mehrgitterverfahren
Building and exploiting context on the web
Flexible transformation of abstract data specifications
Essays in Microeconomic Theory
Entwurf und Spezifikation von Expertensystemsoftware für die Prozessleittechnik von Elektroenergiesystemen
Der Systemcharakter der wissenschaftlichen Bibliothek: Grundlagen und Entwicklungsmöglichkeiten der wissenschaftlichen Bibliotheken der Bundesrepublik Deutschland aus systemtheoretischer Sicht
Konstruktionstechnische Grundlagen für ein technisches Modell als primäre Datenbasis in CAD-Systemen
Autonomous learning of active binocular vision on a humanoid robot
Design and implementation of a partial evaluation-based compiler for an asynchronous realtime programming language
Deployment of processing resources to concurrent stimulation by sustained spatial attention in touch
Eine Datenstruktur und Algorithmen zur Realisierung quasilokaler Operationen über ebenen geometrischen Objekten
Untersuchung zum Anwendungspotential von Spot- und TM-Daten für die digitale land- und forstwirtschaftliche Landnutzungsklassifikation anhand von Simulations- und Originalaufnahmen
Interactive Procedural Modeling Approaches and Visual Illumination Inspection Techniques for Virtual Scenes
Domänengetriebener Entwurf von ressourcenorientierten Microservices
Konzeptuelle und Methodische Aufarbeitung von NoSQL-Datenbanksystemen
Beitrag zum konzeptuellen Schema einer rechnerinternen Darstellung von Objektmodellen in EDV-Systemen der automatengestützten Bauprojektierung
Abschätzung der Kollisionsfolgen von Robotern zur Bewertung des sicheren Einsatzes in der Mensch-Roboter-Kooperation
Icon evaluation by pattern masking
Graphische Datenverarbeitung bei FEM-Berechnungen von Maschinen, interaktive Geometrieerfassung und Netzwerkerstellung
A knowledge discovery cycle for monitoring mobile cyber-physical systems
Eine Strategie zur automatischen Lastverteilung in Vielprozessor-Systemen
Personalcomputer als Instrument der Haushaltsführung privater Haushalte: Nutzungsmöglichkeiten und Akzeptanz
AQuES: ein flexibles, verteiltes System zur Optimierung und Auswertung relationaler Anfragen
Where are you?: self- and body part localization using virtual reality setups
A secure system architecture for measuring instruments under legal control
Contributions to improved hard- and soft-decision decoding in speech and audio codecs
Security and Trust in Safety Critical Infrastructures
Sicherstellen der Abrufe bei Automotive-Zulieferern mit minimalen Kosten unter besonderer Berücksichtigung von Liquiditäts-, Beschäftigungs-, Knowhow- und IT-Restriktionen
Security of systems: modeling and analysis methodology / Jan Peter Wolf ; Betreuer: Christian Siemers
Augmented Everything: Engineering Compelling Ubiquitous AR Experiences
Selektivitätsschätzung von Bereichsanfragen auf metrischen Attributen mit nichtparametrischen Verfahren
Event-based Depth Reconstruction Using Stereo Dynamic Vision Sensors
Ein Beitrag zur Leistungsverhaltensmodellierung diensteintegrierender lokaler Kommunikationssysteme
Improving and interpreting machine learning algorithms with applications
Qualitätsmanagement der Softwareentwicklung: das QEG-Verfahren als Instrument des Total-quality-Managements
Untersuchungen zur objektorientierten Programmierung mit MODULA-2 in einem lokalen Rechnernetz
Untersuchungen zur technischen Realisierbarkeit von Verbindungsnetzwerken für Multicomputer-Architekturen
Hard- und Softwarekomponenten für ein modulares System zur Automatisierung eines Neutronenhochflussgenerators
Informationssysteme auf der Basis aktiver Hypertextdokumente
Reusing simulation experiments for model composition and extension
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Gestaltungs- und Entwicklungsziele künftiger Systemunterlagen für Datenbanken: Grundfragen ihrer Realisierbarkeit
Classification of Affective States in the Electroencephalogram
Bringing zero-knowledge proofs of knowledge to practice
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
Einsatz eines Mikrorechners zur Funktionserweiterung von Tastern für Koordinatenmeßgeräte
Rechneroptimierte Niederspannungsnetze: Algorithmen, Implementierung, Graphik, erste Erfahrungen
ACIWS - ein computergestütztes Waldwertrechnungssystem: Konzeption, Möglichkeiten, Konsequenzen
Zum automatischen Erlernen von Beschreibungen für Klassen von Veränderungen strukturierter Objekte aus Beispielen
Das Datengitter-Modell und seine Konsequenzen für den Entwurf informationsverarbeitender Systeme mit grossen Datenbasen
Parameterbasierte Generierung von Gangmustern für Gehmaschinen
Analysis and Design of Blockcipher Based Cryptographic Algorithms
Vergleich von Verfahren zur Minimierung empirisch gegebener Funktionen
Querying and mining heterogeneous spatial, social, and temporal data
Context Specific Next Location Prediction
smartIflow - A Model Based Approach for Safety Analysis in the Early Product Life Cycle Stages
Technologische und strukturelle Aspekte bei der Entwicklung flexibler Software für Automatisierte Informationssysteme
An efficient runtime system combining dataflow, multithreading, and distributed shared memory
Statistical methods for meta-analysis to compare two diagnostic tests to a common gold standard
Computernetze und Zeit: (eine philosophische Studie)
Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest
Domain models of typed lambda calculi: towards a theory of concurrency in typed functional setting
Long-term monitoring of personal health parameters for the prevention of cardiovascular diseases
Objektorientierte Entwicklung betrieblicher Informationssysteme
Run-time redundancy management of processor functional units for mixed-critical scenarios
Allgemeiner Ansatz für den gestaltmässigen Entwurf technischer Systeme
Algorithmic Advancements and Massive Parallelism for Large-Scale Datasets in Phylogenetic Bayesian Markov Chain Monte Carlo
Brokerage as a service: efficient creation of service mashups
Statistical Gabor graph based techniques for the detection, recognition, classification, and visualization of human faces
Erwerb von Handlungskompetenz in der Medizin durch multimediale Lernsoftware: Evaluation des virtuellen Praktikums Derma2000
Middleware-based Security for Future In-Car Networks
Anrufwiederholungen, ein Beitrag zu ihrer mikrorechnergestützten Erfassung: Analyse u. Modellierung
Die mikrorechnergestützte Berechnung der Stromdichteverteilung elektrochemischer Anordnungen mittels der Finite-Element-Methode
Application oriented operating systems
Das Design computerunterstützter Lehr-, Lern-Arrangements-Modellrahmen, Integration und Fallstudie
Manifold learning for super resolution
A Structure-based Attack on the Linearized Braid Group-based Diffie-Hellman Conjugacy Problem in Combination with an Attack using Polynomial Interpolation and the Chinese Remainder Theorem
Beitrag zur Verbesserung der numerischen Magnetfeldberechnung durch einen grafikorientierten Preprozessor für das Multigridverfahren
Artificial Intelligence in Magnetic Resonance: A Focus on Enhanced NMR Shimming and RASER MRI Artefact Correction
Informations-theoretisches Modell zur Kapazitätsabschätzung und Optimierung von volumenholographischen Datenspeichern
Rationalisierung der rechnerunterstützten Konstruktion durch software-ergonomische Interaktionsgestaltung
Designing better proxemic interactions: a unified perspective for human-computer and human-robot interaction
Analyse-Synthese-Codierung basierend auf dem Modell bewegter, dreidimensionaler Objekte
Autonome mobile Systeme: Simulation als Werkzeug zum Entwurf und zur Optimierung
Die direkte Suche - ein heuristisches Verfahren zur Behandlung ganzzahliger quadratischer Optimierungsprobleme
Probabilistic Timed Automata for Security Analysis and Design
Entwicklung und partielle empirische Validierung eines computergestützten Trainings- und Supervisionsprogrammes zur Verhaltensdiagnostik bei Angsterkrankungen
Dynamische Modelle für reaktive Systeme mit Daten
Theoretische und numerische Untersuchungen zu speziellen Steuerproblemen
Computational Social Network Analysis of Authority in the Blogosphere
Technische und ökonomische Evaluation von Informationssystemen im Kontext von Big Data
Unternehmensstrategien, Innovationsprozesse und Wettbewerb in der Computer-Industrie: eine empirische Analyse des PC-Marktes
Flexible VLSI architectures for the iterative decoding of parallel concatenated convolutional codes
Situative creativity
Der Datenschutz im grenzüberschreitenden Datenverkehr: eine rechtsvergleichende und kollisionsrechtliche Untersuchung
Wissensbasierte Simulation einer Organisation
Arbitrage and equilibrium in economies with incomplete markets
Model checking stochastic hybrid systems
Flexible Werkzeuge für die integrierte Gebäudeplanung
Entwicklung einer rechnergestützten Entwurfsmethode für optische Mikrosysteme und deren Anwendung auf einen Heterodynempfänger
Entwicklung und Einsatz einer Vorgehensweise zur Gestaltung einer betrieblichen Datenablage unter Verwendung der Datenbanktechnik
Improving Neural Networks for Automated Driving using Corner Cases and Sensorfusion
Die Omega-CReStA-Maschine: e. RISC-Architektur für d. Echtzeit-Datenverarbeitung
Advancing MPC: From Real-World Applications to LUT-Based Protocols
Motion optimization and control for multiple mobile robots using artificial intelligence approach
Spieltheoretische Konzepte zur Untersuchung verallgemeinerter Lotka-Volterra-Systeme
A vision for edge AI: robust binarized neural networks on emerging resource-constrained hardware
Control Centrality in Non-Linear Biological Networks
Handlungsspielraum, mentale Repräsentation und Handlungsregulation am Beispiel der Mensch-Computer-Interaktion: Untersuchungen zum Prinzip der differentiellen und dynamischen Arbeitsgestaltung (sensu Ulich)
Gerätetechnischer Entwurf eines Kommunikationssubnetzes
Personen-Tracking in Umgebungen mit verdeckenden Objekten basierend auf 3D-Rekonstruktionsdaten