Results 231 to 240 of about 385,766 (333)

Implementing pragmatic case finding to address alcohol use in general practice: a mixed methods feasibility study. [PDF]

Scand J Prim Health Care
Potthoff S, Brendryen H, Bosnic H, Bhardwaj-Gosling R, Iden KR, Njå ALM, O'Donnell A, Lid TG.   +7 more
europepmc   +1 more source

Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

Andrzej Indrzejczak, Yaroslav Petrukhin
openalex   +2 more sources

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

, 2017
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi   +3 more
openalex   +2 more sources

Energy Consumption Optimization in Trajectory Planning for Fuel Cell Hybrid Uavs Based On HMPC

Advanced Robotics Research, EarlyView.
The endurance limitation of multirotor drones is a critical challenge. This study adopts a hybrid power system of fuel cells and lithium‐ion batteries. Using Nondominated Sorting Genetic Algorithm II, it integrates trajectory planning with energy management optimization.
Xindi Wang, Jianyang Dong, Yongming Yao, Kaijin Hu, Jianxiong Cui, Yikai Luo, Jiawen Zhang, Shichao Niu   +7 more
wiley   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

A Proof‐of‐Concept Assessment of a Novel Wearable Eyelid Muscle Device: A Pre‐Clinical Animal Cadaver Study for Eyelid Closure Restoration

Advanced Robotics Research, EarlyView.
This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino, Phuoc Thien Phan, James Davies, Bibhu Sharma, Tianruo Guo, Chi Cong Nguyen, Nigel H. Lovell, Thanh Nho Do   +7 more
wiley   +1 more source

Bio-Derived Metamaterials: A Hierarchical Biomimetics-Based Evaluation System for Cross-Scale Performance in Chaozhou Woodcarving. [PDF]

Biomimetics (Basel)
Wu F, Li L, Xiao C.
europepmc   +1 more source

A SEQUENT CALCULUS FOR LUKASIEWICZ'S THREE-VALUED LOGIC BASED ON SUSZKO'S BIVALENT SEMANTICS [PDF]

, 1999
Jean-Yves Béziau
openalex  

AI‐Powered Framework for Evaluating Drug Efficacy for Three‐Dimensional In Vitro Cancer Models in Robot‐Assisted Production

Advanced Robotics Research, EarlyView.
An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy, Jesus Nieves, Lukas Königer, Matthias Peindl, Fabio Erhard, Marc Möllmann, Anke Klingner, Markus Münig, Bibin Babu, Thomas Schwarz, Marco Metzger, Gudrun Dandekar, Maximiliane Wußmann, Jan Hansmann   +13 more
wiley   +1 more source

Evaluation of a Co-Research Program: optimising engagement in research. [PDF]

Br J Learn Disabil
Scott A, Rowland S, Mehdi A, Rubenstein E.   +3 more
europepmc   +1 more source