Browsing by Department Mathematical Institute of the Serbian Academy of Sciences and Arts


Or, select a letter below to start browsing
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2549 to 2568 of 2785 < previous   next >
Author(s)TitleIssue DateAppears inRank
Hedrih, Anđelka ; Hedrih, Katica (Stevanović) Torsional oscillations of a tree trunk with branches through a biomechanical oscillatory model in the form of a complex cantilever20218th International congress of Serbian Society of mechanics, June 28-30, 2021, Kragujevac, Serbia; 243-244M34
Baralić, Đorđe ; Vučić, AleksandarTorusna lekcija o dodekaedru2018Deveti simpozijum ,,Matematika i primene”; 4-4M60
Cvetković, Dragoš; Simić, Slobodan Towards a spectral theory of graphs based on the signless Laplacian, I29-Jun-2009Publications de l'Institut Mathematique; 85(99); 19-33M24
Cvetković, Dragoš; Simić, Slobodan Towards a spectral theory of graphs based on the signless Laplacian, II15-Apr-2010Linear Algebra and Its Applications; 432(9); 2257-2272M22
Cvetković, Dragoš; Simić, Slobodan Towards a spectral theory of graphs based on the signless Laplacian, III1-Apr-2010Applicable Analysis and Discrete Mathematics; 4(1); 156-166M22
Ghilezan, Silvia ; Kašterović, SimonaTowards Completeness of Full Simply Typed Lambda CalculusMar-202026th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italy; 164-166M34
Mihaljević, Miodrag J. ; Imai, HidekiTowards Lightweight Cryptographic Primitives Employing Coding Theory2013BalkanCrypt 2013
Kašterović, Simona; Ghilezan, Silvia Towards Logic of Combinatory LogicSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 34-36M34
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about lambda terms with intersection types2016The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016M34
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
Milutinović, Slobodan; Vranić, Petar ; Maksić, MlicaTowards Sustainable Urban Model – A Framework for Developing Indicators for Planning And Designing Networks of Green Spaces in Urban Centers in Serbia2013III International Conference „Ecology of urban areas“, Ečka-Zrenjanin, 11th October, Serbia, 2013; 469-479M33
Davidović, Tatjana ; Liberti, Leo; Maculan, Nelson; Mladenović, Nenad Towards the Optimal solution of the Multiprocessor Scheduling Problem with Communication Delays20073rd Multidisciplinary Int. Conf. on Scheduling: Theory and Application; 128-135M30
Stanković, Radomir ; Stanković, Milena; Astola, Jaakko; Moraga, ClaudioTowards the Structure of a Class of Permutation Matrices Associated with Bent Functions2019Advanced Boolean Techniques; 83-105
Stanković, Radomir ; Stanković, Milena; Astola, Jaakko; Moraga, ClaudioTowards the Structure of a Class of Permutation Matrices Associated with Bent Functions201813th International Workshop on Boolean Problems, September 19-21, 2018, Bremen, GermanyM30
Stanković, Radomir Towards the Optimisation of Spectral Representations of Discrete Functions for Circuit Synthesis201827th International Workshop on Post-Binary ULSI Systems, May 15, 2018, Linz, AustriaM30
Janjić, Aleksandar; Velimirović, Lazar ; Stanković, Miomir; Đorđević, VladimirTrade-off Between Multiple Criteria in Smart Home Control System DesignMar-2018Facta Universitatis, Series: Electronics and Energetics; 31(1); 141-153M24
Stošović, Milan; Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran Transforming electronic medical books to diagnostic decision support systems using relational database management systems1-Dec-2013Computational Medicine in Data Mining and Modeling; 79-103M14
Nikolić, Pantelija; Todorović, Dragan; Bojičić, A.; Radulović, Katarina; Urošević, Dragan ; Elazar, Jovan; Blagojević, Vladimir; Mihajlović, P.; Miletić, MilanTransport properties of carriers in GaAs obtained using the photoacoustic method with the transmission detection configuration22-Jul-1996Journal of Physics Condensed Matter; 8(30); 5673-5683M21
Hedrih, Katica (Stevanović) The transversal creeping vibrations of a fractional derivative order constitutive relation of nonhomogeneous beam4-Aug-2006Mathematical Problems in Engineering; 2006M22
Hedrih, Katica (Stevanović) Transversal forced vibrations of an axially moving sandwich belt system1-Sep-2008Archive of Applied Mechanics; 78(9); 725-735M23