1. Research with MATF

Informatics and Computer Science

View Statistics Email Alert RSS Feed

Card

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 351-400 of 435 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)Rank
35117-Aug-2012Formalizing Frankl's conjecture: FC-familiesMarić, Filip ; Živković, Miodrag; Vučković, Bojan
35223-Jul-2012A classification and comparison of Data Mining algorithms for Wireless Sensor NetworksVujičić Stanković, Staša ; Rakočevic, Goran; Kojić, Nemanja; Milićev, DraganM33
3537-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, ViktorM33
3541-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, PedroM21
3551-Jan-2012An efficient evolutionary algorithm for locating long-term care facilitiesStanimirović, Zorica ; Marić, Miroslav ; Božović, Srdjan; Stanojević, Predrag
3561-Jan-2012A genetic algorithm for the routing and carrier selection problemKratica, Jozef; Kostić, Tijana; Tǒsić, Dušan; Dugǒsija, Djordje; Filipović, Vladimir 
3572012Hibridni evolutivni algoritam za rešavanje hab lokacijskog problema neograničenih kapaciteta sa jednostrukim alokacijamaStanimirović, Zorica ; Marić, Miroslav 
3582012Nov metod ekstrakcije informacija baziran na transduktorimaPajić, Vesna; Pajić, Miloš; Vujičić Stanković, Staša 
3592012Transducers for Annotating Weather Information in Meteorological TextsPajić, Vesna; Vujičić Stanković, Staša ; Pajić, Miloš
3602012Publishing Statistical Data as Linked Open DataMilošević, Uroš; Janev, Valentina; Spasić, Mirko ; Milojković, Jelena; Vranes, SanjaM33
3612012Design and Setup of Benchmarking System. Project Deliverable from Project GeoKnowSpasić, Mirko ; Williams, Hugh; Erling, Orri; Mikhailov, Ivanš0mm
3622012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33
3632012Computational analysis of position-dependent disorder content in DisProt databaseKovačević, Jovana 
3641-Dec-2011A metadata-supported distributed approach for data mining based prediction in wireless sensor networksVujičić Stanković, Staša ; Rakočević, Goran; Milutinović, VeljkoM33
3651-Dec-2011A genetic algorithm for solving multiple warehouse layout problemMatić, Dragan; Filipović, Vladimir ; Savić, Aleksandar ; Stanimirović, Zorica 
3661-Dec-2011The influence of the use of educational software on the effectiveness of communication models in teachingPećanac, Rajko; Lambić, Dragan; Marić, Miroslav 
3671-Dec-2011A new genetic representation for quadratic assignment problemKratica, Jozef; Tošić, Dušan; Filipović, Vladimir ; Dugošija, Dorde
3681-Dec-2011Solving the two-dimensional packing problem with m-M calculusSavić, Aleksandar ; Šukilović, Tijana ; Filipović, Vladimir 
36925-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
3708-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
3712011Classification of Data Mining Algorithms and Concept Modeling Approaches in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
3722011Simulator Strategy for Data Mining and Concept Modeling in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
3732011Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceGoertzel, Ben; Geisweiller, Nil; De Souza Coelho, Lucio; Janičić, Predrag ; Pennachin, Cassio
3742011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš V
3751-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša 
37612-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip 
37710-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
3782-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen 
3791-Feb-2010Geometry constructions languageJaničić, Predrag M21
3801-Jan-2010An efficient genetic algorithm for solving the multi-level uncapacitated facility location problemMarić, Miroslav 
3811-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21
3822010Odonym Recognition in SerbianVujičić Stanković, Staša ; Vitas, DuškoM33
3839-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
3841-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip 
3851-Jan-2009GA inspired heuristic for uncapacitated single allocation hub location problemFilipović, Vladimir ; Kratica, Jozef; Tošić, Dušan; Dugošija, Djordje
3861-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24
3871-Jan-2009Two hybrid genetic algorithms for solving the super-peer selection problemKratica, Jozef; Kojić, Jelena; Tošić, Dušan; Filipović, Vladimir ; Dugošija, Djordje
3882009A reexamination of correlations of amino acids with particular secondary structuresMalkov, Saša ; Zivković, Miodrag V; Beljanski, Milos V; Stojanović, Srdan D; Zarić, Snezana D
3892009n-Gram characterization of genomic islands in bacterial genomesPavlović-Lazetić, Gordana M; Mitić, Nenad ; Beljanski, Milos V
39017-Nov-2008Ensuring safe usage of buffers in programming language CVujošević Janičić, Milena M33
3911-Jun-2008Parameter adjustment for genetic algorithm for two-level Hierarchical Covering Location ProblemMarić, Miroslav ; Tuba, Milan; Kratica, Jozef
3921-Jan-2008XML-Based format for geometryQuaresma, Pedro; Janičić, Predrag ; Tomašević, Jelena ; Vujošević Janičić, Milena ; Tošić, DušanM14
3931-Jan-2008The role of programming paradigms in the first programming coursesVujošević Janičić, Milena ; Tošić, Dušan
3941-Jan-2008Solving the maximally balanced connected partition problem in graphs by using genetic algorithmDjurić, Brankica; Kratica, Jozef; Tošić, Dušan; Filipović, Vladimir 
3952008Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska tezaVujošević Janičić, Milena 
3962008Could n-gram analysis contribute to genomic island determination?Mitić, Nenad ; Pavlović-Lazetić, Gordana M; Beljanski, Milos V
3972008A reexamination of the propensities of amino acids towards a particular secondary structure: classification of amino acids based on their chemical structureMalkov, Saša ; Zivković, Miodrag V; Beljanski, Milos V; Hall, Michael B; Zarić, Snezana D
3981-Oct-2007Two genetic algorithms for solving the uncapacitated single allocation p-hub median problemKratica, Jozef; Stanimirović, Zorica ; Tošić, Dušan; Filipović, Vladimir 
39925-Jun-2007Random k-GD-SAT model and its phase transitionVujošević Janičić, Milena ; Tomašević, Jelena ; Janičić, Predrag M23
40015-May-2007GeoThms - a Web System for Euclidean Constructive GeometryQuaresma, Pedro; Janičić, Predrag M33