Computational complexity of solving polynomial differential equations over unbounded domains Fulltext Access 16 Pages 2016
Unique parallel decomposition in branching and weak bisimulation semantics Fulltext Access 16 Pages 2016
Effects of diffusion-thermo and thermo-diffusion on two-phase boundary layer flow past a stretching sheet with fluid-particle suspension and chemical reaction: A numerical study Fulltext Access 16 Pages 2016
The cross-correlation measure of families of finite binary sequences: Limiting distributions and minimal values Fulltext Access 16 Pages 2016
An output-sensitive algorithm to compute the normal vector of a digital plane Fulltext Access 16 Pages 2016
Computational hardness of enumerating groundstates of the antiferromagnetic Ising model in triangulations Fulltext Access 16 Pages 2016
On the decidability and complexity of problems for restricted hierarchical hybrid systems Fulltext Access 17 Pages 2016
A necessary condition for the tightness of odd-dimensional combinatorial manifolds Fulltext Access 17 Pages 2016
More agents may decrease global work: A case in butterfly decontamination Fulltext Access 17 Pages 2016
Closure properties and descriptional complexity of deterministic regular expressions Fulltext Access 17 Pages 2016
Pattern-based computing via sequential phase transitions in hierarchical mean field neuropercolation Fulltext Access 17 Pages 2016
An Unsupervised Approach for Combining Scores of Outlier Detection Techniques, Based on Similarity Measures Fulltext Access 17 Pages 2016
Polynomial inference of universal automata from membership and equivalence queries Fulltext Access 17 Pages 2016
On the complexity of the representation of simplicial complexes by trees Fulltext Access 17 Pages 2016
Diagnosis of three types of constant faults in read-once contact networks over finite bases Fulltext Access 17 Pages 2016
On the state complexity of closures and interiors of regular languages with subwords and superwords Fulltext Access 17 Pages 2016
A canonical form based decision procedure and model checking approach for propositional projection temporal logic Fulltext Access 17 Pages 2016
Counting graceful labelings of trees: A theoretical and empirical study Fulltext Access 17 Pages 2016
Casson fluid flow with variable thermo-physical property along exponentially stretching sheet with suction and exponentially decaying internal heat generation using the homotopy analysis method Fulltext Access 17 Pages 2016
The deficiency of all generalized Hertz graphs and minimal consecutively non-colourable graphs in this class Fulltext Access 17 Pages 2016
Infinite families of directed strongly regular graphs using equitable partitions Fulltext Access 17 Pages 2016
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy Fulltext Access 18 Pages 2016
Provably secure and efficient leakage-resilient certificateless signcryption scheme without bilinear pairing Fulltext Access 18 Pages 2016
Existential second-order logic and modal logic with quantified accessibility relations Fulltext Access 18 Pages 2016
Some spectral and quasi-spectral characterizations of distance-regular graphs Fulltext Access 18 Pages 2016
Relationship between conditional diagnosability and 2-extra connectivity of symmetric graphs Fulltext Access 18 Pages 2016
Provably secure certificateless proxy signature scheme in the standard model Fulltext Access 18 Pages 2016
A complete axiom system for propositional projection temporal logic with cylinder computation model Fulltext Access 19 Pages 2016
Reconstruction of domino tilings-Combinatorial and probabilistic questions Fulltext Access 19 Pages 2016
Non-local estimators: A new class of multigrid convergent length estimators Fulltext Access 19 Pages 2016
Detecting Similar Areas of Knowledge Using Semantic and Data Mining Technologies Fulltext Access 19 Pages 2016