搜索页_+Model

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

在“Springer”中，命中：325,956条，耗时：0.0869638 秒

1.SWIFT MODELLER: A JAVA based GUI for molecular modeling

作者：Abhinav Mathur (1)
Shankaracharya (1)
Ambarish S. Vidyarthi (1) asvidyarthi@bitmesra.ac.in

关键词：Loop modeling – ; MODELLER – ; Molecular modeling – ; SWIFT MODELLER

刊名：Journal of Molecular Modeling

出版时间：October 2011

出版年：2011

2.SWIFT MODELLER v2.0: a platform-independent GUI for homology modeling

作者：Abhinav Mathur (1)
Shankaracharya (1)
Ambarish S. Vidyarthi (1) asvidyarthi@bitmesra.ac.in

关键词：MODELLER GUI – ; MODELLER – ; Homology modeling – ; Loop modeling

刊名：Journal of Molecular Modeling

出版时间：July 2012

出版年：2012

3.Meta-modelling and graph grammars for multi-paradigm modelling in AToM ³

作者：Juan de Lara (1)
Hans Vangheluwe (2)
Manuel Alfonseca (1)

关键词：Meta ; modelling ; Multi ; formalism ; Multi ; paradigm modelling ; Graph grammars ; Model transformation ; Code generation ; Causal block diagrams ; Statecharts ; AToM3 ; OOCSMP

刊名：Software and Systems Modeling

出版时间：August 2004

出版年：2004

4.Meta-modelling and graph grammars for multi-paradigm modelling in AToM ³

作者：Juan de Lara (1)
Hans Vangheluwe (2)
Manuel Alfonseca (1)

关键词：Meta ; modelling ; Multi ; formalism ; Multi ; paradigm modelling ; Graph grammars ; Model transformation ; Code generation ; Causal block diagrams ; Statecharts ; AToM3 ; OOCSMP

刊名：Software and Systems Modeling

出版时间：August 2004

出版年：2004

5.A formal approach to model refactoring and model refinement

作者：Ragnhild Van Der Straeten (1) rvdstrae@vub.ac.be
Viviane Jonckers (1) vejoncke@ssel.vub.ac.be
Tom Mens (2) tom.mens@umh.ac.be

关键词：Model ; driven engineering ; UML 2.0 ; Description logics ; Model refinement ; Model refactoring ; Behaviour preservation

刊名：Software and Systems Modeling

出版时间：June 2007

出版年：2007

6.A formal approach to model refactoring and model refinement

作者：Ragnhild Van Der Straeten (1) rvdstrae@vub.ac.be
Viviane Jonckers (1) vejoncke@ssel.vub.ac.be
Tom Mens (2) tom.mens@umh.ac.be

关键词：Model ; driven engineering ; UML 2.0 ; Description logics ; Model refinement ; Model refactoring ; Behaviour preservation

刊名：Software and Systems Modeling

出版时间：June 2007

出版年：2007

7.Predictive Statistical Models for User Modeling

作者：Ingrid Zukerman and David W. Albrecht

关键词：content ; based learning ; collaborative learning ; linear models ; TFIDF ; based models ; Markov models ; Neural networks ; classifications ; rule induction ; Bayesian networks

刊名：User Modeling and User-Adapted Interaction

出版时间：2001

出版年：2001

8.Towards the efficient development of model transformations using model weaving and matching transformations

作者：Marcos Didonet Del Fabro (12) mddfabro@ilog.fr
Patrick Valduriez (2) patrick.valduriez@inria.fr

关键词：Model engineering ; Matching transformations ; Model weaving

刊名：Software and Systems Modeling

出版时间：July 2009

出版年：2009

9.Automated formal verification of visual modeling languages by model checking

作者：D谩niel Varr贸 (1) varro@mit.bme.hu

关键词：Graph transformation ; Metamodeling ; Formal verification ; Model checking ; Model transformation

刊名：Software and Systems Modeling

出版时间：May 2004

出版年：2004

10.Uncertainty from Model Calibration: Applying a New Method to Transport Energy Demand Modelling

作者：Bas van Ruijven ; Jeroen P. van der Sluijs ; Detlef P. van Vuuren ; Peter Janssen ; Peter S. C. Heuberger and Bert de Vries

关键词：Model calibration ; Uncertainty ; Global energy model ; Transport energy use

刊名：Environmental Modeling and Assessment

出版时间：June, 2010

出版年：2010

1

2

3

4

5

6

7

8

9

查看站内搜索结果(4)

按检索点细分(325956)

题名(87956)

刊名(6724)

作者(43)

关键词(56675)

文摘(301055)

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

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

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

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