Search Results - "robot"

Aktives Altern im digitalen Zeitalter Informations-Kommunikations-Technologie verstehen, nutzen und integrieren /

Table of Contents: “…Eine Betrachtung aus Perspektive der Mensch-Maschine Interaktion -- Digitale Unterstützung für junge Se-nior*innen: Auswahlkriterien für einen sozialen Roboter.Wider die schlechte Gewohnheit: Selbst-regulation erhöhen durch Fit-mit-ILSE.…”
Link to Metadata

Happiness is the Wrong Metric A Liberal Communitarian Response to Populism / by Etzioni, Amitai

Table of Contents: “…Pros and cons of autonomous weapons systems (with Oren Etzioni) -- Chapter 17. Robotic care of children, the elderly, and the sick (with Oren Etzioni) -- Chapter 18. …”
Link to Metadata

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018 /

Table of Contents: “…Machine Learning for Enhanced Waste Quantity Reduction: Insights from the MONSOON Industry 4.0 Project -- Deduction of time-dependent machine tool characteristics by fuzzy-clustering -- Unsupervised Anomaly Detection in Production Lines -- A Random Forest Based Classifer for Error Prediction of Highly Individualized Products -- Web-based Machine Learning Platform for Condition-Monitoring -- Selection and Application of Machine Learning-Algorithms in Production Quality -- Which deep artifificial neural network architecture to use for anomaly detection in Mobile Robots kinematic data -- GPU GEMM-Kernel Autotuning for scalable machine learners -- Process Control in a Press Hardening Production Line with Numerous Process Variables and Quality Criteria -- A Process Model for Enhancing Digital Assistance in Knowledge-Based Maintenance -- Detection of Directed Connectivities in Dynamic Systems for Different Excitation Signals using Spectral Granger Causality -- Enabling Self-Diagnosis of AutomationDevices through Industrial Analytics -- Making Industrial Analytics work for Factory Automation Applications -- Application of Reinforcement Learning in Production Planning and Control of Cyber Physical Production Systems -- LoRaWan for Smarter Management of Water Network: From metering to data analysis.…”
Link to Metadata

Screening for cervical cancer: new alternatives and research Detección oportuna de cáncer cervical: nuevas alternativas y pautas de investigación by Attila T Lörincz

Connect to this object online.

Knowledge and Digital Technology

Table of Contents: “…Orientation to the use of care robots in care services: The encounter of knowledge and technology -- Chapter 10. …”
Link to Metadata

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond /

Table of Contents: “…Chapter 1: Industry 4.0 in retrospect and in context -- Part 1: Technical Perspectives -- Chapter 2: Additive Manufacturing - Past, Present, and the Future -- Chapter 3: Additive manufacturing from the point of view of materials research -- Chapter 4: Robotics in Manufacturing - The Past and the Present -- Chapter 5: Maintenance management in light of manufacturing 4.0 -- Part 2: Manufacturing 4.0 Business models and the economic feasibility of additive manufacturing -- Chapter 6: Industrial additive manufacturing business models - what we know from the literature? …”
Link to Metadata

AVENUE21. Planning and Policy Considerations for an Age of Automated Mobility

Table of Contents: “…reflections on technology, innovation and social change -- Automated drivability and streetscape compatibility in the urban-rural continuum using the example of Greater Vienna -- Automation, public transport and Mobility as a Service: experience from tests with automated shuttle buses -- Delivery robots as a solution for the last mile in the city? …”
Link to Metadata

Information and Communication Technologies in Tourism 2021 Proceedings of the ENTER 2021 eTourism Conference, January 19-22, 2021 /

Table of Contents: “…An exploratory analysis through online reviews data -- Part IV: Destinations -- The Digitized Ecosystem of Tourism in Europe: Current Trends and Implications -- Destination Imagery Diagnosis Model: The Case of Switzerland -- Discovering Cultural Differences through Information Flow of National DMOs Websites -- Smart Tourism Cities' Competitiveness Index: A Conceptual Model -- Part V: COVID-19 -- Hear no virus, see no virus, speak no virus: Swiss hotels' online communication regarding Coronavirus -- Factors influencing tourists' intention to use COVID-19 contact tracing app -- Examining Post COVID-19 Tourist Concerns Using Sentiment Analysis and Topic Modeling -- Enhancing the Visitor Experience in the time of COVID 19. The use of AI Robotics in Pembrokeshire Coastal Pathway.…”
Link to Metadata

Hepatocellular Carcinoma

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

Multidisciplinary Perspectives on Artificial Intelligence and the Law

Table of Contents: “…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 /

Table of Contents: “….-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...

Table of Contents: “…-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

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

Connect to this object online.

Computational Thinking Education

Table of Contents: “…-- 3 MIT App Inventor: Objectives, Design, and Development -- Part II Student Competency and Assessment -- 4 Measuring Secondary School Students' Competence in Computational Thinking in ICILS 2018: Challenges, Concepts and Potential Implications for School Systems around the World -- 5 Computational Thinking Processes and their Congruence with Problem-Solving and Information-Processing -- 6 Combining Assessment Tools for a Comprehensive Evaluation of Computational Thinking Interventions -- 7 Introducing and Assessing Computational Thinking in the Secondary Science Classroom -- 8 Components and Methods of Evaluating Computational Thinking for Fostering Creative Problem-Solvers in Senior Primary School Education -- Part III Computational Thinking and Programming Education in K-12 -- 9 Learning Composite and Prime Numbers through Developing an App: An Example of Computational Thinking Development through Primary Mathematics Learning -- 10 Teaching Computational Thinking using Mathematics Gamification in Computer Science Game Tournaments -- 11 Mathematics Learning: Perceptions towards the Design of a Website based on a Fun Computational Thinking-based Knowledge Management Framework -- Part IV Computational Thinking in K-12 STEM Education and Non-formal Learning -- 12 Defining and Assessing Students' Computational Thinking in a Learning by Modeling Environment -- 13 Roles, Collaboration, and the Development of Computational Thinking in a Robotics Learning Environment -- 14 Video Games: A Potential Vehicle for Teaching Computational Thinking -- 15 Transforming the Quality of Workforce in the Textile and Apparel Industry through Computational Thinking Education -- Part V Teacher and Mentor Development in K-12 Education -- 16 Teaching Computational Thinking with Electronic Textiles: Modeling Iterative Practices and Supporting Personal Projects in Exploring Computer Science -- 17 A Study of Readiness of Implementing Computational Thinking in Compulsory Education in Taiwan -- 18 Self-development through Service-oriented Stress-Adaptation-Growth (SOSAG) Process in the Engagement of Computational Thinking Co-teaching Education -- Part VI Computational Thinking in Educational Policy and Implementation -- 19 Educational Policy and Implementation of Computational Thinking and Programming: Case Study of Singapore -- 20 Teaching-Learning of Computational Thinking in K-12 Schools in India.…”
Link to Metadata

Climate emergency and decent work by Fernando G Benavides, George L Delclos

Connect to this object online.

Business Ethics

Table of Contents: “…-- 10.2 Workplace Campuses -- 10.3 Alternatives to Traditional Patterns of Work -- 10.4 Robotics, Artificial Intelligence, and the Workplace of the Future -- Chapter 11: Epilogue: Why Ethics Still Matter -- 11.1 Business Ethics in an Evolving Environment -- 11.2 Committing to an Ethical View -- 11.3 Becoming an Ethical Professional -- 11.4 Making a Difference in the Business World…”
Access online version

Cloud technologies for STEM education by Nataliia V. Valko, Nataliya O. Kushnir, Viacheslav V. Osadchyi

Connect to this object online.

Cloud resources use for students' project activities by Nataliia V. Valko, Viacheslav V. Osadchyi, Vladyslav S. Kruhlyk

Connect to this object online.

Can nurses remain relevant in a technologically advanced future? by Joseph Andrew Pepito, Rozzano Locsin

Connect to this object online.

REVIEW OF TRENDS, APPROACHES AND PERSPECTIVE PRACTICES OF STEM-EDUCATION FOR TRAINING CENTER OPENING by Nataliya Kushnir, Nataliya Osipova, Nataliia Valko, Lyudmila Kuzmich

Connect to this object online.