Robustified rank tests, applying a robust scale estimator, are investigated for reliable and fast shift detection in time series. The tests show good power for sufficiently large shifts, low false detection rates for Gaussian noise and high robustness against outliers. Wilcoxon scores in combination with a robust and efficient scale estimator achieve good performance in many situations.

We present a procedure for proving the validity of rst-order formulas in the presence of decision procedures for an interpreted subset of the language. The procedure is designed to be practical: formulas can have large complex boolean structure, and include structure sharing in the form of let-expressions. The decision procedures are only required to decide the unsatissability of sets of litera...

The step response of a porous medium with quenched disorder is investigated by cellular automata. The main conclusions of this dynamic study on samples of

. The objective of STEP is to provide a neutral data model capable of describing product data throughout the life cycle of a product that is independent from any particular software application or computer platform. AP203, AP214, AP224 promote the integration of CAD/CAM system. Now STEP-NC, a new extension of STEP, is being developed. A truly integrated CAD, CAPP, CAM and CNC paradigm is now in...