Results 91 to 100 of about 698,564 (314)

Polynomial algorithms that prove an NP-hard hypothesis implies an NP-hard conclusion [PDF]

, 1999
A number of results in Hamiltonian graph theory are of the form $\mathcal{P}$$_{1}$ implies $\mathcal{P}$$_{2}$, where $\mathcal{P}$$_{1}$ is a property of graphs that is NP-hard and $\mathcal{P}$$_{2}$ is a cycle structure property of graphs that is ...
Bauer, D., Broersma, H.J., Morgana, A., Schmeichel, E.   +3 more
core   +2 more sources

Multifunctional Tailoring of Fertilizer Composites Directly Derived From Phosphate Rock

Advanced Science, EarlyView.
A novel phosphorus‑sulfur mixed acid with urea (PSU) activation system converts low‑grade phosphate rock (LPR) into multifunctional fertilizer composites (MFCs). MFCs feature porous structures, high nutrient‑activation efficiency, superior slow‑release, and enhanced crop growth, offering a sustainable solution for integrated nutrient management and ...
Zenglian Qi, Jianchao Wang, Lulu Chen, Zhenya Lu, Guodong Wang, Hang Ma, Cuihong Hou, Xinxin Wang, Wenqi Ma, Changzhou Wei, Jianbo Shen, Fusuo Zhang, Minghao Zhuang, Chengdong Huang   +13 more
wiley   +1 more source

Enhancing Binding by Electron Transfer at Heterointerfaces of Biochar‐Modified Hydrogel to Improve Utilization Efficiency of Wastewater Recovered Nutrients

Advanced Science, EarlyView.
Enhancing the utilization efficiency of nutrients recovered from wastewater is achieved through hydrogel modification by biochar. The strategy improves nutrient binding to hydrogels via electron transfer at heterointerfaces, thereby reducing nutrient release rate.
Hao Hu, Juncong Zou, Chenglin Zhang, Peng Li, Junnan Li, Yen Wah Tong, Jun Li, Yiliang He   +7 more
wiley   +1 more source

Logics and Admissible Rules of Constructive Set Theories [PDF]

, 2022
Rosalie Iemhoff, Robert Paßmann
openalex   +1 more source

Epistemology of General Relativity [PDF]

For Einstein, simplicity is the main criterion in the theoretical choice when the experiments and observations do not give sufficiently clear indications .
Sfetcu, Nicolae
core  

Einstein-Yang-Mills sphalerons and fermion number non-conservation

, 1994
It is argued that the sphaleron solutions appearing in the Einstein-Yang-Mills theory are important in the transition processes at extremely high energies.
't Hooft, Adler, Arnold, Bartnik, Bitar, Callan, Donets, Gal'tsov, Gal'tsov, Gibbons, Gibbons, Jackiw, Klinkhamer, Kuzmin, Landau, Lavrelashvili, Manton, Mikhail S. Volkov, Ringwald, Ringwald, Straumann, Sudarsky, Volkov, Witten, Yaffe, Zhou, Zhou   +26 more
core   +1 more source

Stress‐Induced Melting Controlled Failure Mechanisms of Methane Hydrate

Advanced Science, EarlyView.
We study methane hydrate via nanoindentation and nuclear magnetic resonance (NMR), finding its regional melting and mechanical properties, challenging existing views on hydrogen‐bonded crystals. Abstract Methane hydrate, a kind of nonstoichiometric crystalline, attracted worldwide attentions as a promising substitute energy. Its Dissociation is thought
Yanlong Li, Yuan Zhou, Zhengcai Zhang, Minhui Qi, Yajuan Zhang, Yujing Jiang, Yunkai Ji, Qingguo Meng, Yongfu Sun, Nengyou Wu   +9 more
wiley   +1 more source

Recursive models for constructive set theories

Annals of Mathematical Logic, 1982
AbstractWe define recursive models of Martin-Löf's (type or) set theories. These models are a sort of recursive realizability; in fact, we show that for implication-free formulae of HAω, satisfaction in the model coincides with mr-HEO realizability. Using an idea of Aczel, we extend the model to a recursive model of the constructive set theories of ...
openaire   +1 more source

Polarization‐Dependent 3D Holography Generated by Inverse Design Nanoprinting Metasurface

Advanced Science, EarlyView.
A novel polarization‐dependent 3D holography is proposed by introducing polarization as an additional freedom, enabling enhanced depth selectivity and greater control over holographic reconstruction. The efforts perfectly combine the polarization and 3D holography display into ADAM gradient descent algorithm, the application of nanoprinting further ...
Lingxing Xiong, Jintao Gong, Fei Zhang, Wenhao Miao, Qiong He, Dapeng Zhang, Yangjian Cai, Nan Chi   +7 more
wiley   +1 more source

A C-system defined by a universe category [PDF]

, 2015
This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set theory without ...
Voevodsky, Vladimir
core