Results 71 to 80 of about 2,046,692 (239)
Дискурс Пи, 2020 The investigation aim - precise formulating and solving the problem of provability or improvability of statement of existence of God, and also of provability or improvability of negation of this statement in a formal axiomatic system of philosophical ...
Lobovikov V.O.
doaj +1 more source
Journal on Mathematics Education, 2020 The emerging of formal mathematical proof is an essential component in advanced undergraduate mathematics courses. Several colleges have transformed mathematics courses by facilitating undergraduate students to understand formal mathematical language and
Tatag Yuli Eko Siswono +2 more
doaj +1 more source
Automated Hand Flexor Tendon–Thickness Measurement in Systemic Sclerosis
Arthritis Care &Research, EarlyView.Objective Systemic sclerosis (SSc) can affect flexor tendons, contributing to hand function problems and reduced quality of life. Tendon changes are currently assessed with ultrasonography and measured manually, a time‐consuming process prone to interobserver variability.
Mark Greveling +4 more
wiley +1 more source
Proof in dynamic geometry contexts
, 1998 Proof lies at the heart of mathematics yet we know from research in mathematics education that proof is an elusive concept for many mathematics students.
Hoyles, Celia, Jones, Keith
core +1 more source
A Formal Proof of the Expressiveness of Deep Learning [PDF]
Journal of Automated Reasoning, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bentkamp, Alexander +2 more
openaire +7 more sources
Arthritis Care &Research, EarlyView.Objective This study aimed to determine whether gout flare resolution is associated with physical activity and sleep. These findings were intended to inform the future development of a definition for flare resolution. Methods Data from 81 participants with gout who experienced at least one flare during a six‐month prospective observational study were ...
Sarah Stewart +12 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Generative artificial intelligence (AI) is increasingly being used in rheumatology practice, to assist with tasks such as documentation, record summarization, and clinical decision support. Rheumatologists need a practical approach to determining what evidence and oversight each application requires.
Koushan Kouranloo +2 more
wiley +1 more source
A Novel Approach to Estimate the Transition Temperature via Dynamic Nanoindentation
Advanced Engineering Materials, EarlyView.A new dynamic nanoindentation‐based method was developed that uses the stiffness ratio as an indicator of the elastic–plastic deformation contributions at different temperatures. The approach successfully identified transition temperatures in ferritic steel and distinguished them from continuously ductile austenitic steel.
Stefan Zeiler +4 more
wiley +1 more source
Deriving Safety Cases from Automatically Constructed Proofs
, 2009 Formal proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because the formalism in which they are constructed and ...
Fischer, Bernd +2 more
core +2 more sources
Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
IEEE Access, 2019 Mobile devices are an indispensable part of modern-day lives to support portable computations and context-aware communication. Android applications within a mobile device share data to support application operations and better user experience, which also
Wilayat Khan +4 more
doaj +1 more source