Search results for "Database"

showing 10 items of 2136 documents

Exact quantum algorithms have advantage for almost all Boolean functions

2014

It has been proved that almost all $n$-bit Boolean functions have exact classical query complexity $n$. However, the situation seemed to be very different when we deal with exact quantum query complexity. In this paper, we prove that almost all $n$-bit Boolean functions can be computed by an exact quantum algorithm with less than $n$ queries. More exactly, we prove that ${AND}_n$ is the only $n$-bit Boolean function, up to isomorphism, that requires $n$ queries.

FOS: Computer and information sciencesNuclear and High Energy Physics81P68 03D15Parity functionBoolean circuitGeneral Physics and AstronomyFOS: Physical sciencesBoolean algebras canonically definedComputational Complexity (cs.CC)Theoretical Computer ScienceCombinatoricsBoolean expressionBoolean functionMathematical PhysicsComputer Science::DatabasesMathematicsDiscrete mathematicsSymmetric Boolean functionQuantum PhysicsProduct termComputer Science::Information RetrievalStatistical and Nonlinear PhysicsComputer Science - Computational ComplexityComputational Theory and MathematicsMaximum satisfiability problemQuantum Physics (quant-ph)
researchProduct

Qualitative Comparison of Community Detection Algorithms

2011

Community detection is a very active field in complex networks analysis, consisting in identifying groups of nodes more densely interconnected relatively to the rest of the network. The existing algorithms are usually tested and compared on real-world and artificial networks, their performance being assessed through some partition similarity measure. However, artificial networks realism can be questioned, and the appropriateness of those measures is not obvious. In this study, we take advantage of recent advances concerning the characterization of community structures to tackle these questions. We first generate networks thanks to the most realistic model available to date. Their analysis r…

FOS: Computer and information sciencesPhysics - Physics and SocietyComputer scienceComputer Vision and Pattern Recognition (cs.CV)Computer Science - Computer Vision and Pattern RecognitionFOS: Physical sciences02 engineering and technologyPhysics and Society (physics.soc-ph)Similarity measure[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Complex NetworksField (computer science)Qualitative analysis020204 information systems0202 electrical engineering electronic engineering information engineeringSocial and Information Networks (cs.SI)Algorithms ComparisonArtificial networks[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Computer Science - Social and Information Networks[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM]Complex networkPartition (database)Community Properties020201 artificial intelligence & image processingAlgorithmCommunity Detection
researchProduct

Application of LEAN Principles to Improve Business Processes: a Case Study in a Latvian IT Company

2020

The research deals with application of the LEAN principles to business processes of a typical IT company. The paper discusses LEAN principles amplifying advantages and shortcomings of their application. The authors suggest use of the LEAN principles as a tool to identify improvement potential for IT company's business processes and work-flow efficiency. During a case study the implementation of LEAN principles has been exemplified in business processes of a particular Latvian IT company. The obtained results and conclusions can be used for meaningful and successful application of LEAN principles and methods in projects of other IT companies.

FOS: Computer and information sciencesProcess managementGeneral Computer ScienceBusiness processLatvianDatabases (cs.DB)language.human_languageSoftware Engineering (cs.SE)Computer Science - Software EngineeringComputer Science - Computers and SocietyComputer Science - DatabasesComputers and Society (cs.CY)languageBusinessBaltic Journal of Modern Computing
researchProduct

The Need for Structure in Quantum Speedups

2009

Is there a general theorem that tells us when we can hope for exponential speedups from quantum algorithms, and when we cannot? In this paper, we make two advances toward such a theorem, in the black-box model where most quantum algorithms operate. First, we show that for any problem that is invariant under permuting inputs and outputs (like the collision or the element distinctness problems), the quantum query complexity is at least the 7th root of the classical randomized query complexity. (An earlier version of this paper gave the 9th root.) This resolves a conjecture of Watrous from 2002. Second, inspired by recent work of O'Donnell et al. (2005) and Dinur et al. (2006), we conjecture t…

FOS: Computer and information sciencesQuantum PhysicsComputer Science - Computational ComplexityFOS: Physical sciencesComputational Complexity (cs.CC)Computer Science::Computational ComplexityQuantum Physics (quant-ph)Computer Science::DatabasesTheory of Computing
researchProduct

Span-program-based quantum algorithm for the rank problem

2011

Recently, span programs have been shown to be equivalent to quantum query algorithms. It is an open problem whether this equivalence can be utilized in order to come up with new quantum algorithms. We address this problem by providing span programs for some linear algebra problems. We develop a notion of a high level span program, that abstracts from loading input vectors into a span program. Then we give a high level span program for the rank problem. The last section of the paper deals with reducing a high level span program to an ordinary span program that can be solved using known quantum query algorithms.

FOS: Computer and information sciencesQuantum PhysicsComputer Science - Data Structures and AlgorithmsComputer Science::Programming LanguagesFOS: Physical sciencesData Structures and Algorithms (cs.DS)Quantum Physics (quant-ph)Computer Science::Databases
researchProduct

Superlinear advantage for exact quantum algorithms

2012

A quantum algorithm is exact if, on any input data, it outputs the correct answer with certainty (probability 1). A key question is: how big is the advantage of exact quantum algorithms over their classical counterparts: deterministic algorithms. For total Boolean functions in the query model, the biggest known gap was just a factor of 2: PARITY of N inputs bits requires $N$ queries classically but can be computed with N/2 queries by an exact quantum algorithm. We present the first example of a Boolean function f(x_1, ..., x_N) for which exact quantum algorithms have superlinear advantage over the deterministic algorithms. Any deterministic algorithm that computes our function must use N qu…

FOS: Computer and information sciencesQuantum sortGeneral Computer ScienceDeterministic algorithmGeneral MathematicsFOS: Physical sciences0102 computer and information sciencesQuantum capacityComputational Complexity (cs.CC)01 natural sciences010305 fluids & plasmasCombinatorics0103 physical sciencesQuantum phase estimation algorithmQuantum informationBoolean function010306 general physicsComputer Science::DatabasesQuantum computerMathematicsDiscrete mathematicsQuantum PhysicsFunction (mathematics)Computer Science - Computational Complexity010201 computation theory & mathematicsQuantum Fourier transformNo-teleportation theoremQuantum algorithmQuantum Physics (quant-ph)Proceedings of the forty-fifth annual ACM symposium on Theory of Computing
researchProduct

Large-scale compression of genomic sequence databases with the Burrows-Wheeler transform

2012

Motivation The Burrows-Wheeler transform (BWT) is the foundation of many algorithms for compression and indexing of text data, but the cost of computing the BWT of very large string collections has prevented these techniques from being widely applied to the large sets of sequences often encountered as the outcome of DNA sequencing experiments. In previous work, we presented a novel algorithm that allows the BWT of human genome scale data to be computed on very moderate hardware, thus enabling us to investigate the BWT as a tool for the compression of such datasets. Results We first used simulated reads to explore the relationship between the level of compression and the error rate, the leng…

FOS: Computer and information sciencesStatistics and ProbabilityBurrows–Wheeler transformComputer scienceData_CODINGANDINFORMATIONTHEORYBurrows-Wheeler transformcomputer.software_genreBiochemistryBurrows-Wheeler transform; Data Compression; Next-generation sequencingComputer Science - Data Structures and AlgorithmsEscherichia coliCode (cryptography)HumansOverhead (computing)Data Structures and Algorithms (cs.DS)Computer SimulationQuantitative Biology - GenomicsMolecular BiologyGenomics (q-bio.GN)Genome HumanString (computer science)Search engine indexingSortingGenomicsSequence Analysis DNAConstruct (python library)Data CompressionComputer Science ApplicationsComputational MathematicsComputational Theory and MathematicsFOS: Biological sciencesNext-generation sequencingData miningDatabases Nucleic AcidcomputerAlgorithmsData compression
researchProduct

Forrelation

2014

We achieve essentially the largest possible separation between quantum and classical query complexities. We do so using a property-testing problem called Forrelation, where one needs to decide whether one Boolean function is highly correlated with the Fourier transform of a second function. This problem can be solved using 1 quantum query, yet we show that any randomized algorithm needs Ω(√(N)log(N)) queries (improving an Ω(N[superscript 1/4]) lower bound of Aaronson). Conversely, we show that this 1 versus Ω(√(N)) separation is optimal: indeed, any t-query quantum algorithm whatsoever can be simulated by an O(N[superscript 1-1/2t])-query randomized algorithm. Thus, resolving an open questi…

FOS: Computer and information sciencesTheoretical computer scienceGeneral Computer ScienceComputational complexity theoryComputer scienceGeneralizationGeneral MathematicsSeparation (aeronautics)FOS: Physical sciences0102 computer and information sciencesComputational Complexity (cs.CC)01 natural sciencesUpper and lower boundsCombinatorics0103 physical sciences010306 general physicsBoolean functionQuantumComputer Science::DatabasesQuantum computerMathematicsDiscrete mathematicsQuantum PhysicsFunction (mathematics)Randomized algorithmComputer Science - Computational Complexity010201 computation theory & mathematicsQuantum algorithmQuantum Physics (quant-ph)Proceedings of the forty-seventh annual ACM symposium on Theory of Computing
researchProduct

Complete End-To-End Low Cost Solution To a 3D Scanning System with Integrated Turntable

2017

3D reconstruction is a technique used in computer vision which has a wide range of applications in areas like object recognition, city modelling, virtual reality, physical simulations, video games and special effects. Previously, to perform a 3D reconstruction, specialized hardwares were required. Such systems were often very expensive and was only available for industrial or research purpose. With the rise of the availability of high-quality low cost 3D sensors, it is now possible to design inexpensive complete 3D scanning systems. The objective of this work was to design an acquisition and processing system that can perform 3D scanning and reconstruction of objects seamlessly. In addition…

FOS: Computer and information sciencesbusiness.industryComputer scienceComputer Vision and Pattern Recognition (cs.CV)3D reconstructionComputer Science - Computer Vision and Pattern Recognition0211 other engineering and technologiesProcess (computing)Point cloud020207 software engineering02 engineering and technologyProcessingVirtual realitySoftware0202 electrical engineering electronic engineering information engineeringTable (database)businesscomputerComputer hardware021106 design practice & managementcomputer.programming_languageGraphical user interface
researchProduct

Estimation des performances, test et contrôle des systèmes cyber-physiques employant des réseaux de communication non idéaux

2020

Wireless technology is a key enabler of the promises of Industry 4.0 (Smart Manufacturing). As such, wireless technology will be adopted as a principal mode of communication within the factory beginning with the factory enterprise and eventually being adopted for use within the factory workcell. Factory workcell communication has particular requirements on latency, reliability, scale, and security that must first be met by the wireless communication technology used. Wireless is considered a non-ideal form of communication in that when compared to its wired counterparts, it is considered less reliable (lossy) and less secure. These possible impairments lead to delay and loss of data in indus…

Fabrication intelligenteIndustrial wireless testbed[INFO.INFO-TS] Computer Science [cs]/Signal and Image ProcessingSmart manufacturingApprentissage automatiqueSystems modelingGraph databaseBase de données graphe[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingMachine learningIndustrial wirelessModelisation systémeCommunications sans fil industrielBanc d'essai sans fil industriel
researchProduct