Electronic Effects in Expansive Flow Under Hypersonic Conditions

Plasma effects in hypersonic shock tunnel nozzle using ai

The Reality and Measurement of the Wavefunction

Using a simple version of the model for the quantum measurement of a two level system, the contention of Aharonov, Anandan, and Vaidman that one must in certain circumstances give the wavefunction an ontological as well as an epistemological significance is examined. I decide that their argument that the wave function of a system can be measured on a single system fails to establish the key point and that what they demonstrate is the ontological significance of certain operators in the theory, with the wave function playing its usual epistemological role.Comment: 10p

A Multiwavelength Investigation of Unidentified EGRET Sources

Statistical studies indicate that the 271 point sources of high-energy gamma rays belong to two groups: a Galactic population and an isotropic extragalactic population. Many unidentified extragalactic sources are certainly blazars, and it is the intention of this work to uncover gamma-ray blazars missed by previous attempts. Until recently, searches for blazar counterparts to unidentified EGRET sources have focused on finding AGN that have 5-GHz radio flux densities S_5 near or above 1 Jy. However, the recent blazar identification of 3EG J2006-2321 (S_5 = 260 mJy) and other work suggest that careful studies of weaker flat-spectrum sources may be fruitful. In this spirit, error circles of 4 high-latitude unidentified EGRET sources have been searched for 5-GHz sources. The gamma-ray sources are 3EG J1133+0033, 3EG J1212+2304, 3EG J1222+2315, and 3EG J1227+4302. Within the error contours of each of the four sources are found 6 radio candidates; by observing the positions of the radio sources with the 0.81-m Tenagra II telescope it is determined that 14 of these 24 radio sources have optical counterparts with R < 22. Eight of these from two different EGRET sources have been observed in the B, V, and R bands in more than one epoch and the analysis of these data is ongoing. Any sources that are found to be variable will be the objects of multi-epoch polarimetry studies.Comment: 6 pages, 2 tables. To appear in Astrophysics & Space Scienc

Cycled operation of water vapor electrolysis cell Annual report, 1 Jan. - 31 Dec. 1969

Mathematical model of heat, mass, and momentum relationships in cyclic operation of water vapor electrolytic cell, and equilibrium conditions between gel matrix and vapo

Relational semantics of linear logic and higher-order model-checking

In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any higher-order recursion scheme (HORS) comes together with a dual Church encoding of an alternating tree automata (ATA) of the same signature. Moreover, the interaction between the relational interpretations of the HORS and of the ATA identifies the set of accepting states of the tree automaton against the infinite tree generated by the recursion scheme. We show how to extend this result to alternating parity automata (APT) by introducing a parametric version of the exponential modality of linear logic, capturing the formal properties of colors (or priorities) in higher-order model-checking. We show in particular how to reunderstand in this way the type-theoretic approach to higher-order model-checking developed by Kobayashi and Ong. We briefly explain in the end of the paper how his analysis driven by linear logic results in a new and purely semantic proof of decidability of the formulas of the monadic second-order logic for higher-order recursion schemes.Comment: 24 pages. Submitte

A Migration Study of \u3ci\u3eStelidota Geminata\u3c/i\u3e (Coleoptera: Nitidulidae)

The strawberry sap beetle, Stelidota geminata (Say), is a major pest of strawberries in the northeastern United States. Further knowledge of the migratory habits of this insect pest can enhance the effectiveness of pest management strategies. This nitidulid was shown to migrate from its overwintering sites to one of its primary reproductive sites, strawberry fields, in late May. The beetle population peaked in the third week in July, 1993 in the strawberry field and then gradually declined. In 1994, the peak, as well as the total population, was much greater than in 1993. Furthermore, S. geminata was concentrated in the transition areas surrounding the strawberry fields prior to the ripening of the fruit