Results 81 to 90 of about 14,301 (245)

Computational Type Theory [PDF]

, 2008
Computational type theory provides answers to questions such as: What is a type? What is a natural number? How do we compute with types? How are types related to sets? Can types be elements of types?
Constable, Robert L.
core   +5 more sources

Embedded Ferroelectric Nanoclusters Can Drive Polarization Reversal in a Non‐Ferroelectric Polar Film via the Proximity Effect

Advanced Functional Materials, EarlyView.
Ferroelectric nanoclusters create local internal fields in a normally non‐switchable polar film because of polarization mismatch at their interfaces. That field opposes polarization in the regions with larger polarization and reinforces polarization in the regions with smaller polarization.
Anna N. Morozovska, Eugene A. Eliseev, Sergei V. Kalinin, Long‐Qing Chen, Dean R. Evans, Venkatraman Gopalan   +5 more
wiley   +1 more source

Electrochemical Pathways for Nitrate Conversion to Ammonia: From Environmental Challenges to Ammonia Economy

Advanced Functional Materials, EarlyView.
This perspective presents recent advances in electrocatalytic nitrate reduction, focusing on reaction mechanisms, catalyst design, and electrolyzer configurations. Key challenges in selectivity, stability, and practical wastewater treatment are highlighted, while future directions for advancing sustainable ammonia synthesis and nitrate remediation are ...
Xintong Li, Yunpeng Zuo, Xiaoran Zhang, Jieqiong Shan, Kenneth Mei Yee Leung, Bin Liu, Peter Strasser, Adrian Fisher, Zonglong Zhu, Xin Wang   +9 more
wiley   +1 more source

Analytical and numerical investigation of mixed-type functional differential equations [PDF]

, 2009
NOTICE: this is the author’s version of a work that was accepted for publication in Journal of computational and applied mathematics. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and ...
Ford, Neville J., Lima, Pedro M., Lumb, Patricia M., Teodoro, M. Filomena   +3 more
core   +1 more source

Anisotropic Phonon Dynamics and Directional Transport in Actinide Van der Waals Semiconductor Uranium Triselenide

Advanced Functional Materials, EarlyView.
USe3 is introduced as an actinide van der Waals semiconductor that mirrors the quasi‐one‐dimensional physics of transition‐metal trichalcogenides. Polarization‐resolved Raman spectroscopy on exfoliated flakes maps strong in‐plane phonon anisotropy and strain‐tunable mode shifts.
Aljoscha Söll, Valentino Jadriško, Sourav Dey, Nassima Benchtaber, Kalyan Sarkar, Borna Radatović, Jan Luxa, Fedor Lipilin, Kseniia Mosina, Vojtěch Kundrát, Jakub Zalesak, Jana Vejpravová, Martin Žáček, Szymon J. Zelewski, Nikolas Antonatos, Christoph Gadermaier, José J. Baldoví, Zdeněk Sofer   +17 more
wiley   +1 more source

Random Matrix Theory and Its Innovative Applications [PDF]

, 2018
Recently more and more disciplines of science and engineering have found Random Matrix Theory valuable. Some disciplines use the limiting densities to indicate the cutoff between "noise" and "signal." Other disciplines are finding eigenvalue repulsions a
Edelman, Alan, Wang, Yuyang
core   +1 more source

Desert Plant Inspired Hierarchical Nanofibrous Membranes for Integrated Solar Desalination and Heavy Metal Remediation

Advanced Functional Materials, EarlyView.
An Alhagi maurorum inspired hierarchical composite membrane (NFCu) was developed by integrating heavy metal remediation and solar‐driven interfacial evaporation in a single platform. Beyond the photothermal effect, a localized photocatalytic process is realized on the CuO surface, deepening the mechanistic understanding of light–matter–water ...
Yuqiong He, Ronggang Luo, Shengbo Ge, Kaixin Jiang, Kirsten Dyer, Xiaojian Zhou, Ben Bin Xu, Xuehua Zhang, Guanben Du, Kaimeng Xu   +9 more
wiley   +1 more source

Cellular Responses to Mechanical Cues Across Scales: From Fundamental Insights to Translational Potential

Advanced Healthcare Materials, EarlyView.
This review examines how cellular behavior is regulated by mechanical cues transmitted through soft biomaterials, from single‐cell mechanosensing to tissue‐level adaptation. It highlights why physiological relevance, rather than model complexity alone, is critical for translational mechanobiology and introduces a scoring framework linking material ...
Mathias Polz, Manuel P. Kainz, Niklas Haider, Theresa Rienmüller, Kerstin Lenk, Rupert Kargl, Michele Terzano, Gerhard Sommer, Gerhard A. Holzapfel, Julia Fuchs   +9 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

Green index in semigroups : generators, presentations and automatic structures [PDF]

, 2012
The Green index of a subsemigroup T of a semigroup S is given by counting strong orbits in the complement S n T under the natural actions of T on S via right and left multiplication.
Ruskuc, Nik, Gray, Robert, Gray, R, Cain, A.J., Cain, Alan J.   +4 more
core   +1 more source