Results 81 to 90 of about 1,378,245 (304)
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Elaboration in Dependent Type Theory [PDF]
, 2015 To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and ...
Avigad, Jeremy +3 more
core
Advanced Engineering Materials, EarlyView.In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart +3 more
wiley +1 more source
Advances in Difference Equations, 2019 In this paper, we develop the lower order stabilized finite element methods for the incompressible flow with the slip boundary conditions of friction type whose weak solution satisfies a variational inequality.
Jian Li, Haibiao Zheng, Qingsong Zou
doaj +1 more source
Risk evaluation using evolvable discriminate function [PDF]
, 2003 This essay proposes a new approach to risk evaluation using disease mathematical modeling. The mathematical model is an algebraic equation of the available database attributes and is used to evaluate the patient condition.
Kalganova, T, Werner, JC
core +1 more source
Advanced Engineering Materials, EarlyView.A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
La rigueur mathématique chez Henri Poincaré
Philosophia Scientiæ, 2014 Henri Poincaré had a reputation for being a mathematician hostile to rigor, as much in his mathematical practice as in his philosophical thoughts. But some elements show that Poincaré had implicitly in mind a personal conception of mathematical rigor ...
Ramzi Kebaïli
doaj +1 more source
Insubordinate practices in Mathematics evaluation
Revista Internacional de Pesquisa em Educação Matemática, 2019 This article reports a Conversation Session presented at ICOCIME 2, discussing actions undertaken by three PhD students of the Post-Graduate Program in Mathematics Teaching (PEMAT), of the Federal University of Rio de Janeiro. Innovative evaluation proposals differ from traditional models, both in terms of the assessment of students’ performance, and ...
Lilian Nasser +3 more
openaire +3 more sources
Advanced Engineering Materials, EarlyView.This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal +2 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner +9 more
wiley +1 more source