Search results for " Informatica"

showing 10 items of 978 documents

Experiments on a Prey Predators System

2003

The paper describes a prey-predators system devoted to perform experiments on concurrent complex environment. The problem has be treated as an optimization problem. The prey goal is to escape from the predators reaching its lair, while predators want to capture the prey. At the end of the 19th century, Pareto found an optimal solutions for decision problems regarding more than one criterion at the same time. In most cases this ‘Pareto-set’ cannot be determined analytically or the computation time could be exponential. In such cases, evolutionary Algorithms (EA) are powerful optimization tools capable of finding optimal solutions of multi-modal problems. Here, both prey and predators learn i…

Mathematical optimizationOptimization problemSettore INF/01 - InformaticaComputer scienceComputationGenetic Algorithms Path finding obstacle avoidanceEvolutionary algorithmPareto principleDecision problemSet (psychology)ComputingMethodologies_ARTIFICIALINTELLIGENCEField (computer science)Predation
researchProduct

A fast recursive algorithm for the computation of axial moments

2002

This paper describes a fast algorithm to compute local axial moments used for the detection of objects of interest in images. The basic idea is grounded on the elimination of redundant operations while computing axial moments for two neighboring angles of orientation. The main result is that the complexity of recursive computation of axial moments becomes independent of the total number of computed moments in a given point, i.e. it is of the order O(N) where N is the data size. This result is of great importance in computer vision since many feature extraction methods are based on the computation of axial moments. The experimental results confirm the time complexity and accuracy predicted b…

Mathematical optimizationSettore INF/01 - InformaticaComputational complexity theoryVelocity MomentsOrientation (computer vision)ComputationFeature extractionA fast recursive algorithm for the computation of axial momentsPoint (geometry)Time complexityAlgorithmObject detectionMathematicsProceedings 11th International Conference on Image Analysis and Processing
researchProduct

An experimental study of the stability problem in discrete tomography

2003

This paper introduces the topic of discrete tomography, briefly showing its main applications, algorithms and new prospects of research. It focuses on the still open problem of stability, facing it from an experimental point of view. In particular an extensive simulation lets verify the robustness of a well known reconstruction technique for binary convex objects, calculating the probability of finding solutions compatible with a given set of noisy projections. © 2005 Elsevier Ltd. All rights reserved.

Mathematical optimizationSettore INF/01 - InformaticaOpen problemApplied MathematicsRegular polygonBinary numberConvex reconstructionDiscrete tomographyStability problemRobustness (computer science)Discrete Mathematics and CombinatoricsDiscrete tomographyDiscrete Mathematics and CombinatoricMathematics
researchProduct

A Memetic Algorithm for Binary Image Reconstruction

2008

This paper deals with a memetic algorithm for the reconstruction of binary images, by using their projections along four directions. The algorithm generates by network flows a set of initial images according to two of the input projections and lets them evolve toward a solution that can be optimal or close to the optimum. Switch and compactness operators improve the quality of the reconstructed images which belong to a given generation, while the selection of the best image addresses the evolution to an optimal output.

Mathematical optimizationSettore INF/01 - InformaticaQuadratic assignment problemBinary imageComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONMemetic algorithmtomografy reconstructionFlow networkImage (mathematics)Set (abstract data type)Compact spaceMemetic algorithmAlgorithmSelection (genetic algorithm)Mathematics
researchProduct

Parametric and nonparametric methods to generate time-varying surrogate data.

2009

We present both nonparametric and parametric approaches to generating time-varying surrogate data. Nonparametric and parametric approaches are based on the use of the short-time Fourier transform and a time-varying autoregressive model, respectively. Time-varying surrogate data (TVSD) can be used to determine the statistical significance of the linear and nonlinear coherence function estimates. Two advantages of the TVSD are that it keeps one from having to make an arbitrary decision about the significance of the coherence value, and it properly takes into account statistical significance levels, which may change with time. Our simulation examples and experimental results on blood pressure …

Mathematical optimizationTime FactorsNormal DistributionBiomedical EngineeringBlood PressureHealth InformaticsStatistics NonparametricSurrogate dataNormal distributionsymbols.namesakeHeart RateHumansCoherence (signal processing)Computer Simulation1707MathematicsParametric statisticsFourier AnalysisNonparametric statisticsRegression analysisAutoregressive modelFourier analysisData Interpretation StatisticalSignal ProcessingSettore ING-INF/06 - Bioingegneria Elettronica E InformaticasymbolsRegression AnalysisAlgorithmAlgorithms
researchProduct

Can Mathematical Theory of Music Be Easily Learnt and Also Be Fun?

2018

[no abstract]

Mathematical pedagogySettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniMathematical theorycategory theorySettore MAT/02 - AlgebraSettore INF/01 - InformaticaComputer scienceCalculuscomputer scienceSettore MAT/04 - Matematiche Complementari
researchProduct

Matrix-based complexity functions and recognizable picture languages

2008

MatriceSettore INF/01 - InformaticaPicture LanguageComplexity functionsAutomata
researchProduct

Nonlinear effects of respiration on the crosstalk between cardiovascular and cerebrovascular control systems.

2016

Cardiovascular and cerebrovascular regulatory systems are vital control mechanisms responsible for guaranteeing homeostasis and are affected by respiration. This work proposes the investigation of cardiovascular and cerebrovascular control systems and the nonlinear influences of respiration on both regulations through joint symbolic analysis (JSA), conditioned or unconditioned on respiration. Interactions between cardiovascular and cerebrovascular regulatory systems were evaluated as well by performing correlation analysis between JSA indexes describing the two control systems. Heart period, systolic and mean arterial pressure, mean cerebral blood flow velocity and respiration were acquired…

Mean arterial pressuremedicine.medical_specialtySupine positionGeneral Mathematics0206 medical engineeringGeneral Physics and Astronomy02 engineering and technology030204 cardiovascular system & hematologyBaroreflexCerebral autoregulationCardiovascular System03 medical and health sciencesPhysics and Astronomy (all)0302 clinical medicineEngineering (all)Conditional joint symbolic analysiInternal medicineRespirationmedicineHeart rate variabilityAutonomic nervous system; Baroreflex; Cerebral autoregulation; Conditional joint symbolic analysis; Head-up tilt; Heart rate variability; Mathematics (all); Physics and Astronomy (all); Engineering (all)Autonomic nervous systemMathematics (all)Heart rate variabilitybusiness.industryAutonomic nervous system; Baroreflex; Cerebral autoregulation; Conditional joint symbolic analysis; Head-up tilt; Heart rate variability; Mathematics (all); Engineering (all); Physics and Astronomy (all)Head-up tiltGeneral EngineeringBaroreflex020601 biomedical engineeringCerebral autoregulationAutonomic nervous systemCerebral blood flowConditional joint symbolic analysisSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaCardiologybusinessPhilosophical transactions. Series A, Mathematical, physical, and engineering sciences
researchProduct

A fuzzy approach to the evaluation of image complexity

2009

The inherently multidimensional problem of evaluating the complexity of an image is of a certain relevance in both computer science and cognitive psychology. Computer scientists usually analyze spatial dimensions in order to deal with automatic vision problems, such as feature extraction. Psychologists seem more interested in the temporal dimension of complexity, as a means to explore attentional models. Is it possible to define, by merging both approaches, a more general index of visual complexity? The aim of this paper is the definition of objective measures of image complexity that fits with the so named perceived time. Towards the end we have defined a fuzzy mathematical model of visual…

Mental clockSettore INF/01 - InformaticaLogicbusiness.industryFuzzy setFeature extractionInformation processingComplexityFuzzy control systemFuzzy logicCorrelationComplexity indexFuzzy entropyInternal clockArtificial IntelligenceFuzzy setEntropy (information theory)Image analysiArtificial intelligencebusinessMathematicsFuzzy Sets and Systems
researchProduct

Isolation of the left atrial surface from cardiac multi-detector CT images based on marker controlled watershed segmentation

2006

The delineation of left atrium (LA) and pulmonary veins (PVs) anatomy from high resolution images holds importance for atrial fibrillation (AF) investigation and treatment. In this study, a semiautomatic segmentation procedure for LA and PVs inner surface from contrast enhanced CT data was developed. The procedure consists of a three dimensional marker controlled watershed segmentation applied to the external morphological gradient, followed by variable threshold surface extraction from the original intensity image. A preliminary anisotropic non-linear filtering was implemented to improve the S/N ratio of CT images. The performance of segmentation was evaluated on cardiac CT scans of 12 AF …

Morphological gradientPsychology (all)Computer scienceBiomedical EngineeringBiophysicsContrast MediaMathematical morphologycomputer.software_genreSensitivity and SpecificityPattern Recognition AutomatedImaging Three-DimensionalVoxelAtrial FibrillationHumansSegmentationOrthopedics and Sports MedicineHeart AtriaComputed tomographyAnisotropic filteringImage segmentationAnisotropic filteringModels CardiovascularReproducibility of ResultsGold standard (test)Image segmentationAnatomy RegionalWatershedIntensity (physics)Pulmonary VeinsMathematical morphologySubtraction TechniqueLeft atriumSettore ING-INF/06 - Bioingegneria Elettronica E Informaticacardiovascular systemTomography X-Ray ComputedcomputerBiomedical engineering
researchProduct