Results 241 to 250 of about 430,787 (365)

Optimizing Helmet Use Detection in Construction Sites via Fuzzy Logic-Based State Tracking. [PDF]

Sensors (Basel)
Zhou X, Jia X, Bai J, Lv X, Lv X, Zhang G.   +5 more
europepmc   +1 more source

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic [PDF]

Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte   +8 more
openalex   +1 more source

Gaze‐Engineered 3D Augmented Reality

Advanced Intelligent Systems, EarlyView.
Augmented Reality (AR) systems serve as a critical interface bridging users with the metaverse. This study explores the application of human factors engineering in metaverse development, specifically investigating the integration of eye‐tracking technology to enhance AR display performance.
Naiqin Zhao, Jiasheng Xiao, Runze Zhu, Hao Zhang   +3 more
wiley   +1 more source

A New Ant Colony Optimization-Based Dynamic Path Planning and Energy Optimization Model in Wireless Sensor Networks for Mobile Sink by Using Mixed-Integer Linear Programming. [PDF]

Biomimetics (Basel)
Chen F, Wu X, Wang Z, Qi W, Li P.
europepmc   +1 more source

Crater Observing Bioinspired Rolling Articulator (COBRA)

Advanced Intelligent Systems, EarlyView.
Crater Observing Bio‐inspired Rolling Articulator (COBRA) is a modular, snake‐inspired robot that addresses the mobility challenges of extraterrestrial exploration sites such as Shackleton Crater. Incorporating snake‐like gaits and tumbling locomotion, COBRA navigates both uneven surfaces and steep crater walls.
Adarsh Salagame, Henry Noyes, Eric Sihite, Arash Kalantari, Alireza Ramezani   +4 more
wiley   +1 more source

Stacked hybrid model for load forecasting: integrating transformers, ANN, and fuzzy logic. [PDF]

Sci Rep
E E, S AR, Balakrishnan A, Sanisetty B, Bandaru RB.   +4 more
europepmc   +1 more source

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems, 1986
E. Clarke, E. Emerson, A. Sistla
semanticscholar   +1 more source

Roadmap on Artificial Intelligence‐Augmented Additive Manufacturing

Advanced Intelligent Systems, EarlyView.
This Roadmap outlines the transformative role of artificial intelligence‐augmented additive manufacturing, highlighting advances in design, monitoring, and product development. By integrating tools such as generative design, computer vision, digital twins, and closed‐loop control, it presents pathways toward smart, scalable, and autonomous additive ...
Ali Zolfagharian, Liuchao Jin, Qi Ge, Wei‐Hsin Liao, Andrés Díaz Lantada, Francisco Franco Martínez, Tianyu Zhang, Tao Liu, Charlie C. L. Wang, Mohammad Hossein Mosallanejad, Reza Ghanavati, Abdollah Saboori, Alejandro De Blas De Miguel, William Solórzano‐Requejo, Yi Cai, Xiangyang Dong, Huangyi Qu, Najmeh Samadiani, Guangyan Huang, Austin Downey, Yanzhou Fu, Lang Yuan, Tsz‐Kwan (Glory) Lee, Arbind Agrahari Baniya, Eisha Waseem, Abdul Rahman Sani, Abbas Z. Kouzani, Yijia Wu, Markus P. Nemitz, Masoud Shirzad, Dageon Oh, Seung Yun Nam, Amedeo Franco Bonatti, Irene Chiesa, Gabriele Maria Fortunato, Giovanni Vozzi, Carmelo De Maria, Mahdi Bodaghi   +37 more
wiley   +1 more source

Optimizing dance motion reconstruction using a two-dimensional matrix approach with hybrid genetic and fuzzy logic differential evolution. [PDF]

Sci Rep
Wang L, Liu Y, Geng Y, Khishe M.
europepmc   +1 more source

Variable Neighborhood Model for Agent Control Introducing Accessibility Relations Between Agents with Linear Temporal Logic

, 2014
Seiki Ubukata, Tetsuya Murai, Yasuo Kudo, Seiki Akama, C-Republic, 1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi 215-0012, Japan   +4 more
openalex   +1 more source