Results 91 to 100 of about 257,403 (265)

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

The onymy of authors’ notes in the mirrors of poetonymology: reflections and suggestions

Неофилология
INTRODUCTION. Through the prism of tradition of “author’s notes”, and methodological approaches to poetonymy, the research attempts to understand the problems of proper name functions in the author’s comments of 18th and 19th-century Russian writers on ...
V. M. Kalinkin
doaj   +1 more source

Apocalypse and recuperation: Blake and the maw of commerce [PDF]

, 1983
The paper is a "materialist" reading of Blake's illuminated works. It examines the copperplate method itself as the main theme of Blake's work, and also as a potentially practical means of conveying Blake's art to its intended audience.
Mann, Paul
core  

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +1 more source

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Folklore hydronyms as an object of lexicography: some remarks and instructions regarding the structural and functional parameters of the dictionary description

Вісник Харківського національного університету імені В. Н. Каразіна. Серія Філологія. Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Fìlologìâ.
Folklore is an important component of national culture, and its verbal means significantly contributed to the formation of the literary variety of the Ukrainian language at certain stages of development.
Ruslan Serdeha
doaj   +1 more source

The translated identities of Chinese minority writers : Sinophone Naxi authors

, 2017
This paper will show the interplay between language and identity in the writing of Sinophone Chinese minority writers, who write what can be envisioned as a form of postcolonial literature.
POUPARD, Duncan
core  

DC‐magnetometry Analytical Tool Driven by Spin Ordering Phenomena for Sensing Chemical Interactions at the Surface of Nanomaterials

Advanced Science, EarlyView.
The adsorption of AsV on akaganeite nanorods was found to provide a magnetic signature. A change in the surface spin order gave rise to a second peak in the zero‐field cooled curve. AsIII adsorption does not provide any change in the magnetic behavior of the sorbent.
Marco Sanna Angotzi, Valentina Mameli, Alessandra Fantasia, Cesare Atzori, Giovanni Bertoni, Vincenzo Grillo, Giorgio Divitini, Dominika Zakutna, Jana Vejpravova, Martin Kalbac, Jan Plšek, Carla Cannas   +11 more
wiley   +1 more source

High‐Yield Fabrication of Electrolyte‐Gated Transistors Based on Graphene Acetic Acid

Advanced Electronic Materials, EarlyView.
We fabricated a liquid‐gated transistor based on graphene acetic acid, which is dielectrophoretically deposited, featuring a spatial resolution down to 10 microns. Our method enables a versatile and reproducible fabrication featuring state‐of‐the‐art performance.
Georgian Giani Ilie, Lara Franchin, Ludovica Pradetto Battel, Stefano Bonaldo, Alessandro Paccagnella, Biagio di Vizio, Stefano Agnoli, Rafael C. Hensel, Antonio Gaetano Ricciardulli, Simone Battiston, Mauro Sambi, Francesco Sedona, Paolo Samorì, Stefano Casalini   +13 more
wiley   +1 more source

The Role of Artificial Intelligence in Medication Management for Older Adults: A Systematic Review

AGING MEDICINE, EarlyView.
Artificial intelligence enhances medication management for older adults by improving adherence, personalizing treatment, and predicting risks. Despite benefits, challenges remain in usability, trust, ethics, and system integration. Successful adoption requires user‐centered design, ethical safeguards, and seamless healthcare integration to ensure safe,
Dipak Chandra Das, Moustaq Karim Khan Rony, Shovit Dutta, MD. Sami Al Zubair Zujbe, Tapan Bhattacharjee, Niloy Debnath, Shabbir Abdullah Maruf, Chowdhury Galib Mortuza, Farhana Rahman, Akash Das   +9 more
wiley   +1 more source