Search results for "predicate"

showing 10 items of 216 documents

Grammars++ for modelling information in text

1999

Abstract Grammars provide a convenient means to describe the set of valid instances in a text database. Flexibility in choosing a grammar can be exploited to provide information modelling capability by designing productions in the grammar to represent entities and relationships of interest to database applications. Additional constraints can be specified by attaching predicates to selected nonterminals in the grammar. When used for database definition, grammars can provide the functionality that users have come to expect of database schemas. Extended grammars can also be used to specify database manipulation, including query, update, view definition, and index specification.

Computer scienceViewmedia_common.quotation_subjectComputerApplications_COMPUTERSINOTHERSYSTEMScomputer.software_genreQuery languageDatabase designAdaptive grammarRule-based machine translationmedia_commonGrammarProgramming languagebusiness.industryDatabase schemaPredicate (grammar)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESExtended Affix GrammarHardware and ArchitectureAffix grammarStochastic context-free grammarSynchronous context-free grammarArtificial intelligenceL-attributed grammarbusinesscomputerSoftwareNatural language processingInformation SystemsInformation Systems
researchProduct

When a convergence of filters is measure-theoretic

2022

Abstract Convergence almost everywhere cannot be induced by a topology, and if measure is finite, it coincides with almost uniform convergence and is finer than convergence in measure, which is induced by a metrizable topology. Measures are assumed to be finite. It is proved that convergence in measure is the Urysohn modification of convergence almost everywhere, which is pseudotopological. Extensions of these convergences from sequences to arbitrary filters are discussed, and a concept of measure-theoretic convergence is introduced. A natural extension of convergence almost everywhere is neither measure-theoretic, nor finer than a natural extension of convergence in measure. A straightforw…

Convergence in measureMetrization theoremUniform convergenceConvergence (routing)Applied mathematicsAlmost everywhereTopology (electrical circuits)Geometry and TopologyExtension (predicate logic)Measure (mathematics)MathematicsTopology and its Applications
researchProduct

Nomi predicativi. Articoli, verbi supporto, finiture sintattiche

2022

The idea that the verb is always the sentence core (verbocentrism) has a long history. In the last century a number of researchers started doubting it. This book shows some of the reasons why verbs should not some times be considered the kernel of a sentence. The investigated constructions come from Italian and English and have properties which clearly derive from the post-verbal noun. Some new arguments are presented, in relation to copulative constructions, support verb constructions, and serial verbs. The overall picture which these investigations produce show first how weak verbocentrism is and, second, how verbocentrism can be easily overcome.

Copulative constructionsupport verb construction noun predicatesSettore L-LIN/01 - Glottologia E Linguistica
researchProduct

Ray-Space-Based Multichannel Nonnegative Matrix Factorization for Audio Source Separation

2021

Nonnegative matrix factorization (NMF) has been traditionally considered a promising approach for audio source separation. While standard NMF is only suited for single-channel mixtures, extensions to consider multi-channel data have been also proposed. Among the most popular alternatives, multichannel NMF (MNMF) and further derivations based on constrained spatial covariance models have been successfully employed to separate multi-microphone convolutive mixtures. This letter proposes a MNMF extension by considering a mixture model with Ray-Space-transformed signals, where magnitude data successfully encodes source locations as frequency-independent linear patterns. We show that the MNMF alg…

Covariance functionComputer scienceApplied Mathematics020206 networking & telecommunications02 engineering and technologyExtension (predicate logic)Mixture modelMatrix decompositionNon-negative matrix factorizationTime–frequency analysisblind source separationSignal Processing0202 electrical engineering electronic engineering information engineeringSource separationNon -negative matrix factorization (NMF)array signal processingElectrical and Electronic EngineeringAlgorithmIEEE Signal Processing Letters
researchProduct

On the Turkic Origin of Hungarianigen'yes'

2004

The present paper discusses the origin of the Hungarian particle igen 'yes', for which no convincing etymology has been presented so far. It is suggested that it is a selective copy of Turkic egen ~ igen (< erken), an indirective and/or emphatic rhetorical particle ('evidently', 'obviously', 'apparently', 'as it appears', 'it turns out that', 'indeed'), derived from er- 'to be' and used as part of the predicate core and/or as a postpredicate element to convey consenting or admitting answers.

Cultural StudiesLiteratureHistoryLiterature and Literary Theorybusiness.industryPhilosophyRhetorical questionEtymologyTheologybusinessPredicate (grammar)Acta Orientalia Academiae Scientiarum Hungaricae
researchProduct

Heat Kernel Measure on Central Extension of Current Groups in any Dimension

2006

We define measures on central extension of current groups in any dimension by using infinite dimensional Brownian motion.

Current (mathematics)lcsh:MathematicsMathematical analysisProbability (math.PR)central extensionExtension (predicate logic)Group Theory (math.GR)lcsh:QA1-939Measure (mathematics)Dimension (vector space)Mathematics::ProbabilityFOS: MathematicsGeometry and TopologyBrownian motionMathematics - Group TheoryMathematical PhysicsAnalysisHeat kernelBrownian motionMathematics - ProbabilityMathematicscurrent groups
researchProduct

Response properties with explicitly correlated coupled-cluster methods using a Slater-type correlation factor and cusp conditions

2009

The recently proposed extension of the explicitly correlated coupled-cluster ansatz using cusp conditions [A. Kohn, J. Chem. Phys. 130, 104104 (2009)] is tested for suitability in the calculation of response properties. For this purpose, static and dynamic electrical properties up to ESHG hyperpolarizabilities as well as optical rotations have been computed within the CCSD(F12) model. It is shown that effectively converged correlation contributions can reliably be obtained using augmented quadruple zeta basis sets already. The ansatz is optionally equipped with an extension capable of reducing the one-electron basis set error. A further simplification of the method specific Lagrangian aimed…

Cusp (singularity)Coupled clusterBasis (linear algebra)ChemistryQuantum mechanicsGeneral Physics and AstronomyStatistical physicsExtension (predicate logic)Physical and Theoretical ChemistryOptical rotationType (model theory)Basis setAnsatzThe Journal of Chemical Physics
researchProduct

Stochastic multicriteria acceptability analysis using the data envelopment model

2006

Abstract Data envelopment analysis (DEA) and stochastic multicriteria acceptability analysis (SMAA-2) are methods for evaluating alternatives based on multiple criteria. While DEA is mainly an ex-post tool used for classifying alternatives into efficient and inefficient ones, SMAA-2 is an ex-ante tool for supporting multiple criteria decision-making. Both methods use a kind of value function where the importance of criteria is modeled using weights. Unlike many other methods, neither DEA nor SMAA-2 requires decision-makers’ weights as input. Instead, these so-called non-parametric methods explore the weight space in order to identify weights favorable for each alternative. This paper introd…

Decision support systemStochastic multicriteria acceptability analysisMathematical optimizationInformation Systems and ManagementGeneral Computer ScienceOperations researchWeight spaceStochastic efficiencyExtension (predicate logic)Management Science and Operations ResearchIndustrial and Manufacturing EngineeringModeling and SimulationBellman equationData envelopment analysisEnvelopmentMathematicsEuropean Journal of Operational Research
researchProduct

Extension of the Applicability of Jäntti's Method to the Fast Calculation of Desorption Data

2000

The time for sorption measurements may be reduced substantially by measuring several values at short time intervals at the beginning of a kinetic curve and extrapolating them to the equilibrium value. The method used by Jäntti for simple adsorption processes has been extended to complicated processes described by a second-order differential equation. A simulated example is provided.

Differential equationChemistryGeneral Chemical EngineeringExtrapolationlcsh:QD450-801ThermodynamicsSorptionlcsh:Physical and theoretical chemistrySurfaces and InterfacesGeneral ChemistryExtension (predicate logic)MechanicsAdsorptionDesorptionKinetic curveGravimetric analysisAdsorption Science & Technology
researchProduct

Uncertainty measures—Problems concerning additivity

2009

Additivity of an uncertainty measure on an MV-algebra has a clear meaning. If the divisibility is dropped, we come up to a so-called Girard algebra. There we discuss strong resp. weak additivity based on so-called divisible disjoint unions resp. on additivity for all sub-MV-algebras. We obtain a description of those extensions from additive measures on an MV-algebra to the canonical Girard algebra extension of pairs which are strongly additive and valuation measures. Finally, we prove the non-existence of strongly additive measure extensions, if the underlying MV-algebra is a finite chain with more than two non-trivial elements.

Discrete mathematicsArtificial IntelligenceLogicAdditive functionMV-algebraExtension (predicate logic)Divisibility ruleDisjoint setsSigma additivityMeasure (mathematics)Valuation (algebra)MathematicsFuzzy Sets and Systems
researchProduct