958 results on '"Subramani, K"'
Search Results
2. The hexatope and octatope abstract domains for neural network verification
3. Combination Versus Monotherapy for Carbapenem-Resistant Acinetobacter Species Serious Infections: A Prospective IPTW Adjusted Cohort Study
4. Microwave assisted synthesis and antifungal studies of 5-amino thiadiazole substituted pyrimidine compounds
5. Kinetics of oxidation of pentaamminecobalt (III) complexes of α-hydroxy acids by Mn(III)Perchlorate in micellar medium
6. Antimicrobial Activities Of Certain South Indian Medicinal Plants
7. Arc-dependent networks: theoretical insights and a computational study
8. Theoretical Prediction of Reactive Site of Aryl Halide for Suzuki Coupling Reaction
9. Synthesis of Biphenylamine Derivatives via Suzuki Coupling Reaction
10. Chemical Investigation of Merremia Gangetica
11. Farkas Bounds on Horn Constraint Systems
12. On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective
13. A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems
14. On the Computational Complexities of Finding Selected Refutations of Linear Programs
15. A Differential Approach for Several NP-hard Optimization Problems
16. Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints
17. Differentiable Discrete Optimization Using Dataless Neural Networks
18. Proving the infeasibility of Horn formulas through read-once resolution
19. Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints
20. Differentiable Discrete Optimization Using Dataless Neural Networks
21. Security-Aware Database Migration Planning
22. Unit Read-once Refutations for Systems of Difference Constraints
23. Clinical and Genomic Evolution of Carbapenem-Resistant Klebsiella pneumoniae Bloodstream Infections over Two Time Periods at a Tertiary Care Hospital in South India: A Prospective Cohort Study
24. Unit Refutations of Difference Constraint Systems
25. Persistent bacteremia predicts poor outcomes among neutropenic patients with carbapenem-resistant gram-negative bloodstream infections receiving appropriate therapy
26. New Results in Priority-Based Bin Packing
27. The Octatope Abstract Domain for Verification of Neural Networks
28. Optimal Length Cutting Plane Refutations of Integer Programs
29. A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints
30. Priority-based bin packing with subset constraints
31. Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling
32. Parameterized algorithms for Partial vertex covers in bipartite graphs
33. Reachability in choice networks
34. On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems
35. Analyzing the 3-path Vertex Cover Problem in Planar Bipartite Graphs
36. Analyzing the Reachability Problem in Choice Networks
37. On the Approximability of Path and Cycle Problems in Arc-Dependent Networks
38. Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems
39. On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems: Horn constraint systems and cutting plane refutations
40. New Results in Priority-Based Bin Packing
41. Contributors
42. Optimal Length Cutting Plane Refutations of Integer Programs
43. The Octatope Abstract Domain for Verification of Neural Networks
44. Design and fabrication of supercapacitors
45. On the analysis of optimization problems in arc-dependent networks
46. Analyzing Read-Once Cutting Plane Proofs in Horn Systems
47. Optimal Deterministic Controller Synthesis from Steady-State Distributions
48. On the complexity of and solutions to the minimum stopping and trapping set problems
49. Improving Renewable Energy Operations in Smart Grids through Machine Learning
50. Predicting Wind Energy: Machine Learning from Daily Wind Data
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.