Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs Fulltext Access 14 Pages 2010
Total flow time minimization in a flowshop sequence-dependent group scheduling problem Fulltext Access 14 Pages 2010
A continuous analysis framework for the solution of location–allocation problems with dense demand Fulltext Access 14 Pages 2010
A simulation-optimization approach for integrated sourcing and inventory decisions Fulltext Access 14 Pages 2010
A closed-loop logistic model with a spanning-tree based genetic algorithm Fulltext Access 14 Pages 2010
A hybrid meta-heuristic for global optimisation using low-discrepancy sequences of points Fulltext Access 14 Pages 2010
A penalty-based edge assembly memetic algorithm for the vehicle routing problem with time windows Fulltext Access 14 Pages 2010
From Such Simple a Beginning: The Momentous Consequences of Physics' Microscopic Reversibility for Communication and Computation—and Almost Anything Else Fulltext Access 14 Pages 2010
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity Fulltext Access 14 Pages 2010
Some Experience on the Software Engineering of Abstract Interpretation Tools Fulltext Access 14 Pages 2010
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic Fulltext Access 14 Pages 2010
Implementation of a medical image file accessing system in co-allocation data grids Fulltext Access 14 Pages 2010
Existence of regularly varying solutions with nonzero indices of half-linear differential equations with retarded arguments Fulltext Access 15 Pages 2010
Heuristics for search sequencing under time-dependent probabilities of existence Fulltext Access 15 Pages 2010
Complexity of single machine scheduling subject to nonnegative inventory constraints Fulltext Access 15 Pages 2010
A tabu-search algorithm for scheduling jobs with controllable processing times on a single machine to meet due-dates Fulltext Access 15 Pages 2010
Ion transport in inhomogeneous media based on the bipartition model for primary ions Fulltext Access 15 Pages 2010
Six strategies for defeating the Runge Phenomenon in Gaussian radial basis functions on a finite interval Fulltext Access 15 Pages 2010
Residual income and value creation: An investigation into the lost-capital paradigm Fulltext Access 15 Pages 2010
An adaptive information dissemination of decentralized warship cooperative engagement with constrained bandwidth based on a geodetic coordinate system Fulltext Access 15 Pages 2010
Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping Fulltext Access 15 Pages 2010
Analysis of synchronous machine modeling for simulation and industrial applications Fulltext Access 15 Pages 2010
Pseudo bond graph model of coupled heat and mass transfers in a plastic tunnel greenhouse Fulltext Access 15 Pages 2010
Chaotic bubbles and phase locking for a shaker system in the vicinity of three coexisting critical points Fulltext Access 15 Pages 2010
Performance evaluation with DEVS formalism and implementation of active emergency call system for realtime location and monitoring Fulltext Access 15 Pages 2010
Modeling of a proton exchange membrane fuel cell based on the hybrid particle swarm optimization with Levenberg–Marquardt neural network Fulltext Access 15 Pages 2010
Model driven development and simulations with the INGENIAS agent framework Fulltext Access 15 Pages 2010
easyABMS: A domain-expert oriented methodology for agent-based modeling and simulation Fulltext Access 15 Pages 2010
Correlation-aware resource service composition and optimal-selection in manufacturing grid Fulltext Access 15 Pages 2010
Topological network design of general, finite, multi-server queueing networks Fulltext Access 15 Pages 2010
A node rooted flow-based model for the local access network expansion problem Fulltext Access 15 Pages 2010
A dual-interval vertex analysis method and its application to environmental decision making under uncertainty Fulltext Access 15 Pages 2010
A model for real-time failure prognosis based on hidden Markov model and belief rule base Fulltext Access 15 Pages 2010
Iterated greedy local search methods for unrelated parallel machine scheduling Fulltext Access 15 Pages 2010
Optimization designs and performance comparison of two CUSUM schemes for monitoring process shifts in mean and variance Fulltext Access 15 Pages 2010
A Strict-Observational Interface Theory for Analysing Service Orchestrations Fulltext Access 15 Pages 2010
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations Fulltext Access 15 Pages 2010
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach Fulltext Access 15 Pages 2010
Modular Verification of Interactive Systems with an Application to Biology Fulltext Access 15 Pages 2010
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata Fulltext Access 15 Pages 2010
Flexible adjustment of the short-term correlation of LRD M/G/∞-based processes Fulltext Access 15 Pages 2010
The mandatory notification of data breaches: Issues arising for Australian and EU legal developments Fulltext Access 15 Pages 2010
On the L∞L∞ convergence of a difference scheme for coupled nonlinear Schrödinger equations Fulltext Access 15 Pages 2010
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case Fulltext Access 15 Pages 2010
Automatic model-based tracing algorithm for vessel segmentation and diameter estimation Fulltext Access 15 Pages 2010
Methods toward in vivo measurement of zebrafish epithelial and deep cell proliferation Fulltext Access 15 Pages 2010
An R function to non-parametric and piecewise analysis of competing risks survival data Fulltext Access 15 Pages 2010
Feedback controlled electrical nerve stimulation: A computer simulation Fulltext Access 15 Pages 2010
Dynamic resource selection heuristics for a non-reserved bidding-based Grid environment Fulltext Access 15 Pages 2010
A performance study on the synchronisation of heterogeneous Grid databases using CONStanza Fulltext Access 15 Pages 2010
Improving reliability of a heterogeneous grid-based intrusion detection platform using levels of redundancies Fulltext Access 15 Pages 2010