( en | de | ru )

 

Disambiguierung von "Tiwari, Ashish"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theory of reals for verification and synthesis of hybrid dynamical systems.

. ISSAC, Seite 5-6. ACM, (2010)

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.

Ashish Tiwari

Ashish Shah

Shweta Tiwari

Ashish Shrivastava

Ashish Choudhary

 

Weitere Publikationen von Autoren mit dem selben Namen

V-Formation via Model Predictive Control., , , , , und . CoRR, (2020)Computing minimal nutrient sets from metabolic networks via linear constraint solving., , , , , , und . BMC Bioinform., (2013)Online Evaluation of Steel Slab Quality in Production Phase by Surface Crack Image Segmentation using Relative Fuzzy Connectedness., , , , und . IPCV, Seite 353-362. CSREA Press, (2007)Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems., , , , und . SIGMOD Conference, Seite 499-512. ACM, (2021)CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning., , , , und . SIGMOD Conference, Seite 2706-2710. ACM, (2021)LERPS: Lighting Estimation and Relighting for Photometric Stereo., und . ICASSP, Seite 2060-2064. IEEE, (2022)Exploring Deeper Graph Convolutions for Semi-Supervised Node Classification., , und . ICASSP, Seite 5463-5467. IEEE, (2022)Learning Task Specifications from Demonstrations., , , , und . NeurIPS, Seite 5372-5382. (2018)Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis., , , , , , , und . CoRR, (2021)A Nonlinear Real Arithmetic Fragment., und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 729-736. Springer, (2014)