作者：Sepinoud Azimia ; sazimi@abo.fi" class="auth_mail" title="E-mail the corresponding author ; Cristian Gratiea ; cgratie@abo.fi" class="auth_mail" title="E-mail the corresponding author ; Sergiu Ivanovc ; sergiu.ivanov@u-pec.fr" class="auth_mail" title="E-mail the corresponding author ; Luca Manzonib ; luca.manzoni@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author ; Ion Petrea ; ipetre@abo.fi" class="auth_mail" title="E-mail the corresponding author ; Antonio E. Porrecab ; porreca@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author

关键词：Reaction systems ; Model checking ; Biomodeling ; Conserved sets ; Invariants ; Steady state ; Stationary process ; Elementary flux ; Periodicity ; Complexity classes

刊名：Theoretical Computer Science

年：2016

作者：Javad Seyedmohammadi ; Leila Esmaeelnejad…

关键词：EC ; Geostatistics ; GPI ; IDW ; LPI ; Ordinary kriging ; RBF

刊名：Modeling Earth Systems and Environment

出版者：Springer International Publishing

年：2016

作者：A. Burton ; V. Glenis ; M.R. Jones ; C.G. Kilsby

关键词：Precipitation ; Cross-correlation model ; United Kingdom ; Spatial Temporal Neyman&ndash ; Scott Rectangular Pulses (STNSRP) model ; Weather generator

刊名：Environmental Modelling and Software

年：November, 2013

作者：Henrik Leopold ; Rami-Habib Eid-Sabbagh ; Jan Mendling ; Leonardo Guerreiro Azevedo ; Fern ; a Araujo Bai茫o

关键词：Process modeling guidelines ; Naming convention checking ; Natural language processing ; Process model quality

刊名：Decision Support Systems

年：December, 2013

作者：Kan Yang ; 1 ; a ; b ; kan.yang@uwaterloo.ca ; Kuan Zhangb ; k52zhang@uwaterloo.ca ; Xiaohua Jiac ; csjia@cityu.edu.hk ; M. Anwar Hasanb ; ahasan@uwaterloo.ca ; Xuemin (Sherman) Shenb ; sshen@uwaterloo.ca

关键词：AKPS ; Data publish-subscribe ; Searchable encryption ; Trapdoor privacy ; Tag privacy ; Data privacy

刊名：Information Sciences

年：2017

作者：N. Vivekanandan

关键词：Correlation coefficient ; Mean square error ; Model efficiency ; Rainfall ; Return period

刊名：Journal of The Institution of Engineers (India): Series A

出版者：Springer India

年：2015

作者：M. Gouran Orimi ; A. Farid ; R. Amiri ; K. Imani

关键词：weekly discharge prediction ; snow ; cumulative precipitation parameters (Cprecip) ; Artificial Neural Network ; Haraz River

刊名：Water Resources

出版者：MAIK Nauka/Interperiodica distributed exclusively by Springer Science Business Media LLC.

年：2015

作者：Sophia Leimera ; b ; Sophia.Leimer@giub.unibe.ch"" rel=""nofollow ; Thorsten Pohlertb ; c ; Stephan Pfahld ; e ; Wolfgang Wilckea

关键词：CATFLOW ; COSMO ; Data quality checking ; Bias correction methods ; Model chains

刊名：Journal of Hydrology

年：2011

作者：Kais Klai ; Laure Petrucci ; Michel Reniers

关键词：testing ; asynchronous distributed systems ; global property ; model checking of traces ; trace checking

刊名：Lecture Notes in Computer Science

出版者：Springer Berlin / Heidelberg

年：2007

作者：?mer Faruk Durdu

关键词：Stochastic modeling ; ARIMA ; SPI ; Drought forecasting

刊名：Stochastic Environmental Research and Risk Assessment (SERRA)

年：2010