<--- Back to Details
First PageDocument Content
Agricultural soil science / Model organisms / Tropical agriculture / Energy crops / Staple foods / Maize / Precision agriculture / Genetically modified maize / Purdue University / Agriculture / Food and drink / Land management
Date: 2011-01-19 12:00:54
Agricultural soil science
Model organisms
Tropical agriculture
Energy crops
Staple foods
Maize
Precision agriculture
Genetically modified maize
Purdue University
Agriculture
Food and drink
Land management

Developments in Agronomy & Maize Management v013003 FAR

Add to Reading List

Source URL: www.agry.purdue.edu

Download Document from Source Website

File Size: 860,37 KB

Share Document on Facebook

Similar Documents

Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

DocID: 1xW38 - View Document

Cryptography / Artificial intelligence / Human-based computation / Computing / Cryptocurrencies / CAPTCHA / Computer security / Computer vision / Proof-of-work system / Hashcash / Challengeresponse authentication / Zero-knowledge proof

Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University,

DocID: 1xVWJ - View Document

Computing / Software engineering / Computer programming / Parser generators / Compiling tools / Functional programming / Parser combinator / Parsing / Lex / Scala / Apache HTTP Server

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

DocID: 1xVQq - View Document

Boolean algebra / Forcing / Theoretical computer science / Mathematics / Complete Boolean algebra / Order theory / Assertion / Mathematical logic

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

DocID: 1xVPw - View Document

Mathematics / Computer programming / Software engineering / Source code / Syntax / Dependency grammar / NC / Term / For loop / Kazhdan's property

Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

DocID: 1xVFR - View Document