The complexity of manipulative attacks in nearly single-peaked electorates Fulltext Access 31 Pages 2014
Particle swarm with radial basis function surrogates for expensive black-box optimization Fulltext Access 32 Pages 2014
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications Fulltext Access 32 Pages 2014
Towards the flexible reuse of model transformations: A formal approach based on graph transformation Fulltext Access 32 Pages 2014
Bounding messages for free in security protocols – extension to various security properties Fulltext Access 34 Pages 2014
Safe typing of functional logic programs with opaque patterns and local bindings Fulltext Access 34 Pages 2014
A sound and complete theory of graph transformations for service programming with sessions and pipelines Fulltext Access 34 Pages 2014
An event-based distributed diagnosis framework using structural model decomposition Fulltext Access 35 Pages 2014
Variational inferences for partially linear additive models with variable selection Fulltext Access 35 Pages 2014
An analytic approach to the asymptotic variance of trie statistics and related structures Fulltext Access 36 Pages 2014
Reprint of: Delaunay refinement algorithms for triangular mesh generation Fulltext Access 38 Pages 2014
Least upper bounds for probability measures and their applications to abstractions Fulltext Access 39 Pages 2014
A massively parallel tensor contraction framework for coupled-cluster computations Fulltext Access 41 Pages 2014
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip Fulltext Access 41 Pages 2014
On influence, stable behavior, and the most influential individuals in networks: A game-theoretic approach Fulltext Access 41 Pages 2014
Static safety guarantees for a low-level multithreaded language with regions Fulltext Access 41 Pages 2014
Consistency checking and querying in probabilistic databases under integrity constraints Fulltext Access 42 Pages 2014
Multivariate methods using mixtures: Correspondence analysis, scaling and pattern-detection Fulltext Access 43 Pages 2014
Answering regular path queries in expressive Description Logics via alternating tree-automata Fulltext Access 44 Pages 2014
Linear logical relations and observational equivalences for session-based concurrency Fulltext Access 49 Pages 2014
Consequence-based and fixed-parameter tractable reasoning in description logics Fulltext Access 49 Pages 2014
Bridging the gap: From cellular automata to differential equation models for pedestrian dynamics Fulltext Access 53 Pages 2014
A survey and comparison of transformation tools based on the transformation tool contest Fulltext Access 59 Pages 2014
A load control method for small data centers participating in demand response programs Fulltext Access 59 Pages 2014
Rebuilding of three-phase load voltage during single-phase auto reclosing in medium voltage distribution lines Fulltext Access 4 Pages 2013
Instantaneous active and reactive powers in electrical network theory: A review of some properties Fulltext Access 5 Pages 2013
A novel methodology for transformer low-frequency model parameters identification Fulltext Access 6 Pages 2013
A numerical investigation of the accuracy of parametric bootstrap for discrete data Fulltext Access 6 Pages 2013
Prediction of protein modification sites of gamma-carboxylation using position specific scoring matrices based evolutionary information Fulltext Access 6 Pages 2013
A harmony-genetic based heuristic approach toward economic dispatching combined heat and power Fulltext Access 6 Pages 2013
An efficient nonlinear finite-difference approach in the computational modeling of the dynamics of a nonlinear diffusion-reaction equation in microbial ecology Fulltext Access 7 Pages 2013
Variable structure fuzzy gain scheduling based load frequency controller for multi source multi area hydro thermal system Fulltext Access 7 Pages 2013
A computational framework for spatially explicit agroecosystem modeling: Application to regional simulation Fulltext Access 7 Pages 2013
Optimal placement of charging infrastructures for large-scale integration of pure electric vehicles into grid Fulltext Access 7 Pages 2013
An adaptive fuzzy controller based on harmony search and its application to power plant control Fulltext Access 7 Pages 2013
A novel approach to the regulation of a self-sufficient energy system using a system-state matrix Fulltext Access 7 Pages 2013
Automatic software deployment using user-level virtualization for cloud-computing Fulltext Access 7 Pages 2013
Facilitating analysis of Monte Carlo dense matrix inversion algorithm scaling behaviour through simulation Fulltext Access 7 Pages 2013
Non-uniform data distribution for communication-efficient parallel clustering Fulltext Access 7 Pages 2013
A local sensitivity analysis method for developing biological models with identifiable parameters: Application to cardiac ionic channel modelling Fulltext Access 8 Pages 2013
Estimating structure quality trends in the Protein Data Bank by equivalent resolution Fulltext Access 8 Pages 2013
Computational structure analysis of biomacromolecule complexes by interface geometry Fulltext Access 8 Pages 2013
Estimating equivalent circuit parameters of proton exchange membrane fuel cell using the current change method Fulltext Access 8 Pages 2013
Novel protection scheme of stator single-phase-to-ground fault for powerformers Fulltext Access 8 Pages 2013
Fault location scheme for a multi-terminal transmission line based on current traveling waves Fulltext Access 8 Pages 2013
Evaluation of a payments proposal for blackstart services in the Colombian electricity system: A system dynamics approach Fulltext Access 8 Pages 2013
Strategic charging method for plugged in hybrid electric vehicles in smart grids; a game theoretic approach Fulltext Access 8 Pages 2013
A comparative study of harmonic currents extraction by simulation and implementation Fulltext Access 8 Pages 2013
Modeling of doubly fed induction generators for distribution system power flow analysis Fulltext Access 8 Pages 2013
Maximum loadability of an isolated system considering steady-state and dynamic constraints Fulltext Access 8 Pages 2013
Time domain transient state estimation using singular value decomposition Poincare map and extrapolation to the limit cycle Fulltext Access 8 Pages 2013
A new method for pattern recognition in load profiles to support decision-making in the management of the electric sector Fulltext Access 8 Pages 2013
Determination of moisture diffusion coefficient for oil-impregnated Kraft-paper insulation Fulltext Access 8 Pages 2013
Conditional tests for homogeneity of zero-inflated Poisson and Poisson-hurdle distributions Fulltext Access 8 Pages 2013