作者：Jinyan Wang^a ; ^b ; ^{wangjy612@gxnu.edu.cn} ; Minghao Yin^c ; Jingli Wu^a ; ^b

关键词：Propositional satisfiability ; Model counting ; Resolution principle ; Extension rule

刊名：Theoretical Computer Science

出版年：2017

作者：Paweł Mandera ; ^{pawel.mandera@ugent.be" class="auth_mail" title="E-mail the corresponding author} ; Emmanuel Keuleers ; Marc Brysbaert

关键词：Semantic model ; Distributional semantics ; Semantic priming ; Psycholinguistic resource

刊名：Journal of Memory and Language

出版年：2017

作者：Christophe Corona^a ; ^{christophe.corona@univ-bpclermont.fr} ; Jé ; rô ; me Lopez-Saez^b ; Adrien Favillier^a ; Robin Mainieri^c ; Nicolas Eckert^c ; Daniel Trappmann^d ; Markus Stoffel^d ; ^e ; ^f ; Franck Bourrier^b ; Fré ; dé ; ric Berger^b

关键词：Forest-rockfall interactions ; Scar-counting approach ; 3D process based simulation model ; Rockfall simulation ; French Alps

刊名：Geomorphology

出版年：2017

作者：Å ; smund Ervik^a ; ^{asmunder@pvv.org} ; Guadalupe Jimé ; nez Serratos^b ; ^{m.jimenez-serratos@imperial.ac.uk} ; Erich A. Mü ; ller^b ; ^{e.muller@imperial.ac.uk}

关键词：Molecular dynamics ; GPU ; HOOMD-blue ; Coarse-grained ; SAFT-γγ Mie

刊名：Computer Physics Communications

出版年：2017

作者：A.B. Sanin^a ; ^{sanin@np.cosmos.ru} ; ^{anton.sanin@gmail.com} ; I.G. Mitrofanov^a ; M.L. Litvak^a ; B.N. Bakhtin^a ; J.G. Bodnarik^b ; W.V. Boynton^b ; G. Chin^c ; L.G. Evans^c ; ^d ; K. Harshman^b ; F. Fedosov^a ; D.V. Golovin^a ; A.S. Kozyrev^a ; T.A. Livengood^c ; ^e ; A.V. Malakhov^a ; T.P. McClanahan^c ; M.I. Mokrousov^a ; R.D. Starr^c ; ^f ; R.Z. Sagdeev^e ; V.I. Tret'yakov^a ; A.A. Vostrukhin^a

关键词：Moon ; surface ; Regoliths ; Ices

刊名：Icarus

出版年：2017

作者：F.G. Badí ; a ^{gbadia@unizar.es" class="auth_mail" title="E-mail the corresponding author} ; C. Sangü ; esa ; ^{csangues@unizar.es" class="auth_mail" title="E-mail the corresponding author} ; ^{csangues@yahoo.es" class="auth_mail" title="E-mail the corresponding author}

关键词：Decreasing failure rate ; Counting process ; Stochastic order ; Maintenance model ; Virtual age model

刊名：Applied Mathematical Modelling

出版年：2016

作者：Andreas Galanis ; ^{andreas.galanis@cs.ox.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Leslie Ann Goldberg ^{leslie.goldberg@cs.ox.ac.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：Approximate counting ; Bounded-degree hypergraphs ; 2-Spin systems ; Counting constraint satisfaction

刊名：Information and Computation

出版年：2016

作者：Everardo Bá ; rcenas ^{iebarcenaspa@conacyt.mx}

关键词：Modal Logics ; XPath ; Automated Reasoning ; Data Trees ; Counting

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

作者：Dufan Wu^a ; ^b ; Xiaofei Xu^a ; ^b ; Li Zhang^a ; ^b ; ^{zli@mail.tsinghua.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Sen Wang^a ; ^b

关键词：Photon counting detector ; Modeling ; Computed tomography ; X-ray imaging

刊名：Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

出版年：2016

作者：G.R. Ahmadzadeh ; A. Varvani-Farahani ; ^{avarvani@ryerson.ca" class="auth_mail" title="E-mail the corresponding author}

关键词：Multiaxial fatigue ; Irregular loading ; Cycle counting ; Critical plane criteria ; Life prediction

刊名：International Journal of Fatigue

出版年：2016