Groundwater abstraction and plankton in the druze pool of Azraq oasis, Jordan

The Azraq oasis lies in the Jordanian desert, about 85 km east of Amman. In this brief paper the author summarises his observations from a visit to the oasis in 1991, discusses the effects of pumping groundwater from the oasis to Amman and presents results from a plankton survey.

Free algebras in Von Neumann-Bernays-Gӧdel set theory and positive elementary inductions in reasonable structures

This thesis consists of two independent chapters. The first chapter deals with universal algebra. It is shown, in von Neumann-Bernays-Gӧdel set theory, that free images of partial algebras exist in arbitrary varieties. It follows from this, as set-complete Boolean algebras form a variety, that there exist free set-complete Boolean algebras on any class of generators. This appears to contradict a well-known result of A. Hales and H. Gaifman, stating that there is no complete Boolean algebra on any infinite set of generators. However, it does not, as the algebras constructed in this chapter are allowed to be proper classes. The second chapter deals with positive elementary inductions. It is shown that, in any reasonable structure ᶆ, the inductive closure ordinal of ᶆ is admissible, by showing it is equal to an ordinal measuring the saturation of ᶆ. This is also used to show that non-recursively saturated models of the theories ACF, RCF, and DCF have inductive closure ordinals greater than _ω.

Topological strings, double affine Hecke algebras, and exceptional knot homology

In this thesis, we consider two main subjects: refined, composite invariants and exceptional knot homologies of torus knots. The main technical tools are double affine Hecke algebras ("DAHA") and various insights from topological string theory.

In particular, we define and study the composite DAHA-superpolynomials of torus knots, which depend on pairs of Young diagrams and generalize the composite HOMFLY-PT polynomials from the full HOMFLY-PT skein of the annulus. We also describe a rich structure of differentials that act on homological knot invariants for exceptional groups. These follow from the physics of BPS states and the adjacencies/spectra of singularities associated with Landau-Ginzburg potentials. At the end, we construct two DAHA-hyperpolynomials which are closely related to the Deligne-Gross exceptional series of root systems.

In addition to these main themes, we also provide new results connecting DAHA-Jones polynomials to quantum torus knot invariants for Cartan types A and D, as well as the first appearance of quantum E6 knot invariants in the literature.

All their eggs in one basket: a rocky reef nursery for the longnose skate (Raja rhina Jordan & Gilbert, 1880) in the southern California Bight

Skates (family Rajidae) are oviparous and lay tough, thick-walled eggs. At least some skate species lay their eggs in spatially restricted nursery grounds where embryos develop and hatch (Hitz, 1964; Hoff, 2007). After hatching, neonates may quickly leave the nursery grounds (Hoff, 2007). Egg densities in these small areas may be quite high. As an example, in the eastern Bering Sea, a site <2 km2 harbored eggs of Alaska skate (Bathyraja parmifera) exceeding 500,000/km2. All skate nursery grounds have been identified over soft sea floors (Lucifora and García, 2004; Hoff, 2007).

Species of the rougheye rockfish complex: resurrection of Sebastes melanostictus (Matsubara, 1934) and a redescription of Sebastes aleutianus (Jordan and Evermann, 1898)(Teleostei: Scorpaeniformes)

The widespread and commercially important rougheye rockfish, Sebastes aleutianus (Jordan and Evermann, 1898), has been considered a single variable species, with light- and dark-colored forms, found on the outer continental shelf and upper slope of the North Pacific Ocean. Genetic analysis of 124 specimens verified the presence of two species in new specimens collected from Alaska to Oregon, and the two species were analyzed for distinguishing color patterns and morphological characters. Characters distinguishing the two were extended to an analysis of 215 additional formalin-fixed specimens representing their geographic ranges. Sebastes aleutianus is pale, often has dark mottling on the dorsum in diffuse bands, and does not have distinct dark spots on the spinous dorsal fin; it ranges from the eastern Aleutian Islands and southeastern Bering Sea to California. Sebastes melanostictus (Matsubara, 1934), the blackspotted rockfish, ranges from central Japan, through the Aleutian Islands and Bering Sea, to southern California. It is darker overall and spotting is nearly always present on the spinous dorsal fin. Sebastes swifti (Evermann and Goldsborough, 1907) is a synonym of S. aleutianus; S. kawaradae (Matsubara, 1934) is a synonym of S. melanostictus. The subgenus Zalopyr is restricted to S. aleutianus and S. melanostictus. Nomenclatural synonymies, diagnoses, descriptions, and distributions are provided for each species.

Length-weight relationship of fishes from coral reefs along the coastline of Jordan (Gulf of Aqaba)

The parameters a and b of the length-weight relationship of the form W = a.Lb were estimated for 15 fish species caught along the coastline of Jordan in the Gulf of Aqaba. The sampling was carried out between July 1999 and January 2001. Data from 1 000 fish individuals (identified to eight families and 15 species) were used for this purpose.

Stanford University’s John Otterbein Snyder: Student, Collaborator, and Colleague of David Starr Jordan and Charles Henry Gilbert

John Otterbein Snyder (1867–1943) was an early student of David Starr Jordan at Stanford University and subsequently rose to become an assistant professor there. During his 34 years with the university he taught a wide variety of courses in various branches of zoology and advised numerous students. He eventually mentored 8 M.A. and 4 Ph.D. students to completion at Stanford. He also assisted in the collection of tens of thousands of fish specimens from the western Pacific, central Pacific, and the West Coast of North America, part of the time while stationed as “Naturalist” aboard the U.S. Fish Commission’s Steamer Albatross (1902–06). Although his early publications dealt mainly with fish groups and descriptions (often as a junior author with Jordan), after 1910 he became more autonomous and eventually rose to become one of the Pacific salmon, Oncorhynchus spp., experts on the West Coast. Throughout his career, he was especially esteemed by colleagues as “a stimulating teacher,” “an excellent biologist,” and “a fine man.

Developmental characters of Psettina Iijimae (Jordan and Starks), bothid flat fishes - Pisces

Post larval stages of Psettina Iijimae ranging from 1.8 mm NL to 44.6 mm SL collected during Naga Expedition and International Indian Ocean Expedition (IIOE) are described. The characteristics which help to identify larval stages of Psettina are: the presence of pigmented urohyal appendage in early stages which is progressively reduced during flexion stages and which disappears in later postflexion stages, the meristics, the spines on urohyal and posterior basipterygial processes and the absence of spines on cleithra. The P. iijimae can be distinguished by the presence of spines on the median fin rays which differentiate near the baseosts along the dorsal and ventral body wall much before the fin rays. The larvae of P.iijimae were more abundant in the Gulf of Thailand compared to South China Sea and Indian Ocean.

Real time feature-based facial tracking using Lie algebras

We have developed a novel human facial tracking system that operates in real time at a video frame rate without needing any special hardware. The approach is based on the use of Lie algebra, and uses three-dimensional feature points on the targeted human face. It is assumed that the roughly estimated facial model (relative coordinates of the three-dimensional feature points) is known. First, the initial feature positions of the face are determined using a model fitting technique. Then, the tracking is operated by the following sequence: (1) capture the new video frame and render feature points to the image plane; (2) search for new positions of the feature points on the image plane; (3) get the Euclidean matrix from the moving vector and the three-dimensional information for the points; and (4) rotate and translate the feature points by using the Euclidean matrix, and render the new points on the image plane. The key algorithm of this tracker is to estimate the Euclidean matrix by using a least square technique based on Lie algebra. The resulting tracker performed very well on the task of tracking a human face.

automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

constructing finite algebras with falcon

The generation of models and counterexamples is an important form of reasoning. In this paper, we give a formal account of a system, called FALCON, for constructing finite algebras from given equational axioms. The abstract algorithms, as well as some implementation details and sample applications, are presented. The generation of finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms as constraints. One feature of the system is that it employs a very simple technique, called the least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search space. The correctness of the heuristic is proved. Some experimental data are given to show the performance and applications of the system.