Results 171 to 180 of about 1,643,554 (351)

Fully automated processor chip design: motivation, challenges and future directions. [PDF]

Natl Sci Rev
Zhang R, Guo J, Cheng S, Chen Y.
europepmc   +1 more source

A formal specification based approach to feature interaction: Application with Prolog.

, 1999
Serge. Colle
openalex   +1 more source

LEAD: Literature Enhanced Ab Initio Discovery of Nitride Dusting Layers for Enhanced Tunnel Magnetoresistance and Lower Resistance Magnetic Tunnel Junctions

Advanced Materials, EarlyView.
Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam, William S. Rogers, Chen‐Yu Hu, Ming‐Yuan Song, Xinyu Bao, Shehrin Sayed, Jean Anne C. Incorvia   +6 more
wiley   +1 more source

Formal verification of safety properties of epoch processing in Beacon Chain. [PDF]

Sci Rep
Rashid M, Rasool I, Afzaal H, Zafar NA.
europepmc   +1 more source

Tunable Plasmonic Response of Silver Nanoparticles Entangled in Detonation Nanodiamond Network via Colloidal Self‐Assembly

Advanced Materials Interfaces, EarlyView.
Detonation nanodiamonds form a network that entangles silver nanoparticles into stable nanocomplexes. The structure can fine‐tune and enhance plasmonic absorption through nearfield electromagnetic interactions but prevents silver particle aggregation. The study shows how the arrangement and concentration of particles affect light absorption, offering a
Vendula Hrnčířová, Markéta Šlapal Bařinková, Muhammad Qamar, Kateřina Kolářová, Bohuslav Rezek   +4 more
wiley   +1 more source

A new approach to the formal explicit specification of knowledge acquisition

, 2019
I.A. Zhyriakova, Serhii Holub
openalex   +1 more source

Specification and formal verification of fuzzy information processing for the case of edge detection [PDF]

, 2009
Kemal Keskin
openalex   +1 more source

Self‐Assembled Cobalt Oxide Nanobeads on the Conducting Van der Waals Semi‐Metal PtTe2 for Catalytic Heterostructure

Advanced Materials Interfaces, EarlyView.
Self‐assembled CoO nanobeads on the Van der Waals surface of PtTe2 were synthesized through simple thermal annealing utilizing the residual oxygen in the annealing chamber. In this study, the electrocatalytic effect for oxygen evolution reaction from CoO nanobeads on conducting PtTe2 was confirmed, elucidating the new pathway to design a ...
Minhyuk Choi, Hyeryeon Lee, Ki Chang Kwon, Seungwook Choi, Gyeongbo Kim, Nurul Hasanah, Ansoon Kim, Mun Seok Jeong, Eun Kyu Kim, Seungwoo Song   +9 more
wiley   +1 more source

AI‐Enhanced Gait Analysis Insole with Self‐Powered Triboelectric Sensors for Flatfoot Condition Detection

Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
The given research presents an innovative insole‐based device employing self‐powered triboelectric nanogenerators (TENG) for flatfoot detection. By integrating TENG tactile sensors within an insole, the device converts mechanical energy from foot movements to electrical signals analyzed via machine learning, achieving an 82% accuracy rate in flatfoot ...
Moldir Issabek, Sabyrzhan Oralkhan, Adeliya Anash, Nuriya Nurbergenova, Azat Balapan, Azamat Yeshmukhametov, Yeltay Rakhmanov, Gulnur Kalimuldina   +7 more
wiley   +1 more source

<i>Drosophila</i> and mouse intestinal stem cells are spatiotemporally specified by Notch suppression and Wnt activation. [PDF]

Sci Adv
Wu Y, Yu L, Yu Y, Wu S, Yuan Q, Duan W, Cai S, Xiong B, Lin R, Guo Z.   +9 more
europepmc   +1 more source