Search results for "abstract"

showing 10 items of 1959 documents

Complex powers of elliptic pseudodifferential operators

1986

The aim of this paper is the construction of complex powers of elliptic pseudodifferential operators and the study of the analytic properties of the corresponding kernels kS (x,y). For x=y, the case of principal interest, the domain of holomorphy and the singularities of kS (x,x) are shown to depend on the asymptotic expansion of the symbol. For classical symbols, kS (x,x) is known to be meromorphic on ℂ with simple poles in a set of equidistant points on the real axis. In the more general cases considered here, the singularities may be distributed over a half plane and kS (x,x) can not always be extended to337-2. An example is given where kS (x,x) has a vertical line as natural boundary.

Algebra and Number TheorySimple (abstract algebra)Plane (geometry)Mathematical analysisDomain of holomorphyBoundary (topology)Gravitational singularityAsymptotic expansionComplex planeAnalysisMeromorphic functionMathematicsIntegral Equations and Operator Theory
researchProduct

TWO-DIMENSIONAL FINITE STATE RECOGNIZABILITY

1996

The purpose of this paper is to investigate about a new notion of finite state recognizability for two-dimensional (picture) languages. This notion takes as starting point the characterization of one-dimensional recognizable languages in terms of local languages and projections. Such notion can be extended in a natural way to the two-dimensional case. We first introduce a notion of local picture language and then we define,a recognizable picture language as a projection of a local picture language. The family of recognizable picture languages is denoted by REC. We study some combinatorial and language-theoretic properties of family REC. In particular we prove some closure properties with re…

Algebra and Number TheoryString (computer science)Abstract family of languagesComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Ontology languagePicture languageCone (formal languages)Theoretical Computer ScienceUndecidable problemAlgebraComputational Theory and MathematicsClosure (mathematics)Regular languageComputer Science::Programming LanguagesComputer Science::Formal Languages and Automata TheoryInformation SystemsMathematicsFundamenta Informaticae
researchProduct

Nonstochastic languages as projections of 2-tape quasideterministic languages

1998

A language L (n) of n-tuples of words which is recognized by a n-tape rational finite-probabilistic automaton with probability 1-e, for arbitrary e > 0, is called quasideterministic. It is proved in [Fr 81], that each rational stochastic language is a projection of a quasideterministic language L (n) of n-tuples of words. Had projections of quasideterministic languages on one tape always been rational stochastic languages, we would have a good characterization of the class of the rational stochastic languages. However we prove the opposite in this paper. A two-tape quasideterministic language exists, the projection of which on the first tape is a nonstochastic language.

AlgebraClass (set theory)TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFinite-state machineRegular languageProjection (mathematics)Deterministic automatonComputer scienceProbabilistic automatonCharacterization (mathematics)AlgorithmAutomaton
researchProduct

Algebra Without Context Is Empty, Visualizations Without Concepts Are Blind

2018

In the acquisition and formalization of mathematical concepts, the transition between algebraic and geometric representations and the use of different modes of representation contextualizes abstract algebra. Regrettably, the role of geometry is often limited to the visualization of algebraic facts and figurative memory aids. Such visualizations are blind for the underlying concepts, since transitions between concepts in different representations assume the existence of symbols, language, rules and operations in both systems. The history of mathematics offers contexts to develop geometrical language and intuition in areas currently being taught in school in a purely algebraic fashion. The ex…

AlgebraComputer scienceHistory of mathematicsGreek mathematicsContext (language use)Algebraic numberRepresentation (mathematics)Literal and figurative languageEngineering mathematicsAbstract algebra
researchProduct

On P-compatible hybrid identities and hyperidentities

1994

P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.

AlgebraMathematical logicSet (abstract data type)Structure (mathematical logic)History and Philosophy of ScienceLogicVariety (universal algebra)Computational linguisticsMathematicsStudia Logica
researchProduct

Applied Linear Algebra: Electrical Networks

2016

This chapter shows how mathematical theory is not an abstract subject which has no connection with the real world. On the contrary, this entire book is written by stating that mathematics in general, and algebra in this case, is an integrating part of every day real life and that the professional life of computational scientists and engineers requires a solid mathematical background. In order to show how the contents of the previous chapters have an immediate technical application, the last chapter of this book describes a core engineering subject, i.e. electrical networks, as an algebraic exercise. Furthermore, this chapter shows how the combination of the algebraic topics give a natural r…

AlgebraMathematical theorySet (abstract data type)lawElectrical networkCore (graph theory)Linear algebraConnection (algebraic framework)Algebraic numberRepresentation (mathematics)Mathematicslaw.invention
researchProduct

On mutually permutable products of finite groups

2005

Abstract In this paper a structural theorem about mutually permutable products of finite groups is obtained. This result is used to derive some results on mutually permutable products of groups whose chief factors are simple. Some earlier results on mutually permutable products of supersoluble groups appear as particular cases.

AlgebraMathematics::CombinatoricsAlgebra and Number TheoryStructural theoremSimple (abstract algebra)Permutable primeMathematicsJournal of Algebra
researchProduct

Codimension growth of special simple Jordan algebras

2009

Let $R$ be a special simple Jordan algebra over a field of characteristic zero. We exhibit a noncommutative Jordan polynomial $f$ multialternating on disjoint sets of variables which is not a polynomial identity of $R$. We then study the growth of the polynomial identities of the Jordan algebra $R$ through an analysis of its sequence of Jordan codimensions. By exploiting the basic properties of the polynomials $f$, we are able to compute the exponential rate of growth of the sequence of Jordan codimensions of $R$ and prove that it equals the dimension of the Jordan algebra over its center. We also show that for any finite dimensional special Jordan algebra, such exponential rate of growth c…

AlgebraPure mathematicsJordan algebraSimple (abstract algebra)Applied MathematicsGeneral MathematicsCodimensionMathematicsJordan algebra simple
researchProduct

Conditional measures and their applications to fuzzy sets

1991

Abstract Given a ⊥-decomposable measure with respect to a continuous t-conorm, as introduced by the author in an earlier paper (see Section 1), we can construct ⊥-conditional measures as implications. These fulfil a ‘generalized product law’ replacing the product in the classical law by any other strict t-norm ⊥ and turn out to be decomposable with respect to an operation ⊥ V depending on ⊥, ⊥ and the condition set V (Section 2). More general, conditional measures are introduced axiomatically and are shown to be ⊥-conditional measures with respect to some ⊥-decomposable measure (Section 3). ‘Bayesian-like’ models are given which are alternatives to that presented by the author in a recent p…

AlgebraSet (abstract data type)Artificial IntelligenceLogicSection (archaeology)Product (mathematics)Fuzzy setCalculusInformation measureConstruct (python library)Bayesian inferenceMeasure (mathematics)MathematicsFuzzy Sets and Systems
researchProduct

Nondivisibility among character degrees II: Nonsolvable groups

2007

We say that a finite group G is an NDAD-group (no divisibility among degrees) if for any 1 < a < b in the set of degrees of the complex irreducible characters of G, a does not divide b. In this article, we determine the nonsolvable NDAD-groups. Together with the work of Lewis, Moreto and Wolf (J. Group Theory 8 (2005)), this settles a problem raised by Berkovich and Zhmud’, which asks for a classification of the NDAD-groups.

AlgebraSet (abstract data type)Pure mathematicsFinite groupCharacter (mathematics)General MathematicsDivisibility ruleGroup theoryMathematicsJournal of the London Mathematical Society
researchProduct