background: gastric cancer is the second most common cause of death from cancer. as conflicting studies have recently been published, we aimed to evaluate the magnitude of the epidemiological evidence for an association between alcohol consumption and gastric cancer. methods: this study is a meta-analysis of case-control studies which have been performed during 1989 to 2007. we systematically r...

In this paper, I present a summary on some works that utilized static analysis techniques for understanding biological systems. Control flow analysis, context dependent analysis, and other techniques were employed to investigate the properties of BioAmbients. In this summary report, I tried to introduce the ideas and explain the techniques used in the subject papers. This summary will highlight...

We consider a base stock inventory control system serving two customer classes whose demands are generated by two independent compound renewal processes. We show how to derive order and volume fill rates of each class. Based on assumptions about first order stochastic dominance we prove when one customer class will get the best service. That theoretical result is validated through a series of n...

This paper presents a simple and fast solution to the problem of finding the time variation of n contact forces that keep an object under equilibrium while one of the n contact forces is removed/added from/to the grasp. The object is under a constant perturbation force, like for instance its own weight. It is assumed no acceleration of the object during the regrasp operation, as well as the kno...

Ball and hoop system is a well-known model for the education of linear control systems. In this paper, we have a look at this system from another perspective and show that it is also suitable for demonstration of more advanced control techniques. In contrast to the standard use, we describe the dynamics of the system at full length; in addition to the mode where the ball rolls on the (outer) ho...

recovery method has been quite popular for aircraft control system design. In the proposed method we derive an optimal control law to minimize a generalized linear quadratic performance index to achieve better recovery quality in the LTR process and better some performance in time-domain responses and frequency-domain responses as well. The resulting controller can achieve a prescribed degree o...

This paper deals with the decentralized control of an interconnected system, where each subsystem has models of all other subsystems (subject to uncertainty). A decentralized controller is constructed based on a reference centralized controller. It is shown that when a priori knowledge of each subsystem about the other subsystems’ models is exact, then the decentralized closed-loop system can p...

In the S project, core calculi have been adopted as a linguistic means to model and analyze service oriented applications. The present chapter reports about the static analysis techniques developed for the S sessionoriented core calculi CaSPiS and CC. In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation ...