Results 71 to 80 of about 909,831 (291)
Annals of Pure and Applied Logic, 1990 Let \(I\exists^-_ 1\) be the subsystem of Peano arithmetic obtained by restricting the induction scheme to diophantine formulas without parameters. The main result of the paper says that \(I\exists^-_ 1\vdash IE^-_ 1+E\vdash\) Matijasevič's theorem, where \(IE^-_ 1\) is the scheme of parameter-free bounded existential induction and E is an \(\forall ...
openaire +2 more sources
Oxide‐Free Titanium Coatings by Wire Arc Spraying in a Silane‐Doped Inert Atmosphere
Advanced Engineering Materials, EarlyView.A silane‐doped argon atmosphere enables the production of oxide‐free titanium coatings via twin‐wire arc spraying at ambient pressure. This innovative approach eliminates residual oxygen, creating process conditions that prevent oxidation and nitride formation.
Manuel Rodriguez Diaz +4 more
wiley +1 more source
CONSIDERATIONS ON CONTACTLESS ELECTROMAGNETIC MEASUREMENT OF HUMIDITY IN PEDOLOGY [PDF]
Fiabilitate şi Durabilitate, 2017 To put into practice the conventional determination of resistivity by the galvanic method, requires a relatively large amount of labor and is, therefore, expensive.
Tudor BURLAN-ROTAR +2 more
doaj
k-Step Relative Inductive Generalization [PDF]
, 2010 We introduce a new form of SAT-based symbolic model checking. One common idea in SAT-based symbolic model checking is to generate new clauses from states that can lead to property violations.
Bradley, Aaron R.
core
Advanced Engineering Materials, EarlyView.Thermomechanical fatigue tests of laser beam powder bed fusion (PBF‐LB) Inconel 718 show that the additively manufactured material reaches almost the lifetimes of conventionally‐rolled material under no‐dwell conditions. Introducing dwell times at the maximum temperature markedly reduces the lifetimes due to pronounced grain boundary sliding associated
Stefan Guth +6 more
wiley +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 +2 more
openaire +1 more source
Advanced Engineering Materials, EarlyView.The subject of this work is the development of a corrosion‐protective coating on steel sheets for form hardening. Rapid heating in an extreme high vacuum (XHV)‐adequate atmosphere is a useful method to prevent oxidation during alloying of 22MnB5 and aluminum to obtain a metallurgical bonding.
Lorenz Albracht +5 more
wiley +1 more source
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
Relative Entropy and Inductive Inference
, 2003 We discuss how the method of maximum entropy, MaxEnt, can be extended beyond its original scope, as a rule to assign a probability distribution, to a full-fledged method for inductive inference.
Caticha, Ariel
core +1 more source
Advanced Engineering Materials, EarlyView.Selenium was incorporated into a sol–gel‐derived bioactive glass to enable sustained therapeutic ion release. The selenium‐containing glass preserved bioactivity while selectively inducing cytotoxicity in osteosarcoma cells and maintaining osteoblastic viability.
Breno Rocha Barrioni +7 more
wiley +1 more source