1,810 research outputs found
A method for finding new sets of axioms for classes of semigroups
We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices
A single-amino-acid change in murine norovirus NS1/2 is sufficient for colonic tropism and persistence
Human norovirus (HuNoV) is the major cause of acute nonbacterial gastroenteritis worldwide but has no clear animal reservoir. HuNoV can persist after the resolution of symptoms, and this persistence may be essential for viral maintenance within the population. Many strains of the related murine norovirus (MNV) also persist, providing a tractable animal model for studying norovirus (NoV) persistence. We have used recombinant cDNA clones of representative persistent (CR6) and nonpersistent (CW3) strains to identify a domain within the nonstructural gene NS1/2 that is necessary and sufficient for persistence. Furthermore, we found that a single change of aspartic acid to glutamic acid in CW3 NS1/2 was sufficient for persistence. This same conservative change also caused increased growth of CW3 in the proximal colon, which we found to be a major tissue reservoir of MNV persistence, suggesting that NS1/2 determines viral tropism that is necessary for persistence. These findings represent the first identified function for NoV NS1/2 during infection and establish a novel model system for the study of enteric viral persistence
Studying Algebraic Structures Using Prover9 and Mace4
In this chapter we present a case study, drawn from our research work, on the
application of a fully automated theorem prover together with an automatic
counter-example generator in the investigation of a class of algebraic
structures. We will see that these tools, when combined with human insight and
traditional algebraic methods, help us to explore the problem space quickly and
effectively. The counter-example generator rapidly rules out many false
conjectures, while the theorem prover is often much more efficient than a human
being at verifying algebraic identities. The specific tools in our case study
are Prover9 and Mace4; the algebraic structures are generalisations of Heyting
algebras known as hoops. We will see how this approach helped us to discover
new theorems and to find new or improved proofs of known results. We also make
some suggestions for how one might deploy these tools to supplement a more
conventional approach to teaching algebra.Comment: 21 pages, to appear as Chapter 5 in "Proof Technology in Mathematics
Research and Teaching", Mathematics Education in the Digital Era 14, edited
by G. Hanna et al. (eds.), published by Springe
Recommended from our members
CD32-RNA Co-localizes with HIV-RNA in CD3+ Cells Found within Gut Tissues from Viremic and ART-Suppressed Individuals.
BackgroundIdentifying biomarkers for cells harboring replication-competent HIV is a major research priority. Recently, there have been mixed reports addressing the possibility that CD32-expressing T cells are enriched for HIV. There is growing evidence that CD32 expression increases with cellular activation that may be related to, but not necessarily specific for, infection with HIV. However, the relationship of CD32 expression to HIV-infection in subtypes of tissue-resident leukocytes is unclear.MethodsFirst, we used duplex chromogenic in situ hybridization to identify cells actively transcribing RNA for both CD32 and HIV on human gut tissues. Then we performed multiplexed immunofluorescence and in situ hybridization (mIFISH) on sections from the same tissues to determine the phenotype of individual cells co-expressing HIV-RNA and CD32-RNA.ResultsHIV-RNA+ cells were more abundant in tissues from viremic individuals than in those receiving suppressive anti-retroviral therapy (ART). However, staining by both methods indicated that a higher proportion of HIV-RNA+ cells co-expressed CD32-RNA in ART-suppressed individuals than in those with viremia. The majority of HIV-RNA+ cells were CD3+.ConclusionsOur data suggest that the transcription of CD32-RNA is correlated with HIV transcriptional activity in CD3+ cells found within human gut tissue. Whether or not up-regulation of CD32-RNA is a direct result of HIV transcription or more global T-cell activation remains unclear
Security by Spatial Reference:Using Relative Positioning to Authenticate Devices for Spontaneous Interaction
Spontaneous interaction is a desirable characteristic associated with mobile and ubiquitous computing. The aim is to enable users to connect their personal devices with devices encountered in their environment in order to take advantage of interaction opportunities in accordance with their situation. However, it is difficult to secure spontaneous interaction as this requires authentication of the encountered device, in the absence of any prior knowledge of the device. In this paper we present a method for establishing and securing spontaneous interactions on the basis of emphspatial references that capture the spatial relationship of the involved devices. Spatial references are obtained by accurate sensing of relative device positions, presented to the user for initiation of interactions, and used in a peer authentication protocol that exploits a novel mechanism for message transfer over ultrasound to ensures spatial authenticity of the sender
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
This paper introduces Scavenger, the first theorem prover for pure
first-order logic without equality based on the new conflict resolution
calculus. Conflict resolution has a restricted resolution inference rule that
resembles (a first-order generalization of) unit propagation as well as a rule
for assuming decision literals and a rule for deriving new clauses by (a
first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201
Sampling a Littoral Fish Assemblage: Comparison of Small-Mesh Fyke Netting and Boat Electrofishing
We compared small-mesh (4-mm) fyke netting and boat electrofishing for sampling a littoral fish assemblage in Muskegon Lake, Michigan. We hypothesized that fyke netting selects for small-bodied fishes and electrofishing selects for large-bodied fishes. Three sites were sampled during May (2004 and 2005), July (2005 only), and September (2004 and 2005). We found that the species composition of captured fish differed considerably between fyke netting and electrofishing based on nonmetric multidimensional scaling (NMDS). Species strongly associated with fyke netting (based on NMDS and relative abundance) included the brook silverside Labidesthes sicculus, banded killifish Fundulus diaphanus, round goby Neogobius melanostomus, mimic shiner Notropis volucellus, and bluntnose minnow Pimephales notatus, whereas species associated with electrofishing included the Chinook salmon Oncorhynchus tshawytscha, catostomids (Moxostoma spp. and Catostomus spp.), freshwater drum Aplodinotus grunniens, walleye Sander vitreus, gizzard shad Dorosoma cepedianum, and common carp Cyprinus carpio. The total length of fish captured by electrofishing was 12.8 cm (95% confidence interval ¼ 5.5– 17.2 cm) greater than that of fish captured by fyke netting. Size selectivity of the gears contributed to differences in species composition of the fish captured, supporting our initial hypothesis. Thus, small-mesh fyke nets and boat electrofishers provided complementary information on a littoral fish assemblage. Our results support use of multiple gear types in monitoring and research surveys of fish assemblages.
Copyright by the American Fisheries Society 2007, Originally published in the North American Journal of Fisheries Management 27: 825-831, 2007
- …