Search results for "Probabilistic"

showing 10 items of 380 documents

Numerical decomposition of geometric constraints

2005

Geometric constraint solving is a key issue in CAD/CAM. Since Owen's seminal paper, solvers typically use graph based decomposition methods. However, these methods become difficult to implement in 3D and are misled by geometric theorems. We extend the Numerical Probabilistic Method (NPM), well known in rigidity theory, to more general kinds of constraints and show that NPM can also decompose a system into rigid subsystems. Classical NPM studies the structure of the Jacobian at a random (or generic) configuration. The variant we are proposing does not consider a random configuration, but a configuration similar to the unknown one. Similar means the configuration fulfills the same set of inci…

Constraint (information theory)AlgebraSet (abstract data type)symbols.namesakeMathematical optimizationProbabilistic methodJacobian matrix and determinantsymbolsStructure (category theory)CADGas meter proverMathematicsIncidence (geometry)Proceedings of the 2005 ACM symposium on Solid and physical modeling
researchProduct

Uncertainty quantification analysis of the biological Gompertz model subject to random fluctuations in all its parameters

2020

[EN] In spite of its simple formulation via a nonlinear differential equation, the Gompertz model has been widely applied to describe the dynamics of biological and biophysical parts of complex systems (growth of living organisms, number of bacteria, volume of infected cells, etc.). Its parameters or coefficients and the initial condition represent biological quantities (usually, rates and number of individual/particles, respectively) whose nature is random rather than deterministic. In this paper, we present a complete uncertainty quantification analysis of the randomized Gomperz model via the computation of an explicit expression to the first probability density function of its solution s…

Continuity partial differential equationStationary distributionDynamical systems theoryStochastic processGeneral MathematicsApplied MathematicsGompertz functionProbabilistic logicGeneral Physics and AstronomyStatistical and Nonlinear PhysicsProbability density function01 natural sciences010305 fluids & plasmasComplex systems with uncertainties0103 physical sciencesLiouville-Gibbs theoremApplied mathematicsInitial value problemUncertainty quantificationRandom nonlinear differential equationMATEMATICA APLICADA010301 acousticsMathematicsRandomized Gompertz model
researchProduct

An Adaptive Metamodel-Based Optimization Approach for Vehicle Suspension System Design

2014

Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2014/965157 The performance index of a suspension system is a function of the maximum and minimum values over the parameter interval. Thus metamodel-based techniques can be used for designing suspension system hardpoints locations. In this study, an adaptive metamodel-based optimization approach is used to find the proper locations of the hardpoints, with the objectives considering the kinematic performance of the suspension. The adaptive optimization method helps to find the optimum locations of the hardpoints efficiently as it may be unachie…

Continuous optimizationMathematical optimizationEngineeringArticle SubjectAdaptive optimizationbusiness.industryGeneral MathematicsProbabilistic-based design optimizationlcsh:MathematicsVDP::Technology: 500::Mechanical engineering: 570General EngineeringInterval (mathematics)Kinematicslcsh:QA1-939Multi-objective optimizationEngineering (all)lcsh:TA1-2040Mathematics (all)Multi-swarm optimizationbusinessSuspension (vehicle)lcsh:Engineering (General). Civil engineering (General)Mathematics (all); Engineering (all)Mathematical Problems in Engineering
researchProduct

Probabilistic interpretation of the Calderón problem

2017

In this paper, we use the theory of symmetric Dirichlet forms to give a probabilistic interpretation of Calderon's inverse conductivity problem in terms of reflecting diffusion processes and their corresponding boundary trace processes. This probabilistic interpretation comes in three equivalent formulations which open up novel perspectives on the classical question of unique determinability of conductivities from boundary data. We aim to make this work accessible to both readers with a background in stochastic process theory as well as researchers working on deterministic methods in inverse problems.

Control and OptimizationStochastic processComputer science010102 general mathematicsProbabilistic logicBoundary (topology)Inverse problem01 natural sciencesDirichlet distributionInterpretation (model theory)010104 statistics & probabilitysymbols.namesakeModeling and SimulationNeumann boundary conditionsymbolsDiscrete Mathematics and CombinatoricsApplied mathematics0101 mathematicsAnalysisTRACE (psycholinguistics)Inverse Problems & Imaging
researchProduct

One-Counter Verifiers for Decidable Languages

2013

Condon and Lipton (FOCS 1989) showed that the class of languages having a space-bounded interactive proof system (IPS) is a proper subset of decidable languages, where the verifier is a probabilistic Turing machine. In this paper, we show that if we use architecturally restricted verifiers instead of restricting the working memory, i.e. replacing the working tape(s) with a single counter, we can define some IPS’s for each decidable language. Such verifiers are called two-way probabilistic one-counter automata (2pca’s). Then, we show that by adding a fixed-size quantum memory to a 2pca, called a two-way one-counter automaton with quantum and classical states (2qcca), the protocol can be spac…

Counter machineTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceQuantum registerComputer scienceProbabilistic Turing machineProbabilistic logicInteractive proof systemComputer Science::Computational ComplexityDecidabilityAutomatonsymbols.namesakesymbolsProtocol (object-oriented programming)
researchProduct

Probabilistic European Country Risk Score Forecasting Using a Diffusion Model

2013

Over the last few years, global crisis has shaken confidence in most European economies. As a consequence, a lack of confidence has spread amongst European countries leading to Europe’s financial instability. Therefore, forecasting the next future of economic situation involves high levels of uncertainty. In this respect, it would be interesting to use tools which allow to predict the trends and evolution of each country’s confidence rating. The Country Risk Score (CRS) represents a good indicator to measure the current situation of a country regarding measures of economic, political and financial Risk in order to determine country Risk ratings. CRS is underscored by Euromoney Agency and is…

Credit ratingActuarial sciencePolitical riskOrder (exchange)Contagion effectFinancial economicsFinancial riskAgency (sociology)Probabilistic logicEconomicsCountry risk
researchProduct

Integrating LSTMs with Online Density Estimation for the Probabilistic Forecast of Energy Consumption

2019

In machine learning applications in the energy sector, it is often necessary to have both highly accurate predictions and information about the probabilities of certain scenarios to occur. We address this challenge by integrating and combining long short-term memory networks (LSTMs) and online density estimation into a real-time data streaming architecture of an energy trader. The online density estimation is done in the MiDEO framework, which estimates joint densities of data streams based on ensembles of chains of Hoeffding trees. One attractive feature of the solution is that queries can be sent to the here-called forecast-based point density estimators (FPDE) to derive information from …

Data streamComputer scienceData stream mining020209 energyProbabilistic logicEstimator02 engineering and technologyEnergy consumptionDensity estimationcomputer.software_genre0202 electrical engineering electronic engineering information engineeringFeature (machine learning)020201 artificial intelligence & image processingData miningRepresentation (mathematics)computer
researchProduct

Assessment of the Entropy of Spatial and Time Distributions of Rooms Daylighting: A Possible Tool for a Sustainable Design

2015

The indoor visual comfort of subjects faced with indoor ambient lighting varies with the position of the subject and is not constant over time. Average performance indexes, such as the mean value of Daylight Factor and Daylight Autonomy, are commonly used to analyse lighting distribution. These indexes, however, don’t properly take into account either the spatial or the time distribution of values affecting the non-uniformity of environmental lighting. Indeed, these are limited to the definition of a mean value or to the assessment of time availability of daylighting. This paper examines spatial and temporal non-uniformities in indoor lighting as possible causes of discomfort for occupants.…

Daylight factorEngineeringArchitectural engineeringInformation theoryLecture halls.Energy Engineering and Power TechnologyInformation theory;Visual comfort;Daylight factor;Daylight autonomy;Lecture hallsVisual comfortEnvironmental Science (miscellaneous)Building designInformation theorylcsh:TechnologyInformation theory Visual comfort Daylight factor Daylight autonomy Lecture hallslcsh:HD72-88lcsh:Economic growth development planningSustainable designEntropy (information theory)DaylightWater Science and TechnologyDaylight autonomySettore ING-IND/11 - Fisica Tecnica AmbientaleRenewable Energy Sustainability and the Environmentbusiness.industrylcsh:TProbabilistic logicDaylight factorLecture hallAmbient lightingbusinessJournal of Sustainable Development of Energy, Water and Environment Systems
researchProduct

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P

2016

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment defaultreasoning from conditional knowledge bases System P conditional objects.conditional constraintsLogicDefault logicStatistics::Other StatisticsProbabilistic logic networkConditional probability assessmentsprobabilistic logic under coherenceNon-monotonic logicSystem PMathematicsg-coherent entailmentHardware_MEMORYSTRUCTURESmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicSystem P; g-coherence; conditional objectsCoherence (statistics)default reasoning from conditional knowledge basesProbabilistic argumentationConditional probability assessments; conditional constraints; probabilistic logic under coherence; model-theoretic probabilistic logic; g-coherence; g-coherent entailment; default reasoning from conditional knowledge bases; System P; conditional objects.Philosophyg-coherenceProbabilistic CTLArtificial intelligencebusinessAlgorithmconditional objectsJournal of Applied Non−Classical Logics
researchProduct

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

2001

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaKnowledge representation and reasoningComputer scienceDefault logicDivergence-from-randomness modelLogic modelcomputer.software_genreLogical consequenceProbabilistic logic networkConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment default reasoning from conditional knowledge bases System P conditional objectsprobabilistic logic under coherenceNon-monotonic logicProbabilistic relevance modeldefault reasoningmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicProbabilistic argumentationExpert systemg-coherencesystem pProbabilistic CTLArtificial intelligencebusinesscomputerdefault reasoning; g-coherence; model-theoretic probabilistic logic; probabilistic logic under coherence; system p
researchProduct