In recent work, Peter Hanks and Scott Soames argue for the type view, according to which propositions are types whose tokens are acts, states, or events. Hanks and Soames think that one of the virtues of the type view is that it allows them to explain why propositions have semantic properties. But, in this paper, we argue that their explanations aren't satisfactory.

Most of the discovered exoplanets are close to our sun. Usually their host star is with large proper motions, which is an important parameter for exoplanet searching. The first version of absolute proper motions catalog achieved based on Digitized Sky Survey Schmidt plate where outside the galactic plane |b|≥27° is presented, resulting in a zero point error less than ± 0.3 mas/yr, and the overall accuracy better than ± 4.5 mas/yr for objects brighter than RF=18.5, and ranging from 4.5 to 9.0 mas/yr for objects with magnitude 18.5<RF<20.5. The systematic errors of absolute proper motions related to the position, magnitude and color are practically all removed. The sky cover of this catalog is 22,525 degree2, the mean density is 6444 objects/degree2 and the magnitude limit is around RF=20.5.

The formal commissioning of the IRWG occurred at the 1991 Buenos Aires General Assembly, following a Joint Commission meeting at the IAU GA in Baltimore in 1988 that identified the problems with ground-based infrared photometry. The meeting justification, papers, and conclusions, can be found in Milone (1989). In summary, the challenges involved how to explain the failure to achieve the milli-magnitude precision expected of infrared photometry and an apparent 3% limit on system transformability. The proposed solution was to redefine the broadband Johnson system, the passbands of which had proven so unsatisfactory that over time effectively different systems proliferated, although bearing the same “JHKLMNQ” designations; the new system needed to be better positioned and centered in the spectral windows of the Earth's atmosphere, and the variable water vapour content of the atmosphere needed to be measured in real time to better correct for atmospheric extinction.

Structural framing is the reference to initial material at the end of a formal unit; this formal unit might be a theme, section, movement or even a multi-movement work. Structural framing is a special kind of thematic restatement that is fundamentally distinct from recapitulation or apotheosis. Whereas a recapitulation associates the beginning of one section with the beginning of another section, a structural frame associates the beginning of one section with its end. Thus a recapitulation is a re-beginning, an apotheosis is a triumphant arrival, and a structural frame is a closing gesture – a parting ‘adieu’ that assists the listener in the conceptual encompassment of a formal unit.

We have observed a gate-bias stress induced instability in both the threshold voltage of SiC MOSFETs and the flatband voltage of SiC MOS capacitors. The magnitude of this bias stress-induced instability generally increases linearly with log time, with no saturation of the effect observed, even out to 100,000 seconds. The magnitude also increases with increasing gate field. A positive gate-bias stress causes a positive shift and a negative gate-bias stress causes a negative shift, consistent with electron tunneling into or out of oxide traps near the SiC / SiO2 interface as opposed to mobile ions drifting across the gate oxide. The effect is repeatable.

Mutants in the Drosophila crooked neck (crn) gene show an embryonic lethal phenotype with severe developmental defects. The unusual crn protein consists of sixteen tandem repeats of the 34 amino acid tetratricopeptide (TPR) protein recognition domain. Crn-like TPR elements are found in several RNA processing proteins, although it is unknown how the TPR repeats or the crn protein contribute to Drosophila development. We have isolated a Saccharomyces cerevisiae gene, CLF1, that encodes a crooked neck-like factor. CLF1 is an essential gene but the lethal phenotype of a clf1::HIS3 chromosomal null mutant can be rescued by plasmid-based expression of CLF1 or the Drosophila crn open reading frame. Clf1p is required in vivo and in vitro for pre-mRNA 5′ splice site cleavage. Extracts depleted of Clf1p arrest spliceosome assembly after U2 snRNP addition but prior to productive U4/U6.U5 association. Yeast two-hybrid analyses and in vitro binding studies show that Clf1p interacts specifically and differentially with the U1 snRNP-Prp40p protein and the yeast U2AF65 homolog, Mud2p. Intriguingly, Prp40p and Mud2p also bind the phylogenetically conserved branchpoint binding protein (BBP/SF1). Our results indicate that Clf1p acts as a scaffolding protein in spliceosome assembly and suggest that Clf1p may support the cross-intron bridge during the prespliceosome-to-spliceosome transition.

The extensively studied Markarian sample of 1500 ultraviolet excess galaxies contains many Seyfert, starburst, and peculiar galaxies. Using the 20 minute V plates obtained for the construction of the Hubble Space Telescope Guide Star Catalog, we have investigated the morphologies of the Markarian galaxies and the environments in which they are located. This paper reports on the relationship between the types of nuclear activity and the morphologies and environments of the Markarian galaxies.