Results 201 to 210 of about 1,698,712 (321)

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications [PDF]

Alessandro Artale, Andrea Mazzullo, Ana Ozaki   +2 more
openalex   +1 more source

Enabling Real‐Time Shape‐Sensing in Soft Robots via a Miniaturized, Single‐Signal, Color‐Tuned Soft Optical Sensor

Advanced Robotics Research, EarlyView.
A miniaturized soft optical sensor that uses thin film color tuning enables real‐time 3D shape‐sensing from a single red–green–blue (RGB) signal. When integrated into a soft robot, it enables closed‐loop control and autonomous navigation in a phantom lung environment without the need for onboard electronics, achieving sub‐millimeter accuracy through ...
Frank Juliá Wise, Yitong Lu, Daniel Van Lewen, Riley Applebaum, Bianca Andrada, Johnathan Reamer, Sheila Russo   +6 more
wiley   +1 more source

Enhancing the LEACH protocol and lightweight chaotic cryptography for secure data transmission in wireless sensor networks. [PDF]

Sci Rep
Zarei M, Fatehi Dindarlou MH, Taghizadeh M, Jamali J.   +3 more
europepmc   +1 more source

Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations

Advanced Robotics Research, EarlyView.
Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley   +1 more source

Robust speed and levitation control of high-speed trains using TSK type-2 fuzzy sliding mode strategy. [PDF]

Sci Rep
Ibrahim Mohammad S, Vasudevan A, Abu Jrai A, Beemkumar N, Khatibi A, Mahapatro A, Jacob A, Hussein Jasim L, Thakur R, Khorasanikia Asl A.   +9 more
europepmc   +1 more source

Lifted inference beyond first-order logic

S. Malhotra, Davide Bizzaro, Luciano Serafini   +2 more
openalex   +1 more source

Contributions to the compositional semantics of first-order predicate logic [PDF]

, 2015
Philip Kelly, M. H. van Emden
openalex   +1 more source

Smart REASSURED Sensors via Machine‐Augmented Printable On‐Paper Arrays

Advanced Sensor Research, EarlyView.
This perspective highlights the emerging role of pattern‐recognition, printable on‐paper sensor arrays for intelligent PoC diagnostics. It discusses how paper's inherent limitations can be overcome through surface modification and scalable printing, and how machine‐learning analysis of cross‐reactive arrays enables multiplexed, low‐cost, and REASSURED ...
Naimeh Naseri, Saba Ranjbar
wiley   +1 more source

Lightweight image encryption for wireless sensor networks using optimized elliptic curve and fuzzy logic. [PDF]

Sci Rep
Zarei M, Dindarlou MHF, Taghizadeh M, Jamali J.   +3 more
europepmc   +1 more source

Challenges and Future Directions in Assessing the Quality and Completeness of Advanced Materials Safety Data for Re‐Usability: A Position Paper From the Nanosafety Community

Advanced Sustainable Systems, EarlyView.
Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit, Irini Furxhi, Penny Nymark, Antreas Afantitis, Ammar Ammar, Monica J. B. Amorim, Dalila Antunes, Svetlana Avramova, Chiara L. Battistelli, Gianpietro Basei, Cecilia Bossa, Emil Cimpan, Mihaela Roxana Cimpan, Dmitri Ciornii, Anna Costa, Camilla Delpivo, Maria Dusinska, Ana Sofia Fonseca, Steffi Friedrichs, Vasile‐Dan Hodoroaba, Danail Hristozov, Panagiotis Isigonis, Nina Jeliazkova, Nikolay Kochev, Eva Kranjc, Dieter Maier, Georgia Melagraki, Anastasios G. Papadiamantis, Tomasz Puzyn, Hubert Rauscher, Katie Reilly, Araceli Sánchez Jiménez, Janeck J. Scott‐Fordsmand, Neeraj Shandilya, Hyun Kil Shin, Gergana Tancheva, Jeaphianne P. M. van Rijn, Egon L. Willighagen, Ewelina Wyrzykowska, Martine I. Bakker, Damjana Drobne, Thomas E. Exner, Martin Himly, Iseult Lynch   +43 more
wiley   +1 more source