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...

‎in this article‎, ‎we introduce a new type iterative scheme for‎ ‎approximating common fixed points of two asymptotically‎ ‎nonexpansive mappings is defined‎, ‎and weak and strong convergence‎ ‎theorem are proved for the new iterative scheme in a uniformly‎ ‎convex banach space‎. ‎the results obtained in this article‎ ‎represent an extension as well as refinement of previous known‎ ‎resu...

the significance of research article (ra) abstract as a key academic genre has recently motivated analysts to focus on this neglected area. considering a summary function for abstracts, most genre researchers have adopted the conventionally proposed introduction- method- results- discussion (or conclusion) (imrd) model for analysis. however, the problems reported, especially for results and dis...