4,108 research outputs found
Strategies for success in financial education
The Federal Reserve Bank of Chicago will host a conference, Financial Literacy, Financial Education, and the Federal Reserve: Strategies for Success, on September 11, 2009. This article reviews some of the financial education activities throughout the Federal Reserve System.Financial literacy
WAMDII observation of an auroral atmosphere wave event
Field tests of WAMDII (Wide Angle Michelson Doppler Imaging Interferometer) on February 23 to 24, 1984 in Saskatoon produced wind images of the aurora that show well defined wave structures in lambda 5577. Wavelengths and velocities of these structures suggest an acoustic-gravity wave interpretation, but their short duration warrants their being termed an event. The Dopplergrams are presented with emphasis on the interpretation of the waves and a discussion of possible sources
Premise Selection and External Provers for HOL4
Learning-assisted automated reasoning has recently gained popularity among
the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an
add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system
that provides machine learning-based premise selection and automated reasoning
also for HOL4. We efficiently record the HOL4 dependencies and extract features
from the theorem statements, which form a basis for premise selection.
HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof
formats, which are then processed by the ATPs. We discuss the different
evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure
the performance of HOLyHammer on the HOL4 standard library. The results are
combined accordingly and compared with the HOL Light experiments, showing a
comparably high quality of predictions. The system directly benefits HOL4 users
by automatically finding proofs dependencies that can be reconstructed by
Metis
Effects of runway length and delay of reward on the frustration effect
The effects of delay on the frustration effect, as manipulated by varying runway one length and delay at the first goal box in a double runway apparatus, were investigated. A distinction between within-chain delay and total delay was made possible by this procedure. Also provided was a test of the frustration and response inhibition bypotheses, two explanations for the origin of the FE (frustration effect)
Planetary geometry handbook: Venus positional data, 1988 - 2020, volume 2
Graphical data necessary for the analysis of planetary exploration missions to Venus are presented. Positional and geometric information spanning the time period from 1988 through 2020 is provided. The data and the usage are explained
- …