( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties.

, , и . ISGT Asia, стр. 1-5. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Shivaji Dasgupta

Shyamal Dasgupta

Subhoranjan Dasgupta

Subho Dasgupta

Subrata Dasgupta

 

Другие публикации лиц с тем же именем

Concurrent Usage Control Implementation Verification Using the SPIN Model Checker., , и . CNSA, том 89 из Communications in Computer and Information Science, стр. 214-223. Springer, (2010)Formal Analysis of Hybrid Systems Using Feature Indented Assertions., и . CoRR, (2017)Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (3): 447-451 (2012)Assertions for Protecting Mixed-Signal Latency Contracts in Power Management., , , и . IEEE Trans. Very Large Scale Integr. Syst., 28 (8): 1745-1756 (2020)Robust f0 extraction from monophonic signals using adaptive sub-band filtering., , , и . Speech Commun., (2020)CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications., , , и . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (января 2023)Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures., , , и . CoRR, (2014)Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization., , и . SafeAI@AAAI, том 3381 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Formal Verification of Security Policy Implementations in Enterprise Networks., , и . ICISS, том 5905 из Lecture Notes in Computer Science, стр. 117-131. Springer, (2009)Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers., , , , и . PerCom Workshops, стр. 392-397. IEEE, (2023)