Exploiting Resolution-based Representations for MaxSAT Solving

Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of SAT solvers to identify unsatisfiable subformulas. Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early. However, this is not the case in many problem instances, since the whole formula is given to the SAT solver in each call. In this paper, we propose to partition the MaxSAT formula using a resolution-based graph representation. Partitions are then iteratively joined by using a proximity measure extracted from the graph representation of the formula. The algorithm ends when only one partition remains and the optimal solution is found. Experimental results show that this new approach further enhances a state of the art MaxSAT solver to optimally solve a larger set of industrial problem instances

Host Plant Record for the Fruit Flies, Anastrepha fumipennis and A. nascimentoi (Diptera, Tephritidae)

The first host plant record for Anastrepha fumipennis Lima (Diptera: Tephritidae) in Geissospermum laeve (Vell.) Baill (Apocynaceae) and for A. nascimentoi Zucchi found in Cathedra bahiensis Sleumer (Olacaceae) was determined in a host plant survey of fruit flies undertaken at the “Reserva Natural da Companhia Vale do Rio Doce”. This reserve is located in an Atlantic Rain Forest remnant area, in Linhares county, state of Espírito Santo, Brazil. The phylogenetic relationships of Anastrepha species and their hosts are discussed. The occurrence of these fruit fly species in relation to the distribution range of their host plants is also discussed

Imaging and controlling electron transport inside a quantum ring

Traditionally, the understanding of quantum transport, coherent and ballistic1, relies on the measurement of macroscopic properties such as the conductance. While powerful when coupled to statistical theories, this approach cannot provide a detailed image of "how electrons behave down there". Ideally, understanding transport at the nanoscale would require tracking each electron inside the nano-device. Significant progress towards this goal was obtained by combining Scanning Probe Microscopy (SPM) with transport measurements2-7. Some studies even showed signatures of quantum transport in the surrounding of nanostructures4-6. Here, SPM is used to probe electron propagation inside an open quantum ring exhibiting the archetype of electron wave interference phenomena: the Aharonov-Bohm effect8. Conductance maps recorded while scanning the biased tip of a cryogenic atomic force microscope above the quantum ring show that the propagation of electrons, both coherent and ballistic, can be investigated in situ, and even be controlled by tuning the tip potential.Comment: 11 text pages + 3 figure

Persistence of magnetic field driven by relativistic electrons in a plasma

The onset and evolution of magnetic fields in laboratory and astrophysical plasmas is determined by several mechanisms, including instabilities, dynamo effects and ultra-high energy particle flows through gas, plasma and interstellar-media. These processes are relevant over a wide range of conditions, from cosmic ray acceleration and gamma ray bursts to nuclear fusion in stars. The disparate temporal and spatial scales where each operates can be reconciled by scaling parameters that enable to recreate astrophysical conditions in the laboratory. Here we unveil a new mechanism by which the flow of ultra-energetic particles can strongly magnetize the boundary between the plasma and the non-ionized gas to magnetic fields up to 10-100 Tesla (micro Tesla in astrophysical conditions). The physics is observed from the first time-resolved large scale magnetic field measurements obtained in a laser wakefield accelerator. Particle-in-cell simulations capturing the global plasma and field dynamics over the full plasma length confirm the experimental measurements. These results open new paths for the exploration and modelling of ultra high energy particle driven magnetic field generation in the laboratory

Invasive thyroglossal duct cyst papillary carcinoma: a case report

<p>Abstract</p> <p>Introduction</p> <p>A thyroglossal duct cyst is the most common congenital anomaly of the thyroid gland and midline masses in childhood (70% abnormality in childhood, 7% in adult). Carcinomas arising from a thyroglossal duct cyst are rare (only 1% of thyroglossal duct cyst cases) and characterized by relatively non-aggressive behavior and rare lymphatic spread. They are also diagnosed mostly during the third and fourth decades of life. About 85% to 92% of all thyroglossal duct cyst carcinomas are papillary carcinomas.</p> <p>Case presentation</p> <p>We present the case of a 44-year-old Iranian woman with Cacausian ethnicity with a painless anterior neck mass that appeared gradually over three months. She had a history of frequent painful swelling of the anterior part of her neck, which subsided with antibiotic therapy. Thyroid functional tests were normal and a thyroid scinitigraphy showed a cold nodule in the left lobe of her thyroid. A computed tomography scan revealed a large, heterogeneous enhancing soft tissue mass with cystic components in the midline of the anterior neck space. This extended from the base of the tongue,(completely separated from its muscles, to the inferior aspect of the thyroid gland and showed the destruction of the hyoid bone and the thyroid cartilage. The diagnosis of a thyroglossal duct cyst with malignant transformation was maintained. A fine needle aspiration revealed papillary carcinoma.</p> <p>Conclusion</p> <p>This patient's case is presented because of its rare, aggressive, and invasive nature and rare and unusual manifestation, as well as its rapid increase in size, the destruction of the hyoid bone, chondrolysis of the thyroid cartilage, lymph adenopathy and the existence of a cold nodule in the thyroid gland.</p

Rationale, design, and analysis of combined Brazilian household budget survey and food intake individual data

<p>Abstract</p> <p>Background</p> <p>Data on food intake at the individual level and its statistical distribution in population groups defined by age, gender, or geographic areas are important in planning public health and nutrition programs. However, individual-based surveys in representative population samples are expensive to perform.</p> <p>Methods/Design</p> <p>In Brazil, an individual based survey is under consideration to be conducted alongside the household budget survey (HBS), which will be carried out in 2008–2009. This paper presents the methodological framework of dietary data collection and indicates the directions to combining both sources of data.</p> <p>The 2008–2009 Brazilian HBS sample will include 60,000 households. Of the selected HBS households, 30% will be randomly sampled to gather data on individual food intake. Therefore, individual dietary intake data is expected to be gathered for 70,000 individuals. Data collection procedures will comprise: completion of a diary with information regarding food purchases during a seven-day period; registration of all items consumed during two non-consecutive days for all 10 year-old or older members of the household. The sample will be large enough to capture the variation between individuals, and the two records will assure the estimation of the variation within individuals for food groups, energy and nutrients. Data on individual dietary intake and food family budget will be stratified by the five regions of the country and by rural or urban. A pilot study has been conducted in two states, and it indicated that combining individual and budgetary data in a survey is feasible.</p> <p>Discussion</p> <p>This kind of study will allow us to estimate correlations between individual intake and household purchases, overcoming the limitations of individual dietary surveys, and enhancing the HBS with information on eating out and intra-familiar distribution of food.</p

Areas of natural occurrence of melipona scutellaris Latreille, 1811(Hymenoptera: Apidae) in the state of Bahia, Brazil.

The bee Melipona scutellaris is considered the reared meliponine species with the largest distribution in the North and Northeast regions of Brazil, with records from the state of Rio Grande do Norte down to the state of Bahia. Considering the importance of this species in the generation of income for family agriculture and in the preservation of areas with natural vegetation, this study aimed at providing knowledge on the distribution of natural colonies of M. scutellaris in the state of Bahia. Literature information, interviews with stinglessbee beekeepers, and expeditions were conducted to confirm the natural occurrence of the species. A total of 102 municipalities showed records for M. scutellaris, whose occurrence was observed in areas ranging from sea level up to 1,200-meter height. The occurrence of this species in the state of Bahia is considered to be restricted to municipalities on the coastal area and the Chapada Diamantina with its rainforests. Geographic coordinates, elevation, climate and vegetation data were obtained, which allowed a map to be prepared for the area of occurrence in order to support conservation and management policies for the species

Twisted Bethe equations from a twisted S-matrix

All-loop asymptotic Bethe equations for a 3-parameter deformation of AdS5/CFT4 have been proposed by Beisert and Roiban. We propose a Drinfeld twist of the AdS5/CFT4 S-matrix, together with c-number diagonal twists of the boundary conditions, from which we derive these Bethe equations. Although the undeformed S-matrix factorizes into a product of two su(2|2) factors, the deformed S-matrix cannot be so factored. Diagonalization of the corresponding transfer matrix requires a generalization of the conventional algebraic Bethe ansatz approach, which we first illustrate for the simpler case of the twisted su(2) principal chiral model. We also demonstrate that the same twisted Bethe equations can alternatively be derived using instead untwisted S-matrices and boundary conditions with operatorial twists.Comment: 42 pages; v2: a new appendix on sl(2) grading, 2 additional references, and some minor changes; v3: improved Appendix D, additional references, and further minor changes, to appear in JHE

Designing an automated clinical decision support system to match clinical practice guidelines for opioid therapy for chronic pain

Abstract Background Opioid prescribing for chronic pain is common and controversial, but recommended clinical practices are followed inconsistently in many clinical settings. Strategies for increasing adherence to clinical practice guideline recommendations are needed to increase effectiveness and reduce negative consequences of opioid prescribing in chronic pain patients. Methods Here we describe the process and outcomes of a project to operationalize the 2003 VA/DOD Clinical Practice Guideline for Opioid Therapy for Chronic Non-Cancer Pain into a computerized decision support system (DSS) to encourage good opioid prescribing practices during primary care visits. We based the DSS on the existing ATHENA-DSS. We used an iterative process of design, testing, and revision of the DSS by a diverse team including guideline authors, medical informatics experts, clinical content experts, and end-users to convert the written clinical practice guideline into a computable algorithm to generate patient-specific recommendations for care based upon existing information in the electronic medical record (EMR), and a set of clinical tools. Results The iterative revision process identified numerous and varied problems with the initially designed system despite diverse expert participation in the design process. The process of operationalizing the guideline identified areas in which the guideline was vague, left decisions to clinical judgment, or required clarification of detail to insure safe clinical implementation. The revisions led to workable solutions to problems, defined the limits of the DSS and its utility in clinical practice, improved integration into clinical workflow, and improved the clarity and accuracy of system recommendations and tools. Conclusions Use of this iterative process led to development of a multifunctional DSS that met the approval of the clinical practice guideline authors, content experts, and clinicians involved in testing. The process and experiences described provide a model for development of other DSSs that translate written guidelines into actionable, real-time clinical recommendations.http://deepblue.lib.umich.edu/bitstream/2027.42/78267/1/1748-5908-5-26.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78267/2/1748-5908-5-26.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/78267/3/1748-5908-5-26-S3.TIFFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78267/4/1748-5908-5-26-S2.TIFFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78267/5/1748-5908-5-26-S1.TIFFPeer Reviewe