搜索页_+Modeling+and+specification

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(1)	Springer电子图书(5)	ProQuest学位论文(328)	Elsevier电子期刊(1572)
Wiley电子期刊(13)	SpringerLink电子期刊(1966)	GSW全文库(3)	ACS电子期刊(47)

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

在所有数据库中总计命中：3,935条

1.Multi-resolution modeling based on quotient space and DEVS

作者：Baohong Liu ; ^a ; ^{liubh@nudt.edu.cn} ; Alexander Verbraeck^b ; ^{a.verbraeck@tudelft.nl}

关键词：Resolution ; Equivalence relation ; Quotient set ; Multi-resolution modeling (MRM) ; Discrete-event system specification (DEVS)

刊名：Simulation Modelling Practice and Theory

出版年：2017

2.Causality on cross-sectional data: Stable specification search in constrained structural equation modeling

作者：Ridho Rahmadi^a ; ^b ; ^{r.rahmadi@cs.ru.nl}Author Vitae ; Perry Groot^bAuthor Vitae ; Marianne Heins^dAuthor Vitae ; Hans Knoop^cAuthor Vitae ; Tom Heskes^bAuthor Vitae ; The OPTIMISTIC consortium¹

关键词：Causal modeling ; Structural equation model ; Stability selection ; Multi-objective evolutionary algorithm ; NSGA-II

刊名：Applied Soft Computing

出版年：2017

3.Modeling genetic and nongenetic variation of feed efficiency and its partial relationships between component traits as a function of management and environmental factors

作者：Y. Lu^* ; M.J. Vandehaar^* ; D.M. Spurlock^&dagger ; ; K.A. Weigel^&Dagger ; ; L.E. Armentano^&Dagger ; ; C.R. Staples^§ ; ; E.E. Connor^# ; Z. Wang^‖ ; M. Coffey^¶ ; ; R.F. Veerkamp^** ; Y. de Haas^** ; R.J. Tempelman^* ; ^{tempelma@msu.edu}

关键词：dry matter intake ; genetic correlation ; heritability ; hierarchical Bayesian modeling

刊名：Journal of Dairy Science

出版年：2017

4.A SAS macro for the joint modeling of longitudinal outcomes and multiple competing risk dropouts

作者：Wei Wang^a ; ^{wwang@umc.edu} ; Wanmei Wang^a ; ^{wwang2@umc.edu} ; Thomas H. Mosley^b ; ^{tmosley@umc.edu} ; Michael E. Griswold^a ; ^{mgriswold@umc.edu}

关键词：Joint modeling ; Shared parameter model ; Longitudinal submodels ; Competing causes for dropout

刊名：Computer Methods and Programs in Biomedicine

出版年：2017

5.On the application of search-based techniques for software engineering predictive modeling: A systematic review and future directions

作者：Ruchika Malhotra^a ; ^{ruchikamalhotra2004@yahoo.com} ; Megha Khanna^b ; ^c ; ^{meghakhanna86@gmail.com} ; Rajeev R. Raje^d ; ^{rraje@cs.iupui.edu}

关键词：Search-based techniques ; Change prediction ; Defect prediction ; Effort estimation ; Maintainability prediction ; Software quality

刊名：Swarm and Evolutionary Computation

出版年：2017

6.Regression methods for improved lifespan modeling of low voltage machine insulation

作者：F. Salameh^a ; ^{salameh@laplace.univ-tlse.fr" class="auth_mail" title="E-mail the corresponding author} ; A. Picot^a ; M. Chabert^b ; P. Maussion^a

关键词：Lifespan ; Twisted pairs ; Design of experiments ; Response surface ; Regression

刊名：Mathematics and Computers in Simulation

出版年：2017

7.A model-driven approach to catch performance antipatterns in ADL specifications

作者：Martina De Sanctis^a ; ^{msanctis@fbk.eu} ; Catia Trubiani ; ^b ; ^{catia.trubiani@gssi.infn.it} ; Vittorio Cortellessa^c ; ^{vittorio.cortellessa@univaq.it} ; Antinisca Di Marco^c ; ^{antinisca.dimarco@univaq.it} ; Mirko Flamminj^c ; ^{mirko.flamminj@univaq.it}

关键词：Architecture description languages ; Performance antipatterns ; Model-driven engineering ; Æ ; milia ADL ; Software performance analysis

刊名：Information and Software Technology

出版年：2017

8.Exploring the interaction of inventory policies across the supply chain: An agent-based approach

作者：Borja Ponte ; ^{ponteborja@uniovi.es} ; Enrique Sierra ^{enriquesierramiranda@gmail.com} ; David de la Fuente ^{david@uniovi.es} ; Jesú ; s Lozano ^{lozano@uniovi.es}

关键词：ABMS ; Agent-Based Modeling and Simulation ; KAOS ; Knowledge Acquisition autOmated Specification ; MMSE ; Minimum Mean Square Error ; OUT ; Order-up-to ; POUT ; Proportional Order-up-to ; SCM ; Supply Chain Management

刊名：Computers & Operations Research

出版年：2017

9.Model measuring for discrete and hybrid systems

作者：Thomas A. Henzinger^a ; Jan Otop^a ; ^b ; ^{jotop@cs.uni.wroc.pl}

关键词：Quantitative model checking ; Weighted automata ; Parametric hybrid automata ; Model measuring

刊名：Nonlinear Analysis: Hybrid Systems

出版年：2017

10.Verifying goal-oriented specifications used in model-driven development processes

作者：Giovanni Giachetti^a ; ^{giovanni.giachetti@unab.cl} ; Beatriz Marí ; n^b ; Lidia Ló ; pez^c ; Xavier Franch^c ; Oscar Pastor^d

关键词：Model-driven development ; Verification approach ; Goal-oriented requirements ; i* framework

刊名：Information Systems

出版年：2017

按检索点细分(1572)

题名(31)

关键词(53)

文摘(1081)

按出版年细分(1572)

2027年及以后(65)

2017年(18)

2016年(79)

2015年(31)

2014年(6)

2013年(109)

2012年(123)

2011年(112)

2010年(97)

2009年(115)

2008年(87)

2007年(93)

2006年(82)

2005年(72)

2004年(59)

2003年(54)

2002年(57)

2001年(60)

2000年(51)

2000年及以前(202)