Theory of Megaphones and Receiving Horns

In 1919, A. G. Webster published a theory of the action of horns used as receivers. Recent development has given an increased interest in the megaphone. Webster\u27s theory may be modified to cover the case of the megaphone, assuming the constancy of the acoustic point impedance of the horn at the source. The result obtained is that the emitted energies at different frequencies are related as are the values of [(ad-bc)/(a-cz2)]2 wherein a, b, c and d, have the values specified in Webster\u27s theory and z2=δa2k2 (ki/2π-1/c0), k being 2π divided by wave length, ρ the density, a the velocity of sound and c0 the conductivity of the opening

Kripke Semantics for Martin-L\"of's Extensional Type Theory

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly, dependent type theory is complete for locally cartesian closed categories. However, it is usually difficult to establish the coherence of interpretations of dependent type theory, i.e., to show that the interpretations of equal expressions are indeed equal. Several classes of models have been used to remedy this problem. We contribute to this investigation by giving a semantics that is standard, coherent, and sufficiently general for completeness while remaining relatively easy to compute with. Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. This semantics can be seen as a generalization to dependent type theory of the interpretation of intuitionistic first-order logic in Kripke models. This yields a simple coherent model theory, with respect to which simple and dependent type theory are sound and complete

Preliminary Results on the Use of an Antiserum to Human Parathyrin in a Homologous Radioimmunoassay

Peer Reviewe

Toward accurate CO_2 and CH_4 observations from GOSAT

The column-average dry air mole fractions of atmospheric carbon dioxide and methane (X_(CO_2) and X_(CH_4)) are inferred from observations of backscattered sunlight conducted by the Greenhouse gases Observing SATellite (GOSAT). Comparing the first year of GOSAT retrievals over land with colocated ground-based observations of the Total Carbon Column Observing Network (TCCON), we find an average difference (bias) of −0.05% and −0.30% for X_(CO_2) and X_(CH_4) with a station-to-station variability (standard deviation of the bias) of 0.37% and 0.26% among the 6 considered TCCON sites. The root-mean square deviation of the bias-corrected satellite retrievals from colocated TCCON observations amounts to 2.8 ppm for X_(CO_2) and 0.015 ppm for X_(CH_4). Without any data averaging, the GOSAT records reproduce general source/sink patterns such as the seasonal cycle of X_(CO_2) suggesting the use of the satellite retrievals for constraining surface fluxes

A brief history of learning classifier systems: from CS-1 to XCS and its variants

© 2015, Springer-Verlag Berlin Heidelberg. The direction set by Wilson’s XCS is that modern Learning Classifier Systems can be characterized by their use of rule accuracy as the utility metric for the search algorithm(s) discovering useful rules. Such searching typically takes place within the restricted space of co-active rules for efficiency. This paper gives an overview of the evolution of Learning Classifier Systems up to XCS, and then of some of the subsequent developments of Wilson’s algorithm to different types of learning

K/UR; 29

The following report presents results of the Tascotal detailed geochemical survey for Trans-Pecos, Texas. Field and laboratory data are presented for 337 groundwater and 611 stream sediment samples

Опухоли с невыявленным первичным очагом: современные подходы к лечению

Представлены современные методы и схемы лечения разных видов рака с невыясненным очагом и получаемые результаты.Contemporary methods of treatment of various types of cancer with unrevealed focus as well as the obtained results are described

K/UR; 39

Documentation outlining characteristics of field data samples taken in the Buffalo-Lignite detail area

K/UR ; 29

Documentation outlining characteristics of field data samples taken in the Stillwell Mountains project area