Power spectra of TASEPs with a localized slow site

The totally asymmetric simple exclusion process (TASEP) with a localized defect is revisited in this article with attention paid to the power spectra of the particle occupancy N(t). Intrigued by the oscillatory behaviors in the power spectra of an ordinary TASEP in high/low density phase(HD/LD) observed by Adams et al. (2007 Phys. Rev. Lett. 99 020601), we introduce a single slow site with hopping rate q<1 to the system. As the power spectrum contains time-correlation information of the particle occupancy of the system, we are particularly interested in how the defect affects fluctuation in particle number of the left and right subsystems as well as that of the entire system. Exploiting Monte Carlo simulations, we observe the disappearance of oscillations when the defect is located at the center of the system. When the defect is off center, oscillations are restored. To explore the origin of such phenomenon, we use a linearized Langevin equation to calculate the power spectrum for the sublattices and the whole lattice. We provide insights into the interactions between the sublattices coupled through the defect site for both simulation and analytical results.Comment: 16 pages, 6 figures; v2: Minor revision

Quantitative Models and Implicit Complexity

We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs are based on a common semantical framework which is merely instantiated in four different ways. The framework consists of an innovative modification of realizability which allows us to use resource-bounded computations as realisers as opposed to including all Turing computable functions as is usually the case in realizability constructions. For example, all realisers in the model for LFPL are polynomially bounded computations whence soundness holds by construction of the model. The work then lies in being able to interpret all the required constructs in the model. While being the first entirely semantical proof of polytime soundness for light logi cs, our proof also provides a notable simplification of the original already semantical proof of polytime soundness for LFPL. A new result made possible by the semantic framework is the addition of polymorphism and a modality to LFPL thus allowing for an internal definition of inductive datatypes.Comment: 29 page

The association of statin use after cancer diagnosis with survival in pancreatic cancer patients: a SEER-medicare analysis.

BackgroundPancreatic cancer has poor prognosis and existing interventions provide a modest benefit. Statin has anti-cancer properties that might enhance survival in pancreatic cancer patients. We sought to determine whether statin treatment after cancer diagnosis is associated with longer survival in those with pancreatic ductal adenocarcinoma (PDAC).MethodsWe analyzed data on 7813 elderly patients with PDAC using the linked Surveillance, Epidemiology, and End Results (SEER) - Medicare claims files. Information on the type, intensity and duration of statin use after cancer diagnosis was extracted from Medicare Part D. We treated statin as a time-dependent variable in a Cox regression model to determine the association with overall survival adjusting for follow-up, age, sex, race, neighborhood income, stage, grade, tumor size, pancreatectomy, chemotherapy, radiation, obesity, dyslipidemia, diabetes, chronic pancreatitis and chronic obstructive pulmonary disease (COPD).ResultsOverall, statin use after cancer diagnosis was not significantly associated with survival when all PDAC patients were considered (HR = 0.94, 95%CI 0.89, 1.01). However, statin use after cancer diagnosis was associated with a 21% reduced hazard of death (Hazard ratio = 0.79, 95% confidence interval (CI) 0.67, 0.93) in those with grade I or II PDAC and to a similar extent in those who had undergone a pancreatectomy, in those with chronic pancreatitis and in those who had not been treated with statin prior to cancer diagnosis.ConclusionsWe found that statin treatment after cancer diagnosis is associated with enhanced survival in patients with low-grade, resectable PDAC

Planetary Collisions outside the Solar System: Time Domain Characterization of Extreme Debris Disks

Luminous debris disks of warm dust in the terrestrial planet zones around solar-like stars are recently found to vary, indicative of ongoing large-scale collisions of rocky objects. We use Spitzer 3.6 and 4.5 {\mu}m time-series observations in 2012 and 2013 (extended to 2014 in one case) to monitor 5 more debris disks with unusually high fractional luminosities ("extreme debris disk"), including P1121 in the open cluster M47 (80 Myr), HD 15407A in the AB Dor moving group (80 Myr), HD 23514 in the Pleiades (120 Myr), HD 145263 in the Upper Sco Association (10 Myr), and the field star BD+20 307 (>1 Gyr). Together with the published results for ID8 in NGC 2547 (35 Myr), this makes the first systematic time-domain investigation of planetary impacts outside the solar system. Significant variations with timescales shorter than a year are detected in five out of the six extreme debris disks we have monitored. However, different systems show diverse sets of characteristics in the time domain, including long-term decay or growth, disk temperature variations, and possible periodicity.Comment: 50 pages, 14 figures, 9 tables; Accepted for publication in the Astrophysical Journa

Characterization of a large-format, fine-pitch CdZnTe pixel detector for the HEFT balloon-Borne experiment

We have developed a large-format CdZnTe pixel detector with custom, low-noise ASIC readout, for astrophysical applications. In particular, this detector is targeted for use in the High-Energy Focusing Telescope (HEFT), a balloon-borne experiment with focusing optics for 20-70 keV. The detector is a 24 X 44 pixel array of 498-µm pitch. As a focal plane detector, uniformity from pixel to pixel is very desirable. In this paper, we present the characterization of some detector properties for the 1056 pixels on the HEFT detector. These properties include electronic noise, leakage current, spectral resolution, and count rate

Parameterized bounded-depth Frege is not optimal

A general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [9]. There the authors concentrate on tree-like Parameterized Resolution-a parameterized version of classical Resolution-and their gap complexity theorem implies lower bounds for that system. The main result of the present paper significantly improves upon this by showing optimal lower bounds for a parameterized version of bounded-depth Frege. More precisely, we prove that the pigeonhole principle requires proofs of size n in parameterized bounded-depth Frege, and, as a special case, in dag-like Parameterized Resolution. This answers an open question posed in [9]. In the opposite direction, we interpret a well-known technique for FPT algorithms as a DPLL procedure for Parameterized Resolution. Its generalization leads to a proof search algorithm for Parameterized Resolution that in particular shows that tree-like Parameterized Resolution allows short refutations of all parameterized contradictions given as bounded-width CNF's

#Bieber + #Blast = #BieberBlast: Early Prediction of Popular Hashtag Compounds

Compounding of natural language units is a very common phenomena. In this paper, we show, for the first time, that Twitter hashtags which, could be considered as correlates of such linguistic units, undergo compounding. We identify reasons for this compounding and propose a prediction model that can identify with 77.07% accuracy if a pair of hashtags compounding in the near future (i.e., 2 months after compounding) shall become popular. At longer times T = 6, 10 months the accuracies are 77.52% and 79.13% respectively. This technique has strong implications to trending hashtag recommendation since newly formed hashtag compounds can be recommended early, even before the compounding has taken place. Further, humans can predict compounds with an overall accuracy of only 48.7% (treated as baseline). Notably, while humans can discriminate the relatively easier cases, the automatic framework is successful in classifying the relatively harder cases.Comment: 14 pages, 4 figures, 9 tables, published in CSCW (Computer-Supported Cooperative Work and Social Computing) 2016. in Proceedings of 19th ACM conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2016

Interpreting forest and grassland biome productivity utilizing nested scales of image resolution and biogeographical analysis

Several hardware, software, and data collection problems encountered were conquered. The Geographic Information System (GIS) data from other systems were converted to ERDAS format for incorporation with the image data. Statistical analysis of the relationship between spectral values and productivity is being pursued. Several project sites, including Jackson, Pope, Boulder, Smokies, and Huntington Forest are evolving as the most intensively studied areas, primarily due to availability of data and time. Progress with data acquisition and quality checking, more details on experimental sites, and brief summarizations of research results and future plans are discussed. Material on personnel, collaborators, facilities, site background, and meetings and publications of the investigators are included