Results 261 to 270 of about 338,726 (289)

Derivation of Low Scattering Formalism

Physical Review, 1956
openaire   +2 more sources

Vocabulary, Syntax, Formalization, and Derivations

2021
Lorne Falkenstein, Scott Stapleford, Molly Kao   +2 more
openaire   +1 more source

Formal Derivation Of Einstein Equations From Thermodynamics

**Objective:** To derive the Einstein field equations of general relativity from thermodynamic principles applied to local causal horizons, framed within the category-theoretic language of scale-invariant relationships. This derivation formalizes the physical argument of Jacobson (1995) and demonstrates its consistency with a scale-invariant ...
openaire   +1 more source

FORMAL DERIVATION OF OBJECT-ORIENTED DESIGNS

Formal methods provide rigorous approaches and proof mechanisms for the development and verification of software systems. Much of the work in this field has focussed on refinement, which models the relationship between abstract specifications and more concrete specifications.
openaire   +1 more source

Mass is Charge: A Formal Derivation

We demonstrate that mass is not a fundamental property but in- stead emerges directly from charge. By analyzing the suppression of gravity as a charge interaction, we derive the relationship m = q, showing that mass and charge are mathematically equivalent.
openaire   +1 more source

Fractional derivative and formal power series

2008
The new method of summation of divergent series for calculation of fractional derivatives of function of binomial type is presented. A new indentity for hypergeometric functions is used to justify this calculus.
Elezović, Neven, Tomovski, Živorad
openaire   +1 more source

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly  

American Cancer Society Guidelines for Breast Cancer Screening: Update 2003

Ca-A Cancer Journal for Clinicians, 2003
Robert A Smith
exaly