Don Mitchell

Learn More
We believe that formal methods of all kinds are critical to mobile code security, as one route to gaining the assurance level necessary for running potentially hostile code on a routine basis. We begin by examining Java, and understanding the weaknesses in its architecture, on both design and implementation levels. Identifying dynamic linking as a key(More)
The results of two self-paced reading studies of a syntactic ambiguity involving conjoined noun phrases to three potential noun phrase sites were compared to the corpus frequencies of the resolutions of the same ambiguity. The reading times for the attachment to the first noun phrase were faster than for the attachment to the second noun phrase, but, to the(More)
The single case methodology that is widely used in cognitive neuropsychology often requires a comparison of data from a single individual (the patient) with that from a group of controls, in order to ascertain whether the patient's mean score can be viewed as significantly different from that of controls. This article reviews methods that have been used to(More)
Recent studies indicate that more men than women run fast relative to sex- specific world records and that this sex difference has been historically stable in elite U.S. runners. These findings have been hypothesized to reflect an evolved male predisposition for enduring competitiveness in "show-off" domains. The current study tests this hypothesis in(More)
We critically review the empirical evidence published by van Berkum, Brown, and Hagoort (1999a, b) against syntax-first models of sentence parsing. According to van Berkum et al., discourse factors and word gender information are used instantaneously to guide the parser. First, we note that the density of the experimental trials (relative to fillers) and(More)
We use mixed-complementarity-problem programming to implement tariff rate quotas (TRQs) in the global computable general equilibrium (CGE) LINKAGE model. We apply the approach to TRQs in sugar markets in OECD (Organization for Economic Cooperation and Development) countries. We calibrate the model on 2000 policy levels for OECD countries to reflect the full(More)
Optimization of care in patients with chronic kidney disease (CKD) could be the key to improved clinical and economic outcomes, both during the phase of CKD as well as in patients with end-stage renal disease (ESRD). CKD is a major public health problem that has been insufficiently studied. There is little published information on outcomes among CKD(More)