Solving equations via the trust region and its application to a class of stochastic linear complementarity problems Fulltext Access 19 Pages 2011
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) Fulltext Access 19 Pages 2011
A family of high-order multistep methods with vanished phase-lag and its derivatives for the numerical solution of the Schrödinger equation Fulltext Access 19 Pages 2011
On the optimal shape parameter for Gaussian radial basis function finite difference approximation of the Poisson equation Fulltext Access 19 Pages 2011
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories Fulltext Access 19 Pages 2011
A survey of deterministic models for the EOQ and EPQ with partial backordering Fulltext Access 20 Pages 2011
Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems Fulltext Access 20 Pages 2011
Simulation-based workforce assignment in a multi-organizational social network for alliance-based software development Fulltext Access 20 Pages 2011
Evaluation of antilock braking system with an integrated model of full vehicle system dynamics Fulltext Access 20 Pages 2011
Dynamic control of unified power flow controller under unbalanced network conditions Fulltext Access 20 Pages 2011
Redundancy allocation problems considering systems with imperfect repairs using multi-objective genetic algorithms and discrete event simulation Fulltext Access 20 Pages 2011
Performance analysis of PSK systems with phase error in fading channels: A survey Fulltext Access 20 Pages 2011
QuePED: Revisiting queueing networks for the performance evaluation of database designs Fulltext Access 20 Pages 2011
A review of atlas-based segmentation for magnetic resonance brain images Fulltext Access 20 Pages 2011
An empirical study of modeling self-management capabilities in autonomic systems using case-based reasoning Fulltext Access 20 Pages 2011
Multi-operator based evolutionary algorithms for solving constrained optimization problems Fulltext Access 20 Pages 2011
A fourth-order compact finite difference method for nonlinear higher-order multi-point boundary value problems Fulltext Access 20 Pages 2011
Minimizing maximum earliness and number of tardy jobs in the single machine scheduling problem with availability constraint Fulltext Access 20 Pages 2011
Streaming techniques and data aggregation in networks of tiny artefacts Fulltext Access 20 Pages 2011
Algorithms for energy-driven agent placement in wireless embedded systems with memory constraints Fulltext Access 20 Pages 2011
On Using B in the Design of Secure Micro-controllers: An Experience Report Fulltext Access 20 Pages 2011
Performance Evaluation of Software Development Teams: a Practical Case Study Fulltext Access 20 Pages 2011
Profile-based spatial partitioning for parallel simulation of large-scale wildfires Fulltext Access 20 Pages 2011
Numerical approximation of nonlinear fractional differential equations with subdiffusion and superdiffusion Fulltext Access 21 Pages 2011
Study of a third grade non-Newtonian fluid flow between two parallel plates using the multi-step differential transform method Fulltext Access 21 Pages 2011
Efficient and accurate simulations of deformable particles immersed in a fluid using a combined immersed boundary lattice Boltzmann finite element method Fulltext Access 21 Pages 2011
Analysis of bandwidth allocation on end-to-end QoS networks under budget control Fulltext Access 21 Pages 2011
Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra Fulltext Access 21 Pages 2011
Stability of mixed additive–quadratic Jensen type functional equation in various spaces Fulltext Access 21 Pages 2011
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems Fulltext Access 21 Pages 2011
Using CPU gradients for performance-aware energy conservation in multitier systems Fulltext Access 21 Pages 2011
iCoSim-FMS: An intelligent co-simulator for the adaptive control of complex flexible manufacturing systems Fulltext Access 21 Pages 2011
Sphere rolling on a moving surface: Application of the fundamental equation of constrained motion Fulltext Access 21 Pages 2011
Constraint-handling in nature-inspired numerical optimization: Past, present and future Fulltext Access 22 Pages 2011
Nearly optimal solution of rational linear systems of equations with symbolic lifting and numerical initialization Fulltext Access 22 Pages 2011
A cross-layer protocol of spectrum mobility and handover in cognitive LTE networks Fulltext Access 22 Pages 2011
Foresee, a fully distributed self-organized approach for improving traffic flows Fulltext Access 22 Pages 2011
Dynamic modeling and fuzzy logic control of vibrations of a railway vehicle for different track irregularities Fulltext Access 22 Pages 2011
The Google conundrum: Perpetrator or facilitator on the net? – Forging a fair copyright framework of rights, liability and responsibility in response to search engine 2.0 – Part I: The Google Images Search Engine Fulltext Access 22 Pages 2011
Some New Approaches in Functional Programming Using Algebras and Coalgebras Fulltext Access 22 Pages 2011
Testing Data Consistency of Data-Intensive Applications Using QuickCheck Fulltext Access 22 Pages 2011
Computation of restoration of ligand response in the random kinetics of a prostate cancer cell signaling pathway Fulltext Access 22 Pages 2011
Adaptive PSODV algorithm for OPF with non-smooth cost functions and statistical analysis Fulltext Access 23 Pages 2011
Platform-Variant Applications from Platform-Independent Models via Templates Fulltext Access 23 Pages 2011
Modeling, simulation and analysis of aircraft arresting system using bond graph approach Fulltext Access 23 Pages 2011
Quantization-based integration methods for delay-differential equations Fulltext Access 23 Pages 2011
Approximations of fuzzy numbers by trapezoidal fuzzy numbers preserving the ambiguity and value Fulltext Access 23 Pages 2011
The integrated inventory model with the transportation cost and two-level trade credit in supply chain management Fulltext Access 23 Pages 2011
Large deviations theorems for optimal investment problems with large portfolios Fulltext Access 23 Pages 2011
Robust semidefinite relaxations for a quadratic OFDMA resource allocation scheme Fulltext Access 23 Pages 2011
A mesoscopic simulation modelling methodology for analyzing and evaluating freight train operations in a rail network Fulltext Access 24 Pages 2011
Reconfigurable simulator using graphical user interface (GUI) and object-oriented design for OFDM systems Fulltext Access 24 Pages 2011
A multi-start evolutionary local search for the two-dimensional loading capacitated vehicle routing problem Fulltext Access 24 Pages 2011
Robust stability of uncertain fuzzy BAM neural networks of neutral-type with Markovian jumping parameters and impulses Fulltext Access 24 Pages 2011
Parallel simulation of concentration dynamics of nano-particles in High Gradient Magnetic Separation Fulltext Access 25 Pages 2011
A predictor–corrector scheme based on the ADI method for pricing American puts with stochastic volatility Fulltext Access 26 Pages 2011
An innovative simulation environment for cross-domain policy enforcement Fulltext Access 26 Pages 2011
PolyMAX, a Mobile WiMAX module for the ns-2 simulator with QoS and AMC support Fulltext Access 26 Pages 2011
The role of the kinetic parameter in the stability of two-relaxation-time advection–diffusion lattice Boltzmann schemes Fulltext Access 26 Pages 2011