Filter
Conference contribution

Search results

  • 2022

    SimuShips - A High Resolution Simulation Dataset for Ship Detection with Precise Annotations

    Raza, M., Prokopova, H., Huseynzade, S., Azimi, S. & Lafond, S., 2022, OCEANS 2022 Hampton Roads. Institute of Electrical and Electronics Engineers (IEEE), (Oceans Conference Record (IEEE); vol. 2022-October).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    1 Citation (Scopus)
  • 2020

    A survey of machine learning approaches for surface maritime navigation

    Azimi, S., Salokannel, J., Lafond, S., Lilius, J., Salokorpi, M. & Porres, I., 2020, Maritime Transport VIII: proceedings of the 8th International Conference on Maritime Transport: Technology, Innovation and Research: Maritime Transport '20. Iniciativa Digital Politècnica

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
  • On the Verification and Validation of AI Navigation Algorithms

    Porres, I., Azimi, S., Lafond, S., Lilius, J., Salokannel, J. & Salokorpi, M., 2020, 2020 Global Oceans 2020: Singapore - U.S. Gulf Coast. Institute of Electrical and Electronics Engineers (IEEE), 9389133. (2020 Global Oceans 2020: Singapore - U.S. Gulf Coast).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    4 Citations (Scopus)
  • Scenario-based Testing of a Ship Collision Avoidance System

    Porres, I., Azimi, S. & Lilius, J., 2020, Proceedings - 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020. Martini, A., Wimmer, M. & Skavhaug, A. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 545-552 8 p. 9226299. (Proceedings - 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    15 Citations (Scopus)
  • 2016

    Generating the logicome of a biological network

    Panchal, C., Azimi, S. & Petre, I., 2016, Algorithms for Computational Biology - 3rd International Conference, AlCoB 2016, Proceedings. Vega-Rodríguez, M. A., Santander-Jiménez, S., Botón-Fernández, M. & Martín-Vide, C. (eds.). Springer, p. 38-49 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9702).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    2 Citations (Scopus)
  • 2015

    An excursion through quantitative model refinement

    Azimi, S., Czeizler, E., Gratie, C., Gratie, D., Iancu, B., Ibssa, N., Petre, I., Rogojin, V., Shadbahr, T. & Shokri, F., 2015, Membrane Computing - 16th International Conference, CMC 2015, Revised Selected Papers. Sempere, J. M., Salomaa, A., Zandron, C. & Rozenberg, G. (eds.). Springer, p. 25-47 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9504).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 2014

    On the implementation of quantitative model refinement

    Iancu, B., Gratie, D. E., Azimi, S. & Petre, I., 2014, Algorithms for Computational Biology - First International Conference, AlCoB 2014, Proceedings. Springer, p. 95-106 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8542 LNBI).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    5 Citations (Scopus)