Segui
Souradeep Dutta
Titolo
Citata da
Citata da
Anno
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
519*2018
Reachability analysis for neural feedback systems using regressive polynomial rule inference
S Dutta, X Chen, S Sankaranarayanan
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
1942019
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
972018
Sherlock-a tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
752019
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
D Manzanas Lopez, M Althoff, L Benet, C Blab, M Forets, Y Jia, ...
EPiC Series in Computing, 2024
41*2024
Robust data-driven control of artificial pancreas systems using neural networks
S Dutta, T Kushner, S Sankaranarayanan
Computational Methods in Systems Biology: 16th International Conference …, 2018
322018
Interpretable detection of distribution shifts in learning enabled cyber-physical systems
Y Yang, R Kaur, S Dutta, I Lee
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
232022
Holocene sea level change of West Bengal Coast
S Dey, S Dutta, SB Adak
Indian Geogr J 77 (1), 7-20, 2002
202002
FPGA-based tracking for the CMS Level-1 trigger using the tracklet algorithm
E Bartz, G Boudoul, R Bucci, J Chaves, E Clement, D Cranshaw, S Dutta, ...
Journal of Instrumentation 15 (06), P06024, 2020
172020
Occurrence of natural anti-H in a group of individuals.
ROY MN, S Dutta, S Ghosh
Journal of the Indian Medical Association 29 (6), 224-226, 1957
171957
A structured methodology for pattern based adaptive scheduling in embedded control
S Ghosh, S Dutta, S Dey, P Dasgupta
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-22, 2017
162017
Imprecise Bayesian neural networks
M Caprio, S Dutta, KJ Jang, V Lin, R Ivanov, O Sokolsky, I Lee
arXiv preprint arXiv:2302.09656, 2023
152023
Trajectory tracking control for robotic vehicles using counterexample guided training of neural networks
A Claviere, S Dutta, S Sankaranarayanan
Proceedings of the International Conference on Automated Planning and …, 2019
152019
A rapid method for estimation of total adrenal cholesterol
AC Roy, SN Dutta, RN Sur
J. Sci Ind. Research 140, 124-125, 1955
151955
Formal Verification of a Multi-Basal Insulin Infusion Control Model.
X Chen, S Dutta, S Sankaranarayanan
Arch@ cpsweek, 75-91, 2017
142017
Credal Bayesian deep learning
M Caprio, S Dutta, KJ Jang, V Lin, R Ivanov, O Sokolsky, I Lee
Transactions on Machine Learning Research, 2024
112024
Verifying conformance of neural network models
M Narasimhamurthy, T Kushner, S Dutta, S Sankaranarayanan
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
102019
Memory-consistent neural networks for imitation learning
K Sridhar, S Dutta, D Jayaraman, J Weimer, I Lee
International Conference on Learning Representations 2024, 2024
92024
Distributionally robust statistical verification with imprecise neural networks
S Dutta, M Caprio, V Lin, M Cleaveland, KJ Jang, I Ruchkin, O Sokolsky, ...
arXiv preprint arXiv:2308.14815, 2023
82023
Vitamin E (alpha tocopherol) in the management of menorrhagia associated with the use of intrauterine contraceptive devices (IUCD)
PR Dasgupta, S Dutta, P Banerjee, S Majumdar
International journal of fertility 28 (1), 55-56, 1983
71983
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20