yusuke1997/dblp-id-title huggingface dataset:
Untersuchungen zur Salzausbreitung in Ästuarien mit Taylor'schen Dispersionsmodellen
An execution trace verification method on linearizability
Automatische Indexierung und Syntaxanalyse: zur Entwicklung sprachanalyt. Komponenten von Informationssystemen auf empir. Grundlage ; mit zahlr. Tab
Oskulanten und die Stetigkeit von Bézierflächen: geometrische Konstruktionen im CAGD
On real-world cryptographic protocols for end-to-end encrypted backups and key confirmation
A semantic web service-based framework for generic personalization and user modeling
Gradient-free optimization of artificial and biological networks using learning to learn
Verkündigende Sprache und automatische Sprachverarbeitung: Überlegungen zur Semantik
High-Level Facade Image Interpretation using Marked Point Processes
Mechanics of deep neural networks beyond the Gaussian limit
Generierung von Editoren für interaktive animierte Sprachen: Ein modellgetriebener Ansatz unter Einsatz der Animation Modeling Language (AML)
Gridification and workflow scheduling for the German D-grid
Vermittlungsarchitektur mit getrennter Ruf- und Leistungsmerkmalsteuerung
Informationstheoretische Untersuchungen zur Approximation von Übertragungskanälen
Konzeption eines portablen Sprachverarbeitungssystems für Sprachen der Pascal-Familie auf 8-Bit Mikrorechnern
Automatische Ergebnisverifikation bei globalen Optimierungsproblemen
[IoT-Software-Plattformen zur Integration von IoT-Basistechnologien in existierende IT-Landschaften] ; IoT-Software-Plattformen: Methode zur Bewertung und Auswahl der am besten geeigneten Plattform
Built-in recovery support for explorative programming: preserving immediate access to static and dynamic information of intermediate development states
Interactive interpretation of volume data
Elektrische Frequenzselektion mit aktiven Funktionsblöcken: e. Bilanz unter systemtheoret. u. anwendungsorientierten Aspekten
Robust multi-channel speech recognition with neural network supported statistical beamforming
Vibrotaktile Codierung von Standardfunktionen in einer Menüführung zur Verbesserung der Interaktion mit Touchscreens
Analyse und Synthese zweidimensionaler Medianfilter zur Bildsegmentierung
Performance Engineering for Exascale-Enabled Sparse Linear Algebra Building Blocks
Feminist living labs as research infrastructures for HCI: a socio-informatics approach
Contributions to System Composition using a System Design Process driven by Service Definitions for Service Robotics
Beiträge zum Entwurf neuronaler Systeme
Incrementally resolving references in order to identify visually present objects in a situated dialogue setting
Codesign of hardware, software systems based on Java
Spezifikationsgesteuertes Monitoring zur Integration der Leistungsbewertung in den formalen Entwurf von Kommunikationssystemen
MILP formulations for unsupervised and interactive image segmentation and denoising
Konzepte, Methoden und Anwendungen zur Analyse und Optimierung von eingebetteten Inertialsensorsubsystemen bei menschlicher Interaktion
From handcrafted features to handcrafted neural networks
Eine Methodenbank zur Evaluierung von Stereo-Vision-Verfahren
Lightweight Protocols and Applications for Memory-Based Intrinsic Physically Unclonable Functions on Commercial Off-The-Shelve Devices
Transactional and analytical data management on persistent memory
Strengthening trust in the identity life cycle: Enhancing electronic machine readable travel documents due to advances in security protocols and infrastructure
Modellbasierte Risikoanalyse und -behandlung sicherheitskritischer Mensch-Maschine-Schnittstellen in der Medizintechnik: ein Beitrag aus dem Lehrstuhl für Medizintechnik der RWTH Aachen (Direktor: Univ.-Prof. Dr.-Ing. Klaus Rademacher)
Computational Gene Structure Prediction
Die Bestimmung der hydrodynamischen Rauhigkeit der Unterseite polaren Meereises: numerische Simulationen
Advancing Electromyographic Continuous Speech Recognition: Signal Preprocessing and Modeling
Datenbasis und Bibliothek für ein Programmiersystem für speicherprogrammierbare Steuerungen
Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion
Prozessgestaltung zum Einsatz digitaler Fabrikgesamtmodelle: Anwendung in der Produktionsplanung eines Automobilherstellers
Modell eines Datenerfassungssystems für die Augenklinik der Universität München unter Verwendung eines Mehrfunktionenbeleglesers für Markierung und numerische Handschrift, vorgestellt am Beispiel eines orthoptischen Befundbogens
Echtzeitfähige Ereignisbehandlung mit Hilfe eines mehrfädigen Java-Mikrocontrollers
A Dynamic Risk Assessment Approach For Cooperative Medical Cyber-Physical Systems
Model checking for time division multiple access systems
Testfallableitung und Testrealisierung in verteilten Systemen
Entwurf und Implementierung eines Steuerprogramms für eine elektronische Schreibmaschine
Optimale Abfahrsteuerung thermischer Kernreaktoren
Efficient clustering for knowledge discovery in spatial databases
A study of a centralized workstation sharing system based on user profile and application characteristic
Sieve Estimators for Spatial Data: Nonparametric Regression and Density Models with Wavelets for Strong Mixing Random Fields
Endliche Implementierung algebraischer Spezifikationen
Untersuchungen zur Kommunikation von Verteilten Betriebssystemen über Hochgeschwindigkeitsnetzwerke
On the Analysis and Decomposition of Intrinsically One-Dimensional Signals and their Superpositions
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle
Automating Industrial Event Stream Analytics: Methods, Models, and Tools
Cooperatively Managing and Exploiting Distributed Co-occurrence Graphs
Neuere Beiträge zur Theorie der Funktionaltransformationen und ihre Anwendungen
Modelle für Benutzergruppen zur Beschreibung von Datenverkehrsflüssen in Kommunikationssystemen
Funktionsapproximation mit dekomponierten Neuro-Fuzzy-Systemen
Security and Privacy Schemes for Demand Response in Smart Grids
Ein adaptives Verfahren zur Farbkorrektur auf Displaysystemen
A continuous-time field programmable analog array using floating gates for high resolution tuning
Comprehensible knowledge base extraction for learning agents: practical challenges and applications in games
Rationalisierung des Informationsfondsbetriebes im Institut für Obstforschung Dresden-Pillnitz bei Nutzung automatisierter Rechnerroutinen
Offene Architektur zur Realisierung von verteilten betrieblichen Anwendungen und Diensten
Hierarchical connectionist acoustic modeling for domain adaptive large vocabulary speech recognition
Globale Optimierung: Verfahrensvergleiche und Fehlerabschätzungen
Polynomiale Näherungsalgorithmen für ein NP-schwieriges lineares, gemischt-ganzzahliges Optimierungsproblem spezieller Struktur
Flexible Augmented Reality Systeme für robotergestützte Produktionsumgebungen
Beitrag zur Kopplung von Oberflächen- und Grundwassermodellen
Tangible displays: interacting with spatially aware handheld displays above a tabletop
Ein Beitrag zur digitalen Transformation der Lean Construction am Beispiel der BIM-basierten Taktplanung und Taktsteuerung
Anwendergerechte universelle Fehlerdiagnose von automatisierten Systemen
Personalisiertes Information-Brokering
Untersuchungen zur Entwicklung modularer Strukturen industrieller Bildverarbeitungssysteme auf der Basis von Personalcomputern
Konzeption und Realisierung eines Haushaltsüberwachungssystems als hochschulinternes Rechnungswesen (HIR) mit Hilfe elektronischer Datenverarbeitung
Systematische und automatisierte Optimierung von Algorithmen zur Bewegungsschätzung
Immersive Inscribed Spaces: Spatial Interaction Techniques for Understanding Written Artefacts
Sprecherunabhängige Erkennung von isoliert gesprochenen Einzelwörtern unter Verwendung der Vektorquantisierung und von neuronalen Netzen
Entwicklungsumgebung für Experimentier-Teachware am Beispiel der Elektrotechnik
Zur Existenz optimaler Steuerungen bei Kontrollproblemen mit parabolischen Zustandsgleichungen
Agentenbasierte, automatische Parallelisierung in der Bildanalyse
Discriminative Appearance Models for Face Alignment
Service-oriented 3D geovisualization systems
Multi-scale representations of virtual 3D city models
Dezimale Gleitpunktsysteme zur effizienten Implementierung der optimalen Rechnerarithmetik
The Design Space of Augmented Reality Authoring Tools and its Exploration for the Procedural Training Context
Methode zur funktionalen Bewertung verschiedener Spannungscharakteristiken von Lithium-Ionen- und Post-Lithium-Ionen-Batterien für die automobile Anwendung
Anwendungen kombinatorischer Versuchspläne in der Parallelverarbeitung
Die Auswirkungen der Computertechnologie auf das politische System: unters. an Hand d. Gesetzgebungsprozesses zur Rentenreform 1985
Anforderungsanalysen und Bildungskonsequenzen zur beruflichen Könnensentwicklung kaufmännisch-ökonomischer Facharbeiter in der Informatikausbildung
Lastverteilung in einem heterogenen verteilten objektorientierten System
Autonomous 3D Modeling of Unknown Objects for Active Scene Exploration
Ein Beitrag zur Aufwandsoptimierung in Hochgeschwindigkeitsmodems durch den Einsatz adaptiver Vorentzerrer
Taking mobile multi-object tracking to the next level
Studie zu Problemen der Kapazitätsprofilierung in einem Bau- und Montagekombinat des Industriebaues: (Beitrag zur Entwicklung des kybernetischen Systems der Planung und Leitung der Bauproduktion bei Anwendung der EDV)
Computerunterstützte Diagnose von angeborenen, klinisch gesicherten Fehlbildungssyndromen: Vergleich dreier Datenbanken (SYNDROC, POSSUM und LONDON DYSMORPHOLOGY DATABASE)
Prozessdatenanalyse verkehrsabhängiger Lichtsignalsteuerungen zur Modellierung von Ersatzsteuerungen für 2-Phasen-Systeme
Query Processing on Spatio-Temporal Data Streams from Moving Objects
Regulatory motif discovery using PWMs and the architecture of eukaryotic core promoters
Die Qualifizierung des Informationssystems zur wirkungsvollen Unterstützung der strategischen Entscheidungsfindung: unters. am Beispiel strateg. Entscheidungen in d. Schwarzmetallurgie der DDR
Precise Detection of Injection Attacks in Real-world Applications
Graphenalgorithmen auf gitterverbundenen Prozessorfeldern
DV-gestützte Systeme zur Kreditwürdigkeitsprüfung bei Kreditversicherungen
Ein Beitrag zur Optimierung des dynamischen Verhaltens von Baumanipulatoren
Effiziente Algorithmen für relationale Datenbanksysteme mit Rekursion
An Architectural Style for Fog Computing: Formalization and Application
Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze
Aspekte der Aktualisierung und Pflege regelbasierter Systeme
Combinatorial Constructions for Effective Testing
Development of model observers for quantitative assessment of mammography image quality
Untersuchung von Massnahmen zur Gewährleistung der Datensicherheit bei der Anwendung dezentraler Rechentechnik: dargestellt am Beispiel der Erarbeitung eines Sicherheitskonzeptes für das RIS MLFN
Workflow-Anwendungen in technischen Dienstleistungen: eine Referenz-Architektur für die Koordination von Prozessen im Gebäude- und Anlagenmanagement
Entwicklung eines Verfahrens zur Ermittlung des Schadenausmaßes an Gebäuden auf Basis von Fotografie und Laserscanning Technologie unter Verwendung von künstlicher Intelligenz
Cyber Threat Intelligence based Holistic Risk Quantification and Management
Exploiting explicit context information for the automatic generation of simulation experiments
Efficiency and scalability exploration of an application-specific instruction-set processor for deep convolutional neural networks
Das allgemeine Zuordnungsproblem: Modelle, heuristische Lösungsverfahren und eine Untersuchungsmethode zur Beurteilung der Lösungsqualität
Describing data patterns: a general deconstruction of metadata standards
Web-oriented Event Processing
A type-theoretic framework for software component synthesis
Eine Dependenzgrammatik zur Kopplung heterogener Wissensquellen
Ermittlung des Leistungsverhaltens von Timesharing-Systemen
Representation learning: from feature weighting to invariance
Design Space Exploration for Analog Spiking Neural Networks
Datenbankrecherche über die Häufigkeit von Doppel- und Wiederholungsversuchen in der biomedizinischen Grundlagenforschung
Höhen-limitierte Zugriffsbäume in homogenen und hierarchischen Speichern
Verdrahtungsprobleme auf planaren Graphen
Coding of low-dimensional variables with spiking neural networks
Funktion und Nutzung technischer Kommunikationsmedien in Verkaufsorganisationen
Abstandsberechnung und Kollisionserkennung für mehrere Kinematiken in der virtuellen Welt
Über die Realisierung eines Farbrechners in einem wahrnehmungsangepassten Farbenraum
Datenverarbeitung in sozialen Netzwerken
Wissensbasierte Datenanalyse: eine anwendungsorientierte Untersuchung simulierter Lernprozesse
Novel View Prediction Error as a Quality Metric for Image-Based Modeling and Rendering
Optische Kommunikationsnetzwerke
Vision-based open set recognition for industrial inspection systems
Entwicklung eines haptisch und visuell unterstützten Trainingssystems (HaptiVisT) für komplexe Knochenbohrungen in der minimalinvasiven Handchirurgie
Enhancing Projective Spatial Augmented Reality in Industry
Augmented reality tools for digital plant engineering
Energy-efficient high-performance computing
Informationsmasse und Funktionalgleichungen
Entwicklung eines praxisnahen Simulationsmodells zur Überprüfung komplexer Schleppkreisförderer-Systeme auf Kleinrechner
Beiträge zu Hard- und Software-Komponenten für Lokale Rechnernetze
Meßwertbasierte Qualitätssicherung: ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße
Zur Anwendung heuristischer Methoden in der nichtlinearen ganzzahligen Optimierung
Ein Beitrag zur Untersuchung der Hardware ausgewählter konventioneller 16- und 32-Bit-Mikroprozessorsysteme zur Eignung für die Capability-Orientierung
Multiple instance learning with random forests and applications in industrial optical inspection
Integrationskonzepte und -lösungen zur Etablierung einer Forschungsinfrastruktur für Biobanken
Orts-, zeit- und kostenbasiertes Ressourcenmanagement im Cloud Computing
Six degrees of freedom object pose estimation with fusion data from a time-of-flight camera and a color camera
Visual Data Analysis in Device Ecologies
Vision-based category agnostic object tracking for mobile robots and intelligent vehicles / Aljose Osep ; Bastian Leibe, David Held
Geo-Replicated Byzantine Fault-Tolerant State-Machine Replication with Low Latency
Klinische Untersuchung zum Einsatz der digitalen Lumineszenzradiographie bei generalisierten Lungenparenchymerkrankungen
Machine Learning Methods in Computed Tomography Image Analysis
Memory architectures for ASIPs
Ressourcenreservierung und Task-Plazierung in verteilten Multimedia-Systemen
Toward global robust optimization
Eine Entwurfsmethodik für data warehouses
Analysis and Design of Symmetric Cryptographic Algorithms
Algorithms for massively parallel generic hp-adaptive finite element methods
Dynamic aspects of network virtualization: algorithmic and economic opportunities
Development and Application of Machine Learning Methods to Selected Problems of Theoretical Solid State Physics
Methoden zur sechsdimensionalen Objektlageerkennung aus Tiefenbildern
Geometric Properties of Gabor Frames and Their Applications to the Phase Retrieval Problem
LAMDA - Learning Agents for Mechanism-Design Analysis
Physically plausible 3D human motion capture and synthesis with interactions
Generic programming - SUCHTHAT one can build an algebraic library
Bildsegmentierung mit Fuzzy-Logik
Ein Framework zur Optimierung der Energieeffizienz von HPC-Anwendungen auf der Basis von Machine-Learning-Methoden
Ein relationaler Ansatz zur Beschreibung der statischen Semantik von Programmiersprachen
Konzeption, Planung und Einführung der benutzergesteuerten Datenverarbeitung im Bürobereich
Creating Random Unknown Ciphers as Digital PUFs and their Applications
Entwicklung eines Palettenkontrollsystems
Berechnung von Polyoptimalsteuerungen unter Verwendung hierarchischer Methoden
Subjektive Zufallsfolgen, ihre Struktureigenschaften und prozedurale Modelle für ihre Erzeugung
Themenbearbeitungskompetenz im projektorientierten Unterricht der IT-Berufsausbildung - Entwicklung, Implementation und Evaluation eines softwaretechnischen Messinstruments
Visualisierung und Adaption: Techniken zur Verbesserung der Interaktion mit hierarchisch strukturierter Information
Konzeption und Teilrealisierung eines Laborpraktikums zur Prozessautomatisierung mit Rechnern
Mathematische Programmierungsprobleme mit Netzwerkstruktur: unter bes. Berücks. von Netzwerkflussproblemen mit konvexen, separablen Kostenverläufen
Distributed Computation Meets Blockchain: Advanced Cryptographic Services from Blockchain Features
Affective technology and virtual reality: theoretical foundations and empirical investigations
Kommunikation und Steuerung auf Basis kommunizierender sequentieller Prozesse am Beispiel Stationssteuerung
TSN-MIC - Message Integrity for Time-Sensitive Switched Ethernet Networks
Transformation von Multiphysics-Modellen in einen FPGA-Entwurf für den echtzeitfähigen HiL-Test eingebetteter Systeme
Generic Methods for Adaptive Management of Service Level Agreements in Cloud Computing
Informationsverarbeitung und mentale Repräsentation: die Analyse menschlicher kognitiver Fähigkeiten am Beispiel der visuellen Wahrnehmung
Entwicklung eines hochauflösenden Bildverarbeitungssystems auf Basis eines Parallelrechners zur Bestimmung von Diffusionskoeffizienten durch holographische Interferometrie
Das Zugriffszeitverhalten von relationalen Datenbanksystemen
Sediment transport computation using a data-driven adaptive neuro-fuzzy modelling approach
Pragmatics, concepts, syntax, semantics and correctness notions ACT TWO: an algebraic module specification and interconnection language
Effizienter Einsatz von Multicore-Architekturen in der Steuerungstechnik
Komplexe Informationsversorgung mit modernen rechentechnischen Mitteln in einem Industriekombinat
Internet anonymity and privacy in the presence of large-scale adversaries
Effekte und Potenziale eines gebogenen interaktiven Displays
Methodische Software-Entwicklung (dargestellt am Beispiel eines CAD-Systems zur Symbolischen Konstruktion)
Ray tracing techniques for computer games and isosurface visualization
EDV-gestützte Informations- und Kommunikationssysteme als strategische Option für die Disposition von Modebekleidung im Handel
Development of a system for optical high-resolution screening of primary cultured cells
Die Anwendung von Verschlüsselungsverfahren in ATM-Systemen
Ergonomische Evaluation von Software in der Druckindustrie unter dem Aspekt benutzerorientierter Funktionalität
Optimal control of storage power plants
Objektlokalisation: ein System zur sprachlichen Raumbeschreibung
Schadensersatzrisiken des Software-Erstellers
Möglichkeiten und Hinweise zur Entwicklung von Wissen und Können der Schüler bei Tätigkeiten mit informationsverarbeitender Technik im Rahmen der wissenschaftlich-praktischen Arbeit der Klassen 11 und 12 der erweiterten Oberschule
Adaptive Locomotion of Modular Reconfigurable Robotic Systems
Simulationsunterstützung zur zielorientierten Produktionsprozessplanung und -regelung
On the Security of Lattice-Based Cryptography Against Lattice Reduction and Hybrid Attacks
Der Rechtsschutz von Computerprogrammen unter besonderer Berücksichtigung der Systematik des Immaterialgüterrechts
On membership problems solvable by turing machines within polynomial time
DDoS equilibrium: Internet measurement perspective on attacks and mitigation
Situational method engineering for the enactment of method-centric domain-specific languages
Optimierung der Erfassung von Geländedaten für Umweltinformationssysteme
IMMU-based Orientation Determination in Sports Analytics: Kinematic Analysis and Performance Interpretation
Softwareagenten-basierte Berechnung interdisziplinärer gekoppelter Simulationen
Sprachmittel und Werkzeuge zur Unterstützung paralleler und verteilter Programmierung
Data mining im Controlling
Arithmetik auf elliptischen Kurven zur Konstruktion von kryptographischen Einwegfunktionen
Parameterschätzung und digitale adaptive Regelung eines Industrieroboters
Automatisierte Generierung großer Prozeßmodelle der Kunststoffextrusion mittels Computeralgebra
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Entwicklung und Erprobung einer Hypermedia-Lernumgebung für den Themenbereich "Schwingungen"
Improving Model-Based Software Synthesis: A Focus on Mathematical Structures
Effizientes Rechnen in AC-Gleichungstheorien
Quality adaptation in peer-to-peer video streaming: supporting heterogeneity and enhancing performance using scalable video coding
Erschließung, Optimierung und Bewertung von Verwundbarkeitsanalysen mittels öffentlich zugänglicher Suchmaschinen
PORTNEUF - a framework for continuous user involvement
Der TFS-Repräsentationsformalismus und seine Anwendung in der maschinellen Sprachverarbeitung
Systemtheorie und ökonomische Modelle: Einf. in systemtheoret. Grundlagen, Konzeptionen u. Methoden d. Wirtschaftstheorie u. Ökonometrie
Simulation von Stadtgestalt: unter besonderer Berücksichtigung des Computereinsatzes
Analyses on tech-enhanced and anonymous Peer Discussion as well as anonymous Control Facilities for tech-enhanced Learning
Deep-learning based image synthesis with geometric models
Visualisierung quantenphysikalischer Zweizustandssysteme
Modelltheoretische Untersuchungen von Methoden zur on-line-Identifikation dynamischer Systeme am Beispiel des photosynthetischen Apparates
Lösung des Frachtoptimierungsproblems im gewerblichen Güterfernverkehr: Lösungsaufwand versus Lösungsqualität
Ground texture based localization
Generische Implementierung und Programmierung paralleler Kommunikations-Controller auf Basis dynamischer Petrinetze
Deformable Image Registration Methods for Clinical Applications of Magnetic Resonance Mammography
Analyse- und Entwurfsmethoden für Verbindungsarchitekturen neuromorpher Systeme
A framework for open surgery simulation
Software (In)Security of Smart Contracts and Trusted Enclaves
Variational image fusion
Compiler implementation verification through rigorous syntactical code inspection
Deep Learning-based Cell Detection in Microscopy Images
Of assembling small sculptures and disassembling large geometry
Completing behaviour driven development for testing and verification: bringing agile to hardware development
Time Synchronization in Multimodal Wireless Cyber-Physical Systems: A Wearable Biopotential Acquisition and Collaborative Brain-Computer Interface Paradigm
Subband beamforming with higher order statistics for distant speech recognition
Das wissensbasierte CAD-System ICX zur Entwicklung von Kunststoff-Metall-Klebverbindungen
Systemanalytische Betrachtung der Personalbedarfsermittlung im Normalpflegebereich eines Krankenhausbetriebes
Methoden und Algorithmen zur Analyse bewegter Realweltszenen im Hinblick auf ein Blindenhilfesystem
Entwicklung eines relationalen Datenbanksystems für die Analyse klinischer Daten in der Gefäßchirurgie und erste Anwendung im Bereich der endovaskulären Aortenchirurgie: Untersuchung des natürlichen Verlaufs von persistierenden Typ-2-Endoleckagen nach endovaskulärer Aortenreparatur
Entwicklung eines textilen 12-Kanal-EKGs mit aktiven Elektroden
Entwicklung eines Systems zur Digitalisierung und Bearbeitung unbekannter Freiformflächen
Auswertung von Elektropherogrammen mit einem digitalen Videobildverarbeitungssystem
Contribution of Modelling and Analysis of Wireless Communication for Safety related Systems with Bluetooth Technology
Reifegradmodelle für Werkzeuglandschaften zur Unterstützung von ITSM-Prozessen
Die partizipative Wende: ein multidimensionales, graduelles Konzept der Handlungsfähigkeit menschlicher und nichtmenschlicher Akteure
Beitrag zur Rationalisierung der Projektierungsteilprozesse Nutzertechnologie, Grundrissdisposition und Ausbauraumbuch mehrgeschossiger Mehrzweckgebäude mit Hilfe eines automatengestützten Verfahrens
Multiagentensimulation: Konzepte, Werkzeuge, Anwendungen