Search results for "probabilistic"

showing 10 items of 380 documents

A comprehensive probabilistic analysis of approximate SIR‐type epidemiological models via full randomized discrete‐time Markov chain formulation with…

2020

Spanish Ministerio de Economia y Competitividad, Grant/Award Number: MTM2017-89664-P; Generalitat Valenciana, Grant/Award Number: APOSTD/2019/128; Ministerio de Economia y Competitividad, Grant/Award Number: MTM2017-89664-P

010101 applied mathematicsDiscrete mathematicsMarkov chainDiscrete time and continuous timeGeneral Mathematics010102 general mathematicsGeneral EngineeringProbabilistic analysis of algorithms0101 mathematicsType (model theory)01 natural sciencesMathematicsMathematical Methods in the Applied Sciences
researchProduct

Thompson Sampling Based Active Learning in Probabilistic Programs with Application to Travel Time Estimation

2019

The pertinent problem of Traveling Time Estimation (TTE) is to estimate the travel time, given a start location and a destination, solely based on the coordinates of the points under consideration. This is typically solved by fitting a function based on a sequence of observations. However, it can be expensive or slow to obtain labeled data or measurements to calibrate the estimation function. Active Learning tries to alleviate this problem by actively selecting samples that minimize the total number of samples needed to do accurate inference. Probabilistic Programming Languages (PPL) give us the opportunities to apply powerful Bayesian inference to model problems that involve uncertainties.…

0106 biological sciencesEstimation0303 health sciencesSequenceActive learning (machine learning)business.industryComputer scienceProbabilistic logicInferenceFunction (mathematics)Bayesian inferenceMachine learningcomputer.software_genre010603 evolutionary biology01 natural sciences03 medical and health sciencesArtificial intelligencebusinesscomputerThompson sampling030304 developmental biology
researchProduct

A molecular-based identification resource for the arthropods of Finland

2022

Publisher Copyright: © 2021 The Authors. Molecular Ecology Resources published by John Wiley & Sons Ltd. To associate specimens identified by molecular characters to other biological knowledge, we need reference sequences annotated by Linnaean taxonomy. In this study, we (1) report the creation of a comprehensive reference library of DNA barcodes for the arthropods of an entire country (Finland), (2) publish this library, and (3) deliver a new identification tool for insects and spiders, as based on this resource. The reference library contains mtDNA COI barcodes for 11,275 (43%) of 26,437 arthropod species known from Finland, including 10,811 (45%) of 23,956 insect species. To quantify the…

0106 biological sciencesResource (biology)DNA barcodesspecies identificationBiodiversityreference libraryarthropodsBiologyBarcodeProbabilistic taxonomic assignment010603 evolutionary biology01 natural scienceslaw.inventionCoiCOI03 medical and health sciencessymbols.namesakeProtaxlawprobabilistic taxonomic assignmentniveljalkaisetGeneticsAnimalsDNA Barcoding TaxonomicSpecies identificationArthropodsSpecies identificationFinlandEcology Evolution Behavior and SystematicsGene Library030304 developmental biology0303 health sciencesDNA-analyysiPROTAXsystematiikka (biologia)Linnaean taxonomyReference libraryBiodiversityGeographyEvolutionary biologyDna barcodes1181 Ecology evolutionary biologysymbolsidentificationlajinmääritysIdentification (biology)Biotechnology
researchProduct

Autonomous ultrasonic inspection using Bayesian optimisation and robust outlier analysis

2020

The use of robotics is beginning to play a key role in automating the data collection process in Non Destructive Testing (NDT). Increasing the use of automation quickly leads to the gathering of large quantities of data, which makes it inefficient, perhaps even infeasible, for a human to parse the information contained in them. This paper presents a solution to this problem by making the process of NDT data acquisition an autonomous one as opposed to an automatic one. In order to achieve this, the robotic data acquisition task is treated as an optimisation problem, where one seeks to find locations with the highest indication of damage. The resulting algorithm combines damage detection tech…

0209 industrial biotechnologyComputer scienceTKAerospace Engineering02 engineering and technologycomputer.software_genre01 natural sciencesField (computer science)Settore ING-IND/14 - Progettazione Meccanica E Costruzione Di Macchine020901 industrial engineering & automationData acquisitionNon-destructive testing (NDT)0103 physical sciencesUltrasoundUncertainty quantificationOutlier analysis010301 acousticsCivil and Structural EngineeringData collectionbusiness.industryMechanical EngineeringProbabilistic logicBayesian optimisationAutomationComputer Science ApplicationsControl and Systems EngineeringSignal ProcessingOutlierStructural health monitoringData miningbusinesscomputerGaussian process (GP) regression
researchProduct

A knowledge-based master model approach exemplified with jet engine structural design

2017

Successful product development requires the consideration of multiple engineering disciplines and the quantification of tradeoffs among conflicting objectives from the very early design phases. The single-largest challenge to do so is the lack of detailed design information. A possible remedy of this issue is knowledge-based engineering. This paper presents a knowledge-based master model approach that enables the management of concurrent design and analysis models within different engineering disciplines in relation to the same governing product definition. The approach is exemplified on an early phase structural design of a turbo-fan jet engine. The model allows geometric-, structural mech…

0209 industrial biotechnologyEngineeringGeneral Computer ScienceRelation (database)Concurrent engineeringStructural mechanicsbusiness.industryKnowledge-based engineeringDesign informationGeneral Engineering02 engineering and technologyJet enginelaw.invention020901 industrial engineering & automationlawNew product development0202 electrical engineering electronic engineering information engineeringSystems engineering020201 artificial intelligence & image processingProbabilistic designbusinessComputers in Industry
researchProduct

The probabilistic pickup-and-delivery travelling salesman problem

2019

Abstract Transportation problems are essential in commercial logistics and have been widely studied in the literature during the last decades. Many of them consist in designing routes for vehicles to move commodities between locations. This article approaches a pickup-and-delivery single-vehicle routing problem where there is susceptibility to uncertainty in customer requests. The probability distributions of the requests are assumed to be known, and the objective is to design an a priori route with minimum expected length. The problem has already been approached in the literature, but through a heuristic method. This article proposes the first exact approach to the problem. Two mathematica…

0209 industrial biotechnologyMathematical optimizationHeuristicHeuristic (computer science)Computer scienceGeneral EngineeringProbabilistic logic02 engineering and technologyTravelling salesman problemComputer Science Applications020901 industrial engineering & automationArtificial Intelligence0202 electrical engineering electronic engineering information engineeringProbability distribution020201 artificial intelligence & image processingPickupRouting (electronic design automation)Expert Systems with Applications
researchProduct

Graph-theoretical derivation of brain structural connectivity

2020

Brain connectivity at the single neuron level can provide fundamental insights into how information is integrated and propagated within and between brain regions. However, it is almost impossible to adequately study this problem experimentally and, despite intense efforts in the field, no mathematical description has been obtained so far. Here, we present a mathematical framework based on a graph-theoretical approach that, starting from experimental data obtained from a few small subsets of neurons, can quantitatively explain and predict the corresponding full network properties. This model also changes the paradigm with which large-scale model networks can be built, from using probabilisti…

0209 industrial biotechnologyTheoretical computer scienceComputer scienceNeuronal network02 engineering and technologyMECHANISMSCENTRALITY020901 industrial engineering & automationSettore MAT/05 - Analisi MatematicaNeuronal networksConnectome0202 electrical engineering electronic engineering information engineeringINDEXComputer Science::DatabasesRandom graphsSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSettore INF/01 - InformaticaQuantitative Biology::Neurons and CognitionApplied MathematicsProbabilistic logicExperimental data020206 networking & telecommunicationsComputational MathematicsSYNCHRONIZATIONSIMULATIONGraph (abstract data type)Applied Mathematics and Computation
researchProduct

On the structural connectivity of large-scale models of brain networks at cellular level

2021

AbstractThe brain’s structural connectivity plays a fundamental role in determining how neuron networks generate, process, and transfer information within and between brain regions. The underlying mechanisms are extremely difficult to study experimentally and, in many cases, large-scale model networks are of great help. However, the implementation of these models relies on experimental findings that are often sparse and limited. Their predicting power ultimately depends on how closely a model’s connectivity represents the real system. Here we argue that the data-driven probabilistic rules, widely used to build neuronal network models, may not be appropriate to represent the dynamics of the …

0301 basic medicineProcess (engineering)Computer scienceScienceModels NeurologicalCellular levelMachine learningcomputer.software_genreArticle03 medical and health sciencesComputational biophysics0302 clinical medicineSettore MAT/05 - Analisi MatematicamedicineBiological neural networkHumansSettore MAT/07 - Fisica MatematicaOn the structural connectivity of large-scale models of brain networks at cellular levelSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniNeuronsMultidisciplinaryNetwork modelsSettore INF/01 - Informaticabusiness.industryQRProbabilistic logicBrain030104 developmental biologymedicine.anatomical_structureMathematical framework Neuron networks Large‑scale model Data‑driven probabilistic rules Modeling cellular-level brain networksMedicineNeuronArtificial intelligencebusinessScale modelcomputer030217 neurology & neurosurgeryScientific Reports
researchProduct

Bacteria classification using minimal absent words

2017

Bacteria classification has been deeply investigated with different tools for many purposes, such as early diagnosis, metagenomics, phylogenetics. Classification methods based on ribosomal DNA sequences are considered a reference in this area. We present a new classificatier for bacteria species based on a dissimilarity measure of purely combinatorial nature. This measure is based on the notion of Minimal Absent Words, a combinatorial definition that recently found applications in bioinformatics. We can therefore incorporate this measure into a probabilistic neural network in order to classify bacteria species. Our approach is motivated by the fact that there is a vast literature on the com…

0301 basic medicinesupervised classificationRelation (database)Computer science0102 computer and information sciences01 natural sciencesMeasure (mathematics)03 medical and health sciencesProbabilistic neural networkcombinatorics on wordsprobabilistic neural networkminimal absent wordlcsh:R5-920Settore INF/01 - Informaticabusiness.industryBacterial taxonomyPattern recognitionbacteria classificationGeneral MedicineCombinatorics on words030104 developmental biology010201 computation theory & mathematicsMetagenomicsClassification methodsArtificial intelligencebusinesslcsh:Medicine (General)AIMS Medical Science
researchProduct

Low-cost scalable discretization, prediction and feature selection for complex systems

2019

The introduced data-driven tool allows simultaneous feature selection, model inference, and marked cost and quality gains.

0303 health sciencesMultidisciplinary010504 meteorology & atmospheric sciencesDiscretizationComputer scienceData classificationProbabilistic logicComplex systemSciAdv r-articlesFeature selectioncomputer.software_genre01 natural sciences03 medical and health sciencesRange (mathematics)ScalabilityData miningCluster analysisAlgorithmcomputerResearch ArticlesMathematicsResearch Article030304 developmental biology0105 earth and related environmental sciences
researchProduct