Results 1 to 10 of about 2,054,709 (290)
NP-Logic Systems and Model-Equivalence Reductions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP.
Yuping Shen, Xishun Zhao
doaj +4 more sources
Uniform Polylogarithmic Space Completeness
Frontiers in Computer Science, 2022 It is well-known that polylogarithmic space (PolyL for short) does not have complete problems under logarithmic space many-one reductions. Thus, we propose an alternative notion of completeness inspired by the concept of uniformity studied in circuit ...
Flavio Ferrarotti +3 more
doaj +1 more source
Étudier la conversation pour mieux comprendre le langage
TIPA. Travaux interdisciplinaires sur la parole et le langage, 2023 This chapter deals with the linguistic manifestations of conversation. For a long time, linguists have been interested in the levels of oral language (phonology, lexicon, syntax, discourse) separately, particularly based on prepared and non-interactive ...
Laurent Prévot +5 more
doaj +1 more source
Lie symmetry analysis for generalized short pulse equation
Open Physics, 2022 Lie symmetry analysis (LSA) is one of the most common, effective, and estimation-free methods to find the symmetries and solutions of the differential equations (DEs) by following an algorithm.
Zhao Weidong +4 more
doaj +1 more source
African Journal of Primary Health Care & Family Medicine, 2020 As the coronavirus disease 2019 (Covid-19) pandemic evolves globally, we are realising its impact on communities from the disease itself and the measures being taken to limit infection spread. In South Africa (SA), 62 300 adults die annually from alcohol-
Hermann Reuter +4 more
doaj +1 more source
Mathematical and Computational Applications, 2023 We used the classical Lie symmetry method to study the damped Klein–Gordon equation (Kge) with power law non-linearity utt+α(u)ut=(uβux)x+f(u). We carried out a complete Lie symmetry classification by finding forms for α(u) and f(u).
Fiazuddin D. Zaman +2 more
doaj +1 more source
Journal of Physics A: Mathematical and Theoretical, 2011 Starting from basic identities of the group E8, we perform progressive reductions, namely decompositions with respect to the maximal and symmetric embeddings of E7xSU(2) and then of E6xU(1). This procedure provides a systematic approach to the basic identities involving invariant primitive tensor structures of various irreprs.
Marrani, Alessio +2 more
openaire +2 more sources
Conservation laws and symmetry analysis of a generalized Drinfeld-Sokolov system
AIMS Mathematics, 2023 The generalized Drinfeld-Sokolov system is a widely-used model that describes wave phenomena in various contexts. Many properties of this system, such as Hamiltonian formulations and integrability, have been extensively studied and exact solutions have ...
Tamara M. Garrido +3 more
doaj +1 more source
Kadomtsev–Petviashvili Hierarchy: Negative Times
Mathematics, 2021 The Kadomtsev–Petviashvili equation is known to be the leading term of a semi-infinite hierarchy of integrable equations with evolutions given by times with positive numbers. Here, we introduce new hierarchy directed to negative numbers of times.
Andrei K. Pogrebkov
doaj +1 more source
ASPECTS REGARDING THE DEVELOPMENTS OF COMPOUND SURFACES
Journal of Industrial Design and Engineering Graphics, 2021 The compound surfaces which form the technical parts of metal woks are very diverse. Their practical production involves solving certain geometrical problems through the methods of descriptive geometry.
Alina Angelica ANGHEL +1 more
doaj +2 more sources