November 13, 1937 Football Program, UOP vs. California Aggies

https://scholarlycommons.pacific.edu/ua-football/1192/thumbnail.jp

September 30, 1939 Football Program, UOP vs. California Aggies

https://scholarlycommons.pacific.edu/ua-football/1202/thumbnail.jp

Some attributes of a language for property-based testing.

Property-based testing is a testing technique that evaluates executions of a program. The method checks that specifications, called properties, hold throughout the execution of the program. TASpec is a language used to specify these properties. This paper compares some attributes of the language with the specification patterns used for model-checking languages, and then presents some descriptions of properties that can be used to detect common security flaws in programs. This report describes the results of a one year research project at the University of California, Davis, which was funded by a University Collaboration LDRD entitled ''Property-based Testing for Cyber Security Assurance''

An Empirical Analysis of Indirect Network Effects in the Home Video Game Market

We explore the indirect network effect in the market for home video games. We examine the video game console makers' strategic choice between increasing demand by lowering console price and by encouraging the growth of software variety. We also explore the existence of an applications barrier to entry in the console market, and find that there is little evidence for such a barrier. Finally, we assess the applicability of the model to out-of-sample situations, to look at whether our model and previous similar models can generalize to other markets for purposes of marketing or antitrust inquiry. We find that the model generalizes reasonably well to the Japanese market for the same generation of gaming systems, but poorly to previous generations in the US market

Flatback airfoil wind tunnel experiment.

A computational fluid dynamics study of thick wind turbine section shapes in the test section of the UC Davis wind tunnel at a chord Reynolds number of one million is presented. The goals of this study are to validate standard wind tunnel wall corrections for high solid blockage conditions and to reaffirm the favorable effect of a blunt trailing edge or flatback on the performance characteristics of a representative thick airfoil shape prior to building the wind tunnel models and conducting the experiment. The numerical simulations prove the standard wind tunnel corrections to be largely valid for the proposed test of 40% maximum thickness to chord ratio airfoils at a solid blockage ratio of 10%. Comparison of the computed lift characteristics of a sharp trailing edge baseline airfoil and derived flatback airfoils reaffirms the earlier observed trend of reduced sensitivity to surface contamination with increasing trailing edge thickness

Computational design and analysis of flatback airfoil wind tunnel experiment.

A computational fluid dynamics study of thick wind turbine section shapes in the test section of the UC Davis wind tunnel at a chord Reynolds number of one million is presented. The goals of this study are to validate standard wind tunnel wall corrections for high solid blockage conditions and to reaffirm the favorable effect of a blunt trailing edge or flatback on the performance characteristics of a representative thick airfoil shape prior to building the wind tunnel models and conducting the experiment. The numerical simulations prove the standard wind tunnel corrections to be largely valid for the proposed test of 40% maximum thickness to chord ratio airfoils at a solid blockage ratio of 10%. Comparison of the computed lift characteristics of a sharp trailing edge baseline airfoil and derived flatback airfoils reaffirms the earlier observed trend of reduced sensitivity to surface contamination with increasing trailing edge thickness

Incompatibility, Product Attributes and Consumer Welfare: Evidence from ATMs

Incompatibility in markets with network effects can either benefit or harm consumers. Incompatibility reduces consumers' ability to "mix and match" components offered by different sellers, but can also be associated with changes in product attributes that might benefit consumers. In this paper, we estimate the effects of incompatibility in a classic hardware/software market: ATM cards and machines. Our empirical model allows us to measure the indirect network effect relating the value of ATM cards to ATM availability. It also allows us to measure the effects of incompatibility as measured by ATM fees. Our sample contains a relatively discrete move toward incompatibility after 1996, when banks began to impose surcharges on non-customers using their ATM machines. We provide estimates of the partial equilibrium effects of increased incompatibility on consumer welfare, finding that ATM fees ceteris paribus reduce the indirect network effect associated with other banks' ATMs. However, a surge in ATM deployment accompanies the shift to surcharging and in many cases completely offsets the reduction in welfare associated with higher fees. This suggests that welfare analyses should consider the interaction between incompatibility and changes in product attributes