( en | de | ru )

 

Disambiguierung von "Dasgupta, Pallab"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ML-assisted Real Time Congestion Mitigation under Supply-side Uncertainties.

, , und . ISGT Asia, Seite 1-5. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shivaji Dasgupta

Shyamal Dasgupta

Subhoranjan Dasgupta

Subho Dasgupta

Subrata Dasgupta

 

Weitere Publikationen von Autoren mit dem selben Namen

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