( en | de | ru )

 

Disambiguation of "Jha, Sumit Kumar"

Author of the publication

copydeleteadd this publication to your clipboard
STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing.

, , , , and . ASP-DAC, page 690-695. IEEE, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

Initial Excitation-Based Iterative Algorithm for Approximate Optimal Control of Completely Unknown LTI Systems., , and . IEEE Trans. Automat. Contr., 64 (12): 5230-5237 (2019)d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata.. HSCC, volume 4981 of Lecture Notes in Computer Science, page 618-621. Springer, (2008)A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata., , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 187-200. Springer, (2008)Parallel boolean matrix multiplication in linear time using rectifying memristors., and . ISCAS, page 1874-1877. IEEE, (2016)Automated synthesis of stochastic computational elements using decision procedures., , and . ISCAS, page 1678-1681. IEEE, (2016)Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata. CoRR, (2006)EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth., , , and . ICCABS, page 1-6. IEEE Computer Society, (2014)Poster: Synthesis of biochemical models., and . ICCABS, page 248. IEEE Computer Society, (2011)Policy iteration-based indirect adaptive optimal control for completely unknown continuous-time LTI systems., , and . SSCI, page 1-7. IEEE, (2017)Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving., , , , , , and . MILCOM, page 944-949. IEEE, (2023)