The potential for selective harvests to induce rapid evolutionary change is an important question for conservation and evolutionary biology, with numerous biological, social and economic implications. We analyze 39 years of phenotypic data on horn size in bighorn sheep (Ovis canadensis) subject to intense trophy hunting for 23 years, after which harvests nearly ceased. Our analyses revealed a s...

I address the choice of horn diameter for millimeter-wave array receivers with corrugated horns. For maximum point-source mapping speed, in both total power and polarization with typical receiver noise contributions and a close-packed horn array that fills the field of view, the optimum horn diameter is 1.6-1.7Flambda, where F is the focal ratio. A +/-25% change in horn diameter gives <10% degr...

We provide an ExpTime algorithm for answering conjunctive queries (CQs) in Horn-SHIQ, a Horn fragment of the well-known Description Logic SHIQ underlying the OWL-Lite standard. The algorithm employs a domino system for model representation, which is constructed via a worst-case optimal tableau algorithm for Horn-SHIQ; the queries are answered by reasoning over the domino system. Our algorithm n...

We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision-tree learning algorithm that learns from Horn-ICE samples, works in polynomial time, and uses statistical heuristics to learn small trees that satisfy the samples. Since most verification proofs can be modeled using ...

Because the establishment of pregnancy begins at the uterine horn ipsilateral to the corpus luteum (ipsi-horn) in cattle, levels of progesterone (P4) and receptor expression in the endometrial tissue, which regulate the intrauterine environment for embryo development, may differ between the ipsi-horn and the uterine horn contralateral to corpus luteum (contra-horn). The aim of the present study...