Results 11 to 20 of about 141 (141)

Undecidability in some field theories [PDF]

, 2023
This thesis is a study of undecidability in some field theories. Specifically, we are interested in geometrically oriented problems and have focused our attention in two directions along these lines.
Tyrrell, Brian
core   +2 more sources

Programming and symbolic computation in Maude [PDF]

, 2020
[EN] Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite theories.
Rubén Rubio, Talcott, Carolyn, Escobar Román, Santiago, Durán, Francisco, Eker, Steven, NARCISO MARTÍ OLIET, José Meseguer   +6 more
core   +1 more source

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application

Advanced Materials, EarlyView.
This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong, You Zhou, Qingxiu Li, Wenyu Zhao, Sunyingyue Geng, Hangfei Li, Yan‐Bing Leng, Shirui Zhu, Guanglong Ding, Yongbiao Zhai, Ziyu Lv, Ye Zhou, Su‐Ting Han   +12 more
wiley   +1 more source

Data‐Driven Materials Science for Energy‐Sustainable Applications

Advanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

Auditory–Tactile Congruence for Synthesis of Adaptive Pain Expressions in RoboPatients

Advanced Robotics Research, EarlyView.
In this work, we explore auditory–tactile congruence for synthesizing adaptive vocal pain expressions in robopatients. Using a robopatient platform that integrates vocal pain sounds with palpation forces, we conducted 7680 trials across 20 participants.
Saitarun Nadipineni, Chapa Sirithunge, Yue Xie, Fumiya Iida, Thilina Dulantha Lalitharatne   +4 more
wiley   +1 more source

Multimodal Engagement Assessment in Children During Invented Story Paradigm With a Social Robot

Advanced Robotics Research, EarlyView.
A multimodal framework is proposed to assess children's engagement during storytelling interactions with a social robot. Gaze, physiological, and behavioral data are combined and validated against observer ratings. An automated gaze‐labeling strategy is introduced, and supervised classifiers achieve high accuracy. The study supports scalable engagement
Laura Fiorini, Elena Adelucci, Stefano Scatigna, Lorenzo Pugi, Alice Bruni, Benedetta Carotenuto, Chiara Pecini, Filippo Cavallo   +7 more
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

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

Probing Electrocatalyst Design for Product Selectivity in CO2 Reduction

Advanced Science, EarlyView.
Selective CO2 electroreduction is controlled by catalyst structure, dynamic surface reconstruction, adsorbate interactions, and reaction microenvironment. This review summarizes Cu‐ and non‐Cu‐based catalysts, single‐atom and molecular systems, degradation pathways, and operando/computational strategies for steering CO2RR toward hydrocarbons ...
Suvodeep Sen, Bapan Biswas, Apinya Ngoipala, Julia Wiktor, Ujjwal Pal, Shalini Singh   +5 more
wiley   +1 more source