BlackOut: Enabling fine-grained power gating of buffers in Network-on-Chip routers Fulltext Access 16 Pages 2017
Practical algorithms to rank necklaces, Lyndon words, and de Bruijn sequences Fulltext Access 16 Pages 2017
Parallel lightweight wavelet tree, suffix array and FM-index construction Fulltext Access 16 Pages 2017
Computing source-to-target shortest paths for complex networks in RDBMS Fulltext Access 16 Pages 2017
Parameterized algorithms for min-max multiway cut and list digraph homomorphism Fulltext Access 16 Pages 2017
Research ArticleComprehensive comparison of two protein family of P-ATPases (13A1 and 13A3) in insects Fulltext Access 16 Pages 2017
Hierarchical models: Local proposal variances for RWM-within-Gibbs and MALA-within-Gibbs Fulltext Access 16 Pages 2017
Signaling pathway impact analysis by incorporating the importance and specificity of genes (SPIA-IS) Fulltext Access 16 Pages 2017
Low voltage ride-through enhancement of DFIG-based wind turbine using DC link switchable resistive type fault current limiter Fulltext Access 16 Pages 2017
Effects of VSC based HVDC system on distance protection of transmission lines Fulltext Access 16 Pages 2017
Multi-objective optimization operation with corrective control actions for meshed AC/DC grids including multi-terminal VSC-HVDC Fulltext Access 16 Pages 2017
Bayesian local influence analysis of general estimating equations with nonignorable missing data Fulltext Access 17 Pages 2017
A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs Fulltext Access 17 Pages 2017
Business model analysis of public services operating in the smart city ecosystem: The case of SmartSantander Fulltext Access 17 Pages 2017
MIFIM-Middleware solution for service centric anomaly in future internet models Fulltext Access 17 Pages 2017
G-SPAMINE: An approach to discover temporal association patterns and trends in internet of things Fulltext Access 17 Pages 2017
ANMR: Aging-aware adaptive N-modular redundancy for homogeneous multicore embedded processors Fulltext Access 17 Pages 2017
Reachability, confluence, and termination analysis with state-compatible automata Fulltext Access 17 Pages 2017
Precisely deciding CSL formulas through approximate model checking for CTMCs Fulltext Access 17 Pages 2017
ReLog: A systematic approach for supporting efficient reprogramming in wireless sensor networks Fulltext Access 17 Pages 2017
Towards completely fair scheduling on asymmetric single-ISA multicore processors Fulltext Access 17 Pages 2017
In silico approach to identify non-synonymous SNPs in human obesity related gene, MC3R (melanocortin-3-receptor) Fulltext Access 17 Pages 2017
Live phylogeny with polytomies: Finding the most compact parsimonious trees Fulltext Access 17 Pages 2017
Forbidden induced subgraphs of normal Helly circular-arc graphs: Characterization and detection Fulltext Access 17 Pages 2017
Electrical machines based DC/AC energy conversion schemes for the improvement of power quality and resiliency in renewable energy microgrids Fulltext Access 17 Pages 2017
A Parallel MapReduce Algorithm to Efficiently Support Itemset Mining on High Dimensional Data Fulltext Access 17 Pages 2017
A power control strategy to improve power system stability in the presence of wind farms using FACTS devices and predictive control Fulltext Access 17 Pages 2017
Bayesian two-component measurement error modelling for survival analysis using INLA-A case study on cardiovascular disease mortality in Switzerland Fulltext Access 17 Pages 2017
Multi-tenant virtual GPUs for optimising performance of a financial risk application Fulltext Access 17 Pages 2017
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement Fulltext Access 17 Pages 2017
Decision algorithms for Fibonacci-automatic words, II: Related sequences and avoidability Fulltext Access 17 Pages 2017
Contextual array grammars with matrix control, regular control languages, and tissue P systems control Fulltext Access 17 Pages 2017
Answering top-K query combined keywords and structural queries on RDF graphs Fulltext Access 17 Pages 2017
Analyzing the performance of two COSMIC approximation sizing techniques at the functional process level Fulltext Access 17 Pages 2017
Exploring performance and energy tradeoffs for irregular applications: A case study on the Tilera many-core architecture Fulltext Access 18 Pages 2017
On the parameterized complexity of associative and commutative unification Fulltext Access 18 Pages 2017
Better bounds for online k-frame throughput maximization in network switches Fulltext Access 18 Pages 2017
Selective ATP competitive leads of CDK4: Discovery by 3D-QSAR pharmacophore mapping and molecular docking approach Fulltext Access 18 Pages 2017
Maximum matchings and minimum dominating sets in Apollonian networks and extended Tower of Hanoi graphs Fulltext Access 18 Pages 2017
Discovering DNA methylation patterns for long non-coding RNAs associated with cancer subtypes Fulltext Access 18 Pages 2017
A scalable dynamic programming scheme for the computation of optimal k-segments for ordered data Fulltext Access 18 Pages 2017
Multivariate location and scatter matrix estimation under cellwise and casewise contamination Fulltext Access 18 Pages 2017
Should we impute or should we weight? Examining the performance of two CART-based techniques for addressing missing data in small sample research with nonnormal variables Fulltext Access 18 Pages 2017
Sparse vector Markov switching autoregressive models. Application to multivariate time series of temperature Fulltext Access 18 Pages 2017
Customizing host IDE for non-programming users of pure embedded DSLs: A case study Fulltext Access 18 Pages 2017
A PTAS for the metric case of the minimum sum-requirement communication spanning tree problem Fulltext Access 18 Pages 2017
The design and integration of a software configurable and parallelized coprocessor architecture for LQR control Fulltext Access 18 Pages 2017
Q-Factorization of suffixes of two-way infinite extensions of irrational characteristic words Fulltext Access 18 Pages 2017
The control complexity of r-Approval: From the single-peaked case to the general case Fulltext Access 18 Pages 2017
A Formalisation of Nominal α-equivalence with A and AC Function Symbols Fulltext Access 18 Pages 2017
The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results Fulltext Access 18 Pages 2017
Deviation-based neighborhood model for context-aware QoS prediction of cloud and IoT services Fulltext Access 18 Pages 2017
Assessment of in vivo organ-uptake and in silico prediction of CYP mediated metabolism of DA-Phen, a new dopaminergic agent Fulltext Access 19 Pages 2017
Live Robot Programming: The language, its implementation, and robot API independence Fulltext Access 19 Pages 2017
Parallelism analysis: Precise WCET values for complex multi-core systems Fulltext Access 19 Pages 2017
Changes in vertex status and the fundamental decomposition of a tree relative to a multiple (parter) eigenvalue Fulltext Access 19 Pages 2017
Towards extending the Ahlswede-Khachatrian theorem to cross t-intersecting families Fulltext Access 19 Pages 2017
0-1 multilinear programming as a unifying theory for LAD pattern generation Fulltext Access 19 Pages 2017