In a series of three lectures entitled "Observations on the New Radicals," psychologist-author Kenneth Keniston of Yale University asserted that "our survival as individuals and as a world depends" on . whether "we can create new formulations that will control historical and psychological violence before they destroy us." Speaking in the Washington Room Monday, Tuesday, and Wednesday evenings, ...

In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several “partial state spaces”. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model checking algorithm on this incomplete structure. To be able to p...

The n-dimensional direct search algorithm DIRECT of Jones, Perttunen, and Stuckman has attracted recent attention from the multidisciplinary design optimization community. Since DIRECT only requires function values (or ranking) and balances global exploration with local refinement better than n-dimensional bisection, it is well suited to the noisy function values typical of realistic simulation...

Excessive cracking due to restraint of thermal and shrinkage strains is a widespread problem in the concrete construction industry. In design, induced managed by provision reinforcement intended distribute internal such way as control pattern limit crack widths. The area secondary (horizontal) required members retaining walls water tanks often governed need early age cracking. This paper presen...