搜索页_+Program+running

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(8)	Springer电子图书(1)	CNKI学位论文(13008)	万方学位论文(1)
中国地质文献-英文(4)	万方学术会议(1)	CNKI期刊论文0611(21)	标准(2)
馆藏书目(6)	CNKI会议论文(6)	知网期刊论文(4941)

在“Elsevier电子期刊”中，命中：1,707条，耗时：0.0299843 秒

在所有数据库中总计命中：17,999条

1.Phonon Unfolding: A program for unfolding phonon dispersions of materials

作者：Fawei Zheng ; ^{zheng_fawei@iapcm.ac.cn} ; Ping Zhang ^{zhang_ping@iapcm.ac.cn}

关键词：Phonon dispersion unfolding ; Translational symmetry ; Neutron scattering

刊名：Computer Physics Communications

出版年：2017

2.Lost in abstraction: Monotonicity in multi-threaded programs

作者：Alexander Kaiser^a ; Daniel Kroening^a ; Thomas Wahl^b ;

关键词：Multi-threaded software ; Parameterized verification ; Monotonicity ; Predicate abstraction

刊名：Information and Computation

出版年：2017

3.Multiple elastic scattering of electrons in condensed matter

作者：A. Jablonski ; ^{ajablonski@ichf.edu.pl}

关键词：Elastic electron scattering on atoms ; Electron transport in condensed matter ; Elastic electron backscattering from surfaces ; Electron inelastic mean free path

刊名：Computer Physics Communications

出版年：2017

4.Computational thermochemistry: Automated generation of scale factors for vibrational frequencies calculated by electronic structure model chemistries

作者：Haoyu S. Yu ; Lucas J. Fiedler ; I.M. Alecu ; Donald G. Truhlar ; ^{truhlar@umn.edu}

关键词：Force constants ; Frequencies ; Fundamental frequency ; Harmonic approximation ; Molecules ; Scale factors ; Vibrations ; Zero-point energy

刊名：Computer Physics Communications

出版年：2017

5.PyR@TE 2: A Python tool for computing RGEs at two-loop

作者：F. Lyonnet^a ; ^{florian.lyonnet@lpsc.in2p3.fr} ; I. Schienbein^b

关键词：Renormalization group equations ; Quantum field theory ; Running coupling constants ; Model building ; Physics beyond the Standard Model

刊名：Computer Physics Communications

出版年：2017

6.gpuSPHASE—A shared memory caching implementation for 2D SPH using CUDA

作者：Daniel Winkler ; ^{daniel.winkler@uibk.ac.at} ; Michael Meister ; Massoud Rezavand ; Wolfgang Rauch

关键词：Computational fluid dynamics ; CUDA ; GPGPU ; GPU ; Smoothed particle hydrodynamics

刊名：Computer Physics Communications

出版年：2017

7.raaSAFT: A framework enabling coarse-grained molecular dynamics simulations based on the SAFT- Mie force field

作者：Å ; 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

8.TikZ-Feynman: Feynman diagrams with TikZ

作者：Joshua P. Ellis ^{josh@jpellis.me}

关键词：TikZ-Feynman ; TikZ ; LaTeX ; Feynman diagrams

刊名：Computer Physics Communications

出版年：2017

9.Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution

作者：Jens Knoop^a ; ^{knoop@complang.tuwien.ac.at} ; Laura Ková ; cs^b ; ^{laura.kovacs@tuwien.ac.at} ; Jakob Zwirchmayr^c ; ^{jakob@complang.tuwien.ac.at}

关键词：Worst-case execution time (WCET) analysis ; Static symbolic execution ; Symbolic computation

刊名：Journal of Symbolic Computation

出版年：2017

10.eqtools: Modular, extensible, open-source, cross-machine Python tools for working with magnetic equilibria

作者：M.A. Chilenski^a ; ^{markchil@mit.edu} ; I.C. Faust^a ; ^{faustian@mit.edu} ; J.R. Walk^a ; ^b ; ^{jrwalk@mit.edu}

关键词：Plasma physics ; Tokamaks ; Magnetic equilibrium reconstruction ; Data analysis

刊名：Computer Physics Communications

出版年：2017

按检索点细分(1707)

题名(16)

关键词(2)

文摘(1582)

按出版年细分(1707)

2027年及以后(111)

2017年(17)

2016年(142)

2015年(57)

2014年(5)

2013年(112)

2012年(126)

2011年(119)

2010年(109)

2009年(80)

2008年(70)

2007年(95)

2006年(104)

2005年(81)

2004年(37)

2003年(46)

2002年(42)

2001年(31)

2000年(60)

2000年及以前(263)