E-LIB Suche - Ergebnisse für: Mohammadinejad, Sara

1

DiffRNN: Differential Verification of Recurrent Neural Netw..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Mohammadinejad, Sara ; Paulsen, Brandon ; Deshmukh, Jyotirmoy V.. - p. 117-134 , 2021

Link: https://doi.org/10.1007/..

2

Mining Interpretable Spatio-Temporal Logic Properties for S..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura - p. 91-107 , 2021

Link: https://doi.org/10.1007/..

3

Mining Environment Assumptions for Cyber-Physical System Mo..:

, In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS),

Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Puranic, Aniruddh G. - p. 87-97 , 2020

Link: https://doi.org/10.1109/..

4

Interpretable classification of time-series data using effi..:

, In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control,

Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Puranic, Aniruddh G... - p. 1-10 , 2020

Link: https://dl.acm.org/doi/1..

5

Power Reduction and BTI Mitigation of Data-Cache Memory Bas..:

Rohbani, Nezam ; Gau, Hiroaki ; Mohammadinejad, Sara...
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 27 (2019) 7 - p. 1675-1684 , 2019

Link: https://doi.org/10.1109/..

6

Interactive Learning from Natural Language and Demonstratio..:

Mohammadinejad, Sara ; Thomason, Jesse ; Deshmukh, Jyotirmoy V
http://arxiv.org/abs/2207.00627. , 2022

Link: http://arxiv.org/abs/220..

7

Mining Interpretable Spatio-temporal Logic Properties for S..:

Mohammadinejad, Sara ; Deshmukh, Jyotirmy V ; Nenzi, Laura
http://arxiv.org/abs/2106.08548. , 2021

Link: http://arxiv.org/abs/210..

8

Mining Environment Assumptions for Cyber-Physical System Mo..:

Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V ; Puranic, Aniruddh G
http://arxiv.org/abs/2005.08435. , 2020

Link: http://arxiv.org/abs/200..

9

DiffRNN: Differential Verification of Recurrent Neural Netw..:

Mohammadinejad, Sara ; Paulsen, Brandon ; Wang, Chao.
http://arxiv.org/abs/2007.10135. , 2020

Link: http://arxiv.org/abs/200..

10

Interpretable Classification of Time-Series Data using Effi..:

Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V ; Puranic, Aniruddh G..
http://arxiv.org/abs/1907.10265. , 2019

Link: http://arxiv.org/abs/190..

11

Biomedical applications of engineered heparin-based materia..:

Nazarzadeh Zare, Ehsan ; Khorsandi, Danial ; Zarepour, Atefeh...
Bioactive Materials. 31 (2024) - p. 87-118 , 2024

Link: https://doi.org/10.1016/..

12

Application of green-synthesized carbon dots for imaging of..:

Mohammadinejad, Arash ; Abnous, Khalil ; Alinezhad Nameghi, Morteza...
Spectrochimica Acta Part A: Molecular and Biomolecular Spectroscopy. 288 (2023) - p. 122200 , 2023

Link: https://doi.org/10.1016/..

13

Molecularly-imprinted polymers for the separation and detec..:

Ranjbari, Sara ; Mohammadinejad, Arash ; Johnston, Thomas P....
European Polymer Journal. 189 (2023) - p. 111916 , 2023

Link: https://doi.org/10.1016/..

14

Evaluation of grain yield stability of tritipyrum as a nove..:

Farokhzadeh, Sara ; Shahsavand Hassani, Hossein ; Mohammadi-Nejad, Ghasem..
PLOS ONE. 17 (2022) 9 - p. e0274588 , 2022

Link: https://doi.org/10.1371/..

15

Ultrasound for Intubation Confirmation: A Randomized Contro..:

Hossein-Nejad, Hooman ; Mehrjerdi, Mohammad-Hassan Sadroldini ; Abdollahi, Atefeh...
Ultrasound in Medicine & Biology. 47 (2021) 2 - p. 230-235 , 2021

Link: https://doi.org/10.1016/..