Search results for "project"

showing 10 items of 3466 documents

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

Segre and the Foundations of Geometry: From Complex Projective Geometry to Dual Numbers

2016

In 1886 Corrado Segre wrote to Felix Klein about his intention to study ‘geometrie projective pure’, completing and developing the work of von Staudt. He would continue this research project throughout the whole of his scientific life. In 1889, following a suggestion of Segre, Mario Pieri published his translation of the Geometrie der Lage, and from 1889 to 1890 Segre published four important papers, “Un nuovo campo di ricerche geometriche”, in which he completely developed complex projective geometry, considering new mathematical objects such as antiprojectivities and studying the Hermitian forms from a geometrical point of view with the related ‘hyperalgebraic varieties’. Segre developed …

AlgebraComplex projective spaceProjective spaceErlangen programProjective differential geometryFoundations of geometryPencil (mathematics)Synthetic geometryMathematicsProjective geometry
researchProduct

Quasi-Projective Varieties

2000

We have developed the theory of affine and projective varieties separately. We now introduce the concept of a quasi-projective variety, a term that encompasses both cases. More than just a convenience, the notion of a quasi-projective variety will eventually allow us to think of an algebraic variety as an intrinsically defined geometric object, free from any particular embedding in affine or projective space.

AlgebraComputer scienceAffine spaceEmbeddingProjective spaceAlgebraic varietyAffine transformationVariety (universal algebra)Projective testProjective variety
researchProduct

The Catalonian Conflict : an Interpretive Structural Model

2019

The methodology ISM (Interpretive Structural Modeling) is used to study the conflict in Catalonia, listing a list of factors and the influences between them, building from them the Matrix of Influences and the Matrix of Scope, from which they classify the factors into levels and a flow diagram is drawn up, concluding what the possible paths of evolution of said conflict would be

AlgebraData flow diagramMatrix (mathematics)Scope (project management)UNESCO::FILOSOFÍAComputer science:FILOSOFÍA [UNESCO]Listing (computer)General Medicine
researchProduct

QUANTIZATION OPERATORS ON QUADRICS

2008

AlgebraGeometric quantizationGeneral MathematicsComplex projective spaceQuantization (signal processing)Geodesic flowHopf fibrationMathematicsKyushu Journal of Mathematics
researchProduct

A class of unitals of order q which can be embedded in two different planes of order q2

1987

By deriving the desarguesian plane of order q2 for every prime power q a unital of order q is constructed which can be embedded in both the Hall plane and the dual of the Hall plane of order q2 which are non-isomorphic projective planes. The representation of translation planes in the fourdimensional projective space of J. Andre and F. Buekenhouts construction of unitals in these planes are used. It is shown that the full automorphism groups of these unitals are just the collineation groups inherited from the classical unitals.

AlgebraPure mathematicsCollineationReal projective planeDuality (projective geometry)Translation planeFinite geometryGeometry and TopologyProjective planeFano planeNon-Desarguesian planeMathematicsJournal of Geometry
researchProduct

Kollineationen und Schliessungssätze für Ebene Faserungen

1979

Every affine central collineation of a translation plane π induces a special collineation of the projective space π spanned by the spreadF belonging to π. Here the relations between these special collineations of π and certain incidence propositions inF are investigated; so new proofs are given for some characterisations of (A,B)-regular spreads included in [7].

AlgebraPure mathematicsCollineationTranslation planeProjective spaceGeometry and TopologyAffine transformationMathematical proofIncidence (geometry)MathematicsJournal of Geometry
researchProduct

Fibred Categories and the Six Functors Formalism

2019

In Section 1, we introduce the basic language used in this book, the so-called premotivic categories and their functoriality. This is an extension of the classical notion of fibered categories. They appear with different categorical structures. In Section2, the language of premotivic categories is specialized to that of triangulated categories and to algebraic geometry. We introduce several axioms of such categories which ultimately will lead to the full six functors formalism. An emphasis is given on the study of the main axioms, with a special care about the so-called localization axiom. Then in Section 3, the general theory of descent is formulated in the language of premotivic model cat…

AlgebraSix operationsFunctorMathematics::Category TheoryFibered knotAlgebraic geometrySpecial careProjective testCategorical variableAxiomMathematics
researchProduct

Modular quintics inℙ4

2003

We will examine the arithmetic of some of the members of a pencil of symmetric quintics in projective 4-space. We will give evidence for the modularity of some of the exceptional members (even the non-rigid ones) and give a proof in one rigid case. (© 2003 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Algebrabusiness.industryGeneral MathematicsModular formModular designProjective testbusinessPencil (mathematics)MathematicsMathematische Nachrichten
researchProduct

A note on conjugation involutions on homotopy complex projective spaces

1986

Algebran-connectedPure mathematicsHomotopy categoryGeneral MathematicsComplex projective spaceWhitehead theoremProjective spaceCofibrationQuaternionic projective spaceRegular homotopyMathematicsJapanese journal of mathematics. New series
researchProduct