Search Results - "Oliveira, Mateus"

Learning from positive and negative examples: New proof for binary alphabets by Lingg, Jonas, de Oliveira Oliveira, Mateus, Wolf, Petra

“…One of the most fundamental problems in computational learning theory is the problem of learning a finite automaton A consistent with a finite set P of…”
Get full text

Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory by Baste, Julien, Fellows, Michael R., Jaffke, Lars, Masařík, Tomáš, de Oliveira Oliveira, Mateus, Philip, Geevarghese, Rosamond, Frances A.

“…•Parameterized analysis of a general notion of diversity of solutions that suits a large class of combinatorial problems.•Introduction of the notion of dynamic…”
Get full text

Revisiting the parameterized complexity of Maximum-Duo Preservation String Mapping by Komusiewicz, Christian, de Oliveira Oliveira, Mateus, Zehavi, Meirav

“…In the Maximum-Duo Preservation String Mapping (Max-Duo PSM) problem, the input consists of two related strings A and B of length n and a nonnegative integer…”
Get full text

Order Reconfiguration under Width Constraints by Arrighi, Emmanuel, Fernau, Henning, De Oliveira Oliveira, Mateus, Wolf, Petra

“…In this work, we consider the following order reconfiguration problem: Given a graph $G$ together with linear orders $\omega$ and $\omega'$ of the vertices of…”
Get full text

3D Multi-Modality Medical Imaging: Combining Anatomical and Infrared Thermal Images for 3D Reconstruction by Abreu de Souza, Mauren, Alka Cordeiro, Daoana Carolaine, Oliveira, Jonathan de, Oliveira, Mateus Ferro Antunes de, Bonafini, Beatriz Leandro

“…Medical thermography provides an overview of the human body with two-dimensional (2D) information that assists the identification of temperature changes, based…”
Get full text

An algorithmic metatheorem for directed treewidth by de Oliveira Oliveira, Mateus

“…The notion of directed treewidth was introduced by Johnson et al. (2001) as a first step towards an algorithmic metatheory for digraphs. They showed that some…”
Get full text

Succinct certification of monotone circuits by Alves, Mateus Rodrigues, de Oliveira Oliveira, Mateus, Nascimento Silva, Janio Carlos, dos Santos Souza, Uéverton

“…Monotone Boolean circuits are circuits where each gate is either an AND gate or an OR gate. In other words, negation gates are not allowed on monotone…”
Get full text

Synthesis of zinc oxide by microwave hydrothermal method for application to transesterification of soybean oil (biodiesel) by Quirino, Max Rocha, Oliveira, Mateus José C., Keyson, Davy, Lucena, Guilherme Leocárdio, Oliveira, João Bosco L., Gama, Lucianna

“…ZnO nanostructures were synthesized by microwave hydrothermal treatment using two different mineralization agents (NaOH and NH4OH), and were evaluated as…”
Get full text

Exploring the effects of the acaricide cyflumetofen on the vital organs of the honey bee Apis mellifera (Hymenoptera: Apidae) workers by Reis, Aline Beatriz, Oliveira, Mateus Soares de, Souza, Diego dos Santos, Gomes, Davy Soares, Silva, Laryssa Lemos da, Martínez, Luis Carlos, Serrão, José Eduardo

“…Bees are important for maintaining ecosystems, pollinating crops and producing marketable products. In recent years, a decline in bee populations has been…”
Get full text

Sublethal Effects Induced by a Cyflumetofen Formulation on Honeybee Apis mellifera L. Workers: Assessment of Midgut, Hypopharyngeal Glands, and Fat Body Integrity by Reis, Aline Beatriz, Martínez, Luis Carlos, Oliveira, Mateus Soares, Souza, Diego dos Santos, Gomes, Davy Soares, Silva, Laryssa Lemos da, Serrão, José Eduardo

“…Worldwide, both cultivated and wild plants are pollinated by the honey bee, Apis mellifera. Bee numbers are declining as a result of a variety of factors,…”
Get full text

On Supergraphs Satisfying CMSO Properties by Oliveira, Mateus de Oliveira

“…Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function $f$, there is an algorithm…”
Get full text

Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function by de Oliveira Oliveira, Mateus

“…In this work we study the relationship between size and treewidth of circuits computing variants of the element distinctness function. First, we show that for…”
Get full text

Experimental analysis of the carbonation and humidity diffusion processes in aerial lime mortar by Oliveira, Mateus A., Azenha, Miguel, Lourenço, Paulo B., Meneghini, Anna, Guimarães, Erika T., Castro, Fernando, Soares, Delfim

“…•Pioneering measurement of humidity diffusion in lime mortars.•Effect of specimen size on carbonation progression dependent on age of exposure.•Study of…”
Get full text

Misdiagnosis in multiple sclerosis in a Brazilian reference center: Clinical, radiological, laboratory profile and failures in the diagnostic process—Cohort study by Tieppo, Eduardo Macedo de Souza, Silva, Guilherme Diogo, Silva, Tomás Fraga Ferreira da, Araujo, Roger Santana de, Oliveira, Mateus Boaventura de, Spricigo, Mariana Gondim Peixoto, Pimentel, Gabriela Almeida, Campana, Igor Gusmão, Castrillo, Bruno Batitucci, Mendes, Natalia Trombini, Teixeira, Larissa Silva, Nunes, Douglas Mendes, Rimkus, Carolina de Medeiros, Adoni, Tarso, Apóstolos Pereira, Samira Luisa, Callegaro, Dagoberto

“…Background: Multiple sclerosis misdiagnosis remains a problem despite the well-validated McDonald 2017. For proper evaluation of errors in the diagnostic…”
Get full text

On the Satisfiability of Quantum Circuits of Small Treewidth by Oliveira Oliveira, Mateus de

“…It has been known for almost three decades that many NP-hard optimization problems can be solved in polynomial time when restricted to structures of constant…”
Get full text

Trophic ecology of two amphibian species in patches and core forest of Atlantic Forest: A dietary and isotopic approach by Oliveira, Mateus, Moser, Camila Fernanda, Rebelato, Marluci Muller, Camargo, Plínio Barbosa, Tozetti, Alexandro Marques

“…Species richness and abundance, as well as trophic relationships, are affected by habitat configuration. Smaller habitat patches suffer greater external…”
Get full text

The antibacterial performance of a residual disinfectant against Staphylococcus aureus on environmental surfaces by Omardien, Soraya, Pingulkar, Sarvesh, Thayagan, Mariska, Buniotto, Laura, de Oliveira Negreiros, Mateus

“…Environmental surfaces play a key role in transmitting pathogens that can survive on surfaces for long durations. The interest in long-lasting or residual…”
Get full text

Computing the zig-zag number of directed graphs by Dourado, Mitre C., de Figueiredo, Celina M.H., de Melo, Alexsander A., de Oliveira Oliveira, Mateus, Souza, Uéverton S.

“…The notion of zig-zag number was introduced as an attempt to provide a unified algorithmic framework for directed graphs. Nevertheless, little was known about…”
Get full text

Landslide susceptibility mapping using logistic regression, random forests, and artificial neural networks: a case study in Mariana/MG, Brazil by Xavier, Mateus Oliveira, Barella, César Falcão

“…The landslide susceptibility mapping (LSM) plays an important role in risk management. This study evaluated the predictive capabilities of three machine…”
Get full text

Statistical Analysis of the Chemical Composition of Concrete Slurry Waste: A Case Study of Sedimentation Tanks from Concrete Batching Plants in Manaus-Brazil by Guimarães, Jéssica Raíssa, de Faria, Yves Nathan, de Oliveira, Mateus, Manzato, Lizandro, Silva, Cláudia

“…Concrete slurry waste is a material removed from sedimentation tanks that receive water used to wash concrete mixer trucks and patios of concrete batching…”
Get full text