Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT III 044006
 
Project title
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 

Publications
(All)

Results 81-100 of 258 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
81Todorović, Milan ; Mihaljević, Miodrag J. ; Arsić, Aleksandra Softver za implementaciju konsenzus protokola na bazi dokaza kapaciteta invertovanja jednosmerne funkcije korišćenjem Ethereum platforme2018M85
82Mihaljević, Miodrag J. ; Tomović, Siniša Metod za ostvarivanje konsenzusa na bazi dokaza kapaciteta invertovanja jednosmerne funkcije u otvorenim blokčejn sistemima2018M85
83Urošević, Dragan ; Mihaljević, Miodrag J. ; Knežević, Milica Metod i softver za blokčejn zasnovanu kontrolu integriteta podataka u udaljenim skladištima2018M85
84Mihaljević, Miodrag J. ; Arsić, Aleksandra Metod i softver za jednosmernu funkciju u klasi konsenzus protokola za blokčejn tehnologiju2018M85
85Janjić, Aleksandar; Velimirović, Lazar ; Džunić, Željko; Velimirović, Jelena Modelling parking based Electric Vehicle Charging infrastructure using MCDM methodology20183rd South East European Conference on sustainable development of energy, water and environmental systems – 3rd SEE SDEWES; 1-8M33
86Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
87Santo, José Espírito; Ghilezan, Silvia Characterization of strong normalizability for a sequent lambda calculus with co-control9-Oct-2017ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174
88Doder, Dragan; Ognjanović, Zoran Probabilistic Logics with Independence and Confirmation1-Oct-2017Studia Logica; 105(5); 943-969M22
89Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators1-Sep-2017International Journal of Approximate Reasoning; 88; 148-168M21
90Ghilezan, Silvia Sound and complete subtyping on intersection and union typesSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17M34
91Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, IlijaAn approach to formal verification of python software transactional memory31-Aug-2017ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524
92Ilić, Velimir ; Dupraz, Elsa; Vasić, BaneGeneric architectures for uniformly reweighted APP decoders28-Jun-20172017 13th International Conference on Advanced Technologies, Systems and Services in Telecommunications, TELSIKS 2017 - Proceeding; 13th International Conference on Advanced Technologies, Systems and Services in Telecommunications, TELSIKS 2017; Nis; Serbia; 18 October 2017 through 20 October 2017; 2017-October; 308-316
93Janjić, Aleksandar; Velimirović, Lazar ; Stanković, Miomir ; Petrušić, AndrijaCommercial electric vehicle fleet scheduling for secondary frequency control1-Jun-2017Electric Power Systems Research; 147; 31-41M21
94Espirito Santo, Jose; Ghilezan, Silvia Characterization of strong normalizability for a lambda-calculus with co-controlJun-2017TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58M34
95Brimberg, Jack; Mladenović, Nenad ; Todosijević, Raca ; Urošević, Dragan Less is more: Solving the Max-Mean diversity problem with variable neighborhood search1-Mar-2017Information Sciences; 382-383; 179-200M21a
96Ilić, Velimir ; Stanković, Miomir Comments on “On q-non-extensive statistics with non-Tsallisian entropy”15-Jan-2017Physica A: Statistical Mechanics and its Applications; 466; 160-165M22
97Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasJustification logic with approximate conditional probabilities1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.); 10445 LNCS; 681-686M33
98Brodić, Darko; Amelio, Alessia; Janković, Radmila ; Milivojević, ZoranAnalysis of the reforming languages by image-based variations of LBP and NBP operators1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th Multi-disciplinary International Workshop on Artificial Intelligence, MIWAI 2017; Gadong; Brunei Darussalam; 20 November 2017 through 22 November 2017; 10607 LNAI; 238-251M33
99Brimberg, Jack; Mladenović, Nenad ; Todosijević, Raca ; Urošević, Dragan Local and variable neighborhood searches for solving the capacitated clustering problem1-Jan-2017Springer Optimization and Its Applications; 130; 33-55
100Janjić, Aleksandar; Velimirović, Lazar ; Stanković, Miomir; Džunić, Željko; Velimirović, Jelena Multi-criteria Decision Methodology for the Optimization of Public Electric Vehicle Charging Infrastructure2017The Sixth International Conference Transport and Logistics; 283-286M33