A complete characterization of jump inequalities for the hop-constrained shortest path problem Fulltext Access 19 Pages 2017
Algebraic bounds for heterogeneous site percolation on directed and undirected graphs Fulltext Access 19 Pages 2017
Detecting broken pointcuts using structural commonality and degree of interest Fulltext Access 19 Pages 2017
Design optimization of secure message communication for energy-constrained distributed real-time systems Fulltext Access 19 Pages 2017
Fixed points in conjunctive networks and maximal independent sets in graph contractions Fulltext Access 19 Pages 2017
Improving matrix-based dynamic programming on massively parallel accelerators Fulltext Access 19 Pages 2017
Architecture level analysis for process variation in synchronous and asynchronous Networks-on-Chip Fulltext Access 19 Pages 2017
Formal concept analysis for topic detection: A clustering quality experimental analysis Fulltext Access 19 Pages 2017
Inference control of open relational queries under closed-world semantics based on theorem proving Fulltext Access 19 Pages 2017
Early identification of spammers through identity linking, social network and call features Fulltext Access 19 Pages 2017
Engineering graph-based models for dynamic timetable information systems Fulltext Access 19 Pages 2017
Optimum Benefit Protocol: A fast converging, bandwidth-efficient decentralized similarity overlay Fulltext Access 20 Pages 2017
Turing kernelization for finding long paths and cycles in restricted graph classes Fulltext Access 20 Pages 2017
Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems Fulltext Access 20 Pages 2017
Study and application of virtual flight simulation for rolling control of vehicles Fulltext Access 20 Pages 2017
Scheduling parallel and distributed processing for automotive data stream management system Fulltext Access 20 Pages 2017
Influence of charging behaviour given charging infrastructure specification: A case study of Singapore Fulltext Access 20 Pages 2017
Reduced order models for pricing European and American options under stochastic volatility and jump-diffusion models Fulltext Access 20 Pages 2017
A game-theoretic incentive scheme for social-aware routing in selfish mobile social networks Fulltext Access 20 Pages 2017
Design of a provably secure biometrics-based multi-cloud-server authentication scheme Fulltext Access 20 Pages 2017
Characterizing causal action theories and their implementations in answer set programming Fulltext Access 20 Pages 2017
Event log imperfection patterns for process mining: Towards a systematic approach to cleaning event logs Fulltext Access 20 Pages 2017
A new digital filter directional relay technique using active/reactive power portrait Fulltext Access 20 Pages 2017
A mixture model-based nonparametric approach to estimating a count distribution Fulltext Access 20 Pages 2017
Ontology development for run-time safety management methodology in Smart Work Environments using ambient knowledge Fulltext Access 20 Pages 2017
A Distributed Event-Based System based on Compressed Fragmented-Iterated Bloom Filters Fulltext Access 20 Pages 2017
Decidability and complexity for quiescent consistency and its variations Fulltext Access 21 Pages 2017
Resource provisioning and work flow scheduling in clouds using augmented Shuffled Frog Leaping Algorithm Fulltext Access 21 Pages 2017
Dynamic Aggregation Operators Based on Intuitionistic Fuzzy Tools and Einstein Operations Fulltext Access 21 Pages 2017
Dynamical Study in Fuzzy Threshold Dynamics of a Cholera Epidemic Model Fulltext Access 21 Pages 2017
Reliable and efficient hierarchical organization model for computational grid Fulltext Access 21 Pages 2017
From wait-free to arbitrary concurrent solo executions in colorless distributed computing Fulltext Access 21 Pages 2017
State complexity of permutation on finite languages over a binary alphabet Fulltext Access 21 Pages 2017
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata Fulltext Access 21 Pages 2017
Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling Fulltext Access 21 Pages 2017
Improving virtual screening predictive accuracy of Human kallikrein 5 inhibitors using machine learning models Fulltext Access 21 Pages 2017
Data mining approach to monitoring the requirements of the job market: A case study Fulltext Access 21 Pages 2017
Partitioning road networks using density peak graphs: Efficiency vs. accuracy Fulltext Access 21 Pages 2017
Marcher: A Heterogeneous System Supporting Energy-Aware High Performance Computing and Big Data Analytics Fulltext Access 21 Pages 2017
New semidefinite programming relaxations for the Linear Ordering and the Traveling Salesman Problem Fulltext Access 21 Pages 2017
A scalable parallel algorithm for atmospheric general circulation models on a multi-core cluster Fulltext Access 21 Pages 2017
Contributing to appliances' energy efficiency with Internet of Things, smart data and user engagement Fulltext Access 21 Pages 2017
Segment access-aware dynamic semantic cache in cloud computing environment Fulltext Access 21 Pages 2017
Human visual system based unsharp masking for enhancement of mammographic images Fulltext Access 21 Pages 2017
Student perceptions of cloud applications effectiveness in higher education Fulltext Access 22 Pages 2017
Coalgebraic completeness-via-canonicity for distributive substructural logics Fulltext Access 22 Pages 2017
Automatic text classification algorithm based on Gauss improved convolutional neural network Fulltext Access 22 Pages 2017
On the computational completeness of graph-controlled insertion-deletion systems with binary sizes Fulltext Access 22 Pages 2017