Results 1 to 10 of about 1,761,622 (323)

Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

, 2015
Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core   +1 more source

The Era of Big Data Comes to Oceanography [PDF]

Oceanography, 2013
The late Jim Gray, who received the prestigious Turing Award in computer science and was a pioneer in the development of relational databases, proposed the "Fourth Paradigm" to describe the field of data-intensive science (Hey et al., 2009).
Mark R. Abbott
doaj   +1 more source

Quantum Communication Technology

, 2010
Quantum communication is built on a set of disruptive concepts and technologies. It is driven by fascinating physics and by promising applications. It requires a new mix of competencies, from telecom engineering to theoretical physics, from theoretical ...
Gisin, Nicolas, Thew, Rob
core   +3 more sources

Quantum Applications In Political Science [PDF]

, 2020
Undergraduate Research ScholarshipThis paper will show the current state of quantum computation and its application as a political science research method.
Costa, Caleb
core  

The skewness of computer science [PDF]

, 2010
Computer science is a relatively young discipline combining science, engineering, and mathematics. The main flavors of computer science research involve the theoretical development of conceptual models for the different aspects of computing and the more ...
Franceschet, Massimo
core   +1 more source

Input Redundancy for Parameterized Quantum Circuits

Frontiers in Physics, 2020
One proposal to utilize near-term quantum computers for machine learning are Parameterized Quantum Circuits (PQCs). There, input is encoded in a quantum state, parameter-dependent unitary evolution is applied, and ultimately an observable is measured. In
Francisco Javier Gil Vidal, Dirk Oliver Theis, Dirk Oliver Theis   +2 more
doaj   +1 more source

Hamiltonian complexity

, 2011
In recent years we've seen the birth of a new field known as hamiltonian complexity lying at the crossroads between computer science and theoretical physics.
Osborne, Tobias J.
core   +1 more source

Demon-like Algorithmic Quantum Cooling and its Realization with Quantum Optics [PDF]

, 2012
The simulation of low-temperature properties of many-body systems remains one of the major challenges in theoretical and experimental quantum information science.
A Aspuru-Guzik, A Lupascu, Alán Aspuru-Guzik, B Kraus, BP Lanyon, Chuan-Feng Li, D Aharonov, D Poulin, DP DiVincenzo, E Farhi, F Verstraete, GA Álvarez, Guang-Can Guo, H Weimer, I Buluta, I Kassal, I Kassal, J Baugh, J Casanova, J Zhang, Jin-Shi Xu, JT Barreiro, LJ Schulman, M-H Yung, Man-Hong Yung, PO Boykin, RP Feynman, S Lloyd, S Takahashi, S Toyabe, Sergio Boixo, SP Jordan, T-C Wei, W-B Gao, X-Q Zhou, Xiao-Ye Xu, Y Elias, Zheng-Wei Zhou   +37 more
core   +2 more sources

Lagrange Dual Method for Sparsity Constrained Optimization

IEEE Access, 2018
In this paper, we investigate the l0 quasi-norm constrained optimization problem in the Lagrange dual framework and show that the strong duality property holds.
Wenxing Zhu, Zhengshan Dong, Yuanlong Yu, Jianli Chen   +3 more
doaj   +1 more source

New Trends in Quantum Computing

, 1996
Classical and quantum information are very different. Together they can perform feats that neither could achieve alone, such as quantum computing, quantum cryptography and quantum teleportation.
Brassard, Gilles
core   +2 more sources