Properties of multi-mode resource-constrained project scheduling problems with resource vacations and activity splitting Fulltext Access 17 Pages 2006
Replacement times and costs in a degrading system with several types of failure: The case of phase-type holding times Fulltext Access 17 Pages 2006
When supplier’s availability affects the replenishment lead time—An extension of the supply-interruption problem Fulltext Access 17 Pages 2006
Experiments with classification-based scalarizing functions in interactive multiobjective optimization Fulltext Access 17 Pages 2006
Two-objective method for crisp and fuzzy interval comparison in optimization Fulltext Access 17 Pages 2006
A two-level computable equilibrium model to assess the strategic allocation of emission allowances within the European union Fulltext Access 17 Pages 2006
The computation of Cournot–Nash equilibria for the time-definite freight delivery industry under an oligopolistic market Fulltext Access 17 Pages 2006
Accelerating column generation for aircraft scheduling using constraint propagation Fulltext Access 17 Pages 2006
Optimal inventory policies for profit maximizing EOQ models under various cost functions Fulltext Access 17 Pages 2006
Evaluating the performance of cost-based discretization versus entropy- and error-based discretization Fulltext Access 17 Pages 2006
An efficient dynamic programming algorithm for a special case of the capacitated lot-sizing problem Fulltext Access 17 Pages 2006
Permutation flowshop scheduling problems with maximal and minimal time lags Fulltext Access 17 Pages 2006
Developing a projects evaluation system based on multiple attribute value theory Fulltext Access 17 Pages 2006
On the capacitated concentrator location problem: a reformulation by discretization Fulltext Access 17 Pages 2006
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences Fulltext Access 17 Pages 2006
Capturing the dual relationship between simulation models and their context Fulltext Access 17 Pages 2006
A planar mechanical library in the AMESim simulation software. Part II: Library composition and illustrative example Fulltext Access 17 Pages 2006
An exploratory study to identify rogue seasonality in a steel company’s supply network using spectral principal component analysis Fulltext Access 17 Pages 2006
Lot-sizing two-echelon assembly systems with random yields and rigid demand Fulltext Access 17 Pages 2006
Mining time series data for segmentation by using Ant Colony Optimization Fulltext Access 17 Pages 2006
Optimal decisions in combining the SOM with nonlinear projection methods Fulltext Access 17 Pages 2006
A hybrid genetic algorithm for the finite horizon economic lot and delivery scheduling in supply chains Fulltext Access 17 Pages 2006
Multi-objective metaheuristics for a location-routing problem with multiple use of vehicles on real data and simulated data Fulltext Access 17 Pages 2006
Optimal control of road freight flows by route choice inducement: A case from Mexico Fulltext Access 17 Pages 2006
New algorithmic alternatives for the O–D matrix adjustment problem on traffic networks Fulltext Access 17 Pages 2006
The impact of financial leverage on risk of equity measured by loss-oriented risk measures: An option pricing approach Fulltext Access 17 Pages 2006
A rolling stock circulation model for combining and splitting of passenger trains Fulltext Access 17 Pages 2006
Mismanagement or mismeasurement? Pitfalls and protocols for DEA studies in the financial services sector Fulltext Access 17 Pages 2006
Efficient Patterns for Model Checking Partial State Spaces in CTL ∩ LTL Fulltext Access 17 Pages 2006
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis Fulltext Access 17 Pages 2006
Applying a Model Transformation Taxonomy to Graph Transformation Technology Fulltext Access 17 Pages 2006
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic Fulltext Access 17 Pages 2006
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars Fulltext Access 17 Pages 2006
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata Fulltext Access 17 Pages 2006
Verification of AMBA Using a Combination of Model Checking and Theorem Proving Fulltext Access 17 Pages 2006
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System Fulltext Access 17 Pages 2006
Trust Evolution Policies for Security in Collaborative Ad Hoc Applications Fulltext Access 17 Pages 2006
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs Fulltext Access 17 Pages 2006
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision Fulltext Access 17 Pages 2006
Design Challenges for a Differential-Power-Analysis Aware GALS-based AES Crypto ASIC Fulltext Access 17 Pages 2006
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks Fulltext Access 17 Pages 2006
A Classification of Time and/or Probability Dependent Security Properties Fulltext Access 17 Pages 2006
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields Fulltext Access 17 Pages 2006