Results 21 to 30 of about 5,714,792 (303)
A Mechanized Theory of Program Refinement [PDF]
, 2019 We present a mechanized theory of program refinement that allows for the stepwise development of imperative programs in the Coq proof assistant. We formalize a design language with support for gradual refinement and a calculus which enforces correctness-by-construction.
Sall, Boubacar +2 more
openaire +3 more sources
Educational Administration: Theory and Practice [PDF]
, 2021 Educational Administration: Theory & Practice: Vol 25, Issue
Educational Administration Theory and Practice
core +1 more source
Theory Refinement for Program Verification [PDF]
, 2017 Recent progress in automated formal verification is to a large degree due to the development of constraint languages that are sufficiently light-weight for reasoning but still expressive enough to prove properties of programs. Satisfiability modulo theories (SMT) solvers implement efficient decision procedures, but offer little direct support for ...
Antti E. J. Hyvärinen +5 more
openaire +2 more sources
Buckling Response of Functionally Graded Porous Plates Due to a Quasi-3D Refined Theory
Mathematics, 2022 A quasi-3D refined theory is used to investigate the buckling response of functionally graded (FG) porous plates. The present theory takes into consideration the effect of thickness stretching. Three models of FG porous plates are presented: an isotropic
Ashraf M. Zenkour, Maryam H. Aljadani
doaj +1 more source
Refined $E_n$ Chern-Simons theory [PDF]
, 2023 The partition function of refined Chern-Simons theory on 3d sphere for the exceptional $E_n$ gauge algebras is presented in terms of multiple sine functions.
Avetisyan, M. Y., Mkrtchyan, R. L.
core +1 more source
Neutrosophic Soft Cubic Refined Sets [PDF]
Neutrosophic Sets and SystemsThis paper presents a novel approach to the Neutrosophic Soft Cubic Refined Set (NSCRS), which serves as the foundation for combining the theory of soft sets, the already-existing Neutrosophic cubic set, and the Neutrosophic refined set and Neutrosophic ...
Anitha Cruz R
doaj +1 more source
INVESTIGATION OF LAYERED ORTHOTROPIC STRUCTURES BASED ON ONE MODIFIED REFINED BENDING THEORY
Eurasian Physical Technical Journal, 2021 In the article, constructions made of orthotropic multilayer composite material, in particular, layered orthotropic plates are considered. Numerical modeling and analysis of the stress-strain state for the plates are carried out on the basis of one ...
A.T. Kasimov +3 more
doaj +1 more source
Improved three-dimensional refined plate theory
Archives of MechanicsThe paper presents improvements over an earlier developed three-dimensional refined plate theory. The improved theory removes the disadvantage of the earlier theory in that it does not properly satisfy transverse shear stress conditions, and deficiency ...
R.P. Shimpi
doaj +1 more source
On novel security systems based on the 2-cyclic refined integers and the foundations of 2-cyclic refined number theory [PDF]
Journal of Fuzzy Extension and ApplicationsIntegers play a basic role in the structures of asymmetric crypto-algorithms. Many famous public key crypto-schemes use the basics of number theory to share keys and decrypt and encrypt messages and multimedia.
Mohammad Abobala +2 more
doaj +1 more source
Refined shell elements for the analysis of functionally graded structures [PDF]
, 2011 The present paper considers the static analysis of plates and shells made of Functionally Graded Material (FGM), subjected to mechanical loads. Refined models based on the Carrera's Unified Formulation (CUF) are employed to account for grading material ...
DELLA CROCE L +19 more
core +1 more source