Results 101 to 110 of about 4,760,247 (349)

On the Role of Formalization in Computational Mathematics [PDF]

Bulletin of the Belgian Mathematical Society - Simon Stevin, 2013
In this paper, we will report on the developments carried out in Isabelle/HOL, ACL2 and Coq/SSReflect on Computational Algebraic Topology, in the frame of the For Math European project. The aim is to illustrate, trough concrete examples, the role of formalization technologies in Computational Mathematics in general.
openaire   +3 more sources

Composition and Resulting Band Alignment at the TiO2/InP Heterointerface: A Fundamental Study Combining Photoemission Spectroscopy and Theory

Advanced Functional Materials, EarlyView.
The chemical composition and band alignment are systematically investigated at the TiO2/InP heterointerface. Thin TiO2 films are deposited by ALD on atomically ordered, P‐terminated p‐InP(100). By combining UPS, XPS, and ab initio molecular dynamics, the atomistic structure and electronic alignment are revealed.
Mohammad Amin Zare Pour, Muhammad Nawaz Qaisrani, Christian Höhn, Johannes Laurenz Wolf, Negin Mogharehabed, Jennifer Velazquez Rojas, Wolfram Jaegermann, Erich Runge, Roel van de Krol, Thomas Hannappel, Christian Dreßler, Agnieszka Paszuk   +11 more
wiley   +1 more source

Research Achievements Review Series no. 20 - Mathematics and computation research [PDF]

Computational mathematics, perturbed orbit three-body problem, and periodic trajectories solutions through computer ...

core   +1 more source

Chemo‐Mechanical Coupling in Hydrogels: Dynamics in the Diffusion‐Limited Regime

Advanced Functional Materials, EarlyView.
A time‐dependent continuum model is developed to capture the transient swelling dynamics of chemo‐mechanical hydrogels. By coupling chemical reactions, solvent transport, and polymer deformation, volume phase transitions, reaction kinetics, and transient mechanical instabilities are analyzed.
Yao Xiong, Aaveg Aggarwal, Monica Olvera de la Cruz   +2 more
wiley   +1 more source

Noël Gastinel and computational Mathematics

Linear Algebra and its Applications, 1986
With list of publications.
François Robert, Jean Della Dora
openaire   +2 more sources

Rapid Diagnostics of Reconfigurable Intelligent Surfaces Using Space‐Time‐Coding Modulation

Advanced Functional Materials, EarlyView.
A fast reconfigurable‐intelligent‐surface (RIS) diagnostics method is proposed based on spatio‐temporal modulation with orthogonal codes. Theoretical analysis demonstrates a clear distinction in code channel power between normal and faulty elements. Simulations validate its feasibility under high fault ratios and varying receiving angles.
Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Marco Rossi, Giuseppe Castaldi, Shuo Liu, Tie Jun Cui, Vincenzo Galdi   +7 more
wiley   +1 more source

A Novel Algorithm for Evaluating Bone Metastatic Potential of Breast Cancer through Morphometry and Computational Mathematics. [PDF]

Diagnostics (Basel), 2023
Duca-Barbu SA, Bratei AA, Lisievici AC, Georgescu TA, Georgescu TA, Nemes BM, Sajin M, Pop F.   +7 more
europepmc   +1 more source

Metal‐Organic Nanosheet Gels: Hierarchically Porous Materials for Selective Loading and Differential Release

Advanced Functional Materials, EarlyView.
A suspension of metal‐organic nanosheets was centrifuged to form self‐healing gels with a hierarchically porous structure. The prepared gels were used to selectively capture small molecules from solutions and differentially release them based on their size and charge. Abstract Metal‐organic nanosheets (MONs) are intrinsically porous 2D materials with a
Jiangtian Tan, Jonathan A. Foster
wiley   +1 more source

Contexts in Mathematical Reasoning and Computation

Journal of Symbolic Computation, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
F. Javier Thayer, Joshua D. Guttman, William M. Farmer   +2 more
openaire   +3 more sources

Experimentally Validated Design Principles of D‐Block Transition Metal Single‐Atom Non‐Dissociative Chemisorption Solid‐State Hydrogen Storage Materials

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, Chao Li, Yong Gao, Zhenglong Li, Wen‐Gang Cui, Xinqiang Wang, Guoquan Na, Xiaowei Wang, Yiyang Wan, Mingchang Zhang, Yanxia Liu, Fulai Qi, Chenchen Li, Xu Xue, Jian Miao, Jing Zhang, Xiao Han, Pan Wang, Chang Guo, Xiacui Liu, Mingxia Gao, Wenping Sun, Jian Chen, Zhenhai Xia, Hongge Pan   +24 more
wiley   +1 more source