Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Hassan Hatefi"'
Autor:
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 154, Iss Proc. QAPL 2014, Pp 48-63 (2014)
Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and diffi
Externí odkaz:
https://doaj.org/article/db2b6edb92b54e81bce962ecaa994f47
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 145, Iss Proc. SynCoP 2014, Pp 19-33 (2014)
Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from state space explosion. In this paper, we address probabilistic bisimulation t
Externí odkaz:
https://doaj.org/article/ba0ffc2ae2d241a8a63313762650ea34
Publikováno v:
Logical Methods in Computer Science, Vol Volume 10, Issue 3 (2014)
Markov automata (MAs) extend labelled transition systems with random delays and probabilistic branching. Action-labelled transitions are instantaneous and yield a distribution over states, whereas timed transitions impose a random delay governed by a
Externí odkaz:
https://doaj.org/article/3ac2c4d87a244f7eb6adafb18be67674
Publikováno v:
بوم شناسی کشاورزی, Vol 15, Iss 3, Pp 427-445 (2023)
IntroductionIntercropping as an approach for development of sustainable agriculture systems is pursuing the purposes such as creating ecological balance, further exploitation of resources, increase the quantity and quality of yield and reduce losses
Externí odkaz:
https://doaj.org/article/36f5947dfab942479c21ef1209e80cd2
Publikováno v:
بوم شناسی کشاورزی, Vol 15, Iss 1, Pp 153-168 (2023)
IntroductionIn conventional agriculture, crop production has gradually shifted from ecological production principles to economic approaches, which has led to the destruction of natural resources and land use change, as well as the reduction in resour
Externí odkaz:
https://doaj.org/article/a6d80476f19a4107aee42cd8ed6ef3b6
Publikováno v:
پژوهشهای حبوبات ایران, Vol 13, Iss 2, Pp 62-78 (2022)
IntroductionOne way to create sustainability and maintain the health of the agricultural ecosystems is to use intercropping. There are many reports on the effect of intercropping on population decline and increasing weeds diversity. In a study at all
Externí odkaz:
https://doaj.org/article/bf17472f9c374e509a07481fbc84a4d4
Publikováno v:
پژوهشهای حبوبات ایران, Vol 12, Iss 1, Pp 127-143 (2021)
IntroductionThe use of intercropping as an effective component in sustainable agriculture, while increasing the ecological and economic diversity, cause increasing yield per unit area, yield stability under adverse environmental conditions, increasin
Externí odkaz:
https://doaj.org/article/f18044298ed041bc8465a66c311cae78
Autor:
Koocheki, Alireza, Mahallati, Mehdi Nassiri, Farajian, Mohammad Hassan Hatefi, Hooshmand, Mina
Publikováno v:
Journal of Agroecology (20087713); 2023, Vol. 15 Issue 1, p153-168, 16p
Autor:
Holger Hermanns, Bernd Becker, Luis María Ferrer Fioriti, Ralf Wimmer, Hassan Hatefi, Bettina Braitling
Publikováno v:
Formal Aspects of Computing. 29:629-649
Costs and rewards are important tools for analysing quantitative aspects of models like energy consumption and costs of maintenance and repair. Under the assumption of transient costs, this paper considers the computation of expected cost-bounded rew
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec2705155b4c08feac777f7ff3326dc2
https://doi.org/10.1007/s00165-016-0411-1
https://doi.org/10.1007/s00165-016-0411-1
Autor:
Hassan Hatefi, Holger Hermanns
Publikováno v:
Science of Computer Programming. 112:58-74
Interactive Markov Chains (IMCs) are compositional behaviour models extending both Continuous Time Markov Chain (CTMC) and Labelled Transition System (LTS). They are used as semantic models in different engineering contexts ranging from ultramodern s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91d6a1507ffe4f3d22be669bcd3948b5
https://doi.org/10.1016/j.scico.2015.05.003
https://doi.org/10.1016/j.scico.2015.05.003