Zum Inhalt springen

  1. Salamati, Mahmoud [VerfasserIn] ; Majumdar, Rupak [Sonstige Person, Familie und Körperschaft]; Soudjani, Sadegh [Sonstige Person, Familie und Körperschaft]

    On Decidability of Time-bounded Reachability in CTMDPs: Q/A Session A - Paper A4.D

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Erschienen in: 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020)

  2. Majumdar, Rupak [VerfasserIn]; Salamati, Mahmoud [VerfasserIn]; Soudjani, Sadegh [VerfasserIn] ; Rupak Majumdar and Mahmoud Salamati and Sadegh Soudjani [MitwirkendeR]

    On Decidability of Time-Bounded Reachability in CTMDPs

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  3. D'Costa, Julian [VerfasserIn]; Karimov, Toghrul [VerfasserIn]; Majumdar, Rupak [VerfasserIn]; Ouaknine, Joël [VerfasserIn]; Salamati, Mahmoud [VerfasserIn]; Worrell, James [VerfasserIn] ; Julian D'Costa and Toghrul Karimov and Rupak Majumdar and Joël Ouaknine and Mahmoud Salamati and James Worrell [MitwirkendeR]

    The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  4. D'Costa, Julian [VerfasserIn]; Karimov, Toghrul [VerfasserIn]; Majumdar, Rupak [VerfasserIn]; Ouaknine, Joël [VerfasserIn]; Salamati, Mahmoud [VerfasserIn]; Soudjani, Sadegh [VerfasserIn]; Worrell, James [VerfasserIn] ; Julian D'Costa and Toghrul Karimov and Rupak Majumdar and Joël Ouaknine and Mahmoud Salamati and Sadegh Soudjani and James Worrell [MitwirkendeR]

    The Pseudo-Skolem Problem is Decidable

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  5. Abate, Alessandro [VerfasserIn]; Blom, Henk [VerfasserIn]; Cauchi, Nathalie [VerfasserIn]; Degiorgio, Kurt [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Hahn, Ernst Moritz [VerfasserIn]; Haesaert, Sofie [VerfasserIn]; Ma, Hao [VerfasserIn]; Oishi, Meeko M. K. [VerfasserIn]; Pilch, Carina [VerfasserIn]; Remke, Anne [VerfasserIn]; Salamati, Mahmoud [VerfasserIn]; Sougjani, Sadegh [VerfasserIn]; Huijgevoort, Birgit van [VerfasserIn]; Vinod, Abraham P. [VerfasserIn]

    ARCH-COMP19 Category Report : Stochastic Modelling

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2019

    Erschienen in: International Workshop on Applied Verification of Continuous and Hybrid Systems (6. : 2019 : Montréal): ARCH19 ; (2019), Seite 62-102

  8. Salamati, Mahmoud; Soudjani, Sadegh; Majumdar, Rupak

    Quantitative Evaluation of Systems: Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Quantitative Evaluation of Systems

  9. Hosseinalizadeh, Teimour; Salamati, Seyed Mahmoud; Salamati, Seyed Ali; Gharehpetian, Gevork B.

    Improvement of Identification Procedure Using Hybrid Cuckoo Search Algorithm for Turbine-Governor and Excitation System

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2019

    Erschienen in: IEEE Transactions on Energy Conversion

  11. Parisa Ghelichkhani; Mahmoud Yousefifard; Lyly Nazemi; Saeed Safari; Mostafa Hosseini; Masoud Baikpour; Samira Salamati Ghamsari; Mehdi Yaseri

    The Value of Serum Β-Subunit of Human Chorionic Gonadotropin Level in Prediction of Treatment Response to Methotrexate in Management of Ectopic Pregnancy; a Systematic Review and Meta-Analysis

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2016

    Erschienen in: International Journal of Pediatrics

  12. Moberg, Madeline E; Hamilton, Erin B; Zeng, Scott M; Bryazka, Dana; Zhao, Jeff T; Feldman, Rachel; Abate, Yohannes Habtegiorgis; Abbasi-Kangevari, Mohsen; Abdurehman, Ame Mehadi; Abedi, Aidin; Abu-Gharbieh, Eman; Addo, Isaac Yeboah; Adepoju, Abiola Victor; Adnani, Qorinah Estiningtyas Sakilah; Afzal, Saira; Ahinkorah, Bright Opoku; Ahmad, Sajjad; Ahmed, Danial; Ahmed, Haroon; Alem, Dejene Tsegaye; Al-Gheethi, Adel Ali Saeed; Alimohamadi, Yousef; Ameyaw, Edward Kwabena; Amrollahi-Sharifabadi, Mohammad; [...]

    Global, regional, and national mortality due to unintentional carbon monoxide poisoning, 2000–2021: results from the Global Burden of Disease Study 2021

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2023

    Erschienen in: The Lancet Public Health

  13. Burstein, Roy; Henry, Nathaniel J.; Collison, Michael L.; Marczak, Laurie B.; Sligar, Amber; Watson, Stefanie; Marquez, Neal; Abbasalizad-Farhangi, Mahdieh; Abbasi, Masoumeh; Abd-Allah, Foad; Abdoli, Amir; Abdollahi, Mohammad; Abdollahpour, Ibrahim; Abdulkader, Rizwan Suliankatchi; Abrigo, Michael R. M.; Acharya, Dilaram; Adebayo, Oladimeji M.; Adekanmbi, Victor; Adham, Davoud; Afshari, Mahdi; Aghaali, Mohammad; Ahmadi, Keivan; Ahmadi, Mehdi; Ahmadpour, Ehsan; [...]

    Mapping 123 million neonatal, infant and child deaths between 2000 and 2017

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2019

    Erschienen in: Nature

  14. Wiens, Kirsten E; Lindstedt, Paulina A; Blacker, Brigette F; Johnson, Kimberly B; Baumann, Mathew M; Schaeffer, Lauren E; Abbastabar, Hedayat; Abd-Allah, Foad; Abdelalim, Ahmed; Abdollahpour, Ibrahim; Abegaz, Kedir Hussein; Abejie, Ayenew Negesse; Abreu, Lucas Guimarães; Abrigo, Michael R M; Abualhasan, Ahmed; Accrombessi, Manfred Mario Kokou; Acharya, Dilaram; Adabi, Maryam; Adamu, Abdu A; Adebayo, Oladimeji M; Adedoyin, Rufus Adesoji; Adekanmbi, Victor; Adetokunboh, Olatunji O; Adhena, Beyene Meressa; [...]

    Mapping geographical inequalities in oral rehydration therapy coverage in low-income and middle-income countries, 2000–17

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2020

    Erschienen in: The Lancet Global Health