Results 91 to 100 of about 500,399 (326)
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
, 2019 Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized ...
Benzmüller, Christoph +2 more
core +1 more source
Advanced Functional Materials, EarlyView.A novel descriptor and a bottom‐up design principle are established to enable the rational design of hydrogen storage materials based on d‐block transition metal single‐atom COFs. By modulating H₂ adsorption through d‐orbital tuning, this approach achieves both high storage capacity and fast kinetics, while revealing a volcano‐type relationship between
Qiuyan Yue +24 more
wiley +1 more source
Number Theory, Dialogue, and the Use of Spreadsheets in Teacher Education
Spreadsheets in Education, 2011 This paper demonstrates the use of a spreadsheet in teaching topics in elementary number theory. It emphasizes both the power and deficiency of inductive reasoning using a number of historically significant examples.
Sergei Abramovich
doaj +2 more sources
Experimental determination of Ramsey numbers
, 2013 Ramsey theory is a highly active research area in mathematics that studies the emergence of order in large disordered structures. Ramsey numbers mark the threshold at which order first appears and are extremely difficult to calculate due to their ...
Bian, Zhengbing +4 more
core +1 more source
The Hierarchical Structure of Sheep Wool and Its Impact on Physical Properties
Advanced Functional Materials, EarlyView.Sheep wool, a prevalent α‐keratinous fiber, is an essential model for studying protein‐based fibers. Its genetic diversity across breeds enables the establishment of multiscale structure‐property relationships, uncovering previously elusive insights into wool's hierarchical structure.
Serafina R. France Tribe +9 more
wiley +1 more source
, 2012 A massively parallel order-N electronic structure theory was constructed by an interdisciplinary research between physics, applied mathematics and computer science.
Akiyama, Yohei +3 more
core +1 more source
Advanced Functional Materials, EarlyView.An ultra‐robust memristor based on SrTiO3‐CeO2 (S‐C) vertically aligned nanocomposite (VAN) achieving exceptional endurance of 1012 switching cycles via interface engineering. Artificial neural networks (ANNs) integrated with S‐C VAN memristors exhibit high training accuracy across multiple datasets.
Zedong Hu +12 more
wiley +1 more source
Theorema: Towards computer-aided mathematical theory exploration
Journal of Applied Logic, 2006 AbstractTheorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives
Wolfgang Windsteiger +10 more
openaire +2 more sources
Free Probability, Sample Covariance Matrices and Stochastic Eigen-Inference [PDF]
, 2006 Random matrix theory is now a big subject with applications in many disciplines of science, engineering and finance. This talk is a survey specifically oriented towards the needs and interests of a computationally inclined audience.
Edelman, Alan, Rao, N. Raj
core
Design and Applications of Multi‐Frequency Programmable Metamaterials for Adaptive Stealth
Advanced Functional Materials, EarlyView.This article provides a comprehensive overview of metamaterials, including their fundamental principles, properties, synthesis techniques, and applications in stealth, as well as their challenges and future prospects. It covers topics that are more advanced than those typically discussed in existing review articles, while still being closely connected ...
Jonathan Tersur Orasugh +4 more
wiley +1 more source