Results 131 to 140 of about 104,670 (289)

Equivalence of multiset-based consequence relations

The pioneering work of Blok and J\'onsson and its further development by Galatos and Tsinakis initiated an abstract study of consequence relations using the tools of module theory, where consequence relations over all types of syntactic objects are put ...
Tsinakis, Constantine, Seresti, Zeinab Khanjanzadeh, Madanshekaf, Ali, Přenosil, Adam   +3 more
core  

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

Zinc Exposure Causes Disulfidptosis to Induce Miscarriage by Up‐Regulating GATA1/METTL1/SLC7A11 Axis

Advanced Science, EarlyView.
Zn exposure up‐regulates GATA1, promoting GATA1‐mediated METTL1 and SLC7A11 transcription. It also enhances METTL1‐mediated m7G modification on SLC7A11 mRNA, increasing SLC7A11 mRNA stability. Ultimately, Zn exposure up‐regulates SLC7A11 at both transcriptional and post‐transcriptional levels, causing disulfidptosis. Knockdown of murine Slc7a11, Gata1,
Wenxin Huang, Yi Sun, Yanxin Wang, Haijun Yan, Xiaoping Yue, Weidong Wu, Xueyu Chen, Jinfang Zhang, Yanbing Lin, Qiong Lei, Nan Ji, Shuaishuai Xing, Liqin Zeng, Qingzheng Kang, Depeng Zhao, Geng Guo, Huidong Zhang   +16 more
wiley   +1 more source

Relations of logical consequence in composition nominative logics

, 2010
Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів.
Шкільняк, С.С.
core  

Swaziland's relations with Britain and South Africa since 1968 [PDF]

, 1988
This work looks into Swaziland's political, economic, social and cultural relations with Britain (its former colonial master) and South Africa (its big and rich neighbour) in the period since Swaziland's Independence in 1968.
Magagula, Petros Qambukusa, Magagula, P.Q   +1 more
core  

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

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Relations of logical consequence in logics of partial predicates with composition of predicate complement

, 2019
In this paper we study software-oriented logics of partial predicates with new special non-monotonic operation (composition) of the predicate complement. We denote these logics by LC and composition of the predicate complement by .
Shkilniak, O.S.
core  

Photonic Time Crystals and Time‐Varying Electromagnetic Metamatter: A New Direction for Ultrafast Tunable Photonic and Microwave Materials and Devices

Advanced Science, EarlyView.
Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel, Shriram Ramanathan, Ronald P. Jenkins, Michael J. Carter   +3 more
wiley   +1 more source

Atomic Defects in Layered Transition Metal Dichalcogenides for Sustainable Energy Storage and the Intelligent Trends in Data Analytics

Advanced Science, EarlyView.
This review comprehensively summarizes the atomic defects in TMDs for their applications in sustainable energy storage devices, along with the latest progress in ML methodologies for high‐throughput TEM data analysis, offering insights on how ML‐empowered microscopy facilitates bridging structure–property correlation and inspires knowledge for precise ...
Zheng Luo, Ying Yang, Zizhen Fu, Fengqi Liu, Susu Fang, Kele Xu, Shanshan Wang   +6 more
wiley   +1 more source