Results 91 to 100 of about 97,608 (260)

On $n$-equivalence of binary trees.

Notre Dame Journal of Formal Logic, 1987
The paper contains a simple characterization of the binary trees which satisfy the same first-order sentences of quantifier depth n as the binary tree with one root whose branches all have length m (for all n and m). It follows immediately that, e.g., ``finiteness'' is not a first- order property of binary trees. The proof employs the Ehrenfeucht game.
openaire   +2 more sources

Functional Disorder at the Neural Interface: How Disordered Nanostructures Promote Proper Growth and Differentiation in In Vitro Neural Cultures

Advanced Science, EarlyView.
This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita, E. Palmieri, I. Lucarini, L. Montaina, L. Maiolo   +4 more
wiley   +1 more source

Research on RFID anti-collision hybrid algorithm based on discrete processing

Tongxin xuebao, 2013
A kind of binary tree search algorithms have distinct application limitations such as high number of requests in case that a fairly large number of tags are available.A hybrid anti-collision algorithm was proposed,combining binary tree search with ...
Ping LI, Li-min SUN, Jia-ying WU, Qing FANG, Jin-yang XIE, Bo-xiang ZHOU   +5 more
doaj   +2 more sources

Revocable identity-based proxy re-signature scheme in the standard model

Tongxin xuebao, 2019
User revocation is necessary to the practical application of identity-based proxy re-signature scheme.To solve the problem that the existing identity-based proxy re-signature schemes cannot provide revocation functionality,the notion of revocable ...
Xiaodong YANG, Yutong LI, Jinli WANG, Tingchun MA, Caifen WANG   +4 more
doaj  

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

Advanced Science, EarlyView.
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang, Waleed Mohammed, Dierk Raabe   +2 more
wiley   +1 more source

NLSS3 Impairs SHM1 Autophagic Degradation to Regulate Leaf Morphology and Salt Tolerance in Rice

Advanced Science, EarlyView.
In rice, NLSS3 binds and shields SHM1 from autophagic degradation to maintain serine homeostasis. The A132P mutation in nlss3 disrupts this, triggering SHM1 loss, metabolic dysfunction, K+ imbalance, and impaired ROS scavenging, which collectively drive narrow leaves and salt sensitivity.
Xiong Liu, Yulu Yang, Zhiqi Hao, Jing Xu, Huibo Zhao, Qiang Zhang, Deyong Ren, Xia Li, Guojun Dong, Lan Shen, Li Zhu, Jiang Hu, Zhenyu Gao, Qing Li, Qian Qian, Guangheng Zhang   +15 more
wiley   +1 more source

Geometry‐Controlled Assembly of Self‐Standing Nanorods With Undisturbed Plasmonics

Advanced Science, EarlyView.
This study reports a geometry‐driven assembly strategy to vertically align Au@Ag core–shell nanorods on PS beads. This well‐defined architecture enables the preservation of the intrinsic optical response of individual nanorods. Thus, demonstrate a highly reproducible SERS enhancement with exceptional uniformity.
Yoel Negrin‐Montecelo, I. Brian Becerril‐Castro, Vladimir A. Baulin, Veronica Salgueiriño, Ramon A. Alvarez‐Puebla, Miguel A. Correa‐Duarte   +5 more
wiley   +1 more source

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source

PlantGFM: A Genomic Foundation Model for Discovery and Creation of Plant Genes

Advanced Science, EarlyView.
A plant genomic foundation model pre‐trained on 12 species enables both accurate gene prediction and de novo gene design. Through AI‐human knowledge screening, seven designed sequences showed transcriptional activity in plants, with two expressing stable proteins—demonstrating the first DNA‐RNA‐protein expression of LLM‐generated genes in plants and ...
Changhao Li, Qizhe Zhang, Hanchen Chen, Kepeng Lin, Chengfang Luo, Mengying Yang, Wei Xu, Fan Yao, Jianbing Yan, Qing‐Yong Yang, Xuehai Hu   +10 more
wiley   +1 more source

Extra Climate Benefits From Afforestation Due to Reduced Forest Fragmentation in China

Advanced Science, EarlyView.
Afforestation in China reduced forest fragmentation in 2015, transforming 51.8 M ha of edge forests into interior forests. This enhanced carbon sequestration (1.4±0.2 Pg CO2e, a cooling biogeochemical effect), while reduced albedo (−0.9 Pg CO2e, a warming biophysical effect) partially offset the gain, yielding a net extra climate benefit of ...
Nan Meng, Wei Li, Philippe Ciais, Martin Brandt, Xiaowei Tong, Yanzheng Yang, Guofeng Shen, Wei Du, Lei Zhu, Yi Leng, Minxuan Sun, Mengjie Han, Xuemei Zhang, Jie Zhang, Nan Wang, Dan Tong, Chao Wu, Wenhao Dong, Shu Tao, Bo Pan   +19 more
wiley   +1 more source