Zobrazeno 1 - 10
of 220
pro vyhledávání: '"parameter synthesis"'
Publikováno v:
Redai dili, Vol 43, Iss 11, Pp 2119-2134 (2023)
The prediction of rainstorms and floods in small and medium-sized watersheds, as well as the synthesis of related parameters, plays a pivotal role in preventing flood disasters. Environmental changes have led to an increase in hydrological extremes s
Externí odkaz:
https://doaj.org/article/f240bd118475403aabd1b8499e7099dd
Publikováno v:
IEEE Access, Vol 11, Pp 143190-143211 (2023)
Programs involving discontinuities introduced by control flow constructs such as conditional branches pose challenges to mathematical optimization methods that assume a degree of smoothness in the objective function’s response surface. Smooth inter
Externí odkaz:
https://doaj.org/article/6ef0dcf392b5418fbc354eb032109bb8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Advanced Pharmaceutical Technology & Research, Vol 12, Iss 4, Pp 321-326 (2021)
Pyrazoline plays an important role in the development of heterocyclic chemistry theory and is widely used as a synthesis useful in organic synthesis. The structure of the pyrazoline derivative compound contains a 5-membered heterocyclic framework wit
Externí odkaz:
https://doaj.org/article/d8b29d8a9691435199dc3bd3f3d09ab8
Autor:
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Publikováno v:
IEEE Access, Vol 8, Pp 180825-180843 (2020)
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the
Externí odkaz:
https://doaj.org/article/ea728a0dbb1f48428b36dcabc815c883
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Johan Arcile, Étienne André
Publikováno v:
Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Lecture Notes in Computer Science ISBN: 9783031067723
14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Lecture Notes in Computer Science ISBN: 9783031067723
Timed automata (TAs) are an efficient formalism to model and verify systems with hard timing constraints, and concurrency. While TAs assume exact timing constants with infinite precision, parametric TAs (PTAs) leverage this limitation and increase th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2f1c8978fb64eff561c743cae916110
https://doi.org/10.21203/rs.3.rs-2349012/v1
https://doi.org/10.21203/rs.3.rs-2349012/v1
