On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Soil-induced impacts on forest structure drive coarse woody debris stocks across central Amazonia

PublishedJournal Article© 2014, © 2014 Botanical Society of Scotland and Taylor & Francis. Background: Coarse woody debris (CWD) is an essential component in tropical forest ecosystems and its quantity varies widely with forest types. Aims: Relationships among CWD, soil, forest structure and other environmental factors were analysed to understand the drivers of variation in CWD in forests on different soil types across central Amazonia. Methods: To estimate CWD stocks and density of dead wood debris, 75 permanent forest plots of 0.5 ha in size were assessed along a transect that spanned ca. 700 km in undisturbed forests from north of the Rio Negro to south of the Rio Amazonas. Soil physical properties were evaluated by digging 2-m-deep pits and by taking auger samples. Results: Soil physical properties were the best predictors of CWD stocks; 37% of its variation was explained by effective soil depth. CWD stocks had a two-fold variation across a gradient of physical soil constraints (i.e. effective soil depth, anoxia and soil structure). Average biomass per tree was related to physical soil constraints, which, in turn, had a strong relationship with local CWD stocks. Conclusions: Soil physical properties appear to control average biomass per tree (and through this affect forest structure and dynamics), which, in turn, is correlated with CWD production and stocks

Asymptotic stability for population models and neural networks with delays

Tese de doutoramento em Matemática (Análise Matemática), apresentada à Universidade de Lisboa através da Faculdade de Ciências, 2008In this thesis, the global asymptotic stability of solutions of several functional differential equations is addressed, with particular emphasis on the study of global stability of equilibrium points of population dynamics and neural network models. First, for scalar retarded functional differential equations, we use weaker versions of the usual Yorke and 3/2-type conditions, to prove the global attractivity of the trivial solution. Afterwards, we establish new sufficient conditions for the global attractivity of the positive equilibrium of a general scalar delayed population model, and illustrate the situation applying these results to two food-limited population models with delays. Second, for n-dimensional Lotka-Volterra systems with distributed delays, the local and global stability of a positive equilibrium, independently of the choice of the delay functions, is addressed assuming that instantaneous negative feedbacks are present. Finally, we obtain the existence and global asymptotic stability of an equilibrium point of a general neural network model by imposing a condition of dominance of the nondelayed terms. The generality of the model allows us to study, as particular situations, the neural network models of Hop_eld, Cohn-Grossberg, bidirectional associative memory, and static with S-type distributed delays. In our proofs, we do not use Lyapunov functionals and our method applies to general delayed di_erential equations.Nesta tese estuda-se a estabilidade global assimptótica de soluções de equações diferenciais funcionais que, pela generalidade com que são apresentadas, possuem uma vasta aplicabilidade em modelos de dinâmica de populações e em modelos de redes neuronais. Numa primeira fase, para equações diferenciais funcionais escalares retardadas, assumem-se novas versões das condições de Yorke e tipo 3/2 para provar a atractividade global da solução nula. Seguidamente, aplicam-se os resultados obtidos a um modelo geral de dinâmica de populações escalar com atrasos, obtendo-se condições suficientes para a atractividade global de um ponto de equilíbrio positivo, e ilustra-se a situação com o estudo de dois modelos conhecidos. Numa segunda fase, para sistemas n-dimensionais de tipo Lotka-Volterra com atrasos distribuídos, estuda-se a estabilidade local e global de um ponto de equilíbrio positivo (caso exista) assumindo condições de dominância dos termos com atrasos pelos termos sem atrasos. Por último, novamente assumindo condições de donimância, obtém-se a existência e estabilidade global assimptótica de um ponto de equilíbrio para um modelo geral de redes neuronais com atrasos. A generalidade do modelo estudado permite obter, como situações particulares, critérios de estabilidade global para modelos de redes neuronais de Hopfield, de Cohn-Grossberg, modelos de memória associativa bidireccional e modelos estáticos com atrasos distribuídos tipo-S. De referir que as demonstrações apresentadas não envolvem o uso de funcionais de Lyapunov, o que permite obter critérios de estabilidade para equações diferenciais funcionais bastante gerais.Universidade do Minho (UM), Departamento de Matemática (DMAT), Centro de Matemática (CMAT); Fundação para a Ciência e Tecnologia (FCT)

Do bone mineral content and density determine fracture in children? A possible threshold for physical activity

BackgroundRelations between bone parameters, physical exertion, and childhood fractures are complex. We aimed to estimate the associations between fracture history and bone mineral content (BMC) and areal bone mineral density (aBMD) at 7 years of age, by levels of physical activity, as a proxy for trauma frequency.MethodsWe used data collected from 2,261 children of the Generation XXI birth cohort, assembled in 2005/6 in Porto, Portugal. At the age of 7 years (2012/4), fracture history, time spent per week in active play, and sports practice were reported by parents. Subtotal and lumbar spine (LS) BMC and aBMD were measured using whole-body dual-energy X-ray absorptiometry.ResultsBoys and girls in the highest categories of time spent in sports practice or active play generally had higher BMC and aBMD. Among girls, BMC and aBMD were protective of fracture only in the highest quarter of active play (>660 min/week)-odds ratios (OR; 95% confidence interval (95% CI)) for subtotal BMC=0.27 (0.11-0.67), subtotal aBMD=0.18 (0.06-0.49), and LS aBMD=0.41 (0.22-0.75). For boys in the highest quarter of sports practice (>240 min/week), subtotal and LS BMC were protective of fracture-OR=0.39 (0.16-0.98) and 0.51 (0.27-0.96), respectively.ConclusionIn prepubertal children, BMC and aBMD predicted fracture history only in the highest levels of physical activity.info:eu-repo/semantics/publishedVersio

The shallow marine ostracod communities of the Azores (Mid-North Atlantic) : taphonomy and palaeoecology

This is the first palaeoecological and taphonomical study of the Recent marine ostracods from the Azores. The aims of this work were to address the following questions: i) to establish the typical ostracod assemblages from the shallow waters of the Azores; ii) to determine the bathymetric ranges for each ostracod species; iii) to investigate the time span and depth in which significant transport occurs; iv) to quantify the amount of out of habitat transport between sandy beaches, tide pools and the sublittoral; v) to determine distinctive taphonomic features that can be used to recognize the amount of temporal resolution in ostracod assemblages. Fifteen species were recovered, representing 8 families and 12 genera (Loxoconcha, Neonesidea, Xestoleberis, Aurila, Urocythereis, Heterocythereis, Carinocythereis, Callistocythere, Leptocythere, Semicytherura, Lanceostoma and Cylindroleberis). The living assemblages are dominated by specimens of the Loxoconchidae, Xestoleberidae and Hemicytheridae, whereas the dead assemblages are dominated by specimens of the Loxoconchidae, Hemicytheridae, Bairdiidae, Xestoleberidae and Trachyleberidae. The shift from life-dominated assemblages in the shallower depths to death-dominated assemblages at greater depths is a consequence of significant transport downwards. The abundance of ostracods is higher in the first 10-20 m depth, especially in fine to medium sandy substrates. Considerable differences among islands were supported by the Bayesian model, as a consequence of the physical and hydrodynamic factors that differently affect each of the Azorean islands. Large-scale (sea-surface currents, Holocene relative sea-level, storms) and small-scale processes are responsible for shaping the Azorean Recent marine ostracod communities. No living specimens were found in the samples collected at the beach faces, thus reinforcing former interpretations of one of the authors (S. Ávila) that advocate that at a global scale, sandy beaches in oceanic islands located at temperate latitudes are almost or even completely devoid of life due to historical reasons related with the sea level changes

Leishmania Parasites Drive PD-L1 Expression in Mice and Human Neutrophils With Suppressor Capacity

Neutrophils play an important role in the outcome of leishmaniasis, contributing either to exacerbating or controlling the progression of infection, a dual effect whose underlying mechanisms are not clear. We recently reported that CD4+ and CD8+ T cells, and dendritic cells of Leishmania amazonensis-infected mice present high expression of PD-1 and PD-L1, respectively. Given that the PD-1/PD-L1 interaction may promote cellular dysfunction, and that neutrophils could interact with T cells during infection, we investigated here the levels of PD-L1 in neutrophils exposed to Leishmania parasites. We found that both, promastigotes and amastigotes of L. amazonensis induced the expression of PD-L1 in the human and murine neutrophils that internalized these parasites in vitro. PD-L1-expressing neutrophils were also observed in the ear lesions and the draining lymph nodes of L. amazonensis-infected mice, assessed through cell cytometry and intravital microscopy. Moreover, expression of PD-L1 progressively increased in neutrophils from ear lesions as the disease evolved to the chronic phase. Co-culture of infected neutrophils with in vitro activated CD8+ T cells inhibits IFN-γ production by a mechanism dependent on PD-1 and PD-L1. Importantly, we demonstrated that in vitro infection of human neutrophils by L braziliensis induced PD-L1+ expression and also PD-L1+ neutrophils were detected in the lesions of patients with cutaneous leishmaniasis. Taken together, these findings suggest that the Leishmania parasite increases the expression of PD-L1 in neutrophils with suppressor capacity, which could favor the parasite survival through impairing the immune response

Comparison between observed children's tooth brushing habits and those reported by mothers

<p>Abstract</p> <p>Background</p> <p>Information bias can occur in epidemiological studies and compromise scientific outcomes, especially when evaluating information given by a patient regarding their own health. The oral habits of children reported by their mothers are commonly used to evaluate tooth brushing practices and to estimate fluoride intake by children. The aim of the present study was to compare observed tooth-brushing habits of young children using fluoridated toothpaste with those reported by mothers.</p> <p>Methods</p> <p>A sample of 201 mothers and their children (aged 24-48 months) from Montes Claros, Brazil, took part in a cross-sectional study. At day-care centres, the mothers answered a self-administered questionnaire on their child's tooth-brushing habits. The structured questionnaire had six items with two to three possible answers. An appointment was then made with each mother/child pair at day-care centres. The participants were asked to demonstrate the tooth-brushing practice as usually performed at home. A trained examiner observed and documented the procedure. Observed tooth brushing and that reported by mothers were compared for overall agreement using Cohen's Kappa coefficient and the McNemar test.</p> <p>Results</p> <p>Cohen's Kappa values comparing mothers' reports and tooth brushing observed by the examiner ranged from poor-to-good (0.00-0.75). There were statistically significant differences between observed tooth brushing habits and those reported by mothers (p < 0.001). When observed by the examiner, the frequencies of dentifrice dispersed on all bristles (35.9%), children who brushed their teeth alone (33.8%) and those who did not rinse their mouths during brushing (42.0%) were higher than those reported by the mothers (12.1%, 18.9% and 6.5%, respectively; p < 0.001).</p> <p>Conclusions</p> <p>In general, there was low agreement between observed tooth brushing and mothers' reports. Moreover, the different methods of estimation resulted in differences in the frequencies of tooth brushing habits, indicative of reporting bias. Data regarding children's tooth-brushing habits as reported by mothers should be considered with caution in epidemiological surveys on fluoridated dentifrice use and the risk of dental fluorosis.</p