Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based on OBDDs use a partitioned representation of the transition relation to keep the OBDD-sizes manageable. This paper presents a new approach that significantly increases the quality of the partitioning of the transition relation o...

The availability of commodity multi-core and multi-processor machines and the inherent parallelism in constraint programming search offer significant opportunities for constraint programming. They also present a fundamental challenge: how to exploit parallelism transparently to speed up constraint programs. This paper shows how to parallelize constraint programs transparently without changes to...

The general m-machine permutation flowshop problem with the total flow-time objective is known to be NP-hard for m ≥ 2. The only practical method for finding optimal solutions has been branch-and-bound algorithms. In this paper, we present an improved sequential algorithm which is based on a strict alternation of Generation and Exploration execution modes as well as Depth-First/Best-First hybri...

Active learning strategies respond to the costly labeling task in a supervised classification by selecting the most useful unlabeled examples in training a predictive model. Many conventional active learning algorithms focus on refining the decision boundary, rather than exploring new regions that can be more informative. In this setting, we propose a sequential algorithm named exponentiated gr...

Described in this report is an enantioselective route toward the chamigrene natural product family. The key disconnections in our synthetic approach include sequential enantioselective decarboxylative allylation and ring-closing olefin metathesis to form the all-carbon quaternary stereocenter and spirocyclic core present in all members of this class of compounds. The generality of this strategy...

The author describes the relationship between self-knowledge and career confusion among university students and discusses strategies to enhance career and academic planning. The multiple intelligences profiles of typical university students are compared with those of 82 students enrolled in 3 sequential semesters of a Career Exploration course at a large midwestern U.S. university. Low Intraper...

We present a parallel preconditioning method for the iterative solution of the time-harmonic elastic wave equation which makes use of higher-order spectral elements to reduce pollution error. In particular, the method leverages perfectly matched layer boundary conditions to efficiently approximate the Schur complement matrices of a block LDL factorization. Both sequential and parallel versions ...