yusuke1997/dblp-id-title huggingface dataset:
Information embedding and digital watermarking as communication with side information
Scaling up relaxed memory verification with separation logics
Methods for Effective Color Encoding and the Compensation of Contrast Effects
Simulation dammbruchinduzierter Flutwellen
Extraktion und Separation von Konturen und Formen in realen Szenen mit dynamischen neuronalen Netzen
Ergänzender Leistungsschutz und Computersoftware: Rechtsschutz für innovative Arbeitsergebnisse durch UWG und BGB
Designing Digital Services with Cryptographic Guarantees for Data Security and Privacy
Ein Beitrag zur Konzeption problemorientierter Programmbausteine für die rechnerunterstützte Konstruktion unter besonderer Berücksichtigung des Formwerkzeugbaus (CAD)
Digitale Rekonstruktion dreidimensionaler Objekte aus ihrem lichtmikroskopischen Bild im Rahmen der linearen Systemtheorie
Ensuring reliable and secure deployment of emergent workloads on modern microprocessors
Framing in Argument Analysis & Generation. Detecting and generating perspectives
Design of Adaptive Nonlinear Controllers using Supervised Learning
Development of cue integration with reward-mediated learning
Intelligente Informationssysteme für das Bankgeschäft: eine theoretische und empirische Analyse ihrer strategischen Bedeutung
Richtlinien für die gedächtnisfreundliche und altersgerechte Gestaltung von Dialogschnittstellen
Konstruktionswissenschaftliche Untersuchungen zur CAD/CAM-Lösung Formstoffbrillenfassung
Die Beschreibung und regelunterstützte Bereitstellung anwendungsspezifischer Protokollhierarchien für das OSI-Anwendungssystem
Distributed Estimation Using Partial Knowledge about Correlated Estimation Errors
Völkerrechtliche Aspekte der modernen Informations- und Kommunikationstechnologien: ein Versuch zur Untersuchung der völkerrechtlichen Prinzipien der souveränen Gleichheit der Staaten und des Interventionsverbots in die inneren Angelegenheiten anderer Staaten an Hand der neuesten Entwicklungstendenzen der Informations- und Kommunikationstechnologien
A Content-Oriented Architecture for Publish/Subscribe Systems
Visualization Algorithms for Maps and Diagrams
Modulares Simulationsmodell für die Abläufe in verketteten Fertigungszellen mit Industrierobotern
Dynamic protocol stacks
Konzeptionssystematik zu Standard-Softwaresystemen für den Rechnereinsatz in Kleinunternehmen
Nutzung von Petri-Netzen bei Entwurf und Verifikation eines SKR-softwarekompatiblen 16-Bit-Mikrorechnersystems
Timing Performance Analysis of the Deterministic Ethernet Enhancements Time-Sensitive Networking (TSN) for Use in the Industrial Communication
Computerintegrierte Informationsverarbeitung in der empirischen Sozialforschung: Entwicklung und Erprobung eines Programmsystems zur Integration von Fragebogendesign, Erfassung und Aufbereitung von Umfragedaten im Sozialforschungsinstitut
Entwicklung einer Klassenbibliothek zur Modellierung von medizinischen Prozessen
Möglichkeiten der Anwendung rasterbezogener geographischer Informationssysteme im Rahmen der Richtplanung: dargestellt am Beispiel der Region Malcantone TI
Beiträge zum Entwurf eines relationalen Datenbankbetriebssystems
Evaluation and improvement of automated software test suites
Schwingungsmodelle für die Gestängebewegung in fördernden Erdölsonden und ihre Anwendung auf die Analyse von Dynamometer-Diagrammen
Anforderungsanalyse für die Anwendung der automatisierten Informationsverarbeitung zur Unterstützung von Leitungsprozessen im Bereich des Ministeriums für Hoch- und Fachschulwesen
Surface Patches with Uncertainties for 3D Object Recognition and 3D Mapping with Noisy Sensors
Kritikerbasierte Autorenwerkzeuge für Hypertext-Lernumgebungen
Methods for the adaptive provisioning of resources to iterative batch jobs
Ein Beitrag zur optimalen Lenkung von vollautonomen Unterwasser-Robotern
Fault Tolerant Optimizations for High Performance Computing Systems
Viewpoint-based flexible information system architectures: procedure and reference engineering models, recommendation-based model transformations and impact analyses
Konzept einer BIM-basierten smarten Bauablaufplanung unter Berücksichtigung von Lean-Prozessstrategien
Der Einsatz von Decision-Support-Systemen im Industrieunternehmen: ein Konzept für die computergestützte Planung
Über beschränkte Interaktion in der Kommunikationskomplexität
Optimierungskriterien des unüberwachten Lernens in neuronaler Architektur
Compositional Performance Analysis for Embedded Computing Systems with Weakly-Hard Real-Time Constraints
Tool Support for Integrated Development of Component-Based Embedded Systems
Towards a user-centric context aware system: empowering users through activity recognition using a smartphone as an unobtrusive device
Yase - a holistic approach for intelligent vehicle simulation
An Access Definition and Query Language: Towards a Unified Access Control Model
Polyhedral combinatorics and the acyclic subdigraph problem
Monitoring the Quality of Streaming and Internet of Things Applications
Prinzipien des Modellentwurfs: e. modelltheoret. u. gestaltungsorientierte Betrachtung
Datenverarbeitung in der Strabologie, Erfahrungen mit dem Aachener Schielprojekt
Boolean-logic driven Markov processes: Explained. Analysed. Verified
Modellierung, Verkehrsanalyse und Planung von Zentralkanal-Signalisiernetzen im ISDN mit besonderer Berücksichtigung neuer Dienste der Mobilkommunikation und des intelligenten Netzes
Explainability in Deep Learning by Means of Communication
Konnektivitätsveränderungen in einem computersimulierten neuronalen Netzwerk durch exogene Afferenz auf ausgewählte Inhibitoren
Testen in Verteilten Systemen
On information extraction on Dari language
Modellierung und Verwaltung sozioökonomischer Daten
Darstellung von Gebärden mittels Liniengraphiken: computergenerierte Animationen von Gestik und Mimik
Strukturbildung und Informationsverarbeitung in Neuronennetzen
Prototype based clustering in high-dimensional feature spaces
Appliance Event Detection for Non-Intrusive Load Monitoring in Complex Environments
Galois-Theorie in monoidalen Kategorien
Ein Beratungssystem zur Systemidentifikation
Materialized views in distributed key-value stores
Ein Ansatz zur formalen Repräsentation und automatisierten Generierung graphischer Benutzeroberflächen
Beitrag zur Implementierung ablauforientierter Steuerungsalgorithmen auf wortorganisierten Mikrorechnern ausgehend vom Beschreibungsmittel "Programmablaufgraph" (PAG)
Program Logic for Weak Memory Concurrency
Eine Datenschnittstelle zur Integration heterogener Datenbasen in betriebliche Anwendungsprogramme
Behavioral testing of services
Vision-based methods for evaluating visualizations
Kanalcodierung für Quellencodes variabler Länge
Systementwicklung zur Automatisierung der Arbeitsplanung
Generierung und Evaluation multisensorischer Stimuli in virtuellen Welten
Prozessorientierte Wirtschaftlichkeitsbetrachtung von CA-Technologien
Erfolgsfaktoren von Internet-Start-ups: eine empirische Untersuchung originärer deutscher Unternehmensgründungen nach Wachstumsphasen und Internet-Anbietersegmenten
Broadening the scope of security usability from the individual to the organizational: participation and interaction for effective, efficient, and agile authorization
Hierarchical probabilistic graphical models for image recognition
Modellhafte Arbeitsabläufe zur digitalen Erstellung von topographischen und geologischen Karten und dreidimensionalen Visualisierungen
Vertragsschluss und vertragliches Verschulden beim Einsatz von Künstlicher Intelligenz und Softwareagenten
Dienstgüte-Management in verteilten Objektsystemen
Expertensysteme für den Vertriebsbereich in Banken und Versicherungen
Der Innovationsprozess Automatisierte Informationsverarbeitung in der DDR von Anfang der fünfziger bis Anfang der siebziger Jahre
Wortbedeutung und Termassoziation: Methoden zur automatischen semantischen Klassifikation
Mobile Mediated Reality
Shed Light on Unconscious Disclosure and Consumption of Information in the Digital Age
Energy efficient scheduling for hard real-time systems
Using machine learning in the medical field: speaker signal processing and distributed learning systems
Robuste multifunktionale secret sharing schemes
Prüfbarkeit von EDV-Systemen
Modellgestützte Markenpolitik: Planung u. Kontrolle markenpolit. Entscheidungen auf d. Grundlage computergestützter Informationssysteme
Robuste Shared Secret Schemes
An Automatic Representation Optimization and Model Selection Framework for Machine Learning
Möglichkeiten des unterstützenden Einsatzes unüberwachter maschineller Lernverfahren entlang der Bildverarbeitungskette
Electrochemical charge transport in organic neuromorphic device networks
Kombination von Integraltransformationen und Finiten-Differenzen-Methoden zur Berechnung der Wellenausbreitung in geschichteten Medien
Das deutsche und das französische Gesundheitssystem und Konsequenzen für eine grenzüberschreitende Gesundheitsakte
Module und hypothetisches Schliessen in deduktiven Datenbanken
COMMA - eine Entwicklungsmethode für interaktive kooperative Anwendungen
Predicting Building Functions by Fusing Social Media and Remote Sensing Data
Optimale Dateiverteilung auf Direktzugriffsdatenträgern: e. Beitr. zur Erhöhung d. Leistungsfähigkeit von Datenverarbeitungsanlagen
Spatio-Temporal Data Handling for Generic Mobile Geoinformation Systems
Zur numerischen Behandlung von Versuchsplanungsproblemen für lineare Regressionsmodelle mit korrelierten Beobachtungen
Ein Beitrag zu expertensystemunterstützten Datenbanken für die Kunststoffverarbeitung = A contribution to expert system aided databases for plastics processing
Theorie und Praxis der automatisierten Prozesssicherung unter dem Einfluss der Mikrorechentechnik
Dynamic automatic noisy speech recognition system: (DANSR) (Dynamische automatische verrauschte Spracherkennung)
Non-functional requirements in publish, subscribe systems
Online algorithms for allocating heterogeneous resources
Game content generation from a single example
End-to-End Flow-Level Quality-of-Service Guarantees for Switched Networks
Secure subscription management system for distributed platforms
Zur Ermittlung von Nash-Gleichgewichtspunkten in nichtkooperativen N-Personen-Spielen mit Methoden der konvexen Optimierung unter besonderen Aspekten der Anwendung in den Wirtschaftswissenschaften
Interconnecting and reusing component specifications
Untersuchungen zur automatischen Sprachen-Identifikation auf der Basis der Phonotaktik, Akustik und Prosodie
Service-Management in Electronic-Servicesystemen: concernorientierte Verwaltung von Serviceressourcen
Retrofitting privacy controls to stock Android
Structure-preserving model order reduction for network systems
SAT Encodings of Finite CSPs
Beitrag zur Entwicklung eines dezentralen Produktionsplanungs- und -steuerungssystems auf der Basis verteilter Datenbestände
Untersuchung von Verfahren der Reihenfolgeplanung und ihre Anwendung bei Fertigzellen
Untersuchungen zur Stereoauswertung von SPOT-Satellitenaufnahmen mit Hilfe der digitalen Bildverarbeitung
Graph Pattern Matching on Symmetric Multiprocessor Systems
Structure-aware image denoising, super-resolution, and enhancement methods
RISP, eine digitale Signalprozessor-Architektur mit reduziertem Befehlssatz für Wellen-Digitalfilter
Zertifizierungsgerechter Entwurf betriebsmitteladäquater Automatisierungssysteme mit Sicherheitsverantwortung
Hochtransitive Netze
Descriptor systems: observers and fault diagnosis
Entwicklung einer Ontologie zur funktionsorientierten Lösungssuche in der Produktentwicklung
Eine Erklärungskomponente für ein Blackboard-System
Ein Objektmodell zur Repräsentation und Wiederverwendung verfahrenstechnischer Prozeßmodelle
Teamarbeit in Mensch-Maschine-Systemen
Supporting users in password authentication with persuasive design
Purposive three-dimensional reconstruction by means of a controlled environment
Zur Analyse und Optimierung des Bewegungsablaufs in räumlichen Mechanismen, speziell in Roboterführungsgetrieben
Reference Architecture for Smart Environmental Information Systems: RefSEISs
Rechnergestützte Planung von FTS-Anlagen
An observability-driven system concept for monocular-inertial egomotion and landmark position determination = ein beobachtbarkeitsmotiviertes Systemkonzept für monokular-inertiale Eigenbewegungs- und Landmarkenposotionserfassung
Methods for Improving the Quality of Software Obfuscation for Android Applications
Design and recognition of microgestures for always-available input
Ansätze zur Kombination modell- und datenbasierter Methoden für die Prozessüberwachung und Fehlerdiagnose
Reinforcing machine learning best pratices in medicine and the life sciences
Analysis of influencing factors in speech quality assessment using crowdsourcing
Strategisches Investitionscontrolling bezogen auf Schlüsseltechnologien der Informationstechnik in Industrieunternehmen
Entwurf und Realisierung des datenbankbasierten Expertensystems FDBES zur Verarbeitung unscharfer Mengen
Programmierschnittstellen für eingebettete Netzwerke in Mehrbenutzerbetriebssystemen am Beispiel des controller area network
Fernwartung verteilter Applikationen im Masseneinsatz
Expertensysteme zur technischen Fehlerdiagnose: eine betriebswirtschaftlich orientierte Analyse ihrer Leistungs- und Gestaltungspotentiale
Generalisierte Berechnungen in iterativen Arrays
Linked Research on the Decentralised Web
Computer aided scheduling: an airline perspective
Interaktive (visuelle) Supervision für Modelle des Maschinellen Lernens zur Analyse und Bewertung von Informationskampagnen
Skalierbare Sprachcodierung auf Basis der Wavelet-Transformation
Verarbeitung und Repräsentation musikalischer Strukturen mit Methoden der künstlichen Intelligenz: Entwurf und Implementation eines computergestützten Repräsentationsmodells musikalischer Wahrnehmung
Weiterentwicklung der Methode der konvexen Zerlegung zur Robustheitsanalyse linearer Regelungssysteme
Zu Form- und Funktionsvariation der Gesprächspartikeln Hm, Ja, Okay und Nein und ihren schwedischen Entsprechungen in der Chat-Kommunikation
Regelkonzept zur Planlageoptimierung beim Kaltwalzen von Band
Sicherstellung der Rechtzeitigkeitsforderungen an wissensbasierte Systeme durch reaktives Planen
Scalable High-Quality Graph and Hypergraph Partitioning
Anonymous Publish-Subscribe Overlays
Ontology matching in a distributed environment
Realisierung von Dialogprogrammiersystemen auf der Grundlage von Attribut-Grammatiken
Spektrale Bilddaten im Multi-Gigabyte-Bereich
Aussagenlogische dynamische Logik als Programmlogik
Entwurf und Implementierung eines portablen persistenten Objektspeichers für C++ in heterogenen Rechnerumgebungen
Interactive Surface Environments: Design and Implementation
State event logic
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Flussgraphgrammatiken
Data-driven Non-rigid Reconstruction
Eine Hochsprachen-Programmierumgebung für FPGA-Prozessoren: Werkzeuge zur Programmentwicklung für den FPGA-Prozessor Enable++ zum Einsatz als 2nd-Level-Trigger in ATLAS
Interpolation assisted deep reinforcement learning / Wenzel Baron Pilar von Pilchau ; Betreuer: Jörg Hähner
Paralleles Sortieren auf mehrdimensionalen Gittern
Ein Beitrag zum Aufbau und zur Fortführung von Koordinatendateien sowie zur Flächenberechnung und deren Fehlergrenzen im Liegenschaftswesen
Ein Konzept für EDV-unterstützte Verfahren im klinischen Zentrallaboratorium und seine Realisierung
Problem-specific design of metaheuristics for constrained spanning tree problems
Betriebsprofilbasierte Fehlerinjektion als Entscheidungsunterstützung bei Entwurf und Integration von Fehlertoleranzverfahren
Überwacht lernendes Bildauswertungssystem zur Erkennung von Oberflächenfehlern
FRIDAQ - ein Framework zur Integration molekularbiologischer Datenbestände
Molekulardynamische Simulationen von Kristalloberflächen und Wachstumsprozessen mit Hilfe eines dafür entwickelten Vektorrechners
Wissensbasierte Pilotenunterstützung im Ein-Mann-Cockpit bei Instrumentenflug
Online-Sehen: Qualität und Akzeptanz von Web-TV
Statistical Machine Learning for Modeling and Control of Stochastic Structured Systems
Practical forward secure signatures using minimal security assumptions
Foundations and Methods for GPU based Image Synthesis
Verhaltensgarantien in selbst-organisierenden Systemen
The cooccurrence of linguistic structures
Collusion Secure Fingerprint Watermarking
Aspekte der Schattierung dreidimensionaler Objekte zur realitätsnahen Visualisierung in der Computer Graphics
Methaphor based user interfaces for information authoring, visualization and navigation in multimedia environments
XAI for understanding deep neural networks in regression: with applications to wind energy
Rate-flexible LDPC convolutional code design
Transformation units: a structuring principle for graph transformation systems
Evaluation eines Software-Prototypen zur automatischen Tumorvolumetrie im CT
Entwicklung eines kontextabhängigen Instrumentariums für Usability-Evaluation
Rechnergeführte Gewinnung von Verfügbarkeitsdaten zur Nutzungssteigerung automatisierter Grossanlagen
Towards Scalable Multi-View Reconstruction of Poses, Geometry, and Materials
Ein Ansatz für eine allgemeine Theorie kontextfreier Spracherkennung
Value and Design of Personality-Adaptive Conversational Agents in Service Interactions
Physical attacks on pairing-based cryptography
Supervised Machine Learning Methods for Item Recommendation
Image Processing on Heterogeneous Multiprocessor System-on-Chip using Resource-aware Programming
Co-optimization of neural networks and hardware architectures for their efficient execution
Automated in silico protein modeling strategies : applications and limits in G-protein coupled receptor modeling
Raising Awareness on Secure Coding in the Industry through CyberSecurity Challenges
Entwicklung des Parallelrechnersystems BOSS zur Auswertung der Messdaten des SAPHIR-Experimentes
Suchraumoptimierung mit gewichteten endlichen Automaten in der akustischen Mustererkennung
Prädiktive Verfahren mit Vektorquantisierung zur Sprachübertragung bei einer Datenrate von 16 kbit/s
Kausale Abhängigkeiten als Mittel der Spezifikation von Schnittstellen-Protokollen
Computergestützte Analyse der dreidimensionalen Gestalt der Papille des Sehnerven
Eine grafische Anfragesprache für temporale Datenbanken
Ein Beitrag zur Protokollmesstechnik für das CCITT-Zeichengabesystem Nr. 7
Quality-Aware Learning to Prioritize Test Cases
Integrierte Materialfluss- und Layoutplanung durch Kopplung von CAD- und Ablaufsimulationssystem
A generation for diagram editors
Nonlocal smoothing and adaptive morphology for scalar- and matrix-valued images
Simulation zur Leistungsanalyse und Optimierung des Token-Bus-Protokolls
Beitrag zur mathematischen Modellbildung und digitalen Simulation des Wärme- und Stofftransportes unter besonderer Berücksichtigung der thermischen Nutzung unterirdischer Wässer durch Wärmepumpen
Optimierung einer LARS-Institutsdatenbank zur Auswertung von Obduktionsdaten
Identification of timed behavior models for diagnosis in production systems
Design of a multi-faceted engineering software framework for industrial system simulation and monitoring
Content-based routing in software-defined networks
Wiederverwendbare Komponenten für eLearning
Architekturabhängige Partitionierung von Datenflußgraphen
Erfordernisse und Grundlagen zur mikrorechnergestützten Erfassung und Bewertung von Primärdaten für den Instandhaltungsprozess
Interpolations-basierte Sinogrammrestauration zur Metallartefaktreduktion in der Computertomographie
Forschen in Fragmenten: eine bildungsphilosophische Untersuchung des KI-Einsatzes in der Hochschulbildung
Modular and Extensible Software Architecture for Particle Dynamics
Optimierung zyklischer Realzeitanwendungen für Mehrrechnersysteme mit verteiltem Speicher
On the Convergence of Structure and Geometry in Graph Neural Networks
Self-Organizing Transport Networks: Decentralized Optimization based on Genetic Programming
Adaptation in Machine Translation
On the storage and management of big georaster data in NoSQL databases with focus on images and point clouds
Beitrag zur Beschreibung und Ermittlung des statischen thermischen Fehlerverhaltens industrieller Berührungsthermometer
Rechnergesteuerte Infusion antihypertensiver Medikamente: klinischer Einsatz eines Closed-Loop-Systems
Automatischer Aufbau von Hypertext-Basen aus deskriptiv expositorischen Texten: ein Hypertext-Modell für das Information-Retrieval
Differentially private methods in natural language processing
Ein Beitrag zur quantitativen Analyse und automatischen Klassifikation von Mustern der kontinuierlichen Spontanaktivität des EEG unter Verwendung linearer autoregressiver Modelle
Computer assisted surgery for fracture reduction and deformity correction of the pelvis and long bones
Ein massiv paralleles Rechnersystem für die Emulation künstlicher neuronaler Netze und genetischer Algorithmen mit Anwendungen in der Bildmustererkennung
On the finite-length modern forward error correction codes: design and ilterative decoding
Entwicklung und Rekonstruktion einer interaktionsgeprägten Sichtweise auf das komplementäre Mensch-Maschine-Verhältnis
Marktspiele und erreichbare Nutzenmengen
Ein Werkzeug zur Leistungsbewertung von Echtzeit-Rechensystemen
Datenschutz und Internet: das TDDSG und dessen Rolle für ein modernes Datenschutzrecht, dargestellt anhand der Technik der Cookies
Dynamischer Lastausgleich verteilter diskreter Simulation
Algorithmic aspects of resource allocation and multiwinner voting: theory and experiments
Static and dynamic approaches to learning neural networks
Modellierung und Simulation von prozessleittechnischen Systemen in Elektroenergiesystemen mit Petri-Netzmodellen
Nature-Inspired Algorithms for Mobile, Communicating, and Sensing Robot Swarms
Trust in interdependent and task-oriented human-computer cooperation
Identifizierbarkeit in multivariaten Fehler-in-den-Variablen-Modellen
Parameter estimation with additional information
Automating network resource allocation for coflows with deadlines
Development of new tools to analyze kidney biopsies based on deep learning = Entwicklung neuer Werkzeuge zur Analyse von Nierenbiopsien mit Deep Learning
Trigeminale Innervation des olfaktorischen Systems: Anatomie und Funktion
Konzept zum durchgängigen Schutz von Daten in der verteilten additiven Fertigung
Elektrooptische Grautonbildaufzeichnung mit optimierter Zeitlängenmodulation
Articulated Human Pose Estimation in Unconstrained Images and Videos
Planungs- und Workflow-Methodik für eine integrierte Konstruktion und Arbeitsplanung
Ein Beitrag zu Implementierung von Signalverarbeitungsalgorithmen in Messcomputern
Modelling and integrating personality as affective phenomenon in agent-based systems
Vertragsgestaltung für Computersoftware: Zivilrechtliche - insbesondere AGB-rechtliche Aspekte - der Vertragsgestaltung für Überlassung, Pflege und Erstellung von Computersoftware unter besonderer Berücksichtigung des Vertragsgegenstandes, des Fehlerbegriffs und der Gewährleistung
Transitionssystem- und Baum-Semantiken für CCS
Ein Mustererkennungsverfahren für quasiperiodische Biosignale dargestellt an Elektrokardiogramm und Karotispulskurve
Methodische Neugestaltung von Normen als Grundlage für eine Integration in den rechnerunterstützten Konstruktionsprozess
Evaluation eines TV-Bildanalysesystems für die Immunhistometrie
Cyber Attack Prevention and Detection for Electric Vehicle Charging
Modeling and training options for handwritten Arabic text recognition
Quantitative evaluation of network reliability
MUSAC - a Tool for Evaluating Measurement Uncertainty
Informationssystem für den konstruktiven Entwicklungsprozess in der Medizintechnik
EASY - ein Werkzeug zur Unterstützung der automatischen High-Level-Synthese des Datenteils digitaler Systeme: Konzeption und Implementierung einer Experimentalversion
Entwicklung eines auf der Theorie der unscharfen Mengen basierenden Energie-Emissions-Modells: Planung emissionsarmer Energiesysteme mittels Fuzzy Sets, dargestellt am Beispiel Litauens
Design aspects of information systems for remote sensing image data
Analyzed classroom: ein Unterrichtskonzept für Individualisierung in der Softwaretechnik-Hochschulausbildung im Zeitalter der Digitalisierung