Results 21 to 30 of about 705,780 (301)
Symmetry Reduced Model Checking for B [PDF]
, 2007 Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states.
Turner, Edd +3 more
core +2 more sources
Patterns, symmetry, and symmetry breaking [PDF]
Communications of the ACM, 2008 Explaining software patterns by breaking the symmetry created by programming languages.
openaire +3 more sources
Results in Physics, 2021 This paper studies the second extended Calogero-Bogoyavlenskii-Schiff (eCBS) equation in (2+1)–dimensions, which was proposed in the literature a short time ago.
Chaudry Masood Khalique, Anila Mehmood
doaj +1 more source
A Variational Approach to an Inhomogeneous Second-Order Ordinary Differential System
Abstract and Applied Analysis, 2013 This paper studies the coupled inhomogeneous Lane-Emden system from the Lagrangian formulation point of view. The existence of multiple positive solutions has been discussed in the literature.
B. Muatjetjeja, C. M. Khalique
doaj +1 more source
Mathematics, 2020 In this article, we examine a (3+1)-dimensional generalized breaking soliton equation which is highly applicable in the fields of engineering and nonlinear sciences.
Chaudry Masood Khalique +1 more
doaj +1 more source
Results in Physics, 2020 In this work, we analytically examine a (3+1)-dimensional generalized Korteweg-de Vries-Zakharov-Kuznetsov equation (gKdV-ZKe). Solutions of this equation, including a non-topological soliton, are obtained by Lie symmetry reductions and direct ...
Chaudry Masood Khalique +1 more
doaj +1 more source
On the solutions and conservation laws of the 2D breaking soliton equation of fluid mechanics
Partial Differential Equations in Applied Mathematics, 2021 In this article, we study two-dimensional generalized breaking soliton equation, which describes two-dimensional interchange of Riemann wave disseminating alongside y-axis with a long wave disseminating alongside x-axis. We derive Lie symmetry generators
Karabo Plaatjie, Chaudry Masood Khalique
doaj +1 more source
Detection of symmetry and anti-symmetry
Vision Research, 2005 To assess the role of second-order channels in symmetry perception we measured the effects of check size, spatial frequency content, eccentricity and grey scale range on the detection of symmetrical and anti-symmetrical patterns. Thresholds for symmetrical stimuli were only moderately affected by these manipulations.
Mancini, Sandra +2 more
openaire +2 more sources
Journal of Ocean Engineering and Science, 2023 This paper presents analytical studies carried out explicitly on a higher-dimensional generalized Zakharov–Kuznetsov equation with dual power-law nonlinearity arising in engineering and nonlinear science.
Chaudry Masood Khalique +1 more
doaj +1 more source
Symmetry impedes symmetry discrimination
Journal of Vision, 2005 Objects in the world, natural and artificial alike, are often bilaterally symmetric. The visual system is likely to take advantage of this regularity to encode shapes for efficient object recognition. The nature of encoding a symmetric shape, and of encoding any departure from it, is therefore an important matter in visual perception. We addressed this
Tjan, B., Liu, Z.
openaire +3 more sources