نتایج جستجو برای: indeed

تعداد نتایج: 103756  

Journal: :Ancient Philosophy Today 2019

Journal: :Logical Methods in Computer Science 2016

Journal: :Communications in Nonlinear Science and Numerical Simulation 2014

2014
Mohammad Arif Khan Krishna Pandey

Along with the advancement in the field of pharmacovigilance, numerous challenges have emerged with the exponential rise in the incidence of adverse drug reactions resulting in to the increased rates of hospitalization, contributing to the growth of overall burden of disease which is somewhere failing to be managed efficiently, consequently giving space for the emergence of the concept of Vigil...

Journal: :Plant Signaling & Behavior 2011

Journal: :Mens Sana Monographs 2006

Journal: :College & Research Libraries 1962

Journal: :J. Log. Comput. 2006
Dirk Walther Carsten Lutz Frank Wolter Michael Wooldridge

The alternating-time temporal logic (ATL) of Alur, Henzinger and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems and game-like multi-agent systems. In this article, we investigate the computational complexity of the satisfiability problem for ATL. For the case where the set of agents is fixed in advance, this problem was settled a...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید