Hyperfast second-order local solvers for efficient statistically preconditioned distributed optimization

Statistical preconditioning enables fast methods for distributed large-scale empirical risk minimization problems. In this approach, multiple worker nodes compute gradients in parallel, which are then used by the central node to update the parameter by solving an auxiliary (preconditioned) smaller-scale optimization problem. The recently proposed Statistically Preconditioned Accelerated Gradient (SPAG) method [1] has complexity bounds superior to other such algorithms but requires an exact solution for computationally intensive auxiliary optimization problems at every iteration. In this paper, we propose an Inexact SPAG (InSPAG) and explicitly characterize the accuracy by which the corresponding auxiliary subproblem needs to be solved to guarantee the same convergence rate as the exact method. We build our results by first developing an inexact adaptive accelerated Bregman proximal gradient method for general optimization problems under relative smoothness and strong convexity assumptions, which may be of independent interest. Moreover, we explore the properties of the auxiliary problem in the InSPAG algorithm assuming Lipschitz third-order derivatives and strong convexity. For such problem class, we develop a linearly convergent Hyperfast second-order method and estimate the total complexity of the InSPAG method with hyperfast auxiliary problem solver. Finally, we illustrate the proposed method's practical efficiency by performing large-scale numerical experiments on logistic regression models. To the best of our knowledge, these are the first empirical results on implementing high-order methods on large-scale problems, as we work with data where the dimension is of the order of 3 million, and the number of samples is 700 million

On Almost Future Temporal Logics

Dedicated to Yuri Gurevich on the occasion of his 75th birthday Abstract. Kamp’s theorem established the expressive completeness of the temporal modalities Until and Since for the First-Order Monadic Logic of Order (FOMLO) over real and natural time flows. Over natural time, a single future modality (Until) is sufficient to express all future FOMLO formulas. These are formulas whose truth value at any moment is determined by what happens from that moment on. Yet this fails to extend to real time domains: here no finite basis of future modalities can express all future FOMLO formulas. Almost future formulas extend future formulas; they depend just on the very very near past, and are independent of the rest of the past. For almost future formulas finiteness is recovered over Dedekind complete time flows. In this paper we show that there is no temporal logic with finitely many modalities which is expressively complete for the almost future fragment of FOMLO over all linear flows.

Corepressors: custom tailoring and alterations while you wait

A diverse cadre of metazoan transcription factors mediate repression by recruiting protein complexes containing the SMRT (silencing mediator of retinoid and thyroid hormone receptor) or N-CoR (nuclear receptor corepressor) corepressors. SMRT and N-CoR nucleate the assembly of still larger corepressor complexes that perform the specific molecular incantations necessary to confer transcriptional repression. Although SMRT and N-CoR are paralogs and possess similar molecular architectures and mechanistic strategies, they nonetheless exhibit distinct molecular and biological properties. It is now clear that the functions of both SMRT and N-CoR are further diversified through alternative mRNA splicing, yielding a series of corepressor protein variants that participate in distinctive transcription factor partnerships and display distinguishable repression properties. This review will discuss what is known about the structure and actions of SMRT, N-CoR, and their splicing variants, and how alternative splicing may allow the functions of these corepressors to be adapted and tailored to different cells and to different developmental stages

Repositioning the Catalytic Triad Aspartic Acid of Haloalkane Dehalogenase: Effects on Stability, Kinetics, and Structure

Haloalkane dehalogenase (DhlA) catalyzes the hydrolysis of haloalkanes via an alkyl-enzyme intermediate. The covalent intermediate, which is formed by nucleophilic substitution with Asp124, is hydrolyzed by a water molecule that is activated by His289. The role of Asp260, which is the third member of the catalytic triad, was studied by site-directed mutagenesis. Mutation of Asp260 to asparagine resulted in a catalytically inactive D260N mutant, which demonstrates that the triad acid Asp260 is essential for dehalogenase activity. Furthermore, Asp260 has an important structural role, since the D260N enzyme accumulated mainly in inclusion bodies during expression, and neither substrate nor product could bind in the active-site cavity. Activity for brominated substrates was restored to D260N by replacing Asn148 with an aspartic or glutamic acid. Both double mutants D260N+N148D and D260N+N148E had a 10-fold reduced kcat and 40-fold higher Km values for 1,2-dibromoethane compared to the wild-type enzyme. Pre-steady-state kinetic analysis of the D260N+N148E double mutant showed that the decrease in kcat was mainly caused by a 220-fold reduction of the rate of carbon-bromine bond cleavage and a 10-fold decrease in the rate of hydrolysis of the alkyl-enzyme intermediate. On the other hand, bromide was released 12-fold faster and via a different pathway than in the wild-type enzyme. Molecular modeling of the mutant showed that Glu148 indeed could take over the interaction with His289 and that there was a change in charge distribution in the tunnel region that connects the active site with the solvent. On the basis of primary structure similarity between DhlA and other α/β-hydrolase fold dehalogenases, we propose that a conserved acidic residue at the equivalent position of Asn148 in DhlA is the third catalytic triad residue in the latter enzymes.

Cancer-Associated Fibroblasts Neutralize the Anti-tumor Effect of CSF1 Receptor Blockade by Inducing PMN-MDSC Infiltration of Tumors.

Tumor-associated macrophages (TAM) contribute to all aspects of tumor progression. Use of CSF1R inhibitors to target TAM is therapeutically appealing, but has had very limited anti-tumor effects. Here, we have identified the mechanism that limited the effect of CSF1R targeted therapy. We demonstrated that carcinoma-associated fibroblasts (CAF) are major sources of chemokines that recruit granulocytes to tumors. CSF1 produced by tumor cells caused HDAC2-mediated downregulation of granulocyte-specific chemokine expression in CAF, which limited migration of these cells to tumors. Treatment with CSF1R inhibitors disrupted this crosstalk and triggered a profound increase in granulocyte recruitment to tumors. Combining CSF1R inhibitor with a CXCR2 antagonist blocked granulocyte infiltration of tumors and showed strong anti-tumor effects

Fungal diversity associated to the olive moth, prays oleae Bernard : a survey for potential entomopathogenic fungi

Olive production is one of the main agricultural activities in Portugal. In the region of Trás-os-Montes this crop has been considerably affected by Prays oleae. In order to evaluate the diversity of fungi on P. oleae population of Trás-os-Montes olive orchards, larvae and pupae of the three annual generations (phyllophagous, antophagous and carpophagous) were collected and evaluated for fungal growth on their surface. From the 3828 larvae and pupae, a high percentage of individuals exhibited growth of a fungal agent (40.6%), particularly those from the phyllophagous generation. From all the moth generations, a total of 43 species from 24 genera were identified, but the diversity and abundance of fungal species differed between the three generations. Higher diversity was found in the carpophagous generation, followed by the antophagous and phyllophagous generations. The presence of fungi displaying entomopathogenic features was highest in the phyllophagous larvae and pupae, being B. bassiana the most abundant taxa. The first report of B. bassiana presence on P. oleae could open new strategies for the biocontrol of this major pest in olive groves, since the use of an already adapted species increases the guarantee of success of a biocontrol approach. The identification of antagonistic fungi able to control agents that cause major olive diseases, such as Verticillium dahliae, will benefit future biological control approaches for limiting this increasingly spreading pathogen.This work was supported by Science and Technology Foundation (Fundação para a Ciência e Tecnologia – FCT) project PTDC/AGR-AAM/102600/2008 “Entomopathogenic fungi associated to olive pests: isolation, characterization and selection for biological control”. The first author is grateful to the Science and Technology Foundation for the PhD grant SFRH/BD/44265/2008