Control Plane Compression

We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original network, there exists a corresponding solution in the compressed network, and vice versa. Our compression algorithm preserves a wide variety of network properties including reachability, loop freedom, and path length. Consequently, operators may speed up network analysis, based on simulation, emulation, or verification, by analyzing only the compressed network. Our approach is based on a new theory of control plane equivalence. We implement these ideas in a tool called Bonsai and apply it to real and synthetic networks. Bonsai can shrink real networks by over a factor of 5 and speed up analysis by several orders of magnitude.Comment: Extended version of the paper appearing in ACM SIGCOMM 201

Cancer Patterns in Karachi Division (1998-1999)

Objective: A minimal cancer incidence data for Karachi, the largest city of Pakistan, is being presented here, for the years 1998-1999. The city has a population of 9,802,134; males 5,261,712 (52.6%) and females 4,540,422 (47.4%); census 19981. Methodology: A predominantly mixed (passive and active) registration system has evolved in Karachi, the data sources being the hospitals within the Karachi Division. The reported/retrieved cancer data sets at the Karachi Cancer Registry are checked, coded, computerised in an analytical format and analysed. Results: The incident cancer cases registered in Karachi, during the 2-year period, 1st January 1998 to 31st December 1999 were analysed. The age-standardised incidence rate (ASR) of cancer, all sites was 132.4/100,000 for the males. Cancer of the lung 10.8%; ASR 17.3 was the most frequently recorded malignancy, followed by oral cavity 10.5%; ASR 13.2 and larynx 5.0%; ASR 7.4. The age-standardised incidence rate (ASR) of cancer, all sites was 133.0/100,000 in the females. Cancer of the breast, 32.0%; ASR 40.7 was the most frequently recorded malignancy, followed by oral cavity 8.1%; ASR 11.7 and gall bladder 3.6%; ASR 5.5. Conclusion: The present data has been calculated with an estimated 15-20% probable under ascertainment. Tobacco-associated cancers in Karachi were responsible for 38.3% of the tumours diagnosed amongst the males. Two principal cancers, breast and oral cavity were responsible for 40.1% of the cancers in females. A rare finding was the high incidence of gall bladder cancer in the females. At present it is difficult to determine whether this indicates a genuine high risk or a selection bias. A continuous process of cancer registration to study the trends in the incidence and an adequate cancer control program are possible and essential for Pakistan and can be based on the pattern being practiced in Karachi

Symbolic Computation via Program Transformation

Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we show that it is feasible, and in fact practical, to use a compiler-based strategy instead. Using compiler tooling, we propose and implement a transformation which takes a standard program and outputs a program that performs semantically equivalent, but partially symbolic, computation. The transformed program maintains symbolic values internally and operates directly on them hence the program can be processed by a tool without support for symbolic manipulation. The main motivation for the transformation is in symbolic verification, but there are many other possible use-cases, including test generation and concolic testing. Moreover using the transformation simplifies tools, since the symbolic computation is handled by the program directly. We have implemented the transformation at the level of LLVM bitcode. The paper includes an experimental evaluation, based on an explicit-state software model checker as a verification backend

Precise measurement of the W-boson mass with the CDF II detector

We have measured the W-boson mass MW using data corresponding to 2.2/fb of integrated luminosity collected in proton-antiproton collisions at 1.96 TeV with the CDF II detector at the Fermilab Tevatron collider. Samples consisting of 470126 W->enu candidates and 624708 W->munu candidates yield the measurement MW = 80387 +- 12 (stat) +- 15 (syst) = 80387 +- 19 MeV. This is the most precise measurement of the W-boson mass to date and significantly exceeds the precision of all previous measurements combined

Search for the standard model Higgs boson in the H to ZZ to 2l 2nu channel in pp collisions at sqrt(s) = 7 TeV

A search for the standard model Higgs boson in the H to ZZ to 2l 2nu decay channel, where l = e or mu, in pp collisions at a center-of-mass energy of 7 TeV is presented. The data were collected at the LHC, with the CMS detector, and correspond to an integrated luminosity of 4.6 inverse femtobarns. No significant excess is observed above the background expectation, and upper limits are set on the Higgs boson production cross section. The presence of the standard model Higgs boson with a mass in the 270-440 GeV range is excluded at 95% confidence level.Comment: Submitted to JHE

Planning “Exceptionalism”? Political Economy of Climate Resilient Development in Bangladesh

Following three major disasters in 2007, Bangladesh intensified its effort to tackle climate change through development of the Bangladesh Climate Change Strategy and Action Plan (BCCSAP). The process of plan formulation led to debates nationally and internationally regarding the financing and integration of climate change into development planning. Using a political economic lens, this article illustrates how major national initiatives around international problems must be understood in terms of the interplay of actors, their ideas and power relations. The article argues that: (a) power relations among actors significantly influenced the selection of ideas and implementation activities; (b) donor concerns around aid effectiveness and consequent creation of parallel mechanisms of planning and implementation may run counter to both the mainstreaming process and the alignment of assistance with country priorities and systems; (c) climate change planning processes must be opened up to include actors from across sectors, population groups and geographical areas

Search for anomalous t t-bar production in the highly-boosted all-hadronic final state

A search is presented for a massive particle, generically referred to as a Z', decaying into a t t-bar pair. The search focuses on Z' resonances that are sufficiently massive to produce highly Lorentz-boosted top quarks, which yield collimated decay products that are partially or fully merged into single jets. The analysis uses new methods to analyze jet substructure, providing suppression of the non-top multijet backgrounds. The analysis is based on a data sample of proton-proton collisions at a center-of-mass energy of 7 TeV, corresponding to an integrated luminosity of 5 inverse femtobarns. Upper limits in the range of 1 pb are set on the product of the production cross section and branching fraction for a topcolor Z' modeled for several widths, as well as for a Randall--Sundrum Kaluza--Klein gluon. In addition, the results constrain any enhancement in t t-bar production beyond expectations of the standard model for t t-bar invariant masses larger than 1 TeV.Comment: Submitted to the Journal of High Energy Physics; this version includes a minor typo correction that will be submitted as an erratu

Measurement of the t t-bar production cross section in the dilepton channel in pp collisions at sqrt(s) = 7 TeV

The t t-bar production cross section (sigma[t t-bar]) is measured in proton-proton collisions at sqrt(s) = 7 TeV in data collected by the CMS experiment, corresponding to an integrated luminosity of 2.3 inverse femtobarns. The measurement is performed in events with two leptons (electrons or muons) in the final state, at least two jets identified as jets originating from b quarks, and the presence of an imbalance in transverse momentum. The measured value of sigma[t t-bar] for a top-quark mass of 172.5 GeV is 161.9 +/- 2.5 (stat.) +5.1/-5.0 (syst.) +/- 3.6(lumi.) pb, consistent with the prediction of the standard model.Comment: Replaced with published version. Included journal reference and DO

Search for New Physics with Jets and Missing Transverse Momentum in pp collisions at sqrt(s) = 7 TeV

A search for new physics is presented based on an event signature of at least three jets accompanied by large missing transverse momentum, using a data sample corresponding to an integrated luminosity of 36 inverse picobarns collected in proton--proton collisions at sqrt(s)=7 TeV with the CMS detector at the LHC. No excess of events is observed above the expected standard model backgrounds, which are all estimated from the data. Exclusion limits are presented for the constrained minimal supersymmetric extension of the standard model. Cross section limits are also presented using simplified models with new particles decaying to an undetected particle and one or two jets