958 results on '"Subramani, K"'
Search Results
102. Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach
103. Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints
104. A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems
105. An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints
106. Dominance of International High-Risk Clones in Carbapenemase-Producing Pseudomonas aeruginosa: Multicentric Molecular Epidemiology Report from India
107. Finding read-once resolution refutations in systems of 2CNF clauses
108. Randomized algorithms for finding the shortest negative cost cycle in networks
109. Electrochemical investigation of manganese ferrites prepared via a facile synthesis route for supercapacitor applications
110. Clustering without replication in combinatorial circuits
111. A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints
112. The Complexity of Finding Read-Once NAE-Resolution Refutations
113. Analyzing Lattice Point Feasibility in UTVPI Constraints
114. On a Generalization of Horn Constraint Systems
115. On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas
116. The Approximability of Partial Vertex Covers in Trees
117. Design and Optimization of Low Power and High-Performance CMOS Circuits
118. Soya derived heteroatom doped carbon as a promising platform for oxygen reduction, supercapacitor and CO2 capture
119. Electrochemical Studies on Corncob Derived Activated Porous Carbon for Supercapacitors Application in Aqueous and Non-aqueous Electrolytes
120. Effect of silica nanoparticles on mechanical properties of self-cured acrylic resin
121. On Unit Read-Once Resolutions and Copy Complexity
122. Security-Aware Database Migration Planning
123. Constrained read-once refutations in UTVPI constraint systems: A parallel perspective.
124. Silent Spread of Dengue and Dengue Haemorrhagic Fever to Coimbatore and Erode Districts in Tamil Nadu, India, 1998: Need for Effective Surveillance to Monitor and Control the Disease
125. Template Assisted Synthesis of Nitrogen doped 3D-Graphene for Supercapacitor Applications
126. A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints
127. An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints
128. Compositional Bisimulation Minimization for Interval Markov Decision Processes
129. On approximating optimal weight “no”-certificates in weighted difference constraint systems
130. On Clustering Without Replication in Combinatorial Circuits
131. A Graphical Theorem of the Alternative for UTVPI Constraints
132. Restricted Cutting Plane Proofs in Horn Constraint Systems
133. Read-Once Resolutions in Horn Formulas
134. Minimization of Testing Costs in Capacity-Constrained Database Migration
135. 320 Starting a hipec programme in a low resource setting
136. Numerical Simulation of High Velocity Impact on Composite Targets Using Advanced Computational Techniques
137. Study of Future Refrigerant for Vapor Compression Refrigeration Systems
138. Priority-based bin packing with subset constraints
139. Security-Aware Database Migration Planning
140. Priority-based bin packing with subset constraints
141. Proving the infeasibility of Horn formulas through read-once resolution
142. On the negative cost girth problem in planar networks
143. Effect of non-genetic factors on the prevalence of Stilesia globipunctata in the goat
144. Feasibility checking in Horn constraint systems through a reduction based approach
145. Ab initio molecular orbital and density functional studies on the ring-opening reaction of 2H-thiete
146. A certifying algorithm for lattice point feasibility in a system of UTVPI constraints
147. A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints
148. Erratum to: Analyzing restricted fragments of the theory of linear arithmetic
149. Analyzing restricted fragments of the theory of linear arithmetic
150. On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.