Results 41 to 50 of about 1,761,622 (323)

Computational Complexity in Electronic Structure [PDF]

, 2012
In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations.
Aaronson, Aharonov, Alán Aspuru-Guzik, Arora, Arora, Arora, Aspuru-Guzik, Aspuru-Guzik, Auerbach, Barahona, Batista, Ben-David, Bernstein, Berry, Biamonte, Biamonte, Bogdanov, Boyd, Bravyi, Brown, Brown, Chan, Chan, Chan, Cleveland, Coulson, Cramer, Deutsch, Dutta, Feynman, Foulkes, Grötschel, Hammond, Harrow, Helgaker, Hohenberg, Hong, Istrail, James Daniel Whitfield, Jordan, Kassal, Kassal, Kempe, Kitaev, Kitaev, Koch, Kohn, Lester Jr., Levine, Lieb, Liu, Lloyd, Love, Lu, Mazziotti, Mazziotti, Moore, Nielsen, Oliveira, Onsager, Ortiz, Osborne, Parr, Peter John Love, Rassolov, Schuch, Schuch, Schuch, Sipser, Somma, Szabo, Tempel, Troyer, Turing, Veis, Verstraete, Verstraete, Wei, Whitfield, Wu, Yung   +80 more
core   +3 more sources

Specifying and Verifying Properties of Space - Extended Version [PDF]

, 2014
The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems distributed in ...
Ciancia, Vincenzo, Latella, Diego, Loreti, Michele, Massink, Mieke   +3 more
core   +2 more sources

On the residual solvability of generalized free products of solvable groups

, 2011
In this paper, we study the residual solvability of the generalized free product of solvable groups.Comment: Discrete Mathematics & Theoretical Computer Science, Vol 13 ...
Kahrobaei, Delaram, Majewicz, Stephen
core   +2 more sources

Solving constraint satisfaction problems with networks of spiking neurons

Frontiers in Neuroscience, 2016
Network of neurons in the brain apply – unlike processors in our current generation ofcomputer hardware – an event-based processing strategy, where short pulses (spikes) areemitted sparsely by neurons to signal the occurrence of an event at a particular ...
Zeno eJonke, Stefan eHabenschuss, Wolfgang eMaass   +2 more
doaj   +1 more source

On the Descriptive Complexity of Color Coding

Algorithms, 2021
Color coding is an algorithmic technique used in parameterized complexity theory to detect “small” structures inside graphs. The idea is to derandomize algorithms that first randomly color a graph and then search for an easily-detectable, small color ...
Max Bannach, Till Tantau
doaj   +1 more source

Quantum Communication [PDF]

, 2007
Quantum communication, and indeed quantum information in general, has changed the way we think about quantum physics. In 1984 and 1991, the first protocol for quantum cryptography and the first application of quantum non-locality, respectively, attracted
A Acin, A Aspect, A Einstein, A Furusawa, A Muller, AJ Miller, AK Ekert, AL Alexander, B Gisin, B Julsgaard, B Kraus, B Kraus, BC Jacobs, C Gobby, C Langrock, C Peng, C Schuck, CH Bennett, CH Bennett, CH Bennett, CW Chou, D Bethune, D Boschi, D Bouwmeester, D Collins, D Collins, D Deutsch, D Gottesman, D Stucki, D Stucki, E Diamanti, E Schrödinger, E Waks, F Grosshan, G Brassard, G Ribordy, G Weihs, GN Gol'tsman, H Buhrman, H de Riedmatten, H Inamori, H Takesue, H Weinfurter, H Zbinden, H-K Lo, HJ Briegel, I Csiszár, J Brendel, J Van Houwelingen, J Volz, J-W Pan, JD Franson, JF Clauser, JS Bell, K Inoue, LM Duan, M Aspelmeyer, M Bourennane, M Riebe, M Zukowski, MA Rowe, MD Barrett, MD Eisaman, N Gisin, N Gisin, N Gisin, N Gisin, N Lütkenhaus, Nicolas Gisin, P Tamarat, P Townsend, PG Kwiat, PW Shor, R Hughes, Rob Thew, RT Thew, S Pellegrini, S Popescu, S Tanzilli, SL Braunstein, SL Braunstein., T Chanelière, T Cover, T Jennewein, UM Maurer, V Makarov, V Scarani, W Tittel, W-Y Hwang, X-B Wang, Y-H Kim   +90 more
core   +3 more sources

Exploring lipid diversity and minimalism to define membrane requirements for synthetic cells

FEBS Letters, EarlyView.
Designing the lipid membrane of synthetic cells is a complex task, in which its various roles (among them solute transport, membrane protein support, and self‐replication) should all be integrated. In this review, we report the latest top‐down and bottom‐up advances and discuss compatibility and complexity issues of current engineering approaches ...
Sergiy Gan, Victoria Scarpelli, Marten Exterkate   +2 more
wiley   +1 more source

Mapping the evolution of mitochondrial complex I through structural variation

FEBS Letters, EarlyView.
Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin, Tingting Chen, James A. Letts   +2 more
wiley   +1 more source

An Improved Simulated Annealing Algorithm With Excessive Length Penalty for Fixed-Outline Floorplanning

IEEE Access, 2020
In addition to wirelength and area, modern floorplans need to consider various constraints such as fixed-outline. To handle the fixed-outline floorplanning optimization problem efficiently, we propose an improved simulated annealing (SA) algorithm, which
Zhipeng Huang, Zhifeng Lin, Ziran Zhu, Jianli Chen   +3 more
doaj   +1 more source

THE FORMATION OF INFORMATICS COMPETENCY FOR FUTURE COMPUTER SCIENCE TEACHERS IN THE PROCESS OF STUDYING COMPUTER MATHEMATICS

Фізико-математична освіта, 2021
Relevance and expediency of introduction of a training course of computer mathematics for students of “Secondary Education (Computer Science)” is caused by necessity of use of computer equipment with the corresponding software almost in all areas of ...
Варвара Черненко
doaj   +1 more source