搜索页_+Branching+systems

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(28)	Springer电子图书(3)	CNKI学位论文(3937)	知网期刊论文(1283)
馆藏书目(1)	CNKI会议论文(2)	CNKI期刊论文0611(11)

在“Elsevier电子期刊”中，命中：826条，耗时：0.0620001 秒

在所有数据库中总计命中：5,265条

1.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

2.Changes in light environment, morphology, growth and yield of soybean in maize-soybean intercropping systems

作者：Xin Liu^a ; Tanzeelur Rahman^a ; Chun Song^b ; ^c ; Benying Su^d ; Feng Yang^a ; ^b ; Taiwen Yong^a ; ^b ; Yushan Wu^a ; Cuiying Zhang^e ; Wenyu Yang^a ; ^b ; ^{mssiyangwy@sicau.edu.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Branching ; Grain number ; Internode length ; Leaf size ; Phytomer ; Specific leaf area

刊名：Field Crops Research

出版年：2017

3.Reasoning about equilibria in game-like concurrent systems

作者：Julian Gutierrez ; ^{Julian.Gutierrez@cs.ox.ac.uk} ; Paul Harrenstein ; Michael Wooldridge

关键词：03B44 ; 03B70 ; 68T27 ; 91A40

刊名：Annals of Pure and Applied Logic

出版年：2017

4.Reaction networks and kinetics of biochemical systems

作者：Carlene Perpetua P. Arceo^a ; ^{cayen@math.upd.edu.ph} ; Editha C. Jose^b ; ^{ecjose1@up.edu.ph} ; Angelyn R. Lao^c ; ^{angelyn.lao@dlsu.edu.ph} ; Eduardo R. Mendoza ; ^a ; ^b ; ^d ; ^e ; ^{mendoza@lmu.de}

关键词：Chemical reaction network ; Kinetics set ; Complex factorizable kinetics ; Power law kinetics ; Kinetic subspace ; Span surjective kinetics ; Total representation ; Total kinetic system ; Embedded representation ; Embedded kinetic system

刊名：Mathematical Biosciences

出版年：2017

5.Pectin nanostructure influences pectin-cation interactions and in vitro-bioaccessibility of Ca²⁺, Zn²⁺, Fe²⁺ and Mg²⁺-ions in model systems

作者：Clare Kyomugasho ; ^{clare.kyomugasho@biw.kuleuven.be" class="auth_mail" title="E-mail the corresponding author} ; Shannon Gwala ; Stefanie Christiaens ; Zahra Jamsazzadeh Kermani ; Ann M. Van Loey ; Tara Grauwet ; Marc E. Hendrickx

关键词：Sugar beet pectin ; Citrus pectin ; Degree of methylesterification ; Ca2+ ; Zn2+ ; Fe2+ and Mg2+-bioaccessibility ; Cation-mediated pectin interactions

刊名：Food Hydrocolloids

出版年：2017

6.Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints

作者：Maurice H. ter Beek^a ; ^{maurice.terbeek@isti.cnr.it" class="auth_mail" title="E-mail the corresponding author} ; Alessandro Fantechi^a ; ^b ; ^{alessandro.fantechi@unifi.it" class="auth_mail" title="E-mail the corresponding author} ; Stefania Gnesi^a ; ^{stefania.gnesi@isti.cnr.it" class="auth_mail" title="E-mail the corresponding author} ; Franco Mazzanti^a ; ^{franco.mazzanti@isti.cnr.it" class="auth_mail" title="E-mail the corresponding author}

关键词：Model checking ; Modal transition systems ; Temporal logic ; Product families ; Variability

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2016

7.Impact of PAMAM delivery systems on signal transduction pathways in vivo: Modulation of ERK1/2 and p38 MAP kinase signaling in the normal and diabetic kidney

作者：Saghir Akhtar^a ; ^{Saghir@hsc.edu.kw" class="auth_mail" title="E-mail the corresponding author} ; ^{SA_Pharma@hotmail.co.uk" class="auth_mail" title="E-mail the corresponding author} ; Bashayer Al-Zaid^a ; Ahmed Z. El-Hashim^b ; Bindu Chandrasekhar^a ; Sreeja Attur^a ; Ibrahim F. Benter^a

关键词：EGFR ; epidermal growth factor receptor ; ERK1/2 ; extracellular-regulated kinase 1/2 ; p38 MAPK ; p38 mitogen-activated protein kinase ; PAMAM ; polyamidoamine ; PF ; Polyfect ; SF ; Superfect ; STZ ; streptozotocin

刊名：International Journal of Pharmaceutics

出版年：2016

8.A method to visualize the evolution of multiple interacting spatial systems

作者：Magnus Heitzler^a ; ^{hmagnus@ethz.ch" class="auth_mail" title="E-mail the corresponding author} ; Jü ; rgen Hackl^b ; Bryan T. Adey^b ; Ionut Iosifescu-Enescu^a ; Juan Carlos Lam^b ; Lorenz Hurni^a

关键词：Modeling and simulation ; Temporal navigation ; Visual analysis ; Risk assessment

刊名：ISPRS Journal of Photogrammetry and Remote Sensing

出版年：2016

9.A Transcriptome Atlas of Physcomitrella patens Provides Insights into the Evolution and Development of Land Plants

作者：Carlos Ortiz-Ramí ; rez¹ ; ⁵ ; Marcela Hernandez-Coronado¹ ; ⁵ ; Anna Thamm¹ ; Bruno Catarino² ; Mingyi Wang³ ; Liam Dolan² ; José ; A. Feijó ; ¹ ; ⁴ ; Jö ; rg D. Becker¹ ; ^{jbecker@igc.gulbenkian.pt" class="auth_mail" title="E-mail the corresponding author}

关键词：land plant evolution ; Physcomitrella patens ; transcriptome atlas ; TCP ; branching ; tip growth

刊名：Molecular Plant

出版年：2016

10.Confluence reduction for Markov automata

作者：Mark Timmer^a ; ^{timmer@cs.utwente.nl} ; Joost-Pieter Katoen^a ; ^b ; ^{katoen@cs.rwth-aachen.de} ; Jaco van de Pol^a ; ^{vdpol@cs.utwente.nl} ; Marië ; lle Stoelinga^a ; ^{marielle@cs.utwente.nl}

关键词：Markov automata ; Confluence ; State space reduction ; Process algebra ; Divergence-sensitive branching bisimulation ; Partial order reduction

刊名：Theoretical Computer Science

出版年：2016

按检索点细分(826)

题名(37)

关键词(24)

文摘(677)

按出版年细分(826)

2027年及以后(26)

2017年(5)

2016年(25)

2015年(6)

2014年(2)

2013年(46)

2012年(51)

2011年(46)

2010年(35)

2009年(47)

2008年(40)

2007年(43)

2006年(50)

2005年(64)

2004年(46)

2003年(34)

2002年(35)

2001年(51)

2000年(37)

2000年及以前(137)