Departman za opšte discipline u tehnici

Organization name
Departman za opšte discipline u tehnici
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 81-100 of 595 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)
819-Oct-2017Characterization of strong normalizability for a sequent lambda calculus with co-controlSanto J.; Gilezan, Silvia 
821-Jan-2004Characterizing strong normalization in a language with control operatorsDougherty D.; Gilezan, Silvia ; Lescanne P.
8328-May-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.
842011Chebyshev integral type inequalities for pseudo-integrals of set-valued functionsŠtrboja Mirjana ; Grbić Tatjana ; Grujić Gabrijela ; Mihailović Biljana ; Medić Slavica 
851-Dec-2019Chemometric prediction of the content of essential metals with potentially toxic effects determined in confectionery productsKovačević, Strahinja ; Lončarević, Ivana ; Pajin, Biljana ; Fišteš, Aleksandar ; Vasiljević, Ivana ; Lazović, Milana; Mrkajić, Danica; Karadžić Banjac, Milica ; Podunavac-Kuzmanović, Sanja 
861-Feb-2019The choice of an appropriate information dissimilarity measure for hierarchical clustering of river streamflow time series, based on calculated Lyapunov exponent and Kolmogorov measuresMihailović D.; Nikolić-Dorić E.; Malinović-Milićević S.; Singh V.; Mihailović, Aleksandra ; Stošić, Milena; Stošić B.; Drešković N.
871-Dec-2004Classical Proofs, Typed Processes, and Intersection Types Extended AbstractGilezan, Silvia ; Lescanne P.
881-Dec-1999Classification of maps by their membership on maximal clones that contain minimum and complementDoroslovački, Rade ; Pantović, Jovanka ; Vojvodić G.
8930-Jul-2012Clones of incompletely specified operationsČolić J.; Machida H.; Pantović, Jovanka 
901-Jan-2019Closed sets of monomials in two variables generated by singletonsMachida H.; Pantović, Jovanka 
917-May-2013Cluster and principal component analysis in the assessment of fountain solution qualityKiurski J.; Oros I.; Ralević, Nebojša ; Kovačević, Ivana ; Adamović, Savka; Krstić J.; Ĉomić Lj. L.
921-Sep-2012Co-occurrence of fumonisins and deoxynivalenol in wheat and maize harvested in SerbiaJakšić, Svetlana ; Abramović, Biljana ; Jajić, Igor ; Baloš M.; Mihaljev Z.; Despotović, Vesna ; Šojić, Daniela 
932015Color Quench Correction for Gross Alpha/Beta Measurements in WatersNikolov Jovana ; Todorović Nataša ; Stojković Ivana 
9423-Oct-2015A combinatorial 3-coordinate system for the face centered cubic gridČomić, Lidija ; Nagy B.
951-Jan-2015A combinatorial 4-coordinate system for the diamond gridČomić, Lidija ; Nagy B.
961-Jan-2014A combinatorial approach based on forman theoryČomić, Lidija ; De Floriani L.; Magillo P.; Iuricich F.
971-Sep-2016A combinatorial coordinate system for the body-centered cubic gridČomić, Lidija ; Nagy B.
981-Nov-2015Combining behavioural types with security analysisBartoletti M.; Castellani I.; Deniélou P.; Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Pérez J.; Thiemann P.; Toninho B.; Vieira H.
991-Jan-2006Commuting hyperoperationsPantović, Jovanka ; Vojvodić G.
10010-Nov-2015The comparative analyses of the nonparametric methods for investment return predictionRalević, Nebojša ; Andjelić G.; Djaković V.; Glišović N.