Spectral efficiency functions based on heterochromatic flicker photometry (HFP) were measured for three adults and 42 infants using a rapid visually-evoked potential (VEP) method. A 5 degrees-diameter, broadband standard (0.6 cd/m2) was presented in square-wave counterphase (15 Hz) with one of 13 monochromatic lights (420-660 nm; 20 nm steps). The intensity of the monochromatic light was contin...

Bacteriophage phi 80 and lambda-phi 80 hybrid phage of the type lambda (QSR)80, in which the rightmost 10% of the lambda genome is replaced by corresponding phi 80 material, are unable to grow lytically in himA and hip/himD mutants of Escherichia coli K12 at 32 degrees. The genetic element responsible for the growth defect, rha, has been mapped to the (QSR)80 region and was located more precise...

In this paper, we investigate the existence of positive solutions for the ellipticequation $Delta^{2},u+c(x)u = lambda f(u)$ on a bounded smooth domain $Omega$ of $R^{n}$, $ngeq2$, with Navier boundary conditions. We show that there exists an extremal parameter$lambda^{ast}>0$ such that for $lambda< lambda^{ast}$, the above problem has a regular solution butfor $lambda> lambda^{ast}$, the probl...

In this section we summarize deenitions and results concerning the lambda calculus and the theory of lambda abstraction algebras. Our main references will be 10] and 11] for lambda abstraction algebras and Barendregt's book 1] for lambda calculus. Lambda calculus. The untyped lambda calculus was introduced by Church as a foundation for logic. Although the appearance of paradoxes caused the prog...

Inthis paper, the main aim is to introduce the class $mathcal{U}_p(lambda,alpha,beta,k_0)$ of $p$-harmonic mappings togetherwith its subclasses $mathcal{U}_p(lambda,alpha,beta,k_0)capmathcal {T}_p$ and $mathcal{U}_p(lambda,alpha,beta,k_0)capmathcal {T}_p^0$, andinvestigate the properties of the mappings in these classes. First,we give a sufficient condition for mappings to be in $mathcal{U}_p(l...

It is well-known that one cannot inside the pure untyped lambda calculus determine equivalence. I.e., one cannot determine if two terms are beta-equivalent, even if they both have normal forms. This implies that it is impossible in the pure untyped lambda calculus to do Godelisation, i.e. to write a function that can convert a term to a representation of (the normal form of) that term, as equi...

Our most recent computations tell us that any counterexample to Giuga’s 1950 primality conjecture must have at least 19,908 decimal digits. Equivalently, any number which is both a Giuga and a Carmichael number must have at least 19,908 decimal digits. This bound has not been achieved through exhaustive testing of all numbers with up to 19,908 decimal digits, but rather through exploitation of ...

At 3:15 AM on 27th April 1941, Pilot Officer Christopher Carmichael of 502 Squadron took Whitley aircraft Z6501 to roll out on Limavady’s partially completed airfield. A crew of 6, including Pilot Officer Christopher Carmichael, Flight Lieutenant John Dickson, Sergeant Desmond “Des” O’Connell, Sergeant Stanley William Dorney, Sergeant Fred Redhead, Sergeant John Wilson (Air Gunner) were schedul...

Pomerance conjectured that there are x 1− {1+o(1)} log log log x log log x Carmichael numbers up to x. At the time, his data tables up to 25 · 109 appeared to support his conjecture. However, Pinch extended this data and showed that up to 1021, Pomerance's conjecture did not appear well-supported. Thus, we build upon the work of Carl Pomerance and others to formulate an alternative conjecture r...