We give a (sound and complete) characterization of observational equivalence in full polymorphic λ-calculus with existential types and first-class, higher-order references. Our method is syntactic and elementary in the sense that it only employs simple structures such as relations on terms. It is nevertheless powerful enough to prove many interesting equivalences that can and cannot be proved b...

Simple phenotypic and genotypic correlation coefficients were calculated from 18 genotypes of glory lily (Gloriosa superba L.) during two seasons (2007 and 2008). Experiment was laid out in a randomized block design with three replications at the Medicinal Plants Unit, Botanical Garden, Tamil Nadu Agricultural University, Coimbatore, Tamil Nadu, India. Positive phenotypic and genotypic correlat...

The SOLar SPECtrum (SOLSPEC) and the SOlar SPectrum (SOSP) spectrometers are two twin instruments built to carry out solar spectral irradiance measurements. They are made of three spectrometers dedicated to observations in the ultraviolet, visible and infrared domains. SOLSPEC flew with the ATmospheric Laboratory for Applications and Science (ATLAS) while SOSP flew on the EUropean Retrieval CAr...

Gcological mapping in I993 espandcd 1991 rcconnaissancc suncys ofNTS map shccts 104W12 and 13 (Smith and Mihalynuk. 1992; Figurc I). Mapping of both quadranglcs was complctcd at 1:SO 000 scale during a 2-wcck ficld scason in 1992 and a 7-wcck ficld scason in 1993. aidcd by compilation ofprcvious industry work in 10-1W12. Clbicctives of 1993 fieldwork includcd: Dc1crmin;llion oltlrc agc(s). rcgi...

The goal of this research is to investigate the factors that affect carsharing demand. As a proxy for carsharing demand, the number of (booking) transactions made by carsharing users is counted based on the data from one of the two major carsharing operators in Seoul, Korea. In order to identify the factors influencing station-based carsharing usage, multiple linear regression modeling was perf...

In this dissertation, I integrate research on role-based coordination with concepts adapted from the team effectiveness literature to theorize how minimal team structures support effective coordination when people do not work together regularly. I argue that role-based coordination among relative strangers can be interpersonally challenging and propose that team scaffolds (minimal team structur...

The possibility of utilising chopped and deseeded carob pods (kibbles) as a source of polyphenolic antioxidants was examined by performing extractions with various solvent systems, in order to evaluate and optimize the conditions for the recovery of polyphenols. Maximum quantities of polyphenolic components were found in 80 % acetone extracts, as evaluated by measuring total polyphenol and tota...

and a contra rotating propeller behind it mounted on a pulling mechanical thruster. The machinery has been confi gured to keep the initial cost low by avoiding expensive electric pods and drives, and by going to a simple mechanical drive of the forward propeller using a large bore main engine. A novel machinery and cargo ramp arrangement has been developed to facilitate also very large main eng...

Prior to the discovery of the soybean aphid, researchers at the University of WisconsinMadison have been researching the cause of several abnormal symptoms of unknown cause common to soybean in most regions of Wisconsin. Major symptoms are changes in leaf and pod appearance that frequently are confused with symptoms caused by post-emergence herbicides. Plants with abnormal leaf phenotypes are c...

We propose a framework that naturally represents preferences in a probabilistic relational database. The framework augments the relational schema with a special type of a symbol—a preference symbol. Effectively, an instance of a preference symbol can be internally represented as a collection of parametric preference distributions such as Mallows. We establish positive and negative complexity re...