A super-peer model for resource discovery services in large-scale Grids Fulltext Access 14 Pages 2005
Model-checking the Preservation of Temporal Properties upon Feature Integration Fulltext Access 14 Pages 2005
Monitoring cache behavior on parallel SMP architectures and related programming tools Fulltext Access 14 Pages 2005
Characteristic μ-Calculus Formulas for Underspecified Transition Systems Fulltext Access 14 Pages 2005
Supporting triage of children with abdominal pain in the emergency room Fulltext Access 14 Pages 2005
A comparison between Fama and French's model and artificial neural networks in predicting the Chinese stock market Fulltext Access 14 Pages 2005
Registration of MR and CT images of the liver: comparison of voxel similarity and surface based registration algorithms Fulltext Access 14 Pages 2005
Solving a multiresponse simulation problem using a dual-response system and scatter search method Fulltext Access 14 Pages 2005
Simulation and experimental studies of model reference adaptive system for sensorless induction motor drive Fulltext Access 14 Pages 2005
Scientific computation for simulations on programmable graphics hardware Fulltext Access 14 Pages 2005
A new repair-replace strategy for items sold with a two-dimensional warranty Fulltext Access 14 Pages 2005
A discrete Fourier method for numerical solution of strongly coupled mixed parabolic systems Fulltext Access 14 Pages 2005
A symmetric information divergence measure of the Csiszár's f-divergence class and its bounds Fulltext Access 14 Pages 2005
Image mining for investigative pathology using optimized feature extraction and data fusion Fulltext Access 14 Pages 2005
TERMTrial-terminology-based documentation systems for cooperative clinical trials Fulltext Access 14 Pages 2005
Microfocal X-ray computed tomography post-processing operations for optimizing reconstruction volumes of stented arteries during 3D computational fluid dynamics modeling Fulltext Access 14 Pages 2005
Calcium sparks in muscle cells: interactive procedures for automatic detection and measurements on line-scan confocal images series Fulltext Access 14 Pages 2005
Advanced multimodal visualisation of clinical gait and fluoroscopy analyses in the assessment of total knee replacement Fulltext Access 14 Pages 2005
From virtualized resources to virtual computing grids: the In-VIGO system Fulltext Access 14 Pages 2005
PYR: a Cellular Automata model for pyroclastic flows and application to the 1991 Mt. Pinatubo eruption Fulltext Access 14 Pages 2005
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures Fulltext Access 14 Pages 2005
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking Fulltext Access 14 Pages 2005
A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals Fulltext Access 14 Pages 2005
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation Fulltext Access 14 Pages 2005
Probabilistic Approach to the Lambda Definability for Fourth Order Types Fulltext Access 14 Pages 2005
Terminal penalty rolling scheduling based on an initial schedule for single-machine scheduling problem Fulltext Access 14 Pages 2005
Exact algorithms for the minimum power symmetric connectivity problem in wireless networks Fulltext Access 14 Pages 2005
Resource allocation decisions under various demands and cost requirements in an unreliable flow network Fulltext Access 14 Pages 2005
Integrating process optimization and inventory planning in cutting-stock with skiving option: An optimization model and its application Fulltext Access 14 Pages 2005
Supply chain management and advanced planning--basics, overview and challenges Fulltext Access 14 Pages 2005
A practical model of Heineken's bottle filling line with dependent failures Fulltext Access 14 Pages 2005
Finite-element approximation of viscoelastic fluid flow with slip boundary condition Fulltext Access 14 Pages 2005
A second-order scheme for integration of one-dimensional dynamic analysis Fulltext Access 14 Pages 2005
Alternating splitting waveform relaxation method and its successive overrelaxation acceleration Fulltext Access 14 Pages 2005
POD-based feedback control of the burgers equation by solving the evolutionary HJB equation Fulltext Access 14 Pages 2005
A comparison of conservative upwind difference schemes for the shallow water equations Fulltext Access 14 Pages 2005
Local search for the probabilistic traveling salesman problem: Correction to the 2-p-opt and 1-shift algorithms Fulltext Access 14 Pages 2005
Melnikov method for homoclinic bifurcation in nonlinear impact oscillators Fulltext Access 14 Pages 2005
Graceful lobsters obtained by partitioning and component moving of branches of diameter four trees Fulltext Access 14 Pages 2005
The mixed harmonic problem in an exterior cracked domain with Dirichlet condition on cracks Fulltext Access 14 Pages 2005
The global artificial boundary conditions for numerical simulations of the flow around a submerged body Fulltext Access 14 Pages 2005