yusuke1997/dblp-id-title huggingface dataset:
Aktionsorientierte Datenverarbeitung unter besonderer Berücksichtigung des industriellen Fertigungsbereiches
Effiziente Erstellung aufgabenspezifischer Bilderkennungssysteme (Efficient development of application-specific image recognition systems)
Ein Beitrag zur Gestaltung von Primärdatenaufnehmern mit CCD-Sensoren für Bildverarbeitungssysteme
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Revealing hidden patterns in political news and social media with machine learning
Monotonicity in Markov models
A Generic Framework for Enforcing Security in Distributed Systems
The paradigm of collective intelligence in information systems research
Beitrag zur Gestaltung von Mikrorechnerkopplungen in hierarchisch strukturierten Automatisierungssystemen auf Schiffen
Ontology-based transformation of natural language queries into SPARQL queries by evolutionary algorithms
Einsatz der Blickregistrierung bei der Analyse rechnerunterstützter Steuerungsaufgaben
Ein kohärentoptisches Filterverfahren für die Zeichenerkennung
Modular Specification of Self-Adaptive Systems with Models at Runtime using Relational Reference Attribute Grammars
Reliability Analysis and Design of Flight Control Systems Using Surrogate Models
Graph exploration with advice and online crossing minimization
Prozess einer generationsübergreifenden Produktentwicklung durch technische Vererbung
SDAARC - a self distributing associative architecture
Lernen und Interpretieren strukturierter Dokumente: ein qualitativer Ansatz
A framework for non-classical logics
A cost model for expressing and estimating ecological costs of software-driven systems
Optimalitätsaussagen für spezielle stochastische Schedulingprobleme
Instant Synchronization of States in Web Hypertext Applications
Strukturtransformationen und ihre Anwendung auf Prozess-, System- und Operandenstrukturen
Lernstrategien für medizinische Expertensysteme am Beispiel der Vorhersage von Selbstmordversuchen
Fehlerkorrektur mit erweiterten Reed-Solomon-Codes in Weltraum-Halbleiterspeichern
Die zeitliche Niederschlagsschätzung mittels stochastischer Prozesse
Über Fuzzy-Logic in der Fahrzeug-Querdynamik
Anforderungen, Entwurfsmuster und Systeme für kollaboratives Schreiben
Designing UbiComp Experiences for Spatial Navigation and Cross-Device Interactions
Wissensbasierte Unterstützung recyclingorientierter Produktgestaltung
Granulometrien in der Grauwertmorphologie
Linienführungen im Ingenieurstudium: ihre Anwendung in der lehrkonzeptionellen Arbeit unter Zuhilfenahme informationsverarbeitender Technik
Digitale Impedanzmessverfahren auf der Basis von Identifikationsmethoden
Exploratory visual text analytics in the scientific literature domain
Entwurfsverfahren für optische Spektralfilter zur Materialanteilsschätzung
Coordinating selfish players in scheduling games
The power of locality: exploring the limits of randomness in distributed computing
Empirically-based Method for Performing Qualitative Synthesis in Software Engineering
Parallelisierung eines komplexen Finite-Elemente-Programmsystems
Die umfassende Intensivierung des Reproduktionsprozesses in den metallverarbeitenden B-Kombinaten durch die Erarbeitung und Anwendung von CAD/CAM-Lösungen
Computerisierung in Dienstleistung und Verwaltung: eine Herausforderung an das soziale Gestaltungspotential
Improving Content and Service Distribution beyond Infrastructure Upgrades
Machine learning model selection with multi-objective Bayesian optimization and reinforcement learning: case studies on functional data analysis, pipeline tuning and shifted distribution
Effective influences in neuronal networks: attentional modulation of effective influences underlying flexible processing and how to measure them
Beitrag zur Gestaltung fehlertoleranter sicherheitsrelevanter Kleinsteuersysteme auf Einchipmikrorechnerbasis
Konzeption und Realisierung eines Übersetzergenerators für typografische Befehlssprachen
Segmentierung digitaler Bilddaten
Multi-agent communication for the realization of business-processes
Rechnergestützte symbolisch-algebraische Berechnungsmethoden in Warteschlangensystemen
Methodik der vergleichenden Untersuchung von Justizsoftware: am Beispiel der Programme Sijus-Familie und SOJUS-FAM für die Geschäftsstelle des Familiengerichts und dreier Unterhaltsberechnungsprogramme
Texturbasierte dynamische Erkennung veränderlicher Objekte
Fabrikplanungsspezifische Modellierungssprache
Verschlüsselungssysteme auf Basis endlicher Geometrien
Eine Methode der Unterstützung der Programmentwurfsphase zur Erstellung modularer Programmentwürfe
Parallelisierung des Viterbi-Decoders: Algorithmus und VLSI-Architektur
Erkennung von Sehzeichen in unterschiedlichen Strukturen auf dem Bildschirm
Flutwellen bei plötzlicher Abflussfreigabe, Berechnung mit Hilfe des Charakteristikenverfahrens
Quantitative Modeling and Verification of Evolving Software
Neuronale Netze mit vorgeprägten Kopplungen
Leistungsbewertung von Medienzugangsprotokollen für lokale Hochgeschwindigkeitsnetze
Moderne Abtastreihen und ihre Anwendungen
Indexing methods for web archives
Towards Data Efficient Deep Learning - Vision Applications to Microscopy Image Segmentation and Natural Image Classification
Von Open Access zu Open Science: Zum Wandel digitaler Kulturen der wissenschaftlichen Kommunikation
Modellbasierte Unterstützung der Software Evolution im industriellen Kontext
Human Robot Interaction Concepts for Human Supervisory Control and Telemaintenance Applications in an Industry 4.0 Environment
Automatic Design of IMA-Based Systems
Bestimmung optimaler Spacings für Schätzfunktionen, die auf Ordnungsstatistiken basieren, mit Methoden der dynamischen Optimierung
State-based context prediction in mobile systems
Ein Beitrag zum rechnergestützten Software-Entwurf
Blind source separation algorithms for the analysis of optical imaging experiments
Philosophisch-ethische Probleme der Anwendung der Informatik in der Medizin
Simultan spekulatives Scheduling
Ausgewählte diskrete Suchprobleme unter Berücksichtigung algorithmischer Lösbarkeit
Off-line-Programmierung von Industrierobotern für die konturgebundene Fertigung
Proposed methodology for the design of the statistical data bank conceptual model and metainformation collection
Artificial neural networks: methods and applications in spatial data mining
Psychophysiologische Untersuchungen bei der Bildschirmarbeit
Polynomielle Splinter
Mathematische Modellierung von Elementen des Cholesterolstoffwechsels
Software-Framework zur Agentenbasierten Parallelisierung und Koordination von Simulationsprozessen im Engineering
Cooperating manipulator modeling and control
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Optimized, highly parallel architectures for iterative decoding algorithms = Optimierte hochparallele Architekturen für iterative Decodierverfahren
Software-based Memory-Consistency Mechanisms for Non-Coherent Many-Core Systems
Integration der Qualitätsentwicklung in featurebasierte CAD-CAM-Prozessketten
On the loss landscape of deep neural networks
MIDAS: ein wissensbasiertes System zur Unterstützung des fertigungsgerechten Entwurfs von LIGA-Mikrostrukturen
Corporate prediction markets: a multi-agent simulation based on laboratory experiments
Automated Theory Interpretation
Entwurfs- und Entwicklungsprinzipien von Lernsoftware im Spannungsfeld didaktischer Erfordernisse und ökonomischer Restriktion
Selected Inductive Biases in Neural Networks To Generalize Beyond the Training Domain
Systematische Wiederverwendung in der Software-Entwicklung
Implications of knowledge-based planning for project management
Programming Models and Extensive Evaluation Support for MPTCP Scheduling, Adaptation Decisions, and DASH Video Streaming
Mobile Social Situation Detection
Estimation and model selection for dynamic biomedical images
Algorithmen und Softwaremodule für die computerunterstützte Lösung chemischer Probleme
"Offensichtlich weigert sich Facebook, mir darauf eine Antwort zu geben": strukturelle Analysen und sinnfunktionale Interpretationen zu Unsicherheit und Ordnung der Computernutzung
Scalable and Declarative Information Extraction in a Parallel Data Analytics System
Logic Based Models for Information Retrieval in Social Media Contexts
Geospatial enablement for enterprise information processing
Das Deskriptorkonzept: eine Methode zur Parallelverarbeitung
Machine learning in financial markets
Offene Blockchainsysteme und die Schutzziele des schweizerischen Finanzmarktrechts: unter Berücksichtigung möglicher Ansatzpunkte einer Regulierung
Datenschutz und Datensicherung in Klein- und Mittelbetrieben
Measuring user experience for virtual reality
A flexible framework for multi physics and multi domain PDE simulations
Process communication via distributed global variables in distributed real-time control systems
The impact of microRNAs on signaling pathways: from general perspectives to a computational model of the JAK-STAT pathway
Algebraische Methoden für nichtlineare Codes
Active Deep Learning of Representations for Similarity Search
Online-Marketing: Endkundenbearbeitung auf elektronischen Märkten
On utilising change over time in data mining
Cardinalities in Software Verification
Adding value to text with user-generated content
Zukunft Betriebsinformatik: d. Entwicklung e. Curriculums zur Qualifizierung arbeitsloser Lehrer u. Geisteswiss
Zur Herausbildung der Kybernetik, wissenschaftstheoretische und wissenschaftshistorische Untersuchungen zur Konstituierung einer neuen Denkweise
Spezifikation von Software-Modulen: ein Prozessmodell für die Spezifikation und Dokumentation von Software-Modulen
Creating an Autonomously Interactive Virtual Character
Restnutzenoptimale Bedienstrategien
Untersuchungen zum Aufbau modularer Netzwerkanschlusseinheiten
Supernatural and Comfortable User Interfaces for Basic 3D Interaction Tasks
Understanding and improving robustness and uncertainty estimation in deep learning
Zur Etablierung der privaten Computerhandhabung: eine Grundlagenstudie am Fall der Computerbenutzung Jugendlicher
Human-like natural language generation in spoken dialogue systems
Enhancing the Security and Privacy of Full-Stack JavaScript Web Applications
Unternehmenskommunikation als interdisziplinäres Aufgabenfeld und ihre Bündelung in einem EDV-gestützten Kommunikationsportal
Entwicklung einer rechnergestützten Entscheidungshilfe auf der Basis der multiattributiven Nutzenstheorie
Design of an Energy-Aware Unequal Clustering Protocol based on Fuzzy Logic for Wireless Sensor Networks
Evaluating the usability of web-based geographic information systems with semantic user interaction analysis
Leveraging derivative virtual machine introspection methods for security applications
Next generation design for testability, debug and reliability using formal techniques
Synthese minimaler passiver zeitdiskreter Mehrgrößensysteme
Konzepte zur Entwicklung paralleler Algorithmen der digitalen Bildverarbeitung
Die Integration von Textverarbeitung und Datenverarbeitung: Analyse des Bedarfs und seiner Determinanten aus betriebswirtschaftlicher Sicht
Validität der computergestützten kephalometrischen Wachstumsprognose VTO (Visual Treatment Objective) nach Ricketts
Die Online-Kommunikation von politischen Interessengruppen in der Schweiz: Bedeutung, Einsatz und Veränderung der Organisationsstrukturen
Pushing the boundaries of Brain-Computer Interface technology: challenges in novel applications and large-scale studies
Mediennutzung im Studium: eine empirische Untersuchung am Karlsruher Institut für Technologie
Internet und Markenschutz: auf der Grundlage des schweizerischen Markenschutzgesetzes und unter Berücksichtigung der Uniform dispute resolution policy
Entwicklung eines eindimensionalen Rechenprogramms zur Beschreibung der Konvektion in beliebigen Strömungsnetzwerken: rechner. Unters. zum Strömungsverhalten d. HHT-DEMO-Anlage bei NWA-Betrieb u. bei Ausfall d. NWA-Gebläse
Model checking of duration calculus specifications
Zum kooperativen Entwurf von eingebetteten Echtzeitsystemen
Anwendungsorientierte Programmierung für die robotergestützte Montage
Zur Spezifikation und Struktur grösserer Systeme - Untersuchungen am Beispiel von ALGOL 68 und GKS
Automatische Bahnplanung für fahrerlose Transportsysteme in dynamischen Umgebungen
Modular Open-Source toolbox for optics education
Effiziente Mustererkennung durch spezielle neuronale Netze
Methodology of computer anti-virus research
Optimierung und Einsatz einer Kommunikationsbibliothek für Metacomputing
Energy efficient communication using wake-up receivers
Practical algorithms for clustering and modeling large data sets: analysis and improvements
Zur Genauigkeitssteigerung und Erstellung eines automatisierten Datenflusses beim trigonometrischen Nivellement mit kurzen Zielweiten
Untersuchungen über eine Computer-unterstützte Diagnostik auf dem Gebiet der inneren Krankheiten des Rindes
Analyse und Synthese linearer Systeme mit Hilfe neuer Strukturmasse
VLSI-Implementierung des Soft-Output-Viterbi-Algorithmus
Untersuchung von Raumrasterungen zur Beschleunigung der Strahlanfrage in der photorealistischen Bildsynthese
Realisierung des Komplexes Netzeingabe innerhalb des Programmsystems SESAD
Integration culture in designing groupware applications as contribution to intercultural collaboration technology
Secured Time Synchronization Using Packet-Based Time Protocols
Beitrag zur rechnergestützten Multiprojektplanung
Choiceless computation and logic
Anpassung von Open-Source-Software in Anwenderunternehmen
Ein modellgestütztes Instrumentarium als Hilfsmittel der strategischen Planung einer Fabriksegmentierung
Smartphone-based Frameworks and Protocols for Opportunistic Networking
Dokumenten- und Prozessmodelle für die Software-Verwaltung
Rational Decision Support with a Natural Language Dialogue System
Bildsequenzanalyse für die passive Navigation
Towards high quality security event correlation using in-memory and multi-core processing
Moderne Informationsverarbeitung - strafrechtlicher Schutz bei Missbrauch?
Massnahmen zur Erhöhung der Verfügbarkeit von Mikroprozessrechnern: dargestellt am Beispiel der automatischen Steuerung eines Nachkondensationsreaktors
Automatic General Audio Signal Classification
Decomposition of stability proofs for hybrid systems
Digital Watermarking for Verification of Perception-based Integrity of Audio Data
Beitrag zur rechnergestützten Bestimmung des Fertigungsaufwandes für elektronische Funktionseinheiten auf Grundlage der Pflichtenheftwerte und weiterer Gebrauchswerteigenschaften für die Verbesserung der Leitungs- und Entscheidungsprozesse zur Entwicklungsaufnahme von Geräten
Techniken des Prozessmanagements in der Informationssystementwicklung
Ein Beitrag zur Diagnose von Mehrrechnersystemen mit busartiger Verbindungsstruktur
Websites als Qualitätssignal: eine empirische Analyse der Effekte augewählter Website-Elemente
Object detection using feature mining in a distributed machine learning framework
Klassifikation von Anforderungen und Informationen zur Unterstützung von Qualitätssicherungsprozessen
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen
Prüfung der Synchronisierung bei Automatisierungsprogrammen
Das Computerprogramm im Recht: technische Grundlagen, Urheberrecht und Verwertung, Überlassung und Gewährleistung
Methoden und Werkzeuge zur Software-Entwicklung in einer objektorientierten Programmierumgebung
Morphometric characterization of biological structures
Näherungsweise krümmungsstetige Übergänge zwischen Freiformflächen
Beitrag zur Datenverarbeitung grosser globaler Matrizen in der Strukturmechanik
Decentralizing Software Identity Management
On the cost of concurrency in transactional memory
Mathematische Modellierung vermittlungstechnischer Prozesse und Realisierungsfragen
Black-Box Test Case Selection and Prioritization for Software Variants and Versions
Beschreibung, Verwaltung und Ausführung von Arbeitsabläufen im autonomen Datenbank-Tuning
A Domain-Specific Language and Source-to-Source Compilation Framework for Geometric Multigrid Methods
Interactive High Performance Volume Rendering
Dämpfung der Tidebewegung in einem Polder
Denotationelle Analysen funktional-logischer Programme
Modellierung und Analyse verzögerungs-unabhängiger Schaltungen mit Petrinetzen
Algorithmic aspects of manipulation and anonymization in social choice and social networks
Management and scheduling of accelerators for heterogeneous high-performance computing
Performance modeling of QoE-aware multipath video transmission in the future internet
Numerische Simulation hochreichender Feuchtkonvektion auf der Basis der ursprünglichen Eulerschen Gleichungen
Entwicklung und Wiederverwendung wissensbasierter Produktmodelle auf der Grundlage formaler Ontologien
System-Level Optimization and Code Generation for Graphics Processors using a Domain-Specific Language
Analyse semantisch annotierter Trajektorien
Ein Rapid-Prototyping-Verfahren zum Entwurf von Kommunikationsarchitekturen in eingebetteten Systemen
Entwicklung und Anwendung eines rechnerunterstützten systemanalytischen Modells zur Extrusion von Stärken und stärkehaltigen Rohstoffen
Zur Untersuchung und Optimierung von Spracherkennungssystemen für isoliert gesprochene Wörter
Aspekte der interaktiven real-time 3D-Landschaftsvisualisierung
Anwendung von Rewriting-Techniken in polyzyklischen Gruppen
Automatische Generierung von Fuzzy-Systemen mit evolutionären und neuronalen Algorithmen
Detecting Anomalies in Transaction Data
Calculating and Aggregating Direct Trust and Reputation in Organic Computing Systems
Entwicklung eines robusten Verfahrens zur Farbbestimmung von Zähnen auf Basis spektraler Daten
Transparente Verteilung objektorientierter Programme
Separating Key Concerns in Query Processing - Set orientation, Physical Data independence, and Parallelism
Formalization and Detection of Host-Based Code Injection Attacks in the Context of Malware
Eine Rechnerarchitektur zur Visualisierung und Verarbeitung von "cellular space"-Repräsentationen
On the consistency of spatial semantic integrity constraints
Möglichkeiten der Datenerfassung für Kosten- und Leistungsrechnungssysteme in Weinbaubetrieben
Enabling Data Analytics and Machine Learning in Model-Driven Software Engineering of Smart IoT Services
In-Situ Thread Visualization - Programming Framework, Visual Design, and Empirical Studies
A microservice architecture for the processing of large geospatial data in the Cloud
Computersimulation zur biomechanischen Diagnose des Gewichthebens
Online Algorithms for Scheduling and Data Management
Anwendungen der Synergetik und Chaostheorie in der Ökonomie
Ausgewählte Probleme zur rechnergestützten Herstellung von Informationsmitteln unter Nutzung der Dokumentennachweise des zentralen Fonds im IRS AGROSELEKT bei Anwendung der Lichtsatztechnologie
Control and management plane helper functions for information-centric networks
Going viral: an integrated view on virological data analysis from basic research to clinical applications
Eine offene, verteilte CAD-System-Umgebung zur Unterstützung von concurrent Engineering: Konzept für einen Konsistenz-Manager
Regelbasierte Auswahl grundlegender Reaktortypen mittels wissensbasierter Programmierung
Machine Learning for Industrial Process Optimization
Large-scale measurements for enhancing network security
Beiträge zur Konstruktion eines Spezialrechners zur Bilderzeugung bei einem Radar mit synthetischer Apertur
Development and Interpretation of Machine Learning Models for Drug Discovery
Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle
Hilfsinformationssysteme zur Unterstützung der Gestaltung betrieblicher Informationssysteme: Entwicklungs- u. Anwendungsmöglichkeiten von Instrumenten zur computergestützten Aufgabenanalyse, Programmgenerierung u. Datenorgansation
Objektverwaltung in Bürokommunikationssystemen auf der Grundlage von elektronischem Schriftgut
Hierarchisch-strukturiertes Automatisierungssystem für die Steuerung eines Mikroklimalabors
Ein Programmsystem zur rechnergestützten Entscheidungsfindung bei makroökonomischen Planansatzrechnungen
Einheitliches Algorithmensystem zur automatisierten technologischen Fertigungsvorbereitung für Schwermaschinenbauteile und daraus abgeleitete Probleme bei der Algorithmierung der Arbeitswerte- und Normzeitbestimmung für den Arbeitsgang Bohren
Über ein Ein-Maschinen-Reihenfolgeproblem mit Umrüst- und Lagerhaltungskosten bei vorgeschriebenem Bedarf
Kernel methods for regression and classification
Ein Beitrag zur computergestützten Qualitätsüberwachung fertigungstechnischer Prozesse: Gestaltungsprinzipien für Echtzeitoperationssysteme am Beispiel des "Echtzeitoperationssystems Qualitätsüberwachung"
Psychologische Beiträge zur Software-Ergonomie
Light Field Analysis for Non-Lambertian Scenes
Automated segmentation and classification with artificial neural networks of objects in 3D point clouds: Automatisierte Segmentierung und Klassifizierung von Objekten in 3D-Punktwolken mit künstlichen neuronalen Netzen
Towards the optimal orchestration of service function chains to enable ultra-reliable low latency communication in an NFV-enabled network
Modellbildung und Regelung induktiv geführter Kommissionierfahrzeuge
Zur kategoriellen Darstellung von Lindenmayer-Systemen
Entwicklung eines Messsystems für Feldmessungen in Windenergieanlagen und echtzeitfähige Implementierung eines Lebensdauermodells zur Zustandsüberwachung von Leistungshalbleitern
Entscheidungsorientiertes Rechnungswesen mit Daten- und Methodenbanken
ISP traffic management via flow optimization
Systeme kombinierter multimodaler Mensch-Rechner-Interaktionen
Homomorphe Verschlüsselung und Cloud-Computing
Towards Efficient Resource Allocation in Desktop Grid Systems: Inherent Problems and Traditional Solutions
Tangible interaction with anthropomorphic smart objects in instrumented environments
CAD-CAM-Kopplung in CIM-Strukturen: ein Beitrag zur Verbesserung der Datendurchgängigkeit am Beispiel des Werkzeug- und Sondermaschinenbaues
Fault-injection-driven development
Anwendung der Steuerungstheorie auf die kernmagnetische Resonanzspektroskopie: von der Entwicklung computergestützter Optimierungsmethoden bis zur experimentellen Umsetzung
Lossy Time-Series Transformation Techniques in the Context of the Smart Grid
Goal-based debugging for belief-desire-intention agents
An investigation of advances for model-free data-driven computational mechanics: tangent space information, Haigh-Westergaard space, and neural networks
Decision-making algorithms: collective, social, and individual learning
Learning collaborative reasoning: foundations of adaptive reflection support in agent-based simulations
Visualization challenges in distributed heterogeneous computing environments
Effektivierung der Leistungsbewertung von Rechnersystemen mittels hybrider simulativ/analytischer Verfahren
Log File Processing - Changes, Challenges, and Chances
Direktmarketing im Internet: eine Betrachtung der Zulässigkeit von unverlangt zugesandter E-Mail-Werbung im Wechselspiel von deutschem und europäischem Recht
Parameterschätzverfahren mit der L∞-Norm zur Systemidentifikation und -überwachung
Ein automatisches Fragebeantwortungssystem
Modular programming of adaptive CAx manufacturing process chains
Einfluß von handlungsbezogenen und kognitiven Persönlichkeitsmerkmalen auf das Lerngeschehen beim Wissenserwerb mit Hypertexten
Konzepterkennung in Informationsnetzwerken
Zeitliche Korrelationen in stochastischen Netzwerken 'spikender' Neurone
Chancen und Risiken Juristischer Expertensysteme
Semantikkonstruktion
Architecture and Tools for Self-sovereign Identity Management on Distributed Ledgers
Machine learning of timed automata
Wissensbasierte Bilderkennung mit symbolischen und neuronal repräsentierten Merkmalen
Ein rechnergestützter Ingenieurarbeitsplatz und seine Anwendung zur Sicherung fehlerfreier Mikrorechnersysteme
Minimal assumptions in cryptography
UniVerMeC - A Framework for Development, Assessment and Interoperable Use of Verified Techniques
A Concept for Deployment and Evaluation of Unsupervised Domain Adaptation in Cognitive Perception Systems