Salaries of Members of Congress: A List of Payable Rates and Effective Dates, 1789-2008

Congress is required by Article I, Section 6, of the Constitution to determine its own pay. Prior to 1969, Congress did so by enacting stand-alone legislation. From 1789 through 1968, Congress raised its pay 22 times using this procedure. Congressional salaries initially were $1,500. By 1968, they had risen to$30,000. Stand-alone legislation may still be used to raise Member pay, as it was most recently in 1982, 1983, 1989, and 1991, but two other methods — including an automatic annual adjustment procedure and a commission process — are now also available. Under the annual adjustment procedure, Members were scheduled to receive a 2.7% increase in January 2008. The increase was revised to 2.5%, resulting in a salary in 2008 of $169,300, to match the percent increase in the base pay of General Schedule (GS) employees. By law, Members may not receive an increase greater than the increase in the base pay of GS employees. Congress voted to deny the scheduled January 2007 adjustment. Members last received a pay increase (1.9$165,200

The twilight world of British business politics: the Spring Sunningdale conferences since the 1960s

This article explores a previously unknown form of interaction, known as Spring Sunningdale, between the British business elite and its civil servant equivalent in Whitehall. These began in 1963 and were still continuing only a few years ago. The continuity and stability of these meetings stands in contrast to wider changes in the nature of business–government relations in Britain during this period, particularly since the election of the Thatcher government in 1979. The article analyses why there was such continuity and what the senior civil servants and the captains of industry who attended these annual meetings gained from them

Model Checking CTL is Almost Always Inherently Sequential

The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already studied for LTL by Sistla and Clarke (1985) and Markey (2004). For all these fragments, except for the trivial case without any temporal operator, we systematically prove model checking to be either inherently sequential (P-complete) or very efficiently parallelizable (LOGCFL-complete). For most fragments, however, model checking for CTL is already P-complete. Hence our results indicate that, in cases where the combined complexity is of relevance, approaching CTL model checking by parallelism cannot be expected to result in any significant speedup. We also completely determine the complexity of the model checking problem for all fragments of the extensions ECTL, CTL+, and ECTL+

A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Assessment of Health and Nutritional Status Under the Integrated Child Development Services: in the Field Practice Area of Rural Training Health Centre, Nadayara, Travancore Medical College, Kollam-India

Assessment of health and nutritional status was carried out in Anganwadi Children in the Field Practice Area of Rural Training Health Centre, Nadayara, Travancore Medical College, Kollam. This is a cross sectional study within community base setting. Data were collected by a pretested structured questionnaire and analyzed by applying SPSS. Undernourished children in the Anganwadis under study were 21 %. Growth pattern of these children were significantly associated with the birth weight and the episodes of diarrhea. A significant proportion of children are missing the booster doses. DPT booster (16-24 months) is only 74.1 % and DT booster (5-6 years) is only a meager of 13.6

Amplication of 0.7kb Fragment Katg Gene From Clinical Multi Drug Resistant Tuberculosis Isolate in Bali

During last decade has seen a particular increase in the occurrence of drug-resistant of tuberculosis (DR-TB) and multi-DR strains, such as Isoniazid (INH) resistant strains of M. tuberculosis. INH resistance is more frequently associated with mutations in the katG gene. Detection of katG gene mutations can be performed by PCR technique, followed by sequences. The aim of this study is to amplify katG gene region (0,7 Kb) from clinical isolate of MDR-TB in Bali. DNA isolation for PCR was done by Boom method and katG gene amplification was performed under the following conditions: predenaturation at 950C for 15 min; fourty cycles of denaturation at 940C for 1 min, annealing at 560C for 1 min, extension at 720C for 2 min; final extension at 720C for 10 min. The amplicons were detected by 1.5% agarose gel electrophoresis and showed a specific band size at 0.7 kb. This suggests that the fragment of katG gene has been successfully amplified in these areas

Convergent sequences of perturbative approximations for the anharmonic oscillator I. Harmonic approach

We present numerical evidence that a simple variational improvement of the ordinary perturbation theory of the quantum anharmonic oscillator can give a convergent sequence of approximations even in the extreme strong coupling limit, the purely anharmonic case. Some of the new techniques of this paper can be extended to renormalizable field theories.Comment: 29 pages, 12 Postscript figures available through anonymous ftp at ftp://algol.lpm.univ-montp2.fr ; replaces earlier version which could not be postscripted presumably due to lack of figures.uu fil