Disjoint path covers with path length constraints in restricted hypercube-like graphs Fulltext Access 24 Pages 2017
Executing and verifying higher-order functional-imperative programs in Maude Fulltext Access 24 Pages 2017
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool Fulltext Access 25 Pages 2017
Teaching concurrent and parallel programming by patterns: An interactive ICT approach Fulltext Access 25 Pages 2017
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets Fulltext Access 25 Pages 2017
Discovery of potential Zika virus RNA polymerase inhibitors by docking-based virtual screening Fulltext Access 25 Pages 2017
Strategy-proof school choice mechanisms with minimum quotas and initial endowments Fulltext Access 25 Pages 2017
GQSAR modeling and combinatorial library generation of 4-phenylquinazoline-2-carboxamide derivatives as antiproliferative agents in human Glioblastoma tumors Fulltext Access 26 Pages 2017
SAUCE: A web application for interactive teaching and learning of parallel programming Fulltext Access 26 Pages 2017
Energy-efficient multigrid smoothers and grid transfer operators on multi-core and GPU clusters Fulltext Access 26 Pages 2017
iDoctor: Personalized and professionalized medical recommendations based on hybrid matrix factorization Fulltext Access 26 Pages 2017
Computational analysis for the determination of deleterious nsSNPs in human MTHFD1 gene Fulltext Access 26 Pages 2017
A hybrid computing method of SpMV on CPU-GPU heterogeneous computing systems Fulltext Access 26 Pages 2017
ECG encryption and identification based security solution on the Zynq SoC for connected health systems Fulltext Access 26 Pages 2017
Functional BIP: Embedding connectors in functional programming languages Fulltext Access 26 Pages 2017
QoS provisioning of a task-scheduling algorithm for lightweight devices Fulltext Access 27 Pages 2017
Finding exact hitting set solutions for systems biology applications using heterogeneous GPU clusters Fulltext Access 27 Pages 2017
Parallel pattern classification utilizing GPU-based kernelized Slackmin algorithm Fulltext Access 27 Pages 2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems Fulltext Access 27 Pages 2017
Pharmacophore modeling, virtual screening and molecular docking of ATPase inhibitors of HSP70 Fulltext Access 27 Pages 2017
Molecular characterization of pigeon torque teno virus (PTTV) in Jiangsu province Fulltext Access 27 Pages 2017
Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms Fulltext Access 27 Pages 2017
Inclusion dependencies and their interaction with functional dependencies in SQL Fulltext Access 28 Pages 2017
Artificial Acari Optimization as a new strategy for global optimization of multimodal functions Fulltext Access 28 Pages 2017
Segmentation of optic disc, fovea and retinal vasculature using a single convolutional neural network Fulltext Access 28 Pages 2017
A quantitative roofline model for GPU kernel performance estimation using micro-benchmarks and hardware metric profiling Fulltext Access 29 Pages 2017
Geographic spatiotemporal big data correlation analysis via the Hilbert-Huang transformation Fulltext Access 29 Pages 2017
Toward a generalized computational workflow for exploiting transient pockets as new targets for small molecule stabilizers: Application to the homogentisate 1,2-dioxygenase mutants at the base of rare disease Alkaptonuria Fulltext Access 29 Pages 2017
Competing energy lookup algorithms in Monte Carlo neutron transport calculations and their optimization on CPU and Intel MIC architectures Fulltext Access 29 Pages 2017
A K-partitioning algorithm for clustering large-scale spatio-textual data Fulltext Access 29 Pages 2017
Model theory of XPath on data trees. Part II: Binary bisimulation and definability Fulltext Access 29 Pages 2017
Naming and name resolution in the future internet: Introducing the NovaGenesis approach Fulltext Access 29 Pages 2017
HarVis: An integrated social media content analysis framework for YouTube platform Fulltext Access 29 Pages 2017
Domination number and minimum dominating sets in pseudofractal scale-free web and SierpiÅski graph Fulltext Access 30 Pages 2017
Constant factor approximation algorithm for TSP satisfying a biased triangle inequality Fulltext Access 30 Pages 2017
Protein β-sheet prediction using an efficient dynamic programming algorithm Fulltext Access 30 Pages 2017
Secure and flexible cloud-assisted association rule mining over horizontally partitioned databases Fulltext Access 30 Pages 2017
SafeGPU: Contract- and library-based GPGPU for object-oriented languages Fulltext Access 31 Pages 2017
Agent-oriented model-driven development for JADE with the JADEL programming language Fulltext Access 31 Pages 2017
Determinacy and rewriting of functional top-down and MSO tree transformations Fulltext Access 31 Pages 2017
Semantics-based generation of verification conditions via program specialization Fulltext Access 31 Pages 2017
DataABC: A fast ABC based energy-efficient live VM consolidation policy with data-intensive energy evaluation model Fulltext Access 31 Pages 2017
A unified rule format for bounded nondeterminism in SOS with terms as labels Fulltext Access 31 Pages 2017
Secure and efficient protection of consumer privacy in Advanced Metering Infrastructure supporting fine-grained data analysis Fulltext Access 31 Pages 2017
A research-oriented course on Advanced Multicore Architecture: Contents and active learning methodologies Fulltext Access 31 Pages 2017
Efficient network isolation and load balancing in multi-tenant HPC clusters Fulltext Access 32 Pages 2017
MIFaaS: A Mobile-IoT-Federation-as-a-Service Model for dynamic cooperation of IoT Cloud Providers Fulltext Access 32 Pages 2017
MR-SimLab: Scalable subgraph selection with label similarity for big data Fulltext Access 32 Pages 2017
Security levels in steganography - Insecurity does not imply detectability Fulltext Access 32 Pages 2017
Traffic matrix estimation with software-defined NFV: Challenges and opportunities Fulltext Access 32 Pages 2017
Applying clustering and AHP methods for evaluating suspect healthcare claims Fulltext Access 32 Pages 2017
Scaling machine learning for target prediction in drug discovery using Apache Spark Fulltext Access 32 Pages 2017
Numerical solution of nonlinear fractional SEIR epidemic model by using Haar wavelets Fulltext Access 32 Pages 2017
3D-QSAR studies on indole and 7-azoindole derivatives as ROCK-2 inhibitors: An integrative computational approach Fulltext Access 32 Pages 2017
Sphingosine kinase 1 (SK1) allosteric inhibitors that target the dimerization site Fulltext Access 33 Pages 2017
Inhibition of TRAF6-Ubc13 interaction in NFkB inflammatory pathway by analyzing the hotspot amino acid residues and protein-protein interactions using molecular docking simulations Fulltext Access 33 Pages 2017
Comparison of the molecular interactions of 7â²-carboxyalkyl apigenin derivatives with S. cerevisiae α-glucosidase Fulltext Access 33 Pages 2017
S-ABC: A paradigm of service domain-oriented artificial bee colony algorithms for service selection and composition Fulltext Access 33 Pages 2017
A linear-time algorithm for finding Hamiltonian (s,t)-paths in even-sized rectangular grid graphs with a rectangular hole Fulltext Access 33 Pages 2017
Synthesizing test scenarios in UML activity diagram using a bio-inspired approach Fulltext Access 33 Pages 2017