搜索页_abstraction –

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

在“Springer”中，命中：759条，耗时：0.1449324 秒

1.Dual impact on the groundwater aquifer in the Kazan Plain (Ankara, Turkey): sand鈥揼ravel mining and over-abstraction

作者：Ahmet Apayd谋n (1) apaydin65@mynet.com

关键词：Groundwater &#8211 ; Sand&#8211 ; gravel aquifer &#8211 ; Over ; abstraction &#8211 ; Sand&#8211 ; gravel pits &#8211 ; Turkey

刊名：Environmental Earth Sciences

出版时间：January 2012

出版年：2012

2.Control and data abstraction: the cornerstones of practical formal verification

作者：Yonit Kesten and Amir Pnueli

关键词：Key words ; Formal verification &#8211 ; Linear temporal logic &#8211 ; Data abstraction &#8211 ; Control abstraction &#8211 ; Network invariant &#8211 ; Model checking &#8211 ; Safety and liveness property &#8211 ; Weak and strong fairness

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版时间：March 2000

出版年：2000

3.The impact of intensive groundwater abstraction on recharge to a shallow regional aquifer system: evidence from Bangladesh

作者：Mohammad Shamsudduha (1) m.shamsudduha@ucl.ac.uk
Richard G. Taylor (1)
Kazi M. Ahmed (2)
Anwar Zahid (3)

关键词：Groundwater recharge/water budget &#8211 ; Groundwater monitoring &#8211 ; Agriculture &#8211 ; Over ; abstraction &#8211 ; Bangladesh

刊名：Hydrogeology Journal

出版时间：June 2011

出版年：2011

4.Monitoring and Assessment of Surface Water Abstractions for Pasture Irrigation from Landsat Imagery: Bega鈥揃emboka River, NSW, Australia

作者：Ivars Reinfelds (1) ivars.reinfelds@water.nsw.gov.au

关键词：Irrigation &#8211 ; Water abstraction &#8211 ; Water extraction &#8211 ; Landsat &#8211 ; Environmental flow

刊名：Water Resources Management

出版时间：July 2011

出版年：2011

5.Modeling aquifer鈥搑iver interactions under the influence of groundwater abstraction in the Mancha Oriental System (SE Spain)

作者：David Sanz (1) David.Sanz@uclm.es
Santiago Casta帽o (1)
Eduardo Cassiraga (2)
Andr茅s Sahuquillo (2)
Juan Jos茅 G贸mez-Alday (1)
Salvador Pe帽a (2)
Alfonso Calera (1)

关键词：Numerical modeling &#8211 ; MODFLOW &#8211 ; Groundwater/surface ; water relations &#8211 ; Groundwater abstraction &#8211 ; Spain

刊名：Hydrogeology Journal

出版时间：March 2011

出版年：2011

6.Direct ab initio MD study on the hydrogen abstraction reaction of triplet state acetone from methanol molecule

作者：Hiroto Tachikawa (1) hiroto@eng.hokudai.ac.jp
Hiroshi Kawabata (1)

关键词：Triplet acetone &#8211 ; Hydrogen abstraction &#8211 ; Ab initio MD &#8211 ; Trajectory

刊名：Theoretical Chemistry Accounts ; Theory ; Computation ; and Modeling (Theoretica Chimica Acta)

出版时间：January 2011

出版年：2011

7.An abstraction refinement approach combining precise and approximated techniques

作者：Natasha Sharygina (13)
Stefano Tonetta (2)
Aliaksei Tsitovich (1) aliaksei.tsitovich@usi.ch

关键词：Predicate abstraction &#8211 ; Precise abstraction &#8211 ; Approximated abstraction &#8211 ; CEGAR

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版时间：February 2012

出版年：2012

8.Dual-level direct dynamics calculations of deuterium kinetic isotope effects for the Cl(2P)+C2H6 abstraction reaction

作者：O. Roberto-Neto and F. B. C. Machado

关键词：Key words ; ; Variational transition state theory &#8211 ; Dual ; level dynamics &#8211 ; Abstraction reaction &#8211 ; Cl+C2H6&#8211 ; Kinetic isotope effect

刊名：Theoretical Chemistry Accounts ; Theory ; Computation ; and Modeling (Theoretica Chimica Acta)

出版时间：December 2001

出版年：2001

9.A role for abstractionism in a direct realist foundationalism

作者：Benjamin Bayer (1) ben@benbayer.com

关键词：Epistemology &#8211 ; Justification &#8211 ; Epistemic regress problem &#8211 ; Foundationalism &#8211 ; Direct realism &#8211 ; Abstractionism &#8211 ; Internalism

刊名：Synthese

出版时间：June 2011

出版年：2011

10.Predicate abstraction, the limits of quantification, and the modality of existence

作者：Philip Percival (1) Philip.Percival@nottingham.ac.uk

关键词：Predicate abstraction &#8211 ; Quantification &#8211 ; Modality &#8211 ; Existence &#8211 ; Singular proposition &#8211 ; Logical form

刊名：Philosophical Studies

出版时间：December 2011

出版年：2011

1

2

3

4

5

6

7

8

9

按检索点细分(759)

题名(1)

关键词(104)

文摘(296)

按出版年细分(759)

2000年及以前(33)

2001年(13)

2002年(19)

2003年(11)

2004年(18)

2005年(16)

2006年(47)

2007年(39)

2008年(38)

2009年(39)

2010年(38)

2011年(289)

2012年(159)

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

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

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

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