Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet Fulltext Access 6 Pages 2011
Software design for a highly parallel molecular dynamics simulation framework in chemical engineering Fulltext Access 6 Pages 2011
Improved convertible authenticated encryption scheme with provable security Fulltext Access 6 Pages 2011
(Δ+1)(Δ+1)-total-colorability of plane graphs of maximum degree Δ⩾6Δ⩾6 with neither chordal 5-cycle nor chordal 6-cycle Fulltext Access 6 Pages 2011
Optimal semi-online algorithms for scheduling problems with reassignment on two identical machines Fulltext Access 6 Pages 2011
Towards a petascale tree code: Scaling and efficiency of the PEPC library Fulltext Access 6 Pages 2011
Bounded parallel-batch scheduling on single and multi machines for deteriorating jobs Fulltext Access 6 Pages 2011
Scheduling a batching machine with convex resource consumption functions Fulltext Access 6 Pages 2011
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec Fulltext Access 6 Pages 2011
Pancyclicity of OTIS (swapped) networks based on properties of the factor graph Fulltext Access 6 Pages 2011
Sharp bounds of the zeroth-order general RandiÄ index of bicyclic graphs with given pendent vertices Fulltext Access 6 Pages 2011
Linear programming based approximation algorithms for feedback set problems in bipartite tournaments Fulltext Access 6 Pages 2011
An improved lower bound on the sensitivity complexity of graph properties Fulltext Access 6 Pages 2011
On the expected longest length probe sequence for hashing with separate chaining Fulltext Access 6 Pages 2011
Citations among blogs in a hierarchy of communities: Method and case study Fulltext Access 6 Pages 2011
On the stretch factor of Delaunay triangulations of points in convex position Fulltext Access 6 Pages 2011
Messy broadcasting — Decentralized broadcast schemes with limited knowledge Fulltext Access 6 Pages 2011
A revision and extension of results on 4-regular, 4-connected, claw-free graphs Fulltext Access 6 Pages 2011
Decision Tree based discrimination between inrush currents and internal faults in power transformer Fulltext Access 6 Pages 2011
A selective single-phase-to-ground fault protection for neutral un-effectively grounded systems Fulltext Access 6 Pages 2011
Artificial immune system-based parameter extraction of proton exchange membrane fuel cell Fulltext Access 6 Pages 2011
Calculation of weighting factors of static security indices used in contingency ranking of power systems based on fuzzy logic and analytical hierarchy process Fulltext Access 6 Pages 2011
On-line voltage stability assessment using radial basis function network model with reduced input features Fulltext Access 6 Pages 2011
Analysis of lightning-caused ferroresonance in Capacitor Voltage Transformer (CVT) Fulltext Access 6 Pages 2011
Proposal strategies of key management for data encryption in SCADA network of electric power systems Fulltext Access 6 Pages 2011
A semidefinite programming method with graph partitioning technique for optimal power flow problems Fulltext Access 6 Pages 2011
Occurrence of structured motifs in random sequences: Arbitrary number of boxes Fulltext Access 6 Pages 2011
Non-iterative nodal solution for transient simulation of nonlinear and time-varying elements Fulltext Access 6 Pages 2011
An on-line algorithm for the single machine unbounded parallel-batching scheduling with large delivery times Fulltext Access 6 Pages 2011
Communication-efficient and crash-quiescent Omega with unknown membership Fulltext Access 6 Pages 2011
Special Section: The third provenance challenge on using the open provenance model for interoperability Fulltext Access 6 Pages 2011
A high performance data integrity assurance based on the determinant technique Fulltext Access 6 Pages 2011
The hyper-Wiener index of the generalized hierarchical product of graphs Fulltext Access 6 Pages 2011
Bidding strategy of generation companies using PSO combined with SA method in the pay as bid markets Fulltext Access 7 Pages 2011
Enhancement of the current quality using efficient extraction and mitigation processes Fulltext Access 7 Pages 2011
Generation allocation problem using a Hopfield-bisection approach including transmission losses Fulltext Access 7 Pages 2011
Universal method for the modeling of the 2nd generation FACTS devices in Newton–Raphson power flow Fulltext Access 7 Pages 2011
Critical investigation of preconditioned GMRES via incomplete LU factorization applied to power flow simulation Fulltext Access 7 Pages 2011
Current control of brushless dc motor based on a common dc signal for space operated vehicles Fulltext Access 7 Pages 2011
Resonant behavior of EHV transformer windings under system originated oscillatory transient over voltages Fulltext Access 7 Pages 2011
Efficient solution algorithms for computing fold points of power flow equations Fulltext Access 7 Pages 2011