yusuke1997/dblp-id-title huggingface dataset:
Negative Identifizierung anhand des Tippverhaltens bei Verwendung fester und freier Textbestandteile
Alternative Optimization Methods for Training of Large Deep Neural Networks
Verification architectures for complex real-time systems
Digitalfilterstrukturen als Signalgeneratoren
Entwicklung und Anwendung neuer Technologien für die bedarfsgetriebene Patienteninformierung am Beispiel Diabetes mellitus
Enabling disruption tolerant services
Visual Analysis of Variability and Features of Climate Simulation Ensembles
Visualisierung von Umweltsimulationsergebnissen in einem heterogenen Rechnerverbund
Gestaltung von Dialogsystemen unter Verwendung von Dialogkernen
Computation offloading for fast and energy-efficient edge computing
Die Bernstein-Bézier-Technik in der Methode der finiten Elemente
Use the force: how force touch improves input on handheld touchscreens
Wahlbetrug mit festen und variablen Präferenzen: Eine Komplexitätsanalyse von Kontroll- und Bestechungsproblemen
Foundation models in affective computing
Vertragstypologische Einordnung der elektronischen Datenbankabfrage: (zugleich Untersuchung der Schutzfähigkeit von elektronischen Datenbanken nach dem deutschen Urheberrechtsgesetz, der Datenbankschutz-Richtlinie und dem Informations- und Telekommunikationsdienste-Gesetz)
Vectorization system for unstructured codes with a Data-parallel Compiler IR
Bedienungsstrategien des Menschen bei konkurrierenden Forderungen in Mensch-Maschine-Systemen
AV-Medien in der Hochschullehre: Konzeption und prototypische Entwicklung eines Content-Management-Systems für Vorlesungsaufzeichnungen
Beiträge zur Qualitätssicherung durch CAD-unterstützte bausteininterne Charakterisierungsmessungen
Resolution-based methods for linear temporal reasoning
Zwischenbildinterpolation zur Erhöhung der Bildgenerierrate in visuellen interaktiven Simulationsumgebungen: neue Algorithmen und Verbesserung bestehender Methoden
Probabilistic Estimation of Unobserved Process Events
Zur Anwendung von Bürocomputern in der Kostenrechnung von Betrieben der Syrischen Arabischen Republik
Contextual Person Identification in Multimedia Data
Scalable Push-Based Real-Time Queries on Top of Pull-Based Databases
Logarithmisch platzbeschränkte Simulationen
Speicherkapazitäten verdünnter neuronaler Netzwerke
Superposition modulo theory
Nutzung von Verhaltensmodellen für die Effektivitätsanalyse von Prozessrechnereinsätzen
Advancing the automation of clash analysis: case studies in automotive factory design coordination
Ein kombiniertes zustands- und spurenorientiertes Modell zur Beschreibung konfigurationsveränderlicher Systeme
Physical security for next generation CMOS ICs
Konzeption von Bibliotheks- und Bibliotheksverbundsystemen
Gestaltung von Kommunikationsprozessen an Schnittstellen in der Produktentwicklung: methodisches Vorgehen und CSCW-Unterstützung
Methode zur rechnerunterstützten Einsatzplanung von programmierbaren Handhabungsgeräten
Beiträge zur Berechnung von Gleichgewichtslösungen in nichtlinearen monotonen Netzwerkproblemen bei Entartung und schlechter Kondition sowie ihrer Anwendung auf räumliche Interaktionsmodelle
Wettbewerbsvorteil durch Personalcomputer - ein Konzept für den strategischen PC-Einsatz in Kleinbetrieben
Efficient combination of ranked result sets in multi-feature applications
Designing Deep Learning Frameworks for Plant Biology
Polarized higher-order subtyping
Uncertainty in localization, mapping, and planning: advanced methods and applications
Eine neue Methode des unscharfen Schließens für Expertensysteme
Bestimmung charakteristischer Fehlermerkmale zur rechnergestützten Bildauswertung von Schweissnahtradiographien
LDPC Codes Incorporating Source, Noise, and Channel Memory
Improving the internal quality of software through reputation-based gamification
Beitrag zum Rechnereinsatz in der Massenspektrometrie für Datenerfassung und -verarbeitung und die erschöpfende Analyse metastabiler Ionen
Understanding benefits of different vantage points in today's Internet
Rechnerunterstützte Spezifikation von Anforderungen für Automatisierungssysteme
Anwendung von Lean-Prinzipien im Erdbau - Entwicklung eines Baustellenleitstands auf Basis von Virtual Reality
Training and Validation of Visual Perception Functions for Autonomous Driving with Synthetic Data
Konzept eines Auskunfts- und Informationssystems für die rechnergestützte technologische Projektierung von TUL-Anlagen
Technology appropriation in transnational networks of social activists: a study of the European Social Forum
Modeling for part-based visual object detection based on local features
Computergestützte topologische Analyse und Vervollständigung chemischer Reaktionen
Fair and Square: Issues of Fairness and Computation in Partition Problems
Technische Modellierungs- und Kommunikationsverfahren für das Konzipieren und Gestalten auf der Basis der Modell-Integration
Beiträge zur Entwicklung einer Theorie dynamischer Systeme mit substantiell verteilter Zustandsgrösse
Beiträge zur rechnergestützten Modellbildung dynamischer Prozesse
Automatisierte hierarchisch strukturierte Analyse von schnellen und hochfrequenten Analogschaltungen mittels Mustererkennung und Expertenwissen
Skalierbare Autokonfiguration sabotageresistenter virtueller privater Netze
Artifical neural networks in continuum micromechanics
Entwurf von Expertensystem-Software für die Prozessleittechnik von Elektroenergiesystemen
Entwurf und Implementierung eines Simulators für Fertigungssysteme
Modellierung hybrider Systeme auf der Basis modifizierter Petri-Netze
Langfristige Planung der Feldesbeaufschlagung und Kapazitätsentwicklung im Steinkohlentiefbau mit Hilfe eines Branch-and-Bound-Verfahrens
Untersuchung und Integration von Berechnungsverfahren elementarer Funktionen auf CORDIC-Basis mit Anwendungen in der adaptiven Signalverarbeitung
Syllogistic inference under uncertainty
Parallel real-time rendering using heterogeneous PC clusters
Eine Programmierumgebung für verteiltes PEARL: Codeerzeugung mittels Programmsynthese
Ein funktionsbetontes Darstellungsmittel paralleler Prozesse für Hardware-Entwurf und -Simulation
Cybermoney - die rechtliche Struktur von Zahlungen im Internet: eine Untersuchung der Zahlungssysteme eCash und Millicent
Characteristic Topology of Brain Networks: Emergence through plasticity and computational aspects
Untersuchungen zu elliptischen Antwortkonstruktionen in Relation zu entsprechenden Fragesätzen in automatischen natürlichsprachigen Auskunftssystemen
Dereverberation and Robust Speech Recognition Using Spatial Coherence Models
Automation of the reverse engineering of unknown binary network protocols
Anforderungen an die integrierte Modellierung von Entwässerungssystem und Kläranlage
Speichereigenschaften korrelierter neuronaler Netzwerke
Vorbereitende Untersuchungen zur EDV-gestützten Befunderhebung an Panorex-Aufnahmen
Ereignisfluss-Modelle für die effiziente Simulation digitaler Systeme
Kennzahlenbasierte Steuerung, Koordination und Aktionsplanung in Multiagentensystemen
Adaptive Lehr- und Lernsysteme zur Unterstützung der praktischen Ausbildung an ERP-Systemen
SeaFlows - a compliance checking framework for supporting the process lifecycle
Wissensbasiertes Konstruieren am Beispiel von Getrieben
Netflows, polymatroids, and greedy structures
Universal traceability: a comprehensive, generic, technology-independent, and semantically rich approach
Layout retrieval: Suche nach Dokumentenbildern mittels Layoutwissen
Nichtkonvexe quadratische Optimierungsprobleme und Cremonatransformationen
To assist the user: on the embedding of adaptive and agent based mechanisms
Stochastic optimisation methods and pattern search algorithms for augmented reality videoconferencing
Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem
Blockchains in public administration: a RADIUS on blockchain framework for public administration
Ein Beitrag zur Implementierung autonomer, intelligenter und feldbusgestützter Sensor-, Aktorsysteme im Feldbereich (CASE/SA)
Ein modallogisch beschriebenes Expertensystem, ausgeführt am Beispiel von Ohrenerkrankungen
Die Auflösung von Rekonstruktionsalgorithmen in der Computer-Tomographie
Integration von Technologieroadmaps in die Planung der Unternehmensarchitektur von Energieversorgungsunternehmen
Set based failure diagnosis for concurrent constraint programming
Industrial reinforcement learning with stabilizing gradients
Improving the Quality of Enterprise Architecture Models: - Processes and Techniques -
Der Einsatz einer Expertensystemshell im Gesetzgebungsverfahren: dargestellt am Beispiel des ProdHaftG
DARLING: Deep leARning for chemicaL Information processinG
Zur Modellbildung sozialer Systeme und Prozesse, dargestellt an Problemen des Gesundheitsschutzes
Abstrakte Syntax und Programm-Manipulation
Detection, Classification and Visualization of Anomalies using Generalized Entropy Metrics
Deep Visual Parsing with Limited Supervision
Erwerb und Koordination von Verhalten für visuomotorische Systeme in realen Umgebungen mittels reinforcement Lernen
Rationelle Gestaltung der Informationsbereitstellung für die Planung und Vorbereitung von Reproduktionsmassnahmen an Wohngebäuden in innerstädtischen Bereichen
Theoretische und praktische Untersuchungen zu einem universellen grafischen Farbdisplay für die Informationsdarstellung und Informationsaufbereitung im medizinischen Bereich
On the test complexity of VLSI systems
Quasianaloger Materialflusssimulator - ein Instrument zur Untersuchung von Betriebsabläufen in komplexen fördertechnischen Systemen
Compact open information extraction: methods, corpora, analysis
Specification and optimization of analytical data flows
Beiträge zur Anwendung der Rechentechnik bei der Modellierung von Komplexgleichgewichten und zur automatisierten potentiometrischen Titration
Zur Theorie der Flusssteuerung in Rechnernetzen
Application-specific UML profiles for multidisciplinary product data integration
Defuzzifikationsstrategie und Defuzzifikationsanalyse: Verbindung zwischen unscharfer Mengentheorie und praktischen Anwendungen
Früherkennung kritischer Zustände in chemischen Reaktoren mit Hilfe neuronaler Netze
Formal methods for automated debugging
Scalable increase adaptive decrease: congestion control supporting low latency and high speed
Characterizing Formality
Individuelle Professionalisierungsprozesse im digitalen Lernraum
Einführung eines einfachen Systems zur EDV-Befunddokumentation in die Virusdiagnostik
Access Manager: A DBMS Framework for Extensible Access Methods
Internet-basierte Informationssysteme in betrieblichen Prozessen: Einsatzbereiche und Vorgehensmodell
Die Implementation höherer Programmiersprachen auf einer sprachorientierten Rechnerarchitektur
Electroencephalographic Responses to Frictional Stimuli: Measurement Setup and Processing Pipeline
Automatische Ableitung und Anwendung von Regeln für die Rekonstruktion von Fassaden aus heterogenen Sensordaten
Verfahren zum semantisch unterstützten Anlagenanlauf von Montagesystemen
Die mathematische Beziehung zwischen dem Serumkreatininspiegel und der Kreatininausscheidung im Urin
Modellierung und Berechnung von stationären Magnetfeldern mit modernen numerischen Verfahren
Entwicklung der Softwareplattform RESUS: repository simulation, uncertainty propagation and sensitivity analysis
Scheduling Algorithms for the Smart Grid
Pilotprojekt zur computergestützten Patientendokumentation und Verwaltung in einer Rettungsstelle
Kompaktierung heterogener Maskenlayouts mit komplexen Restriktionen
Untersuchungen zur Nutzung unterschiedlicher Datenbasisverwaltungssysteme zur Realisierung eines rechnerunterstützten Leitungsinformationssystems für eine Kombinatsleitung
Koordination dezentraler Leitstände auf Basis objektorientierter Softwaretechnologie
Die Verwendung von Lagebeschreibungen in Befunden cranialer Computertomographien: Untersuchungen zu einem natürlichsprachlichen Expertensystem
Towards Robust and Interpretable Practical Applications of Automatic Mental State Analysis Using a Dynamic and Hybrid Facial Action Estimation Approach
ColSim - Simulation von Regelungssystemen in aktiven solarthermischen Anlagen
Ziele und Möglichkeiten interner Überwachung betrieblicher technologischer Innovationsprozesse
Spontane Verknüpfung von Diensten: Wiederverwendung und Kostenersparnis
Optimierte Zuteilungsmechanismen zur Leistungssteigerung von virtuellen Maschinen in Cloud Infrastrukturen
Ein mathematisch-physikalisches Modell für Kraftwerksblöcke zur Simulation von Leistungserhöhungen
Telematik in der Tourismuswirtschaft: wirtschaftliche Auswirkungen neuer technischer Informations- und Kommunikationssysteme (insbesondere Bildschirmtext) im Reiseverkehrssektor der Bundesrepublik Deutschland
Statistical mechanics of pattern recognition in a neural network
Multi-Agent Reinforcement Learning for Interactive Decision-Making
Mixed-Reality Driver-Car Interaction from Manual to Autonomous Driving
Topics in Meeting Complex Service Level Objectives for Mixed Database Workloads
New Results on Context-Free Tree Languages
Sparse Recovery Under Side Constraints Using Null Space Properties
Computerunterstützung der Argumentation in Gruppen: Aufbereitung einer Sprechaktsequenz nach Habermas und Vorstellung eines Prototypen
Entwurf und Implementierung eines symbolischen Debuggers für die Programmiersprache C unter UNIX-kompatiblen Betriebssystemen
Computergestützte projektbegleitende Validierung in der Softwareproduktionsumgebung für automatische Steuerungen
Design, Implementation, and Evaluation of Data-driven Algorithms for Networking
Developer-Centric Software Assessment
Adaption offener Systeme durch die Trennung von Daten- und Kontrollfluss
How to Conduct Security Studies with Software Developers
Quantitative anonymity guarantees for Tor
Live Trace Visualization for System and Program Comprehension in Large Software Landscapes
Wettbewerbsvorteile durch Informationstechnologie
Statistische Ein-Klassen-Signalbewertung mit akustischen Datenbasen selbstbeschreibender Daten
Computer und medizinische Problemlösung: Möglichkeiten und Gefahren der Rechnerintegration
Cooperation in human computer communication
Zur Weiterentwicklung der Programmierungsmethodik für programmierte Studienanleitungen hinsichtlich des Beitrages zur Befähigung der Studenten zu selbständiger wissenschaftlicher Tätigkeit
SANGRIA - secure anonymous group infrastructure
Prozessbausteine
Eine Architektur für Hochleistungsrechner mit Cache-Speicher
Aufbau eines CAD-Multimikrorechnernetzes
Objective Quality Assessment of Perceptually Coded Audio Signals
Towards the design of fault-tolerant distributed real-time systems
Channel coding for highly efficient transmission in wireless local area network
Auswirkungen von Computeranwendungen auf die Leistungsstruktur von Unternehmensorganisationen
Modellierung und systematische Modellreduktion von nichtlinearen Netzmodellen mittels Singular Perturbation
Efficient learning machines: from kernel methods to deep learning
Responsive Capacity Pricing: ein kanalbasierter Ansatz für die nutzenorientierte Preisgestaltung im Internet
Simulation als handlungsorientiertes Medium in der beruflichen Bildung: Entwicklung eines Lehr- und Lernkonzeptes mit Simulatoren zur Handhabungstechnik
SQLSpaces - A Platform for Flexible Language-Heterogeneous Multi-Agent Systems
Analysis and control of middleboxes in the internet
Development of a modular systems code to analyse the implications of physics assumptions on the design of a demonstration fusion power plant
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Optimierung von Schienenfahrzeuglaufwerken auf der Basis der Finite-Element-Methode
Adaptierbare ereignisbasierte Middleware für ressourcenbeschränkte Systeme
Techniken und Werkzeuge für die Gewährleistung funktionaler Sicherheit von Software in technischen Systemen
Pattern discovery in biology and strings sorting: theory and experimentation / Ezekiel Adebiyi
Sequence Learning for OCR in Unsupervised Training Cases
Computersoftware und Strafrecht, ein Beitrag unter besonderer Berücksichtigung des strafrechtlichen Vermögensschutzes
The fixpoint analysis machine
IT-Sicherheitsanalysen: ein prozessorientiertes Vorgehensmodell
Konzeption eines öffentlichen Informationssystems für die Abnehmer von Zuchtprodukten aus der Tierzüchtung
Die Entwicklung eines Rechnerverbundsystems zur Realisierung betrieblicher Kommunikationsstrukturen
3D trajectory extraction from 2D videos for human activity analysis
Ein skalierbares agglomeratives Clusterverfahren basierend auf erste Nachbarschaftsbeziehungen
Verifying real-time systems
Synaptic Learning for Neuromorphic Vision - Processing Address Events with Spiking Neural Networks
Index structures for data warehouses
A detailed process model for large scale data migration projects
Identité sociale et évolution: éléments d'une théorie des processus adaptatifs
Interactive in situ visualization of large volume data
Temporal models in data mining: enrichment, summarization and recommendation
Entwurf von Zustandsregelungen unter besonderer Berücksichtigung von Stell-, Zustands- und Ausgangsgrössenbegrenzungen
Graph Processing in Main-Memory Column Stores
Entwicklung und effektive Nutzung regionaler Datenfernverarbeitungssysteme: e. Beitr. zur weiteren Vervollkommnung automatisierter Leitungssysteme in Kombinaten
Time sensitive networking for virtualized integrated real-time systems
Controlling-Standardsoftware: Anforderungen - Auswahl - Implementierung
Ein generisches System zur automatischen Detektion, Verfolgung und Wiedererkennung von Personen in Videodaten
Design and development of an analytics as a service platform for abusive comment moderation
Parameterschätzungen im Regressionsmodell mit Fehlern in den Variablen, Monte-Carlo-Simulation
Power modeling and architectural techniques for energy-efficient GPUs
Zur Abbildung von Geodaten im Rahmen eines Geoinformationssystems
A framework for exchange-based trading of cloud computing commodities
Supporting domain modeling with automated knowledge acquisition and modeling recommendations
Zur Problematik der Aus- und Weiterbildung von wissenschaftlichen Mitarbeitern in den Erziehungswissenschaften auf dem Gebiet der Informatik
Analyzing demand in non-strict functional programming languages
Composite NUV priors and applications
Ein Modell zur Selbstorganisation von Automatenalgorithmen zum Studium molekularer Evolution
Evolutionary algorithms for multiobjective optimization: methods and applications
Graphentheoretisches Verfahren zur koordinierten Signalisierung von Knotenpunkten
Effiziente Suchverfahren zur Erkennung kontinuierlich gesprochener Sprache
Konzeptionelle Grundlagen der Modellierung und Simulation von Software auf der Basis modifizierter Petri-Netze
Zeichenerkennung mit nichtredundanten Korrelationsmessungen
Development of an improved emission model for the reconstruction of past and projection of future atmospheric concentrations of benzo[a]pyrene over Europe
Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf
Lampung handwritten character recognition
Semantische Repräsentationssprachen in Dokumenten-Retrieval-Systemen, Auswirkungen einer unterschiedlich tiefen Bedeutungsdarstellung auf das Systemverhalten
Zur Theorie der zeitunabhängigen Maxwellschen Gleichungen mit der Randbedingung n(xE)=n(xH)=0 im inhomogenen, anisotropen Medium
CollAboRation - Opportunities of augmented reality for novel interaction paradigms and communication research
Expertensystem-Erstellung unter der Berücksichtigung der Kognitiven Psychologie und verschiedener Knowledge Engineering Methoden zur Extraktion von Expertenwissen
Die Behandlung der Zeit in verteilten PDV-Systemen
Therapieprinzipien bei Herzerkrankungen: Entwicklung und Gestaltung eines interaktiven und multimedialen Computerlernprogrammes für die Medizinerausbildung
Fehlerkorrigierende zyklische Blockcodes zur Zuverlässigkeitserhöhung von VLSI-Schaltnetzen
Evaluation einer vollautomatisierten Software zur Detektion signifikanter Koronarstenosen bei Patienten mit akutem Thoraxschmerz und einem mittleren Risiko für ein akutes Koronarsyndrom
A Generic Framework for Information Segmentation in Document Images: A part-based Approach
Vergleich von Identifikationsverfahren bei komplexen Systemen der Antriebstechnik, unter besonderer Verwendung einer Kopplung von Mikro-, Prozess- und Grossrechner
Komplexität neuronaler Lernprobleme
Multimodal object perception for robotics
Glatte Freiformflächen und optimierte Unterteilungsalgorithmen
Heuristische Reaktions-Generierung
Supporting semantically rich relationships in extensible object relational database management systems
Investigating deep ensembles for the tilted-wave interferometer
Modellierung visueller Erkennungsvorgänge mit neuronalen Netzen
Begriffliche Situationsanalyse aus Videodaten bei unvollständiger und fehlerhafter Information
Anforderungsorientierter modellbasierter Softwaretest reaktiver Systeme
Timing Sensitive Dependency Analysis and its Application to Software Security
Toward autopoietic programming
Planning and execution for mobile robots using distributed persistent memory
Beitrag zur Entwicklung einer Objektsprache für Elektroenergieanlagen
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Die Mutual Object Machine: ein objektorientiertes Modell zur Parallelverarbeitung
Kanalschätzverfahren für Mobilfunksysteme mit Mehrträgermodulation OFDM
Commonality based information retrieval with a terminological knowledge representation system
Efficient and practical neural architecture search
Arbeitsplanerstellung für die Montage, ein Beitrag zur rechnerunterstützten Fertigungsunterlagenerstellung
On the trade-off between privacy and utility in statistical data analysis
Erstellung eines EDV-Dokumentationsprogramms für die cardio-chirurgische Klinik der RWTH Aachen
Konzeption und Realisierung eines Zusatzprozessors für das KRS 4200 zur Berechnung der Schnellen-Fourier-Transformation
Unitary joint events in multiple neuron spiking activity: detection, significance, and interpretation
Datenschutzfreundliche Erkennung und Abwehr von Insiderbedrohungen
Multiview reconstruction for 3D Images from light sheet based fluorescence microscopy = Rekonstruktion für 3D Aufnahmen von lichtschichtbasierter Fluoreszenzmikroskopie
Ein Ansatz zur Lösung großer Netzwerkprobleme mit fixed charge Kanten
Untersuchungen an Neuronalen Netzwerken mit der Cavity-Methode
Enriched infinity operads
Möglichkeiten und Grenzen ökonometrischer Erwartungsmodelle, ein Beitrag zur empirischen Umsetzung der Hypothese rationaler Erwartungen
Beitrag zur Beschreibung, rechnerinternen Abbildung und Darstellung technischer Objekte
Bediengeräte zur 3D-Bewegungsführung: ein Beitrag zur effizienten Roboterprogrammierung
Im Netz der Zeit: das Internet im Spiegel der Ereignisphilosophie
NetInf - Network of Information: an information-centric networking architecture for the future internet
Probleme der Mensch-Maschine-Kommunikation im Warten von mikrorechnergestützten Automatisierungsanlagen am Beispiel der Programmsysteme DOGRAD/GENOGRAD
Deep Learning With Sentiment Inference For Discourse-Oriented Opinion Analysis
Magic-Set-Transformation in deduktiven objektorientierten Datenbanksprachen
Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis
Ein gesamtwirtschaftlicher Berechnungsansatz zur Optimierung strassenbautechnischer Entscheidungen
Secrecy included: confidentiality enforcement for machine code
Emotionale Agenten: Darstellung der emotionstheoretischen Grundlagen und Entwicklung eines Referenzmodells auf Basis einer petrinetz-basierten Modellierungstechnik
Kontexteinbezug in Texterkennungssystemen
Krümmungsübergänge zusammengesetzter Kurven und Flächen, Detailfragen des Computer Aided Design
The HABM Formalism: specifying hybrid OR models by combining agent-based modeling and simulation, discrete event simulation, and system dynamics
Referenzmodell eines ökologisch adaptierten IT-Service-Managements: Anforderungsanalyse, Konzeption und Evaluation
Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Robust and efficient methods in visual 3D human pose estimation
Ein durchgängiges System zur computer- und roboterunterstützten Chirurgie