Results 91 to 100 of about 629,043 (341)

Recycling of NiTi Shape Memory Alloys: Fundamental and Technological Aspects of a Vacuum Induction Melting Processing Route

Advanced Engineering Materials, EarlyView.
The present study investigates recycling of NiTi shape memory alloys via vacuum induction melting. An ingot was synthesized from elemental Ni and Ti and subjected to three subsequent remelting cycles. Remelting increases process durations and impurity levels and adversely affects microstructures and functional properties.
Sakia Sophia Noorzayee, Son Tung Mai, Sarath Menon, Braulio Gadiel Sánchez Ortega, Ralf Drautz, Alexander Kauffmann, Gunther Eggeler, Jan Frenzel   +7 more
wiley   +1 more source

Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying

Advanced Engineering Materials, EarlyView.
An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara, Vincent Rat, Quentin Dubreuil, Patrice Valorge, Simon Goutier, Alain Denoirjean, Olivier Messe, Céline Ruelle, Jean‐Philippe Poli   +8 more
wiley   +1 more source

Automatic inductive theorem proving and program construction methods using program transformation [PDF]

, 2007
We present new approaches to prove universally and existentially quantified conjectures and to construct programs from the resulting proofs. These theorem proving and program construction techniques make use of the distillation algorithm to transform ...
Kabir, Md. Humayun
core  

THE PROBLEM OF NEW PROPERTIES OF NUMBERS

Надежность и качество сложных систем
Background. The proposed work is devoted to research to clarify the axiomatization of arithmetic in connection with the presence of special assumptions in it.
L.G. Sushkov
doaj   +1 more source

Mathematical induction, transfinite induction, and induction over the continuum

International Journal of Mathematics and Mathematics Education, 2023
This article examines three types of induction methods in mathematics: mathematical induction, transfinite induction, and induction over the continuum. If a statement holds true for all natural numbers, it is proven using mathematical induction. If a statement holds true for all ordinal numbers, it is proven using transfinite induction. Since induction
Denik Agustito, Sukiyanto Sukiyanto, Krida Singgih Kuncoro   +2 more
openaire   +1 more source

Direct Metal Deposition of Graphene–Ti28Nb35.4Zr Matrix Composites With Enhanced Mechanical, Corrosion, and Biocompatibility Properties for Bone Implants

Advanced Engineering Materials, EarlyView.
Graphene nanoplatelet (0.1 wt.%) reinforcement significantly enhances the performance of β Ti‐28Nb‐35.4Zr alloy. Grain refinement, reduced water contact angle, and improved surface characteristics promote osteoblast adhesion and complete surface coverage after 7 days.
Khurram Munir, Jixing Lin, Yuncang Li, Li Zhu, Paul F. A. Wright, Cuie Wen   +5 more
wiley   +1 more source

Inductive reasoning in the justification of the result of adding two even numbers [PDF]

, 2005
In this paper we present an analysis of the inductive reasoning of twelve secondary students in a mathematical problem-solving context. Students were proposed to justify what is the result of adding two even numbers.
Castro, Encarnación, Cañadas, María C.   +1 more
core  

Patient Perceptions of Weight Stigma Experiences in Healthcare: A Qualitative Analysis

Health Expectations
Background Weight stigma is the social devaluation and denigration of individuals because of their excess body weight, resulting in poorer physical and mental health and healthcare avoidance.
Kathleen M. Robinson, Kimberley A. Robinson, Aaron M. Scherer, Melissa Lehan Mackin   +3 more
doaj   +1 more source

Polarizable Vanadium Dipoles Promote Water Dissociation on Vanadium‐Based Metal Organic Framework

Advanced Functional Materials, EarlyView.
The polarization of unpaired V 3d electrons weakens the H─O bond to improve water dissociation by the dual Vδ+:O─H and Pλ−:H─O coupling hydrogen bonds formation and relaxation. P@V‐MOF electrocatalyst shows low overpotentials (94 mV in acid, 178 mV in neutral, and 77 mV in alkaline solutions) with excellent stability for effective overall water ...
Xinjuan Liu, Jun Xu, Minmin Fan, Jingcheng Xu, Mengyuan Li, Yun Gong, Weiwei Yang, Lei Li, Yong Zhou, Deqiang Zhao, Yuhua Xue, Xingtao Xu, Chang Q. Sun, Liming Dai   +13 more
wiley   +1 more source

X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites

Advanced Functional Materials, EarlyView.
We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim, Gayoung Seo, Seong Yeon Park, Juwon Jang, Yunho Ahn, Samiksha Mukesh Jain, Samrat Das Adhikari, Harumi Correa‐Leiva, Ignacio Utreras‐Asenjo, Oscar A. Douglas‐Gallardo, Carina Pareja‐Rivera, Kayoung Cho, Byeongsung Kim, Jhonatan Rodriguez‐Pereira, Eunseo Choi, JaeHong Park, Jin Ho Bang, Danilo H. Jara‐Quinteros, Sixto Giménez, Seog Joon Yoon, Andrés F. Gualdrón‐Reyes, Iván Mora‐Seró   +21 more
wiley   +1 more source