( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata

. CoRR, (2006)

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.

Sumit Kumar

Rajeev Kumar Jha

Mithilesh Kumar Jha

Deepti Jha

Development of a new cell penetrating peptide: design, synthesis and applications = Entwicklung eines neuen zell-penetrierenden Peptids. Uni Tübingen, (2009)

Vandana Jha

 

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

Temporal Logic Model Checking, , , и . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)Memory-Efficient Filter-Based Approximate Optimal Regulation of Unknown LTI Systems Using Initial Excitation., , и . CDC, стр. 1638-1643. IEEE, (2018)DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision., , , и . ICCAD, стр. 151:1-151:9. IEEE, (2020)Verification of Flow-Based Computing Systems Using Bounded Model Checking., , , , и . ICCAD, стр. 1-9. IEEE, (2023)Hybrid Analog-Digital In-Memory Computing., , и . ICCAD, стр. 1-9. IEEE, (2021)Detecting Deepfake Videos using Attribution-Based Confidence Metric., , , , , , , и . CVPR Workshops, стр. 1250-1259. Computer Vision Foundation / IEEE, (2020)Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking., и . BIBM, стр. 179-184. IEEE Computer Society, (2018)3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability., и . ICCD, стр. 171-178. IEEE Computer Society, (2018)When to stop verification?: Statistical trade-off between expected loss and simulation cost., , , и . DATE, стр. 1309-1314. IEEE, (2011)Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis., и . IPDPS Workshops, стр. 347-352. IEEE Computer Society, (2018)