Integrating formal methods into medical software development: The ASM approach Fulltext Access 44 Pages 2018
Remote analysis of myocardial fiber information in vivo assisted by cloud computing Fulltext Access 44 Pages 2018
Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod Fulltext Access 45 Pages 2018
Solution to unit commitment in power system operation planning using binary coded modified moth flame optimization algorithm (BMMFOA): A flame selection based computational technique Fulltext Access 45 Pages 2018
A parallel fluid-solid coupling model using LAMMPS and Palabos based on the immersed boundary method Fulltext Access 45 Pages 2018
An assessment of OpenFOAM solver on RANS simulations of round supersonic free jets Fulltext Access 45 Pages 2018
Reprint of “A robust reliable energy-aware urgent computing resource allocation for flash-flood ensemble forecasting on HPC infrastructures for decision support” Fulltext Access 45 Pages 2018
A Sybil attack detection scheme for a forest wildfire monitoring application Fulltext Access 45 Pages 2018
An algorithm based on semidefinite programming for finding minimax optimal designs Fulltext Access 45 Pages 2018
Process variant comparison: Using event logs to detect differences in behavior and business rules Fulltext Access 45 Pages 2018
Combined QSAR, molecular docking and molecular dynamics study on new Acetylcholinesterase and Butyrylcholinesterase inhibitors Fulltext Access 45 Pages 2018
Establishing evolutionary game models for CYBer security information EXchange (CYBEX) Fulltext Access 45 Pages 2018
Towards increasing reliability of clouds environments with RESTful web services Fulltext Access 46 Pages 2018
Interactive multidimensional modeling of linked data for exploratory OLAP Fulltext Access 46 Pages 2018
DFT/TD-DFT calculations, spectroscopic characterizations (FTIR, NMR, UV-vis), molecular docking and enzyme inhibition study of 7-benzoyloxycoumarin Fulltext Access 46 Pages 2018
From P2P to NoSQL: A continuous metric for classifying large-scale storage systems Fulltext Access 46 Pages 2018
CUIDATS: An RFID-WSN hybrid monitoring system for smart health care environments Fulltext Access 46 Pages 2018
In silico structure prediction and inhibition mechanism studies of AtHDA14 as revealed by homology modeling, docking, molecular dynamics simulation Fulltext Access 47 Pages 2018
Correlation power analysis of modes of encryption in AES and its countermeasures Fulltext Access 47 Pages 2018
A framework for joint resource allocation of MapReduce and web service applications in a shared cloud cluster Fulltext Access 48 Pages 2018
On achieving intelligent traffic-aware consolidation of virtual machines in a data center using Learning Automata Fulltext Access 48 Pages 2018
Spectroscopic profiling (FT-IR, FT-Raman, NMR and UV-Vis), autoxidation mechanism (H-BDE) and molecular docking investigation of 3-(4-chlorophenyl)-N,N-dimethyl-3-pyridin-2-ylpropan-1-amine by DFT/TD-DFT and molecular dynamics: A potential SSRI drug Fulltext Access 49 Pages 2018
Let's HPC: A web-based platform to aid parallel, distributed and high performance computing education Fulltext Access 49 Pages 2018
Hybrid privacy-preserving clinical decision support system in fog-cloud computing Fulltext Access 50 Pages 2018
Feasible enhancements to congestion control in InfiniBand-based networks Fulltext Access 50 Pages 2018
FPGA-based simultaneous multichannel audio processor for musical genre indexing applications in broadcast band Fulltext Access 51 Pages 2018
SDN-based energy management scheme for sustainability of data centers: An analysis on renewable energy sources and electric vehicles participation Fulltext Access 52 Pages 2018
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Fulltext Access 52 Pages 2018
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification Fulltext Access 52 Pages 2018
VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks Fulltext Access 53 Pages 2018
FLANDM: a development framework of domain-specific languages for data mining democratisation Fulltext Access 58 Pages 2018
QRFence: A flexible and scalable QR link security detection framework for Android devices Fulltext Access 58 Pages 2018
Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics Fulltext Access 64 Pages 2018
Mobile edge computing, Fog et al.: A survey and analysis of security threats and challenges Fulltext Access 67 Pages 2018
Multiple context-free tree grammars: Lexicalization and characterization Fulltext Access 71 Pages 2018
MidHDC: Advanced topics on middleware services for heterogeneous distributed computing. Part 2 Fulltext Access 4 Pages 2017
Tight approximation bounds for dominating set on graphs of bounded arboricity Fulltext Access 4 Pages 2017
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard Fulltext Access 4 Pages 2017
Special issue on DOLAP 2015: Evolving data warehousing and OLAP cubes to big data analytics Fulltext Access 4 Pages 2017
ToTo: An open database for computation, storage and retrieval of tree decompositions Fulltext Access 5 Pages 2017
Brief CommunicationTargeting PknB, an eukaryotic-like serine/threonine protein kinase of Mycobacterium tuberculosis with phytomolecules Fulltext Access 5 Pages 2017
Efficiently predicting large-scale protein-protein interactions using MapReduce Fulltext Access 5 Pages 2017
A connection between the Kekulé structures of pentagonal chains and the Hosoya index of caterpillar trees Fulltext Access 5 Pages 2017
Research ArticleInvestigating dysregulated pathways in Staphylococcus aureus (SA) exposed macrophages based on pathway interaction network Fulltext Access 5 Pages 2017
Research articleVirtual screening of B-Raf kinase inhibitors: A combination of pharmacophore modelling, molecular docking, 3D-QSAR model and binding free energy calculation studies Fulltext Access 5 Pages 2017
Optimal construction of node-disjoint shortest paths in folded hypercubes Fulltext Access 5 Pages 2017
The strong equitable vertex 2-arboricity of complete bipartite and tripartite graphs Fulltext Access 5 Pages 2017
Simple DFS on the complement of a graph and on partially complemented digraphs Fulltext Access 5 Pages 2017
Optimal suffix sorting and LCP array construction for constant alphabets Fulltext Access 5 Pages 2017
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs Fulltext Access 5 Pages 2017
Covering symmetric supermodular functions with graph edges: A short proof of a theorem of Benczúr and Frank Fulltext Access 5 Pages 2017