Search results for "ComputerSystemsOrganization_MISCELLANEOUS"

showing 10 items of 56 documents

Classical and Quantum Annealing in the Median of Three Satisfiability

2011

We determine the classical and quantum complexities of a specific ensemble of three-satisfiability problems with a unique satisfying assignment for up to N = 100 and 80 variables, respectively. In the classical limit, we employ generalized ensemble techniques and measure the time that a Markovian Monte Carlo process spends in searching classical ground states. In the quantum limit, we determine the maximum finite correlation length along a quantum adiabatic trajectory determined by the linear sweep of the adiabatic control parameter in the Hamiltonian composed of the problem Hamiltonian and the constant transverse field Hamiltonian. In the median of our ensemble, both complexities diverge e…

FOS: Computer and information sciencesPolynomialComputational complexity theoryQuantum dynamicsFOS: Physical sciencesComputational Complexity (cs.CC)Classical limitClassical capacityQuantum mechanicsddc:530Statistical physicsALGORITHMAmplitude damping channelQuantumQuantum fluctuationCondensed Matter - Statistical MechanicsMathematicsPhysicsQuantum PhysicsStatistical Mechanics (cond-mat.stat-mech)Stochastic processQuantum annealingAdiabatic quantum computationAtomic and Molecular Physics and OpticsSatisfiabilityJComputer Science - Computational ComplexityComputerSystemsOrganization_MISCELLANEOUSQuantum algorithmPHASE-TRANSITIONSQuantum dissipationQuantum Physics (quant-ph)
researchProduct

New Developments in Quantum Algorithms

2010

In this survey, we describe two recent developments in quantum algorithms. The first new development is a quantum algorithm for evaluating a Boolean formula consisting of AND and OR gates of size N in time O(\sqrt{N}). This provides quantum speedups for any problem that can be expressed via Boolean formulas. This result can be also extended to span problems, a generalization of Boolean formulas. This provides an optimal quantum algorithm for any Boolean function in the black-box query model. The second new development is a quantum algorithm for solving systems of linear equations. In contrast with traditional algorithms that run in time O(N^{2.37...}) where N is the size of the system, the …

FOS: Computer and information sciencesQuantum PhysicsComputer Science - Computational ComplexityComputerSystemsOrganization_MISCELLANEOUSComputer Science - Data Structures and AlgorithmsFOS: Physical sciencesTheoryofComputation_GENERALData Structures and Algorithms (cs.DS)Computational Complexity (cs.CC)Quantum Physics (quant-ph)
researchProduct

Quantum property testing for bounded-degree graphs

2010

We study quantum algorithms for testing bipartiteness and expansion of bounded-degree graphs. We give quantum algorithms that solve these problems in time O(N^(1/3)), beating the Omega(sqrt(N)) classical lower bound. For testing expansion, we also prove an Omega(N^(1/4)) quantum query lower bound, thus ruling out the possibility of an exponential quantum speedup. Our quantum algorithms follow from a combination of classical property testing techniques due to Goldreich and Ron, derandomization, and the quantum algorithm for element distinctness. The quantum lower bound is obtained by the polynomial method, using novel algebraic techniques and combinatorial analysis to accommodate the graph s…

FOS: Computer and information sciencesQuantum PhysicsComputer Science - Computational ComplexityComputerSystemsOrganization_MISCELLANEOUSTheoryofComputation_GENERALFOS: Physical sciencesComputational Complexity (cs.CC)Quantum Physics (quant-ph)
researchProduct

Automata and Quantum Computing

2015

Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted models such as quantum versions of finite automata have been studied. In this paper, we survey various models of quantum finite automata and their properties. We also provide some open questions and new directions for researchers. Keywords: quantum finite automata, probabilistic finite automata, nondeterminism, bounded error, unbounded error, state complexity, decidability and undecidability, computational complexity

FOS: Computer and information sciencesQuantum PhysicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFormal Languages and Automata Theory (cs.FL)FOS: Physical sciencesTheoryofComputation_GENERALComputer Science - Formal Languages and Automata TheoryComputational Complexity (cs.CC)68Q10 68Q12 68Q15 68Q19 68Q45Computer Science - Computational ComplexityTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputerSystemsOrganization_MISCELLANEOUSQuantum Physics (quant-ph)Computer Science::Formal Languages and Automata Theory
researchProduct

Supervised Quantum Learning without Measurements

2017

We propose a quantum machine learning algorithm for efficiently solving a class of problems encoded in quantum controlled unitary operations. The central physical mechanism of the protocol is the iteration of a quantum time-delayed equation that introduces feedback in the dynamics and eliminates the necessity of intermediate measurements. The performance of the quantum algorithm is analyzed by comparing the results obtained in numerical simulations with the outcome of classical machine learning methods for the same problem. The use of time-delayed equations enhances the toolbox of the field of quantum machine learning, which may enable unprecedented applications in quantum technologies. The…

FOS: Computer and information sciencesQuantum machine learningField (physics)Computer Science - Artificial IntelligenceComputer sciencelcsh:MedicineFOS: Physical sciencesMachine Learning (stat.ML)01 natural sciencesUnitary stateArticle010305 fluids & plasmasSuperconductivity (cond-mat.supr-con)Statistics - Machine Learning0103 physical sciencesMesoscale and Nanoscale Physics (cond-mat.mes-hall)lcsh:Science010306 general physicsQuantumProtocol (object-oriented programming)Quantum PhysicsClass (computer programming)MultidisciplinaryCondensed Matter - Mesoscale and Nanoscale PhysicsCondensed Matter - Superconductivitylcsh:RQuantum technologyArtificial Intelligence (cs.AI)ComputerSystemsOrganization_MISCELLANEOUSlcsh:QQuantum algorithmQuantum Physics (quant-ph)Algorithm
researchProduct

A pre-processing and network analysis of GPS tracking data

2020

Global Positioning System (GPS) devices afford the opportunity to collect accurate data on unit movements from temporal and spatial perspectives. With a special focus on GPS technology in travel surveys, this paper proposes: (1) two algorithms for the pre-processing of GPS data in order to deal with outlier identification and missing data imputation; (2) a clustering approach to recover the main points of interest from GPS trajectories; and (3) a weighted-directed network, which incorporates the most relevant characteristics of the GPS trajectories at an aggregate level. A simulation study shows the goodness-of-fit of the imputation data algorithm and the robustness of the clustering algori…

Focus (computing)Computer sciencebusiness.industry05 social sciencesGeography Planning and DevelopmentReal-time computing0211 other engineering and technologies021107 urban & regional planning02 engineering and technologyUnit (housing)ComputerSystemsOrganization_MISCELLANEOUS0502 economics and businessEarth and Planetary Sciences (miscellaneous)Global Positioning Systemcluster-based method global positioning systems network analysis spatio-temporal dataTracking dataSettore SECS-S/05 - Statistica Sociale050207 economicsStatistics Probability and UncertaintySettore SECS-S/01 - StatisticabusinessGeneral Economics Econometrics and FinanceNetwork analysisSpatial Economic Analysis
researchProduct

Mathematical logic and quantum finite state automata

2009

AbstractThis paper is a review of the connection between formulas of logic and quantum finite-state automata in respect to the language recognition and acceptance probability of quantum finite-state automata. As is well known, logic has had a great impact on classical computation, it is promising to study the relation between quantum finite-state automata and mathematical logic. After a brief introduction to the connection between classical computation and logic, the required background of the logic and quantum finite-state automata is provided and the results of the connection between quantum finite-state automata and logic are presented.

General Computer ScienceMeasure-many quantum finite-state automataComputational logicMultimodal logicQuantum dot cellular automatonIntermediate logicMeasure-once quantum finite-state automataNonlinear Sciences::Cellular Automata and Lattice GasesTheoretical Computer ScienceAlgebraTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESModular logicComputerSystemsOrganization_MISCELLANEOUSComputer Science::Logic in Computer ScienceQuantum finite automataDynamic logic (modal logic)Automata theoryQuantum finite-state automataFirst-order logicAlgorithmComputer Science::Formal Languages and Automata TheoryMathematicsQuantum cellular automatonComputer Science(all)Theoretical Computer Science
researchProduct

The “I” between G and C: E-Government intermediaries in developing countries

2011

Published version of an article from the journal: The Electronic Journal of Information Systems in Developing Countries. Also available from the publisher: http://www.ejisdc.org/Ojs2/index.php/ejisdc/article/viewFile/826/371 While there has been a rapid growth in e-Government initiatives in developing countries, whether it has led to providing effective government services to the citizens has remained a question of concern. Evidence suggests that this objective is far from being met. The main hurdle has been that an overwhelming part of the citizens in these countries do not have the capability to either access government information physically or to use it effectively even when they can ac…

GovernmentEconomic growthE-GovernmentEconomic policyProcess (engineering)Developing countryComputingMilieux_LEGALASPECTSOFCOMPUTINGVDP::Technology: 500::Information and communication technology: 550IntermediaryVDP::Social science: 200::Political science and organizational theory: 240::Public and private administration: 242ComputerSystemsOrganization_MISCELLANEOUSEconomicsIntermediationGovernment-to-citizenDigital divideInformation Systems
researchProduct

2019

This paper contributes to e-government research by presenting a review and discussion on how digitalization of public services has affected the interaction between citizens and government. We argue ...

GovernmentSociology and Political ScienceComputerSystemsOrganization_MISCELLANEOUSPolitical science05 social sciences050602 political science & public administrationComputingMilieux_LEGALASPECTSOFCOMPUTING0509 other social sciencesLibrary and Information SciencesPublic administration050904 information & library sciencesLaw0506 political scienceGovernment Information Quarterly
researchProduct

Political Participation and Democracy in the Information Age: Effects of ICT-Based Communication Forms between the Authorities and the Citizens on Tr…

2009

Bidrag på konferanse: The Third International Conference on Digital Society ICDS 2009 1-7 February 2009 Cancun, Mexico The main trends concerning the traditional channels of participation are reduced voting turnout, reduced participation in political parties, stable participation in associations and increased citizen contact. The influence of ICT based form of communication on the relations between the authorities and the citizens are heavily influenced by the role of the citizens designed by the authorities. If the citizens are treated as customers the authorities are pursuing a consultative model focusing on creating an effective administration. The flow of information is uni linear; howe…

Information Agemedia_common.quotation_subjectVDP::Technology: 500::Information and communication technology: 550ComputingMilieux_LEGALASPECTSOFCOMPUTINGCitizen journalismTurnoutPublic administrationDemocracyPoliticsVDP::Social science: 200::Political science and organizational theory: 240::Public and private administration: 242Information and Communications TechnologyComputerSystemsOrganization_MISCELLANEOUSLawVotingPolitical scienceInformation societymedia_common2009 Third International Conference on Digital Society
researchProduct