Search results for "Variable"

showing 10 items of 1674 documents

A Push Forward Construction and the Comprehensive Factorization for Internal Crossed Modules

2014

In a semi-abelian category, we give a categorical construction of the push forward of an internal pre-crossed module, generalizing the pushout of a short exact sequence in abelian categories. The main properties of the push forward are discussed. A simplified version is given for action accessible categories, providing examples in the categories of rings and Lie algebras. We show that push forwards can be used to obtain the crossed module version of the comprehensive factorization for internal groupoids.

Exact sequenceAlgebra and Number TheoryGeneral Computer ScienceSemi-abelian categoryAccessible categoryPushoutCrossed moduleCrossed modulecrossed module push forward comprehensive factorizationTheoretical Computer ScienceAlgebraSettore MAT/02 - AlgebraComprehensive factorizationFactorizationMathematics::Category TheoryLie algebraPush forwardAbelian groupComprehensive factorization; Crossed module; Push forward; Semi-abelian categoryCategorical variableMathematicsApplied Categorical Structures
researchProduct

Backwards Martingales and Exchangeability

2020

With many data acquisitions, such as telephone surveys, the order in which the data come does not matter. Mathematically, we say that a family of random variables is exchangeable if the joint distribution does not change under finite permutations. De Finetti’s structural theorem says that an infinite family of E-valued exchangeable random variables can be described by a two-stage experiment. At the first stage, a probability distribution Ξ on E is drawn at random. At the second stage, independent and identically distributed random variables with distribution Ξ are implemented.

Exchangeable random variablesDiscrete mathematicsIndependent and identically distributed random variablesDistribution (number theory)Conditional independenceJoint probability distributionProbability distributionConditional probability distributionRandom variableMathematics
researchProduct

Forward and backward diffusion approximations for haploid exchangeable population models

2001

Abstract The class of haploid population models with non-overlapping generations and fixed population size N is considered such that the family sizes ν1,…,νN within a generation are exchangeable random variables. A criterion for weak convergence in the Skorohod sense is established for a properly time- and space-scaled process counting the number of descendants forward in time. The generator A of the limit process X is constructed using the joint moments of the offspring variables ν1,…,νN. In particular, the Wright–Fisher diffusion with generator Af(x)= 1 2 x(1−x)f″(x) appears in the limit as the population size N tends to infinity if and only if the condition lim N→∞ E((ν 1 −1) 3 )/(N Var …

Exchangeable random variablesStatistics and ProbabilityDualityPopulation geneticsCoalescent theoryDiffusion approximationModelling and SimulationQuantitative Biology::Populations and EvolutionNeutralityWright–Fisher diffusionHille–Yosida theoremWeak convergenceMathematicsWeak convergenceApplied MathematicsMathematical analysisHeavy traffic approximationCommutative diagramHille–Yosida theoremPopulation modelDiffusion processModeling and SimulationAncestorsDescendantsExchangeabilityCoalescentStochastic Processes and their Applications
researchProduct

A new approach to exergoeconomic analysis and design of variable demand energy systems

2006

Exergoeconomics is an attractive research field regarding the optimisation of design and operability where complex energy systems are concerned. The different approaches to thermoeconomics can easily achieve optimal or near-optimal solutions for the design of energy systems in industrial applications, characterised by regular energy demand profiles; for applications in buildings, however, the great number of components operating at unsteady conditions due to the demand variability make these methodologies hard to use. Furthermore, in project phases of complex plants such as Combined Heat and Power (CHP) or Combined Heat Cooling and Power (CHCP), energy demand can be satisfied with different…

ExergyEngineeringOperabilityOperations researchbusiness.industryMechanical EngineeringThermoeconomicsBuilding and ConstructionPollutionIndustrial and Manufacturing EngineeringField (computer science)Power (physics)Variable (computer science)General EnergyElectrical and Electronic EngineeringProject managementProcess engineeringbusinessEnergy (signal processing)Civil and Structural EngineeringEnergy
researchProduct

On thermoeconomics of energy systems at variable load conditions: integrated optimization of plant design and operation

2007

Abstract Thermoeconomics has been assuming a growing role among the disciplines oriented to the analysis of energy systems, its different methodologies allowing solution of problems in the fields of cost accounting, plant design optimisation and diagnostic of malfunctions. However, the thermoeconomic methodologies as such are particularly appropriate to analyse large industrial systems at steady or quasi-steady operation, but they can be hardly applied to small to medium scale units operating in unsteady conditions to cover a variable energy demand. In this paper, the fundamentals of thermoeconomics for systems operated at variable load are discussed, examining the cost formation process an…

ExergyEngineeringPrimary energyRenewable Energy Sustainability and the Environmentbusiness.industryThermoeconomics has been assuming a growing role among the disciplines oriented to the analysis of energy systems its different methodologies allowing solution of problems in the fields of cost accounting plant design optimisation and diagnostic of malfunctions. However the thermoeconomic methodologies as such are particularly appropriate to analyse large industrial systems at steady or quasisteady operation but they can be hardly applied to small to medium scale units operating in unsteady conditions to cover a variable energy demand. In this paper the fundamentals of thermoeconomics for systems operated at variable load are discussed examining the cost formation process and separately the cost fractions related to capital depreciation (which require additional distinctions with respect to plants in steady operation) and to exergy consumption. The relevant effects of the efficiency penalty due to off design operation on the exergetic cost of internal flows are also examined. An original algorithm is proposed for the integrated optimization of plant design and operation based on an analytical solution by the Lagrange multipliers method and on a multi-objective decision function expressed either in terms of net cash flow or primary energy saving. The method is suitable for application in complex energy systems such as ‘‘facilities of components of a same product’’ connected to external networks for power or heat distribution. For demonstrative purposes the proposed thermoeconomically aided optimization is performed for a grid connected trigeneration system to be installed in a large hotel.Energy Engineering and Power TechnologyCost accountingThermoeconomicsGridEnergy conservationVariable (computer science)symbols.namesakeFuel TechnologyNuclear Energy and EngineeringLagrange multipliersymbolsProcess engineeringbusinessSimulation
researchProduct

Measurements of aerosol size distributions with a pocket counter with variable expansion ratio

2008

Expansion ratioMaterials scienceHelmholtz equationMechanicsAerosolVariable (mathematics)
researchProduct

Supporting Autonomous Navigation of Visually Impaired People for Experiencing Cultural Heritage

2020

In this chapter, we present a system for indoor and outdoor localization and navigation to allow the low vision users in experiencing cultural heritage in autonomy. The system is based on the joint utilization of dead-reckoning and computer vision techniques on a smartphone-centric tracking system. The system is explicitly designed for visually impaired people, but it can be easily generalized to other users, and it is built under the assumption that special reference signals, such as colored tapes, painted lines, or tactile paving, are deployed in the environment for guiding visually impaired users along pre-defined paths. Differently from previous works on localization, which are focused …

ExploitSettore ING-INF/03 - Telecomunicazionibusiness.industryComputer sciencemedia_common.quotation_subjectNavigation systemTracking systemNavigation visually impaired computer vision dead reckoningCultural heritageColoredHuman–computer interactionInertial measurement unitbusinessAutonomyPATH (variable)media_common
researchProduct

Displacements approach with external variables only for multi-domain analysis via symmetric BEM

2011

Abstract In the present paper a new displacement method, defined as external variables one, is proposed inside the multidomain symmetric Boundary Element formulation. This method is a natural evolution of the displacement approach with interface variables in the multidomain symmetric BEM analysis. Indeed, the strategy employed has the advantage of considering only the kinematical quantities of the free boundary nodes and the algebraic operators involved show symmetry and very small dimensions. The proposed approach is characterized by strong condensation of the mechanical and kinematical boundary nodes variables of the macro-elements. All the domain quantities, such as tractions and stresse…

External variableMechanical EngineeringInterface (computing)Mathematical analysisPhase (waves)General Physics and AstronomyBoundary (topology)Domain (mathematical analysis)Displacement (vector)Symmetry (physics)SBEM Multi-domain analysis Displacement approach Closed form coefficientsMechanics of MaterialsGeneral Materials ScienceAlgebraic numberMathematics
researchProduct

Uncommon Suffix Tries

2011

Common assumptions on the source producing the words inserted in a suffix trie with $n$ leaves lead to a $\log n$ height and saturation level. We provide an example of a suffix trie whose height increases faster than a power of $n$ and another one whose saturation level is negligible with respect to $\log n$. Both are built from VLMC (Variable Length Markov Chain) probabilistic sources; they are easily extended to families of sources having the same properties. The first example corresponds to a ''logarithmic infinite comb'' and enjoys a non uniform polynomial mixing. The second one corresponds to a ''factorial infinite comb'' for which mixing is uniform and exponential.

FOS: Computer and information sciencesCompressed suffix arrayPolynomialLogarithmGeneral MathematicsSuffix treevariable length Markov chain[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Generalized suffix treeprobabilistic source0102 computer and information sciences02 engineering and technologysuffix trie01 natural scienceslaw.inventionCombinatoricslawComputer Science - Data Structures and AlgorithmsTrieFOS: Mathematics0202 electrical engineering electronic engineering information engineeringData Structures and Algorithms (cs.DS)Mixing (physics)[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]MathematicsDiscrete mathematicsApplied MathematicsProbability (math.PR)020206 networking & telecommunicationssuffix trie.Computer Graphics and Computer-Aided Design[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]010201 computation theory & mathematicsmixing properties60J05 37E05Suffix[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Mathematics - ProbabilitySoftware
researchProduct

Optimized Kernel Entropy Components

2016

This work addresses two main issues of the standard Kernel Entropy Component Analysis (KECA) algorithm: the optimization of the kernel decomposition and the optimization of the Gaussian kernel parameter. KECA roughly reduces to a sorting of the importance of kernel eigenvectors by entropy instead of by variance as in Kernel Principal Components Analysis. In this work, we propose an extension of the KECA method, named Optimized KECA (OKECA), that directly extracts the optimal features retaining most of the data entropy by means of compacting the information in very few features (often in just one or two). The proposed method produces features which have higher expressive power. In particular…

FOS: Computer and information sciencesComputer Networks and CommunicationsKernel density estimationMachine Learning (stat.ML)02 engineering and technologyKernel principal component analysisMachine Learning (cs.LG)Artificial IntelligencePolynomial kernelStatistics - Machine Learning0202 electrical engineering electronic engineering information engineeringMathematicsbusiness.industry020206 networking & telecommunicationsPattern recognitionComputer Science ApplicationsComputer Science - LearningKernel methodKernel embedding of distributionsVariable kernel density estimationRadial basis function kernelKernel smoother020201 artificial intelligence & image processingArtificial intelligencebusinessSoftwareIEEE Transactions on Neural Networks and Learning Systems
researchProduct