Maximum likelihood estimation and expectation–maximization algorithm for controlled branching processes Fulltext Access 19 Pages 2016
A distributed selectivity-driven search strategy for semi-structured data over DHT-based networks Fulltext Access 20 Pages 2016
Approximation algorithms for the Weighted t-Uniform Sparsest Cut and some other graph partitioning problems Fulltext Access 20 Pages 2016
Supereulerian graphs with small circumference and 3-connected hamiltonian claw-free graphs Fulltext Access 20 Pages 2016
On algorithms for enumerating BC-subtrees of unicyclic and edge-disjoint bicyclic graphs Fulltext Access 20 Pages 2016
Formal specification and verification of TCP extended with the Window Scale Option Fulltext Access 21 Pages 2016
Towards a Generic BPMS User Portal Definition for the Execution of Business Processes Fulltext Access 21 Pages 2016
A family of test selection criteria for Timed Input-Output Symbolic Transition System models Fulltext Access 21 Pages 2016
Optimization techniques for sparse matrix–vector multiplication on GPUs Fulltext Access 21 Pages 2016
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks Fulltext Access 21 Pages 2016
The assignment problem with nearly Monge arrays and incompatible partner indices Fulltext Access 21 Pages 2016
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C Fulltext Access 21 Pages 2016
Iteratively reweighted adaptive lasso for conditional heteroscedastic time series with applications to AR-ARCH type processes Fulltext Access 21 Pages 2016
MapReduce-based fast fuzzy c-means algorithm for large-scale underwater image segmentation Fulltext Access 22 Pages 2016
Estimation of linear target-layer trajectories using cluttered point cloud data Fulltext Access 22 Pages 2016
Detecting complex changes and refactorings during (Meta)model evolution Fulltext Access 22 Pages 2016
#BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region Fulltext Access 22 Pages 2016
Solubilities of CO2, CH4, C2H6, and SO2 in ionic liquids and Selexol from Monte Carlo simulations Fulltext Access 22 Pages 2016
Semiparametric GMM estimation and variable selection in dynamic panel data models with fixed effects Fulltext Access 23 Pages 2016
Tracing known security vulnerabilities in software repositories – A Semantic Web enabled modeling approach Fulltext Access 23 Pages 2016
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks Fulltext Access 23 Pages 2016
An exact algorithm for the bottleneck 2-connected kk-Steiner network problem in LpLp planes Fulltext Access 23 Pages 2016
Ping-pong protocols as prefix grammars: Modelling and verification via program transformation Fulltext Access 23 Pages 2016
Marine derived compounds as binders of the White spot syndrome virus VP28 envelope protein: In silico insights from molecular dynamics and binding free energy calculations Fulltext Access 24 Pages 2016
Efficient approximation of optimal control for continuous-time Markov games Fulltext Access 24 Pages 2016
H-index manipulation by merging articles: Models, theory, and experiments Fulltext Access 24 Pages 2016
On the existence and decidability of unique decompositions of processes in the applied π-calculus Fulltext Access 24 Pages 2016
A randomized divide and conquer algorithm for higher-order abstract Voronoi diagrams Fulltext Access 24 Pages 2016
Simulating the flow and trail following capabilities of harbour seal vibrissae with the Lattice Boltzmann Method Fulltext Access 24 Pages 2016
Towards the modelling of secure pervasive computing systems: A paradigm of Context-Aware Secure Action System Fulltext Access 24 Pages 2016
Intuitionistic L-fuzzy Rough Sets, Intuitionistic L-fuzzy Preorders and Intuitionistic L-fuzzy Topologies Fulltext Access 25 Pages 2016
TextFlows: A visual programming platform for text mining and natural language processing Fulltext Access 25 Pages 2016
Approximate search of short patterns with high error rates using the 01â0 lossless seeds Fulltext Access 25 Pages 2016
Delivering cloud services with QoS requirements: Business opportunities, architectural solutions and energy-saving aspects Fulltext Access 25 Pages 2016
Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on run-length encoded strings Fulltext Access 25 Pages 2016
The mathematical structure of the lattices of the lattice Boltzmann method Fulltext Access 25 Pages 2016
Principal minimax support vector machine for sufficient dimension reduction with contaminated data Fulltext Access 25 Pages 2016
A novel fault protection system using communication-assisted digital relays for AC microgrids having a multiple grounding system Fulltext Access 26 Pages 2016
Quasi-Oppositional Swine Influenza Model Based Optimization with Quarantine for optimal allocation of DG in radial distribution network Fulltext Access 26 Pages 2016
Bayes shrinkage estimation for high-dimensional VAR models with scale mixture of normal distributions for noise Fulltext Access 27 Pages 2016
Algebraic multigrid employing mixed structured-unstructured data on manycore hardware Fulltext Access 27 Pages 2016
On the complexity of the regenerator location problem treewidth and other parameters Fulltext Access 27 Pages 2016
On structural properties of trees with minimal atom-bond connectivity index II: Bounds on B1- and B2-branches Fulltext Access 27 Pages 2016
Bayesian inference of Weibull distribution based on left truncated and right censored data Fulltext Access 27 Pages 2016
Effect capabilities for Haskell: Taming effect interference in monadic programming Fulltext Access 28 Pages 2016
Statistical and exact schedulability analysis of hierarchical scheduling systems Fulltext Access 28 Pages 2016
The quantum chemical search for novel materials and the issue of data processing: The InfoMol project Fulltext Access 28 Pages 2016
GPU-enabled N-body simulations of the Solar System using a VOVS Adams integrator Fulltext Access 28 Pages 2016
Identification and characterization of promoters and cis-regulatory elements of genes involved in secondary metabolites production in hop (Humulus lupulus. L) Fulltext Access 28 Pages 2016
In-silico structural analysis of E509K mutation in LARGE and T192M mutation in Alpha Dystroglycan in the inhibition of glycosylation of Alpha Dystroglycan by LARGE Fulltext Access 28 Pages 2016
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies Fulltext Access 29 Pages 2016
Approximating and reducing bias in 2SLS estimation of dynamic simultaneous equation models Fulltext Access 29 Pages 2016
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis Fulltext Access 29 Pages 2016
Debugging Maude programs via runtime assertion checking and trace slicing Fulltext Access 30 Pages 2016
Application of α-stable mutation in a hierarchic evolutionary inverse solver Fulltext Access 30 Pages 2016