Does Treewidth Help in Modal Satisfiability?

Many tractable algorithms for solving the Constraint Satisfaction Problem (CSP) have been developed using the notion of the treewidth of some graph derived from the input CSP instance. In particular, the incidence graph of the CSP instance is one such graph. We introduce the notion of an incidence graph for modal logic formulae in a certain normal form. We investigate the parameterized complexity of modal satisfiability with the modal depth of the formula and the treewidth of the incidence graph as parameters. For various combinations of Euclidean, reflexive, symmetric and transitive models, we show either that modal satisfiability is FPT, or that it is W[1]-hard. In particular, modal satisfiability in general models is FPT, while it is W[1]-hard in transitive models. As might be expected, modal satisfiability in transitive and Euclidean models is FPT.Comment: Full version of the paper appearing in MFCS 2010. Change from v1: improved section 5 to avoid exponential blow-up in formula siz

A global map to aid the identification and screening of critical habitat for marine industries

Marine industries face a number of risks that necessitate careful analysis prior to making decisions on the siting of operations and facilities. An important emerging regulatory framework on environmental sustainability for business operations is the International Finance Corporation’s Performance Standard 6 (IFC PS6). Within PS6, identification of biodiversity significance is articulated through the concept of “Critical Habitat”, a definition developed by the IFC and detailed through criteria aligned with those that support internationally accepted biodiversity designations. No publicly available tools have been developed in either the marine or terrestrial realm to assess the likelihood of sites or operations being located within PS6-defined Critical Habitat. This paper presents a starting point towards filling this gap in the form of a preliminary global map that classifies more than 13 million km2 of marine and coastal areas of importance for biodiversity (protected areas, Key Biodiversity Areas [KBA], sea turtle nesting sites, cold- and warm-water corals, seamounts, seagrass beds, mangroves, saltmarshes, hydrothermal vents and cold seeps) based on their overlap with Critical Habitat criteria, as defined by IFC. In total, 5798×103 km2 (1.6%) of the analysis area (global ocean plus coastal land strip) were classed as Likely Critical Habitat, and 7526×103 km2 (2.1%) as Potential Critical Habitat; the remainder (96.3%) were Unclassified. The latter was primarily due to the paucity of biodiversity data in marine areas beyond national jurisdiction and/or in deep waters, and the comparatively fewer protected areas and KBAs in these regions. Globally, protected areas constituted 65.9% of the combined Likely and Potential Critical Habitat extent, and KBAs 29.3%, not accounting for the overlap between these two features. Relative Critical Habitat extent in Exclusive Economic Zones varied dramatically between countries. This work is likely to be of particular use for industries operating in the marine and coastal realms as an early screening aid prior to in situ Critical Habitat assessment; to financial institutions making investment decisions; and to those wishing to implement good practice policies relevant to biodiversity management. Supplementary material (available online) includes other global datasets considered, documentation and justification of biodiversity feature classification, detail of IFC PS6 criteria/scenarios, and coverage calculations

(Re)constructing Dimensions

Compactifying a higher-dimensional theory defined in R^{1,3+n} on an n-dimensional manifold {\cal M} results in a spectrum of four-dimensional (bosonic) fields with masses m^2_i = \lambda_i, where - \lambda_i are the eigenvalues of the Laplacian on the compact manifold. The question we address in this paper is the inverse: given the masses of the Kaluza-Klein fields in four dimensions, what can we say about the size and shape (i.e. the topology and the metric) of the compact manifold? We present some examples of isospectral manifolds (i.e., different manifolds which give rise to the same Kaluza-Klein mass spectrum). Some of these examples are Ricci-flat, complex and K\"{a}hler and so they are isospectral backgrounds for string theory. Utilizing results from finite spectral geometry, we also discuss the accuracy of reconstructing the properties of the compact manifold (e.g., its dimension, volume, and curvature etc) from measuring the masses of only a finite number of Kaluza-Klein modes.Comment: 23 pages, 3 figures, 2 references adde

Opacity Issues in Games with Imperfect Information

We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and where the winning condition relies on the information he has along the play. Those games are relevant for security aspects of computing systems: a play is opaque whenever the player who has imperfect information never "knows" for sure that the current position is one of the distinguished "secret" positions. We study the problems of deciding the existence of a winning strategy for each player, and we call them the opacity-violate problem and the opacity-guarantee problem. Focusing on the player with perfect information is new in the field of games with imperfect-information because when considering classical winning conditions it amounts to solving the underlying perfect-information game. We establish the EXPTIME-completeness of both above-mentioned problems, showing that our winning condition brings a gap of complexity for the player with perfect information, and we exhibit the relevant opacity-verify problem, which noticeably generalizes approaches considered in the literature for opacity analysis in discrete-event systems. In the case of blindfold games, this problem relates to the two initial ones, yielding the determinacy of blindfold games with opacity condition and the PSPACE-completeness of the three problems.Comment: In Proceedings GandALF 2011, arXiv:1106.081

Atomic X-ray Spectroscopy of Accreting Black Holes

Current astrophysical research suggests that the most persistently luminous objects in the Universe are powered by the flow of matter through accretion disks onto black holes. Accretion disk systems are observed to emit copious radiation across the electromagnetic spectrum, each energy band providing access to rather distinct regimes of physical conditions and geometric scale. X-ray emission probes the innermost regions of the accretion disk, where relativistic effects prevail. While this has been known for decades, it also has been acknowledged that inferring physical conditions in the relativistic regime from the behavior of the X-ray continuum is problematic and not satisfactorily constraining. With the discovery in the 1990s of iron X-ray lines bearing signatures of relativistic distortion came the hope that such emission would more firmly constrain models of disk accretion near black holes, as well as provide observational criteria by which to test general relativity in the strong field limit. Here we provide an introduction to this phenomenon. While the presentation is intended to be primarily tutorial in nature, we aim also to acquaint the reader with trends in current research. To achieve these ends, we present the basic applications of general relativity that pertain to X-ray spectroscopic observations of black hole accretion disk systems, focusing on the Schwarzschild and Kerr solutions to the Einstein field equations. To this we add treatments of the fundamental concepts associated with the theoretical and modeling aspects of accretion disks, as well as relevant topics from observational and theoretical X-ray spectroscopy.Comment: 63 pages, 21 figures, Einstein Centennial Review Article, Canadian Journal of Physics, in pres

Desenvolvimento de um roteiro conceitual para a gestão da biodiversidade e dos serviços ecossistêmicos no Caribe mexicano

Coral reefs and mangroves support rich biodiversity and provide ecosystem services that range from food, recreational benefits and coastal protection services, among others. They are one of the most threatened ecosystems by urbanization processes. In this context, we developed a conceptual framework for the management of biodiversity and ecosystem services for these coastal environments. We based our workflow on two sections: “Information base” and “Governance” and use the Puerto Morelos Coastal region as a case study for coastal protection. Puerto Morelos is between two of the most touristic destinations of Mexico (Playa del Carmen and Cancun) that has experienced an increase of population in the past four decades resulting in an intensification of multiple threats to its ecosystems. We characterized the two ecosystems with a “Management Units” strategy. An expert-based ecosystem services matrix was also described in order to connect mangroves and coral reef ecosystems with the multiple beneficiaries. Then an ecosystem model (conceptual model and Global Biodiversity model) was developed. The conceptual model was useful in understanding the interplay processes between systems regarding the ecosystem service of “Coastal Protection”. The Global Biodiversity model evidenced the human-induced shifts in the biodiversity for mangrove and coral reefs ecosystems. Also, a projection for 2035 of “best” and “worst” scenarios was applied using GLOBIO3. A DPSIR conceptual framework was used to analyze environmental problems regarding ecosystem services maintenance. Finally, we evaluated a set of policies associated with these ecosystems that favor coastal protection integrity. This framework facilitates the identification of the most relevant processes and controls about the provision of coastal protection service. It can also be useful to better target management actions and as a tool to identify future management needs to tackle the challenges preventing more effective conservation of coastal environments.Recifes de coral e manguezais possuem rica biodiversidade e fornecem serviços ecossistêmicos, tais como, alimento, recreação, proteção costeira, entre outros. Esses ecossistemas encontram-se entre os mais ameaçados pelos processos de urbanização. Nesse contexto, desenvolvemos um roteiro conceitual para a gestão da biodiversidade e dos serviços ecossistêmicos desses ambientes costeiros. Organizamos nossa sequência de passos de trabalho em duas seções: “Base de informações” e “Governança” e usamos a região costeira da cidade de Puerto Morelos (México) como um estudo de caso para analisar o serviço de proteção de costa. Puerto Morelos encontra-se entre dois dos destinos mais turísticos do México (Playa del Carmen e Cancún), e portanto sua população vem aumentando nas últimas quatro décadas, resultando na intensificação de múltiplas ameaças para os ecossistemas. Primeiramente, caracterizamos os dois ecossistemas identificando-os como “Unidades de Gestão”, detalhando seus principais componentes e processos. Através de uma “Matriz de serviços ecossistêmicos”, construída com base na opinião de especialistas, foram sistematizados os principais serviços ecossistêmicos prestados pelos manguezais e recifes de corais aos múltiplos beneficiários. Em seguida, foi desenvolvida uma modelagem do sistema (e ecossistemas) através de sua representação na forma de um modelo conceitual e um modelo numérico de Biodiversidade Global. O modelo conceitual facilitou a compreensão dos processos de interação entre sistemas em relação ao serviço “Proteção Costeira”. O modelo numérico evidenciou as mudanças induzidas pelo homem na biodiversidade dos ecossistemas de manguezal e recifes de coral. Além disso, uma projeção dos cenários “melhor” e “pior” foi desenvolvida para 2035 usando GLOBIO3. A Estrutura conceitual DPSIR foi aplicada para analisar problemas ambientais relacionados à manutenção dos serviços ecossistêmicos. Finalmente, avaliamos um conjunto de políticas públicas associadas a esses ecossistemas e que favorecem a integridade da proteção costeira. Portanto, o roteiro facilitou a identificação dos principais processos e controles para a provisão de um serviço ecossistêmico. Além disso, pode ser útil para direcionar melhor as ações de gerenciamento, bem como, uma ferramenta para identificar necessidades futuras de planejamento e gestão para enfrentar desafios que permitam uma conservação mais eficaz dos ambientes costeiros.Fil: Sánchez Quinto, Andrés. Universidad Nacional Autónoma de México; MéxicoFil: Costa, Julliet Correa da. Universidade Federal de Santa Catarina; BrasilFil: Zamboni, Nadia Selene. Universidade Federal do Rio Grande do Norte; BrasilFil: Sanches, Fábio H. C.. Universidade Federal de Sao Paulo; BrasilFil: Principe, Silas C.. Universidade de Sao Paulo; BrasilFil: Viotto, Evangelina del Valle. Provincia de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Universidad Autónoma de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción; ArgentinaFil: Casagranda, Maria Elvira. Universidad Nacional de Tucumán. Instituto de Ecología Regional. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto de Ecología Regional; ArgentinaFil: Lima, Francisco A. da Veiga. Universidade Federal de Santa Catarina; BrasilFil: Possamai, Bianca. Universidade Federal Do Rio Grande.; BrasilFil: Faroni Perez, Larisse. Universidade Federal de Juiz de Fora; Brasi

Vibrio parahaemolyticus, enterotoxigenic Escherichia coli, enterohemorrhagic Escherichia coli and Vibrio cholerae

This review highlighted the following: (i) pathogenic mechanism of the thermostable direct hemolysin produced by Vibrio parahaemolyticus, especially on its cardiotoxicity, (ii) heat-labile and heat-stable enterotoxins produced by enterotoxigenic Escherichia coli, especially structure–activity relationship of heat-stable enterotoxin, (iii) RNA N-glycosidase activity of Vero toxins (VT1 and VT2) produced by enterohemorrhagic Escherichia coli O157:H7, (iv) discovery of Vibrio cholerae O139, (v) isolation of new variant of Vibrio cholerae O1 El Tor that carries classical ctxB, and production of high concentration of cholera toxin by these strains, and (vi) conversion of viable but nonculturable (VBNC) Vibrio cholerae to culturable state by co-culture with eukaryotic cells

Urban blue: A global analysis of the factors shaping people's perceptions of the marine environment and ecological engineering in harbours.

Marine harbours are the focus of a diverse range of activities and subject to multiple anthropogenically induced pressures. Support for environmental management options aimed at improving degraded harbours depends on understanding the factors which influence people's perceptions of harbour environments. We used an online survey, across 12 harbours, to assess sources of variation people's perceptions of harbour health and ecological engineering. We tested the hypotheses: 1) people living near impacted harbours would consider their environment to be more unhealthy and degraded, be more concerned about the environment and supportive of and willing to pay for ecological engineering relative to those living by less impacted harbours, and 2) people with greater connectedness to the harbour would be more concerned about and have greater perceived knowledge of the environment, and be more supportive of, knowledgeable about and willing to pay for ecological engineering, than those with less connectedness. Across twelve locations, the levels of degradation and modification by artificial structures were lower and the concern and knowledge about the environment and ecological engineering were greater in the six Australasian and American than the six European and Asian harbours surveyed. We found that people's perception of harbours as healthy or degraded, but not their concern for the environment, reflected the degree to which harbours were impacted. There was a positive relationship between the percentage of shoreline modified and the extent of support for and people's willingness to pay indirect costs for ecological engineering. At the individual level, measures of connectedness to the harbour environment were good predictors of concern for and perceived knowledge about the environment but not support for and perceived knowledge about ecological engineering. To make informed decisions, it is important that people are empowered with sufficient knowledge of the environmental issues facing their harbour and ecological engineering options