Search results for " Informatica"

showing 10 items of 978 documents

Representing 2D Digital Objects

2000

The paper describes the combination a multi-views approach to represent connected components of 2D binary images. The approach is based on the Object Connectivity Graph (OCG), which is a sub-graph of the connectivity graph generated by the Discrete Cylindrical Algebraic Decomposition(DCAD) performed in the 2D discrete space. This construction allows us to find the number of connected components, to determine their connectivity degree, and to solve visibility problem. We show that the CAD construction, when performed on two orthogonal views, supply information to avoid ambiguities in the interpretation of each image component. The implementation of the algorithm is outlined and the computati…

Connected componentTheoretical computer scienceSettore INF/01 - InformaticaComputational complexity theoryDegree (graph theory)Computer scienceDiscrete spaceDigital topologyShape representationTopologyTheoretical Computer ScienceCylindrical algebraic decompositionComputer ScienceShape decompositionRepresentation (mathematics)Digital topologyConnectivityShape description
researchProduct

Towards human cell simulation

2019

The faithful reproduction and accurate prediction of the phe-notypes and emergent behaviors of complex cellular systems are among the most challenging goals in Systems Biology. Although mathematical models that describe the interactions among all biochemical processes in a cell are theoretically feasible, their simulation is generally hard because of a variety of reasons. For instance, many quantitative data (e.g., kinetic rates) are usually not available, a problem that hinders the execution of simulation algorithms as long as some parameter estimation methods are used. Though, even with a candidate parameterization, the simulation of mechanistic models could be challenging due to the extr…

Constraint-based modelingAgent-based simulation; Big data; Biochemical simulation; Computational intelligence; Constraint-based modeling; Fuzzy logic; High-performance computing; Model reduction; Multi-scale modeling; Parameter estimation; Reaction-based modeling; Systems biology; Theoretical Computer Science; Computer Science (all)Computer scienceBiochemical simulationDistributed computingSystems biologyBig dataComputational intelligenceContext (language use)ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONITheoretical Computer ScienceReduction (complexity)Big dataParameter estimationHigh-performance computingComputational intelligenceAgent-based simulationMathematical modelbusiness.industryModel reductionComputer Science (all)Multi-scale modelingINF/01 - INFORMATICASupercomputerVariety (cybernetics)Fuzzy logicReaction-based modelingbusinessSystems biology
researchProduct

Categories, Musical Instruments, and Drawings: A Unification Dream

2019

The mathematical formalism of category theory allows to investigate musical structures at both low and high levels, performance practice (with musical gestures) and music analysis. Mathematical formalism can also be used to connect music with other disciplines such as visual arts. In our analysis, we extend former studies on category theory applied to musical gestures, including musical instruments and playing techniques. Some basic concepts of categories may help navigate within the complexity of several branches of contemporary music research, giving it a unitarian character. Such a 'unification dream,' that we can call 'cARTegory theory,' also includes metaphorical references to topos th…

Contemporary classical musicSettore INF/01 - InformaticaUnificationInformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g.HCI)MusicalSettore MAT/04 - Matematiche ComplementariLinguisticsTopos theorySettore MAT/02 - AlgebraCharacter (mathematics)Music theoryGestural similarityCategory theory; Classifying toposes; Gestural similarityClassifying toposesCategory theoryPsychologyCategory theoryGesture
researchProduct

Classification based on Iterative Object Symmetry Transform

2004

The paper shows an application of a new operator named the iterated object transform (IOT) for cell classification. The IOT has the ability to grasp the internal structure of a digital object and this feature can be usefully applied to discriminate structured images. This is the case of cells representing chondrocytes in bone tissue, giarda protozoan, and myeloid leukaemia. A tree classifier allows us to discriminate the three classes with a good accuracy.

Contextual image classificationSettore INF/01 - Informaticabusiness.industryIterative methodFeature extractionGRASPCognitive neuroscience of visual object recognitionPattern recognitionIterated functionComputer visionArtificial intelligencebusinessClassifier (UML)Classification Medical imaging clusteringMathematicsDigital object
researchProduct

Finding essential features for tracking starfish in a video sequence

2004

The paper introduces a software system for detecting and tracking starfish in an underwater video sequence. The target of such a system is to help biologists in giving an estimate of the number of starfish present in a particular area of the sea-bottom. The nature of the input images is characterised by a low signal/noise ratio and by the presence of noisy background represented by pebbles; this makes the detection a non-trivial task. The procedure we use is a chain of several steps that starts from the extraction of the area of interest and ends with a classifier and a tracker providing the necessary information for counting the starfish present in the scene. © 2003 IEEE.

Contextual image classificationbiologySettore INF/01 - InformaticaEstimation theoryComputer sciencebusiness.industryStarfishFeature extractionbiology.organism_classificationObject detectionComputer visionArtificial intelligenceSoftware systemUnderwaterbusinessClassifier (UML)underwater video sequence starfish features extraction.
researchProduct

A non-supervised approach to locate and to measure the nuchal translucency by means of wavelet analysis and neural networks

2017

Ultrasound imaging is a well known noninvasive way to evaluate various diseases during the prenatal age. In particular, the thickness measure of the nuchal transucency is strictly correlated with pathologies like trisomy 13, 18 and 21. For a correct investigation, the methodology needs mid-sagittal sections and the proposed approach is based on wavelet analysis and neural network classifiers to locate components useful to identify mid-sagittal planes. To evaluate the performance and the robustness of the methodology, real clinical ultrasound images were considered, obtaining an average error of at most 0.3 millimeters in 97.4% of the cases.

Control and OptimizationArtificial neural networkSettore INF/01 - InformaticaComputer sciencebusiness.industrymid-sagittal sectionneural networksymmetry transformPattern recognitionMeasure (mathematics)Ultrasonic imagingClinical ultrasoundWaveletComputer Networks and CommunicationNuchal translucencyRobustness (computer science)Artificial IntelligenceUltrasound imagingArtificial intelligencewavelet analysibusinessnuchal translucencyInformation Systems
researchProduct

Experiments with an adaptive Bayesian restoration method

1989

Abstract This paper describes a Bayesian restoration method applied to two-dimensional measured images, whose detector response function is not completely known. The response function is assumed Gaussian with standard deviation depending on the estimate of the local density of the image. The convex hull of the K -nearest neighbours ( K NN) of each ‘on’ pixel is used to compute the local density. The method has been tested on ‘sparse’ images, with and without noise background.

Convex hullGaussianImage processingStandard deviationsymbols.namesakeArtificial IntelligenceBayesian restorationElectrical and Electronic EngineeringImage restorationK-nearest-neighbours algorithmMathematics1707PixelSettore INF/01 - Informaticabusiness.industryPattern recognitionsparse imageFunction (mathematics)Signal ProcessingsymbolsComputer Vision and Pattern RecognitionArtificial intelligenceDeconvolutionbusinessconvex hullSoftware
researchProduct

Shape-Based Features for Cat Ganglion Retinal Cells Classification

2002

This article presents a quantitative and objective approach to cat ganglion cell characterization and classification. The combination of several biologically relevant features such as diameter, eccentricity, fractal dimension, influence histogram, influence area, convex hull area, and convex hull diameter are derived from geometrical transforms and then processed by three different clustering methods (Ward’s hierarchical scheme, K-means and genetic algorithm), whose results are then combined by a voting strategy. These experiments indicate the superiority of some features and also suggest some possible biological implications.

Convex hullSettore INF/01 - InformaticaComputer sciencebusiness.industryFeature extractionPattern recognitionComputational geometryFractal dimensionbody regionsFractalHistogramSignal ProcessingGenetic algorithmComputer visionMedical imagingComputer Vision and Pattern RecognitionArtificial intelligenceElectrical and Electronic EngineeringCells classificationCluster analysisbusinessReal-Time Imaging
researchProduct

Comparison of different cooperation strategies in the prey-predator problem

2006

The paper describes two cooperating strategies among several homogeneous agents to reach a given target. In our case we used the prey-predators paradigm in which a set of agents (predators) have the purpose to reach a target (prey). The problem is addressed as an optimization problem that has been faced with two different algorithms (a genetic algorithm and a particle swam optimization algorithm). The two approaches are evaluated by using a simulator for each strategy and the results show that the strategies are very different in terms of prey-predator successes. Genetic algorithm can be used by the prey to solve at the best the problem to reach the lair, otherwise the Particle Swarm Optimi…

Cooperation strategieParticle Swam optimizationPrey-predatorSettore INF/01 - Informaticaoptimiz ation problemHomogeneous agentInternational (CO)Machine perceptionParticle swarm optimization method2006 International Workshop on Computer Architecture for Machine Perception and Sensing
researchProduct

The Idea Machine: LLM-based Expansion, Rewriting, Combination, and Suggestion of Ideas

2022

We introduce the Idea Machine, a creativity support tool that leverages large language models (LLMs) to empower people engaged in idea generation tasks. The tool includes a number of affordances that can be used to enable various levels of automation and intelligent support. Each idea entered into the system can be expanded, rewritten, or combined with other ideas or concepts. An idea suggestion mode can also be enabled to make the system proactively suggest ideas.

CreativitySettore INF/01 - Informaticahuman-centered AIbrainstormingidea generationlarge language models
researchProduct