Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets

We extend results of Bonet, Buss and Pitassi on Bondy's Theorem and of Nozaki, Arai and Arai on Bollobas' Theorem by proving that Frankl's Theorem on the trace of sets has quasipolynomial size Frege proofs. For constant values of the parameter t, we prove that Frankl's Theorem has polynomial size AC(0)-Frege proofs from instances of the pigeonhole principle.Peer ReviewedPostprint (author's final draft

2-D Tucker is PPA complete

The 2-D Tucker search problem is shown to be PPA-hard under many-one reductions; therefore it is complete for PPA. The same holds for k-D Tucker for all k≥2. This corrects a claim in the literature that the Tucker search problem is in PPAD.Peer ReviewedPostprint (author's final draft

Short proofs of the Kneser-Lovász coloring principle

We prove that propositional translations of the Kneser–Lovász theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs for all fixed values of k. We present a new counting-based combinatorial proof of the K neser–Lovász theorem based on the Hilton–Milner theorem; this avoids the topological arguments of prior proofs for all but finitely many base cases. We introduce new “truncated Tucker lemma” principles, which are miniaturizations of the octahedral Tucker lemma. The truncated Tucker lemma implies the Kneser–Lovász theorem. We show that the k=1 case of the truncated Tucker lemma has polynomial size extended Frege proofs.Peer ReviewedPostprint (author's final draft

Regionalização para o cultivo do feijão no Rio Grande do Sul com base na interação genótipo x ambiente¹.

bitstream/item/59171/1/Iraja-V59N002P19810.pd

Community assessment to advance computational prediction of cancer drug combinations in a pharmacogenomic screen

The effectiveness of most cancer targeted therapies is short-lived. Tumors often develop resistance that might be overcome with drug combinations. However, the number of possible combinations is vast, necessitating data-driven approaches to find optimal patient-specific treatments. Here we report AstraZeneca's large drug combination dataset, consisting of 11,576 experiments from 910 combinations across 85 molecularly characterized cancer cell lines, and results of a DREAM Challenge to evaluate computational strategies for predicting synergistic drug pairs and biomarkers. 160 teams participated to provide a comprehensive methodological development and benchmarking. Winning methods incorporate prior knowledge of drug-target interactions. Synergy is predicted with an accuracy matching biological replicates for >60% of combinations. However, 20% of drug combinations are poorly predicted by all methods. Genomic rationale for synergy predictions are identified, including ADAM17 inhibitor antagonism when combined with PIK3CB/D inhibition contrasting to synergy when combined with other PI3K-pathway inhibitors in PIK3CA mutant cells

Frame-Semantic Role Labeling with Heterogeneous Annotations

We consider the task of identifying and labeling the semantic arguments of a predicate that evokes a FrameNet frame. This task is challenging because there are only a few thousand fully annotated sentences for supervised training. Our approach augments an existing model with features derived from FrameNet and PropBank and with partially annotated exemplars from FrameNet. We observe a 4% absolute increase in F1 versus the original model

Reaction and colonization of common bean genotypes by Curtobacterium flaccumfaciens pv. Flaccumfaciens

Bacterial wilt is one of the main diseases of common beans and the use of cultivars with some level of resistance is fundamental for an adequate disease management. The reaction of 54 common bean genotypes to Curtobacterium flaccumfaciens pv. flaccumfaciens (Cff) was evaluated, and the colonization of cultivars and obstruction of primary xylem vessels at the petiole base were assessed. In greenhouse and laboratory tests, resistance was detected in the cultivars IAC Diplomata, IAC Alvorada, IAC Imperador, IPR Corujinha, and IPR Tangará, and in the lines P5-4-4-1 and C4-5-4-1-2. The Cff colonization rate was also slower in the resistant cultivars (IAC Diplomata, IAC Carioca Tybatã, and IAC Carioca Pyatã) and the percentage of obstruction of primary xylem vessels at the petiole base lower than in the susceptible cultivars (IAC Carioca and Pérola).A murcha-de-curtobacterium é umas principais doenças do feijoeiro e o uso de cultivares com níveis de resistência é fundamental para o manejo adequado da doença. A reação de 54 genótipos de feijoeiro comum a um isolado de Curtobacterium flaccumfaciens pv. flaccumfaciens (Cff) foi avaliada, assim como a colonização de cultivares e a obstrução de vasos de xilema primário da base de pecíolos de plantas inoculadas foram quantificadas. Ensaios conduzidos em casa-de-vegetação e laboratório evidenciaram resistência nas cultivares IAC Diplomata, IAC Alvorada, IAC Imperador, IPR Corujinha e IPR Tangará e nas linhagens P5-4-4-1 e C4-5-4-1-2. Uma menor velocidade de colonização por Cff também foi evidenciada nas cultivares resistentes (IAC Diplomata, IAC Carioca Tybatã e IAC Carioca Pyatã), assim como uma menor porcentagem de obstrução dos vasos de xilema primários na base de pecíolos, em comparação às cultivares suscetíveis (IAC Carioca e Pérola).Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Instituto Agronômico de CampinasInstituto Agronômico do ParanáUNESP Faculdade de Ciências Agronômicas Departamento de Proteção Vegeta