Results 21 to 30 of about 4,352 (292)
Construction of Patent Claims Using Axiomatic Design
MATEC Web of Conferences, 2017 Patent claims play an important role in every patent case and it is the core for evaluation of infringement, validity or originality. There are two main types of claims: the independent claims (stand on their own), and the dependent claims (depending on ...
Dusa Petru +5 more
doaj +1 more source
The Machine-Checked Complete Formalization of Landau’s Foundations of Analysis in Rocq
MathematicsFormal verification has achieved remarkable outcomes in both theory advancement and engineering practice, with the formalization of mathematical theories serving as its foundational cornerstone—making this process particularly critical.
Yue Guan, Yaoshun Fu, Xiangtao Meng
doaj +1 more source
Axioms as Definitions: Revisiting Poincaré and Hilbert
Philosophia Scientiæ, 2019 A fondamental problem in the discussion on the foundations of mathematics is to clarify what an axiom is. This is especially important in the light of the most recent advances in set theory where new axioms have been proposed whose legitimacy is highly ...
Laura Fontanella
doaj +1 more source
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
FuzzySTAR: Fuzzy set theory of axiomatic design review [PDF]
, 2002 Product development involves multiple phases. Design review (DR) is an essential activity formally conducted to ensure a smooth transition from one phase to another.
Huang, GQ, Jiang, Z
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Axiomatic Set Theory à la Dijkstra and Scholten
, 2017 The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’.
Bohórquez, Jaime +7 more
core +2 more sources
An Axiomatic Theory for Partial Functions [PDF]
, 1993 We describe an axiomatic theory for the concept of one-place, partial function, where function is taken in its extensional sense. The theory is rather general; i.e., concepts such as natural number and set are definable, and topics such as non-strictness
Kuper, Jan, Kuper, J.
core +1 more source
Advanced Science, EarlyView.An interpretable machine learning framework integrating SHAP and PDP analysis identifies critical design descriptors from 139 physicochemical features for Nb─Si alloys. The framework achieves <7% prediction error and guides the discovery of Nb38.5Ti38.5Si3Zr18V2 alloy with 22.791 MPa·m1/2 fracture toughness, breaking the 20 MPa·m1/2 barrier.
Dezhi Chen +7 more
wiley +1 more source