The direct parametrisation method for invariant manifolds is a nonlinear reduction technique which derives mappings and reduced-order dynamics that describe the evolution of dynamical systems along low-dimensional invariant-based span phase space. It can be directly applied to finite element problems. When development performed using an arbitrary order asymptotic expansion, it provides efficien...

We investigate utilizing the integer programming (IP) technique of reduced cost fixing to improve maximum satisfiability (MaxSAT) solving. In particular, we show how reduced cost fixing can be used within the implicit hitting set approach (IHS) for solving MaxSAT. Solvers based on IHS have proved to be quite effective for MaxSAT, especially on problems with a variety of clause weights. The uniq...

A case-based reasoning system was created to support customers who purchased appliances from General Electric. When a customer calls General Electric for help, a call-taker uses the system to diagnose the problem and step the customer through its solution. The system has been in use by 300 call-takers since 1999. It has resulted in a 20 percent increase in the probability the customer’s problem...

The effect of a salient visual feature in orienting spatial attention was examined as a function of the learned association between the visual feature and the observer’s action. During an initial acquisition phase, participants learned that two keypress actions consistently produced red and green visual cues. Next, in a test phase, participants’ actions continued to result in singletons, but th...

We present a family of resource constraints which allow us to model scheduling problems with time variable resource cost. Our main use case is energy cost minimization, by avoiding peak electricity usage periods in the generated schedule. This at the same time helps to balance the overall demand profile, leading to reduced stress on the national electricity grid. The proposed constraints extend...

Explaining the maintenance of sexual reproduction remains one of the greatest challenges in biology. The theoretical oddity of sex is based on at least three advantages that asexual organisms have over sexual ones: 1Asexuals, by not producing males, have a two fold advantage over sexuals, regarding the number of reproductive individuals; 2Sexuals have an evolutionary disadvantage over asexuals,...

In this paper, we present a virtual laboratory platform (VLP) baptized Mercury allowing students to make practical work (PW) on different aspects of mobile wireless sensor networks (WSNs). Our choice of WSNs is motivated mainly by the use of real experiments needed in most courses about WSNs. These experiments require an expensive investment and a lot of nodes in the classroom. To illustrate ou...