Results 61 to 70 of about 239,466 (252)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

A High‐Throughput Live Imaging Platform to Investigate Circuit‐Dependent Regulation of Circadian Rhythms in Brain Tissue

Advanced Science, EarlyView.
Biological rhythms coordinate physiology, from genes to behavior. Study of circadian rhythms in brain tissue is constrained by limited throughput and spatial and temporal information quality. A new platform for high‐throughput, long‐term multiplexed fluorescent live imaging of circadian rhythms in brain slices is introduced.
Marco Ferrari, Natalie Ness, Julieta Acosta, Marco Brancaccio   +3 more
wiley   +1 more source

Evaluating Quantized Llama 2 Models for IoT Privacy Policy Language Generation

Future Internet
Quantized large language models are large language models (LLMs) optimized for model size while preserving their efficacy. They can be executed on consumer-grade computers without the powerful features of dedicated servers needed to execute regular (non ...
Bhavani Malisetty, Alfredo J. Perez
doaj   +1 more source

Electrohydraulic Folding Ring Actuators for Radially Contracting Applications

Advanced Science, EarlyView.
This work presents an Electrohydraulic Folding Ring Actuator that combines high‐performance electrohydraulic actuation with origami‐inspired folding geometry to achieve constricting radial actuation. This integration yields significant inner lumen constriction, alongside a gripping force capable of holding objects exceeding four times the actuator's ...
Gavril Yong En Tan, Quan Xiong, Jonathan William Ambrose, Zeynep Altundal, Raye Chen‐Hua Yeow   +4 more
wiley   +1 more source

Generative AI Chatbots Across Domains: A Systematic Review

Applied Sciences
The rapid advancement of large language models (LLMs) has significantly transformed the development and deployment of generative AI chatbots across various domains.
Lama Aldhafeeri, Fay Aljumah, Fajr Thabyan, Maram Alabbad, Sultanh AlShahrani, Fawzia Alanazi, Abeer Al-Nafjan   +6 more
doaj   +1 more source

Balancing Stealth and Targetability: cCPP‐ and PEG‐Modified Liposomes for the Targeted Delivery of Anti‐HER2 Nanobodies

Advanced Science, EarlyView.
This study addresses the rapid renal clearance of anti‐HER2 nanobodies by developing specialized liposomal carriers. It details the formulation of dual modified liposomes, demonstrating how PEGylation preserves structural integrity and cell‐penetrating peptides enhance cellular interaction.
Giulia Pander, Maria del Pilar Palacios Cisneros, Clara Certa, Megan Stierli, Katharina Beck, Nicolas Färber, Lisa Blank, Fiona Tanner, Eric Mühlberg, Sabrina Wohlfart, Christian Kleist, Jörg Huwyler, Gert Fricker, Walter Mier, Philipp Uhl   +14 more
wiley   +1 more source

From Illusion to Insight: A Taxonomic Survey of Hallucination Mitigation Techniques in LLMs

AI
Large Language Models (LLMs) exhibit remarkable generative capabilities but remain vulnerable to hallucinations—outputs that are fluent yet inaccurate, ungrounded, or inconsistent with source material.
Ioannis Kazlaris, Efstathios Antoniou, Konstantinos Diamantaras, Charalampos Bratsas   +3 more
doaj   +1 more source

From Label‐Free Multiphoton Imaging to Pathological Reports: A Vision‐Language Breast Cancer Margin Pathological Diagnosis System

Advanced Science, EarlyView.
MarginPath is a novel vision‐language system that automates breast cancer margin assessment using a single label‐free multiphoton microscopy image. By integrating tumor‐associated collagen signatures with virtual H&E imaging, it generates accurate margin heatmaps and comprehensive diagnostic reports.
Shu Wang, Jingze Su, Xiahui Han, Deyong Kang, Xiao Zhang, Fei Xu, Changzu Liu, Junlin Pan, Xingfu Wang, Qiaohui Zhan, Aimin Wang, Feng Huang, Heping Cheng, Wenxi Liu, Ruolan Lin, Jianxin Chen   +15 more
wiley   +1 more source