Hardness Amplification of Optimization Problems

In this paper, we prove a general hardness amplification scheme for optimization problems based on the technique of direct products. We say that an optimization problem ? is direct product feasible if it is possible to efficiently aggregate any k instances of ? and form one large instance of ? such that given an optimal feasible solution to the larger instance, we can efficiently find optimal feasible solutions to all the k smaller instances. Given a direct product feasible optimization problem ?, our hardness amplification theorem may be informally stated as follows: If there is a distribution D over instances of ? of size n such that every randomized algorithm running in time t(n) fails to solve ? on 1/?(n) fraction of inputs sampled from D, then, assuming some relationships on ?(n) and t(n), there is a distribution D\u27 over instances of ? of size O(n??(n)) such that every randomized algorithm running in time t(n)/poly(?(n)) fails to solve ? on 99/100 fraction of inputs sampled from D\u27. As a consequence of the above theorem, we show hardness amplification of problems in various classes such as NP-hard problems like Max-Clique, Knapsack, and Max-SAT, problems in P such as Longest Common Subsequence, Edit Distance, Matrix Multiplication, and even problems in TFNP such as Factoring and computing Nash equilibrium

Particle displacements in the elastic deformation of amorphous materials: local fluctuations vs. non-affine field

We study the local disorder in the deformation of amorphous materials by decomposing the particle displacements into a continuous, inhomogeneous field and the corresponding fluctuations. We compare these fields to the commonly used non-affine displacements in an elastically deformed 2D Lennard-Jones glass. Unlike the non-affine field, the fluctuations are very localized, and exhibit a much smaller (and system size independent) correlation length, on the order of a particle diameter, supporting the applicability of the notion of local "defects" to such materials. We propose a scalar "noise" field to characterize the fluctuations, as an additional field for extended continuum models, e.g., to describe the localized irreversible events observed during plastic deformation.Comment: Minor corrections to match the published versio

On Ladder Logic Bombs in Industrial Control Systems

In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware written in ladder logic (or one of the other IEC 61131-3-compatible languages). Such malware would be inserted by an attacker into existing control logic on a PLC, and either persistently change the behavior, or wait for specific trigger signals to activate malicious behaviour. For example, the LLB could replace legitimate sensor readings with manipulated values. We see the concept of LLBs as a generalization of attacks such as the Stuxnet attack. We introduce LLBs on an abstract level, and then demonstrate several designs based on real PLC devices in our lab. In particular, we also focus on stealthy LLBs, i.e. LLBs that are hard to detect by human operators manually validating the program running in PLCs. In addition to introducing vulnerabilities on the logic layer, we also discuss countermeasures and we propose two detection techniques.Comment: 11 pages, 14 figures, 2 tables, 1 algorith

A study of the dynamics of rotating space stations with elastically connected counterweight and attached flexible appendages. Volume 1: Theory

The formulation of a mathematical model for predicting the dynamic behavior of rotating flexible space station configurations was conducted. The overall objectives of the study were: (1) to develop the theoretical techniques for determining the behavior of a realistically modeled rotating space station, (2) to provide a versatile computer program for the numerical analysis, and (3) to present practical concepts for experimental verification of the analytical results. The mathematical model and its associated computer program are described

International study into the use of intermittent hormone therapy in the treatment of carcinoma of the prostate : A meta-analysis of 1446 patients

OBJECTIVE: To review pooled phase II data to identify features of different regimens of intermittent hormone therapy (IHT), developed to reduce the morbidity of treating metastatic prostate cancer, and which carries a theoretical advantage of delaying the onset of androgen-independent prostate cancer, (AIPC) that are associated with success, highlighting features which require exploration with prospective trials to establish the best strategies for using this treatment. METHODS: Individual data were collated on 1446 patients with adequate information, from 10 phase II studies with >50 cases, identified through Pubmed. RESULTS: Univariate and multivariate Cox proportional hazard models were developed to predict treatment success with a high degree of statistical success. The prostate-specific antigen (PSA) nadir, the PSA threshold to restart treatment, and medication type and duration, were important predictors of outcome. CONCLUSIONS: The duration of biochemical remission after a period of HT is a durable early indicator of how rapidly AIPC and death will occur, and will make a useful endpoint in future trials to investigate the best ways to use IHT based on the important treatment cycling variables described above. Patients spent a mean of 39% of the time off treatment. The initial PSA level and PSA nadir allow the identification of patients with prostate cancer in whom it might be possible to avoid radical therapy.Peer reviewe

Galectin-1 is essential for efficient liver regeneration following hepatectomy

Galectin-1 (Gal1) is a known immune/inflammatory regulator which actsboth extracellularly and intracellularly, modulating innate and adaptive immuneresponses. Here, we explored the role of Gal1 in liver regeneration using 70% partial hepatectomy (PHx) of C57BL/6 wild type and Gal1-knockout (Gal1-KO, Lgals1-/-) mice. Gene or protein expression, in liver samples collected at time intervals from 2 to 168 hours post-operation, was tested by either RT-PCR or by immunoblotting and immunohistochemistry, respectively. We demonstrated that Gal1 transcript and protein expression was induced in the liver tissue of wild type mice upon PHx. Liver regeneration following PHx was significantly delayed in the Gal1-KO compared to the control liver. This delay was accompanied by a decreased Akt phosphorylation, and accumulation of the hepatocyte nuclear p21 protein in the Gal1-KO versus control livers at 24 and 48 hours following PHx. Transcripts of several known regulators of inflammation, cell cycle and cell signaling, including some known PHx-induced genes, were aberrantly expressed (mainly down-regulated) in Gal1-KO compared to control livers at 2, 6 and 24 hours post-PHx. Transient steatosis, which is imperative for liver regeneration following PHx, was significantly delayed and decreased in the Gal1- KO compared to the control liver and was accompanied by a significantly decreased expression in the mutant liver of several genes encoding lipid metabolism regulators.Our results demonstrate that Gal1 protein is essential for efficient liver regeneration following PHx through the regulation of liver inflammation, hepatic cell proliferation, and the control of lipid storage in the regenerating liver.Fil: Potikha, Tamara. Hadassah Hebrew University Medical Center; IsraelFil: Ella, Ezra. Hadassah Hebrew University Medical Center; IsraelFil: Cerliani, Juan Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; ArgentinaFil: Mizrahi, Lina. Hadassah Hebrew University Medical Center; IsraelFil: Pappo, Orit. Hadassah Hebrew University Medical Center; IsraelFil: Rabinovich, Gabriel Adrián. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Biología y Medicina Experimental. Fundación de Instituto de Biología y Medicina Experimental. Instituto de Biología y Medicina Experimental; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; ArgentinaFil: Galun, Eithan. Hadassah Hebrew University Medical Center; IsraelFil: Goldenberg, Daniel S.. Hadassah Hebrew University Medical Center; Israe

The brattleboro rat displays a natural deficit in social discrimination that is restored by clozapine and a neurotensin analog.

Cognitive deficits in schizophrenia are a major source of dysfunction for which more effective treatments are needed. The vasopressin-deficient Brattleboro (BRAT) rat has been shown to have several natural schizophrenia-like deficits, including impairments in prepulse inhibition and memory. We investigated BRAT rats and their parental strain, Long-Evans (LE) rats, in a social discrimination paradigm, which is an ethologically relevant animal test of cognitive deficits of schizophrenia based upon the natural preference of animals to investigate conspecifics. We also investigated the effects of the atypical antipsychotic, clozapine, and the putative antipsychotic, PD149163, a brain-penetrating neurotensin-1 agonist, on social discrimination in these rats. Adult rats were administered saline or one of the three doses of clozapine (0.1, 1.0, or 10 mg/kg) or PD149163 (0.1, 0.3, or 1.0 mg/kg), subcutaneously. Following drug administration, adult rats were exposed to a juvenile rat for a 4-min learning period. Animals were then housed individually for 30 min and then simultaneously exposed to the juvenile presented previously and a new juvenile for 4 min. Saline-treated LE rats, but not BRAT rats, exhibited intact social discrimination as evidenced by greater time spent exploring the new juvenile. The highest dose of clozapine and the two highest doses of PD149163 restored social discrimination in BRAT rats. These results provide further support for the utility of the BRAT rat as a genetic animal model relevant to schizophrenia and drug discovery. The potential of neurotensin agonists as putative treatments for cognitive deficits of schizophrenia was also supported

Force Chains, Microelasticity and Macroelasticity

It has been claimed that quasistatic granular materials, as well as nanoscale materials, exhibit departures from elasticity even at small loadings. It is demonstrated, using 2D and 3D models with interparticle harmonic interactions, that such departures are expected at small scales [below O(100) particle diameters], at which continuum elasticity is invalid, and vanish at large scales. The models exhibit force chains on small scales, and force and stress distributions which agree with experimental findings. Effects of anisotropy, disorder and boundary conditions are discussed as well.Comment: 4 pages, 11 figures, RevTeX 4, revised and resubmitted to Phys. Rev. Let