yusuke1997/dblp-id-title huggingface dataset:
Technologie und Informationsverarbeitung in Einrichtungen der Gemeinschaftsverpflegung: Teil 1: Technolog. Beispiellösungen für Einrichtungen d. Gemeinschaftsverpflegung ; (Kap. 10 d. Fachbuches Technologie im Gaststätten- u. Hotelwesen) ; Teil 2: Der Einsatz von Personalcomputern in Einrichtungen d. Gemeinschaftsverpflegung zur Planung u. Kalkulation sowie Abrechnung u. Kontrolle d. warmen Hauptmahlzeit ; (Forschungsstudie)
Molecular Flexibility Encodings for Virtual Screening and Machine Learning
Probleme der rationellen Informationsverarbeitung und -bereitstellung in einem Industriezweig durch das Informationssystem Wissenschaft und Technik (IWT) unter besonderer Berücksichtigung des Einsatzes der EDV: (dargestellt am Beispiel des Industriezweiges Nachrichten- und Messtechnik)
Model based reinforcement learning in continuous environments
Entwurf eines verteilten automatisierten Informationsverarbeitungssystems zur Unterstützung der kommunalen Selbstverwaltung
Über OBDDs und ihre Anwendung in der Testbarkeitsanalyse
Rekonstruktion generischer Gebäudemodelle aus Punktwolken und deren Abbildungskorrekturen in Orthobildern
Beiträge zur Signalverarbeitung für eine kamerabasierte Erkennung von Fahrzeugen, Fußgängern und Fußgängerüberwegen: Wahl der Trainingsbildauflösung, schnelle Filterung, Sensordatenfusion und optimiertes optisches Tracking
Reliabilität der automatischen Vermessung von Vektorkardiogrammen im Kindesalter durch das Computerprogramm von Pipberger (AVA 3.6)
Ein Systemkonzept zur Qualitätsprüfung im Maschinenbau
Generierung effizienter Compilerteile durch attributierten Grammatiken verwandte Konzepte
Coding Theory via Groebner Bases
Signaltheorie für binäre dynamische Systeme
Informationstechnische Unterstützung für Gruppenarbeit im Bereich Planung und Steuerung
Nichtdeterminismus in Programmiersprachen
Cryptanalysis using reconfigurable hardware clusters for high-performance computing
The design and implementation of object-constraint programming
IT-Architektur für die digitale Hochschule
A transaction concept for deductive databases
Relations and Transductions Realized by Restarting Automata
Ein Konzept einer Bewegungssprache: Programmierung von Einzelbewegungen
Schneller Entwurf interaktiver dreidimensionaler Computeranimationen: Beiträge zur wissensbasierten Modellierung und Illustration komplexer technischer Systeme
Responsive execution of parallel programs in distributed computing environments
KStruct: ein Ansatz zur Analyse und Beschreibung von Nebenläufigkeit in Betriebssystemen
Ein Beitrag zur rechnergestützten Konstruktion strombegrenzender Niederspannungs-Leistungsschalter
Datalog: eine deduktive Datenbanksprache
Spekulative Optimierungen in interpretativen virtuellen Maschinen
High Quality Graph Partitioning
Ökonomisch vorteilhafte Individualisierung und Personalisierung: eine Analyse unter besonderer Berücksichtigung der Informationstechnologie und des electronic commerce
Non-Periodic Corner Tilings in Computer Graphics
Einsatz von Steuerrechnern zur Teilautomatisierung in Palettenlagern unter besonderer Berücksichtigung der Regalbediengerätesteuerung
Verification of modal properties using Boolean equation systems
Modellierung und Untersuchung von Rahmenstrukturen für rekonfigurierbare multimodale Simulationsumgebungen
Automatische Erzeugung von Maschinencode-Optimierern
Ein Beitrag zur Softwareentwicklung für modulare studiotechnische Systeme
Untersuchungen zum Einsatz von Mikrocomputern in der tierärztlichen Praxis
Entwurfs- und Architekturprinzipien für ein Echtzeit-Informationssystem im Teilhaberbetrieb für Einsatzbedingungen mit speziellen Anforderungen an die Systemzuverlässigkeit
Wellentheoretische Behandlung der zweidimensionalen Transfer- und Reflexionsfunktion für ein homogenes Schichtpaket variabler Mächtigkeit
Systemkonzept für die Integration von Online- und Offline-CAQ-Funktionen über eine gemeinsame Qualitätsdatenbasis
Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül
Konstruktiver Aufbau und exakte Reproduktion farbiger, schaftgewebter Flächengebilde
Burned area mapping via non-centered PCA using Public Domain Data and Free Open Source Software = Kartierung abgebrannter Flächen durch nicht-zentrierte Hauptkomponentenanalyse bei Benutzung von Public Domain Dateien und Free Open Source Software
Generische Spezifikation betrieblicher Anwendungssysteme
Rechnergestützte Analyse von Datensätzen mit unscharfen Clusteralgorithmen
Zur Anwendung neuronaler Netzwerke in adaptiven Flugregelungssystemen
Psoriasis unter Therapie mit Fumarsäurederivaten: computergestützte 3D-Rekonstruktion der Gefäße
Electronic mircowave imaging with planar multistatic arrays
Closing the parallel gap: a data structure architecture
Modelle für die Selbstdiagnose fehlertoleranter Systeme
Low bit rate image and video coding with weighted finite automata
On the nature of authentication protocols
Information-centric Networking for the Constrained Internet of Things
Robust environment perception in adverse weather conditions
Kopplung externer und interner Programmiersysteme für Industrieroboter
Decidability of linear tree constraints for resource analysis of object-oriented programs
Blockbildung bei evolutionären Algorithmen
Entscheidungsprobleme bei Unsicherheit und mehrfacher Zielsetzung: e. Ansatz mit Hilfe d. semi-infiniten linearen Vektoroptimierung
Verteilte hierarchische Hyper-TGraphen: Definition und Implementation eines ausdrucksstarken Graphenkonzepts
Konzeption und Realisierung eines Unterstützungssystems zur Vorgangsabwicklung und Informationslogistik in verteilten Büroumgebungen
Improved backpropagation neural networks for applications to real-time modelling and control of a continuous stirred tank reactor
Physical Computing als Mittel der wissenschaftlichen Erkenntnisgewinnung
Flüsse in Netzwerken: Komplexität und Algorithmen
TLS on Android - Evolution over the last decade
Mechanical Verification of Parameterized Real-Time Systems
Die digitale Transformation in der öffentlichen Verwaltung am Beispiel von Verwaltungsverfahren: eine empirische Betrachtung in deutschen Verwaltungsorganisationen
Computational steering with reduced complexity
Bahnführung eines Industrieroboters mit Multiprozessorsystem
Datenqualitätsmanagement in Data-warehouse-Systemen
Untersuchung von Analyse-durch-Synthese Techniken im markerlosen Tracking
Ein objektorientierter Ansatz für das Netzmanagement
An approach to logic, object oriented concurrent robot programming and performance aspects
GONVI: ein constraint-basiertes System für nicht-visuelle Interaktion mit Dokumenten und grafischen Objekten
Computer Graphics and Nature
Die rechtliche Einordnung von Softwareüberlassungsverträgen im deutschen Recht
Computerreservierungssysteme im Luftverkehr: Darstellung, Entwicklung und wettbewerbliche Beurteilung
A method for the specification by views
Model checking pushdown systems
Deep Generative Models for Motion Planning and Control
Search Interaction Optimization: A Human-Centered Design Approach
An integration of Z and Timed CSP for specifying real time embedded systems
Identifikation spezieller Funktionen, die durch Rodriguesformeln gegeben sind
Hypervolume based metaheuristics for multiobjective optimization
A Distributed Data Processing Perspective on Industrial Real-Time Systems
Protokolle und Algorithmen für zuverlässige drahtlose Kommunikationssysteme
Parallelisierte Algorithmen zur Berechnung viskoplastischer Rotationsschalen nach der Methode der Finiten Elemente und zur Parameteridentifikation viskoplastischer Werkstoffmodelle
Self-adaptation and scalability in multi-agent societies
Agility in Mechatronics unveiled: A value model for describing the interdependencies of agile development in mechatronics
Organisation und Technik integrierter Informations- und Kommunikationssysteme in Brauereien
Implementierung einer parallelen funktionalen Sprache mit algorithmischen Skeletten zur Lösung mathematisch-technischer Probleme
Network Traffic Exposed and Concealed
Hierarchical Planning: Expressivity Analysis, Solving Techniques, and Problem Compilations
Einsatz von algorithmischen Skeletten im Scheduling massiv paralleler System
Modellierung und Simulation komplexer technischer Systeme bei Verwendung des objektorientierten Paradigmas
Verschmelzen von Aktionen in Zerteilern
Konzeption und Realisierung eines bildschirmorienierten Dialogsystems zur Durchführung von rechnerunterstützten Übungen im Fach Grundlagen der Programmierung
Intervallanalytische Behandlung nichtlinearer Optimierungsaufgaben
Design and Development of a GPU-Accelerated Micromagnetic Simulator
Eine Architektur für Programmsynthese aus natürlicher Sprache
Automatic population of knowledge bases with multimodal data about named entities
On the edges of clustering: creating synergies with related problems
On securing mobile networks: from specification to deployment
Beiträge zur Gestaltung von Hardware lokaler Netze am Beispiel der Entwicklung von LOTUNET-Komponenten
Finanzmanagement auf Basis von Expertensystemen: ein systemorientierter Ansatz zur wissensbasierten Informationsversorgung
Möglichkeiten und Methoden der Rechenzeitreduzierung bei mikroprogrammierbaren Rechnern
Codebook-Based Speech Enhancement - Robust and Efficient Approaches
Die Regionalisierung von Innovationsprozessen in der Informationstechnologie: staatliche Forschungsförderung im Zeitalter der Globalisierung
Risk-Aware Exploration of Walking Robots in Unknown and Unstructured Environments
Novel algorithms and rating methods for high-performance ECG classification
Datenqualität und Erhebungssorgfalt beim Vertrieb von Prepaidkarten im Mobilfunkbereich
Multi-omics integrative analyses for decision support systems in personalized cancer treatment
Generating processors from specifications of instruction sets
Synthesizing Communication-Centric Automotive Cyber-Physical Systems
Cluster abstraction of graph transformation systems
Fertigungsabschnittssteuerung auf Basis kooperierender abstrakter Automaten
Robuste Verfügung partiell definierter Steuerwerke für vorgegebene zweistufige Strukturen
Beyond classical planning: temporal and probabilistic extensions = Temporale und probabilistische Erweiterungen klassischer Handlungsplanung
Bestimmung von Parallelitätseigenschaften in modularen Systemen mit Pfadausdrücken
Governance der individuellen Datenverarbeitung: wertorientierte und risikobewusste Steuerung der IDV-Anwendungen in Kreditinstituten
Entwicklungsmethoden und Architekturkonzepte für Web-Applikationen unter besonderer Berücksichtigung von Systemen zur Erstellung und Administration web-basierter Lernumgebungen
Stochastic Geometric Distances in Multi-Hop Wireless Ad Hoc Networks
Towards Data-driven Dependability Assurance for Softwarized Industrial Networks
Administration von Workflow-Management-Lösungen
Beiträge zur methodischen Aufbereitung der Problemanalyse zur Einführung der rechnergestützten Projektierung von Automatisierungsanlagen
Statistische und strukturelle Texturanalyse mit Anwendungen in der Bildsegmentierung / L. Abele
Accelerated Gradient Algorithms for Robust Temporal Difference Learning
Kopplung eines Infrarotspektralphotometers SPECORD 75 IR an einen Mikrorechner und Anwendung zur Untersuchung von dünnen Halbleiterschichten
Konzeptbasiertes Recherchieren
Zwei EDV-gestützte Dokumentationen in der Nuklearmedizin: Aufbau, Auswertung, klin. Relevanz
Combinatorial Properties of Periodic Patterns in Compressed Strings
A contribution to bridge the design gap between software and hardware for complex signal processing systems in mobile communications
Ablauforganisation und Informationstechnologie im Büro: konzeptionelle Überlegungen und empirisch-explorative Studie
A network QoS management architecture for virtualization environments
Using reasoning to support ORM conceptual modelling and its application in information systems
Phase classification by tensorial kernel support vector machine
Entwurfsorientierte Modellierungs- und Kommunikationsverfahren für CAD-Systeme
Computergestützte Kommunikation am Arbeitsplatz: die Aneignung neuer Kommunikationstechniken in Organisationen am Beispiel von electronic mail
Modellierung des Signalverlaufs dynamischer T1-gewichteter Magnetresonanztomographie Sequenzen zur Bestimmung des Austauschkoeffizienten zwischen Intravaskular- und Extravaskularraum bei Gehirntumoren
Semantic structural graph summaries for evolving and distributed graphs
Entwicklung und Effektivität von CBT im Rahmen der betrieblichen Weiterbildung
Computational construction grammar based on formal ontologiesnr
Raumakustische Gütekriterien und ihre objektive Bestimmung durch analoge oder digitale Auswertung von Impulsschalltestmessungen
Modeling and analyzing bias in recommender systems from multi-views: context, topic and evaluation
Objektbedeutung, Objektrepräsentation und Scanningstrategien
Systematik zum Entwurf eines Versuchsfeldes im Kontext der virtuellen Kraftfahrzeugentwicklung
Static detection of complex vulnerabilities in modern PHP applications
Zur Echtzeit-Bildfolgenanalyse mit Vorwissen
High-quality face capture, animation and editing from monocular video
Accelerating Network Functions using Reconfigurable Hardware. Design and Validation of High Throughput and Low Latency Network Functions at the Access Edge
A Bayesian Network methodology for railway risk, safety and decision support
Financial engineering: computer, algebra, and simulation
Evidence-driven testing and debugging of software systems
The role of active learning in developing trustworthy AI - Approaches for enhancing transparency and explainability in processes and systems
Design and evaluation of safety-critical applications based on inter-vehicle communication
Probleme des Informationsflusses in durchgängig automatisierten Systemen für doppelt gekrümmte Flächen
System einer automatischen Aufbereitung von Leiterbildskizzen zur Steuerung numerischer Zeichenmaschinen
NC-Programmierung: maschinennaher Einsatz von fertigungstechn. orientierten Programmiersystemen
Computational steering of multi-scale biochemical networks
An object oriented finite volume framework and its application to fluid dynamics problems
Simulation von Prototypen vernetzter Kfz-Steuergeräte
Probing and fixturing techniques for wideband multiport measurements in digital packaging
Deletion of content in large cloud storage systems
Neuronale Synchronität, zeitliche Bindung und Wahrnehmung
Workload Modeling and Prediction for Workflow Scheduling in Dynamic Grid Environments
Programmierung, Simulation und Steuerung der Bewegung von Industrierobotern
Bottom-up object segmentation for visual recognition
Vergleichende Analyse der Entwicklung, der Implementierung und der Testung von Gerätedrivern in ausgewählten Betriebssystemen
Blocking analysis of spin locks under partitioned fixed-priority scheduling
Konstruktion und Tabellen linearer Codes
Nomadic communication in converging networks
Abweichungsinduzierte Entscheidungsfindung zur Steuerung von Software-Entwicklungsprojekten
Black-box performance modeling of configurable software systems
A machine-checked proof of correctness of Pastry. (Une preuve certifiée par la machine de la correction du protocole Pastry)
Generische Ansätze zur Entwicklung hypermedialer biochemischer Lernlaborsysteme
Fehlererkennung mit Co-Prozessoren in der Prozessdatenverarbeitung unter Echtzeitbedingungen
Incrementally enriching the common ground: cognitively motivated evaluative approaches to dialogue processing with deep learning models
Soft Constraints in MiniBrass: Foundations and Applications
Entwicklung und Evaluierung eines Toolkits für das maschinelle Lernen in der organischen Chemie
Analyzing and Mitigating Security Threats in P2P Systems
Three-dimensional reconstruction by radial basis function networks: shape from shading and stereo vision
Eine einheitliche CAM/CAP-Entwicklungstechnologie - die Voraussetzung zur dezentralen Nutzung der Mikrorechentechnik in der Seeverkehrswirtschaft
Compact semantic representations of observational data
Qualitätsmanagement in Software-Entwicklungsunternehmen
Konzeption und Realisierung eines Systems zur intraoperativen Interaktion zwischen Mensch und Maschine
Dealing with Inaccurate and Incomplete Labels in Industrial Streaming Data
Beitrag zur rechnerorientierten Modellierung technischer Gebilde des Maschinenbaus
Facilitating Knowledge Graph Analysis - Acquisition and Large-Scale Analysis of Topological Graph Measures
Partizipation, Mitbestimmung, demokratische Technikentwicklung: Ansatzpunkte zur sozialen Gestaltung von Arbeit und Technik durch beteiligungsorientierte Systementwicklung
Prozess-Management - Versuch eines integrierten Konzeptes situationsadäquater Gestaltung von Verwaltungsprozessen, dargestellt am Beispiel in einem multinationalen Unternehmen - IBM Deutschland GmbH
Ein Ansatz zur Modellierung großer Software-Entwicklungsprozesse durch Integration unabhängig erfaßter rollenspezifischer Sichten
Entwurf und Umsetzung eines flexiblen Frameworks zur intuitiven, AR-gestützten Steuerung von Robotern
Struktur und Verhalten in verteilten Systemen
Die Einsatzmöglichkeiten von Expertensystemen zur Unterstützung von Beschaffungsentscheidungen in Handelsbetrieben
Towards effective research-paper recommender systems and user modeling based on mind maps
On semi-online machine scheduling and generalized bin covering
Interaction Design Patterns für NFC-basierte Electronic-Data-Capture-Anwendungen
Konzeption für ein neuartiges Automatisierungssystem mit intelligenten Leiteinrichtungen
System architecture and patient safety for parallel transmission MR / Dipl.-Ing. Ingmar Gräßlin
Declarative development of interactive systems
Konzepte der CAD-PPS-Kopplung
Epidemiologische Simulatoren als Instrumente der Systemanalyse mit besonderer Berücksichtigung eines Modells des Gerstenmehltaus
A comparative study on the effectiveness of traditional versus m-Health educational intervention for diabetic patients in peripheral district of Bangladesh
Multigranulare Optimierung für heterogene Multicore-Systeme
Invariante Masse für gekoppelte Abbildungsgitter
Face Morphing and Morphing Attack Detection
Erstellung und Erprobung eines Rechnerprogramms zur Infektionskontrolle in der Intensivmedizin
A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations
Efficient similarity search in large multimedia databases
Facework in multicodaler spanischer Foren-Kommunikation
Modular Specification and Compositional Soundness of Abstract Interpreters
Automotive Software: Prozesse, Modelle und Variabilität
Ein Informationssystem zur Angebotsabwicklung werkstattorientierter Einzelfertiger und seine Geschäftsprozeßkette
Konsistenz in hybriden wissensbasierten Systemen
Entwurf und Implementierung eines Filesystems
Statistische und modellgestützte Verfahren zur Klassenbildung bei der Diagnose von Universalmotoren
Modellierung der langfristigen komplexen Grundfondsreproduktion der Transportinfrastruktur auf der Grundlage prozessabhängiger technisch-ökonomischer Kenngrössen und deren Bewertung als Beitrag zur Intensivierung des volkswirtschaftlichen Reproduktionsprozesses
Videokonferenzen als Ersatz oder Ergänzung von Geschäftsreisen: Substitutions- und Komplementäreffekte untersucht bei Unternehmen in der Schweiz
Berücksichtigung unvollständiger Information bei Problemen der Stopptheorie
Consistent View-Based Management of Variability in Space and Time
Eingabesprachen für rechnergestützte Laien-Informationssysteme
Erweiterung eines wissenschaftlich-technischen Berechnungs- und Visualisierungssystems zu einer Entwicklungsumgebung für paralelle Applikationen / S. Pawletta
Fehlererkennende Inbetriebnahme fehlertoleranter verteilter Systeme
Die Informationstheorie der bidirektionalen Kommunikation mit kontinuierlichen Signalen
Classes of priors in games and decision models
Features and machine learning systems for structured and sequential data
Baumorientierte Regel-Induktionsstrategie für das ROSA-Verfahren zur Modellierung komplexer dynamischer Systeme
Automatische Gewinnung von Merkmalen und Klassifizierungseigenschaften für Produkte auf Basis eines integrierten Produktmodells
Mitigating adverse effects of using online social networks = Verminderung negativer Effekte bei der Nutzung von Online SocialNetworks
MOSY - rechnergestützte Modellsynthese
On the evolvability assurance of microservices: metrics, scenarios, and patterns
Security analysis of confidential VMs on modern server architectures
Customer-Service-Management als Basis für interorganisationales Dienstmanagement
Numerische Simulation ebener Krümmerströmungen
Parallele Logiksimulation - effiziente Methoden für Multicomputer
Entwicklung und Erprobung eines Analyseinstrumentariums zur Bestimmung wirtschaftlicher Auftragsabwicklungsverfahren in der Warenverteilung
Reasoning on the response of logical signaling networks with answer set programming
Softwareerstellungsverträge: die Gestaltung zwischenbetrieblicher Zusammenarbeit für die Entwicklung von Computer-Software
Kompatibilitätsverfahren für Profinet-Hardware mit Ethernet Time Sensitive Networks
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
PPS als CIM-Baustein: Gestaltung d. Produktionsplanung u. -steuerung für d. computerintegrierte Produktion
Escalating commitment als Ursache gescheiterter DV-Projekte: Methoden und Werkzeuge zur Deeskalation
Eine Methodik zur Modellierung von Konfigurationsvorgängen für Szenarien im Netz- und Systemmanagement
Advances in ILP-based Modulo Scheduling for High-Level Synthesis
Privacy-Aware and Reliable Complex Event Processing in the Internet of Things - Trust-Based and Flexible Execution of Event Processing Operators in Dynamic Distributed Environments
Spektrales Lochbrennen und optische Datenspeicherung
Edge-Driven Proximity Service Platform for the Internet of Things in Indoor Environments
Beiträge zur Stabilitätsanalyse nichtlinearer Optimierungsprobleme
Efficient Visibility Queries and Metalinguistic Abstractions for Graphics Algorithms
Conveyor: a workflow engine for bioinformatics analyses
A window to the past through modern urban environments: Developing a photogrammetric workflow for the orientation parameter estimation of historical images
Towards secure 4G and 5G access network protocols
Bedrohungsanalyse für militärische Informationstechnik
Ein rechnergestütztes Verfahren zum Entwurf der räumlichen Struktur von Chemieanlagen
Deep Counting Models and their Use for Person Detection
Optimizing Relational Query Engine Architecture for Modern Hardware
Visualisierungs- und Interaktionskonzept zur graphenbasierten Exploration: Ein visuell-mentales Modell zur Reduktion der kognitiven Last während der Exploration komplexer Graphen
Rigid and deformable motion and disassembly planning with a focus on the digital mockup process in the automotive industry
Auswertung von Logik-Programmen mit einem Message-passing-Modell
Der Rechnereinsatz bei der Konstruktion von Spritzgussformteilen = Computer aided construction of injection molding parts
Human Pose Estimation with Supervoxels
Design, Implementation, and Evaluation of Network Resource Allocation and Reconfiguration Algorithms
Scalable automated incrementalization for real-time static analyses=Skalierbare automatische Inkrementalisierung für statische Analysen in Echtzeit
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
Data-Driven Analysis and Interpolation of Optical Material Properties
Ein monetäres liquiditätstheoretisch orientiertes, ökonometrisches Vierteljahresmodell der Bundesrepublik Deutschland
Ein mathematisches Modell zur Überprüfung gewonnener Messwerte im Hinblick auf die Wärmeabgabefähigkeit von Kohlenstaubflammen
Radiosity on evolving networks
Sprachmodellprozesse bei Vorgabe theoretischer und anwendungsorientierter Eigenschaften
Konzeption und Entwicklung einer wissensbasierten Konstruktions- und Planungsumgebung
Software idioms for component-based and topology-aware simulation assembly and data exchange in high performance computing and visualisation environments
Reconstruction of Specular Reflective Surfaces using Auto-Calibrating Deflectometry
Telearbeit: Organisationsformen - Rechtsformen