Zobrazeno 1 - 10
of 90 421
pro vyhledávání: '"Specification"'
Autor:
Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.
The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral models are central in domains that exploit mesh processing, such as 3D c
Externí odkaz:
http://arxiv.org/abs/2411.11428
Publikováno v:
Energy Science & Engineering, Vol 12, Iss 12, Pp 5370-5384 (2024)
ABSTRACT This paper presents a detailed analysis of embodied carbon (EC) in various case studies using life cycle assessment (LCA) methodology. Through comprehensive assessments, including modules A, B and C, the study evaluates EC across different s
Externí odkaz:
https://doaj.org/article/f83ae0fe89c74d55ac21ba69ac939557
Autor:
ZHOU Qi, LI Qinyuan, HE Hongfeng, PENG Dongrui, ZHANG Huayu, WANG Ye, YANG Kehu, CHEN Yaolong
Publikováno v:
Xiehe Yixue Zazhi, Vol 15, Iss 6, Pp 1432-1438 (2024)
Diagnostic criteria, as a critical component of clinical practice guidelines, play a direct role in guiding clinicians' diagnostic and treatment decisions. Although China has increasingly emphasized the development and updating of clinical guidelines
Externí odkaz:
https://doaj.org/article/614cc3d65aa742e49623db01049792ff
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-15 (2024)
Abstract Maternal germ plasm determines the germline in birds. Previously, we proposed the chicken-specific Bucky ball (cBuc) as a functional equivalent of the zebrafish germ plasm organizer. This study demonstrated the maternal cBuc synthesis, and v
Externí odkaz:
https://doaj.org/article/11762c0d86ad4d94a03aae2087c10870
Publikováno v:
Cybersecurity, Vol 7, Iss 1, Pp 1-23 (2024)
Abstract An application programming interface (API) usage specification, which includes the conditions, calling sequences, and semantic relationships of the API, is important for verifying its correct usage, which is in turn critical for ensuring the
Externí odkaz:
https://doaj.org/article/63a8e6575dc746ffb122dc05afae6ff4
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 3, Pp 240-279 (2024)
The article continues the series of publications on the development and verification of control programs based on LTL-specifications of a special type. Earlier, a declarative LTL-specification was proposed to describe the strictly deterministic behav
Externí odkaz:
https://doaj.org/article/7b8c9ffc0b3c480a8bd054fe01cca27a