Search Results - Kupusinac, Aleksandar D.

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Deep Neural Network Application in the Phase-Match Calibration of Gas–Microphone Photoacoustics

    Deep Neural Network Application in the Phase-Match Calibration of Gas–Microphone Photoacoustics by Jordovic-Pavlovic, Miroslava I., Markushev, Dragan D., Kupusinac, Aleksandar D., Djordjevic, Katarina Lj, Nesic, Mioljub V., Galovic, Slobodanka P., Popovic, Marica N.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Knowledge-based competitiveness indices and its connection with energy indices

    Knowledge-based competitiveness indices and its connection with energy indices by Katic, Andrea, Cosic, Ilija, Kupusinac, Aleksandar, Vasiljevic, Marko, Stojic, Ivan

    Published in Thermal science
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Formalization of the general rules of the Hoare logic using S-formulas

    Formalization of the general rules of the Hoare logic using S-formulas by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    On the equilibrium of owner/component system

    On the equilibrium of owner/component system by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Analysis of infinite loops using S-formulas

    Analysis of infinite loops using S-formulas by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    General aspects of the as prescribed analysis of invariants in the class

    General aspects of the as prescribed analysis of invariants in the class by Kupusinac, A., Malbaski, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    An algorithm for the automatic verification of inheritance

    An algorithm for the automatic verification of inheritance by Kupusinac, A., Malbaski, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Automatic inference of invariants in objects with variable structure

    Automatic inference of invariants in objects with variable structure by Malbaski, D., Kupusinac, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: