Results 71 to 80 of about 14,301 (245)

Agent based cooperative theory formation in pure mathematics [PDF]

, 2000
The HR program, Colton et al. (1999), performs theory formation in domains of pure mathematics. Given only minimal information about a domain, it invents concepts, make conjectures, proves theorems and finds counterexamples to false conjectures.
Bundy, Alan, Toby Walsh, Walsh, Toby, Simon Colton, Colton, Simon, Alan Bundy   +5 more
core  

Modular Critical Element Recycling Platform Using a Nanoporous Additively Manufactured Gyroid

Advanced Engineering Materials, EarlyView.
A modular recycling platform integrates 3D‐printed nanoporous gyroid structures to enable efficient critical element recovery. This system utilizes a hierarchical architecture, combining macroscopic channels with polymerization‐induced nanoscale porosity. By systematically tuning structural wall thickness and resin formulation, the platform achieves an
Xiangyu Gao, Keldy Mason, Mert Gülçür, Rachel Paddock‐Lamb, Prince Alvin Fofanah, Zachariah A. Page, Michael Cullinan   +6 more
wiley   +1 more source

Workflow for Design of Experiments‐Based Modeling of Species Transport and Growth Kinetics in GaN Hydride Vapor Phase Epitaxy

Advanced Engineering Materials, EarlyView.
A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič, G. Lukin, H. Torkashvand, A. Kerschbaum, M. Müller, S. Besendörfer, J. Heitmann, J. Friedrich   +7 more
wiley   +1 more source

Why Philosophers Should Care About Computational Complexity [PDF]

, 2011
One might think that, once we know something is computable, how efficiently it can be computed is a practical question with little further philosophical importance. In this essay, I offer a detailed case that one would be wrong.
Scott Aaronson, Aaronson, Scott
core  

Differentiable Cosmological Simulation with the Adjoint Method

The Astrophysical Journal Supplement Series
Rapid advances in deep learning have brought not only a myriad of powerful neural networks, but also breakthroughs that benefit established scientific research.
Yin Li, Chirag Modi, Drew Jamieson, Yucheng Zhang, Libin Lu, Yu Feng, François Lanusse, Leslie Greengard   +7 more
doaj   +1 more source

New AI‐Assisted Approach for Expanding the Solution Space: Application to Lattice Structure Design

Advanced Engineering Materials, EarlyView.
This work introduces an innovative framework for designing structured materials by ex panding the design space through reparameterization of qualitative variables into continuous structural descriptors. Combined with machine‐learning‐based prediction and multi‐objective optimization, the approach enables the discovery of novel lattice architectures ...
G. H. Gahimbare, Y. Beideler, D. Chune, R. De Guio, T. Roland, H. Chibane   +5 more
wiley   +1 more source

Enhancing Low‐Temperature Performance of Sodium‐Ion Batteries via Anion‐Solvent Interactions

Advanced Functional Materials, EarlyView.
DOL is introduced into electrolytes as a co‐solvent, increasing slat solubility, ion conductivity, and the de‐solvent process, and forming an anion‐rich solvent shell due to its high interaction with anion. With the above virtues, the batteries using this electrolyte exhibit excellent cycling stability at low temperatures. Abstract Sodium‐ion batteries
Cheng Zheng, Qian Yao, Yanan Sun, Hongyu Lv, Zhongchao Bai, Guoliang Zhang, Nana Wang, Jian Yang   +7 more
wiley   +1 more source

Electrode and Microstructure Dependence of Oxygen Diffusion in Ferroelectric Hafnium Zirconium Oxide Thin Films

Advanced Functional Materials, EarlyView.
Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg, Thomas W. Pfeifer, Chuanzhen Zhou, Yong Kyu Choi, Duk‐Hyun Choe, Patrick E. Hopkins, Jon F. Ihlefeld   +6 more
wiley   +1 more source

Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]

, 2011
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...

core   +2 more sources

Optical Signature of Moiré Superlattices Formed by Twisted SrTiO3 Membranes

Advanced Functional Materials, EarlyView.
We discover optical signatures from bonded interfaces in twisted SrTiO3 moiré superlattices, including low‐frequency Raman vibrational modes and strong second‐harmonic generation, consistent with strong interlayer coupling inferred from cross‐sectional electron microscopy and ab initio calculations. ABSTRACT Moiré superlattices formed at the interfaces
T. A. M. Ragib Shahriar, Fumikazu Murakami, Xing He, Konnor Koons, Xinyan Li, Bumseop Kim, Shihan Qin, Varun Harbola, Jochen Mannhart, Yimo Han, Ruijuan Xu, Shengxi Huang, Andrew M. Rappe, Hanyu Zhu   +13 more
wiley   +1 more source