Pretraživanje
Prikaz rezultata 1-5 od 5
Intuitionistic Propositional Probability Logic
(Mathematical Logic Quarterly, 2022)
We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions ...
Validation and comparison of several global geopotential models with an official quasigeoid solution of Serbia
(Association of Surveyors of Slovenia, 2022)
This study aims to analyze the quality of several local reference
quasigeoid surfaces obtained from several Global Geopotential
Models (GGM) relative to the official quasigeoid solution
of Serbia (SQM2011) and GNSS/dh ...
Design approach for cost-effective hybrid CLT floors
(Croatian Association of Civil Engineers, 2022)
There is a growing research and production interest for the application of lower-cost
hybrid cross-laminated timber (CLT) panels composed of timber layers of dissimilar quality.
Therefore, an approach for the design of ...
Calculating the differences of VTEC values obtained by altimetric and GNSS observations in coastal areas
(SurveyTaylor & Frencis, 2022)
The difference between the VTEC values obtained from the Global Navigation Satellite System
(GNSS) and satellite altimetry is much more noticeable over the ocean and the sea due to less
coverage of the GNSS observations. ...
Impact of precipitation and human activities on suspended sediment transport load in the Velika Morava River Basin (Serbia)
(Arabian Journal of Geosciences, 2022)
Sediment transport time series have shown a severe change in the suspended sediment load transported by the Velika Morava River (Republic of Serbia) during the last few decades. The research objectives of this study were ...