Results 11 to 20 of about 112,147 (264)
On refined Chern-Simons/topological string duality for classical gauge groups
Journal of High Energy Physics, 2022 We present the partition function of the refined Chern-Simons theory on S 3 with arbitrary A, B, C, D gauge algebra in terms of multiple sine functions. For B and C cases this representation is novel.
M. Y. Avetisyan, R. L. Mkrtchyan
doaj +1 more source
Refinement Proposal of the Goldberg’s Theory [PDF]
, 2009 Virtual Machines (VM) allow the execution of various operating systems and provide several functionalities which are nowadays strongly appreciated by developers and administrators (isolation between applications, flexibility of resource management, and so on).
Gallard, Jérôme +5 more
openaire +2 more sources
International Journal of Applied Mechanics and Engineering, 2013 Static, vibration and buckling behavior of laminated composite and sandwich skew plates is studied using an efficient C 0 FE model developed based on refined higher order zigzag theory.
S.K. Singh, A. Chakrabarti
doaj +1 more source
On partition functions of refined Chern-Simons theories on S 3
Journal of High Energy Physics, 2021 We present a new expression for the partition function of the refined Chern-Simons theory on S 3 with an arbitrary gauge group, which is explicitly equal to 1 when the coupling constant is zero.
M.Y. Avetisyan, R.L. Mkrtchyan
doaj +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 +1 more source
THE REFINED THEORY OF ELASTIC PLATES AS ASYMPTOTIC APPROACH OF 3D PROBLEM
MATEC Web of Conferences, 2018 The refined theory of elastic thin and thick plates is constructed by the asymptotic method for reducing three-dimensional (3D) equations of linear elasticity to two-dimensional ones without the use of any assumptions.
Rogacheva Nelly
doaj +1 more source
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 +2 more sources
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