Given evidence that IT capabilities are linked to business performance, well-defined procedures would be expected to exist for engineering these capabilities to high standards. Surprisingly, this does not appear to be the case. In fact, IT executives freely admit that they may not use standard, verifiable, and repeatable capabilities. To address this situation, the authors formed a group of sen...

Introduction Can automated solutions for logic diagnosis become a fundamental driver of yield improvement? or are they doomed to remain an “occasional entertaining diversion?” As we begin driving a transition in diagnosis from science projects to industrial solutions, we need to consider the differences between failure analysis (FA) and low yield analysis (LYA). We need to comprehend that this ...

We discuss instability and existence issues for the nonlocal bistable equation. This model arises as the Euler-Lagrange equation of a nonlocal, van der Waals type functional. Taking the viewpoint of the calculus of variations, we prove that for a class of nonlocalities this functional does not admit nonconstant C local minimizers. By taking variations along nonsmooth paths, we give examples of ...

The aim of this chapter is two-fold: first, to explore the relationship between abduction and induction from a philosophical point of view; and second, to examine critically some recent attempts to provide computational models of abduction. Induction is typically conceived as the mode of reasoning which produces generalisations over domains of individuals based on samples. Abduction, on the oth...

In this paper, we identify sufficient conditions under which static teams and a class of sequential dynamic teams admit team-optimal solutions. We first investigate the existence of optimal solutions in static teams where the observations of the decision makers are conditionally independent given the state and satisfy certain regularity conditions. Building on these findings and the static redu...

Some years ago Stephani derived two classes of rotating dust solutions. In this paper Stephani's results are generalised to the case where the cosmological constant is non-zero. The solutions are of Petrov type D and the magnetic part of the Weyl tensor vanishes. The solutions involve seven arbitrary functions of a spacelike coordinate and in general they admit no Killing vectors. Nevertheless ...