Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Taolüe Chen"'
Publikováno v:
IEEE Access, Vol 7, Pp 101804-101819 (2019)
Alternating-time temporal logics (ATL/ATL*) represent a family of modal and temporal logics for reasoning about strategic abilities of agents in multiagent systems. These logics are usually interpreted over concurrent game structures (CGSs), and thei
Externí odkaz:
https://doaj.org/article/db6cff4e794a4ffe8c63ec331c227e98
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)
A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the process algebra BCCS. This transformation moreover preserves omega-complet
Externí odkaz:
https://doaj.org/article/2c1f5505c13a447dadb0af4bc5cd3bd7
Publikováno v:
Logical Methods in Computer Science, Vol Volume 7, Issue 1 (2011)
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or Muller acceptance conditions. The central question that we address is
Externí odkaz:
https://doaj.org/article/308863269a364332b2c4f17995430fce
Publikováno v:
IET Intelligent Transport Systems, Vol 17, Iss 4, Pp 794-803 (2023)
Abstract To find a traffic assignment algorithm that is less complex than the current algorithms in terms of both methodology and implementation, the route‐based incremental equilibrium assignment (IEA) method is proposed. The IEA method iterativel
Externí odkaz:
https://doaj.org/article/521e4722a8ac40b8bc2adbd3d26f73a9
Publikováno v:
IET Intelligent Transport Systems. 17:794-803
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bfec6dda642e2c84bb59b27ca587ef9
https://doi.org/10.1049/itr2.12304
https://doi.org/10.1049/itr2.12304
Publikováno v:
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, however, the design and implementation of which are intricate, error-prone, and lab
Externí odkaz:
https://doaj.org/article/359a33f72d8f4c53a3c77f7e0456a75c
Publikováno v:
Ecological Informatics, Vol 82, Iss , Pp 102777- (2024)
Soil respiration (Rs), the second-largest flux in the global carbon cycle, is a crucial but uncertain component. To improve the understanding of global Rs, we constructed single global models, and specific models classified by climate type, land cove
Externí odkaz:
https://doaj.org/article/244cad67b0a3487eb0c1f357de09e8a5
Publikováno v:
IEEE Access, Vol 12, Pp 14411-14422 (2024)
To study the impact of traffic conditions of urban road networks and the distribution of potential demand of charging users on the charging distribution in the region. In this paper, the long short-time memory (LSTM) neural network is used to learn t
Externí odkaz:
https://doaj.org/article/e391e8fb611a4af097d92a2cc8bc9566