43 results on '"Subramani, K"'
Search Results
2. Security-Aware Database Migration Planning
3. Unit Read-once Refutations for Systems of Difference Constraints
4. 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
5. Persistent bacteremia predicts poor outcomes among neutropenic patients with carbapenem-resistant gram-negative bloodstream infections receiving appropriate therapy
6. Optimal Deterministic Controller Synthesis from Steady-State Distributions
7. Integer Feasibility and Refutations in UTVPI Constraints Using Bit-Scaling
8. On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems
9. Analyzing Read-Once Cutting Plane Proofs in Horn Systems
10. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
11. Effect of silica nanoparticles on mechanical properties of self-cured acrylic resin
12. On integer closure in a system of unit two variable per inequality constraints
13. Analyzing Clustering and Partitioning Problems in Selected VLSI Models
14. Rodenticidal hepatotoxicity: Raised plasma Von Willebrand factor levels predict in-hospital survival and preliminary report of the outcome of Von Willebrand factor reducing management protocol
15. A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints
16. Clustering without replication in combinatorial circuits
17. On approximating optimal weight “no”-certificates in weighted difference constraint systems
18. A certifying algorithm for lattice point feasibility in a system of UTVPI constraints
19. Erratum to: Analyzing restricted fragments of the theory of linear arithmetic
20. Analyzing restricted fragments of the theory of linear arithmetic
21. In vitro evaluation of osteoblast responses to carbon nanotube-coated titanium surfaces
22. A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints
23. Solution Treatment and Aging of Thick Rings from Titanium Alloy TI6AL4V
24. Ab initio Molecular orbital and density functional studies on the ring-opening reaction of oxetene
25. Fast Algorithms for the Undirected Negative Cost Cycle Detection Problem
26. A new algorithm for the minimum spanning tree verification problem
27. Evaluation of Kumaon hill goats for resistance to natural infection with gastrointestinal nematodes
28. A Parallel Implementation for the Negative Cost Girth Problem
29. On quantified linear implications
30. A complexity perspective on entailment of parameterized linear constraints
31. Two-level heaps: a new priority queue structure with applications to the single source shortest path problem
32. Optimal Length Resolution Refutations of Difference Constraint Systems
33. Random walks for selected boolean implication and equivalence problems
34. Fault Tolerant Sorting—Theoretical and Empirical Analyses of the Randomized QuickMergesort Algorithm
35. Computing inversion pair cardinality through partition-based sorting
36. On the Design and Implementation of a Shared Memory Dispatcher for Partially Clairvoyant Schedulers
37. On a decision procedure for quantified linear programs
38. Distributed algorithms for partially clairvoyant dispatchers
39. Boolean Functions as Models for Quantified Boolean Formulas
40. On using priced timed automata to achieve optimal scheduling
41. Erratum: An Analysis of Totally Clairvoyant Scheduling
42. An Analysis of Totally Clairvoyant Scheduling
43. Tractable Fragments of Presburger Arithmetic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.