The Center for Mathematics and Statistics exists and acts within the Department for Fundamental Disciplines of the Faculty of Technical Sciences, University of Novi Sad. The Center has been founded in 2004 with the objective of offering researchers working at the Department a scientific research institution to gather around. Besides the professors and teaching assistants of the Department, graduate students, young researchers, and external partners participate in the activities of the Center. Our researchers coordinate and participate in several national and international scientific projects. In addition to the general seminar of the Center for Mathematics and Statistics, there are several specialized thematic seminars organized. The Center also takes part in organizing courses for undergraduate, graduate and PhD studies at the Faculty of Technical Sciences. The organization of international conferences and summer schools is one of the main activities of the Center.
| Name | Host institution | |
|---|---|---|
Gilezan Silvia |
gsilvia@uns.ac.rs | Faculty of Science in Novi Sad |
• Types and roles for web security
• Security types for dynamic web data
• Characterizing strong normalization in lambda calculus
• Resource control term calculi
• An approach to call-by-name delimited continuations
• Behavioral inverse limit lambda models
• Theory of hyperclones
• Partitioning Finite d-Dimensional Integer Grids with Applications
• Separating Points by Parallel Hyperplanes – Characterization Problem
• Coverage Segmentation based on Linear Unmixing and Minimization of Perimeter and Boundary Thickness
• Regularized image denoising based on spectral gradient optimization
• Defuzzification of spatial fuzzy sets by feature distance minimization
• High Precision Boundary Length Estimation by Utilizing Gray-Level Information
• Shape Signatures of Fuzzy Star-shaped Sets Based on Distance from the Centroid
• Measurements of digitized objects with fuzzy borders in 2D and 3D
• S. Ghilezan: Proof Theory. U knjizi “Lambda Calculus with Types”, H.P. Barendregt, R. Statman, W. Dekkers. Cambridge University Press 2013.
• M. Dezani-Ciancaglini, S. Ghilezan, S. Jakšić, J. Pantović: Types for Role-Based Access Control of Dynamic Web Data (WFLP 2010), Lecture Notes in Computer Science 6559: 1-29 (2011) (invited paper).
• M. Dezani-Ciancaglini, S. Ghilezan, J. Pantović, D. Varacca: Security types for dynamic web data, Theoretical Computer Science 402 (2-3): 156-171 (2008).
• D. Dougherty, S. Ghilezan, P. Lescanne: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Theoretical Computer Science 398:114-128 (2008).
• H. Herbelin and S. Ghilezan: An approach to call-by-name delimited continuations, POPL 2008 - The 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, ACM SIGPLAN Notices 43 (1): 383-394 (2008).
• M. Dezani-Ciancaglini, S. Ghilezan, J. Pantović: Security Types for Dynamic Web Data (TGC 2006), Lecture Notes in Computer Sciences 4661: 263-280 (2007).