Pretraživanje
Prikaz rezultata 71-73 od 73
One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points
(TELFOR, ETF, Bulevar kralja Aleksandra 73, 2022)
This paper considers one problem of modern automated
theorem provers. While there are many different numerical
methods for computation of real roots of polynomials, theorem
provers require higher level of assurances of ...
Determinations of the preliminary coordinates for the new GNSS permanent station network in Serbia
(SGEM, 51 Alexander Malinov blvd, Sofia, 1712, Bulgaria, 2022)
The new network of permanent GNSS (Global Navigation Satellite System) stations should be established by the end of this year. At the moment, 18 permanent stations are already established. All stations coordinates must be ...
Pre-failure deformation monitoring as rockfall prediction tool
(IOP Publishing, 2021)
In this article, we are elaborating an example of predictive rockfall assessment by
using Terrestrial Laser Scanning (TLS) in monitoring a road cut, hosted in flysch rock formation,
near Ljig in Serbia. A sequence of ...