Security protocols: from linear to classical logic by abstract interpretation Fulltext Access 7 Pages 2005
A new method for approximate indexing and dictionary lookup with one error Fulltext Access 7 Pages 2005
Optimal and near-optimal algorithms for generalized intersection reporting on pointer machines Fulltext Access 7 Pages 2005
Non-approximability of weighted multiple sequence alignment for arbitrary metrics Fulltext Access 7 Pages 2005
Completeness of hyper-resolution via the semantics of disjunctive logic programs Fulltext Access 7 Pages 2005
An interpretation of neural networks as inference engines with application to transformer failure diagnosis Fulltext Access 7 Pages 2005
An O(n3loglogn/logn) time algorithm for the all-pairs shortest path problem Fulltext Access 7 Pages 2005
A Coarse-Grained Multicomputer algorithm for the detection of repetitions Fulltext Access 7 Pages 2005
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds Fulltext Access 7 Pages 2005
Absolute o(logm) error in approximating random set covering: an average case analysis Fulltext Access 7 Pages 2005
On a simple randomized algorithm for finding a 2-factor in sparse graphs Fulltext Access 7 Pages 2005
A neural power system stabilizer trained using local linear controllers in a gain-scheduling scheme Fulltext Access 7 Pages 2005
Fast estimation of fractal dimension and correlation integral on stream data Fulltext Access 7 Pages 2005
A neural space vector fault location for parallel double-circuit distribution lines Fulltext Access 7 Pages 2005
Transmission expansion cost allocation based on cooperative game theory for congestion relief Fulltext Access 7 Pages 2005
A novel approach based on global positioning system for parallel load flow analysis Fulltext Access 7 Pages 2005
A simulated annealing-based goal-attainment method for economic emission load dispatch of fixed head hydrothermal power systems Fulltext Access 7 Pages 2005
Optimal topology control for balanced energy consumption in wireless networks Fulltext Access 8 Pages 2005
Multiuser 3D virtual simulation environments support in the Gnutella peer-to-peer network Fulltext Access 8 Pages 2005
Constant time fault tolerant algorithms for a linear array with a reconfigurable pipelined bus system Fulltext Access 8 Pages 2005
Frequency domain transient analysis of electrical networks including non-linear conditions Fulltext Access 8 Pages 2005
Identification of synchronous generators using adaptive wavelet networks Fulltext Access 8 Pages 2005
On centralized power pool auction: a novel multipliers stabilization procedure Fulltext Access 8 Pages 2005
Ancillary reactive power service allocation cost in deregulated markets: a methodology Fulltext Access 8 Pages 2005
Scheduling of cogeneration plants considering electricity wheeling using enhanced immune algorithm Fulltext Access 8 Pages 2005
A power system control scheme based on security visualisation in parameter space Fulltext Access 8 Pages 2005
Transfer of transient surge voltage through XLPE cable winding transformer (Dryformer) circuits Fulltext Access 8 Pages 2005
A modified hybrid EP-SQP approach for dynamic dispatch with valve-point effect Fulltext Access 8 Pages 2005
Fuzzy logic controller in interconnected electrical power systems for load-frequency control Fulltext Access 8 Pages 2005
Utilization of time varying event-based customer interruption cost load shedding schemes Fulltext Access 8 Pages 2005
Incorporation of middleware and grid technologies to enhance usability in Computational Chemistry applications Fulltext Access 8 Pages 2005
Automatic differentiation and nonlinear controller design by exact linearization Fulltext Access 8 Pages 2005
Application of Grid-enabled technologies for solving optimization problems in data-driven reservoir studies Fulltext Access 8 Pages 2005
Looking for narrow interfaces in automatic differentiation using graph drawing Fulltext Access 8 Pages 2005
Computational detection of microRNAs targeting transcription factor genes in Arabidopsisthaliana Fulltext Access 8 Pages 2005