121 results on '"Subramani, K"'
Search Results
2. Differentiable Discrete Optimization Using Dataless Neural Networks
3. Unit Refutations of Difference Constraint Systems
4. New Results in Priority-Based Bin Packing
5. Contributors
6. Optimal Length Cutting Plane Refutations of Integer Programs
7. The Octatope Abstract Domain for Verification of Neural Networks
8. Design and fabrication of supercapacitors
9. Analyzing the 3-path Vertex Cover Problem in Planar Bipartite Graphs
10. On the Approximability of Path and Cycle Problems in Arc-Dependent Networks
11. Analyzing the Reachability Problem in Choice Networks
12. On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems
13. Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems
14. Tree-Like Unit Refutations in Horn Constraint Systems
15. On the Copy Complexity of Width 3 Horn Constraint Systems
16. Algorithmic Analysis of Priority-Based Bin Packing
17. Analyzing Unit Read-Once Refutations in Difference Constraint Systems
18. On Finding Shortest Paths in Arc-Dependent Networks
19. On Unit Read-Once Resolutions and Copy Complexity
20. Parameterized Algorithms for Partial Vertex Covers in Bipartite Graphs
21. Security-Aware Database Migration Planning
22. Restricted Cutting Plane Proofs in Horn Constraint Systems
23. A Graphical Analysis of Integer Infeasibility in UTVPI Constraints
24. Read-Once Certification of Linear Infeasibility in UTVPI Constraints
25. Read-Once Resolutions in Horn Formulas
26. Disjoint Clustering in Combinatorial Circuits
27. Minimization of Testing Costs in Capacity-Constrained Database Migration
28. Numerical Simulation of High Velocity Impact on Composite Targets Using Advanced Computational Techniques
29. Study of Future Refrigerant for Vapor Compression Refrigeration Systems
30. A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems
31. An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints
32. Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints
33. Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach
34. Chapter 15 - Design and fabrication of supercapacitors
35. Analyzing Lattice Point Feasibility in UTVPI Constraints
36. The Approximability of Partial Vertex Covers in Trees
37. On a Generalization of Horn Constraint Systems
38. On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas
39. The Complexity of Finding Read-Once NAE-Resolution Refutations
40. A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints
41. An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints
42. Compositional Bisimulation Minimization for Interval Markov Decision Processes
43. On Clustering Without Replication in Combinatorial Circuits
44. A Graphical Theorem of the Alternative for UTVPI Constraints
45. Fabrication of hydrogel micropatterns by soft photolithography
46. List of Contributors
47. On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs
48. Titanium Surface Modification Techniques for Dental Implants—From Microscale to Nanoscale
49. Carbon Nanotubes in Cancer Therapy and Drug Delivery
50. Self-Assembly of Proteins and Peptides and Their Applications in Bionanotechnology and Dentistry
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.