Search results for "Matematica"

showing 10 items of 1637 documents

MR3183843 Bermúdez, Teresa; Martinón, Antonio; Negrín, Emilio On expectation of some products of Wick powers. J. Appl. Funct. Anal. 9 (2014), no. 1-2…

2014

Expectation WickSettore MAT/05 - Analisi Matematica
researchProduct

Extensions of positive linear functionals on a *-algebra

2010

The family of all extensions of a nonclosable hermitian positive linear functional defined on a dense *-subalgebra $\Ao$ of a topological *-algebra $\A[\tau]$ is studied with the aim of finding extensions that behave regularly. Under suitable assumptions, special classes of extensions (positive, positively regular, absolutely convergent) are constructed. The obtained results are applied to the commutative integration theory to recover from the abstract setup the well-known extensions of Lebesgue integral and, in noncommutative integration theory, for introducing a generalized non absolutely convergent integral of operators measurable w. r. to a given trace $\sigma$.

Extensions; positive linear functionalsExtensionSettore MAT/05 - Analisi Matematicapositive linear functionals
researchProduct

Chanching the externalizing and internalizing spectrum of personality with self-regultaion therapy

2018

This article presents an integrator model of changes in the externalizing and internalizing factors of personality grouped in the General Factor of Personality (GFP), based on the Unique Trait Personality Theory (UTPT) [1]. This theory proposes that a continuum exists between personality and psychopathology, as well as the existence of a GFP that occupies the apex of the hierarchy of personality, and extends from an impulsiveness-and-aggressiveness pole (externalizing spectrum) to an anxiety-and-introversion pole (internalizing spectrum). With an experimental intra-group design, 30 regular users of stimulant drugs (cocaine and amphetamine) used the Self-Regulation Therapy (SRT). The SRT is …

Externalizing spectrummedicine.medical_treatmentmedia_common.quotation_subjectHierarchical structure of the Big FiveDevelopmental psychologySelf-Regulation TherapyUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]medicinePersonalityAmphetaminemedia_commonRelaxation (psychology)Classical conditioningGeneral MedicineTerapèuticaGeneral Factor of PersonalityStimulantInternalizing spectrumTraitDroguesPersonalitatPsychologyMATEMATICA APLICADAStimulant drugs.medicine.drugPsychopathology
researchProduct

La personalidad de las sociedades. Descripción y dinámica

2018

[EN] Extraversion is considered as the fundamental and basic dimension of personality from the Unique Trait Personality Theory [1]. Extraversion, as temperamental dimension, involves cognitive dimensions such as racionality and emotionality. Carl Jung¿s theory of types [2] states a complex dynamics among these dimensions. From this theory a typology of personality arises. Amigó [3] adapted Jung¿s theory to applye it to societies. A reflexion about history is given by the dynamics of societies through time. This approach starts from Jung's idea of the opposite dimensions that complement and imprint movement, and from Amigó's theory about societies survivance [4], which argues that crises cau…

ExtraversiónUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]Carl JungGeneral MedicineTeoría de la supervivencia de las sociedadesPersonalitatSocieties survivance theoryGeneral Factor of PersonalityMATEMATICA APLICADAFactor General de PersonalidadExtraversion
researchProduct

A probabilistic estimation and prediction technique for dynamic continuous social science models: The evolution of the attitude of the Basque Country…

2015

In this paper, a computational technique to deal with uncertainty in dynamic continuous models in Social Sciences is presented.Considering data from surveys,the method consists of determining the probability distribution of the survey output and this allows to sample data and fit the model to the sampled data using a goodness-of-fit criterion based the χ2-test. Taking the fitted parameters that were not rejected by the χ2-test, substituting them into the model and computing their outputs, 95% confidence intervals in each time instant capturing the uncertainty of the survey data (probabilistic estimation) is built. Using the same set of obtained model parameters, a prediction over …

FOS: Computer and information sciencesAttitude dynamicsProbabilistic predictionComputer sciencePopulationDivergence-from-randomness modelSample (statistics)computer.software_genreMachine Learning (cs.LG)Probabilistic estimationSocial scienceeducationProbabilistic relevance modeleducation.field_of_studyApplied MathematicsProbabilistic logicConfidence intervalComputer Science - LearningComputational MathematicsSocial dynamic modelsProbability distributionSurvey data collectionData miningMATEMATICA APLICADAcomputerApplied Mathematics and Computation
researchProduct

Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation

2013

In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events. We recall that quasi conjunction is a basic notion for defining consistency of conditional knowledge bases. By deepening some results given in a previous paper we show that, given any finite family of conditional events F and any nonempty subset S of F, the family F p-entails the quasi conjunction C(S); then, given any conditional event E|H, we analyze the equivalence between p-entailment of E|H from F and p-entailment of E|H from C(S), where S is some nonempty subset of F.…

FOS: Computer and information sciencesClass (set theory)Goodman–Nguyen’s inclusion relationQAND ruleSettore MAT/06 - Probabilita' E Statistica MatematicaComputer Science - Artificial IntelligenceMathematics - Statistics TheoryStatistics Theory (math.ST)Logical consequencegoodman-nguyen's inclusion relationTheoretical Computer ScienceArtificial IntelligenceQuasi conjunctionFOS: MathematicsEquivalence (measure theory)MathematicsEvent (probability theory)Discrete mathematicsSettore INF/01 - InformaticaApplied MathematicsProbability (math.PR)quasi conjunction; goodman-nguyen inclusion relation; qand rule; coherence; probabilistic default reasoning; p-entailment; goodman-nguyen's inclusion relationProbabilistic logicCoherence (statistics)Conjunction (grammar)Greatest elementArtificial Intelligence (cs.AI)Probabilistic default reasoninggoodman-nguyen inclusion relationp-EntailmentCoherenceSoftwareMathematics - Probability
researchProduct

Inductive types in homotopy type theory

2012

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…

FOS: Computer and information sciencesComputer Science - Logic in Computer Science03B15 03B70 03F500102 computer and information sciences01 natural sciencesComputer Science::Logic in Computer ScienceFOS: MathematicsA¹ homotopy theoryCategory Theory (math.CT)0101 mathematicsMathematicsHomotopy lifting propertyType theory inductive types homotopy-initial algebraHomotopy010102 general mathematicsMathematics - Category TheoryIntuitionistic type theoryMathematics - LogicSettore MAT/01 - Logica MatematicaLogic in Computer Science (cs.LO)Algebran-connectedType theoryTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematicsProof theoryTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSHomotopy type theoryComputer Science::Programming LanguagesLogic (math.LO)
researchProduct

Corrigendum: ExGUtils: A Python Package for Statistical Analysis With the ex-Gaussian Probability Density

2018

The study of reaction times and their underlying cognitive processes is an important field in Psychology. Reaction times are usually modeled through the ex-Gaussian distribution, because it provides a good fit to multiple empirical data. The complexity of this distribution makes the use of computational tools an essential element in the field. Therefore, there is a strong need for efficient and versatile computational tools for the research in this area. In this manuscript we discuss some mathematical details of the ex-Gaussian distribution and apply the ExGUtils package, a set of functions and numerical tools, programmed for python, developed for numerical analysis of data involving the ex…

FOS: Computer and information sciencesResponse timeslcsh:BF1-990Probability density functionex-Gaussian fitStatistics - Applications050105 experimental psychology03 medical and health sciences0302 clinical medicineSignificance testingresponse componentsConceptual AnalysisPsychology0501 psychology and cognitive sciencesStatistical analysisApplications (stat.AP)Ex-Gaussian fitTempo de reaçãoGeneral Psychologycomputer.programming_languagesignificance testingResponse componentsNumerical analysis05 social sciencesAnálise estatísticaCorrectionPython (programming language)Ex gaussianDistribuição Gaussianapythonlcsh:PsychologyOutlierTrimmingPsychologyMATEMATICA APLICADAAlgorithmcomputerSignificance testing030217 neurology & neurosurgeryresponse timesPython
researchProduct

Generalized Logical Operations among Conditional Events

2018

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular we examine the Frechet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal…

FOS: Computer and information sciencesSettore MAT/06 - Probabilita' E Statistica MatematicaComputer Science - Artificial IntelligenceComputer scienceMonotonic functionProbabilistic reasoning02 engineering and technologyCommutative Algebra (math.AC)Conditional random quantitieFréchet-Hoeffding boundCoherent extensionNegationArtificial IntelligenceQuasi conjunction0202 electrical engineering electronic engineering information engineeringFOS: MathematicsCoherent prevision assessmentConditional eventNon-monotonic logicRule of inferenceCommutative propertyAssociative propertyDiscrete mathematicsProbability (math.PR)Probabilistic logicOrder (ring theory)ConjunctionMathematics - LogicCoherence (philosophical gambling strategy)p-entailmentProbabilistic inferenceMathematics - Commutative AlgebraConjunction (grammar)Artificial Intelligence (cs.AI)020201 artificial intelligence & image processingInference ruleNegationLogic (math.LO)Mathematics - ProbabilityDisjunction
researchProduct

Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects

2013

We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on $n$ conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms: minimum, product, Lukasiewicz, and Hamacher t-norms and their dual t-conorms. On this basis we obtain Quasi And and Quasi Or rules. These are rules for which any finite family of conditional events p-entails the associated quasi conjunction and quasi disjunction. We examine some cases of logical de…

FOS: Computer and information sciencesSettore MAT/06 - Probabilita' E Statistica MatematicaInformation Systems and ManagementComputer Science - Artificial Intelligencet-Norms/conormDuality (mathematics)goodman-nguyen inclusion relation; lower/upper probability bounds; t-norms/conorms; generalized loop rule; coherence; quasi conjunction/disjunctionComputer Science::Artificial IntelligenceTheoretical Computer ScienceArtificial IntelligenceFOS: MathematicsProbabilistic analysis of algorithmsNon-monotonic logicRule of inferenceLower/upper probability boundGoodman–Nguyen inclusion relationMathematicsEvent (probability theory)Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniDiscrete mathematicsInterpretation (logic)Probability (math.PR)Probabilistic logicCoherence (philosophical gambling strategy)Generalized Loop ruleComputer Science ApplicationsAlgebraArtificial Intelligence (cs.AI)Control and Systems EngineeringQuasi conjunction/disjunctionCoherenceMathematics - ProbabilitySoftwareInformation Sciences
researchProduct