Facets for Art Gallery Problems

The Art Gallery Problem (AGP) asks for placing a minimum number of stationary guards in a polygonal region P, such that all points in P are guarded. The problem is known to be NP-hard, and its inherent continuous structure (with both the set of points that need to be guarded and the set of points that can be used for guarding being uncountably infinite) makes it difficult to apply a straightforward formulation as an Integer Linear Program. We use an iterative primal-dual relaxation approach for solving AGP instances to optimality. At each stage, a pair of LP relaxations for a finite candidate subset of primal covering and dual packing constraints and variables is considered; these correspond to possible guard positions and points that are to be guarded. Particularly useful are cutting planes for eliminating fractional solutions. We identify two classes of facets, based on Edge Cover and Set Cover (SC) inequalities. Solving the separation problem for the latter is NP-complete, but exploiting the underlying geometric structure, we show that large subclasses of fractional SC solutions cannot occur for the AGP. This allows us to separate the relevant subset of facets in polynomial time. We also characterize all facets for finite AGP relaxations with coefficients in {0, 1, 2}. Finally, we demonstrate the practical usefulness of our approach. Our cutting plane technique yields a significant improvement in terms of speed and solution quality due to considerably reduced integrality gaps as compared to the approach by Kr\"oller et al.Comment: 29 pages, 18 figures, 1 tabl

Microscopic mechanism for mechanical polishing of diamond (110) surfaces

Mechanically induced degradation of diamond, as occurs during polishing, is studied using total--energy pseudopotential calculations. The strong asymmetry in the rate of polishing between different directions on the diamond (110) surface is explained in terms of an atomistic mechanism for nano--groove formation. The post--polishing surface morphology and the nature of the polishing residue predicted by this mechanism are consistent with experimental evidence.Comment: 4 pages, 5 figure

Metodologia para utilização de teste Elisa na diagnose de murcha bacteriana em batata (Solanum tuberosum)

bitstream/item/31567/1/comunicado73.pd

Monitoramento de viroses em lavouras de batata-doce no Rio Grande do Sul.

bitstream/item/67315/1/Boletim-140-corrigido.pd

Avaliação de crescimento inicial de mudas de Amoreira-preta.

bitstream/item/36301/1/comunicado-247.pd

Herborização de orgãos vegetais em condições refrigeradas.

bitstream/item/30308/1/boletim-39.pd

Caracterízação de uvas finas de mesa produzidas em ambiente protegido.

bitstream/item/30483/1/boletim-85.pd

Uso de marcadores fenotípicos e bioquímicos para caracterização de isolados de Aspergillus seção Flavi

Os fungos do gênero Aspergillus seção Flavi representam uma das seções mais importantes do gênero e apresentam elevada variabilidade morfológica e bioquímica. Com o advento da abordagem polifásica, sua taxonomia tem sido constantemente revisada. O presente trabalho teve como objetivo utilizar diferentes metodologias para verificar o poder discriminatório dos métodos morfológico, bioquímico, molecular e de espectrometria de massas de isolados de Aspergillus seção Flavi. Trinta e um isolados foram analisados pelos métodos macro e micromorfológicos, potencial micotoxigênico, sequências parciais do gene da calmodulina e espectros de massas pela técnica de MALDI-TOF MS. Os dendrogramas foram gerados e os resultados foram comparados. Foi possível identificar pelo método morfológico 100% dos isolados dos quais 90,6% foram produtores de micotoxinas. Os resultados do MALDI-TOF MS apresentaram elevado poder discriminatório. Contudo, através da base de dados utilizada (SARAMISTM), não foi possível a identificação de todos os isolados por MALDI-TOF MS. Os dados da biologia molecular confirmaram todos os resultados obtidos pela caracterização morfológica. A integração dos diferentes métodos de identificação fúngica é fundamental para obter uma caracterização taxonômica eficiente, conduzindo a uma utilização segura desses fungos em processos biotecnológicos.Fabiana Couto agradece à CAPES (Brasil), pela concessão da bolsa do PDSE- Proc.8161-12-7

Controle biológico aplicado e natural da lagarta-do-cartucho do milho.

bitstream/item/44201/1/controle-biologico-lagarta.pd