yusuke1997/dblp-id-title huggingface dataset:
Möglichkeiten zur Kontextbeschreibung und -analyse der parametrisierten, rekursionsfreien Befehlssprache LEFO - Lehrprogrammformulierungssprache
Active learning for recommender systems
Kommunikationsstrukturen in verteilten Algorithmen
Integriertes Management großer Web-Sites auf der Basis datenbankbasierter Modellierungskonzepte
Automatic Differentiation of Compiled Programs
Personenzentrierte Integration von Daten aus Social-Software-Diensten: ein modellgetriebener Entwicklungsansatz
Mensch, Maschine, Metapher: zur Exemplifikation des menschlichen Geistes durch den Computer ; eine wissenschaftsphilosophische Rekonstruktion der Kognitionswissenschaft als Technologie
Beiträge zur Steigerung der Wirklichkeitsnähe latenzbehafteter visueller und kinästhetischer Telepräsenz-Systeme
Large scale parallel state space search utilizing graphics processing units and solid state disks
Die Systemwirtschaftlichkeitsrechnung: Verfahren und Instrumente zur monetären Bewertung von Investitionen im Rahmen einer Strategie des Computer Integrated Manufacturing
Präferenzorientierte Stärken- und Schwächenidentifizierung zur Effizienzsteigerung von Rechenzentren
Explainable structured machine learning: insights into similarity, graph and transformer models
Rechnergestützte statische und dynamische Spannungsoptik unter Einsatz interpolierender Splinefunktionen zur Spannungsanalyse eben beanspruchter Bauteile
Systeme zur flexibel konfigurierbaren Informationsbereitstellung für die Konstruktion
Development and application of new statistical methods for the analysis of multiple phenotypes to investigate genetic associations with cardiometabolic traits
Tensor factorization for relational learning
Ganzheitliche Büroraumgestaltung: Arbeitsplatz und Büroraum als wesentliche Gestaltungskomponenten des Bürokommunikationssystems
Ein agentenbasiertes Micropaymentsystem
Natural language processing and machine learning applications in the social sciences / submitted by Christoph Johannes Weißer, MSc (Oxon)
Prototyping tools for hybrid interactions
Modeling the structure of tabular files for data preparation
Anwendung eines in der Hardware konfigurierbaren Parallelrechners auf die Simulation evolutiver In-vitro-Amplifikationssysteme
Visual Learning of Socio-Video Semantics
Question Answering on RDF Data Cubes
Untersuchungen zur Ablaufplanung bei Parallelrechnern mit virtuell gemeinsamem Speicher
On Approximability of Bounded Degree Instances of Selected Optimization Problems
Die Berechnung von Stoss- und Wellenausbreitungsvorgängen in ebenen und rotationssymmetrischen Bauteilen unter Einbeziehung eines elastisch-plastischen Materialverhaltens mit Hilfe der Finite-Element-Methode
Zur Berechnung chemischer Gleichgewichte in heterogenen Vielkomponentensystemen mit Hilfe von Abstiegsverfahren der zulässigen Richtungen
Analysis and improvement of the visual object detection pipeline
Optimierung des semantischen Informationszugriffs auf Technische Dokumentation
Formal specification level: concepts, methods, and algorithms
Dialoge mit Computern in natürlicher Sprache
Grundlagen der digitalen Schaltungstechnik
Automatisierte Analyse heteronuklearer NMR-Spektren von Proteinen
Sicherheit und Datenschutz in nicht-interaktiven Crowdsourcing Szenarien
Interaktiver Aufbau hochqualitativer digitaler Geländemodelle an photogrammetrischen Stereosystemen
Kommunikation in interaktiven Räumen
Multidisziplinäre Optimierung und Cluster-Computing
Eine Umgebung zur Entwicklung wissensbasierter klinischer Anwendungen im Rahmen eines Krankenhausinformationssystems
Zur Gestaltung eines rechnerunterstützten Leitungsinformationssystems in einer territorial geleiteten Einrichtung des Gesundheitswesens
Interaktive Partikelsimulationen unter Echtzeitbedingungen parallel verteilt auf einen Verbund von Arbeitsplatzrechnern
Give and take between machine learning and experimental economics
Einführung von Informations- und Kommunikationstechnologie
Evaluation and control of the value provision of complex IoT service systems
On fault resilient network-on-chip for many core systems
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
Harnessing the power of GPUs for problems in real algebraic geometry
Interactive visualization of remote sensing data (Interaktive Visualisierung von Fernerkundungsdaten)
Secure-by-design enterprise architectures and business processes in supply chains: handling threats from physical transport goods in parcel mail services
Beitrag zur Modellanalyse der Verkehrssicherheit im PKW-Bereich
Graphreduktion für funktionale Sprachen, Vergleich und Synthese zweier Reduktionsmechanismen
Digital business models in the mobility sector: using components and types to understand existing and design new business models
Scalable Algorithms for Community Detection in Very Large Graphs
Correlating Flow-based Network Measurements for Service Monitoring and Network Troubleshooting
Superposition of generalized stochastic Petri nets and its impact on performance analysis
Hierarchische Identifikation grosser Systeme komplexer Struktur mit rekursiven, teilsystemorientierten Parameterschätzverfahren
Untersuchungen zur Evolution von morphologischer und taxonomischer Diversität und Komplexität anhand von Computermodellen
Improvements in language and translation modeling
A Scalable Parallel Algorithm for the Simulation of Structural Plasticity in the Brain
Lageregelung von Industrierobotern mit Fuzzy-Logik
Centre-surround suppression: computational modelling and neural and perceptual correlates in humans
Entwicklung von Expertensystemen zur Prozeßüberwachung mit der Entwicklungsumgebung G2 unter besonderer Berücksichtigung der Wissensakquisition und -implementierung
Creating value for people-centred care: assessment and implementation of Big Data applications in the healthcare sector
Systematischer Entwurf von On-line-Fehlererkennungsschaltungen für digitale Systeme unter Berücksichtigung technologischer Fehlermodelle
Framework for measuring program comprehension
Collaborative Processes of Enterprises: Supporting Global Development
Die Entwicklung wettbewerbsorientierter Marketingstrategien auf Basis des Konzepts der strategischen Gruppen: dargestellt am Beispiel der Hersteller von Hochleistungs-PCs und PC-Standardanwendungssoftware
Das Hilfesystem MATHILDE: ein intelligentes Hilfesystem für den graphisch orientierten Texteditor ComfoTex auf der Basis von Dialoggeschichte und Auswertung von Benutzerplänen
Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des Tippverhaltens
Numerische Verschleißmodellierung von trocken-, misch- und grenzreibungsbehafteten Wälzkontakten
DRUMS: Domain-specific Requirements Modeling for Scientists
Synthesis and optimization of algorithmic hardware descriptions = Synthese und Optimierung algorithmischer Hardwarebeschreibungen
Graph Spectral Image Processing over Adaptive Triangulations
Optimierung der Bewegung diskret modellierbarer elektromechanischer Systeme
Parallel Monte-Carlo tree search for HPC systems and its application to computer go
Modell zur rechnerunterstützten grafischen Darstellung von Prozessen - entwickelt am Beispiel der Eisenbahnbetriebssimulation
Entwicklung einer virtuellen Multi-User Trainingsumgebung: Designvorschlag für ein integriertes E-Learning-System zur Unterstützung der Ausbildung von Rettungskräften
Institutional Shareholders' Investment Horizons and Corporate IT Capability: An Empirical Evaluation of the U.S. Equity Market
Methoden zur Fahrzeugwiedererkennung unter Verwendung maschineller Lernverfahren
Analyzing the sustainability of distributed ledger applications
Enabling reconfigurable hardware acceleration for ROS-based robotics applications
Probabilistic, deep, and metric learning for biometric identification from eye movements
Ein soziales Netzwerk (RarePairs) für Menschen ohne Diagnose: Konzepterstellung, prototypische Ausgestaltung und Evaluation
Measure-Driven Visual Analytics of Categorical Data
Zur Beurteilung des analytischen Informationsgehaltes labordiagnostischer Methoden
Erweiterung des Anforderungsmanagement-Fokus: von Produkten zu Prozessen
Modification of biomaterials for the immobilization and release of chemokines
Analysis of real-world security protocols in a universal composability framework
Ein Ansatz für semantisches Selbstmanagement von verteilten Anwendungen im privaten Lebensumfeld
Algorithm and Performance Engineering for HPC Particle Simulations
Anwendung eines binaerrelationalen Modells für die konzeptuelle Modellierung am Beispiel eines Softwareinformationssystems
Identifikation von Freiheitsgraden und Wechselwirkungen in Rechenzentren unter Betrachtung elektrischer und thermischer Energie
Deep learning based prediction and visual analytics for temporal environmental data
Bestimmung des Bedarfs an analytischen Informationen zur Unterstützung der Leitung der betrieblichen Absatzwirtschaft: e. Beitr. zur Entwicklung automatisierter Auswertungssysteme in Kombination u. Betrieben d. Industrie
Parallele wissensbasierte Bilderkennung
Grenzüberschreitender Datenverkehr und Datenschutz in Europa
Visibility Domains and Complexity
Compression of visual data into symbol-like descriptors in terms of a cognitive real-time vision system
Bildgebende Diagnostik in der Kardiologie: Gestaltung eines interaktiven Lernprogrammes für computerunterstütztes Lernen in der Medizinerausbildung
Pioneer neurons and stimulus-selective sequential recruitment in unstructured networks of spiking neurons in silico: phenomenology and mechanisms
Gewährleistung für Software
Engineering wissensbasierter Navigation und Steuerung autonom-mobiler Systeme
Fertigungsgerecht konstruieren mit CAD: Konzept eines Konstruktionssystems zur Informationsverarbeitung mit CAD-Systemen
New Multiobjective Shortest Path Algorithms
Ein Subsystem zur Aufrechterhaltung der semantischen Integrität in Datenbanken
Parameterraumoptimierung für Diktiersysteme mit unbeschränktem Vokabular
Joint models for information and knowledge extraction
A scalable workflow for a configurable neuromorphic platform
Social media in Organisationen: Strukturation und computervermittelte Kommunikation
Ermittlung günstiger Näherungslösungen für die Steuerung ökonomischer Prozesse, untersucht am Beispiel hierarchischer Lagersysteme
Genetically optimized improved fuzzy clustering for color image segmentation
Strukturierung, Änderung und Verteilung von objektorientierten Anwendungen
Data density: a powerful abstraction to manage and analyze multivariate data
Out-of-the-lab virtual reality studies
Datenbankmigration: Methodik und Software-Unterstützung
Wissensbasierte Unterstützung der Planung technischer Systeme: Konzeption eines Planungswerkzeuges und exemplarische Anwendung im Bereich der Montagesystemplanung
Machine and deep learning in present actuarial challenges
Compiler generation: from language definitions to abstract compilers
Klassifikation von Klopfsignalen eines Körperschallsensors bei Ottomotoren mit Methoden der Mustererkennung
Ein Beitrag zur Automatisierung von Prüfprozeduren mit einem rechnergesteuerten System und problemorientierter Formulierung der Prüfaufgabe in CMA
Development of design framework for parallel data processing hardware architectures
Security for the physical layer of wireless systems: confidentiality, authenticity, and location privacy
Development Process for Complex Behavior-Based Robot Control Systems
IT backsourcing as a strategic sourcing option
CMOS-Schaltnetz-Synthese mit Komplexgattern
Votierungsverfahren als Teil der Fehlertoleranz in verteilten PDV-Systemen
Ein Beitrag zur Entwicklung rechnergestützter on-line-Sensorsysteme für die automatisierte Lasermikrobearbeitung
Methoden und Werkzeuge für die integrierte Produktentwicklung
Argument und Algorithmus: ein lexikalisch orientierter Analyseansatz diskursiver Textelemente mit PROLOG
Enhancing collaboration efficiency through tailorability in synchronous groupware
Parallele Ausführung von Prolog-Programmen auf Transputer-Systemen
Validierung der Leistungsfähigkeit von Bewertungsfunktionen zur Vorhersage von Bindungsaffinitätsdifferenzen auf Basis von Ligand-Paar-Datensätzen
Mixed-Criticality on-Chip Network Modeling for fast Virtual Prototyping of Complex Many-Core SoCs
An ontology-based approach to achieve inclusive design support in the early phases of the product development process
A Framework to Generate High-Performance Time-stepped Agent-based Simulations on Heterogeneous Hardware
Adaptive Complexity and Error-Resilient Channel Decoding Concepts
Verbesserung der Datenintegration von CAD-Systemen für den Chemieanlagenbau basierend auf einem relationalen Datenbank-Management-System
Automatic Generation of Trace Links in Model-driven Software Development
An algorithmic approach for collaborative-based prediction of user contexts in ubiquitous environments under consideration of legal implications
Zur Optimierung von Empfängerstrategien für die Datenübertragung über Kurzwellenkanäle
Dezentrale, kontextbasierte Steuerung der Suche im Internet
XML-basierte Implementierung strukturierter Hypermediadokumente: Aspekte der Erzeugung, der Notation und der Darstellung
Query Answering in Probabilistic Data and Knowledge Bases
Counting on computers: new information technologies and curricular change in East Germany, 1960s to 1990
Statistische neuronale Netze
Der Rechtswidrigkeitsbegriff im Rahmen des § 303a StGB
InterestCast: adaptive event dissemination for interactive real-time applications
Lösung von linearen Gleichungssystemen auf systolischen Prozessorfeldern
Untersuchung spezieller Polyeder zur Lösung nichtlinearer diskreter Optimierungsprobleme
Higher-order factorization machines: implementation, application, and comparison of a state-of-the-art recommender approach
Learning to segment in images and videos with different forms of supervision
Synthesis of state space generators for model checking microcontroller code
Provenance-based visual data exploration
Verkehrsanalyse von Vermittlungs-Steuerungen mit taktgesteuerter Ein-Ausgabe und Prioritäten = Traffic analysis of switching system control structures with clocked I-O and priorities
Computergestützte Erzeugung und Optimierung von arrayartigen Layouts für allgemeine SC-Netzwerke und -Filter
Nichtlineare Dynamik rückgekoppelter neuronaler Netze
Grundfragen einer Ziel-Inhalt-Prozess-Konzeption für den Informatikunterricht der EOS
Dominanzstrukturen in der kombinatorischen Optimierung
Implementation aspects of binary and non-binary low-density parity-check decoders = Implementierungsaspekte binärer und nicht-binärer Kanaldecodierer
Model-based Traceability System Development for Complex Manufacturing Applying Blockchain and Graphs
Analoges Schliessen bei impulsiven und reflexiven Jugendlichen
The role of motivation and context in information security behaviors
Towards memory safety of web browsers
Design of Object Detection Systems on a SoC-FPGA Platform
Phasenübergreifende bidirektionale Integration von Gestaltung und Berechnung
Die rechnergestützte Lenkung von Materialströmen im Braunkohlentagebau
Der Informationsmarkt: theoret. Ansätze zur Zweckprogrammierung, Akzeptanz u. Wirkung e. Novität im Innovationssystem d. Organisation ; Betrachtung u. Analyse e. Einzelfalles
Lineare Fuzzy-Modelle zur Unterstützung der Investitionsentscheidung: Modellierung u. Lösung von Investitionsproblemen mittels d. Theorie unscharfer Mengen
Intellektuelles Eigentum im Zeitalter von Digitalisierung und Internet: eine ökonomische Analyse von Missbrauchskalkülen und Schutzstrategien
Persistent homology in multivariate data visualization
Content management and knowledge management: two faces of ontology-based deep-level interpretation of text
Surfacing ambiguity in natural language requirements
Injecting continuous time execution into service-oriented computing
Ein Modell zur Generierung paralleler Attributauswerter
Zum Einfluss zweier ausgewählter Varianten des Entstehens von Sachergebnissen auf Verlauf und Ergebnisse des Lösens von Aufgabenstellungen in Vermittlungsprogrammen für die physikalische Grundlagenausbildung
Visual analytics methods for shape analysis of biomedical images exemplified on rodent skull morphology
Anordnung und Sichtbarkeit: eine Charakterisierung unvollständigen räumlichen Wissens
Vor- und Nachteile beim Indexieren mit Informationsrecherchesprachen vom Klassifikationstyp im Hinblick auf ihre Anwendung in der Information und Dokumentation in der DDR
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Multilingual Modulation by Neural Language Codes
Ein wissensbasiertes Programmsystem zur Unterstützung bei der Berechnung der Schwingfestigkeit gekerbter Wellen
Dynamische Programmierung für komplexe Systeme und ihre Einbettung in eine mehrfach iterierte lokale Minimumsuche
Algebraische Theorie von High-Level-Netzen
Methoden der Bereichsanalyse und der Orientierungskurven zur Lösung von Aufgaben der optimalen Steuerung mit Zustandsbeschränkungen
Visual Discovery of Landmarks and their Details in Large-Scale Image Collections
Algorithms for vehicle navigation
On structural aspects of unconnectedness in knowledge and social networks
Machine-assisted Text Classification of Public Participation Contributions
Eine relationale PROLOG-Semantik
Der Computer als audiovisuelles Unterrichtsmittel zur Unterstützung eines erkenntnisgerechten Physikunterrichts
Understanding and supporting mobile application usage
Online-Simulation von fluidischen Prozessen in der frühen Phase der Maschinen- und Anlagenentwicklung
Trading Indistinguishability-based Privacy and Utility of Complex Data
An online model-checking framework for timed automata
Mobile Service Provision in Harsh Environments
Mixed-Cultural Intelligent Virtual Agents
Synthesis of online diagnostic techniques for embedded systems
Deciding Service Substitution - Termination guaranteed
Uncertainty Quantification for Modular Co-Simulation
Plane-sweep construction of proximity graphs
Reuse-oriented knowledge engineering with MoMo: an inquiry
Algorithms for online buffering problems and applications to the power control of a hybrid electric vehicle
Funktionstrennung in ERP-Systemen: Konzepte, Methoden und Fallstudien
Mathematical analysis of gradient methods in the training of artificial neural networks
The cost of being restricted by time, knowledge or fairness in scheduling and allocation problems: or: How to run an Asian restaurant as a mathematician
Article usage in English: a computer-based self-teaching programme on the basis of a functional theory of reference
Conversive Hidden non-Markovian models
Support of resource-aware vertical handovers in WLAN hotspots
Approximation algorithms for scheduling and two-dimensional packing problems
An Improved Framework for and Case Studies in FPGA-Based Application Acceleration - Computer Vision, In-Network Processing and Spiking Neural Networks
Konfigurierung verteilter, heterogener Informationsverarbeitungssysteme
Integer linear programming-based heuristics for partially replicated database clusters and selecting indexes
Caching, crashing & concurrency - verification under adverse conditions
Acquiring Architecture Knowledge for Technology Design Decisions
Techniques to Protect Confidentiality and Integrity of Persistent and In-Memory Data
Methoden des rechnergestützten Entwurfs und Echtzeiteinsatzes zeitdiskreter Mehrgrössenregelungen und ihre Realisierung in einem CAD-System
Funktionale Spezifikation und Codesign eingebetteter Systeme
Efficient Coding Tools for 360° Video
Algorithmen zur automatisierten Analyse von in vitro-Stammzellpopulationen
Projektierung der Automatisierung mit verteilten Mikrorechnern am Beispiel der Abwassertechnik
Standardisierter Aufbau anwendungsspezifischer Zellenrechnersoftware
Objektorientierte Bildverarbeitung
Compositional synthesis of reactive systems
Perspektiven: persistente Objekte mit anwendungsspezifischer Struktur und Funktionalität
Entwurf eines Modells der Verarbeitung von SGML-Dokumenten in versionsorientierten Hypertext-Systemen: das HyperSGML-Konzept
Estimation and regularization of probability density functions in image processing
Statische und dynamische Analyse von bipolaren Assoziativspeicherzellen sowie deren Dimensionierung
Network-Based Biomarker Discovery: Development of Prognostic Biomarkers for Personalized Medicine by Integrating Data and Prior Knowledge
Optimization under Uncertainty with Applications to Multi-Agent Coordination
Nachverarbeitung kontrast-schwacher thorakoabdominaler Dual-Energy CT-Untersuchungen mittels virtueller monoenergetischer Bildrekonstruktion
Quantitative Models for Visual Abstraction
Beitrag zur Verbesserung des Regelverhaltens eines Dampferzeugers für einen 500 MW-Kraftwerksblock mit Hilfe von Zustandsregelalgorithmen mit Prozesszustands- und Störgrössenbeobachter und zur Realisierung durch Mikrorechner
Problemorientierte Programmierung von Mikrorechnern auf der Grundlage von Steuergraphen
Stabilität von Fuzzy-Reglern: Analysekriterien und explizite Syntheseverfahren
Objektorientierte Modellierung der Dynamik von Mehrkörpersystemen mit Hilfe von Übertragungselementen
Unifizierbare zweischichtige Grammatiken
Sozio-technische Ansätze für die Gestaltung von Informationssystemen: exemplar. Fälle u. Gestaltungshypothesen
Distance based similarity models for content based multimedia retrieval
Situiertes Lernen in augmented-reality-basierten Trainingssystemen am Beispiel der Echokardiographie
Feedback morphisms between linear systems: a unified approach to state space systems, transfer functions and system matrices
Die Smart-Network-Blueprinting-Methode: Modellierung zur Integration wissensintensiver Services in Wertschöpfungsnetzwerke
Grundlagen eines Expertensystems für Wälzlagerungen
Kognitive Strukturen und Prozesse bei der Formulierung von Suchfragen: eine empirische Analyse von Vermittler- und Endnutzerrecherchen in bibliographischen Online-Referenzinformationssystemen
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
Über die Informationsgesellschaft und ihre Pädagogik
Unterstützte Kommunikation bei körperbehinderten Menschen mit einer schweren Dysarthrie: eine Studie zur Effektivität tragbarer Sprachcomputer im Vergleich zu Kommunikationstafeln
Wireless flexible electrodes for intraoperative neuromonitoring
Maschinen als kollaborative Gesprächspartner: nutzer- und situationsorientierte Gestaltung automotiver Sprachdialogsysteme
Reconfigurable scan networks: formal verification, access optimization, and protection
Optimal Parameter Choice for Bloom Filter-based Privacy-preserving Record Linkage
Analyse und Konzeption der Datenverwaltung für ein CAD-System "Schiffsmaschinenanlagen"
Digital centric multi-gigabit SerDes design and verification
Rechnergestützte Herstellung, Charakterisierung und Anwendung von Dünnschicht-Temperatur-Sensoren
Vergleichende Untersuchung über Computer- und Handauswertung von Fernröntgenseitenbildern nach der Freiburger Methode
Computergeld: Entwicklungen u. ordnungspolit. Probleme d. elektron. Zahlungsverkehrssystems
Theoretische Untersuchungen zur Extraktion monokularer Tiefenhinweise (Konturen und Schattierung) und ihre partielle methodische Evaluierung in einem rechnergestützten Perzeptionslabor
Diskurse der Datenökonomie: Kontroversen und Prozesse kollektiver Wissensproduktion
Reinforcement Learning mit adaptiver Steuerung von Exploration und Exploitation
Security for automotive electrical/electronic (E/E) architectures
Designing sensor networks for smart spaces: unified interfacing and energy-efficient communication between wireless sensor and actuator nodes
Transparent security services for an infrastructure-as-a-service cloud
Ermittlung wesentlicher Zustandsgrössen bei Entwurf und Anwendung ordnungsreduzierter Modelle
Versuche zur Fortführung topographischer Karten durch digitale Bildverarbeitung
Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses
Ausgewählte Strategien zur Fehlerverhinderung und Fehlertoleranz am Beispiel von Systemen der Prozessdatenkommunikation
Complexity measures for public-key cryptosystems
Identifikation von Innovationen aus Upgrades
DSLVQ: distinction sensitive learning vector quantization