Zobrazeno 1 - 10
of 1 520
pro vyhledávání: '"LTL"'
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
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 2, Pp 120-141 (2024)
The article continues the series of works on development and verification of control programs based on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control
Externí odkaz:
https://doaj.org/article/9e57936301e44ae5951ac50e3c89b5da
Publikováno v:
Heliyon, Vol 10, Iss 14, Pp e33854- (2024)
Background: The link between peripheral blood leukocyte telomere length (LTL) and endometriosis has remained uncertain. In order to investigate this association, a two-sample Mendelian randomization(MR) analysis was performed. Methods: We extracted S
Externí odkaz:
https://doaj.org/article/411ae2b146a44d8db455485b2dab6d57
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 30, Iss 4, Pp 308-339 (2023)
This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a specia
Externí odkaz:
https://doaj.org/article/584203ca53f54d858b748005cf82c3de
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 1, Pp 32-53 (2024)
The process-oriented programming is a paradigm based on the process concept where each process is a concurrent finite state machine inside. The paradigm is intended for PLC (programmable logic controllers) developers to write Industry 4.0-enabled sof
Externí odkaz:
https://doaj.org/article/fcf296064c3c47868950a563aa283cfb
Publikováno v:
Mathematics, Vol 12, Iss 21, p 3336 (2024)
This study investigates the truck–cargo matching problem in less-than-truckload (LTL) logistics hubs, focusing on optimizing the three-dimensional loading of goods onto standardized pallets and assigning these loaded pallets to a fleet of heterogen
Externí odkaz:
https://doaj.org/article/d5be97b4607b4aa0a18ff906b351e2b8
Publikováno v:
Crystals, Vol 14, Iss 8, p 745 (2024)
Acidic properties of ion-exchanged LTL zeolites have been studied using FTIR spectroscopy, complemented by X-ray powder diffraction, SEM-EDX, XRF and N2 physisorption. Infrared spectra of the ion-exchanged zeolites show the presence of two intense ba
Externí odkaz:
https://doaj.org/article/7209a667044b43e1a601dbcfd43c1db4
Autor:
Changping Ouyang, Yinan Yang, Jinhua Pan, Heming Liu, Xuemei Wang, Shengze Zhou, Xiaoru Shi, Yanxia Zhang, Dan Wang, Xiaobin Hu
Publikováno v:
Toxics, Vol 12, Iss 6, p 409 (2024)
There is evidence to support the links between lead and cadmium exposure with hypertension and also with leukocyte telomere length (LTL). The objective of this study is to investigate the role that LTL may play in the relationship between lead and ca
Externí odkaz:
https://doaj.org/article/323cd2e45c6a46259a078861132c77dc
Autor:
Cassidy, William B. bill.cassidy@ihsmarkit.com
Publikováno v:
Journal of Commerce (1530-7557). 7/24/2017, Vol. 18 Issue 15, p29-31. 3p.
Publikováno v:
Redai dili, Vol 42, Iss 11, Pp 1806-1815 (2022)
Against the background of the increasing trend of fragmentation of freight demand, the spatial structure analysis of urban networks using road Less-Truck-Load (LTL) dedicated lines has positive implications for enriching the flow space theory and emp
Externí odkaz:
https://doaj.org/article/5c44539d30d84a409eb34c0426878172