From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction Fulltext Access 19 Pages 2017
An approach to build XML-based domain specific languages solutions for client-side web applications Fulltext Access 19 Pages 2017
Synthesis of deterministic top-down tree transducers from automatic tree relations Fulltext Access 19 Pages 2017
FFT-based fast bandwidth selector for multivariate kernel density estimation Fulltext Access 19 Pages 2017
Model-checking for Resource-Bounded ATL with production and consumption of resources Fulltext Access 19 Pages 2017
On the realisability of double-cross matrices by polylines in the plane Fulltext Access 19 Pages 2017
Circuit satisfiability and constraint satisfaction around Skolem Arithmetic Fulltext Access 19 Pages 2017
CLAP, ACIR and SCOOP: Novel techniques for improving the performance of dynamic Metric Access Methods Fulltext Access 19 Pages 2017
A physicochemical descriptor based method for effective and rapid screening of dual inhibitors against BACE-1 and GSK-3β as targets for Alzheimer's disease Fulltext Access 20 Pages 2017
Adaptive data rate control in low power wide area networks for long range IoT services Fulltext Access 20 Pages 2017
MP-MID: Multi-Protocol Oriented Middleware-level Intrusion Detection method for wireless sensor networks Fulltext Access 20 Pages 2017
Acceptance Test for Fault Detection in Component-based Cloud Computing and Systems Fulltext Access 20 Pages 2017
Study on FRT compliance of VSC-HVDC connected offshore wind plants during AC faults including requirements for the negative sequence current control Fulltext Access 20 Pages 2017
A parallel approximate SS-ELM algorithm based on MapReduce for large-scale datasets Fulltext Access 20 Pages 2017
Biconnectivity, st-numbering and other applications of DFS using O(n) bits Fulltext Access 20 Pages 2017
Ricci-Ollivier curvature of the rooted phylogenetic subtree-prune-regraft graph Fulltext Access 20 Pages 2017
A generalized descriptor-system robust Hâ control of autonomous microgrids to improve small and large signal stability considering communication delays and load nonlinearities Fulltext Access 20 Pages 2017
New bounds for the probability that at least k-out-of-n events occur with unimodal distributions Fulltext Access 20 Pages 2017
On the maximum number of edges in a hypergraph with given matching number Fulltext Access 20 Pages 2017
Soft computing methods for WiMax Network Planning on 3D Geographical Information Systems Fulltext Access 21 Pages 2017
Anomaly detection in earth dam and levee passive seismic data using support vector machines and automatic feature selection Fulltext Access 21 Pages 2017
A game theory-based dynamic resource allocation strategy in Geo-distributed Datacenter Clouds Fulltext Access 21 Pages 2017
The Performance Metric for Enterprise Service Bus (ESB) in SOA system: Theoretical underpinnings and empirical illustrations for information processing Fulltext Access 21 Pages 2017
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems Fulltext Access 21 Pages 2017
A direct algorithm to compute the topological Euler characteristic and Chern-Schwartz-MacPherson class of projective complete intersection varieties Fulltext Access 21 Pages 2017
A ligand-based comparative molecular field analysis (CoMFA) and homology model based molecular docking studies on 3â², 4â²-dihydroxyflavones as rat 5-lipoxygenase inhibitors: Design of new inhibitors Fulltext Access 21 Pages 2017
DynamiCITY: Revealing city dynamics from citizens social media broadcasts Fulltext Access 21 Pages 2017
3D-QSAR studies of some reversible Acetyl cholinesterase inhibitors based on CoMFA and ligand protein interaction fingerprints using PC-LS-SVM and PLS-LS-SVM Fulltext Access 21 Pages 2017
SRSF shape analysis for sequencing data reveal new differentiating patterns Fulltext Access 21 Pages 2017
Lark: An effective approach for software-defined networking in high throughput computing clusters Fulltext Access 21 Pages 2017
Adaptive and context-aware service composition for IoT-based smart cities Fulltext Access 21 Pages 2017
A new content-defined chunking algorithm for data deduplication in cloud storage Fulltext Access 21 Pages 2017
Automated discovery and integration of semantic urban data streams: The ACEIS middleware Fulltext Access 21 Pages 2017
Solving vehicle routing problem by using improved K-nearest neighbor algorithm for best solution Fulltext Access 21 Pages 2017
Rational design and synthesis of some PPAR-γ agonists: Substituted benzylideneamino-benzylidene-thiazolidine-2,4-diones Fulltext Access 22 Pages 2017
Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems Fulltext Access 22 Pages 2017
Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes Fulltext Access 22 Pages 2017
Designing anti-Zika virus peptides derived from predicted human-Zika virus protein-protein interactions Fulltext Access 22 Pages 2017
Learning by doing, High Performance Computing education in the MOOC era Fulltext Access 22 Pages 2017
HESML: A scalable ontology-based semantic similarity measures library with a set of reproducible experiments and a replication dataset Fulltext Access 22 Pages 2017
Parametric (R,S)-norm Entropy on Intuitionistic Fuzzy Sets with a New Approach in Multiple Attribute Decision Making Fulltext Access 23 Pages 2017
Midgar: Detection of people through computer vision in the Internet of Things scenarios to improve the security in Smart Cities, Smart Towns, and Smart Homes Fulltext Access 23 Pages 2017
A pipeline for proteome-scale identification and studies on hormone sensitive lipases in Mycobacterium tuberculosis Fulltext Access 23 Pages 2017
Midgar: Study of communications security among Smart Objects using a platform of heterogeneous devices for the Internet of Things Fulltext Access 23 Pages 2017
A low-area unified hardware architecture for the AES and the cryptographic hash function Grøstl Fulltext Access 23 Pages 2017
Bimodal packet aware scheduling for an OFDMA based on-chip RF interconnect Fulltext Access 23 Pages 2017
SecureSense: End-to-end secure communication architecture for the cloud-connected Internet of Things Fulltext Access 23 Pages 2017
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems Fulltext Access 23 Pages 2017
Bisimilar and logically equivalent programs in PDL with parallel operator Fulltext Access 23 Pages 2017
Using Anticipative Hybrid Extreme Rotation Forest to predict emergency service readmission risk Fulltext Access 24 Pages 2017
Codon usage bias and its influencing factors for Y-linked genes in human Fulltext Access 24 Pages 2017
Similarity of L-fuzzy Relations Based on L-topologies Induced by L-fuzzy Rough Approximation Operators Fulltext Access 24 Pages 2017
Compliance-based Multi-dimensional Trust Evaluation System for determining trustworthiness of Cloud Service Providers Fulltext Access 24 Pages 2017
Molecular modeling of cationic porphyrin-anthraquinone hybrids as DNA topoisomerase IIβ inhibitors Fulltext Access 24 Pages 2017
Enabling fast failure recovery in shared Hadoop clusters: Towards failure-aware scheduling Fulltext Access 24 Pages 2017