Search results for "predicate"

showing 10 items of 216 documents

Beitrag zum Divisionsproblem for Ultradistributionen und ein Fortsetzungssatz

1979

In this note we give a characterization of ultradistributions, which are supported by a single point. As a consequence we get a necessary condition for the solvability of the division problem for ultradistributions similar to the well-known condition in the case of distributions (cf. Malgrange [12]). Finally an extension theorem for ultradistributions is proved, using exponential growth conditions, that generalize the condition of Lojasiewicz [11].

Mathematics::Functional AnalysisPure mathematicsNumber theoryExponential growthGeneral MathematicsCalculusAlgebraic geometryExtension (predicate logic)Characterization (mathematics)Division (mathematics)Single pointMathematicsManuscripta Mathematica
researchProduct

On Drazin invertibility

2008

The left Drazin spectrum and the Drazin spectrum coincide with the upper semi-B-Browder spectrum and the B-Browder spectrum, respectively. We also prove that some spectra coincide whenever T or T* satisfies the single-valued extension property.

Mathematics::Functional AnalysisPure mathematicsProperty (philosophy)Applied MathematicsGeneral MathematicsMathematics::Rings and AlgebrasSpectrum (functional analysis)Extension (predicate logic)Mathematics::Geometric TopologyMathematics::Algebraic TopologySpectral lineAlgebraDrazin invertible operatorsMathematicsProceedings of the American Mathematical Society
researchProduct

Some Remarks on the Spectral Properties of Toeplitz Operators

2019

In this paper, we study some local spectral properties of Toeplitz operators $$T_\phi $$ defined on Hardy spaces, as the localized single-valued extension property and the property of being hereditarily polaroid.

Mathematics::Functional AnalysisPure mathematicsProperty (philosophy)Weyl-type theoremslocalized single-valued extension propertyGeneral MathematicsSpectral propertiesExtension (predicate logic)Hardy spaceToeplitz matrixsymbols.namesakeToeplitz operatorSettore MAT/05 - Analisi MatematicasymbolsMathematicsMediterranean Journal of Mathematics
researchProduct

Fractional differential equations and related exact mechanical models

2013

Creep and relaxation tests, performed on various materials like polymers, rubbers and so on are well-fitted by power-laws with exponent β ∈ [0, 1] (Nutting (1921), Di Paola et al. (2011)). The consequence of this observation is that the stress-strain relation of hereditary materials is ruled by fractional operators (Scott Blair (1947), Slonimsky (1961)). A large amount of researches have been performed in the second part of the last century with the aim to connect constitutive fractional relations with some mechanical models by means of fractance trees and ladders (see Podlubny (1999)). Recently, Di Paola and Zingales (2012) proposed a mechanical model that corresponds to fractional stress-…

Mechanical systems Power-law description Fractional hereditary materials Discretized models Modal transformation.Differential equationFractional hereditary materialDiscretized modelMathematical analysisRelaxation (iterative method)Extension (predicate logic)Mechanical systems Power-law description Fractional hereditary materials Discretized modelsModal transformationDashpotMechanical systemMechanical systemComputational MathematicsComputational Theory and MathematicsCreepModeling and SimulationPower-law descriptionModal transformationLinear combinationRepresentation (mathematics)Settore ICAR/08 - Scienza Delle CostruzioniMathematics
researchProduct

Motivic matching strategies for automated pattern extraction

2007

This article proposes an approach to the problem of automated extraction of motivic patterns in monodies. Different musical dimensions, restricted in current approaches to the most prominent melodic and rhythmic features at the surface level, are defined. The proposed strategy of detection of repeated patterns consists of an exact matching of the successive parameters forming the motives. We suggest a generalization of the multiple-viewpoint approach that allows a variability of the types of parameters (melodic, rhythmic, etc.) defining each successive extension of these motives. This enables us to take into account a more general class of motives, called heterogeneous motives, which inclu…

MelodyMatching (statistics)Generalizationbusiness.industry05 social sciencesExperimental and Cognitive PsychologyClass (philosophy)06 humanities and the artsExtension (predicate logic)computer.software_genre050105 experimental psychology060404 musicTask (project management)0501 psychology and cognitive sciencesArtificial intelligenceRepresentation (mathematics)businessAlgorithmcomputer0604 artsMusicScope (computer science)Natural language processingMathematicsMusicae Scientiae
researchProduct

Character correspondences in blocks with normal defect groups

2014

Abstract In this paper we give an extension of the Glauberman correspondence to certain characters of blocks with normal defect groups.

Modular representation theoryAlgebra and Number Theory010102 general mathematicsCharacter theoryExtension (predicate logic)01 natural sciencesAlgebraCharacter (mathematics)Compact group0103 physical sciences010307 mathematical physicsClassification of finite simple groups0101 mathematicsGroup theoryRepresentation theory of finite groupsMathematicsJournal of Algebra
researchProduct

Are There Essentially Incomplete Knowledge Representation Systems?

2001

A mathematical model of a knowledge representation system (KR-system) is proposed. Its prototype is the concept of an information system in the sense of Z. Pawlak; however, the model is, in fact, a substantial extension of the latter. In our model, attributes may form an arbitrary category, where morphisms represent built-in functional dependencies, and uncertainty of knowledge is treated in terms of category theory via monads. Several notions of simulation are also considered for such KR-systems. In this general setting, the semiphilosophical problem mentioned in the title, still open, is given a precise meaning.

MorphismTheoretical computer scienceKnowledge representation and reasoningComplete informationComputer scienceMathematics::Category TheoryFuzzy setInformation systemCalculusRepresentation (systemics)Extension (predicate logic)Category theoryFunctional dependency
researchProduct

An integrated architecture for speech-input multi-target machine translation

2007

The aim of this work is to show the ability of finite-state transducers to simultaneously translate speech into multiple languages. Our proposal deals with an extension of stochastic finite-state transducers that can produce more than one output at the same time. These kind of devices offer great versatility for the integration with other finite-state devices such as acoustic models in order to produce a speech translation system. This proposal has been evaluated in a practical situation, and its results have been compared with those obtained using a standard mono-target speech transducer.

Multi targetIntegrated architectureMachine translationComputer Science::SoundComputer scienceSpeech translationSpeech recognitionSpeech inputComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Extension (predicate logic)computer.software_genrecomputerHuman Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers on XX - NAACL '07
researchProduct

Speech-input multi-target machine translation

2007

In order to simultaneously translate speech into multiple languages an extension of stochastic finite-state transducers is proposed. In this approach the speech translation model consists of a single network where acoustic models (in the input) and the multilingual model (in the output) are embedded. The multi-target model has been evaluated in a practical situation, and the results have been compared with those obtained using several mono-target models. Experimental results show that the multi-target one requires less amount of memory. In addition, a single decoding is enough to get the speech translated into multiple languages.

Multi targetMachine translationComputer Science::SoundComputer scienceSpeech translationSpeech recognitionSpeech inputComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Extension (predicate logic)computer.software_genrecomputerDecoding methodsProceedings of the Second Workshop on Statistical Machine Translation - StatMT '07
researchProduct

A New Combinatorial Approach to Sequence Comparison

2008

In this paper we introduce a new alignment-free method for comparing sequences which is combinatorial by nature and does not use any compressor nor any information-theoretic notion. Such a method is based on an extension of the Burrows-Wheeler Transform, a transformation widely used in the context of Data Compression. The new extended transformation takes as input a multiset of sequences and produces as output a string obtained by a suitable rearrangement of the characters of all the input sequences. By using such a transformation we give a general method for comparing sequences that takes into account how much the characters coming from the different input sequences are mixed in the output…

MultisetTheoretical computer scienceBurrows–Wheeler transformSettore INF/01 - InformaticaComputer scienceBurrows-Wheeler transform; Sequence comparisonString (computer science)Context (language use)Extension (predicate logic)ComparisonInformation theoryGenomeBurrows-Wheeler transform; ComparisonTheoretical Computer ScienceTransformation (function)CategorizationComputational Theory and MathematicsPhylogeneticsSequence comparisonTheory of computationBurrows-Wheeler TransformSequence ComparisonAlgorithmMathematicsData compression
researchProduct