Ion microprobe mass spectrometer for analyzing fluid materials Patent

Ion microprobe mass spectrometer with cooled electrode target for analyzing traces of fluid

Device for measuring light scattering wherein the measuring beam is successively reflected between a pair of parallel reflectors Patent

Coherent light beam device and method for measuring gas density in vacuum chamber

Leak detector wherein a probe is monitored with ultraviolet radiation Patent

Gas leak detection in evacuated systems using ultraviolet radiation prob

Measurement of upper atmosphere helium profile Final report

Mass spectrometer for measuring helium and hydrogen profiles in upper atmosphere, to be used with Javelin sounding rocke

Instantaneous monitoring of multicomponent expired gases

Expired air analyzers with time-of-flight and magnetic deflection mass spectrometers for spacecraft us

Sorption vacuum trap

Modified sorption trap for use in high vacuum systems contains provisions for online regeneration of sorbent material. Trap is so constructed that it has a number of encapsulated resistance heaters and a valving and pumping device for removing gases from heated sorbing material. Excessive downtime is eliminated with this trap

Field ionization electrodes Patent

Electrodes having array of small surfaces for field ionizatio

Ionospheric simulator survey

Evaluation of D and E region ionospheric simulation technique

Descriptive Complexity of Deterministic Polylogarithmic Time and Space

We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain from the bit positions needed to address these elements. We prove that the inflationary and partial fixed point vartiants of this logic capture PolylogTime and PolylogSpace, respectively. In the course of proving that our logic indeed captures PolylogTime on finite ordered structures, we introduce a variant of random-access Turing machines that can access the relations and functions of a structure directly. We investigate whether an explicit predicate for the ordering of the domain is needed in our PolylogTime logic. Finally, we present the open problem of finding an exact characterization of order-invariant queries in PolylogTime.Comment: Submitted to the Journal of Computer and System Science

Creative professional users musical relevance criteria

Although known item searching for music can be dealt with by searching metadata using existing text search techniques, human subjectivity and variability within the music itself make it very difficult to search for unknown items. This paper examines these problems within the context of text retrieval and music information retrieval. The focus is on ascertaining a relationship between music relevance criteria and those relating to relevance judgements in text retrieval. A data-rich collection of relevance judgements by creative professionals searching for unknown musical items to accompany moving images using real world queries is analysed. The participants in our observations are found to take a socio-cognitive approach and use a range of content and context based criteria. These criteria correlate strongly with those arising from previous text retrieval studies despite the many differences between music and text in their actual content