yusuke1997/dblp-id-title huggingface dataset:
Bridging the gap between precise RT-level power/timing estimation and fast high-level simulation: a method for automatically identifying and characterising combinational macros in synchronous sequential systems at register-transfer level and subsequent executable high-level model generation with respect to non-functional properties
Die sprungerhaltende Glättung verrauschter, harmonischer Schwingungen
Modeling and verification for a scalable neuromorphic substrate
Die massenspektrometrische Analyse flüchtiger Verunreinigungen in Prozessgasen der Mikroelektronik
Netzweiter Nachrichtenaustausch entlang eines dynamisch konfigurierbaren Interaktionsmusters
Über einige CG-ähnliche Verfahren zur Lösung linearer Gleichungssysteme
Co-Konfiguration von Hardware- und Systemsoftware-Produktlinien
Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems
Aufgabenorientierte Offline-Programmierung von Industrierobotern
Fast and Space-Efficient Perfect Hashing
Die Entwicklung und Realisierung der Lehrkonzeption zu den Themenbereichen Informatik und elektronische Messtechnik in der Physikausbildung
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
Structured Light Sensor with Affine Stereo Camera Pair for Geometry Measurements of High-Temperature Components in Rough Vacuum
Zur Architektur geschlossener Gefechtssimulationsmodelle höherer Abbildungsebene unter besonderer Berücksichtigung der Modellierung und Implementierung von Führungsprozessen
Ein aktives 3D-Robotersensorsystem auf der Grundlage eines verallgemeinerten Ansatzes zur Erstellung modellbasierter Objekterkennungsverfahren
Stochastische Turingmaschinen und die Kompliziertheit arithmetischer Probleme
Theoretische Grundlagen und Empfehlungen für die praktische Gestaltung von Informationssystemen für die Wirtschaftsleitung in Entwicklungsländern, dargestellt am Beispiel der Republik Irak
API Management Practices and Patterns for Public, Partner, and Group Web APIs with a Focus on Knowledge Transfer and Collaboration
Reduction Techniques for Nondeterministic and Probabilistic Systems
Texte und Bilder in maschinellen Modellbildungen
Verfahren zur Behandlung von Nichtdeterminismus in parallelen Systemen
Performance-oriented communication concepts for networked control systems
A resolution-based calculus for temporal logics
Multisensory guidance under sensory constraints in augmented reality: Multisensorische Führung Unter Sensorischen Einschränkungen in Augmented Reality
Sprachspezifikation und formales Modell als semantisch äquivalente Repräsentationen komplexen Systemverhaltens
Darstellung und Reflektometrie der retinalen Nervenfaserschicht mit dem Scanning Laser Ophthalmoskop und digitaler Bildverarbeitung
Entwurf stationär perfekter Zustandsregelungen durch fiktive Ausgangsvektorrückführung
Methodische Gestaltung programmierter Studienanleitungen zur Anfertigung von Belegen in Studiengruppen unter dem Aspekt der Befähigung von Fachschulstudenten zu selbständiger wissenschaftlicher Arbeit
Learned fingerprinting-based models for reliable localization in large buildings
Minimierung der Ausführungszeit für eine Klasse von Prozessgraphen in einem Multiprozessorsystem mit Zugriffskonflikten am gemeinsamen Bus
Rechnergestütztes Kostensenken im praktischen Einsatz
Efficient Processing of Plant Life in Computer Graphics
Zukunftsorientierte Gestaltung informationstechnologischer Netzwerke im Hinblick auf die Handlungsfähigkeit des Menschen
Transparent and flexible data sharing for synchronous groupware
Probabilistic syllable modeling using unsupervised and supervised learning methods
Machine learning for reliable communication under coarse quantization
Ein schnelles Datenerfassungssystem für Spektroskopieexperimente
Ableitung einer zeitabhängigen binären Booleschen Algebra und deren Anwendung bei der Erarbeitung von Systemlösungen für die Entwicklung und Optimierung von Schutzeinheiten zum Einsatz in Mittelspannungsanlagen
Konformitätstest paralleler Schnittstellen von Rechnerbaugruppen
Regeladaptive kategoriale Analyse von Spontansprache
Struktur und Gestaltung der formalen Informationsversorgung: konkretisiert am Beispiel einer Universalbank
On message-level security
Wissensbasierte Leistungsbewertung von Rechnerarchitekturen
Ein vollständiges Mengenkonzept in Programmiersprachen, Realisierung mit unkonventioneller Hardware
Rechnergesteuerte Auswertung in der Dünnschicht-Chromatografie
Identification and zero-error codes
Projektion und Linking: ein prinzipienbasierter Parser fürs Deutsche
Eine Methode zur Generierung von CP/M-Betriebssystemen für Gerätegruppen bestehend aus vielfältiger Mikrorechnerhardware
Device Information Modeling in Automation - A Computer-Scientific Approach
Self-tuning for cloud database clusters
Elementare dynamische Logik und eine Boolesche Kontextlogik
Parallele Anfrageverarbeitung in Komplexobjekt-Datenbanksystemen: Verarbeitungskonzepte, Realisierungsaspekte und Betriebssystemeinbettung
Nonlinear system identification with local linear neuro-fuzzy models
Game on or game over?: the potential of gamification and game design elements to facilitate motivation, performance, and behavior
Entwurf und Evaluierung eines adaptiven Ersetzungsalgorithmus für den Diskcache eines Hierarchischen-Speicher-Management-Systems
Performance Modeling, Optimization, and Applications for the Deployment of Programmable Packet Processors in Cloud Environments
Scene analysis for service robots = Szenenanalyse für Serviceroboter
Information Management for Digital Learners: Introduction, Challenges, and Concepts of Personal Information Management for Individual Learners
Simulation und Fourier-Transformation von zyklischen Voltammogrammen zur rechnergestützten Auswertung
Multidimensionales Process-Mining für die Analyse medizinischer Versorgungsprozesse
Elektronisches Handeln mit Rechenleistung
Zur Robustheit von Schätzern in Überlebenszeitmodellen mit Censoring
Towards efficient analysis of Markov automata
Reservierungsverfahren in regionalen Gbit-s-Netzen: Leistungsbewertung und Optimierung
Capability-based system-aware planning and scheduling of workflows for adaptable manufacturing systems
Parametrik in der Produktdatenmodellierung
Essays on text mining: methodological advances and practical applications to scientific texts
Einfluss der Ermüdung auf das Regelverhalten des Fahrers im Fahrer-Fahrzeug-System
The Stroop Room: A Wearable Virtual Reality Stress Laboratory Based on the Electrocardiogram
On the applicability of short key asymmetric cryptography in low power wireless sensor networks
Kardinalität in der Nutzentheorie
Algebraic Calculi for Separation Logic
Automated model-based spreadsheet debugging
Degree constrained subgraph problems and network flow optimization
Rechnen mit verschlüsselten Programmen und Daten
Spezifikation graphisch interaktiver Benutzerschnittstellen
Optimization of 3D models for fabrication
Ein Verfahren zur Generierung von Testfolgen für die quasistatische logische Verknüpfungsprüfung von Logiksteckeinheiten in ESER-Rechnern
Reglersynthese zur Entkopplung und Reduktion von Störgrößen für nichtlineare Systeme
Beitrag zur Berechnung ebener Beanspruchungszustände aus photogrammetrischen Verschiebungsmessungen mit Hilfe der EDV
Modellierung und effiziente Ausführung von Softwareentwicklungsprozessen
Untersuchungen zur Entwicklung eines Mikrorechnersystems für die technische Diagnostik an rotierenden Maschinen
Optimierungsverfahren für materielle Infrastruktursysteme
Partizipative CIM-Einführung: Einsatz von Planungsgruppen zur Gestaltung einer CIM-Struktur
Decentralized data storage and processing in the context of the LHC experiments at CERN
Ein Modell zur Trennung von Vererbung und Typabstraktion in objektorientierten Sprachen
Scheduling algorithms for parallel processing and buffering problems
Computergestützte Tele- und Teamarbeit: betriebliche Modelle, Werkzeuge und Einsatzpotentiale in der universitären Ausbildung
Ein Beitrag zu Speicherarchitekturen programmierbarer Multiprozessoren der Bildverarbeitung
Semantics and loop invariant synthesis for probabilistic programs
Optimierte Variantenselektion für einen effizienten E/E-Produktlinientest
Ein funktionales Modellspeichersystem für parallel zu verarbeitende CAD-Objekte
Performance Optimization in Deep Learning Systems
Tile-based streaming for panoramic and 360° video
Konzept einer agentenbasierten Transportsteuerung: für komplexe, dynamische und multimodale Logistiknetzwerke
Biometrische Funktionsdiagnostik der Halswirbelsäule: ein Vergleich der manuellen Untersuchung der HWS mit der Röntgendiagnostik nach Arlen unter Anwendung digitaler Messtechnik und eines spezifischen Computerprogrammes
Geodatenbasierte Simulation realer Verkehrsumgebungen und innovative flexible Bildsegmentierung auf eingebetteten Systemen: Beiträge zu KI-Methoden im Bereich des autonomen Fahrens
Visualization of search results from the World Wide Web
Untersuchungen zur rauschfreien Datenreduktion bei extraterrestrischen Magnetfelddaten
Natürlichsprachliche Programmierung von Konstruktionen in einem geometrischen Modell
Konzeption und Realisierung eines Computerassistenzsystems für die laparoskopische Ösophagusresektion
Algebraic decoding over finite and complex fields using reliability information
Vergleiche zwischen einem Expertensystem und alternativen Entscheidungsunterstützungs-Methoden in der Vertriebslogistik
Breaking and Restoring Embedded System Security: From Practical Attacks to Novel PUF-Based Physical Security Enclosures
Testgenerierung aus Spezifikationen in Estelle und SDL
Zu Methodik und Ergebnissen der mathematischen Simulation des Stoffwechsels menschlicher Erythrozyten unter Berücksichtigung der Quasi-Steady-State-Approximation: Analyse der Regulation des Adeninnukleotidgehaltes unter verschiedenen experimentellen Bedingungen
Prior-Knowledge Addition to Spatial and Temporal Classification Models with Demonstration on Hand Shape and Gesture Classification
Theorie kettenfreier LR-Zerteiler
Selected problems in cardinality estimation
Rechnerunterstützte Konstruktion von Varianten, Entwicklung eines Programmoduls zur Speicherung konstruktiver Abhängigkeiten
Hand-and-finger-awareness for mobile touch Interaction using deep learning
Aktivitätserkennung basierend auf Nutzung elektrischer Geräte im häuslichen Bereich
Application and adaptation of bioinformatic tools to decipher the gene regulatory response and phenotype using high-throughput data analysis
Proximity queries with applications in computational surgery and manipulation planning = Abstandsanfragen und ihre Anwendung in der computergestützten Chirurgie und der Manipulationsplanung
Using Deep Neural Networks for Scheduling Resource-Constrained Activity Sequences
Revision von Software-Anwendungsmodellen auf der Basis eines objektorientierten Datenmodells
Struktur und Umbruch von Tabellen in Dokumenten
Analytische und numerische Behandlung eines freien Randwertproblems zur Beschreibung der Reaktions-Diffusions-Kinetik von Beton
Wiederverwendung von Softwarekomponenten im Internet
Einsatz wissensbasierter Systeme in der Strukturoptimierung dargestellt am Beispiel der Fachwerkoptimierung
Neue Algorithmen zur zeitoptimalen Regelung zeitdiskreter linearer Systeme
Marketing-logistische Entscheidungsvariablen für Konsumgüterverpackungen
Analoge Repräsentationen in der "Artificial Intelligence"
Akquisitation und Importierung medizinischen Wissens in ein wissensbasiertes System zur computerunterstützten radiologischen Diagnostik
Suche in dynamischen planaren Unterteilungen der Ebene
Massive parallelization of HOG-based algorithms for object detection
Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken
Künstliche Intelligenz: eine grundlagentheoretische Diskussion über Einsatzmöglichkeiten und -grenzen aus allgemeiner und aus Unternehmenssicht
Continuous Performance Evaluation and Capacity Planning for Enterprise Applications
QoS-aware mobility management in IP-based communication networks: analysis. design and implementation
Entwurf und Realisierung schneller GKS-Graphiksysteme mit innovativer Systemarchitektur sowie Funktionsmigration in Firmware und spezielle Hardware
Ein Beitrag zum rechnergestützten Layoutentwurf integrierter Festkörperschaltkreise
"Technology is driving the future": Informationstechnologie und gesellschaftliche Veränderung aus der Perspektive lokaler IT-Experten
Autonomous Learning for Machine Perception
Genericity in process-aware information systems
Fuzzyfizierung von Kontrollsystemen mittels relationenalgebraischer und graphentheoretischer Methoden
Architekturbasiertes IT-Alignment: Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT
Self-organizing Context Spaces to Support Information Management and Knowledge Work
Ein System zur Evaluierung eines Medizinproduktes im Rahmen einer multizentrischen klinischen Studie
Bildschirmspiele und Automatenspielstätten im Freizeitalltag junger Erwachsener: Analysen zum Forschungsstand mit einer qualitativen Explorationsstudie über Freizeit-, Spiel- und Mediengebrauch
Verfahren der Spektralanalyse und Mustergenerierung für die Realzeitvisualisierung gesprochener Sprache
Strukturierung von Steuerungssequenzen auf der Basis von Petri-Netzen und deren Implementierung auf einem Multitasking-Ziel-System unter Verwendung einer Hochsprache
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
Entwicklung eines flexiblen, hocheffizienten Compilerkonzepts zur Modellbeschreibung in Simulationssprachen
Distributed system design with message sequence charts
Algorithmic curvature theories in 3D image processing
Entwicklungstendenzen von Bildschirmtext unter besonderer Berücksichtigung des Journalismus und des Verlagswesens
Robust Localization for Mobile Robots in Forest Environments
GPU power modeling and architectural enhancements for GPU energy efficiency
Advanced heterogeneous memory subsystems for energy-constrained computing = Fortgeschrittene heterogene Speichersubsysteme für Computersysteme mit limitiertem Energieverbrauch
Transaktionskonzepte im Netz- und Systemmanagement
Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games
Die windgetriebene ozeanische Zirkulation im Küstenbereich der östlichen Weddell-See beim Auftreten von Polynyen: e. numer. Modellunters
Die Arzt-Patient-Beziehung in einer digitalisierten Welt: zur kommunikativen Konstruktion einer mediatisierten Beziehung
On Cloud Assisted, Restricted, and Resource Constrained Scheduling
Die inhaltlichen Anforderungen und methodischen Schritte zum Aufbau einer rationellen Datenerfassungsorganisation, dargestellt am Beispiel der zweiten Verarbeitungsstufe der Buntmetallurgie
Syntheseverfahren für heterogene Multiprozessorsysteme
Zur Konzeption und Realisierung adaptierender enumerativer Schnittebenenverfahren
Image-based 3D reconstruction of surfaces with highly complex reflectance properties
Konzept für ein regelbasiertes Leistungsmanagement
Darstellungstheorie in der Bildverarbeitung mit Schwerpunkt in der Bewegungsanalyse
Formal knowledge representations for textual automotive system requirements and tests
Detection of moving objects by spatio-temporal motion analysis
Digitale Signaturen in der Praxis: Grundlagen, Sicherheitsfragen und normativer Rahmen
Erweiterung der Leistungsfähigkeit von Hybrid-Fiber-Coax-Netzen für die hochdatenratige Kommunikation
Softwaretechnologische Verfahren und Methoden für die Entwicklung mikrorechnergesteuerter Spezialausrüstungen der Mikroelektroniktechnologie - CAD-Werkzeuge für den Softwareentwurf
Zukunftskonzept Multimedia: geschichtliche Entwicklungsstufen, Anwendungsfelder und Anwenderpräferenzen
Effective active learning for complex natural language processing tasks
Servicebasierte Planung und Steuerung der IT-Infrastruktur im Mittelstand: ein Modellansatz zur Struktur der IT-Leistungserbringung
Entwurf und Realisierung des Tokenbusverfahrens für das lokale Netz LOTUNET
Hierarchische Begriffsstrukturen zur Informationsklassifikation für Recherchestrategien in der angewandten Analytik
Untersuchungen zur Parameterauswahl für den Algorithmus einer künstlichen B-Zelle bei diabetischen Hunden
Exploratory visualizations and statistical analysis of large, heterogeneous epigenetic datasets
Investigating security issues in programmable logic controllers and related protocols
Hybride Modellnutzung in der automotiven Formfindung: ein Beitrag zur interdisziplinären Zusammenarbeit im Designprozess
Rationalisierung der Softwareerstellung durch Programmgeneratoren
Cross-layer latency-aware and -predictable data communication
Management und neue Telekommunikationsformen: Überlegungen zu e. Bezugsrahmen u. Ergebnisse e. Befragung
Interdisciplinar y Collaboration in Computational Social Science
Distributed geo-services based on Wireless GIS: a case study for post-quake rescue information system
Computerschriftzeichenschutz: der Schutz typographischer Schriftzeichen - insbesondere Computerschriften - durch das Schriftzeichengesetz und andere Vorschriften
Willenserklärungen im Internet: Rechtssicherheit durch elektronische Signaturen sowie Anpassung der Formvorschriften und des Beweisrechts
Performance Optimization and Architecture Design of Edge Computing Network Systems
Globally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behavior
Testing of machine learning algorithms and models
Zur Gestaltung von Zugriffssystemen in rechnergesteuerten Fernsprechvermittlungssystemen
Flußsteuerung für verläßliche Multicastkommunikation im Internet
Parallele und kooperative Simulation für eingebettete Multiprozessorsysteme
Konzeption und Realisierung eines dedizierten Immunologischen Datenhaltungs- und Auswertungssystems zur Integration klinischer und immunologischer Daten unter Verwertung eines semantischen Datenmodells
Managing load balancing, energy efficiency and performance of cloud data centers with service level agreement guarantees
Kaskadenrekursion in verteilten Systemen
On the selective opening security of public-key encryption
Data aggregation and sampling procedures for usage profiling and customer-centric automotive systems engineering
Ficucs: ein Constraint-Solver für geometrische Constraints in 2D und 3D
Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts
Entscheidungsorientierte Auswahl integrierter Programme für Personal-Computer und deren Einsatzmöglichkeiten in Industrieunternehmungen
Integrated stochastic models for spontaneous speech recognition
Eigenschaften der primalen Methode bei der zweistufigen Lösung nichtkonvexer Aufgaben der statischen Optimierung
Möglichkeiten des Computereinsatzes zur individuellen Aktivierung und Führung der Schüler in schöpferischen Situationen bei der problemhaften Unterrichtsgestaltung im Fach Chemie
Unscharfe Mengen (Fuzzy Sets) zur Behandlung von Unsicherheit in der Bildanalyse
A state space world for detecting and estimating events and learning sparse signal decompositions
First Impressions Matter: On Signal's Initial Handshake
Zur systematischen Ermittlung Hardware-geeigneter Zahlendarstellungen für Algorithmen der digitalen Signalverarbeitung
Higher Performance Traversal and Construction of Tree-Based Raytracing Acceleration Structures
A method for pattern application based on concrete solutions
Fragebögen, Beurteilungsgrundsätze und Auswahlrichtlinien: die Mitbestimmungsrechte aus §§94, 95 BetrVG unter besonderer Beachtung elektronischer Personaldatenverarbeitung
Computer Vision Applications for Spectral Imaging
Die Datenübermittlung: eine datenschutzrechtliche Bewertung der verschiedenen Formen des Datentransfers unter besonderer Berücksichtigung der Datenverarbeitung im öffentlichen Bereich
MIBO - A Framework for the Integration of Multimodal Intuitive Controls in Smart Buildings
Ein Beitrag zur rechnergestützten Prozesslenkung bei mehrfacher Zielsetzung
Worst case execution time oriented code optimization of hard real-time multicore systems
Semantic foundations of dataspaces
Monitoring in multiprocessor systems
Yavaa: supporting data workflows from discovery to visualization
Abbildung des hierarchischen Strukturcodes HSC und seiner Verknüpfungsmechanismen auf eine Baumstruktur mit effizienten Zugriffsmöglichkeiten
Formerkennung kleiner Körper durch digitale Verarbeitung reflektierter Ultraschallsignale
Fairness in verteilten Systemen
Querying a Web of Linked Data
Database System Acceleration on FPGAs
Modellierung der vietnamesischen Phonetik mittels Sprachsynthese
Ein neuartiges Verfahren zur numerischen Berechnung zeitoptimaler Robotersteuerungen
Bewertung und Optimierung von CPU-Architekturen für VAX- und IBM/370-Instruktionssätze
On the complexity of fundamental problems in dynamic ad-hoc networks
Der Virtuelle Projektraum: organisatorisches Rapid-Prototyping in einer internetbasierten Telekooperationsplattform für Virtuelle Unternehmen im Bauwesen
Nichtlineare Statik räumlicher Stabtragwerke, Beiträge zu den Programmsystemen STATRA (Baustein 8) und STATRA-FEM
Dynamische adaptive Lastverteilung für PVM mittels unscharfer Benutzerprofile - PVM+
Einige technologische Aspekte der Steuerung von Prozessabhängigkeiten in einem System verteilter Verarbeitung zur Unterstützung des betrieblichen Reproduktionsprozesses
Concept Drift Handling in Information Systems: Preserving the Validity of Deployed Machine Learning Models
Harmonic analysis of deep convolutional neural networks
Schnelle Zustandsestimation
Aspects of Information Access: Modeling Navigation on Wikipedia
Das Delta-Transaktionsmodell zur Unterstützung von Nicht-Standard-Anwendungen
Bioinformatics methods for the genetic and molecular characterisation of cancer
Assistenzsystem zur Unterstützung der datengetriebenen Produktentwicklung
Untere Schranken für Berechnungen durch Verzweigungsprogramme
Rhythm information for automated spoken language identification
Age- and deviation-of-information in networked cyber-physical systems
Entwicklung und Anwendung von Verfahren zur 3D-Gestaltoptimierung dickwandiger, massiver Bauteile
Automatisierte Verweilzeituntersuchungen: ein Beitrag zur Automatisierung verfahrenstechnischer Experimente
Künstliche neuronale Netze im leistungsbasierten Luftverkehrsmanagement / von Dipl.-Ing. Stefan Reitmann
Der Einsatz des Computers an der Schule für Körperbehinderte
Computational methods for designing protein ligand interactions
Formal verification of structurally complex multipliers
Rechnergestütztes Verfahren zur Auslösung und Analyse experimenteller Schmerzreize bei chronisch Schmerzkranken
Methods for Frequent Sequence Mining with Subsequence Constraints
Die Wasserscheidentransformation als Segmentierungsverfahren in der medizinischen Bildverarbeitung
Grundlagen zur rechnergestützten Erarbeitung von Arbeitsgangfolgen für rotationssymmetrische Teile
Greifplanung basierend auf Objektsymmetrieeigenschaften
Inhaltliche und methodische Aspekte einer Informatikgrundausbildung im polytechnischen Unterricht
Applications of Machine Learning to Simulation-based Fault Injection for Reliability Analysis
Vergleich von Verfahren zur Lösung von Entscheidungsproblemen mit mehrfacher Zielsetzung
Methoden zur Sicherungspunkterzeugung in parallelen und verteilten Systemen
Beitrag zur simulativen und experimentellen Untersuchung eines stromwechselrichtergespeisten feldorientiert geregelten Drehstromantriebes mit vollständig digitaler Signalverarbeitung
Untersuchungen für ein modulares Bildverarbeitungssystem, insbesondere für Inspektionsaufgaben
Learning representations from motion trajectories: analysis and applications to robot planning and control
Spectral voice conversion based on locally linear transformation rules for vocal tract characteristics
Maschine und Denken: Beiträge zur Grundlegung einer Didaktik der Informatik
Minimal Sampling Criteria and Method for Nonmanifold Surface Reconstruction from Unorganized Points
Autonomous framework for supporting energy efficiency and communication reliability for periodic data flows in wireless sensor networks
Informationstheoretische Untersuchungen zur Messung arbeitsprozesssynchroner Grössen und Entwicklung von grafischen Softwarekomponenten für das Computer-Indizier-System 800