Towards a universal approach for the finite departure problem in overlay networks Fulltext Access 17 Pages 2017
On the complexity of various parameterizations of common induced subgraph isomorphism Fulltext Access 18 Pages 2017
An efficient hypercube labeling schema for dynamic Peer-to-Peer networks Fulltext Access 18 Pages 2017
An efficient and secure information retrieval framework for content centric networks Fulltext Access 18 Pages 2017
Energy-aware scheduling on heterogeneous multi-core systems with guaranteed probability Fulltext Access 18 Pages 2017
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols Fulltext Access 18 Pages 2017
On detecting over-eager concurrency in asynchronously communicating concurrent object systems Fulltext Access 18 Pages 2017
Bone vessel image fusion via generalized reisz wavelet transform using averaging fusion rule Fulltext Access 18 Pages 2017
In silico investigation of propofol binding sites in human serum albumin using explicit and implicit solvation models Fulltext Access 18 Pages 2017
Optimal coloring for data collection in tree-based wireless sensor networks Fulltext Access 18 Pages 2017
Ranking based comparative analysis of graph centrality measures to detect negative nodes in online social networks Fulltext Access 18 Pages 2017
On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability Fulltext Access 18 Pages 2017
Evaluating the Multi-period Systems Efficiency in the Presence of Fuzzy Data Fulltext Access 18 Pages 2017
Finding minimum and maximum termination time of timed automata models with cyclic behaviour Fulltext Access 18 Pages 2017
Weighted automata on infinite words in the context of Attacker-Defender games Fulltext Access 18 Pages 2017
Formal metatheory of the Lambda calculus using Stoughton's substitution Fulltext Access 18 Pages 2017
Adaptive packet scheduling over a wireless channel under constrained jamming Fulltext Access 18 Pages 2017
Efficient random sampling of binary and unary-binary trees via holonomic equations Fulltext Access 18 Pages 2017
Trace regression model with simultaneously low rank and row(column) sparse parameter Fulltext Access 18 Pages 2017
A hidden Markov model for latent temporal clustering with application to ideological alignment in the U.S. Supreme Court Fulltext Access 18 Pages 2017
A novel and fast single-phase three-wire power flow solution for a modern home premises wiring systems Fulltext Access 18 Pages 2017
A model-driven approach for developing a model repository: Methodology and tool support Fulltext Access 18 Pages 2017
An on-line algorithm for cluster detection of mobile nodes through complex event processing Fulltext Access 18 Pages 2017
Tracking concept drift using a constrained penalized regression combiner Fulltext Access 18 Pages 2017
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs Fulltext Access 18 Pages 2017
Compressed representation of dynamic binary relations with applications Fulltext Access 18 Pages 2017
A shape-based adaptive segmentation of time-series using particle swarm optimization Fulltext Access 18 Pages 2017
Influence of the normalization constraint on the integral simplex using decomposition Fulltext Access 18 Pages 2017
Automated aerial suspended cargo delivery through reinforcement learning Fulltext Access 18 Pages 2017
Improving matrix-based dynamic programming on massively parallel accelerators 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
Automatic construction of parallel portfolios via algorithm configuration Fulltext Access 19 Pages 2017
Formal concept analysis for topic detection: A clustering quality experimental analysis Fulltext Access 19 Pages 2017
Eigenanalysis-based small signal stability of the system of coupled sustainable microgrids Fulltext Access 19 Pages 2017
Inferring local transition functions of discrete dynamical systems from observations of system behavior Fulltext Access 19 Pages 2017
Cyber-physical cloud-oriented multi-sensory smart home framework for elderly people: An energy efficiency perspective Fulltext Access 19 Pages 2017
Efficient minimization of higher order submodular functions using monotonic Boolean functions Fulltext Access 19 Pages 2017
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
Fixed points in conjunctive networks and maximal independent sets in graph contractions Fulltext Access 19 Pages 2017
Combinatorial filter reduction: Special cases, approximation, and fixed-parameter tractability Fulltext Access 19 Pages 2017
Architecture level analysis for process variation in synchronous and asynchronous Networks-on-Chip Fulltext Access 19 Pages 2017
Design optimization of secure message communication for energy-constrained distributed real-time systems Fulltext Access 19 Pages 2017
Detecting broken pointcuts using structural commonality and degree of interest Fulltext Access 19 Pages 2017
Developments of the total entropy utility function for the dual purpose of model discrimination and parameter estimation in Bayesian design Fulltext Access 19 Pages 2017