A decomposition theorem and two algorithms for reticulation-visible networks Fulltext Access 15 Pages 2017
Modeling and performance evaluation of stealthy false data injection attacks on smart grid in the presence of corrupted measurements Fulltext Access 15 Pages 2017
Reducing false positives of network anomaly detection by local adaptive multivariate smoothing Fulltext Access 15 Pages 2017
Variance-reduced multiscale simulation of slow-fast stochastic differential equations Fulltext Access 15 Pages 2017
Gathering of oblivious robots on infinite grids with minimum traveled distance Fulltext Access 15 Pages 2017
Goal-based composition of scalable hybrid analytics for heterogeneous architectures Fulltext Access 15 Pages 2017
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability Fulltext Access 15 Pages 2017
The complexity of data aggregation in static and dynamic wireless sensor networks Fulltext Access 15 Pages 2017
Profile-based application assignment for greener and more energy-efficient data centers Fulltext Access 15 Pages 2017
A method for evaluating the consequence propagation of security attacks in cyber-physical systems Fulltext Access 15 Pages 2017
Mining of high average-utility itemsets using novel list structure and pruning strategy Fulltext Access 15 Pages 2017
Evolutionary virus immune strategy for temporal networks based on community vitality Fulltext Access 15 Pages 2017
Optimized task allocation on private cloud for hybrid simulation of large-scale critical systems Fulltext Access 15 Pages 2017
Power quality enhancement using fuzzy sliding mode based pulse width modulation control strategy for unified power quality conditioner Fulltext Access 15 Pages 2017
Research ArticleCell-to-cell modeling of the interface between atrial and sinoatrial anisotropic heterogeneous nets Fulltext Access 15 Pages 2017
Concentration independent random number generation in tile self-assembly Fulltext Access 15 Pages 2017
Platform and algorithm effects on computational fluid dynamics applications in life sciences Fulltext Access 15 Pages 2017
Automaton semigroups: New constructions results and examples of non-automaton semigroups Fulltext Access 15 Pages 2017
Computing real witness points of positive dimensional polynomial systems Fulltext Access 15 Pages 2017
Implementing record and refinement for debugging timing-dependent communication Fulltext Access 15 Pages 2017
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes Fulltext Access 15 Pages 2017
Enhancing scalability in best-effort hardware transactional memory systems Fulltext Access 15 Pages 2017
Generalized partially linear regression with misclassified data and an application to labour market transitions Fulltext Access 15 Pages 2017
Estimation and hypothesis test on partial linear models with additive distortion measurement errors Fulltext Access 15 Pages 2017
Non-inferiority test based on transformations for non-normal distributions Fulltext Access 15 Pages 2017
Bayesian robust principal component analysis with structured sparse component Fulltext Access 15 Pages 2017
Parametric methods for confidence interval estimation of overlap coefficients Fulltext Access 15 Pages 2017
Influence of phasor adjustment of harmonic sources on the allowable penetration level of distributed generation Fulltext Access 15 Pages 2017
A stochastic methodology to adjust controllers based on moments Lyapunov exponents: Application to power systems Fulltext Access 15 Pages 2017
Constraint programming for type inference in flexible model-driven engineering Fulltext Access 15 Pages 2017
Fast maximum weight clique extraction algorithm: Optimal tables for branch-and-bound Fulltext Access 15 Pages 2017
Self-managing cloud-native applications: Design, implementation, and experience Fulltext Access 15 Pages 2017
Attribute-based data access control in mobile cloud computing: Taxonomy and open issues Fulltext Access 15 Pages 2017
Controlled violation of temporal process constraints - Models, algorithms and results Fulltext Access 15 Pages 2017
A linear-time algorithm for finding a paired 2-disjoint path cover in the cube of a connected graph Fulltext Access 15 Pages 2017
Exploring the complexity of the integer image problem in the max-algebra Fulltext Access 15 Pages 2017
Complexity of rainbow vertex connectivity problems for restricted graph classes Fulltext Access 15 Pages 2017
Traveling time prediction in scheduled transportation with journey segments Fulltext Access 15 Pages 2017
Fault-tolerant spanners in networks with symmetric directional antennas Fulltext Access 16 Pages 2017
Network connectivity assessment and improvement through relay node deployment Fulltext Access 16 Pages 2017
Equivalence of two fixed-point semantics for definitional higher-order logic programs Fulltext Access 16 Pages 2017
Application of imperialist competitive algorithm to find minimax and standardized maximin optimal designs Fulltext Access 16 Pages 2017
A linear-time algorithm to compute the triangular hull of a digital object Fulltext Access 16 Pages 2017
Gaussian process emulation of an individual-based model simulation of microbial communities Fulltext Access 16 Pages 2017
Understanding differential evolution: A Poisson law derived from population interaction network Fulltext Access 16 Pages 2017
Maximizing the overall end-user satisfaction of data broadcast in wireless mesh networks Fulltext Access 16 Pages 2017
Bayesian variable selection for a semi-competing risks model with three hazard functions Fulltext Access 16 Pages 2017
The generalized moment estimation of the additive-multiplicative hazard model with auxiliary survival information Fulltext Access 16 Pages 2017
A moving average Cholesky factor model in covariance modeling for composite quantile regression with longitudinal data Fulltext Access 16 Pages 2017