RSS feed source: National Science Foundation
Supports partnerships and research that helps equip high school teachers to teach computer science, K-8 teachers to incorporate computer science and computational thinking in their classes, and school districts to create computing pathways across all grades.
Click this link to continue reading the article on the source website.
RSS feed source: National Science Foundation
Synopsis
The Tribal Colleges and Universities Program (TCUP) provides awards to federally recognized1 Tribal Colleges and Universities, Alaska Native-serving institutions, and Native Hawaiian-serving institutions to promote high quality science (including sociology, psychology, anthropology, linguistics, economics and bioeconomics, statistics, and other social and behavioral sciences; natural sciences; computer science, including, but not limited to, artificial intelligence, quantum information science, and cybersecurity), technology, engineering and mathematics (STEM), STEM education, research, and outreach. Support is available to TCUP-eligible institutions (see the Additional Eligibility subsection of Section IV of this solicitation) for transformative capacity-building or community engagement projects through Instructional Capacity Excellence in TCUP Institutions (ICE-TI), Targeted STEM Infusion Projects (TSIP),TCUP for Secondary and Elementary Teachers in STEM (TSETS), TCU Enterprise Advancement Centers (TEA Centers), Cyberinfrastructure Health, Assistance, and Improvements (CHAI), and Preparing for TCUP Implementation (Pre-TI). Collaborations led by TCUP institutions that involve non-TCUP institutions of
Click this link to continue reading the article on the source website.
RSS feed source: National Science Foundation
Synopsis
The General Social Survey (GSS) is a nationally representative interview survey of the United States adult population that collects data on a wide range of topics: behavioral items such as group membership and participation; personal psychological evaluations including measures of well-being, misanthropy and life satisfaction; attitudinal questions on such public issues as crime and punishment, race relations, gender roles and spending priorities; and demographic characteristics of respondents and their parents. The GSS has provided data on contemporary American society since 1972, serving as a barometer of social change and trends in attitudes, behaviors and attributes of the United States adult population. In 1984, the GSS stimulated cross-national research by collaborating with Australia, Britain and Germany to develop data collection programs modeled on the GSS. This program of comparative cross-national research, called the International Social Survey Program (ISSP), now includes 43 nations and enables
Click this link to continue reading the article on the source website.
RSS feed source: National Science Foundation
Synopsis
The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. In turn, advances in this field have potential impact on research in AI.
Click this link to continue reading the article on the source website.
