We construct a spectral classiication scheme for the galaxies of the Las Campanas Redshift Survey (LCRS) based on a principal component analysis of the measured galaxy spectra. We interpret the physical signiicance of the spectral classes and conclude that they are sensitive to morphological type and the amount of active star formation. In this rst analysis of the LCRS to include spectral types...

The designing of DNA intercalating drugs with high DNA affinity in the series of ellipticine has led to a new antitumoral agent, 9-hydroxyellipticine, which has a high DNA affinity, a high activity on L 1210 mice leukemia, and a lack of toxicity at therapeutic dose. The possible correlations among chemical structure, DNA reactivity, and pharmacological activity of DNA intercalating drugs are di...

Since the advent of pairing based cryptography, much attention has been given to efficient computation of pairings on elliptic curves with even embedding degrees. The few works that exist in the case of odd embedding degrees require some improvements. This paper considers the computation of optimal ate pairings on elliptic curves of embedding degrees k = 9, 15 and 27 which have twists of order ...

More than a hundred years ago John Buchan, the proli ̃c Scottish novelist, put the following words into the mouth of one of his youthful characters: “The Bible says that the children of Ham were to be our servants. If I were the minister I wouldn’t let [that black man] into the pulpit. I wouldn’t let him farther than the Sabbath school.” 1 It might be assumed that social advancements in the twen...

F. Abe,17 H. Akimoto,39 A. Akopian,31 M. G. Albrow,7 A. Amadon,5 S. R. Amendolia,27 D. Amidei,20 J. Antos,33 S. Aota,37 G. Apollinari,31 T. Arisawa,39 T. Asakawa,37 W. Ashmanskas,18 M. Atac,7 P. Azzi-Bacchetta,25 N. Bacchetta,25 S. Bagdasarov,31 M. W. Bailey,22 P. de Barbaro,30 A. Barbaro-Galtieri,18 V. E. Barnes,29 B. A. Barnett,15 M. Barone,9 G. Bauer,19 T. Baumann,11 F. Bedeschi,27 S. Behren...

In addition to the special issue papers, this first of 2023 also includes ten articles from our regular submission process. Topic include access, inclusion, synchronous online learning, student satisfaction, evaluation faculty, perspectives on engagement, faculty adoption teaching and more.

Summary In this paper problems 17, 18, 26, 27, 28, and 98 from [9] are formalized, using the Mizar formalism [8], [2], [3], [6].

Article history: Received 9 May 2012 Received in revised form 9 July 2013 Accepted 27 July 2013 Available online 2 August 2013 Communicated by Richard Gundy