nora-welch documents

Chemical Symbols and formulas What do we need to know in order to write formulas? What do we need to know in order to correctly name compounds?
Documents Chemical Symbols and formulas What do we need to know in order to write formulas? What do we need to know in order to correctly name compounds?
Community Consultation Activity and Next Steps Presentation to Community Liaison Panel 08 June 2011
Documents Community Consultation Activity and Next Steps Presentation to Community Liaison Panel 08 June 2011
Summary of results. Reiterate goal of investigation: How general is anticipatory behavior observed by Land & McCleod? Found: Untrained subjects exhibit
Documents Summary of results. Reiterate goal of investigation: How general is anticipatory behavior observed by Land & McCleod? Found: Untrained subjects exhibit
Realizability: Extracting Programs from proofs Types Summer School 2007 Bertinoro (Italia) 4-hours Course by: Stefano Berardi Semantic of Computation Research
Documents Realizability: Extracting Programs from proofs Types Summer School 2007 Bertinoro (Italia) 4-hours Course by: Stefano Berardi Semantic of Computation Research