in this paper we introduce a sequential block iterative method and its simultaneous version with op-timal combination of weights (instead of convex combination) for solving convex feasibility problems.when the intersection of the given family of convex sets is nonempty, it is shown that any sequencegenerated by the given algorithms converges to a feasible point. additionally for linear feasibil...

In this paper we classify simultaneous multithreaded architectures based on how they select instructions issued in a single cycle. This classiication allows us to study the present trend of technology as well as to explore the new avenues for improvements in simultaneous multithreaded architectures. Based on our classi-cation, we study the impact of various parameters of simultaneous multithrea...

v Symbols vii

We use a local energy method to study the spatial localization of the supports of the solutions of a reaction{ diiusion system with nonlinear diiusion and a general reaction term. We establish nite speed of propagation and the existence of waiting times under a set of weak assumptions on the structural form of the system. These assumptions allow for additive and multiplicative reaction terms an...

Reachability analysis of infinite-state systems plays a central role in many verification tasks. In the last decade, SMT-Solvers have been exploited within many verification tools to discharge proof obligations arising from reachability analysis. Despite this, as of today there is no standard language to deal with transition systems specified in the SMT-LIB format. This paper is a first proposa...

The purpose of this paper is to see whether and how G-10 banks have complied with the 1988 Basel Capital Accord. The interest of this study lies in the fact that the standardized approach of the New Basel Accord is similar to the 1988 agreement. However, very little is known about the reaction of non-US banks to the imposition of fixed minimum capital requirements. Building on previous studies,...

Can we detect the merger paradox in the year 1908 in Germany? An event-study method that uses daily returns in contrast to former historical research gives answers. The merger paradox is not confirmed by our data, and the adaptation process of stock prices according to newly available information is finished in a few days around the event. In addition, we use cumulated abnormal returns as depen...

Recently, numerous statistical machine translation models which can utilize various kinds of translation rules are proposed. In these models, not only the conventional syntactic rules but also the non-syntactic rules can be applied. Even the pure phrase rules are includes in some of these models. Although the better performances are reported over the conventional phrase model and syntax model, ...

We briefly discuss the latest ASCA results on the X–ray spectral properties of high-redshift radio-quiet quasars.

In this paper the simultaneous localization and mapping problem in an unknown indoor environment is addressed. A probabilistic approach based on FastSLAM algorithm and line feature map is described. Experimental results performed with a smart wheelchair in an indoor environment are introduced and discussed. Copyright IFAC 2006 c ©