185 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. Arc-dependent networks: theoretical insights and a computational study
5. Farkas Bounds on Horn Constraint Systems
6. On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective
7. A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems
8. On the Computational Complexities of Finding Selected Refutations of Linear Programs
9. A Differential Approach for Several NP-hard Optimization Problems
10. Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints
11. Differentiable Discrete Optimization Using Dataless Neural Networks
12. Proving the infeasibility of Horn formulas through read-once resolution
13. Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints
14. Differentiable Discrete Optimization Using Dataless Neural Networks
15. Security-Aware Database Migration Planning
16. Unit Read-once Refutations for Systems of Difference Constraints
17. 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
18. Unit Refutations of Difference Constraint Systems
19. Persistent bacteremia predicts poor outcomes among neutropenic patients with carbapenem-resistant gram-negative bloodstream infections receiving appropriate therapy
20. New Results in Priority-Based Bin Packing
21. The Octatope Abstract Domain for Verification of Neural Networks
22. Optimal Length Cutting Plane Refutations of Integer Programs
23. A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints
24. Priority-based bin packing with subset constraints
25. Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling
26. Reachability in choice networks
27. On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems
28. Analyzing the 3-path Vertex Cover Problem in Planar Bipartite Graphs
29. Analyzing the Reachability Problem in Choice Networks
30. On the Approximability of Path and Cycle Problems in Arc-Dependent Networks
31. Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems
32. On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems: Horn constraint systems and cutting plane refutations
33. New Results in Priority-Based Bin Packing
34. Contributors
35. Optimal Length Cutting Plane Refutations of Integer Programs
36. The Octatope Abstract Domain for Verification of Neural Networks
37. Design and fabrication of supercapacitors
38. On the analysis of optimization problems in arc-dependent networks
39. Analyzing Read-Once Cutting Plane Proofs in Horn Systems
40. Optimal Deterministic Controller Synthesis from Steady-State Distributions
41. On the complexity of and solutions to the minimum stopping and trapping set problems
42. Improving Renewable Energy Operations in Smart Grids through Machine Learning
43. Predicting Wind Energy: Machine Learning from Daily Wind Data
44. Experimental investigation on stir casted hybrid composite AA7068 with SiC and coconut shell fly ash
45. Investigation on wear characteristics of Al 2219/Si3N4/Coal bottom ash MMC
46. Insights of abrasive water jet polishing process characteristics and its advancements
47. Experimental investigation on the mechanical properties of Carbon/Kevlar fibre reinforced epoxy LY556 composites
48. The study of rate constants of redox reactions on cobalt (III) complexes of α-hydroxy acids with quinolinium chlorochromate (QCC) in micellar medium
49. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
50. Combination Versus Monotherapy for Carbapenem-Resistant AcinetobacterSpecies Serious Infections: A Prospective IPTW Adjusted Cohort Study
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.