Search Results - "machines"

Recent Advances in Industrial and Applied Mathematics

Table of Contents: “…Garzon et al., Efficient Algorithms for Tracking Moving Interfaces -- 8 K. Lauter, Private AI: Machine Learning on Encrypted Data -- 9 C. Le Bris, Mathematical approaches for contemporary materials science: Addressing defects in the microstructure -- 10 H. …”
Link to Metadata

Stochastic Transport in Upper Ocean Dynamics II STUOD 2022 Workshop, London, UK, September 26-29 /

Table of Contents: “…Internal tides energy transfers and interactions with the mesoscale circulation in two contrasted areas of the North Atlantic -- Sparse-stochastic model reduction for 2D Euler equations -- Effect of Transport Noise on Kelvin-Helmholtz instability -- On the 3D Navier-Stokes Equations with Stochastic Lie Transport -- On the interactions between mean flows and inertial gravity waves in the WKB approximation -- Toward a stochastic parameterization for oceanic deep convection -- Comparison of Stochastic Parametrization Schemes using Data Assimilation on Triad Models -- An explicit method to determine Casimirs in 2D geophysical flows -- Correlated structures in a balanced motion interacting with an internal wave -- Linear wave solutions of a stochastic shallow water model -- Analysis of Sea Surface Temperature variability using machine learning -- Data assimilation: A dynamic homotopy-based coupling approach -- Constrained random diffeomorphisms for data assimilation -- Stochastic compressible Navier-Stokes equations under location uncertainty -- Data driven stochastic primitive equations with dynamic modes decomposition.…”
Link to Metadata

S-BPM in the Wild Practical Value Creation /

Table of Contents: “…1 Introduction -- Part I Business Operation Support -- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry -- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology -- 4 Introducing S-BPM at an IT Service Providers -- 5 A Service Hardware Application Case Fiducia -- 6 Designing an Agile Process Layer for Competitive Differentiation -- Part II Consultancy and Education Support -- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds -- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management -- 9 A Reference Model for Maintenance Processes -- 10 Role and Rights Management -- 11 Embodying Business Rules in S-BPM -- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario -- Part III Technical Execution Support -- 13 An Abstract State Machine Interpreter for S-BPM -- 14 Structured Communication-Approaching S-BPM with Microsoft Technologies -- 15 ERP Integration in S-BPM Processes.…”
Link to Metadata

Enhancing Future Skills and Entrepreneurship 3rd Indo-German Conference on Sustainability in Engineering /

Table of Contents: “…Indo-German Center for Sustainable Manufacturing: A collaboration between Birla Institute of Technology and Science Pilani and Technische Universität Braunschweig -- Oxygen Enrichment Technology - an Innovation for Improved Solid Fuel Combustion and Sustainable Environment -- Lean Manufacturing Implementation in Ceramic Industry: A Case Study -- Choosing Products for Decentralized Manufacturing: Utilizing Recycled 3D Printing Filament in India and Germany -- Design and Simulation of Solar Thermal Based Trigeneration System with 520 Square Meter Dish Collector -- Continuous Kaizen Implementation to Improve Leanness: A Case Study of Indian Automotive Assembly Line -- Time Series Auto-regressive Integrated Moving Average Model for Renewable Energy Forecasting -- 3-CYCLE - A Modular Process Chain for Recycling of Plastic Waste with Filament-based 3D Printing for Learning Factories -- Exploring Sustainability in Indian Pharmaceutical Industry -- Wind Energy Prediction Using Artificial Neural Networks -- Data Analytics of Energy and Compressed Air Flows for Process and Quality Monitoring in Electro-Pneumatic Handling Systems -- Development of an Electric-Load Intelligence System for Component Level Disaggregation to Improve Energy Efficiency of Machine Tools.…”
Link to Metadata

AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /

Table of Contents: “…Geolocation data as a research tool for the organization of the settlement system and mobility mapping - case study of the spatial mobility model in Czechia -- Returning Home Strategy Analysis using Mobile Sensing Data in Tohoku Earthquake -- Terminology Saturation Analysis: Refinements and Applications -- How To Be a Well-Prepared Organizer: Studying the Causal Effects of City Events on Human Mobility -- Human Cognition Modeling for the Metaverse-oriented Design System -- Patient self-reports for explainable machine learning predictions of risks to psychotherapy outcomes -- I-KNOW-FOO: Interlinking and Creating KNOWledge Graphs for near-zero CO2 emission diets and sustainable FOOd production -- Extreme and Sustainable Graph Processing for Green Finance Investment and Trading -- A Comprehensive Framework for Detecting Behavioural Anomalies in the Elderly -- Violence-inducing Behavior Prevention in Social-Cyber Space -- Artificial Intelligence inthe public sector in Norway AI development as a hop-on-hop-off journey -- Challenges in regulating online hate-speech within the Norwegian context -- Digital and AI maturity of enterprises in Sogn og Fjordane, a rural region of Norway. .…”
Link to Metadata

Assessing the needs of the labor market of Qom province for the specialization of graduates of technical and vocational fields by maliheh asghariajiri, hamid jafarian

Connect to this object online.

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata

Die Zukunft des MINT-Lernens - Band 1 Perspektiven auf (digitalen) MINT-Unterricht und Lehrkräftebildung /

Table of Contents: “…- Digitale Lernangebote selbst gestalten -- Vorbereitung auf ein Physiklehren in der digitalen Welt: Weiterentwicklung eines lehramtsspezifischen Elektronikpraktikums -- Blickdatenanalyse bei der Interpretation linearer Graphen im mathematischen und physikalischen Kontext -- Erste Schritte zur automatisierten Generation von Items in einem webbasierten Tracingsystem -- Feedbackorientierte Lernumgebungen zur Gestaltung offener Aufgabenstellungen mit Machine Learning, AR und 3D-Druck -- Glossar.…”
Link to Metadata

Unmanned Vehicle Systems & Operations on Air, Sea, Land by Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D., Ryan, Julie J.C.H, Carter, Candice M.

Table of Contents: “…Front Matter -- Foreword -- Contributors -- Abbreviations, Acronyms, and References -- Table of Contents, Figures, Tables, Equations and Appendices -- Chapter 1 - Information Advances, Remote ID, & Extreme Persistence ISR -- Chapter 2 - Unmanned Aerial Vehicles & How They Can Augment Mesonet Weather Tower Data Collection -- Chapter 3 - Tour de Drones for the Discerning Palate -- Chapter 4 - Underwater Autonomous Navigation & other UUV Advances -- Chapter 5 - Asymmetric Autonomous Maritime Systems -- Chapter 6 - UUV Integrated Autonomous Missions & Drone Management -- Chapter 7 - Principles of Naval Architecture Applied to UUVs -- Chapter 8 - Unmanned Logistics Operating Safely & Efficiently Across Multiple Domains -- Chapter 9 - Chinese Advances in Stealth UAV Penetration Path Planning in Combat Environment -- Chapter 10 - UV, Social Networks & COVID-19 Defense -- Chapter 11 - UV & Disinformation Misinformation Channels -- Chapter 12 - Chinese UAS Proliferation along New Silk Road Sea Land Routes -- Chapter 13 - Automaton, AI, Law, Ethics, Crossing the Machine – Human Barrier -- Chapter 14 - Maritime Cybersecurity -- Appendices Chapters 10 & 12…”
Access online version

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings /

Table of Contents: “…A local government case study -- The Future of Agile -- A taxonomy of software engineering challenges for machine learning sys-tems: An empirical investigation -- Evolution of Scrum Transcending Business Domains and the Future of Agile Management. .…”
Link to Metadata

Concepts in Action Representation, Learning, and Application /

Table of Contents: “…Prototypes, Theory, Trust: A Multi-Dimensional Model of Concepts And a Computational Approximation (David Schlangen) -- Chapter 7. Machine Learning in Conceptual Spaces: Two Learning Processes (Lucas Bechberger) -- Chapter 8. …”
Link to Metadata

Implementing Industry 4.0 in SMEs Concepts, Examples and Applications /

Table of Contents: “…Industrial Assistance Systems to Enhance Human-Machine Interaction and Operator's Capabilities in Assembly -- Section II: Implementing Industry 4.0 for Smart Logistics in SMEs -- 5. …”
Link to Metadata

Deep Neural Networks and Data for Automated Driving Robustness, Uncertainty Quantification, and Insights Towards Safety /

Table of Contents: “…Evaluating Mixture-of-Expert Architectures for Network Aggregation -- Chapter 12. Safety Assurance of Machine Learning for Perception Functions -- Chapter 13. …”
Link to Metadata

Recommender Systems: Legal and Ethical Issues

Table of Contents: “…Practical Reasoning, Digital Nudging, and Autonomy -- Chapter 8: Recommending Ourselvesto Death: values in the age of algorithms -- Part III: Designing and Evaluating Recommender Systems -- Chapter 9: Ethical and Legal Analysis of Machine Learning Based Systems: A Scenario Analysis of a Food Recommender System -- Chapter 10: Factors influencing trust and use of recommendation AI: A case study of diet improvement AI in Japan -- Chapter 11: Ethics of E-Learning Recommender Systems: Epistemic Positioning and Ideological Orientation.…”
Link to Metadata

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

EU Cohesion Policy Implementation - Evaluation Challenges and Opportunities The 1st International Conference on Evaluating Challenges in the Implementation of EU Cohesion Policy (E...

Table of Contents: “…European structural and investment funds 2021-2027: prediction analysis based on machine learning models (Victor Santos) -- Chapter 12. …”
Link to Metadata

Progress in Landslide Research and Technology, Volume 1 Issue 2, 2022

Table of Contents: “…Experimental simulation of landslide creep in ring shear machine (Netra Prakash Bhandary) -- Chapter 7. Assessment of the effects of rainfall frequency on landslide susceptibility mapping using AHP method: a case study fora mountainous region in central Vietnam (Chi Cong Nguyen) -- Chapter 8. …”
Link to Metadata

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

Table of Contents: “…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? -- Touch, Body and 'Machine' -- A Note on Study -- Ethics -- Conclusion -- Closing Thoughts, Insights and Research and Design Resources for Digital Touch Communication -- A Social Perspective on Digital Touch -- Insights for digital touch communication -- Social Norms and Digital Touch -- Touch Connections -- Sociotechnical Imaginaries of Digital Touch The Ethics of Touch -- Methodologies for Digital Touch -- An Emergent Research and Design Framework for Digital Touch Communication. .…”
Link to Metadata