skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: The CADE-27 Automated theorem proving System Competition – CASC-27
Award ID(s):
1730419
PAR ID:
10169420
Author(s) / Creator(s):
Date Published:
Journal Name:
AI Communications
Volume:
32
Issue:
5-6
ISSN:
0921-7126
Page Range / eLocation ID:
373 to 389
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. This formula can be informally read as follows: the ith messagemi brings us log(1=pi) "bits of information" (whatever this means), and appears with frequency pi, so H is the expected amount of information provided by one random message (one sample of the random variable). Moreover, we can construct an optimal uniquely decodable code that requires about H (at most H + 1, to be exact) bits per message on average, and it encodes the ith message by approximately log(1=pi) bits, following the natural idea to use short codewords for frequent messages. This fits well the informal reading of the formula given above, and it is tempting to say that the ith message "contains log(1=pi) bits of information." Shannon himself succumbed to this temptation [46, p. 399] when he wrote about entropy estimates and considers Basic English and James Joyces's book "Finnegan's Wake" as two extreme examples of high and low redundancy in English texts. But, strictly speaking, one can speak only of entropies of random variables, not of their individual values, and "Finnegan's Wake" is not a random variable, just a specific string. Can we define the amount of information in individual objects? 
    more » « less
  2. We estimate the reach of global Higgs analyses at a 27 TeV hadroncollider in terms of Higgs couplings and in terms of a gauge-invarianteffective Lagrangian, including invisible Higgs decays and the Higgsself-coupling. The new collider will indirectly probe new physics in theTeV range and allow for a meaningful test of the Higgs self-couplingalso embedded in a global analysis. 
    more » « less
  3. The Arecibo Pisces Perseus Supercluster Survey (APPSS) is an HI survey measuring galaxy infall into the filament and clusters. Galaxies were selected for HI observations based on their location within the Pisces Perseus supercluster and SDSS and GALEX colors predictive of cold gas content. Most of the HI observations were conducted at Arecibo using the L Band Wide receiver, with some high-declination coverage provided by Green Bank. The observations provide increased sensitivity compared to ALFALFA blind survey data. For this project, we investigated a subset of 132 APPSS galaxies with declinations near 27 degrees. Using custom data reduction and analysis tools developed for the Undergraduate ALFALFA Team, we determined the following information for galaxies in our subset: systemic velocity, line width, integrated flux density, HI mass, and gas fraction (or corresponding limits for non-detections). We calculate our HI detection fraction and mean gas fraction as a function of stellar mass and compare to previous results. We investigate the distribution of systemic velocities for our galaxies with their location on the sky. Finally, we discuss several interesting sources from our subset of APPSS galaxies. This work has been supported by NSF grants AST-1211005, AST-1637299, and AST-1637339 
    more » « less