Претрага




Резултати

Logics with the qualitative probability operator   [2008]

Ognjanović, Zoran  ; Perović, Aleksandar; Rašković, Miodrag

A Probabilistic Temporal Epistemic Logic: Strong Completeness   [2024]

Ognjanović, Zoran  ; Ilić Stepić, Angelina  ; Perović, Aleksandar  

A first-order conditional probability logic   [2012]

Milosevic, M.; Ognjanović, Zoran  

A note on probabilistic validity measure in propositional calculi   [1995]

Boričić, Branislav  

Secure JAVA application in SOA-based cross-border PKI mobile government systems   [2013]

Markovic, Milan; Djordjevic, Goran

Anomaly detection based on one-class intelligent techniques over a control level plant   [2020]

Jove, Esteban; Casteleiro-Roca, Jose-Luis; Quintian, Hector; Simic, Dragan  ; Mendez-Perez, Juan-Albino; Calvo-Rolle, Jose Luis

Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter   [2024]

Fernandez, Serantes Luis Alfonso; Casteleiro, Roca Jose Luis; Berger, Hubert; Simic, Dragan  ; Calvo, Rolle Jose Luis

A cut-free sequent calculus for relevant logic RW   [2014]

Ilić, Mirjana  ; Boričić, Branislav  

Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images   [2022]

Simic, Svetlana S  ; Simic, Svetislav D  ; Bankovic, Zorana; Ivkov-Simic, Milana  ; Villar, Jose R; Simic, Dragan P  

A probabilistic temporal epistemic logic: Decidability   [2023]

Ognjanović, Zoran  ; Ilić-Stepić, Angelina  ; Perović, Aleksandar  

Филтери

По типу