SAT solving by CSFLOC, the next generation of full-length clause counting algorithms

Author(s):  
Gabor Kusper ◽  
Csaba Biro ◽  
Gyorgy Barna Iszaly
Author(s):  
Kristin Harney

This chapter explores connections between music and science. It includes rationales for integrating music and science, common links between the two disciplines, and a discussion of the Next Generation Science Standards and the National Core Arts Standards. Tables clearly show the standards that are incorporated throughout the lessons and examples. The chapter contains six detailed, full-length lessons that integrate music and science. These include lessons that explore the Ebola epidemic in Liberia; the classification of animals with Saint-Saëns’s Carnival of the Animals; connections between steady beat, heartbeat, tempo, and rate; layering and preservation in the song “Pompeii” and the city of Pompeii; creating musical instruments; and the role of butterflies as indicators of climate change. The chapter ends with an inventory of ideas detailing seventeen additional lesson topics, specific teaching strategies, and recommended activities.


2017 ◽  
Vol 3 (suppl_1) ◽  
Author(s):  
L. Cuypers ◽  
N. Conceição-Neto ◽  
T. Dierickx ◽  
Y. Schrooten ◽  
B. Vrancken ◽  
...  

Retrovirology ◽  
2012 ◽  
Vol 9 (Suppl 1) ◽  
pp. O6
Author(s):  
Barbara Bartolini ◽  
Giombini Abbate ◽  
Isabella Comandini ◽  
Ubaldo D'offizi ◽  
Gianpiero Selleri ◽  
...  

mSphere ◽  
2020 ◽  
Vol 5 (5) ◽  
Author(s):  
Ana L. Ramírez ◽  
Agathe M. G. Colmant ◽  
David Warrilow ◽  
Bixing Huang ◽  
Alyssa T. Pyke ◽  
...  

ABSTRACT Traditional screening for arboviruses in mosquitoes requires a priori knowledge and the utilization of appropriate assays for their detection. Mosquitoes can also provide other valuable information, including unexpected or novel arboviruses, nonarboviral pathogens ingested from hosts they feed on, and their own genetic material. Metagenomic analysis using next-generation sequencing (NGS) is a rapidly advancing technology that allows us to potentially obtain all this information from a mosquito sample without any prior knowledge of virus, host, or vector. Moreover, it has been recently demonstrated that pathogens, including arboviruses and parasites, can be detected in mosquito excreta by molecular methods. In this study, we investigated whether RNA viruses could be detected in mosquito excreta by NGS. Excreta samples were collected from Aedes vigilax and Culex annulirostris experimentally exposed to either Ross River or West Nile viruses and from field mosquitoes collected across Queensland, Australia. Total RNA was extracted from the excreta samples, reverse transcribed to cDNA, and sequenced using the Illumina NextSeq 500 platform. Bioinformatic analyses from the generated reads demonstrate that mosquito excreta provide sufficient RNA for NGS, allowing the assembly of near-full-length viral genomes. We detected Australian Anopheles totivirus, Wuhan insect virus 33, and Hubei odonate virus 5 and identified seven potentially novel viruses closely related to members of the order Picornavirales (2/7) and to previously described, but unclassified, RNA viruses (5/7). Our results suggest that metagenomic analysis of mosquito excreta has great potential for virus discovery and for unbiased arbovirus surveillance in the near future. IMPORTANCE When a mosquito feeds on a host, it ingests not only its blood meal but also an assortment of microorganisms that are present in the blood, thus acting as an environmental sampler. By using specific tests, it is possible to detect arthropod-borne viruses (arboviruses) like dengue and West Nile viruses in mosquito excreta. Here, we explored the use of next-generation sequencing (NGS) for unbiased detection of RNA viruses present in excreta from experimentally infected and field-collected mosquitoes. We have demonstrated that mosquito excreta provide a suitable template for NGS and that it is possible to recover and assemble near-full-length genomes of both arboviruses and insect-borne viruses, including potentially novel ones. These results importantly show the direct practicality of the use of mosquito excreta for NGS, which in the future could be used for virus discovery, environmental virome sampling, and arbovirus surveillance.


2013 ◽  
Vol 66 (1) ◽  
pp. 15-24 ◽  
Author(s):  
Dawn M. Dudley ◽  
Julie A. Karl ◽  
Hannah M. Creager ◽  
Patrick S. Bohn ◽  
Roger W. Wiseman ◽  
...  

2018 ◽  
Vol 8 (1) ◽  
Author(s):  
Sonia R. Isaacs ◽  
Ki Wook Kim ◽  
Junipearl X. Cheng ◽  
Rowena A. Bull ◽  
Sacha Stelzer-Braid ◽  
...  

Author(s):  
Adriana Higuera ◽  
Giovanny Herrera ◽  
Paula Jimenez ◽  
Diego García-Corredor ◽  
Martin Pulido-Medellín ◽  
...  

Blastocystis is frequently reported in fecal samples from animals and humans worldwide, and a variety of subtypes (STs) have been observed in wild and domestic animals. In Colombia, few studies have focused on the transmission dynamics and epidemiological importance of Blastocystis in animals. In this study, we characterized the frequency and subtypes of Blastocystis in fecal samples of domestic animals including pigs, minipigs, cows, dogs, horses, goats, sheep, and llama from three departments of Colombia. Of the 118 fecal samples included in this study 81.4% (n = 96) were positive for Blastocystis using a PCR that amplifies a fragment of the small subunit ribosomal RNA (SSU rRNA) gene. PCR positive samples were sequenced by next generation amplicon sequencing (NGS) to determine subtypes. Eleven subtypes were detected, ten previously reported, ST5 (50.7%), ST10 (47.8%), ST25 (34.3%), ST26 (29.8%), ST21 (22.4%), ST23 (22.4%), ST1 (17.9%), ST14 (16.4%), ST24 (14.9%), ST3 (7.5%), and a novel subtype, named ST32 (3.0%). Mixed infection and/or intra -subtype variations were identified in most of the samples. Novel ST32 was observed in two samples from a goat and a cow. To support novel subtype designation, a MinION based sequencing strategy was used to generate the full-length of the SSU rRNA gene. Comparison of full-length nucleotide sequences with those from current valid subtypes supported the designation of ST32. This is the first study in Colombia using NGS to molecularly characterize subtypes of Blastocystis in farm animals. A great diversity of subtypes was observed in domestic animals including subtypes previously identified in humans. Additionally, subtype overlap between the different hosts examined in this study were observed. These findings highlight the presence of Blastocystis subtypes with zoonotic potential in farm animals indicating that farm animals could play a role in transmission to humans.


Sign in / Sign up

Export Citation Format

Share Document