Search results for "ESA"

showing 10 items of 11914 documents

Alesa Archonidea. Il territorio

2008

Si presentano in sintesi le ricerche sul territorio della città di Alesa Arconidea

Alesa Arconideaprospezione archeologicaSettore L-ANT/09 - Topografia Antica
researchProduct

Paesaggio catastale, paesaggio letterario e archeologia del paesaggio. Tre percezioni a confronto

2008

Our aim is to compare three possible and different perceptions of the agricultural landscape of Hellenistic and Roman Sicily: the "cadrastal" landscape as shown in the Tables of Halaisa, the literary landscape, as evidenced by sources as the poetry of Theocritus, and the landscape reconstructed through archaeological surveys (landscape archaeology). Each of these readings, with reference to the real territory of Halaisa, reveals itself as a different perception, mediated by the elements considered, the available data and the purpose of the approach: in the Tables the detection of the boundaries of public-owned lots, in the poetry of Theocritus the creation of an ideal landscape, connected, …

Alesa territorio paesaggio agrario età ellenistico-romanaSettore L-ANT/09 - Topografia Antica
researchProduct

Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra

2019

AbstractWe propose three cryptographic key exchange protocols in the octonion algebra. Using the totient function, defined for integral octonions, we generalize the RSA public-key cryptosystem to the octonion arithmetics. The two proposed symmetric cryptographic key exchange protocols are based on the automorphism and the derivation of the octonion algebra.

Algebra and Number TheoryApplied Mathematics020206 networking & telecommunicationsEuler's totient function0102 computer and information sciences02 engineering and technologyAutomorphism01 natural sciencesOctonionOctavian totient functionQuaternion cryptographyAlgebraOctonion cryptographysymbols.namesakeOctonion RSA algorithm010201 computation theory & mathematicsTheory of computation0202 electrical engineering electronic engineering information engineeringsymbolsCryptosystemNon-associative cryptographyOctonion algebraMathematicsApplicable Algebra in Engineering, Communication and Computing
researchProduct

Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma

2017

The paper is concerned with the problem of building models for first-order languages from the perspective of the classic paper of Rasiowa and Sikorski [9]. The central idea, developed in this paper, consists in constructing first-order models from individual variables. The key notion of a Rasiowa–Sikorski set of formulas for an arbitrary countable language L is examined. Each Rasiowa–Sikorski set defines a countable model for L . Conversely, every countable model for L is determined by a Rasiowa–Sikorski set. The focus is on constructing Rasiowa–Sikorski sets by applying forcing techniques restricted to Boolean algebras arising from the subsets of the set of atomic formulas of L .

Algebra and Number TheoryForcing (recursion theory)Lindenbaum setUltrafilterFirst orderBoolean algebraTheoretical Computer ScienceFirst-order logicBoolean algebraRasiowa–Sikorski setAlgebrasymbols.namesakePerspective (geometry)substitutional semanticsComputational Theory and MathematicsforcingRasiowa–Sikorski lemmasymbolsultrafilterInformation SystemsMathematicsfirst-order logicFundamenta Informaticae
researchProduct

Regularity of the solution to a class of weakly singular fredholm integral equations of the second kind

1979

Continuity and differentiability properties of the solution to a class of Fredholm integral equations of the second kind with weakly singular kernel are derived. The equations studied in this paper arise from e.g. potential problems or problems of radiative equilibrium. Under reasonable assumptions it is proved that the solution possesses continuous derivatives in the interior of the interval of integration but may have mild singularities at the end-points.

Algebra and Number TheoryMathematical analysisFredholm integral equationSingular integralIntegral transformFredholm theoryIntegral equationsymbols.namesakeSingular solutionsymbolsGravitational singularityDifferentiable functionAnalysisMathematicsIntegral Equations and Operator Theory
researchProduct

A Criterium for the Strict Positivity of the Density of the Law of a Poisson Process

2011

We translate in semigroup theory our result (Leandre, 1990) giving a necessary condition so that the law of a Markov process with jumps could have a strictly positive density. This result express, that we have to jump in a finite number of jumps in a "submersive" way from the starting point to the end point if the density of the jump process is strictly positive in . We use the Malliavin Calculus of Bismut type of (Leandre, (2008;2010)) translated in semi-group theory as a tool, and the interpretation in semi-group theory of some classical results of the stochastic analysis for Poisson process as, for instance, the formula giving the law of a compound Poisson process.

Algebra and Number TheorySemigroupStochastic processlcsh:MathematicsApplied MathematicsMarkov processlcsh:QA1-939Malliavin calculussymbols.namesakeLawCompound Poisson processJumpsymbolsFinite setJump processAnalysisMathematicsAdvances in Difference Equations
researchProduct

Algebraic and logical characterizations of deterministic linear time classes

1997

In this paper an algebraic characterization of the class DLIN of functions that can be computed in linear time by a deterministic RAM using only numbers of linear size is given. This class was introduced by Grandjean, who showed that it is robust and contains most computational problems that are usually considered to be solvable in deterministic linear time.

AlgebraClass (set theory)Turing machinesymbols.namesakeGlobal functionsymbolsComputational problemBinary stringsAlgebraic numberCharacterization (mathematics)Time complexityMathematics
researchProduct

On Hurwitz spaces of coverings with one special fiber

2009

Let X X' Y be a covering of smooth, projective complex curves such that p is a degree 2 etale covering and f is a degree d covering, with monodromy group Sd, branched in n + 1 points one of which is a special point whose local monodromy has cycle type given by the partition e = (e1,...,er) of d. We study such coverings whose monodromy group is either W(Bd) or wN(W(Bd))(G1)w-1 for some w in W(Bd), where W(Bd) is the Weyl group of type Bd, G1 is the subgroup of W(Bd) generated by reflections with respect to the long roots ei - ej and N(W(Bd))(G1) is the normalizer of G1. We prove that in both cases the corresponding Hurwitz spaces are not connected and hence are not irreducible. In fact, we s…

AlgebraCombinatoricsWeyl groupsymbols.namesakeMonodromyGeneral MathematicssymbolsPartition (number theory)Settore MAT/03 - GeometriaCentralizer and normalizerMathematicsHurwitz spaces connected components special fiber Weyl groups of type B_d
researchProduct

Beyond frames: Semi-frames and reproducing pairs

2017

Frames are nowadays a standard tool in many areas of mathematics, physics, and engineering. However, there are situations where it is difficult, even impossible, to design an appropriate frame. Thus there is room for generalizations, obtained by relaxing the constraints. A first case is that of semi-frames, in which one frame bound only is satisfied. Accordingly, one has to distinguish between upper and lower semi-frames. We will summarize this construction. Even more, one may get rid of both bounds, but then one needs two basic functions and one is led to the notion of reproducing pair. It turns out that every reproducing pair generates two Hilbert spaces, conjugate dual of each other. We …

AlgebraInner product spacesymbols.namesakeAreas of mathematicsLattice (order)Hilbert spacesymbolsRigged Hilbert spaceLp space
researchProduct

SOME SPECTRAL PROPERTIES OF MULTIPLIERS ON SEMI-PRIME BANACH ALGEBRAS

1995

Abstract We extend to arbitrary semi-prime Banach algebras some results of spectral theory and Fredholm theory obtained in [1] and [2] for multipliers defined in commutative semi-simple Banach algebras.

AlgebraMathematics::Functional Analysissymbols.namesakeMathematics (miscellaneous)Spectral theorySpectrum (functional analysis)Spectral propertiessymbolsBanach manifoldCommutative propertyFredholm theoryPrime (order theory)MathematicsQuaestiones Mathematicae
researchProduct