Search results for " Informatica"

showing 10 items of 978 documents

Constructing Antidictionaries in Output-Sensitive Space

2021

A word $x$ that is absent from a word $y$ is called minimal if all its proper factors occur in $y$. Given a collection of $k$ words $y_1,y_2,\ldots,y_k$ over an alphabet $\Sigma$, we are asked to compute the set $\mathrm{M}^{\ell}_{y_{1}\#\ldots\#y_{k}}$ of minimal absent words of length at most $\ell$ of word $y=y_1\#y_2\#\ldots\#y_k$, $\#\notin\Sigma$. In data compression, this corresponds to computing the antidictionary of $k$ documents. In bioinformatics, it corresponds to computing words that are absent from a genome of $k$ chromosomes. This computation generally requires $\Omega(n)$ space for $n=|y|$ using any of the plenty available $\mathcal{O}(n)$-time algorithms. This is because a…

FOS: Computer and information sciencesSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniOutput sensitive algorithmsString algorithmsPhysicsAntidictionarieSettore INF/01 - InformaticaOutput sensitive algorithm0102 computer and information sciencesAbsent wordsSpace (mathematics)01 natural sciencesAntidictionariesCombinatorics010201 computation theory & mathematicsTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYData compressionComputer Science - Data Structures and AlgorithmsData Structures and Algorithms (cs.DS)Computer Science::Symbolic Computation[INFO]Computer Science [cs]Absent wordAlphabetWord (group theory)2019 Data Compression Conference (DCC)
researchProduct

String attractors and combinatorics on words

2019

The notion of \emph{string attractor} has recently been introduced in [Prezza, 2017] and studied in [Kempa and Prezza, 2018] to provide a unifying framework for known dictionary-based compressors. A string attractor for a word $w=w[1]w[2]\cdots w[n]$ is a subset $\Gamma$ of the positions $\{1,\ldots,n\}$, such that all distinct factors of $w$ have an occurrence crossing at least one of the elements of $\Gamma$. While finding the smallest string attractor for a word is a NP-complete problem, it has been proved in [Kempa and Prezza, 2018] that dictionary compressors can be interpreted as algorithms approximating the smallest string attractor for a given word. In this paper we explore the noti…

FOS: Computer and information sciencesSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSettore INF/01 - InformaticaFormal Languages and Automata Theory (cs.FL)De Brujin wordComputer Science - Formal Languages and Automata TheoryBurrows-Wheeler transformString attractorComputer Science - Data Structures and AlgorithmsThue-Morse wordLempel-Ziv encodingBurrows-Wheeler transform; De Brujin word; Lempel-Ziv encoding; Run-length encoding; String attractor; Thue-Morse wordData Structures and Algorithms (cs.DS)Run-length encoding
researchProduct

A quantum vocal theory of sound

2020

Concepts and formalism from acoustics are often used to exemplify quantum mechanics. Conversely, quantum mechanics could be used to achieve a new perspective on acoustics, as shown by Gabor studies. Here, we focus in particular on the study of human voice, considered as a probe to investigate the world of sounds. We present a theoretical framework that is based on observables of vocal production, and on some measurement apparati that can be used both for analysis and synthesis. In analogy to the description of spin states of a particle, the quantum-mechanical formalism is used to describe the relations between the fundamental states associated with phonetic labels such as phonation, turbule…

FOS: Computer and information sciencesSound (cs.SD)Computer scienceAudio processingAnalogyAudio processing; Quantum-inspired algorithms; Sound representation01 natural sciencesComputer Science - Sound050105 experimental psychologyTheoretical Computer Sciencesymbols.namesakeAudio and Speech Processing (eess.AS)0103 physical sciencesFOS: Electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesPhonationElectrical and Electronic Engineering010306 general physicsQuantumHuman voiceQuantum computerSound representationSettore INF/01 - Informatica05 social sciencesStatistical and Nonlinear PhysicsObservableSettore MAT/04 - Matematiche ComplementariElectronic Optical and Magnetic MaterialsVibrationClassical mechanicsFourier transformComputer Science::SoundModeling and SimulationSignal ProcessingsymbolsQuantum-inspired algorithms Audio processing Sound representationQuantum-inspired algorithmsSettore ING-INF/05 - Sistemi di Elaborazione delle InformazioniElectrical Engineering and Systems Science - Audio and Speech Processing
researchProduct

Alignment-free Genomic Analysis via a Big Data Spark Platform

2021

Abstract Motivation Alignment-free distance and similarity functions (AF functions, for short) are a well-established alternative to pairwise and multiple sequence alignments for many genomic, metagenomic and epigenomic tasks. Due to data-intensive applications, the computation of AF functions is a Big Data problem, with the recent literature indicating that the development of fast and scalable algorithms computing AF functions is a high-priority task. Somewhat surprisingly, despite the increasing popularity of Big Data technologies in computational biology, the development of a Big Data platform for those tasks has not been pursued, possibly due to its complexity. Results We fill this impo…

FOS: Computer and information sciencesStatistics and Probabilitysequence analysisComputer science0206 medical engineeringBig data02 engineering and technologyMachine learningcomputer.software_genreBiochemistry03 medical and health sciencesSpark (mathematics)MapReduceMolecular Biology030304 developmental biology0303 health sciencesSettore INF/01 - Informaticabusiness.industryBioinformatics High Performance Computing Compressed Data StructuresMapReduce; hadoop; sequence analysisComputer Science ApplicationsComputational MathematicsTask (computing)Computer Science - Distributed Parallel and Cluster ComputingComputational Theory and MathematicsDistributed Parallel and Cluster Computing (cs.DC)Artificial intelligencehadoopbusinesscomputer020602 bioinformaticsBioinformatics
researchProduct

Quantum GestART: Identifying and Applying Correlations between Mathematics, Art, and Perceptual Organization

2020

Mathematics can help analyze the arts and inspire new artwork. Mathematics can also help make transformations from one artistic medium to another, considering exceptions and choices, as well as artists' individual and unique contributions. We propose a method based on diagrammatic thinking and quantum formalism. We exploit decompositions of complex forms into a set of simple shapes, discretization of complex images, and Dirac notation, imagining a world of "prototypes" that can be connected to obtain a fine or coarse-graining approximation of a given visual image. Visual prototypes are exchanged with auditory ones, and the information (position, size) characterizing visual prototypes is con…

FOS: Computer and information sciencesdiagrams; Dirac notation; Gestalt; Gestural similarity; sonificationmedia_common.quotation_subjectHistory and Overview (math.HO)ComputerApplications_COMPUTERSINOTHERSYSTEMSThe artsGestaltBra–ket notationPerceptionGestural similarityFOS: MathematicssonificationQuantummedia_commonCognitive scienceSettore INF/01 - InformaticaMathematics - History and OverviewApplied MathematicsSettore MAT/04 - Matematiche ComplementariMultimedia (cs.MM)Gestural similarity Gestalt diagrams Dirac notation sonificationComputational MathematicsdiagramsSonificationModeling and SimulationGestalt psychologyDirac notationInformationSystems_MISCELLANEOUSSettore ING-INF/05 - Sistemi di Elaborazione delle InformazioniComputer Science - MultimediaMusic
researchProduct

Synergetic and redundant information flow detected by unnormalized Granger causality: application to resting state fMRI

2015

Objectives: We develop a framework for the analysis of synergy and redundancy in the pattern of information flow between subsystems of a complex network. Methods: The presence of redundancy and/or synergy in multivariate time series data renders difficult to estimate the neat flow of information from each driver variable to a given target. We show that adopting an unnormalized definition of Granger causality one may put in evidence redundant multiplets of variables influencing the target by maximizing the total Granger causality to a given target, over all the possible partitions of the set of driving variables. Consequently we introduce a pairwise index of synergy which is zero when two in…

FOS: Computer and information sciencesgranger causality (GC)Multivariate statisticsComputer scienceRestComputer Science - Information TheoryBiomedical EngineeringsynergyFOS: Physical sciencescomputer.software_genre01 natural sciences03 medical and health sciences0302 clinical medicineGranger causality0103 physical sciencesConnectomeRedundancy (engineering)HumansBrain connectivityTime series010306 general physicsModels StatisticalHuman Connectome ProjectResting state fMRIredundancybusiness.industryInformation Theory (cs.IT)functional magnetic resonance imaging (fMRI)BrainPattern recognitionComplex networkMagnetic Resonance ImagingVariable (computer science)Physics - Data Analysis Statistics and ProbabilityQuantitative Biology - Neurons and CognitionFOS: Biological sciencesSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaPairwise comparisonNeurons and Cognition (q-bio.NC)Artificial intelligenceData miningNerve Netbusinesscomputer030217 neurology & neurosurgeryData Analysis Statistics and Probability (physics.data-an)
researchProduct

Multiscale partial information decomposition of dynamic processes with short and long-range correlations: theory and application to cardiovascular co…

2022

Abstract Objective. In this work, an analytical framework for the multiscale analysis of multivariate Gaussian processes is presented, whereby the computation of Partial Information Decomposition measures is achieved accounting for the simultaneous presence of short-term dynamics and long-range correlations. Approach. We consider physiological time series mapping the activity of the cardiac, vascular and respiratory systems in the field of Network Physiology. In this context, the multiscale representation of transfer entropy within the network of interactions among Systolic arterial pressure (S), respiration (R) and heart period (H), as well as the decomposition into unique, redundant and s…

FOS: Computer and information sciencesmultivariate time seriesPhysiologyEntropyRespirationBiomedical EngineeringBiophysicsheart rate variabilitytransfer entropyredundancy and synergyBlood PressureHeartQuantitative Biology - Quantitative MethodsCardiovascular SystemMethodology (stat.ME)Heart RatePhysiology (medical)FOS: Biological sciencesCardiovascular controlSettore ING-INF/06 - Bioingegneria Elettronica E Informaticavector autoregressive fractionally integrated (VARFI) modelsHumansQuantitative Methods (q-bio.QM)Statistics - MethodologyPhysiological measurement
researchProduct

A multi-layer method to study genome-scale positions of nucleosomes

2009

AbstractThe basic unit of eukaryotic chromatin is the nucleosome, consisting of about 150 bp of DNA wrapped around a protein core made of histone proteins. Nucleosomes position is modulated in vivo to regulate fundamental nuclear processes. To measure nucleosome positions on a genomic scale both theoretical and experimental approaches have been recently reported. We have developed a new method, Multi-Layer Model (MLM), for the analysis of nucleosome position data obtained with microarray-based approach. The MLM is a feature extraction method in which the input data is processed by a classifier to distinguish between several kinds of patterns. We applied our method to simulated-synthetic and…

Feature extractionNucleosome positioningGenomicsSaccharomyces cerevisiaeComputational biologyHidden Markov Modelchemistry.chemical_compoundSettore BIO/10 - BiochimicaNucleosome positioning Hidden Markov Model Classification Multi-layer methodGeneticsHumansNucleosomeMulti-layer methodHidden Markov modelBase PairingMulti layerOligonucleotide Array Sequence AnalysisGeneticsBase SequenceSettore INF/01 - InformaticabiologyGenome HumanClassificationMarkov ChainsNucleosomesChromatinHistonechemistrybiology.proteinDNAGenomics
researchProduct

Assessing causality in brain dynamics and cardiovascular control

2013

Understanding how different cerebral areas interact to produce an integrated behaviour and disentangling the mechanisms that contribute to cardiovascular control are two of the major challenges of brain and cardiovascular neuroscience. The increasing availability of simultaneous continuous

Feedback PhysiologicalCognitive scienceIntroductionComputer scienceGeneral MathematicsGeneral EngineeringBrainGeneral Physics and AstronomyHeartCardiovascular controlModels BiologicalCausality (physics)EngineeringPhysics and AstronomyMathematics; Engineering; Physics and AstronomySettore ING-INF/06 - Bioingegneria Elettronica E InformaticaAnimalsHumansComputer SimulationNerve NetAlgorithmsMathematic
researchProduct

Local electrical characterisation of human atrial fibrillation

2002

The rate of success of radio-frequency catheter ablation in the treatment of atrial fibrillation may be significantly improved by evaluating the local electrical properties of the atrial tissue. The aim of this study is the development of an automatic procedure for the characterisation of the local electrical activity during atrial fibrillation and the comparison of its performance with the manual analysis. The adopted procedures were the semi-automatic measurement of the local fibrillation intervals (A-A intervals) and the manual electrogram classification following the criteria suggested by Wells (1978) or Konings (1997). Two methods have been used: Principal Component Analysis and Cluste…

Fibrillationmedicine.medical_specialtymedicine.diagnostic_testbusiness.industrymedicine.medical_treatmentComputer Science Applications1707 Computer Vision and Pattern RecognitionAtrial fibrillationCatheter ablationAtrial tissuemedicine.diseaseInternal medicineSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaClinical valueCardiologyMedicinemedicine.symptomCardiology and Cardiovascular MedicinebusinessElectrocardiographyComputers in Cardiology 2000. Vol.27 (Cat. 00CH37163)
researchProduct