A proof theoretic view of spatial and temporal dependencies in biochemical systems Fulltext Access 18 Pages 2016
Multitasking via alternate and shared processing: Algorithms and complexity Fulltext Access 18 Pages 2016
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations Fulltext Access 18 Pages 2016
Dealing with the new user cold-start problem in recommender systems: A comparative review Fulltext Access 18 Pages 2016
Weak Coupled Coincidence Point Results Having a Partially Ordering in Fuzzy Metric Spaces Fulltext Access 18 Pages 2016
Linear mixed models with marginally symmetric nonparametric random effects Fulltext Access 19 Pages 2016
Conditional Monte Carlo With Intermediate Estimations for Simulation of Markovian Systems Fulltext Access 19 Pages 2016
Malware propagation modeling considering software diversity and immunization Fulltext Access 19 Pages 2016
Efficient multiple bichromatic mutual nearest neighbor query processing Fulltext Access 19 Pages 2016
A fully persistent and consistent read/write cache using flash-based general SSDs for desktop workloads Fulltext Access 19 Pages 2016
Scheduling independent tasks on heterogeneous processors using heuristics and Column Pricing Fulltext Access 19 Pages 2016
Combining user and database perspective for solving keyword queries over relational databases Fulltext Access 19 Pages 2016
A tool for producing structured interoperable data from product features on the web Fulltext Access 19 Pages 2016
Robust multilingual Named Entity Recognition with shallow semi-supervised features Fulltext Access 20 Pages 2016
A user friendly mutual authentication and key agreement scheme for wireless sensor networks using chaotic maps Fulltext Access 20 Pages 2016
A type assignment for λ-calculus complete both for FPTIME and strong normalization Fulltext Access 20 Pages 2016
Sliding window based weighted erasable stream pattern mining for stream data applications Fulltext Access 20 Pages 2016
The role of polymorphism in the characterisation of complexity by soft types Fulltext Access 20 Pages 2016
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result Fulltext Access 20 Pages 2016
A new design of dual mode Type-II fuzzy logic load frequency controller for interconnected power systems with parallel AC–DC tie-lines and capacitor energy storage unit Fulltext Access 20 Pages 2016
BPMN Miner: Automated discovery of BPMN process models with hierarchical structure Fulltext Access 20 Pages 2016
Multidimensional and longitudinal item response models for non-ignorable data Fulltext Access 20 Pages 2016
Adaptive spectral estimation for nonstationary multivariate time series Fulltext Access 20 Pages 2016
Ridge estimation of inverse covariance matrices from high-dimensional data Fulltext Access 20 Pages 2016
Complex log file synthesis for rapid sandbox-benchmarking of security- and computer network analysis tools Fulltext Access 21 Pages 2016
Heteroscedasticity testing for regression models: A dimension reduction-based model adaptive approach Fulltext Access 21 Pages 2016
Property specification, process verification, and reporting – A case study with vehicle-commissioning processes Fulltext Access 21 Pages 2016
A survey-based approach for designing the lines of a rapid transit network Fulltext Access 21 Pages 2016
Diagnosing behavioral differences between business process models: An approach based on event structures Fulltext Access 22 Pages 2016
Topic-based term translation models for statistical machine translation Fulltext Access 22 Pages 2016
Distance-based Information Granularity and Hierarchical Structure for an Intuitionistic Fuzzy Granular Space Fulltext Access 22 Pages 2016
New insights on neutral binary representations for evolutionary optimization Fulltext Access 22 Pages 2016
Alphavirus protease inhibitors from natural sources: A homology modeling and molecular docking investigation Fulltext Access 22 Pages 2016
A variational Expectation–Maximization algorithm for temporal data clustering Fulltext Access 23 Pages 2016
Confidence intervals for an ordinal effect size measure based on partially validated series Fulltext Access 23 Pages 2016
A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs Fulltext Access 23 Pages 2016
SATenstein: Automatically building local search SAT solvers from components Fulltext Access 23 Pages 2016
Leveraging spatial abstraction in traffic analysis and forecasting with visual analytics Fulltext Access 23 Pages 2016
A rapid-prototyping framework for extracting small-scale incident-related information in microblogs: Application of multi-label classification on tweets Fulltext Access 23 Pages 2016
A dynamic, cost-aware, optimized data replication strategy for heterogeneous cloud data centers Fulltext Access 23 Pages 2016
Linked Open Models: Extending Linked Open Data with conceptual model information Fulltext Access 24 Pages 2016
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java Fulltext Access 24 Pages 2016
Connectivity with directional antennas in the symmetric communication model Fulltext Access 25 Pages 2016