Executive Order Number Six, February 21, 2008

Establishes a Green Government Initiative for the State of Iowa.

Executive Order Number Seven, June 27, 2008

This Executive Order establishes an Iowa Task Force to Rebuild Iowa, after the storms and flood in May and June of 2008.

Executive Order Number Eight, July 16, 2008

This Executive Order establishes an Independent Contractor Reform Task Force.

Dynamic higher order expectations

In models where privately informed agents interact, agents may need to formhigher order expectations, i.e. expectations of other agents' expectations. This paper develops a tractable framework for solving and analyzing linear dynamic rational expectationsmodels in which privately informed agents form higher order expectations. The frameworkis used to demonstrate that the well-known problem of the infinite regress of expectationsidentified by Townsend (1983) can be approximated to an arbitrary accuracy with a finitedimensional representation under quite general conditions. The paper is constructive andpresents a fixed point algorithm for finding an accurate solution and provides weak conditions that ensure that a fixed point exists. To help intuition, Singleton's (1987) asset pricingmodel with disparately informed traders is used as a vehicle for the paper.

Computing congruences of modular forms and Galois representations modulo prime powers

This article starts a computational study of congruences of modular forms and modular Galoisrepresentations modulo prime powers. Algorithms are described that compute the maximum integermodulo which two monic coprime integral polynomials have a root in common in a sensethat is defined. These techniques are applied to the study of congruences of modular forms andmodular Galois representations modulo prime powers. Finally, some computational results withimplications on the (non-)liftability of modular forms modulo prime powers and possible generalisationsof level raising are presented.

Executive Order Number Nine, November 7, 2008

This Executive Order directs IFA to administer the allocation of additional tax-exempt bonding authority provided by the Disaster Relief Act, develop administrative rules to implement the allocation of this additional tax-exempt bonding authority, track the allocation of the additional tax-exempt bonding authority to ensure compliance with all applicable federal law, and provide all necessary reports to the IRS.

Executive Order Number Ten, December 22, 2008

This Executive Order aids the Governor to meet his Constitutional obligation to balance the state budget, announcing that he would order a 1.5 percent across-the-board reduction in state expenditures for the current fiscal year.

Executive Order Number Eleven, February 17, 2009

This Executive Order creates a task force on dependent care.

Study of the mayfly order Ephemeroptera (Insecta) in Brazil: a scienciometric review

Study of the mayfly order Ephemeroptera (Insecta) in Brazil: a scienciometric review. Despite an increase in the number of studies in recent years of the aquatic insect order Ephemeroptera (the mayflies) much still remains to be learnt. In order to identify the current state of knowledge of this group in Brazil, we performed a scienciometric analysis with the purpose of identifying the strong and weak points of Brazilian research into the group. Our research used the "Institute for Scientific Information - ISI" database and was based on the abstracts, titles and keywords of manuscripts published between 1992 and 2011. We selected the papers with the combination of the words "Ephemeroptera" and "Brazil*" based on a search in February 2012. We analyzed 92 articles, and noted a lack of studies in some Brazilian states, no specific studies about some families, and an absence of phylogenetic studies. To improve ecological studies, it is necessary to fine-tune taxonomic resolution. Moreover, there is a lack of studies investigating the environmental variables which influence the distribution of mayflies. Despite these gaps, if the rate of publication with mayflies proceeds at the same pace, we anticipate that many of these knowledge gaps will be closed.

Executive Order Number Twelve, April 14, 2009

This Executive Order made the creation of the Iowa Accountability and Transparency Board and the report of the State of Iowa's efforts to implement the AARA

Executive Order Number Thirteen, May 26, 2009

This Executive Order expects the State government expense reimbursements will be properly accounted for.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Executive Order Number Fourteen, June 22, 2009

This Executive Order expects the State government to facilitate the effective and efficient delivery of services to constituents, governments ought to partner and and coordinate with non-profit community organizations.

Executive Order Number Fifteen, July 15, 2009

This Executive Order expects the State government to help more than 5,800 offenders released to Iowa communities each year, affecting public safety, public health, economic and community well-being and family relationships. Offenders re-entry initiatives involve collaborative partnerships amongst corrections, other agencies and the community.