66 resultados para Logic, Symbolic and mathematical
Resumo:
We thank Dr. R. Yang (formerly at ASU), Dr. R.-Q. Su (formerly at ASU), and Mr. Zhesi Shen for their contributions to a number of original papers on which this Review is partly based. This work was supported by ARO under Grant No. W911NF-14-1-0504. W.-X. Wang was also supported by NSFC under Grants No. 61573064 and No. 61074116, as well as by the Fundamental Research Funds for the Central Universities, Beijing Nova Programme.
Resumo:
Acknowledgements This study was possible by partial financial support from the following Brazilian government agencies: CNPq, CAPES, and FAPESP (2011/19296-1 and 2015/07311-7). We also wish thank Newton Fund and COFAP.
Resumo:
Postprint
Resumo:
Peer reviewed
Resumo:
C.-W.W. is supported by a studentship funded by the College of Physical Sciences, University of Aberdeen. M.S.B. acknowledges EPSRC grant NO. EP/I032606/1.
Resumo:
Acknowledgments We thank Sally Rowland for helpful comments on the manuscript. © The Author(s) 2016. Published by Oxford University Press on behalf of Nucleic Acids Research.
Resumo:
This work was supported by ONR under Grant No. N00014-16-1-2828.
Resumo:
Peer reviewed
Resumo:
ACKNOWLEDGMENTS MW and RVD have been supported by the German Federal Ministry for Education and Research (BMBF) via the Young Investigators Group CoSy-CC2 (grant no. 01LN1306A). JFD thanks the Stordalen Foundation and BMBF (project GLUES) for financial support. JK acknowledges the IRTG 1740 funded by DFG and FAPESP. MT Gastner is acknowledged for providing his data on the airline, interstate, and Internet network. P Menck thankfully provided his data on the Scandinavian power grid. We thank S Willner on behalf of the entire zeean team for providing the data on the world trade network. All computations have been performed using the Python package pyunicorn [41] that is available at https://github.com/pik-copan/pyunicorn.
Resumo:
5 figures Acknowledgments This work was partially supported by the NNSFC (Grant Nos. 11305062, 11135001), the DFG/FAPESP (Grant No. IRTG 1740/TRP 2011/50151-0), and Government of the Russian Federation (Agreement No. 14.Z50.31.0033 with Institute of Applied Physics RAS). All data for this paper is properly cited and referred to in the reference list.
Resumo:
Acknowledgments This paper was developed within the scope of the IRTG 1740/TRP 2011/50151-0, funded by the DFG/FAPESP, and supported by the Government of the Russian Federation (Agreement No. 14.Z50.31.0033 with the Institute of Applied Physics RAS). The first author thanks Dr Roman Ovsyannikov for valuable discussions regarding estimation of the mistake probability.
Resumo:
Peer reviewed
Resumo:
Peer reviewed
Resumo:
FUNDING Biotechnology and Biological Sciences Research Council (BBSRC) [BB/I020926/1 to I.S.]; BBSRC PhD studentship award [C103817D to I.S. and M.C.R.]; Scottish Universities Life Science Alliance PhD studentship award (to M.C.R. and I.S.]. Funding for open access charge: BBSRC. Conflict of interest statement. None declared.
Resumo:
This work was supported by the Brazilian agencies FAPESP and CNPq. MSB also acknowledges the Engineering and Physical Sciences Research Council grant Ref. EP/I032606/1. GID thanks Felipe A. C. Pereira for fruitful discussions.