yusuke1997/dblp-id-title huggingface dataset:
Effizientes Entwickeln von Semantic-Web-Software mit Object Triple Mapping
Entwicklung georeferenzierender Augmented Reality Systeme auf Mobilgeräten mit Mikrosensoren
Imputation of missing genotypes in genetic studies through generalizations of the basic coalescent
Deep visual human sensing with application in robotics
Aspekte der Automatisierung informationeller Transaktionen zwischen Anbietern und Nachfragern von Wirtschaftsgütern und der Herausbildung elektronischer Märkte unter besonderer Beachtung des Einsatzes multimediabasierter Telematiksysteme
System zur ereignisorientierten Produktionssteuerung
Transfer-Analyse: e. Instrument zur modellgestützten Gestaltung betriebl. Systeme
Hardware, software co-design for data flow dominated embedded systems
Preventing the Leakage of Privacy Sensitive User Data on the Web
Robuster Entwurf und statistische Modellierung für Bildsensoren mit hochparalleler analoger Bildverarbeitungseinheit
CIM und strategisches Management
Selbstorganisierte Modularisierung von Individuen in evolutionären Algorithmen
Eine auf FUZZY basierende Methode zur mehrdimensionalen Beurteilung der Strassenverkehrssicherheit
Zur Erkennung von Hindernissen in der Bahn eines Strassenfahrzeugs durch maschinelles Echtzeitsehen
Ein Modell zur ereignisgetriebenen Simulation von MOS-Transistornetzwerken auf der Schalterebene
Vorschläge für die rechnergestützte Steuerung von Elektroenergie-Verteilungsanlagen
Raising the abstraction level of hardware software co-designs
Sonographie und Computertomographie in der renalen Tumordiagnostik
Evolution control for software product lines: an automation layer over configuration management
Backpropagation Beyond the Gradient
Über eine Methodik zur Synthese nichtlinearer dynamischer Systeme mit konzentrierten Parametern
Die Entwicklung der Informationsverarbeitung in Griechenland unter besonderer Berücksichtigung der Belange von Software-Häusern
Toward a Greener Internet - Design and evaluation of green IP and content routing for sustainable communication networks
Dualitätstheorie als methodischer Ansatz mikroökonomischer Theorien
Intensivierung der Leitung komplexer Prozessabläufe durch den Einsatz wissenschaftlicher Leitungsinstrumentarien
Verbesserung der Qualität natürlich-sprachlicher Spezifikationen
Softwareentwicklung zur Randelementmethode: Analyse und Entwurf effizienter Techniken
Archäoinformatik: Verarbeitung und Analyse vierdimensionaler Daten in der Archäologie
Über die Annäherung der Verteilungsfunktionen von Summen unabhängiger Zufallsgrößen gegen unbegrenzt teilbare Verteilungsfunktionen unter besonderer Beachtung der Verteilungsfunktion der standardisierten Normalverteilung
Upper limb motor function in chronic stroke after brain-machine interface training
Data compression techniques for concurrent error detection and built-in self test
Beitrag zur rechnergestützten Konstruktion textiler Stoffe am Beispiel von Fadenlagen-Nähgewirken für Möbelbezug
Ein System zur Lauterkennung in fliessender Sprache auf der Basis artikulatorischer Merkmale
Vehicle Self-Localization Using High-Precision Digital Maps
System Architectures for Data Confidentiality and Frameworks for Main Memory Extraction
Ein Beitrag zur Wissensmodellierung bei technischen Diagnose-Expertensysteme
Data-driven deep modeling and training for automatic speech recognition
Über die Differentielle Analyse von Protein-Protein-Interaktionsnetzwerken
Der Modellhierarchieansatz zur Beschreibung nebenläufiger, verteilter und transaktionsverarbeitender Systeme
Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen
Automatisiertes, wissensbasiertes IT-Operations-Management
Confidence Limits for Prediction Performance / Pascal Rink ; Gutachter: Werner Brannath, Marvin N. Wright ; Betreuer: Werner Brannath
Ein graphentheoretischer Ansatz zur strukturellen Analyse und Synthese nichtlinearer Systeme
Methodische Probleme und Verfahren der Projektierung von Datenbasissystemen, dargestellt am Beispiel des Entwurfs von DBS-R-Datenbasen
Deep Learning-based Multi-Modal Fusion Method for Skin Lesion Classification
Flexible Benutzerschnittstelle in menügetriebenen Window-Systemen für die effiziente Mensch-Maschine-Kommunikation in betrieblichen Anwendungssystemen
Processing XML in LDAP and its application to caching
Leveraging literals for knowledge graph embeddings
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
Denotationelle Beschreibung von Prozessoren und Prozessorsystemen zur Generierung von Simulatoren
Methoden und funktioneller Entwurf von Software zur längerfristigen Ertragsplanung in Pflanzenproduktionsbetrieben
Information work support based on activity data (Handlungsdatenbasierte Informationsarbeitsunterstützung)
Learning From Multi-Frame Data
Sprachentwurf für ein I/O-Subsystem zum inhaltsorientierten Zugriff
Über die Zwischenbildsynthese aus multiokularen Bildfolgen
Sound semantics of a high-level language with interprocessor interrupts
Practical yet Provably Secure: Complex Database Query Execution over Encrypted Data
Ein VHDL-Koprozessorkern für das exakte Skalarprodukt
Deduktive Datenbanken im Mehrbenutzerbetrieb
Zur Vermittlung ausgewählter Prinzipien der Digitaltechnik und von Methoden ihrer schöpferischen Anwendung bei der Lösung von Informationsverarbeitungsproblemen
Event-driven middleware for body and ambient sensor applications = Ereignisgesteuerte Middleware für körpernahe und umgebende Sensoranwendungen
Ein Beitrag für den Aufbau und die Nutzung von integrierten Unternehmensmodellen
Sensorfehlererkennung in Flugzeugen mit Beobachter und Polynomklassifikator
Zur Spezifikation von Objektgesellschaften mit TROLL light
Das Internet im öffentlichen Recht: unter Berücksichtigung europarechtlicher und völkerrechtlicher Vorgaben
Rechnerunterstützte Optimierung eines Enzym-Membran-Reaktors zur kontinuierlichen Produktion von L-Aminosäuren
Enabling Scalability: Graph Hierarchies and Fault Tolerance
Zentralisierte oder dezentralisierte integrierte Datenverarbeitung, ein Vergleich am Beispiel eines Maschinenbauunternehmens
Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts
Ein neuer Ansatz zur Parallelisierung von Compilern
Der Einfluss von Nutzerinformationssystemen auf die Verkehrsnachfrage
Time-Efficient Analysis of Complex Dependencies
Orientierung durch Suchmaschinen: ein dynamisch-transaktional gedachtes Modell
Strategies and Techniques for Federated Semantic Knowledge Retrieval and Integration
VEGADB: ein einfaches, erweiterungsfähiges Datenbankkernsystem für Kleinrechner
Funktionale Integration technischer DV-Systeme durch den Einsatz verteilter Systeme
Animationen und Explorationstechniken zur Unterstützung der chirurgischen Operationsplanung
Entwurf eines objektorientierten Meta-Informationssystems zur Unterstützung der Informationslogistik
Eine Entwicklungsumgebung zur Unterstützung der Simulation energietechnischer Anlagen
Verfahren der sequentiellen Merkmalsanalyse für die Mustererkennung
Realität und computergestützte visuelle Simulation
Zur Modellierung und approximativen Leistungsanalyse von Vielteilnehmer-Rechensystemen
Massively Parallel Editing and Post-Processing of Unstructured Tetrahedral Meshes for Virtual Prototyping
Eine unifikations-basierte Grammatik für das moderne Chinesisch, dargestellt in der HPSG
Zur Modellierung von Forschungsprozessen unter Berücksichtigung ökonomischer Restriktionen
Exploiting semantic web knowledge graphs in data mining
Formale Fehlermodellierung für verteilte reaktive Systeme
Universal smart grid agent for distributed power generation management
Inhaltlich entkoppelte Kommunikation in heterogenen, veränderlichen Netzwerktopologien
Knowledge based text recognition for the automatic interpretation of reduced scale drawings
Fast invariant transforms and their applications in signal classification and recognition
Tamper-Sensitive Design of PUF-Based Security Enclosures
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
Untersuchungen zu Modellvereinfachungen bei der Simulation dialogorientierter DFV-Systeme unter Beachtung der notwendigen Abbildungsgenauigkeit
Messung und Modellierung der Eigenschaften eines CSMA/CD-LANs
Minimal-invasive provenance integration into data-intensive systems
Arbeitnehmerrechte an Software: die Rechte der Arbeitnehmer an von ihnen entwickelten nichttechnischen Computerprogrammen
Ein Beitrag zur Gestaltung von Schnittstellen zum Übertragungsmedium in schnellen lokalen Rechnernetzen mit optoelektronischer Informationsübertragung
Hardware-effiziente, hochparallele Implementierungen von Lattice-Boltzmann-Verfahren für komplexe Geometrien
Towards Computer-Aided Diagnosis of Pigmented Skin Lesions
Polly two - a public key cryptosystem based on Polly cracker
Asymptotisches Verhalten diskreter dynamischer Systeme, die ein unabhängiges Untersystem enthalten
Dialogentwicklung für objektorientierte, graphische Benutzerschnittstellen
Einsatz und Programmierung des Computers als Werkzeug für den Unterricht
Frameworks for analyzing multi-threaded C
Accurate 3D-reconstruction and -navigation for high-precision minimal-invasive interventions
Experimentelle Untersuchung und mathematische Simulation der Sitzhaltung auf Arbeitsstühlen
An IP-based system architecture for camera-based driver assistance services
Document Engineering als Ansatz für eine überbetriebliche Nachhaltigkeitsberichterstattung
Möglichkeiten der Beanspruchungsindikation in Feldsituationen unter besonderer Berücksichtigung tätigkeitsspezifischer Leistungs- und Verhaltensparameter
Reliable Network Services in Future Internet Service Provider Networks: Reliable and Efficient Control Plane Applications for Virtualized Data Planes in Software-Defined Networking
A parallelizing compiler for distributed memory parallel processors
Configuration management with version sets: a unified software versioning model and its applications
Resilience, Availabilty, and Serviceability Evaluation in Software-defined Networks
Neural Networks for CollaborativeFiltering
On efficiency and reliability in computer science
Transiente Leistungsbewertung und Optimierung rekonfigurierbarer fehlertoleranter Rechensysteme
Optimierung servohydraulischer Antriebe für den Einsatz in Industrierobotern
Taking Control of the Virtual World - Novel Perspectives on Interaction in Virtual Environments
Automatische Erzeugung von hardwarenahen Treiber-Komponenten und Einbettung in eine UNIX-Umgebung
Savitch-Labyrinthe und Speicherkomplexitätsklassen
Eine musterbasierte Methode zur Automatisierung des Anwendungsmanagements
Das Schweigen der Lurker: politische Partizipation und soziale Kontrolle in Online-Diskussionsforen
Statistical path coverage for non-deterministic complex safety-related software testing
Modified mass-spring system for physically based deformation modeling
Verfahren zur Merkmalsselektion für die Klassifikation mit künstlichen neuronalen Netzen
Addressing cross-subject and trial-to-trial variability in EEG: physiology-informed data augmentation
Automatische Umwandlung von Transistorarrays in Vollkunden-Entwürfen
Entwicklung eines strategischen Planungsverfahrens für Informationssystem-Architekturen
Ein Rahmenwerk für das Prozessdesign zur Identifikation, Klassifikation und Umsetzung von Anforderungen: dargestellt an der Konzeption des Prozesskonfigurators
Analyse von Riefentexturen
Datenbanksysteme für die rechnerunterstützte Konstruktion
Analysis of attacks and defenses in the context of web services
Symmetrien und Erhaltungssätze nichtlinearer Feldgleichungen: Anwendung der Computer-Algebra
EDV-gerechte Analyse der Osteopathien im kieferchirurgischen Krankengut einer Fachklinik zur zentralen Erfassung im Knochentumor-Register der DDR im Zeitraum 1970 bis 1979
Planungssystem zur Steigerung der Autonomie von Kleinstsatelliten
Temperatures estimation system of electrical machines on wireless sensor networks
Flexible low-density parity-check codes: rate, length, and complexity
Gruppenkommunikation in mobilen Umgebungen: eine Erweiterung des Gruppenkommunikationsparadigmas um eine Unterstützung für mobile Anwendungsnutzer
Soundtrack recommendation for images
Zur rechnergestützten Analyse von nichtlinearen dynamischen Netzwerken und Systemen
FPGA implementation of a decimal floating-point co-processor with accurate scalar product unit
The integrative use of qualitative and quantitative knowledge in physics problem solving
COMDES: Simulations- und Verifikationstechniken für den Hardware-Entwurf auf Systemebene
Information retrieval for multivariate research data repositories
Rechnergestütztes Konstruieren geologischer Flächenverbände
Fortgeschrittene Verfahren zur ultraschallbasierten Objekterkennung in der Robotik
Ein Branch and Bound-Verfahren zur Lösung des Maximum-Clique-Problems
Qualifizierte und rationelle Lösung von Aufgaben der wissenschaftlichen Arbeitsorganisation unter Verwendung des programmierbaren Rechners K 1003
Learning Latent Features using Stochastic Neural Networks on Graph Structured Data
Profiling Users and Knowledge Graphs on the Web
Semilinearity of the reachability set is decidable for Petri nets
Entwurf eines lernfähigen Konturverfolgungssystem
Exploiting general-purpose background knowledge for automated schema matching
Analyse und Vorhersage des Flächen- und Energieverbrauches optimaler Hardware Polynom-Multiplizierer für GF(2n) für elliptische Kurven Kryptographie
Semi-automatic segmentation of medical imagery
Entwurf und Erprobung einer adaptiven Zweipunktregelung
Analytical Query Processing Based on Continuous Compression of Intermediates
Architektur eines EDV-Systems zur Materialflusssteuerung
Utilization of Reconstructive Representation Learning for Robust Classification
Objektivierung des Vorgangs der Modellierung von Rechensystemen durch Wartenetze
Verteilte Rekonfiguration und Fehlerbehebung in fehlertoleranten Multicomputersystemen
Developing a model for theory-generating design science research
Personenwahrnehmung für eine sozialverträgliche und nutzerzentrierte Roboternavigation in öffentlichen Einsatzumgebungen
Neue Medien im Aussendienst: Einsatzmöglichkeiten u. Zukunftsperspektiven
Rationalisierung der Angebots- und Ausführungsprojektierung im Zementanlagenbau durch Nachweisspeicherung von Anlagenspezifikationen
Vertrauen durch Reputation im elektronischen Handel
Ein Informationssystem für Instandhaltungsleitstellen
Algebraic query optimization in database systems
Zugriffsobjekte - ein Programmiermodell für Multicomputer
Vertrieb von DV-Dienstleistungen in Rechnerverbundnetzen: Planung, Organisation, Kontrolle
Evolutionary Verification of Consistency Properties in Software Product Lines
Theoretische und experimentelle Beiträge zur Psychologie der Urteilsbildung
Towards systematic design of transparent deep learning models
Realzeitfähige Umfelderfassung mittels 2.5D-Kameras für sicherheitskritische Applikationen: Konzeption und Entwicklung assistierender Systeme unter Berücksichtigung limitierender Faktoren der Kameratechnik
Establishing trust in cloud services through innovative service certification
Ein schärfe-orientiertes Vocodersystem
Pharmakokinetik-Simulation: ein Fallbeispiel objekt-orientierter Programmierung
Integration of Data Mining into Scientific Data Analysis Processes
Populationsbasierte Wettbewerbsmodelle zur Strategieanpassung in evolutionären Algorithmen
Automatic Layout Analysis and Visual Exploration of Multidimensional Datasets with Applications in the Digital Humanities
Datenschutz und biomedizinische Forschung: Konzepte und Lösungen für Anonymität
Präzise dreidimensionale Rekonstruktion von Gefässsystemen aus biplanen angiographischen Projektionen und deren klinische Anwendung
A compression engine for multidimensional array database systems
Dynamic Interdependency Models for Cybersecurity of Critical Infrastructures
Efficient Dense Registration, Segmentation, and Modeling Methods for RGB-D Environment Perception
Stand der Entwicklung elektronischer Spracherkennungssysteme und deren Anwendungsmöglichkeiten in logistischen Funktionen
Privacy preserving content analysis, indexing and retrieval for social search applications
Development of multimodal collaborative robot system using hybrid programming methods
Theoretical analysis of image separation and image inpainting: a compressed sensing approach
Modellgestützte Verfahren zur Überwachung des Fahrzustands eines PKW
Rechnergestützte Produktionssteuerung einer Asphaltfabrik
Unterstützung der Reflexion beim Empfangen von Online Peer-Feedback
Optimale Ausbaureihenfolgen für Systeme von Hochwasserrückhaltebecken
Vorgehenssystematik zum Prototyping graphisch-interaktiver Audio-Video-Schnittstellen
Entwurfsorientierte Partitionierung digitaler Schaltungen
Ein effektiver wegorientierter Algorithmus zur Lösung des stochastischen Gleichgewichtsumlegungsproblems
Ein Modell des Verstehens von Programmen und seine Anwendung beim Entwurf der Programmiersprache GRADE
Rechnergestützte Kooperation durch Dokumente
A Holistic Approach for Highly Versatile Supervised Autonomous Urban Search and Rescue Robots
Towards a home-use BCI: fast asynchronous control and robust non-control state detection
Planning and Optimization During the Life-Cycle of Service Level Agreements for Cloud Computing
Evaluation europäischer Montagekonzepte der Automobilindustrie: empirische Untersuchung anhand ausgewählter Beispiele
Packet loss recovery and control for voice transmission over the Internet
Variability-Aware and Weakly Supervised Learning for Semantic Tissue Segmentation
Von Konzepten zur Hirnfunktion zu informationsverarbeitenden Systemen: Modelle für Autoassoziation, Hypothesenbildung und Einzelworterkennung
Zur Gestaltung von EDV-Anwendungssystemen für die operative Leitung des Produktionsprozesses unter Nutzung von Daten- und Methodenbanken
Epistemic Reasoning in OWL 2 DL
Beiträge zum rechnergestützten Entwurf von Dekodern (Mikrobefehlsdekoder) für quasiminimalen Dekodieraufwand auf der Grundlage von Basissystemen
Synthesis and control of infinite-state systems with partial observability
Boolean implications in transcriptomics
Attack-aware Security Function Management
Methoden und Werkzeuge zum Einsatz von rekonfigurierbaren Akzeleratoren in Mehrkernsystemen
Technologiebasierte Unterstützungsmaßnahmen in der akademischen Software Engineering-Ausbildung. Konzeption, Entwicklung und Evaluation einer lernerzentrierten Analyse- und Designumgebung
A Framework for Property-preserving Encryption in Wide Column Store Databases
System- und Schaltungstechnik neuronaler Assoziativspeicher
Eine Methode zur Anpassung von Rechnerarchitekturen an die Anforderungen von Softwaresystemen am Beispiel von UNIX
Evolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen
Illustrative Informationsvisualisierung
Eine Methodik zur Kopplung räumlich verteilter realer und virtueller Prototypen
Darstellung und Verarbeitung regelorientierter Wissensbasen mittels Boolescher Gleichungen
Programming heterogeneous MPSoCs: tool flows to close the software productivity gap
Technik - Konstruktionen: neue Technologien als soziologisches Theorieproblem
Parallele Algorithmen zur numerischen Lösung von Systemen gewöhnlicher Differentialgleichungen
DRUM: Modellkonzept zur dynamischen Routensuche und Umlegung
Automation Approaches for the Application of Side-Channel Analysis in Real-World Scenarios
Applying OLAP Pre-Aggregation Techniques to Speed Up Aggregate Query Processing in Array Databases
Direkte Berechnung von Bewegungsparametern und einer Tiefenkarte durch Auswertung monokularer Grauwertbildfolgen
MiNT: Multimodal Interaction for Modeling and Model Refactoring
Datenschutz und Datensicherheit in offenen Rechnernetzen: eine technische Lösung exemplarisch ausgeführt für den Krankenhausbereich
Holistic Vocabulary Independent Spoken Term Detection
Erstellung eines integrierten Systems zur Lösung partieller Differentialgleichungen auf Vektorrechnern
Verbesserte Bauprojektsteuerung durch systematisches Informationsmanagement
Technologische Grundlagen der Wissensverwaltung für die automatische Sprachverarbeitung
Personalinformationssysteme und Datenschutz: e. Beitr. zur datenschutzgerechten Gestaltung von Personalinformationssystemen
Effizienter Einsatz bildgebender Sensoren zur Flexibilisierung automatisierter Handhabungsvorgänge
Structural similarity of graphs: graphons and homomorphism densities
Empowering Users in Visual Big Data Analysis by Applying Artificial Intelligence and Machine Learning
Wissensbasierte Planung einer Krankenhausverpflegung dargestellt am Beispiel der Diätverpflegung für Diabetiker
Detecting Inference Attacks Involving Sensor Data
Medical tool tracking in fluoroscopic interventions: new insights in detection and tracking of tubular tools
Statische und dynamische Bewertung von Montageprozessen und -systemen auf der Basis von Verrichtungsfolgegraphen VFG(M)
Spectral Learning of Sequential Systems
A multipoint communication architecture for end to end quality of service guarantees
Grundlagen zur Entwicklung intelligenter Lehrsysteme
Supporting users' influence in gamification settings and game live-streams
Building bridges in abstraction-based controller synthesis: advancing, combining, and comparing methods from computer and control
Lösung des Containerstauproblems mit Graphensuchverfahren und genetischen Algorithmen
Automatische Zustandssynthese von Registertransfer-Strukturen aus algorithmischen Verhaltensbeschreibungen
Secure mediation between strangers in cyberspace
Wireless sensor networks maintenance framework (Wartungsmechanismen für drahtlose Sensor-Netzwerke)
Erwartungsorientierte Spracherkennung
Optimale prädiktive Entwürfe für zeitdiskrete Eingrössensysteme
Unendliche Reduktionssysteme
Bewertung und Verbesserung der Netzsicherheit elektrischer Versorgungssysteme mit wissensbasierten Methoden
Einsatz von Verfahren der Mustererkennung für die Stichplanoptimierung bei unscharf definierten Klassen und Merkmalsvektoren: dargestellt am Beispiel der Auswahl von Fließkurven für das Warmwalzen von Stahl
Machine Learning for Industry 4.0: Methods and Applications of Time Series Reconstruction and Outlier Detection
Datenerhebung und -verarbeitung bei den Sicherheitsbehörden unter Berücksichtigung einer neuen Übermittlungskonzeption
Untersuchungen an einem OSI-Kommunikationswerk auf Transputer-Basis: ein Beitrag zur Optimierung schichtenstrukturierter Kommunikationssysteme
New Results on Abstract Voronoi Diagrams
Usage-dependent maintenances of structured Web data sets
Rekonstruktion von geometrischen 3D-Objekten durch Interpolation von Konturdaten
Entwicklung eines Chips für auslöschungsfreie Summation von Gleitkommazahlen
Prozessnahe Informationsübertragung für Mikrorechner-Automatisierungsanlagen unter dem Aspekt der Generierung neuer gerätetechnischer Lösungen
Neue Verfahren zur rechnergesteuerten Bestimmung von Aciditätskonstanten zweibasiger Säuren aus potentiometrischen Titrationskurven
Ein Beitrag zur Gestaltung von Benutzeroberflächen in Bibliotheks-Informationssystemen (BIS)
Engineering process enactment and coordination in data-centric process management systems
Tracking and Fusion Methods for Extended Targets Parameterized by Center, Orientation, and Semi-axes
Informationsarchitekturen für künftige Energievertriebe
Qualitative Spatial Query Processing: Towards Cognitive Geographic Information Systems
Lightweight Semantic-enabled Enterprise Service-Oriented Architecture
EDV-gestützte Unternehmensführung auf der Basis von Kennzahlen: die Erstellung eines Systemkonzeptes für die automobile Grossserienfertigung
Unternehmensweite Datenintegration: modular-integrierte Datenlogistik in betrieblichen Informationssystemen
Procedural content generation for games
Learning of Generalized Manipulation Strategies in Service Robotics
Automatic Texturing of 3D Models of Urban Areas Using Image Sequences from Airborne TIR Cameras
Efficient Security and Privacy Protection for Large-scale Wireless Indoor Positioning Applications
Ein Beitrag zur Funktionsüberwachung und Fehlertoleranz in mikroprogrammierten Prozessoren
Computerunterstützte Haushaltsberatung im kapitalwirtschaftlichen Bereich durch Banken mittels neuer Medien
An Approach for Hybrid Modelling and Formal Verification in FOCUS
Explainability and robustness of deep visual classification models