A Formalisation of Nominal α-equivalence with A and AC Function Symbols Fulltext Access 18 Pages 2017
Cooperative spectrum sensing based on a modified shuffled frog leaping algorithm in 5G network Fulltext Access 18 Pages 2017
The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results Fulltext Access 18 Pages 2017
5G-based wideband cognitive radio system design with cooperative spectrum sensing Fulltext Access 18 Pages 2017
Modeling and optimization of process variables of wire-cut electric discharge machining of super alloy Udimet-L605 Fulltext Access 18 Pages 2017
On a nonhomogeneous and singular quasilinear equation involving critical growth in R2 Fulltext Access 19 Pages 2017
Anisotropic hp-mesh optimization technique based on the continuous mesh and error models Fulltext Access 19 Pages 2017
Parallelization of continuous and discontinuous Galerkin dual-primal isogeometric tearing and interconnecting methods Fulltext Access 19 Pages 2017
A distributed simulation methodological framework for OR/MS applications Fulltext Access 19 Pages 2017
LAMCS: A leakage aware DVFS based mixed task set scheduler for multi-core processors Fulltext Access 19 Pages 2017
GreenC5: An adaptive, energy-aware collection for green software development Fulltext Access 19 Pages 2017
Fast ADI method for high dimensional fractional diffusion equations in conservative form with preconditioned strategy Fulltext Access 19 Pages 2017
The solutions to linear matrix equations AX=B,YA=D with k-involutory symmetries Fulltext Access 19 Pages 2017
Investigations of binding mode insight in Salmonella typhi type-III secretion system tip protein (SipD): A molecular docking and MD simulation study Fulltext Access 19 Pages 2017
Solving DEA models in a single optimization stage: Can the non-Archimedean infinitesimal be replaced by a small finite epsilon? Fulltext Access 19 Pages 2017
GLNS: An effective large neighborhood search heuristic for the Generalized Traveling Salesman Problem Fulltext Access 19 Pages 2017
Multivariate FX models with jumps: Triangles, Quantos and implied correlation Fulltext Access 19 Pages 2017
Variable neighborhood search variants for Min-power symmetric connectivity problem Fulltext Access 19 Pages 2017
Combining VNS with Genetic Algorithm to solve the one-to-one routing issue in road networks Fulltext Access 19 Pages 2017
Autonomous weapon system: Law of armed conflict (LOAC) and other legal challenges Fulltext Access 19 Pages 2017
An adaptive DPG method for high frequency time-harmonic wave propagation problems Fulltext Access 19 Pages 2017
A posteriori error estimates for a Virtual Element Method for the Steklov eigenvalue problem Fulltext Access 19 Pages 2017
Galerkin finite element methods for the generalized Klein-Gordon-Zakharov equations Fulltext Access 19 Pages 2017
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction Fulltext Access 19 Pages 2017
Electricity forward curves with thin granularity: Theory and empirical evidence in the hourly EPEXspot market Fulltext Access 20 Pages 2017
Enhancement of DFIG-Wind Turbine's LVRT capability using novel DVR based Odd-nary Cascaded Asymmetric Multi-Level Inverter Fulltext Access 20 Pages 2017
A coupling of weak Galerkin and mixed finite element methods for poroelasticity Fulltext Access 20 Pages 2017
An hp-Galerkin method with fast solution for linear peridynamic models in one dimension Fulltext Access 20 Pages 2017
An age-structured SIR epidemic model with fixed incubation period of infection Fulltext Access 20 Pages 2017
Space of C2-smooth geometrically continuous isogeometric functions on planar multi-patch geometries: Dimension and numerical experiments Fulltext Access 20 Pages 2017
Existence and non-existence of nontrivial solutions for Schrödinger systems via Nehari-Pohozaev manifold Fulltext Access 20 Pages 2017
MP-MID: Multi-Protocol Oriented Middleware-level Intrusion Detection method for wireless sensor networks Fulltext Access 20 Pages 2017
DPRS: A dynamic popularity aware replication strategy with parallel download scheme in cloud environments Fulltext Access 20 Pages 2017
Acceptance Test for Fault Detection in Component-based Cloud Computing and Systems Fulltext Access 20 Pages 2017
Digital exhaustion of copyright after CJEU judgment in Ranks and VasiļeviÄs Fulltext Access 20 Pages 2017
An elitist nondominated sorting genetic algorithm for QoS multicast routing in wireless networks Fulltext Access 20 Pages 2017
An h-adaptive mortar finite element method for finite deformation contact with higher order p extension Fulltext Access 21 Pages 2017
PROTEUS: A coupled iterative force-correction immersed-boundary multi-domain cascaded lattice Boltzmann solver Fulltext Access 21 Pages 2017
A logical structure based fault tolerant approach to handle leader election in mobile ad hoc networks Fulltext Access 21 Pages 2017
Performance analysis of a novel 5G architecture via Content-Centric Networking Fulltext Access 21 Pages 2017
An exact algorithm for Min-Max hyperstructure equipartition with a connected constraint Fulltext Access 21 Pages 2017
M/G/c/c state dependent queuing model for a road traffic system of two sections in tandem Fulltext Access 21 Pages 2017
A new content-defined chunking algorithm for data deduplication in cloud storage Fulltext Access 21 Pages 2017
ECG based Myocardial Infarction detection using Hybrid Firefly Algorithm Fulltext Access 21 Pages 2017
Lark: An effective approach for software-defined networking in high throughput computing clusters Fulltext Access 21 Pages 2017
A high-order nodal discontinuous Galerkin method for a linearized fractional Cahn-Hilliard equation Fulltext Access 21 Pages 2017
On the convergence of the modified Rosenau and the modified Benjamin-Bona-Mahony equations Fulltext Access 21 Pages 2017
A game theory-based dynamic resource allocation strategy in Geo-distributed Datacenter Clouds Fulltext Access 21 Pages 2017
Adaptive and context-aware service composition for IoT-based smart cities Fulltext Access 21 Pages 2017
A â2, 1 norm regularized multi-kernel learning for false positive reduction in Lung nodule CAD Fulltext Access 21 Pages 2017
Motion Rehab AVE 3D: A VR-based exergame for post-stroke rehabilitation Fulltext Access 21 Pages 2017
Automated discovery and integration of semantic urban data streams: The ACEIS middleware Fulltext Access 21 Pages 2017
Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes Fulltext Access 22 Pages 2017
MRC SC-FDMA scheme performance evaluation based on measurements at 30Â GHz for 5G communications Fulltext Access 22 Pages 2017
Power allocation for multi-user OFDM-DCSK system in frequency selective fading channel Fulltext Access 22 Pages 2017
Weak signal acquisition enhancement in software GPS receivers - Pre-filtering combined post-correlation detection approach Fulltext Access 22 Pages 2017
Logic based Benders' decomposition for orthogonal stock cutting problems Fulltext Access 22 Pages 2017
Joint optimization of component carrier selection and resource allocation in 5G carrier aggregation system Fulltext Access 22 Pages 2017
Implementation and performance evaluation of a mobile IPv6 (MIPv6) simulation model for ns-3 Fulltext Access 22 Pages 2017
Gerotor pump cavitation monitoring and fault diagnosis using vibration analysis through the employment of auto-regressive-moving-average technique Fulltext Access 22 Pages 2017
The Cauchy problem of coupled elliptic sine-Gordon equations with noise: Analysis of a general kernel-based regularization and reliable tools of computing Fulltext Access 22 Pages 2017
P2NoC: Power- and Performance-aware NoC Architectures for Sustainable Computing Fulltext Access 22 Pages 2017
ScOFi: Schematic assisted optimum fingerprinting for Wi-Fi indoor localization using peer hand-shake 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
Midgar: Study of communications security among Smart Objects using a platform of heterogeneous devices for the Internet of Things Fulltext Access 23 Pages 2017
SecureSense: End-to-end secure communication architecture for the cloud-connected Internet of Things Fulltext Access 23 Pages 2017
On the Rayleigh-Bénard-Marangoni system and a related optimal control problem Fulltext Access 23 Pages 2017
On signal space diversity: An adaptive interleaver for enhancing physical layer security in frequency selective fading channels Fulltext Access 23 Pages 2017
A lightweight QRS detector for single lead ECG signals using a max-min difference algorithm Fulltext Access 23 Pages 2017
MSFCN-multiple supervised fully convolutional networks for the osteosarcoma segmentation of CT images Fulltext Access 23 Pages 2017
Comparison of high order finite element and discontinuous Galerkin methods for phase field equations: Application to structural damage Fulltext Access 23 Pages 2017
Approximate Lax-Wendroff discontinuous Galerkin methods for hyperbolic conservation laws Fulltext Access 23 Pages 2017
Space of C2-smooth geometrically continuous isogeometric functions on two-patch geometries Fulltext Access 23 Pages 2017
Exact and superpolynomial approximation algorithms for the densest k-subgraph problem Fulltext Access 23 Pages 2017