Претрага

Резултати

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

Ilić, Mirjana ; Boričić, Branislav

A probabilistic temporal epistemic logic: Decidability (✓) [2023]

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

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 hybrid ranking ELECTRE algorithm and its applications in agricultural decision-making (✓) [2020]

Simic, Dragan P ; Gajic, Jovana; Ilin, Vladimir I ; Simic, Svetislav D; Simic, Svetlana S

A hybrid clustering and ranking method for best positioned logistics distribution centre in Balkan Peninsula [2017]

Simić, Dragan ; Ilin, Vladimir ; Svirčević, Vasa; Simić, Svetlana

One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process (✓) [2022]

Leira, Alberto; Jove, Esteban; Gonzalez-Cava, Jose M; Casteleiro-Roca, Jose-Luis; Quintian, Hector; Zayas-Gato, Francisco; Torres, Alvarez Santiago; Simic, Svetlana S ; Mendez-Perez, Juan-Albino; Luis, Calvo-Rolle Jose

The subformula property of natural deduction derivations and analytic cuts (✓) [2021]

Borisavljevic, Mirjana P

A three-stage hybrid clustering system for diagnosing children with primary headache disorder (✓) [2022]

Simic, Svetlana S ; Sakac, Sladjana; Bankovic, Zorana; Villar, Jose R; Luis, Calvo-Rolle Jose; Simic, Svetislav D ; Simic, Dragan

Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution [2015]

Simić, Dragan ; Kova evi , I.; Svir evi , V.; Simić, Svetlana

First steps towards probabilistic justification logic [2015]

Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas