Results 21 to 30 of about 222,389 (210)
Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs
Моделирование и анализ информационных систем, 2015 The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj +1 more source
Inter-element miscibility driven stabilization of ordered pseudo-binary alloy
Nature Communications, 2022 Synthetic routes of stabilizing crystal structures can discover atomic pickings with desired properties. Here the authors demonstrate inter-element miscibility of In can act as a stabilizer to create Z3-based ordered alloy without significantly changing ...
Kenshi Matsumoto +13 more
doaj +1 more source
SAT-based Explicit LTL Reasoning [PDF]
, 2015 We present here a new explicit reasoning framework for linear temporal logic (LTL), which is built on top of propositional satisfiability (SAT) solving.
AR Bradley +25 more
core +1 more source
Topological Classification of Crystalline Insulators with Point Group Symmetry
, 2012 We show that in crystalline insulators point group symmetry alone gives rise to a topological classification based on the quantization of electric polarization. Using C3 rotational symmetry as an example, we first prove that the polarization is quantized
Banerjee, Sanjay K. +3 more
core +1 more source
From Quantified CTL to QBF [PDF]
, 2019 QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO).
Hossain, Akash
core +1 more source
Physics Letters B, 2016 We consider a Yang–Mills–Higgs theory with the gauge group SU(3) broken to its center Z3 by two scalar fields in the adjoint representation and obtain new Z3 strings asymptotic configurations with the gauge field and magnetic field in the direction of ...
Marco A.C. Kneipp, Paulo J. Liebgott
doaj +1 more source
Internal quark symmetries and colour SU(3) entangled with Z3-graded Lorentz algebra
Nuclear Physics B, 2021 In the current version of QCD the quarks are described by ordinary Dirac fields, organized in the following internal symmetry multiplets: the SU(3) colour, the SU(2) flavour, and broken SU(3) providing the family triplets.
Richard Kerner, Jerzy Lukierski
doaj +1 more source
Standard Model Compactifications of IIA Z3 x Z3 Orientifolds from Intersecting D6-branes
, 2005 We discuss the construction of chiral four dimensional ${\bf T^6/(Z_3 \times Z_3)}$ orientifold compactifications of IIA theory, using D6-branes intersecting at angles and not aligned with the orientifold O6 planes.
Kokorelis, Christos
core +4 more sources
Z3-graded colour Dirac equations for quarks, confinement and generalized Lorentz symmetries
Physics Letters B, 2019 We propose a modification of standard QCD description of the colour triplet of quarks by introducing a 12-component colour generalization of Dirac spinor, with built-in Z3 grading playing an important algebraic role in quark confinement. In “colour Dirac
Richard Kerner, Jerzy Lukierski
doaj +1 more source
Broad-complex Z3 contributes to the ecdysone-mediated transcriptional regulation of the vitellogenin gene in Bombus lantschouensis. [PDF]
PLoS ONE, 2018 During reproduction, vitellogenin (Vg), as an egg yolk precursor, is critical in sexually mature females of oviparous species including some insects. The transcription of Vg is usually mediated by hormones such as juvenile hormone (JH), ecdysteroids and ...
Congai Zhen +4 more
doaj +1 more source