Search results for "Databases"

showing 10 items of 937 documents

Quantum Queries on Permutations

2015

K. Iwama and R. Freivalds considered query algorithms where the black box contains a permutation. Since then several authors have compared quantum and deterministic query algorithms for permutations. It turns out that the case of \(n\)-permutations where \(n\) is an odd number is difficult. There was no example of a permutation problem where quantization can save half of the queries for \((2m+1)\)-permutations if \(m\ge 2\). Even for \((2m)\)-permutations with \(m\ge 2\), the best proved advantage of quantum query algorithms is the result by Iwama/Freivalds where the quantum query complexity is \(m\) but the deterministic query complexity is \((2m-1)\). We present a group of \(5\)-permutati…

CombinatoricsQuantization (physics)Quantum parallelismQuantum queryPermutationMathematics::CombinatoricsGroup (mathematics)Computer Science::Information RetrievalQuantumComputer Science::DatabasesMathematics
researchProduct

BARGAINING WITH COMMITMENT UNDER AN UNCERTAIN DEADLINE

2006

We consider an infinite horizon bargaining game in which a deadline can arise with positive probability and where players possess an endogenous commitment device. We show that for any truncation of the game, the equilibrium agreement can only take place if the deadline arises within this finite horizon. Since the deadline is an uncertain event, the equilibrium exhibits agreements which are delayed with positive probability.

Commitment deviceComputer Science::Computer Science and Game TheoryGeneral Computer ScienceTruncationFinite horizonC78 [Bargaining endogenous commitment delays uncertain deadline JEL Classification]jel:M2MicroeconomicsEconomicsjel:C0Infinite horizonStatistics Probability and UncertaintyBusiness and International Managementjel:D5jel:B4Mathematical economicsComputer Science::Operating Systemsjel:C6jel:D7Positive probabilityComputer Science::Databasesjel:C7Event (probability theory)International Game Theory Review
researchProduct

Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms

2005

The complexity of quantum query algorithms computing Boolean functions is strongly related to the degree of the algebraic polynomial representing this Boolean function. There are two related difficult open problems. First, Boolean functions are sought for which the complexity of exact quantum query algorithms is essentially less than the complexity of deterministic query algorithms for the same function. Second, Boolean functions are sought for which the degree of the representing polynomial is essentially less than the complexity of deterministic query algorithms. We present in this paper new techniques to solve the second problem.

Complexity indexDiscrete mathematicsProduct termTheoretical computer scienceParity functionKarp–Lipton theoremBoolean circuitMaximum satisfiability problemBoolean expressionBoolean functionAlgorithmComputer Science::DatabasesMathematics
researchProduct

Computation of Yvon-Villarceau circles on Dupin cyclides and construction of circular edge right triangles on tori and Dupin cyclides

2014

Ring Dupin cyclides are non-spherical algebraic surfaces of degree four that can be defined as the image by inversion of a ring torus. They are interesting in geometric modeling because: (1) they have several families of circles embedded on them: parallel, meridian, and Yvon-Villarceau circles, and (2) they are characterized by one parametric equation and two equivalent implicit ones, allowing for better flexibility and easiness of use by adopting one representation or the other, according to the best suitability for a particular application. These facts motivate the construction of circular edge triangles lying on Dupin cyclides and exhibiting the aforementioned properties. Our first contr…

ComputationRing torusDupin cyclide02 engineering and technology01 natural sciencesVillarceau circlesCombinatorics[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Algebraic surface0202 electrical engineering electronic engineering information engineering[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO][INFO]Computer Science [cs]0101 mathematicsParametric equationRight triangleComputingMilieux_MISCELLANEOUSMathematics[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]010102 general mathematicsInversion020207 software engineeringTorus[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Computational MathematicsCircular edge right triangleComputational Theory and MathematicsModeling and Simulation[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Yvon-Villarceau circleRing Dupin cyclide[INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Geometric modeling
researchProduct

JANE: efficient mapping of prokaryotic ESTs and variable length sequence reads on related template genomes

2009

Abstract Background ESTs or variable sequence reads can be available in prokaryotic studies well before a complete genome is known. Use cases include (i) transcriptome studies or (ii) single cell sequencing of bacteria. Without suitable software their further analysis and mapping would have to await finalization of the corresponding genome. Results The tool JANE rapidly maps ESTs or variable sequence reads in prokaryotic sequencing and transcriptome efforts to related template genomes. It provides an easy-to-use graphics interface for information retrieval and a toolkit for EST or nucleotide sequence function prediction. Furthermore, we developed for rapid mapping an enhanced sequence align…

Computational biologyBiologylcsh:Computer applications to medicine. Medical informaticsBiochemistryGenomeUser-Computer InterfaceStructural BiologyDatabases Geneticlcsh:QH301-705.5Molecular BiologySequence (medicine)Expressed Sequence TagsWhole genome sequencingGeneticsInternetExpressed sequence tagGenomeBase SequencePhylumApplied MathematicsNucleic acid sequenceComputational BiologySequence Analysis DNAComputer Science Applicationslcsh:Biology (General)Single cell sequencinglcsh:R858-859.7DNA microarraySoftwareBMC Bioinformatics
researchProduct

Datorzinātne un informācijas tehnoloģijas: Datu bāzes un informācijas sistēmas: doktorantu konsorcijs. Sestā Starptautiskā Baltijas konference Baltic…

2004

The Baltic Conference on Databases and Information Systems is a biannual international forum for technical discussion among researchers and developers of database and information systems. The objective of the conference is to bring together researchers as well as practitioners and PhD students in the field of computing research that will improve the construction of future information systems. On the other hand, the conference is giving opportunities to developers, users and researchers of advanced IS technologies to present their work and to exchange their ideas and at the same time providing a feedback to database community.

Computational complexityDatnesQuantum algorithmsDatabasesDataInformation systems:TECHNOLOGY::Information technology::Computer science [Research Subject Categories]DatubāzesQuantum computingBoolean functionsInformācijas sistēmas
researchProduct

The partition sum of methane at high temperature

2008

11 pages, 4 Tables, 3 Figures Computer code on line at http://icb.u-bourgogne.fr/JSP/TIPS.jsp; International audience; The total internal partition function of methane is revisited to provide reliable values at high temperature. A multi-resolution approach is used to perform a direct summation over all the rovibrational energy levels up to the dissociation limit. A computer code is executable on line at the URL : http://icb.u-bourgogne.fr/JSP/TIPS.jsp to allow the calculation of the partition sum of methane at temperatures up to 3000 K. It also provides detailed information on the density of states in the relevant spectral ranges. The recommended values include uncertainty estimates. It is …

Computational spectroscopyRovibrational spectroscopy33.20.Vq 33.70.Fd01 natural sciences[PHYS.PHYS.PHYS-AO-PH] Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]MethaneDissociation (chemistry)chemistry.chemical_compound0103 physical sciencesSpectroscopy010303 astronomy & astrophysicsSpectroscopySpectroscopic databasesPhysics[PHYS.PHYS.PHYS-AO-PH]Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]Radiation010304 chemical physicsPartition sumRotational–vibrational spectroscopyPartition function (mathematics)Atmospheric temperature rangeAtomic and Molecular Physics and OpticsComputational physicschemistry[ PHYS.PHYS.PHYS-AO-PH ] Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]Density of statesHITRANAtomic physicsMethane
researchProduct

Compression-based classification of biological sequences and structures via the Universal Similarity Metric: experimental assessment.

2007

Abstract Background Similarity of sequences is a key mathematical notion for Classification and Phylogenetic studies in Biology. It is currently primarily handled using alignments. However, the alignment methods seem inadequate for post-genomic studies since they do not scale well with data set size and they seem to be confined only to genomic and proteomic sequences. Therefore, alignment-free similarity measures are actively pursued. Among those, USM (Universal Similarity Metric) has gained prominence. It is based on the deep theory of Kolmogorov Complexity and universality is its most novel striking feature. Since it can only be approximated via data compression, USM is a methodology rath…

Computer scienceAlgorismesPrediction by partial matchingCompression dissimilaritycomputer.software_genreBiochemistryProtein Structure SecondaryPhylogenetic studiesStructural BiologySequence Analysis ProteinDatabases Proteinlcsh:QH301-705.5Biological dataNCDApplied MathematicsGenomicsClassificationCDComputer Science ApplicationsBenchmarking:Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC]Universal compression dissimilarityArea Under CurveMetric (mathematics)lcsh:R858-859.7Data miningAlgorithmsData compressionResearch Article:Informàtica::Aplicacions de la informàtica::Bioinformàtica [Àrees temàtiques de la UPC]Normalization (statistics)lcsh:Computer applications to medicine. Medical informaticsBioinformatics Sequence Alignment AlgorithmsSet (abstract data type)Similarity (network science)Normalized compression sissimilarityData compression (Computer science)AnimalsHumansAmino Acid SequenceMolecular BiologyBiologyDades -- Compressió (Informàtica)USMUniversal similarity metricProteinsUCDProtein Structure TertiaryData setGenòmicaStatistical classificationlcsh:Biology (General)ROC CurvecomputerSequence AlignmentSoftwareBMC bioinformatics
researchProduct

Querying and reasoning over large scale building data sets

2016

International audience; The architectural design and construction domains work on a daily basis with massive amounts of data. Properly managing, exchanging and exploiting these data is an ever ongoing challenge in this domain. This has resulted in large semantic RDF graphs that are to be combined with a significant number of other data sets (building product catalogues, regulation data, geometric point cloud data, simulation data, sensor data), thus making an already huge dataset even larger. Making these big data available at high performance rates and speeds and into the correct (intuitive) formats is therefore an incredibly high challenge in this domain. Yet, hardly any benchmark is avai…

Computer scienceData managementBig data[ INFO.INFO-WB ] Computer Science [cs]/Web0211 other engineering and technologiesifcOWL02 engineering and technologySemantic data modelcomputer.software_genreDomain (software engineering)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Set (abstract data type)benchmarksemantic webbig data021105 building & construction0202 electrical engineering electronic engineering information engineering[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]Semantic Web[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]business.industry[INFO.INFO-WB]Computer Science [cs]/WebData set[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]Building information modelingBenchmark (computing)reasoning020201 artificial intelligence & image processingData miningbusinesscomputer
researchProduct

CRISPR sequences are sometimes erroneously translated and can contaminate public databases with spurious proteins containing spaced repeats

2020

© The Author(s) 2020.

Computer scienceGene predictionGenomicscomputer.software_genreGeneral Biochemistry Genetics and Molecular BiologyHomology (biology)03 medical and health sciencesAnnotation0302 clinical medicineCRISPRClustered Regularly Interspaced Short Palindromic RepeatsDatabases Protein030304 developmental biology0303 health sciencesDatabasePalindromeProteinsComputational geneGenomicsAcademicSubjects/SCI00960Original ArticleUniProtGeneral Agricultural and Biological Sciencescomputer030217 neurology & neurosurgeryInformation Systems
researchProduct