Search results for "TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES"

showing 10 items of 174 documents

Some Decision Results on Nonrepetitive Words

1985

The paper addresses some generalizations of the Thue Problem such as: given a word u, does there exist an infinite nonrepetitive overlap free (or square free) word having u as a prefix? A solution to this as well as to related problems is given for the case of overlap free words on a binary alphabet.

PrefixCombinatoricsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer Science::Discrete MathematicsUnique factorization domainComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Square-free integerComputer Science::Formal Languages and Automata TheoryBinary alphabetWord (computer architecture)Mathematics
researchProduct

Exploring Students’ Metacognitive Knowledge: The Case of Integral Calculus

2020

Previous studies of integral calculus have mainly explored students&rsquo

Public AdministrationInterviewMetacognitionPhysical Therapy Sports Therapy and Rehabilitation050105 experimental psychologyEducationmetacognitive knowledgeTaxonomy (general)Fundamental theorem of calculusintegral calculusDevelopmental and Educational PsychologyComputer Science (miscellaneous)Mathematics educationComputingMilieux_COMPUTERSANDEDUCATION0501 psychology and cognitive sciencesMathematics instructionfundamental theorem of calculusKnowledge level05 social sciences050301 educationProcedural knowledgeVDP::Matematikk og Naturvitenskap: 400::Matematikk: 410Computer Science ApplicationsIntegral calculusintegral-area relationshipTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESmonitoring strategiesTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSPsychologylcsh:L0503 educationlcsh:EducationEducation Sciences
researchProduct

Virtual and arrow Temperley–Lieb algebras, Markov traces, and virtual link invariants

2021

Let [Formula: see text] be the algebra of Laurent polynomials in the variable [Formula: see text] and let [Formula: see text] be the algebra of Laurent polynomials in the variable [Formula: see text] and standard polynomials in the variables [Formula: see text] For [Formula: see text] we denote by [Formula: see text] the virtual braid group on [Formula: see text] strands. We define two towers of algebras [Formula: see text] and [Formula: see text] in terms of diagrams. For each [Formula: see text] we determine presentations for both, [Formula: see text] and [Formula: see text]. We determine sequences of homomorphisms [Formula: see text] and [Formula: see text], we determine Markov traces […

Pure mathematicsAlgebra and Number TheoryMarkov chainComputer Science::Information Retrieval010102 general mathematicsAstrophysics::Instrumentation and Methods for AstrophysicsComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)0102 computer and information sciences01 natural sciencesTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematicsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputingMethodologies_DOCUMENTANDTEXTPROCESSINGArrowComputer Science::General Literature0101 mathematicsAlgebra over a fieldVirtual linkComputingMilieux_MISCELLANEOUSMathematicsVariable (mathematics)Journal of Knot Theory and Its Ramifications
researchProduct

Local Spectral Theory for R and S Satisfying RnSRn = Rj

2020

In this paper, we analyze local spectral properties of operators R,S and RS which satisfy the operator equations RnSRn=Rj and SnRSn=Sj for same integers j&ge

Pure mathematicsAlgebra and Number TheorySpectral theoryDunford’s property (C) and property (β)Local spectral subspacesLogiclcsh:Mathematics010102 general mathematicsSpectral propertieslcsh:QA1-93901 natural sciences010101 applied mathematicsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESOperator (computer programming)Transmission (telecommunications)Settore MAT/05 - Analisi MatematicaDunford’s property (<i>C</i>) and property (<i>β</i>)Data_FILESDrazin invertible operatorsGeometry and Topology0101 mathematicsMathematical PhysicsAnalysisMathematicsAxioms
researchProduct

Strong Converse Results for Linking Operators and Convex Functions

2020

We consider a family B n , ρ c of operators which is a link between classical Baskakov operators (for ρ = ∞ ) and their genuine Durrmeyer type modification (for ρ = 1 ). First, we prove that for fixed n , c and a fixed convex function f , B n , ρ c f is decreasing with respect to ρ . We give two proofs, using various probabilistic considerations. Then, we combine this property with some existing direct and strong converse results for classical operators, in order to get such results for the operators B n , ρ c applied to convex functions.

Pure mathematicsArticle Subject010102 general mathematicsMathematicsofComputing_GENERALProbabilistic logicType (model theory)Mathematical proof01 natural sciences010104 statistics & probabilityTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESBaskakov operatorConverseQA1-939Order (group theory)0101 mathematicsConvex functionLink (knot theory)AnalysisMathematicsMathematicsJournal of Function Spaces
researchProduct

Representation Theorems for Indefinite Quadratic Forms Revisited

2010

The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring the second representation theorem to hold is proved. A new simple and explicit example of a self-adjoint operator for which the second representation theorem does not hold is also provided.

Pure mathematicsGeneral MathematicsFOS: Physical sciencesMathematical proofDirac operator01 natural sciencesMathematics - Spectral Theorysymbols.namesakeOperator (computer programming)Simple (abstract algebra)0103 physical sciencesFOS: Mathematics0101 mathematicsSpectral Theory (math.SP)Mathematical PhysicsMathematicsRepresentation theorem010102 general mathematicsRepresentation (systemics)Mathematical Physics (math-ph)16. Peace & justice47A07 47A55 15A63 46C20Functional Analysis (math.FA)Mathematics - Functional AnalysisTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESsymbolsIndefinite quadratic forms ; representation theorems ; perturbation theory ; Krein spaces ; Dirac operator010307 mathematical physicsPerturbation theory (quantum mechanics)
researchProduct

A C0-Semigroup of Ulam Unstable Operators

2020

The Ulam stability of the composition of two Ulam stable operators has been investigated by several authors. Composition of operators is a key concept when speaking about C0-semigroups. Examples of C0-semigroups formed with Ulam stable operators are known. In this paper, we construct a C0-semigroup (Rt)t&ge

Pure mathematicsPhysics and Astronomy (miscellaneous)General MathematicsMathematicsofComputing_GENERAL02 engineering and technology01 natural sciencesStability (probability)Domain (mathematical analysis)Chebyshev expansion0103 physical sciencescomposition of operatorsData_FILES0202 electrical engineering electronic engineering information engineeringComputer Science (miscellaneous)Infinitesimal generatorC0-semigroupNonlinear Sciences::Pattern Formation and SolitonsMathematicsMathematics::Functional Analysis010308 nuclear & particles physicsSemigroupMathematics::Operator Algebraslcsh:MathematicsUlam stabilityComposition (combinatorics)lcsh:QA1-939Nonlinear Sciences::Chaotic Dynamics<i>C</i><sub>0</sub>-semigroupsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESChemistry (miscellaneous)Chebyshev expansion020201 artificial intelligence & image processingSymmetry
researchProduct

Ulam Stability for the Composition of Operators

2020

Working in the setting of Banach spaces, we give a simpler proof of a result concerning the Ulam stability of the composition of operators. Several applications are provided. Then, we give an example of a discrete semigroup with Ulam unstable members and an example of Ulam stable operators on a Banach space, such that their sum is not Ulam stable. Another example is concerned with a C 0 -semigroup ( T t ) t &ge

Pure mathematicsPhysics and Astronomy (miscellaneous)General MathematicsOpen problemBanach space02 engineering and technology01 natural sciencesStability (probability)closed linear subspacescomposition of operators0202 electrical engineering electronic engineering information engineeringComputer Science (miscellaneous)0101 mathematicsNonlinear Sciences::Pattern Formation and SolitonsMathematicsMathematics::Functional AnalysisSemigrouplcsh:Mathematics010102 general mathematicsUlam stabilityComposition (combinatorics)lcsh:QA1-939Nonlinear Sciences::Chaotic Dynamics<i>C</i><sub>0</sub>-semigroupsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESChemistry (miscellaneous)Computer Science::Programming Languages020201 artificial intelligence & image processingSymmetry
researchProduct

Generalized F-Contractions on Product of Metric Spaces

2019

Our purpose in this paper is to extend the fixed point results of a &psi

Pure mathematicslcsh:MathematicsGeneral Mathematics<i>ψF</i>-contraction generalized <i>ψF</i>-contraction<i>F</i>-contractionNatural numberFixed pointlcsh:QA1-939Metric spaceTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESfixed pointComputer Science (miscellaneous)Product topologyF contractionHigh Energy Physics::ExperimentEngineering (miscellaneous)MathematicsMathematics
researchProduct

A Note on States and Traces from Biorthogonal Sets

2019

In this paper, following Bagarello, Trapani, and myself, we generalize the Gibbs states and their related KMS-like conditions. We have assumed that H 0 , H are closed and, at least, densely defined, without giving information on the domain of these operators. The problem we address in this paper is therefore to find a dense domain D that allows us to generalize the states of Gibbs and take them in their natural environment i.e., defined in L &dagger

Pure mathematicsnon-Hermitian HamiltoniansGibbs statePhysics and Astronomy (miscellaneous)lcsh:MathematicsGeneral Mathematicsbiorthogonal sets of vector010102 general mathematicsGibbs stateslcsh:QA1-93901 natural sciencesDomain (software engineering)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESSettore MAT/05 - Analisi MatematicaChemistry (miscellaneous)Biorthogonal system0103 physical sciencesComputer Science (miscellaneous)0101 mathematics010306 general physicsMathematicsSymmetry
researchProduct