ZUNIC, DRAGISA
ZUNIC, DRAGISA
A Congruence Relation for Restructuring Classical Terms
2018-01-01 Lescanne, Pierre; Zunic, Dragisa
A verifiable model of a minimal market operating sequentially, with price and time discrete
2023-01-01 Zunic, Dragisa
Classical computation with negation
2012-01-01 Zunic, Dragisa; Lescanne, Pierre
Classical Proofs' Essence and Diagrammatic Computation
2011-01-01 Lescanne, Pierre; Zunic, Dragisa
Computational interpretation of classical logic with explicit structural rules
2012-01-01 Ghilezan, Silvia; Lescanne, Pierre; Zunic, Dragisa
Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
2007-01-01 Zunic, Dragisa
Core-shell superparamagnetic iron oxide nanoparticle SPION clusters: TEM micrograph analysis, particle design and shape analysis
2016-01-01 Kopanja, Lazar; Kralj, Slavko; Zunic, Dragisa; Loncar, Boris; Tadic, Marin
Critical Analysis of Energy Consumption in Neuro-Computational Systems
2026-01-01 Kipelkin, Ivan; Kamenko, Ilija; Ivosevic, Jovan; Fedorova, Alina; Zharkov, Grigory; Maricic, Jovana; Bratic, Stojanka; Pilipovic, Nebojsa; Samardzic, Natasa; Dautovic, Stanisa; Medojevic, Milovan; Bajac, Branimir; Vallverdu, Jordi; Zunic, Dragisa; Restuccia, Francesco; Bucaria, Vincenzo; Longo, Francesco; Merlino, Giovanni; Bruneo, Dario; Distefano, Salvatore; Toshchev, Aleksandr; Mikhaylov, Alexey; Erokhin, Victor; Talanov, Max
Formalization of Automated Trading Systems in a Concurrent Linear Framework
2019-01-01 Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa
Future of Neural Networks and Energy Consumption Aspects
2024-01-01 Talanov, Max; Bojic, Ljubisa; Zunic, Dragisa; Samardzic, Natasa; Medojević, Milovan
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules
2009-01-01 Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa
Measuring shape rectangularities
2011-01-01 Martinez-Ortiz, Carlos; Zunic, Dragisa; Zunic, Jovisa
Measuring shape rectangularity
2011-01-01 Zunic, Dragisa; Zunic, Jovisa
Nanoparticle shapes: Quantification by elongation, convexity and circularity measures
2019-01-01 Kopanja, Lazar; Lončar, Boris; Zunic, Dragisa; Tadić, Marin
Quantifying shapes of nanoparticles using modified circularity and ellipticity measures
2016-01-01 Kopanja, Lazar; Zunic, Dragisa; Loncar, Boris; Gyergyek, Saso; Tadic, Marin
Shape ellipticity based on the first Hu moment invariant
2013-01-01 Zunic, Dragisa; Zunic, Jovisa
Shape ellipticity from Hu moment invariants
2014-01-01 Zunic, Dragisa; Zunic, Jovisa
Shape Interpretation of Second-Order Moment Invariants
2016-01-01 Zunic, Jovisa; Zunic, Dragisa
SHAPE RECTANGULARITY MEASURES
2012-01-01 Zunic, Dragisa; MARTINEZ-ORTIZ, Carlos; Zunic, Jovisa
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Congruence Relation for Restructuring Classical Terms | 1-gen-2018 | Lescanne, Pierre; Zunic, Dragisa | |
| A verifiable model of a minimal market operating sequentially, with price and time discrete | 1-gen-2023 | Zunic, Dragisa | |
| Classical computation with negation | 1-gen-2012 | Zunic, Dragisa; Lescanne, Pierre | |
| Classical Proofs' Essence and Diagrammatic Computation | 1-gen-2011 | Lescanne, Pierre; Zunic, Dragisa | |
| Computational interpretation of classical logic with explicit structural rules | 1-gen-2012 | Ghilezan, Silvia; Lescanne, Pierre; Zunic, Dragisa | |
| Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X | 1-gen-2007 | Zunic, Dragisa | |
| Core-shell superparamagnetic iron oxide nanoparticle SPION clusters: TEM micrograph analysis, particle design and shape analysis | 1-gen-2016 | Kopanja, Lazar; Kralj, Slavko; Zunic, Dragisa; Loncar, Boris; Tadic, Marin | |
| Critical Analysis of Energy Consumption in Neuro-Computational Systems | 1-gen-2026 | Kipelkin, Ivan; Kamenko, Ilija; Ivosevic, Jovan; Fedorova, Alina; Zharkov, Grigory; Maricic, Jovana; Bratic, Stojanka; Pilipovic, Nebojsa; Samardzic, Natasa; Dautovic, Stanisa; Medojevic, Milovan; Bajac, Branimir; Vallverdu, Jordi; Zunic, Dragisa; Restuccia, Francesco; Bucaria, Vincenzo; Longo, Francesco; Merlino, Giovanni; Bruneo, Dario; Distefano, Salvatore; Toshchev, Aleksandr; Mikhaylov, Alexey; Erokhin, Victor; Talanov, Max | |
| Formalization of Automated Trading Systems in a Concurrent Linear Framework | 1-gen-2019 | Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa | |
| Future of Neural Networks and Energy Consumption Aspects | 1-gen-2024 | Talanov, Max; Bojic, Ljubisa; Zunic, Dragisa; Samardzic, Natasa; Medojević, Milovan | |
| Intuitionistic Sequent-Style Calculus with Explicit Structural Rules | 1-gen-2009 | Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa | |
| Measuring shape rectangularities | 1-gen-2011 | Martinez-Ortiz, Carlos; Zunic, Dragisa; Zunic, Jovisa | |
| Measuring shape rectangularity | 1-gen-2011 | Zunic, Dragisa; Zunic, Jovisa | |
| Nanoparticle shapes: Quantification by elongation, convexity and circularity measures | 1-gen-2019 | Kopanja, Lazar; Lončar, Boris; Zunic, Dragisa; Tadić, Marin | |
| Quantifying shapes of nanoparticles using modified circularity and ellipticity measures | 1-gen-2016 | Kopanja, Lazar; Zunic, Dragisa; Loncar, Boris; Gyergyek, Saso; Tadic, Marin | |
| Shape ellipticity based on the first Hu moment invariant | 1-gen-2013 | Zunic, Dragisa; Zunic, Jovisa | |
| Shape ellipticity from Hu moment invariants | 1-gen-2014 | Zunic, Dragisa; Zunic, Jovisa | |
| Shape Interpretation of Second-Order Moment Invariants | 1-gen-2016 | Zunic, Jovisa; Zunic, Dragisa | |
| SHAPE RECTANGULARITY MEASURES | 1-gen-2012 | Zunic, Dragisa; MARTINEZ-ORTIZ, Carlos; Zunic, Jovisa |