Search results for "Data type"

showing 10 items of 1183 documents

Approximate supervised learning of quantum gates via ancillary qubits

2018

We present strategies for the training of a qubit network aimed at the ancilla-assisted synthesis of multi-qubit gates based on a set of restricted resources. By assuming the availability of only time-independent single and two-qubit interactions, we introduce and describe a supervised learning strategy implemented through momentum-stochastic gradient descent with automatic differentiation methods. We demonstrate the effectiveness of the scheme by discussing the implementation of non-trivial three qubit operations, including a Quantum Fourier Transform (QFT) and a half-adder gate.

Theoretical computer sciencePhysics and Astronomy (miscellaneous)Computer scienceSupervised learningQuantum Physicsquantum-computation01 natural sciencesSettore FIS/03 - Fisica Della Materia010305 fluids & plasmasSet (abstract data type)Quantum-informationComputer Science::Emerging TechnologiesQuantum gatemachine learningquantum informationQubit0103 physical sciences/dk/atira/pure/subjectarea/asjc/3100/3101Hardware_ARITHMETICANDLOGICSTRUCTURESQuantum informationquantum-gates010306 general physicsQuantum computer
researchProduct

Representation theory treatment of measurement semantics for ratio, ordinal and nominal scales

1997

Within the scope of the representational theory a formal framework for description of semantic aspects of measurement on different scales is proposed. This is done by means of a first-order formal logical system consisting of a set of empirical predicates which play the part of a data structure in the framework, a set of operations by means of which syntactically correct statements can be formed; a set of axioms being true statements and a set of numerical statements which is an aggregation of potential measurement results carrying a meaningful load. On this basis the notation of semantic information on various scales is introduced and some common claims about the measurement semantic infor…

Theoretical computer scienceRelation (database)Semantics (computer science)business.industryApplied MathematicsCondensed Matter PhysicsNotationData structureSet (abstract data type)Level of measurementInformation systemArtificial intelligenceElectrical and Electronic EngineeringbusinessInstrumentationAxiomMathematicsMeasurement
researchProduct

Conjunction, Disjunction and Iterated Conditioning of Conditional Events

2013

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the…

Theoretical computer scienceSettore MAT/06 - Probabilita' E Statistica MatematicaComputer scienceProbabilistic logicCoherence (philosophical gambling strategy)Conditional events conditional random quantities conjunction disjunction iterated conditionalsConjunction (grammar)Set (abstract data type)Regular conditional probabilitydisjunction; conditional events; conjunction; conditional random quantities; iterated conditionals.Iterated functionRepresentation (mathematics)Settore SECS-S/01 - StatisticaMathematical economicsEvent (probability theory)
researchProduct

A grid ant colony algorithm for the orienteering problem

2005

In this paper we propose a distributed ant colony algorithm to solve large scale orienteering problem instances. Our approach is based on a multi-colony strategy where each colony works in an independent portion (cluster) in the original graph. This results in no need for communicating pheromones information among colonies and in increasing speedup. We have implemented our algorithm as a .NET Web services infrastructure following a grid computing philosophy and we provide some promising experimental results to show the feasibility and effectiveness of our approach

Theoretical computer scienceSpeedupComputer scienceDistributed computingAnt colony optimization algorithmsMathematicsofComputing_NUMERICALANALYSISGraph theoryOrienteeringGridcomputer.software_genreComputingMethodologies_ARTIFICIALINTELLIGENCEGrid computingDistributed algorithmSex pheromoneGraph (abstract data type)computer
researchProduct

E-learning approach of the graph coloring problem applied to register allocation in embedded systems

2016

The main aim of this paper consists in developing an effective e-learning tool, focused on evolutionary algorithms, in order to solve the graph coloring problem. Subsidiary, we apply graph coloring for register allocation in embedded systems. From didactic viewpoint, our tool has benefits in the learning process because it helps students to observe the relationship between the graph coloring problem and CPU registers allocation with the help of four developed modules: the genetic algorithm, the graphical viewer, the interference graph for a C program and a web application which collects the simulation results. All these applications are combined by a graphical interface which allows the use…

Theoretical computer sciencebusiness.industryComputer scienceProcessor registerEvolutionary algorithm02 engineering and technology021001 nanoscience & nanotechnologyEmbedded systemGenetic algorithm0202 electrical engineering electronic engineering information engineeringWeb applicationGraph (abstract data type)020201 artificial intelligence & image processingGraph coloring0210 nano-technologybusinessGraphical user interfaceRegister allocation2016 Sixth International Conference on Innovative Computing Technology (INTECH)
researchProduct

A basic analysis toolkit for biological sequences

2007

This paper presents a software library, nicknamed BATS, for some basic sequence analysis tasks. Namely, local alignments, via approximate string matching, and global alignments, via longest common subsequence and alignments with affine and concave gap cost functions. Moreover, it also supports filtering operations to select strings from a set and establish their statistical significance, via z-score computation. None of the algorithms is new, but although they are generally regarded as fundamental for sequence analysis, they have not been implemented in a single and consistent software package, as we do here. Therefore, our main contribution is to fill this gap between algorithmic theory an…

Theoretical computer sciencelcsh:QH426-470Computer sciencebusiness.industrysoftwareComputationApplied MathematicsString searching algorithmApproximate string matchingSoftware ArticleSet (abstract data type)Longest common subsequence problemlcsh:GeneticsSoftwareComputational Theory and Mathematicslcsh:Biology (General)Structural BiologyAffine transformationPerlbusinesscomputerMolecular Biologylcsh:QH301-705.5computer.programming_language
researchProduct

Social network analysis: the use of graph distances to compare artificial and criminal networks

2021

Aim: Italian criminal groups become more and more dangerous spreading their activities into new sectors. A criminal group is made up of networks of hundreds of family gangs which extended their influence across the world, raking in billions from drug trafficking, extortion and money laundering. We focus in particular on the analysis of the social structure of two Sicilian crime families and we used a Social Network Analysis approach to study the social phenomena. Starting from a real criminal network extracted from meetings emerging from the police physical surveillance during 2000s, we here aim to create artificial models that present similar properties. Methods: We use specific tools of s…

Theoretical computer sciencesocial network analysisSpectral distanceSettore INF/01 - InformaticaComputer sciencegraph theorySocial network analysis (criminology)social network analysiGraph theoryspectral distancenetwork modelCriminal networksCriminal networkGraph (abstract data type)Criminal networks social network analysis graph theory spectral distance network modelNetwork model
researchProduct

Bounded Computational Capacity Equilibrium

2010

We study repeated games played by players with bounded computational power, where, in contrast to Abreu and Rubisntein (1988), the memory is costly. We prove a folk theorem: the limit set of equilibrium payoffs in mixed strategies, as the cost of memory goes to 0, includes the set of feasible and individually rational payoffs. This result stands in sharp contrast to Abreu and Rubisntein (1988), who proved that when memory is free, the set of equilibrium payoffs in repeated games played by players with bounded computational power is a strict subset of the set of feasible and individually rational payoffs. Our result emphasizes the role of memory cost and of mixing when players have bounded c…

TheoryofComputation_MISCELLANEOUSEconomics and EconometricsComputer Science::Computer Science and Game TheoryBounded rationality automata complexity infnitely repeated games equilibrium.EconomiaOutcome (game theory)Set (abstract data type)Lexicographic preferences0502 economics and businessFOS: MathematicsFolk theoremMathematics - Optimization and ControlMathematicsFinite-state machine05 social sciencesProbability (math.PR)ComputingMilieux_PERSONALCOMPUTING050301 educationTheoryofComputation_GENERALBounded rationalityOptimization and Control (math.OC)Bounded functionRepeated game050206 economic theory0503 educationMathematical economicsMathematics - Probability
researchProduct

Review of thermal infrared applications and requirements for future high-resolution sensors

2016

High-resolution thermal infrared (TIR) remote sensing has a wide range of applications. In this paper, we describe the different applications and requirements identified in a literature review and during a consultation meeting with researcher experts in different fields. As a result, more than 30 applications were identified within three different fields: 1) land and solid Earth; 2) health and hazards; and 3) security and surveillance. A complete set of requirements (spatial, temporal, and radiometric resolution, algorithms used, and supporting data, among others) for each application is also provided. The results presented in this paper provide useful information to enhance the importance …

Thermal infrared010504 meteorology & atmospheric sciencesComputer scienceFuegosathigh resolution0211 other engineering and technologiesHigh resolutionland surface temperatureSettore ING-INF/02 - Campi Elettromagnetici02 engineering and technology01 natural sciencesSet (abstract data type)Fuegosat; high resolution; land surface emissivity; land surface temperature; thermal infraredland surface emissivitySystems engineeringGeneral Earth and Planetary Sciencesthermal infraredElectrical and Electronic EngineeringSolid earth021101 geological & geomatics engineering0105 earth and related environmental sciencesRemote sensing
researchProduct

A novel dynamic multi-model relevance feedback procedure for content-based image retrieval

2016

This paper deals with the problem of image retrieval in large databases with a big semantic gap by a relevance feedback procedure. We present a novel algorithm for modelling the users's preferences in the content-based image retrieval system.The proposed algorithm considers the probability of an image belonging to the set of those sought by the user, and estimates the parameters of several local logistic regression models whose inputs are the low-level image features. A Principal Component Analysis method is applied to the original vector to reduce its high dimensionality. The relevance probabilities predicted by these local models are combined by means of a weighted average. These weights …

Thesaurus (information retrieval)Computer scienceCognitive NeuroscienceRelevance feedback020207 software engineering02 engineering and technologycomputer.software_genreContent-based image retrievalComputer Science ApplicationsSet (abstract data type)Search engineArtificial IntelligenceFeature (computer vision)Principal component analysis0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingRelevance (information retrieval)Data miningcomputerImage retrievalSemantic gapNeurocomputing
researchProduct