home | srpski | english
 
   
     
 

Seminari Centra za matematiku i statistiku

Seminar of the Center for Mathematics and Statistics

date time speaker-predavač title-naslov
09-11-201012:00Prof. Erich Sorantin
Department of Radiology, Medical University Graz, Austria
Medicine Goes Natural Science -- Part III
29-10-201011:00Dr Silvia Likavec
Dipartimento di Informatica, Universit a degli Studi di Torino, Italy
Threading Facts into a Collective Narrative World
12-10-201011:00Mr Tibor Lukic
Fakultet tehnickih nauka, Univerzitet u Novom Sadu
Gradient Based Optimization Methods in Image Processing
05-10-201011:00Dr Neva Slani
Fakultet strojarstva i brodogradnje, Sveuciliste u Zagrebu, Hrvatska
Secure open networks
22-06-201017:00Dr Milos Stojakovic
Prirodno-matematicki fakulet, Novi Sad, Univerzitet u Novom Sadu
Consistent digital line segments
23-06-201016:30Mr Vladimir Curic
Centre for Image Analysis, University of Uppsala, Sweden
Set distances and their applicability for image registration
23-06-201016:00M. Sc. Hamid Serve
Center for Image Analysis, University of Uppsala, Sweden
Image Analysis for Evaluation of Bone-Implant Integration
23-06-201015:00Dr Attila Tanacs
Department of Image Processing and Computer Graphics, University of Szeged, Hungary
Estimation of affine deformations of binary objects in 2D and 3D
11-05-201014:30Prof. Zoran Ognjanović
Matematički insitut SANU, Beograd
Verovatnosne logike
30-01-201011:00Workshop 2010 Serbia - CNRS France
Types and Logic in Information Technologies
TLIT presentations
17-03-201014:30Danica Porobić
Microsoft, Beograd, MI SANU
Mathematical algorithms in SQL Server
04-02-201011:00Dr. Alexis Saurin
Universite Paris 7, France
A hierarchy for delimited control in call-by-name
12-02-201012:30Petar Maksimovic
Matematicki institut, SANU
General Logical Framework i formalizacija dela probabilisticke logike LPP2 u dokazivacu teorema Coq.
12-02-201012:00Bojan Marinkovic
Matematicki institut, SANU
Povezivanje heterogenih "overlay" mreža
29-01-201011:00COST Action IC0901 Richmodel Toolkit
Workshop on Formal and Authomated Theorem Proving and Applications 2010
01-02-201011:00Dr Viktor Kuncak
EPFL, Swizerland
COST Action IC0901: "Rich Model Toolkit"
17-12-200910:00Prof. Pierre Lescanne
ENS de Lyon, University of Lyon, France
Explicit Substitutions and Intersection Types
27-11-200910:00Prof. Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica, Universita di Torino, Italia
Sessions and Session Types
01-09-200913:00Prof. Attila Fazekas
Department of Computer Graphics and Image Processing, University of Debrecen, Hungary
Neighborhood sequences
25-05-200910:30Dr. Silvia Likavec
Dipartimento di Informatica, Universita di Torino, Italy
MIXIN CALCULUS AND ITS EXTENSIONS
19-02-200913:00Prof. Pierre Lescanne
Ecole Normale Superieure de Lyon, France
Mechanical Reasoning on Infinite Extensive Games
04-02-200910:00Workshop Serbia - CNRS France - II part
Types and Logic in Information Technologies
Presentations of young researchers of CMS
30-01-200910:00Workshop Serbia - CNRS France - I part
Types and Logic in Information Technologies
Workshop on Formal and Automated Theorem Proving and Applications
29-01-200913:00Dr. Viktor Kuncak
Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland
Automated Reasoning for Reliable Software
26-01-20099:00Dr. Silvia Likavec
Dipartimento di Informatica Universita' di Torino , Torino, Italy
On the semantics of untyped calculus of Curien and Herbelin
22-12-200813:30Dr. Dušan M. Stipanović
Department of Industrial and Enterprise Systems Engineering, University of Illinois at Urbana-Champaign, USA
Kompleksni dinamicki sistemi: upravljanje i odlucivanje, Dealing with Complexity
04-12-200814:00Prof. Sergei Soloviev
Institut de Recherche en Informatique de Toulouse - IRIT, Universite de Toulouse, France
Non-maximality of the theory of Symmetric Monoidal Closed Categories and dependency of categorical diagrams
13-11-200814:00Dr. Allan Hanbury
Vienna University of Technology
Image features for content- based- image retrieval
30-10-200814:00Dr Joakim Lindblad
Centre for Image Analysis, Uppsala, Sweden
GPGPU + Golf = Money?
04-09-200813:30Prof. Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica Universita' di Torino, Torino, Italy
General Session Types
19-06-200815:00Prof. Pierre Lescanne
Ecole Normale Superieure de Lyon, France
Games, equilibria and gene regulation networks
27-05-200811:00Prof. Zoltán Kató
Department of Image Processing and Computer Graphics, Szeged, Hungary
Parametric Estimation of Affine Deformations of Planar Shapes
08-04-200810:00Mr Aleksandar Kupusinac , dipl. ing.
Fakultet tehničkih nauka, Novi Sad
Invarijanta klase u objektno orijentisanom programiranju
25-03-200810:00Dr Joakim Lindblad
Centre for Image Analysis, Uppsala, Sweden
How to improve perimeter estimation by using grey level information
06-11-200711:00Prof. Dr. Erich Sorantin
Department of Radiology, Medical University Graz
"Mathematics and Medicine -- Current Concepts and Future Cooperations" Podnaslov "Medicine goes Natural Science II"
30-10-200714:00Prof. Joso Vukman
Fakultet za naravoslovlje in matematiko; Univerza v Maribor, Slovenija
O jednoj karakterizaciji Hilbertovog prostora
30-10-200713:00Prof. Dušan Pagon
Fakultet za naravoslovlje in matematiko; Univerza v Maribor, Slovenija
Lančevi dodirujućih okružnosti u konačnim geometrijama
26-10-200714:00Prof. Gunilla Borgefors
Centre for Image Analysis, Uppsala, Sweden
Colour vision in the animal and digital kingdoms
19-09-200712:00Prof. Pierre Lescanne
Ecole Normale Superieure de Lyon, France
Towards two-dimensional classical
29-05-200711:00Jelena Ivetić
Fakultet tehničkih nauka, Novi Sad
Characterizing Strong Normalization in the Sequent λG-calculus
08-05-200711:00Nagy Antal, PhD
Assistant Professor, Department of Applied Informatics, University of Szeged, Hungary
Discrete Tomography and Its Applications
17-04-200711:00Dr Joakim Lindblad
Centre for Image Analysis, Uppsala, Sweden
Image analysis for quantitative estimation of seed vitality
27-03-200711:00Mr. Biljana Mihailović
Fakultet Tehničkih Nauka
Ronald R. Yager : USING IMPORTANCES IN GROUP PREFERENCE AGGREGATION TO BLOCK STRATEGIC MANIPULATION
20-03-200711:00Dr Aleksandar Nikolić
Fakultet Tehničkih Nauka
O nekim matematičkim rezultatima trajne naučne vrednosti
06-03-200711:00Vladimir Ćurić
Fakultet Tehničkih Nauka
Matematički model efikasnog upravljanja protokom vode
23-01-200711:00Dr. Dušan Pagon
Fakultet Tehničkih Nauka
Fractal Sets Generated by Multibranching Trees
19-12-200611:00Mr. Milan Sečujski, asistent na Katedri za telekomunikacije i obradu signala; Dipl.Ing. Aleksandar Kupusinac, student postdiplomskih studija na smeru Matematika u tehnici
Govorne Tehnologije za srpski jezik-naučni i thenološki izazov
12-12-200611:00Dr Natasa Sladoje
Fakultet Tehničkih Nauka
Application of the fuzzy set theory in image analysis
28-11-200611:00Dr Natasa Sladoje
Fakultet Tehničkih Nauka
Application of the fuzzy set theory in image analysis
14-11-200616:00Prof. Dr. Erich Sorantin
Head of Section of Digital Information and Image Processing, Department of Radiology. Medical Universty Graz, Austria.
Selected Topics in Biomedical Imaging – Natural Science Goes Medicine
31-10-200616:00Lindblad, Ph.D
Centre for Image Analysis, SLU, Uppsala, Sweden
Image Analysis for Automatic Segmentation of Cytoplasms and
17-10-200616:00Mr Tibor Lukić
Centra za Matematiku i Statistiku, Fakultet Tehničkih Nauka
Defuzzification of fuzzy segmented
 
 
 

copyright by CMS-FTN-NS 2007©