FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

Source URL: www.lix.polytechnique.fr

• Computing
• Software engineering
• Computer programming
• Array programming languages
• High-level programming languages
• Parallel computing
• Compiler optimizations
• Fortran
• Functional programming
• MATLAB
• Argonne National Laboratory
• NP

Federal Register / Vol. 83, NoFriday, April 20, Proposed Rules DEPARTMENT OF HOMELAND SECURITY NATIONAL SCIENCE FOUNDATION 45 CFR Part 690

Source URL: www.gpo.gov

Swiss National Science Foundation www.snsf.ch Wildhainweg 3, CH-3001 Berne Switzerland Indo-Swiss Joint Research Programme (ISJRP)

Source URL: www.sric.iitkgp.ac.in

Best Practices shared by the CCTA: Centers Collaborative for Technical Assistance The National Science Foundation’s Advanced Technological Education (NSF ATE) program focuses on the education of technicians

Source URL: connectedtech.org

NSF Engineering and High Performance Computing Pramod P. Khargonekar Assistant Director National Science Foundation Directorate of Engineering

Source URL: faculty.sites.uci.edu

Best Practices shared by the CCTA: Centers Collaborative for Technical Assistance The National Science Foundation’s Advanced Technological Education (NSF ATE) program focuses on the education of technicians

Source URL: connectedtech.org

The National Science Foundation Office of Polar Programs United States Antarctic Program AIL-POL_1000.03 USAP Code of Conduct Policy

Source URL: www.usap.gov

MSEC2018 and NAMRC46 Student Travel Award Sponsored by: National Science Foundation (http://nsf.gov/) An anticipated National Science Foundation grant will provide support to select full-time students from U.S. institut

Source URL: msec-namrc-2018.tamu.edu

Appendix A Mentor-Connect Technical Assistance for Prospective Principal Investigators National Science Foundation, Advanced Technological Education Program (NSF ATE) www.nsf.gov/ate to access current NSF ATE solicitati

Source URL: www.mentor-connect.org

NSF Response to the JOIDES Resolution Science Operator Site Visit Panel Report February 24-16, 2016 The National Science Foundation’s Division of Ocean Sciences, Ocean Drilling Program welcomes the recommendations of t

Source URL: iodp.tamu.edu