搜索页_+Symbolic

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

在“Elsevier”中，命中：2,160条，耗时：小于0.01 秒

1.Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings

作者：Zijian Zhang ^{zhangzijian@bit.edu.cn} ; Liehuang Zhu ; ^{liehuangz@bit.edu.cn} ; Lejian Liao ^{liaolj@bit.edu.cn} ; Mingzhong Wang ^{wangmz@bit.edu.cn}

关键词：Universally composable symbolic analysis ; Computational soundness ; Bilinear pairing ; Group key exchange protocol

刊名：Information Sciences

出版年：2012

2.Intergroup contact and post-colonial ideology: Outgroup contact ameliorates symbolic exclusion but not historical negation

作者：Nikhil K. Sengupta^a ; Fiona Kate Barlow^b ; Chris G. Sibley^a ; ^{c.sibley@auckland.ac.nz}

关键词：Contact ; Ideology ; Symbolic projection ; Historical negation ; Dark duo model of post-colonial ideology

刊名：International Journal of Intercultural Relations

出版年：2012

3.A symbolic analysis framework for static analysis of imperative programming languages

作者：Bernd Burgstaller^a ; ^{bburg@cs.yonsei.ac.kr} ; [Author Vitae] ; Bernhard Scholz^b ; ^{scholz@it.usyd.edu.au} ; [Author Vitae] ; Johann Blieberger^c ; ^{blieb@auto.tuwien.ac.at} ; [Author Vitae]

关键词：Static program analysis ; Symbolic analysis ; Path expression algebra ; Programming language semantics

刊名：Journal of Systems and Software

出版年：2012

4.SymbMat: Symbolic computation of quantum transition matrix elements

作者：M.F. Ciappina^a ; ^{Marcelo.Ciappina@icfo.es} ; T. Kirchner^b

关键词：Symbolic computation ; Quantum transition matrices ; Atomic ionization processes ; Mathematica

刊名：Computer Physics Communications

出版年：2012

5.Symbolic execution of Reo circuits using constraint automata

作者：Bahman Pourvatan^a ; ^b ; ^{pourvatan@aut.ac.ir} ; Marjan Sirjani^c ; ^d ; ^marjan@ru.is ; Hossein Hojjat^e ; ^{hossein.hojjat@epfl.ch} ; Farhad Arbab^b ; ^f ; ^{farhad@cwi.nl}

关键词：Symbolic execution ; Reo ; Constraint automata ; Coordination languages ; Program verification ; Program validation

刊名：Science of Computer Programming

出版年：2012

6.Artificial bee colony programming for symbolic regression

作者：Dervis Karaboga ^{karaboga@erciyes.edu.tr} ; Celal Ozturk ; ^{celal@erciyes.edu.tr} ; Nurhan Karaboga ^{nurhan_k@erciyes.edu.tr} ; Beyza Gorkemli ^{bgorkemli@erciyes.edu.tr}

关键词：Genetic programming ; Symbolic regression ; Artificial bee colony algorithm ; Artificial bee colony programming

刊名：Information Sciences

出版年：2012

7.Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

作者：Werner Damm^a ; ^b ; ^{damm@offis.de} ; Henning Dierks^c ; ^{henning.dierks@haw-hamburg.de} ; Stefan Disch^d ; ^{disch@informatik.uni-freiburg.de} ; Willem Hagemann^e ; ^{hagemann@mpi-sb.mpg.de} ; Florian Pigorsch^d ; ^{pigorsch@informatik.uni-freiburg.de} ; Christoph Scholl^d ; ^{scholl@informatik.uni-freiburg.de} ; Uwe Waldmann^e ; ^{uwe@mpi-inf.mpg.de} ; Boris Wirtz^b ; ^{Boris.Wirtz@uni-oldenburg.de}

关键词：Verification ; Linear hybrid automata ; Symbolic representations ; Non-convex polyhedra ; Redundancy elimination ; Satisfiability Modulo Theories (SMT)

刊名：Science of Computer Programming

出版年：2012

8.Integrability aspects and soliton solutions for an inhomogeneous nonlinear system with symbolic computation

作者：Rui Guo^a ; ^b ; ^c ; Bo Tian^a ; ^b ; ^{tian.bupt@yahoo.com.cn}

关键词：Inhomogeneous nonlinear system in geophysical fluids and nonlinear optics ; Painlevé ; analysis ; Lax pair ; Conservation laws ; Darboux transformation ; Soliton ; Symbolic computation

刊名：Communications in Nonlinear Science and Numerical Simulation

出版年：2012

9.Symbolic computation of normal form for Hopf bifurcation in a retarded functional differential equation with unknown parameters

作者：Li Zhang^a ; Huailei Wang^a ; Haiyan Hu^a ; ^b ; ^{hhyae@nuaa.edu.cn}

关键词：Delay differential equation ; Normal form ; Center manifold ; Symbolic computation ; Maple program

刊名：Communications in Nonlinear Science and Numerical Simulation

出版年：2012

10.Soliton solutions and B盲cklund transformation for the normalized linearly coupled nonlinear wave equations with symbolic computation

作者：Qi-Xing Qu^a ; Bo Tian^a ; ^b ; ^{tian.bupt@yahoo.com.cn} ; Wen-Jun Liu^a ; Pan Wang^a ; Yan Jiang^a

关键词：Normalized linearly coupled nonlinear wave equations ; Hirota&rsquo ; s method ; Soliton solution ; Bä ; cklund transformation ; Lax pair ; Symbolic computation

刊名：Applied Mathematics and Computation

出版年：2012

1

2

3

4

5

6

7

8

9

按检索点细分(2160)

题名(296)

刊名(926)

关键词(301)

文摘(1125)

按出版年细分(2160)

2000年及以前(727)

2001年(119)

2002年(117)

2003年(120)

2004年(204)

2005年(178)

2006年(122)

2007年(228)

2008年(161)

2009年(3)

2010年(3)

2011年(4)

2012年(174)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700