Results 11 to 20 of about 577,586 (216)

mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library [PDF]

, 2011
The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 ...
A. Grabowski, I. Lakatos, S.G. Simpson
core   +1 more source

Contexts for ‘pure’ mathematics: a framework for analysing A-level mathematics papers

, 2008
The use of context in mathematics test items is now accepted practice in many forms of national assessment in the UK. Yet research suggests that such use of context is not straightforward and that children may apply a variety of interpretations to ...
Jones, Keith, Little, Chris
core   +1 more source

A Novel Approach on Rapid Alloy Development of Tool Steels for Laser Powder Bed Fusion by In Situ Alloying

Advanced Engineering Materials, EarlyView.
A novel approach for alloy development in laser powder bed fusion is introduced. Instead of producing massive samples of one composition at a time, prepressed powder bed samples produced from powder mixtures are processed. Guidelines for the selection of precursor powders are developed.
Felix Großwendt, Anna Strauch, Jonathan Lentz, Arne Röttger, Rainer Fechte‐Heinen, Sebastian Weber, Werner Theisen   +6 more
wiley   +1 more source

Breakthrough Solution for Antimicrobial Resistance Detection: Surface‐Enhanced Raman Spectroscopy‐based on Artificial Intelligence

Advanced Materials Interfaces, EarlyView., 2023
This review discusses the use of Surface‐Enhanced Raman Spectroscopy (SERS) combined with Artificial Intelligence (AI) for detecting antimicrobial resistance (AMR). Various SERS studies used with AI techniques, including machine learning and deep learning, are analyzed for their advantages and limitations.
Zakarya Al‐Shaebi, Munevver Akdeniz, Awel Olsido Ahmed, Mine Altunbek, Omer Aydin   +4 more
wiley   +1 more source

On the Rigidity and Mechanical Behavior of Triply Periodic Minimal Surfaces‐Based Lattices: Insights from Extensive Experiments and Simulations

Advanced Engineering Materials, EarlyView.
This study examines the mechanical properties of triply periodic minimal surfaces (TPMS)‐based lattices, analyzing 36 architectures in elastic and plastic regimes. It evaluates the applicability of beam‐based scaling laws to TPMS lattices. Rigidity arises from the alignment of members with the load direction and solid regions preventing rotation.
Lucía Doyle, Humberto Terrones, Carlos González   +2 more
wiley   +1 more source

Enhancing Corrosion Resistance and Mechanical Strength of 3D‐Printed Iron Polylactic Acid for Marine Applications via Laser Surface Texturing

Advanced Engineering Materials, EarlyView.
Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat, Mojtaba Karamimoghadam, Mohammadreza Lalegani Dezaki, Ali Zolfagharian, Giuseppe Casalino, Antonio Mateo, Mahdi Bodaghi   +6 more
wiley   +1 more source

Galois groups of Schubert problems via homotopy computation

, 2007
Numerical homotopy continuation of solutions to polynomial equations is the foundation for numerical algebraic geometry, whose development has been driven by applications of mathematics.
Leykin, Anton, Sottile, Frank
core   +8 more sources

A Simulative Approach for the Prediction of Mesoscale Residual Stress Fields in Solution‐Strengthened Ferritic Ductile Iron

Advanced Engineering Materials, EarlyView.
This study presents a 3D representative volume element‐based simulation approach to predict mesoscopic residual stress and strain fields in silicon solid solution‐strengthened ductile cast iron. By modeling phase transformation kinetics with an enhanced Johnson–Mehl–Avrami–Kolmogorov model, the effects of varying cooling rates on residual stresses are ...
Lutz Horbach, Oliver Schenk, Valérian Iss, Ali Rajaei, Jiali Zhang, Felix Weber, Christoph Broeckmann   +6 more
wiley   +1 more source

Lipschitz Games

, 2012
The Lipschitz constant of a finite normal-form game is the maximal change in some player's payoff when a single opponent changes his strategy. We prove that games with small Lipschitz constant admit pure {\epsilon}-equilibria, and pinpoint the maximal ...
Azrieli, Yaron, Shmaya, Eran
core   +1 more source

3D Printed Ultra‐Fast Plastic Scintillators Based on Perovskite‐Photocurable Polymer Composite

Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
The demand for radiation detection is increasing in a number of fields, including high‐energy physics, medical imaging, and homeland security. This study serves to demonstrate the potential for the fabrication of fast perovskite‐based scintillators with complex shapes via stereolithographic additive manufacturing, representing a new path toward the ...
Antonella Giuri, Amal C Chekkallur, Mario Calora, Rosanna Mastria, Loris Martinazzoli, Etiennette Auffray, Sanosh Kunjalukkal Padmanabhan, Sara Carturan, Sandra Moretto, Gianluca Quarta, Lucio Calcagnile, Matteo Polo, Alberto Quaranta, Alfonso Maffezzoli, Anna Paola Caricato, Aurora Rizzo, Carola Esposito Corcione   +16 more
wiley   +1 more source