The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a language designed specifically for their problem domain. However, macro facilities that are integrated, capable, and at the same time simple enough to be widely used have been limited to the Lisp family of languages to date. ...

The extender based Prikry forcing notion is being generalized to supercompact extenders.

We show that Gitik’s short extender gap-2 forcing is of Prikry

Four premises for sperm preservation were previously outlined. The present work tested 2 of these. The first premise was that sperm mobility phenotype affects procedural efficacy. Random bred roosters were phenotyped with the sperm mobility assay. A normal frequency distribution was observed with 35% (SD = 16.4) mobile sperm. Test subjects had values >51% (high) or between 19 and 35% (below ave...

We define extender sequences, generalizing measure sequences of Radin forcing. Using the extender sequences, we show how to combine the Gitik-Magidor forcing for adding many Prikry sequenes with Radin forcing. We show that this forcing satisfies a Prikry like condition destroys no cardinals, and has a kind of properness. Depending on the large cardinals we start with this forcing can blow the p...

Our main results are: 1) every countably certified extender that coheres with the core model K is on the extender sequence of K, 2) K computes successors of weakly compact cardinals correctly, 3) every model on the maximal 1-small construction is an iterate of K, 4) (joint with W. J. Mitchell) K‖κ is universal for mice of height ≤ κ whenever κ ≥ א2, 5) if there is a κ such that κ is either a si...

General Electric has created case-based reasoning systems for remote diagnostics, call center automation, and internal productivity projects. CBR applications have been used to remotely diagnose x-ray machines, locomotives, and aircraft engines. Call centers have CBR systems that assist call takers in helping customers, provide web based customer self-service, and suggest standard responses to ...

Abscisic acid (ABA) is a key plant hormone involved in diverse physiological and developmental processes, including abiotic stress responses and the regulation of stomatal aperture and seed germination. Abscisic acid glucosyl ester (ABA-GE) is a hydrolyzable ABA conjugate that accumulates in the vacuole and presumably also in the endoplasmic reticulum. Deconjugation of ABA-GE by the endoplasmic...

This paper examines a Mandarin construction that involves the general classifier, ge, when the element to its right is not a N(P). Through usage-based investigation, V-ge-Comp is identified as a construction in vernacular Mandarin that expresses the attainment of an unusual resultant state. It is argued that the meaning of the construction relies critically on a reanalysis of the Comp as a noun...

The objective of this study was to evaluate quality of frozen-thawed bull semen processed with extenders containing vitamin C and E as antioxidants. Pooled semen's were collected from 5 bulls and diluted to a concentration of 30 × 106 sperm/mL with citrate –egg yolk (CEY) or Tris – egg yolk (TEY) extenders. The diluted semen was divided to 5 aliquots including control and 4 experimental groups....