448 results on '"Chen, Zhenbang"'
Search Results
2. AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
3. Formal Verification Based Synthesis for Behavior Trees
4. Lipid metabolism and antioxidant system contribute to salinity tolerance in halophytic grass seashore paspalum in a tissue-specific manner
5. Verification of message-passing uninterpreted programs
6. The KDM5 inhibitor PBIT reduces proliferation of castration-resistant prostate cancer cells via cell cycle arrest and the induction of senescence
7. Deer antler extract-nanoparticles exhibit co-nanozyme activity and targeting of prostate cancer cells
8. On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions
9. CCMOP: A Runtime Verification Tool for C/C++ Programs
10. MosAIc: Finding Artistic Connections across Culture with Conditional Image Retrieval
11. Kullback-Leibler Divergence-Based Out-of-Distribution Detection with Flow-Based Generative Models
12. CCMOP: A Runtime Verification Tool for C/C++ Programs
13. Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel
14. Collaborative Verification of Uninterpreted Programs
15. Carbon nanoparticles induce DNA repair and PARP inhibitor resistance associated with nanozyme activity in cancer cells
16. Combining Symbolic Execution and Model Checking to Verify MPI Programs
17. Trace Abstraction-Based Verification for Uninterpreted Programs
18. Co‐targeting SKP2 and KDM5B inhibits prostate cancer progression by abrogating AKT signaling with induction of senescence and apoptosis.
19. Collaborative Verification of Uninterpreted Programs
20. Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
21. Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution
22. Symbolic Execution of MPI Programs with One-Sided Communications
23. Adaptive solving strategy synthesis for symbolic execution.
24. CSP based Formal Modeling and Verification of Behavior Trees
25. Quantitative Trait Locus Analysis of Hessian Fly Resistance in Soft Red Winter Wheat
26. Symbolic Verification of Fuzzy Logic Models
27. MPISE: Symbolic Execution of MPI Programs
28. Trace Abstraction-Based Verification for Uninterpreted Programs
29. Mouse models of prostate cancer: picking the best model for the question
30. Speculative Symbolic Execution
31. Adaptive solving strategy synthesis for symbolic execution
32. Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
33. Nuclear MET requires ARF and is inhibited by carbon nanodots through binding to phospho-tyrosine in prostate cancer
34. Supplementary Table from KDM5B Is Essential for the Hyperactivation of PI3K/AKT Signaling in Prostate Tumorigenesis
35. Data from KDM5B Is Essential for the Hyperactivation of PI3K/AKT Signaling in Prostate Tumorigenesis
36. Supplementary Figure from KDM5B Is Essential for the Hyperactivation of PI3K/AKT Signaling in Prostate Tumorigenesis
37. Data from Interleukin-17 Promotes Formation and Growth of Prostate Adenocarcinoma in Mouse Models
38. Supplementary Figure 2 from Interleukin-17 Promotes Formation and Growth of Prostate Adenocarcinoma in Mouse Models
39. Supplementary Figure 3 from Interleukin-17 Promotes Formation and Growth of Prostate Adenocarcinoma in Mouse Models
40. Supplementary Table 1 from Interleukin-17 Promotes Formation and Growth of Prostate Adenocarcinoma in Mouse Models
41. Supplementary Figure 1 from Interleukin-17 Promotes Formation and Growth of Prostate Adenocarcinoma in Mouse Models
42. Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability
43. Development of strategies for community engaged research dissemination by basic scientists: a case study
44. Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models
45. Systematic analysis of NLMP suggests nuclear localization of RTK/MET kinases resemble cancer cell clearance
46. Evaluation of model checkers by verifying message passing programs
47. Lysosome‐dependent FOXA1 ubiquitination contributes to luminal lineage of advanced prostate cancer.
48. Translocator Protein PET Imaging in a Preclinical Prostate Cancer Model
49. Statement-Level Software Defect Prediction Based on Improved R-Transformer
50. Nickel-catalyzed asymmetric reductive arylcyanation of alkenes with acetonitrile as the cyano source
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.