24 results on '"Anubhav Gupta"'
Search Results
2. Secure Implementation of Artificial Intelligence Applications for Anti-Money Laundering using Confidential Computing.
3. PatchGame: Learning to Signal Mid-level Patches in Referential Games.
4. Mining points of interest via address embeddings: an unsupervised approach.
5. Modeling approaches for Silent Attrition prediction in Payment networks.
6. Temporal Debiasing using Adversarial Loss based GNN architecture for Crypto Fraud Detection.
7. Apprendre de la littérature scientifique : Les réseaux de signalisation en biologie systémique (Literature-based discovery: Signaling Systems in Systemic Biology).
8. IJCNLP-2017 Task 3: Review Opinion Diversification (RevOpiD-2017).
9. Evaluating Opinion Summarization in Ranking.
10. Team Z: Wiktionary as a L2 Writing Assistant.
11. Grammatical Error Detection Using Tagger Disagreement.
12. Rule-based System for Automatic Grammar Correction Using Syntactic N-grams for English Language Learning (L2).
13. TeamZ: Measuring Semantic Textual Similarity for Spanish Using an Overlap-Based Approach.
14. First steps towards SAT-based formal analog verification.
15. Automated Assumption Generation for Compositional Verification.
16. Abstraction Refinement for Bounded Model Checking.
17. Reconsidering CEGAR: Learning Good Abstractions without Refinement.
18. Model Checking: Back and Forth between Hardware and Software.
19. A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit.
20. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.
21. An On-Chip Coupling Capacitance Measurement Technique.
22. Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.
23. Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.
24. SAT-Based Image Computation with Application in Reachability Analysis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.