Results 31 to 40 of about 8,980,708 (398)

Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science [PDF]

EPTCS 233, 2016, 2016
MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. MEMICS submissions
arxiv   +1 more source

In Situ Visualization for Computational Science

IEEE Computer Graphics and Applications, 2019
In situ visualization is an increasingly important approach for computational science, as it can address limitations on leading edge high-performance computers and also can provide an increased spatio-temporal resolution.
H. Childs, Janine Bennett, Christoph Garth, B. Hentschel, T. Rhyne   +4 more
semanticscholar   +1 more source

Computer science

, 2018
Every new technology brings new opportunity for crime, and information and communication technology (ICT) is no exception. This short article offers students of crime insights in the two main connections between ICT and criminology. On the one hand we show how ICT can be used as a tool, target, or location of crime.
Hartel, P.H. (author), Junger, M. (author)   +1 more
openaire   +6 more sources

Re-run, Repeat, Reproduce, Reuse, Replicate: Transforming Code into Scientific Contributions

Frontiers in Neuroinformatics, 2018
Scientific code is different from production software. Scientific code, by producing results that are then analyzed and interpreted, participates in the elaboration of scientific conclusions.
Fabien C. Y. Benureau, Fabien C. Y. Benureau, Fabien C. Y. Benureau, Nicolas P. Rougier, Nicolas P. Rougier, Nicolas P. Rougier   +5 more
doaj   +1 more source

The natural science of computing [PDF]

Communications of the ACM, 2017
As unconventional computing comes of age, we believe a revolution is needed in our view of computer science.
Horsman, Dominic, Kendon, Viv, Stepney, Susan   +2 more
openaire   +4 more sources

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets [PDF]

Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:932, 2013
We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.
arxiv   +1 more source

Quantum computational advantage using photons [PDF]

Science, 2020
A light approach to quantum advantage Quantum computational advantage or supremacy is a long-anticipated milestone toward practical quantum computers. Recent work claimed to have reached this point, but subsequent work managed to speed up the classical ...
Han-Sen Zhong, Hui Wang, Yu-Hao Deng, Ming-Cheng Chen, Li-Chao Peng, Yi-Han Luo, J. Qin, Dian Wu, X. Ding, Y. Hu, P. Hu, Xiaoyan Yang, Wei-Jun Zhang, Hao Li, Yuxuan Li, Xiao Jiang, L. Gan, Guangwen Yang, L. You, Zhen Wang, Li Li, Nai-Le Liu, Chaoyang Lu, Jian-Wei Pan   +23 more
semanticscholar   +1 more source

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

Preface [PDF]

, 2008
Overview of the contents of "Foundations of Software Science and Computational Structures: Selected papers from FOSSACS ...
Sassone, V.
core   +1 more source

Exploratory study to identify radiomics classifiers for lung cancer histology

Frontiers in Oncology, 2016
Background: Radiomics can quantify tumor phenotypic characteristics non-invasively by applying feature algorithms to medical imaging data. In this study of lung cancer patients, we investigated the association between radiomic features and the tumor ...
Weimiao eWu, Weimiao eWu, Chintan eParmar, Chintan eParmar, Chintan eParmar, Patrick eGrossmann, Patrick eGrossmann, John eQuackenbush, John eQuackenbush, Philippe eLambin, Johan eBussink, Raymond eMak, Hugo eAerts, Hugo eAerts   +13 more
doaj   +1 more source