Browsing eNauka
Browsing by Project Not applicable.
Showing results 1 to 20 of 792
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2015 | 270 Minutes on Categorial Proof Theory | Petrić, Zoran   | Book parts | Mp. category will be shown later |
| 2020 | A bilinear version of Bogolyubov’s theorem | Gowers, W. T.; Milićević, Luka | Article | 22M22 |
| 2015 | A comprehensive analysis of the scalar compandor model designed using spline functions | Perić, Zoran ; Velimirović, Lazar Z. ; M. Stankovic; Jovanović, Aleksandra | Article | 23M23 |
| 2023 | A Comprehensive Overview of the Temperature-Dependent Modeling of the High-Power GaN HEMT Technology Using mm-Wave Scattering Parameter Measurements (Invited Paper) | Crupi, Giovanni; Latino, Mariangela; Gugliandolo, Giovanni; Marinkovic, Zlatica D ; Cai, Jialin; Bosi, Gianni; Raffo, Antonio; Fazio, Enza; Donato, Nicola | Article | 22M22 |
| 2022 | Insercija bakar-karbenoida/Horner-Wadsworth-Emmons-ova reakcija kao nova metoda za sintezu tricikličnog jezgra (+)-alstonlarsina A | Kukuruzar, Andrej ; Bihelović, Filip ; Ferjančić, Zorana | Conference Paper | Mp. category will be shown later |
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2015 | A diagrammatic categorification of the q-schur algebra | Mackaay, Marco; Stošić, Marko ; Vaz, Pedro | Article | Mp. category will be shown later |
| 2020 | A faithful 2-dimensional TQFT | Gajović, S.; Petrić, Zoran ; Telebaković, Onić S. | Article | 22M22 |
| 2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Article | 23M23 |
| 2020 | A First-order Logic for Reasoning about Knowledge and Probability | Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Article | 21M21 |
| 2014 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Article | 21a+M21a+ |
| 2021 | A High-Throughput Screening System Based on Fluorescence-Activated Cell Sorting for the Directed Evolution of Chitinase A | Menghiu, Gheorghita; Ostafe, Vasile; Prodanović, Radivoje ; Fischer, Rainer; Ostafe, Raluca | Article | 21M21 |
| 2022 | A higher-order zeroing neural network for pseudoinversion of an arbitrary time-varying matrix with applications to mobile object localization | Simos, Theodore E; Katsikis, Vasilios N; Mourtas, Spyridon D; Stanimirovic, Predrag S ; Gerontitis, Dimitris | Article | 21a+M21a+ |
| 2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad | Article | 23M23 |
| 2018 | A lattice-theoretical characterization of the family of cut sets of interval-valued fuzzy sets | Gorjanac Ranitović, Marijana ; Tepavčević, Andreja | Article | 21a+M21a+ |
| 2025 | A learning search algorithm for the Restricted Longest Common Subsequence problem | Djukanovic, Marko; Reixach, Jaume; Nikolikj, Ana; Eftimov, Tome; Kartelj, Aleksandar A ; Blum, Christian | Article | 21aM21a |
| 2010 | A logic with conditional probability operators | Doder, Dragan ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar | Article | 24M24 |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2022 | A method to Quantify Memory Utilization of Heartbeat Dynamics in Continuous Time | Mijatovic, Gorana B ; Bara, Chiara; Loncar-Turukalo, Tatjana G ; Faes, Luca | Conference Paper | Mp. category will be shown later |
| 2017 | A microwave microfluidic sensor based on a dual-mode resonator for dual-sensing applications | Janković, Nikolina ; Radonić, Vasa | Article | 21aM21a |