Zoekresultaten - "robotics"

Interdisciplinary Insights for Digital Touch Communication door Jewitt, Carey, Price, Sara, Leder Mackley, Kerstin, Yiannoutsou, Nikoleta, Atkinson, Douglas

Inhoudsopgave: “…Introduction Digital Touch Communication -- Introduction -- Touch matters -- Digital Touch -- Situating this Book: A Social Revaluing of the Sensory and Multimodal -- InTouch Digital Touch Communication -- Overview of the Book -- In-Touch Case Studies -- In Touch with Baby -- The Art of Remote Contact -- Tactile Emoticon -- Designing Digital Touch -- Virtual Touch -- Interdisciplinary Collaborations to Explore Touch -- Introduction -- Interdisciplinary Dialogues of Digital Touch Communication -- Prototyping -- Conclusion -- The landscape of digital touch communication -- Introduction -- Affective and Social Robot Touch -- Human-Object Touch Communication -- Object/Textile Handling -- Education and Training -- Disability and Rehabilitation -- Conclusion -- Social Normsof Touch -- Introduction -- Technology and Changing Social Norms -- Digital Touch and Social Norms -- Touching the body -- Digital Touching -- Conclusion -- Touch presence, absence and connection -- Introduction -- Tactile Emoticon -- Beyond the Interface -- Remote Contact -- Touch Connection as a Bodily Way of Knowing -- In Touch with Baby -- Conclusion -- Sociotechnical Imaginaries of Digital Touch -- Introduction -- The Sociotechnical Imaginary as a Design Resource -- Body -- Time -- Place and Spatiality -- New Methodological Routes to Imagining Digital Touch Futures Conclusion -- Digital Touch Ethics and Values -- Introduction -- What is Ethical Touch? …”
Link to Metadata

Hepatocellular Carcinoma

Inhoudsopgave: “…Laparoscopic Approach for the Treatment of Hepatocellular Carcinoma -- Chapter 12. Robotic Approach for the Treatment of Hepatocellular Carcinoma -- Chapter 13. …”
Link to Metadata

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Inhoudsopgave: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

Multidisciplinary Perspectives on Artificial Intelligence and the Law

Inhoudsopgave: “…Autonomous and intelligent robots: social, legal and ethical issues -- 3. The ethical and legal challenges of recommender systems driven by Artificial Intelligence -- 4. …”
Link to Metadata

Mastering Endo-Laparoscopic and Thoracoscopic Surgery ELSA Manual /

Inhoudsopgave: “….-63 Endo-Laparoscopic Repair of Lateral Ventral Hernia -- Part 18 Diastasis Recti -- 64 Posterior Plication or Combined Plication of the Recti Diastasis -- 65 Endo-laparoscopic retromuscular repair -- 66 Endoscopic Subcutaneous Onlay Laparoscopic Approach -- Part 19 Other Hernias -- 67 Minimally Invasive Surgery for Diaphragmatic Hernia -- 68 Laparoscopic Parastomal Hernia Repair -- Part 20 Colorectal Surgery -- 69 Laparoscopic Right Hemicolectomy with Complete Mesocolic Excision and Central Vascular Ligation (CME/CVL) for Right sided Colon Cancer -- 70 Laparoscopic left hemicolectomy -- 71 Anterior Resection -- 72 Laparoscopic Abdominoperineal Resection -- 73 Laparoscopic Total Colectomy -- 74 Laparoscopic Ventral Mesh Rectopexy -- Part 21 Robotic Surgery -- 75 Robotic Surgery - Operating Room Set Up and Docking -- Part 22 Other Laparoscopic Procedures -- 76 Laparoscopic Varicocoelectomy -- 77 Laparoscopic Paediatric Inguinal Hernia Repair.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Inhoudsopgave: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Interface Oral Health Science 2016 Innovative Research on Biosis-Abiosis Intelligent Interface /

Inhoudsopgave: “…Bio-ceramic coating of Ca-Ti-O system compound by laser chemical vapor deposition -- Part II Symposium II: Innovation for oral science and application -- 5. Development of a Robot-assisted Surgery System for Cranial-Maxillofacial Surgery -- 6. …”
Link to Metadata

Neil Armstrong's digital twin: An integrative approach for movement analysis in simulated space missions door Benjamin Reimeir, Anna Wargel, Franziska Riedl, Sara Maach, Robert Weidner, Gernot Grömer, Peter Federolf

Connect to this object online.

Industry 4.0 for SMEs Challenges, Opportunities and Requirements /

Inhoudsopgave: “…The Opportunities and Challenges of SME Manufacturing Automation: Safety and Ergonomics in Human-Robot Collaboration; Luca Gualtieri, Ilaria Palomba, Erich J. …”
Link to Metadata

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Inhoudsopgave: “…Evolving Division of Responsibilities in a B2B Platform -- Understanding User Feedback in Software Ecosystems: A Study on Challenges and Mitigation Strategies -- A Survey on Perceptions of Data Sharing in the Norwegian Public Sector -- What are the barriers that women face in proprietary software ecosystem -- Artificial Intelligence -- Business and ethical concerns in domestic Conversational Generative AI-empowered multi-robot systems -- Prompt Patterns for Agile Software Project Managers: First results -- Startup creation beyond hackathons - A survey on startup development and support -- How to start collaborations between SMEs and researchers in software engineering -- Towards a Business Case for AI Ethics -- What is the Cost of AI Ethics? …”
Link to Metadata

Parallel Manipulators towards New Applications

DOAB: download the publication
DOAB: description of the publication

Consumer Culture Theory in Asia History and Contemporary Issues

DOAB: description of the publication

Consumer Culture Theory in Asia History and Contemporary Issues

OAPEN Library: description of the publication

Prototipe Troli Pengikut Otomatis Menggunakan Pengolahan Citra Kamera Pixy Cmucam 5 Berbasis Arduino door Pradipta, Ramadhan Singgih, , Ir. Pratomo Budi Santosa, MT

Connect to this object online

Uso rutinario del montaje lateral (side-docking) en cirugía robótica ginecológica: estudio de factibilidad door Iván Rojas T, Demetrio Larraín de la C, Francesca Marengo, Felipe González L, Jaime Prado A, Hans Buckel G

Connect to this object online.

Current status of bariatric surgery door Young Suk Park

Connect to this object online.

نمذجة روبوت Mitsubishi RV-2aj خماسي درجة الحرية باستخدام Simmechanics door ربيع حبيب

Connect to this object online.

A Novel Bilateral Underactuated Upper Limb Exoskeleton for Post-Stroke Bimanual ADL Training door Thomas M. Kwok, Haoyong Yu

Connect to this object online.

Searching for the Least Invasive Management of Pelvi-Ureteric Junction Obstruction in Children: A Critical Literature Review of Comparative Outcomes door Marco Castagnetti, Massimo Iafrate, Ciro Esposito, Ramnath Subramaniam, Ramnath Subramaniam

Connect to this object online.

تصميم المسار الأمثل لحركة ذراع روبوت سداسي درجة الحرية door ربيع حبيب, عبد الرزاق دبور

Connect to this object online.