A Partial Instantiation based First Order Theorem Prover (2007)
V. Chandru, I. I. Sc, J.N. Hooker, G. Rago, A. Shrivastava, Sanchez C. A
Satisfiability algorithms for propositional logic have improved enormously in recent years. This increases the attractiveness of satisfiability methods for first order logic that reduce the problem...
Heuristic algorithms for scheduling heat-treatment furnaces of steel casting industries (2007)
Mathirajan, M, Chandru, V, Sivakumar, AI
This paper addresses a research problem of scheduling parallel, nonidentical batch processors in the presence of dynamic job arrivals, incompatible job-families and non-identical job sizes.We were...
Heuristic algorithms for scheduling heat-treatment furnaces of steel casting industries (2007)
Mathirajan, M, Chandru, V, Sivakumar, AI
This paper addresses a research problem of scheduling parallel, nonidentical batch processors in the presence of dynamic job arrivals, incompatible job-families and non-identical job sizes.We were...
Scheduling algorithms for heterogeneous batch processors with incompatible job-families (2004)
Mathirajan, M, Sivakumar, AI, Chandru, V
We consider the problem of scheduling heterogeneous batch processors (i.e., batch processors with different capacity) with incompatible job-families and non-identical job sizes to maximize the...
Electricity demand analysis - unconstrained vs constrained scenarios (2003)
Balachandra, P, Chandru, V, Bala Subrahmanya, MH
In India, the electricity systems are chronically constrained by shortage of both capital and energy resources. These result in rationing and interruptions of supply with a severely disrupted...
Electricity demand analysis - unconstrained vs constrained scenarios (2003)
Balachandra, P, Chandru, V, Bala Subrahmanya, MH
In India, the electricity systems are chronically constrained by shortage of both capital and energy resources. These result in rationing and interruptions of supply with a severely disrupted...
Non-supply of electricity in resource constrained electricity systems (2002)
Shortages in the supply of electricity in resource constrained electricity systems of developing nations is a poorly documented but commonly observed phenomena. The literature on electricity systems...
Non-supply of electricity in resource constrained electricity systems (2002)
Shortages in the supply of electricity in resource constrained electricity systems of developing nations is a poorly documented but commonly observed phenomena. The literature on electricity systems...
Mathirajan, M, Chandru, V, Krishnaswamy, KN
This paper considers the problem of scheduling parallel nonidentical batch processors in the presence of dynamic job arrivals with incompatible job-families and nonidentical job sizes to maximize the...
Mathirajan, M, Chandru, V, Krishnaswamy, KN
This paper considers the problem of scheduling parallel nonidentical batch processors in the presence of dynamic job arrivals with incompatible job-families and nonidentical job sizes to maximize the...
Molecular Dynamics Visualization with XML and VRML (2000)
Arun, B, Chandru, V, Ganguly, AD, Manohar, S
A new Extensible Markup Language (XML) application, Molecular Dynamics Language (MoDL) has been developed. MoDL provides a simple, but powerful tool for molecular dynamics visualization and has been...
Volume Sculpting and Keyframe Animation System (2000)
Chandru, V, Mahesh, N, Manivannan, M, Manohar, S
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its components are...
Molecular Dynamics Visualization with XML and VRML (2000)
Arun, B, Chandru, V, Ganguly, AD, Manohar, S
A new Extensible Markup Language (XML) application, Molecular Dynamics Language (MoDL) has been developed. MoDL provides a simple, but powerful tool for molecular dynamics visualization and has been...
Volume Sculpting and Keyframe Animation System (2000)
Chandru, V, Mahesh, N, Manivannan, M, Manohar, S
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its components are...
Volume Sculpting and Keyframe Animation System (2000)
V. Chandru, N. Mahesh, M. Manivannan, S. Manohar
In traditional animation, keyframes are modeled and a standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 3D world and its components in...
Wavelets for volume fusion (1999)
Lakshmish, MR, Manohar, S, Chandru, V
Volume fusion is a technique by which two or more “similar" volumes are intermixed to yield a volume which includes the significant features that are present in each of the volumes. Volume fusion...
Wavelets for volume fusion (1999)
Lakshmish, MR, Manohar, S, Chandru, V
Volume fusion is a technique by which two or more “similar" volumes are intermixed to yield a volume which includes the significant features that are present in each of the volumes. Volume fusion...
Partial Instantiation Methods for Inference in First Order Logic (1996)
J. N. Hooker, G. Rago, V. Chandru, A. Shrivastava
Satisfiability algorithms for propositional logic have improved enormously in recently years. This increases the attractiveness of satisfiability methods for first order logic that reduce the problem...
Mathematical Programming Embeddings of Logic (1996)
Borkar V. S, Chandru V, Micciancio D, Mitter S. K, Vivek S. Borkar, Vijay Chandru, ...
Serious studies on spatial embeddings of logic were initiated by Robert Jeroslow (cf. [16]) a lit-
Algorithms for the optimal loading of recursive neural nets (1995)
Chandru, V, Dattasharma, A, Keerthi, SS, Sancheti, NK, Vinay, V
The authors address the problem of choosing synaptic weights in a recursive (Hopfield) neural network so as to “optimize�? the performance of the network on the recognition of binary strings. The...
Algorithms for the optimal loading of recursive neural nets (1995)
Chandru, V, Dattasharma, A, Keerthi, SS, Sancheti, NK, Vinay, V
The authors address the problem of choosing synaptic weights in a recursive (Hopfield) neural network so as to “optimize�? the performance of the network on the recognition of binary strings. The...
Algorithms for the optimal loading of recursive neural nets (1995)
V Chandru, A Dattasharma, S S Keerthi, N K Sancheti, V Vinay
We address the problem of choosing synaptic weights in a recursive (Hopfield) neural network so as to "optimize " the performance of the network on the recognition of binary...
Variable Elimination in Linear Constraints (1993)
Gauss and Fourier have together provided us with the essential techniques for symbolic computation with linear arithmetic constraints over the reals and the rationals. These variable elimination...
Detecting Embedded Horn Structure in Propositional Logic (1992)
We show that the problem of finding a maximum renamable Horn problem within a propositional satisfiability problem is NP-hard but can be formulated as a set packing and therefore a maximum clique...
Two aspects of nondeterministic auxiliary stack automata (NAuxSA) are studied. The first is the expressibility of NAuxSA. More specifically, it is shown that the polynomial hierarchy can be...
Two aspects of nondeterministic auxiliary stack automata (NAuxSA) are studied. The first is the expressibility of NAuxSA. More specifically, it is shown that the polynomial hierarchy can be...
Electricity demand analysis - unconstrained vs constrained scenarios
In India, the electricity systems are chronically constrained by shortage of both capital and energy resources. These result in rationing and interruptions of supply with a severely disrupted...
EXTENDED HORN SETS IN PROPOSITIONAL LOGIC
linear programming ; optimization ; time factor
Detecting Embedded Horn Structure in Propositional Logic.
economic models ; mathematics
Electricity demand analysis - unconstrained vs constrained scenarios
In India, the electricity systems are chronically constrained by shortage of both capital and energy resources. These result in rationing and interruptions of supply with a severely disrupted...