Pretraživanje
Prikaz rezultata 1-10 od 12
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 ...
On the Generalized Strongly Nil - Clean Property of the Matrix Rings
(World Scientific Publishing Company, 2021)
Let R be an associative unital ring and not necessarily commutative. We
analyzes conditions under which every n×n matrix A over R is expressible as a sum
A = E1 + ... +Es +N of (commuting) idempotent matrices Ei and a ...
Absolute Time Series GNSS Point Positioning-Data Cleaning and Noise Characterization
(Strojarski fakultet u Slavonskom Brodu, 2020)
Time series data of GNSS point positioning are considerably used for the purpose of geophysical research. The velocity estimates and their uncertainties derive from time series data of GNSS point positioning affected by ...
Construction cost estimation of reinforced and prestressed concrete bridges using machine learning
(Građevinar, 2021)
Seven state-of-the-art machine learning techniques for estimation of construction
costs of reinforced-concrete and prestressed concrete bridges are investigated in this
paper, including artificial neural networks (ANN) ...
Experimental investigation of preload losses in high strength bolts under cyclic loading
(GRAĐEVINAR, 2021)
Slip-resistant shear connections with preloaded bolts have traditionally been used in steel
structures exposed to cyclic. Hence, shear load is transferred through friction surfaces
rather than through contact between the ...
Verification and Validation of an Advanced Guarded Hot Plate for Determination of Thermal Conductivity
(Society of Thermal Engineers of Serbia, 2022)
The guarded hot plate (GHP) method is a widely used technique to measure
thermal conductivity of thermal insulation specimens in steady-state conditions.
In this paper, an advance of GHP has been developed in the Laboratory ...
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 ...
Development and Implementation of Evaluation Framework for Quality Enhancement of Outcome-Based Curriculum
(International Journal of Engineering Education, 2021)
Evaluation to improve teaching and learning is essential for achieving the objectives of higher education programs. While structural and organisational aspects of teaching are frequently assessed, programme evaluation tools ...
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. ...