How hard is a commercial puzzle: the eternity II challenge

Recently, edge matching puzzles, an NP-complete problem, have received, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

Education and Training in Forensic Intelligence: a New Challenge

From recent calls for positioning forensic scientists within the criminal justice system, but also policing and intelligence missions, this paper emphasizes the need for the development of educational and training programs in the area of forensic intelligence, It is argued that an imbalance exists between perceived and actual understanding of forensic intelligence by police and forensic science managers, and that this imbalance can only be overcome through education. The challenge for forensic intelligence education and training is therefore to devise programs that increase forensic intelligence awareness, firstly for managers to help prevent poor decisions on how to develop information processing. Two recent European courses are presented as examples of education offerings, along with lessons learned and suggested paths forward. It is concluded that the new focus on forensic intelligence could restore a pro-active approach to forensic science, better quantify its efficiency and let it get more involved in investigative and managerial decisions. A new educational challenge is opened to forensic science university programs around the world: to refocus criminal trace analysis on a more holistic security problem solving approach.

A survey of transposable element classification systems--a call for a fundamental update to meet the challenge of their diversity and complexity.

The increase of publicly available sequencing data has allowed for rapid progress in our understanding of genome composition. As new information becomes available we should constantly be updating and reanalyzing existing and newly acquired data. In this report we focus on transposable elements (TEs) which make up a significant portion of nearly all sequenced genomes. Our ability to accurately identify and classify these sequences is critical to understanding their impact on host genomes. At the same time, as we demonstrate in this report, problems with existing classification schemes have led to significant misunderstandings of the evolution of both TE sequences and their host genomes. In a pioneering publication Finnegan (1989) proposed classifying all TE sequences into two classes based on transposition mechanisms and structural features: the retrotransposons (class I) and the DNA transposons (class II). We have retraced how ideas regarding TE classification and annotation in both prokaryotic and eukaryotic scientific communities have changed over time. This has led us to observe that: (1) a number of TEs have convergent structural features and/or transposition mechanisms that have led to misleading conclusions regarding their classification, (2) the evolution of TEs is similar to that of viruses by having several unrelated origins, (3) there might be at least 8 classes and 12 orders of TEs including 10 novel orders. In an effort to address these classification issues we propose: (1) the outline of a universal TE classification, (2) a set of methods and classification rules that could be used by all scientific communities involved in the study of TEs, and (3) a 5-year schedule for the establishment of an International Committee for Taxonomy of Transposable Elements (ICTTE).

Sanitary quality of edible bivalve mollusks in Southeastern Brazil using an UV based depuration system

The increase in seafood production, especially in mariculture worldwide, has brought out the need of continued monitoring of shellfish production areas in order to ensure safety to human consumption. The purpose of this research was to evaluate pathogenic protozoa, viruses and bacteria contamination in oysters before and after UV depuration procedure, in brackish waters at all stages of cultivation and treatment steps and to enumerate microbiological indicators of fecal contamination from production site up to depuration site in an oyster cooperative located at the Southeastern estuarine area of Brazil. Oysters and brackish water were collected monthly from September 2009 to November 2010. Four sampling sites were selected for enteropathogens analysis: site 1- oyster growth, site 2- catchment water (before UV depuration procedure), site 3 - filtration stage of water treatment (only for protozoa analysis) and site 4- oyster's depuration tank. Three microbiological indicators ! were examined at sites 1, 2 and 4. The following pathogenic microorganisms were searched: Giardia cysts, Cryptosporidium oocysts, Human Adenovirus (HAdV), Hepatitis A virus (HAV), Human Norovirus (HnoV) (genogroups I and II), JC strain Polyomavirus (JCPyV) and Salmonella sp. Analysis consisted of molecular detection (qPCR) for viruses (oysters and water samples); immunomagnetic separation followed by direct immunofluorescence assay for Cryptosporidium oocysts and Giardia cysts and also molecular detection (PCR) for the latter (oysters and water samples); commercial kit (Reveal-Neogee (R)) for Salmonella analysis (oysters). Giardia was the most prevalent pathogen in all sites where it was detected: 36.3%, 18.1%, 36.3% and 27.2% of water from sites 1, 2, 3 and 4 respectively; 36.3% of oysters from site 1 and 54.5% of depurated oysters were harboring Giardia cysts. The huge majority of contaminated samples were classified as Giardia duodenalis. HAdv was detected in water and o! ysters from growth site and HnoV GI in two batches of oysters ! (site 1) in huge concentrations (2.11 x 10(13), 3.10 x 10(12) gc/g). In depuration tank site, Salmonella sp., HAV (4.84 x 10(3)) and HnoV GII (7.97 x 10(14)) were detected once in different batches of oysters. Cryptosporidium spp. oocysts were present in 9.0% of water samples from site four. These results reflect the contamination of oysters even when UV depuration procedures are employed in this shellfish treatment plant. Moreover, the molecular comprehension of the sources of contamination is necessary to develop an efficient management strategy allied to shellfish treatment improvement to prevent foodborne illnesses. (C) 2011 Elsevier Ltd. All rights reserved.

Ecosystem impacts of Alpine water intakes for hydropower: the challenge of sediment management

The natural flow hydrological characteristics (such as the magnitude, frequency, duration, timing, and rate of change of discharge) of Alpine streams, dominated by snowmelt and glacier melt, have been established for many years. More recently, the ecosystems that they sustain have been described and explained. However, natural Alpine flow regimes may be strongly modified by hydroelectric power production, which impacts upon both river discharge and sediment transfer, and hence on downstream flora and fauna. The impacts of barrages or dams have been well studied. However, there is a second type of flow regulation, associated with flow abstraction at intakes where the water is transferred laterally, either to another valley for storage, or at altitude within the same valley for eventual release downstream. Like barrages, such intakes also trap sediment, but because they are much smaller, they fill more frequently and so need to be flushed regularly. Downstream, while the flow regime is substantially modified, the delivery of sediment (notably coarser fractions) remains. The ecosystem impacts of such systems have been rarely considered. Through reviewing the state of our knowledge of Alpine ecosystems, we outline the key research questions that will need to be addressed in order to modify intake management so as to reduce downstream ecological impacts. Simply redesigning river flows to address sediment management will be ineffective because such redesign cannot restore a natural sediment regime and other approaches are likely to be required if stream ecology in such systems is to be improved.

High quality draft genomes of the Mycoplasma mycoides subsp. mycoides challenge strains Afadé and B237.

Members of the Mycoplasma mycoides cluster' represent important livestock pathogens worldwide. Mycoplasma mycoides subsp. mycoides is the etiologic agent of contagious bovine pleuropneumonia (CBPP), which is still endemic in many parts of Africa. We report the genome sequences and annotation of two frequently used challenge strains of Mycoplasma mycoides subsp. mycoides, Afadé and B237. The information provided will enable downstream 'omics' applications such as proteomics, transcriptomics and reverse vaccinology approaches. Despite the absence of Mycoplasma pneumoniae like cyto-adhesion encoding genes, the two strains showed the presence of protrusions. This phenotype is likely encoded by another set of genes.