<--- Back to Details
First PageDocument Content
Florida Atlantic University / Education / Science and technology / Science / Scripps Research Institute / Undergraduate research / Science /  technology /  engineering /  and mathematics / Charles E. Schmidt College of Science / Harriet L. Wilkes Honors College / Michigan State University College of Natural Science
Date: 2015-01-14 12:05:45
Florida Atlantic University
Education
Science and technology
Science
Scripps Research Institute
Undergraduate research
Science
technology
engineering
and mathematics
Charles E. Schmidt College of Science
Harriet L. Wilkes Honors College
Michigan State University College of Natural Science

Add to Reading List

Source URL: www.science.fau.edu

Download Document from Source Website

File Size: 502,90 KB

Share Document on Facebook

Similar Documents

Cryptography / Computational complexity theory / Complexity classes / Interactive proof system / Zero-knowledge proof / NP / Probabilistically checkable proof / IP / Soundness / Commitment scheme / NEXPTIME / P versus NP problem

The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

DocID: 1xW3t - View Document

Student exchange / Education / Culture / Human behavior / Carnegie Mellon University / Carnegie Mellon Silicon Valley / International student / Host family / Kigali

Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin

DocID: 1xW2t - View Document

Software engineering / Computing / Software requirements / Modeling languages / Systems engineering / Systems analysis / Enterprise modelling / KAOS / Planning Domain Definition Language / I* / Diagram / Use case

Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

DocID: 1xW1J - View Document

Functions and mappings / Mathematical analysis / Mathematics / Computer arithmetic / Limit of a function / Abstract interpretation / Unit in the last place / Exponentiation / Integral / Lambda calculus / Quantifier / Combinatory logic

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

DocID: 1xW0Y - View Document

Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document