A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Deterministic Computations Whose History Is Independent of the Order of Asynchronous Updating

Consider a network of processors (sites) in which each site x has a finite set N(x) of neighbors. There is a transition function f that for each site x computes the next state ξ(x) from the states in N(x). But these transitions (updates) are applied in arbitrary order, one or many at a time. If the state of site x at time t is η(x; t) then let us define the sequence ζ(x; 0); ζ(x; 1), ... by taking the sequence η(x; 0),η(x; 1), ... , and deleting each repetition, i.e. each element equal to the preceding one. The function f is said to have invariant histories if the sequence ζ(x; i), (while it lasts, in case it is finite) depends only on the initial configuration, not on the order of updates. This paper shows that though the invariant history property is typically undecidable, there is a useful simple sufficient condition, called commutativity: For any configuration, for any pair x; y of neighbors, if the updating would change both ξ(x) and ξ(y) then the result of updating first x and then y is the same as the result of doing this in the reverse order. This fact is derivable from known results on the confluence of term-rewriting systems but the self-contained proof given here may be justifiable.

Working Memory Networks for Learning Temporal Order, with Application to 3-D Visual Object Recognition

Working memory neural networks are characterized which encode the invariant temporal order of sequential events. Inputs to the networks, called Sustained Temporal Order REcurrent (STORE) models, may be presented at widely differing speeds, durations, and interstimulus intervals. The STORE temporal order code is designed to enable all emergent groupings of sequential events to be stably learned and remembered in real time, even as new events perturb the system. Such a competence is needed in neural architectures which self-organize learned codes for variable-rate speech perception, sensory-motor planning, or 3-D visual object recognition. Using such a working memory, a self-organizing architecture for invariant 3-D visual object recognition is described. The new model is based on the model of Seibert and Waxman (1990a), which builds a 3-D representation of an object from a temporally ordered sequence of its 2-D aspect graphs. The new model, called an ARTSTORE model, consists of the following cascade of processing modules: Invariant Preprocessor --> ART 2 --> STORE Model --> ART 2 --> Outstar Network.

Statistical properties of first-order bang-bang Pll with nonzero loop delay

A method to solve the stationary state probability is presented for the first-order bang-bang phase-locked loop (BBPLL) with nonzero loop delay. This is based on a delayed Markov chain model and a state How diagram for tracing the state history due to the loop delay. As a result, an eigenequation is obtained, and its closed form solutions are derived for some cases. After obtaining the state probability, statistical characteristics such as mean gain of the binary phase detector and timing error variance are calculated and demonstrated.

The role of the community service order and the suspended sentence in Ireland: a judicial perspective

Imprisonment is the most severe penalty utilised by the criminal courts in Ireland. In recent decades the prison population has grown significantly despite expressions both official and public to reduce the use of the sanction. Two other sanctions are available to the Irish sentencer which may be used as a direct and comparable sentence in lieu of a term of imprisonment namely, the community service order and the suspended sentence. The community service order remains under-utilised as an alternative to the custodial sentence. The suspended sentence is used quite liberally but its function may be more closely related to the aim of deterrence rather than avoiding the use of the custodial sentence. Thus the aim of decarceration may not be optimal in practice when either sanction is utilised. The decarcerative effect of either sanction is largely dependent upon the specific purpose which judges invest in the sanction. Judges may also be inhibited in the use of either sanction if they lack confidence that the sentence will be appropriately monitored and executed. The purpose of this thesis is to examine the role of the community service order and the suspended sentence in Irish sentencing practice. Although community service and the suspended sentence present primarily as alternatives to the custodial sentence, the manner in which the judges utilise or fail to utilise the sanctions may differ significantly from this primary manifestation. Therefore the study proceeds to examine the judges' cognitions and expectations of both sanctions to explore their underlying purposes and to reveal the manner in which the judges use the sanctions in practice. To access this previously undisclosed information a number of methodologies were deployed. An extensive literature review was conducted to delineate the purpose and functionality of both sanctions. Quantitative data was gathered by way of sampling for the suspended sentence and the part-suspended sentence where deficiencies were apparent to show the actual frequency in use of that sanction. Qualitative methodologies were used by way of focus groups and semi-structured interviews of judges at all jurisdictional levels to elucidate the purposes of both sanctions. These methods allowed a deeper investigation of the factors which may promote or inhibit such usage. The relative under-utilisation of the community service order as an alternative to the custodial sentence may in part be explained by a reluctance by some judges to equate it with a real custodial sentence. For most judges who use the sanction, particularly at summary level, community service serves a decarcerative function. The suspended sentence continues to be used extensively. It operates partly as a decarcerative penalty but the purpose of deterrence may in practice overtake its theoretical purpose namely the avoidance of custody. Despite ongoing criticism of executive agencies such as the Probation Service and the Prosecution in the supervision of such penalties both sanctions continue to be used. Engagement between the Criminal Justice actors may facilitate better outcomes in the use of either sanction. The purposes for which both sanctions are deployed find their meaning essentially in the practices of the judges themselves as opposed to any statutory or theoretical claims upon their use or purpose.

Experimental study of quantum dot and dash lasers

Quantum dashes are elongated quantum dots. Polarized edge-photovoltage and spontaneous emission spectroscopy are used to study the anisotropy of optical properties in 1.5μm InGaAsP and AlGaInAs-based quantum dash lasers. Strain, which causes TM-polarized transitions to be suppressed at the band edge, coupled with carrier confinement and dash shape leads to an enhancement of the optical properties for light polarized along the dash long axis, in excellent agreement with theoretical results. An analysis of the integrated facet and spontaneous emission rate with total current and temperature reveals that, in both undoped and p-doped InGaAsP-based quantum dash lasers at room temperature, the threshold current and its temperature dependence remain dominated by Auger recombination. We also identify two processes which can limit the output power and propose that the effects of the dopant in p-doped InGaAsP-based lasers dominate at low temperature but decrease with increasing temperature. A high threshold current density in undoped AlGaInAs-based quantum dash laser samples studied, which degrade rapidly at low temperature, is not due to intrinsic carrier recombination processes. 1.3μm GaAs-based quantum dots lasers have been widely studied, but there remains issues as to the nature of the electronic structure. Polarized edge-photovoltage spectroscopy is used to investigate the energy distribution and nature of the energy states in InAs/GaAs quantum dot material. A non-negligible TM-polarized transition, which is often neglected in calculations and analyses, is measured close to the main TE-polarized ground state transition. Theory is in very good agreement with the experimental results and indicates that the measured low-energy TM-polarized transition is due to the strong spatial overlap between the ground state electron and the light-hole component of a low-lying excited hole state. Further calculations suggest that the TM-polarized transition reduces at the band edge as the quantum dot aspect ratio decreases.

Enforcing precariousness: a comparative analysis of the limitations placed on the legal status of refugees

This thesis focuses on the manner in which the EU, the UK, and Canada respond to and engage with the refugee’s movement from a temporary to a more permanent legal status in the state. It is noted that this transition is increasingly problematized. A trend is noted in response to this among the jurisdictions examined, to exceptionalise refugee status through acts of legal categorisation and separation. These categorisations represent an attempt to re-assert control over refugees who arrived to the state in a spontaneous manner. I argue that this categorisation and fragmentation of refugee status is another means of managing life in the state and ultimately excluding refugees within the state. Refugees therefore experience a contradictory response to their presence. While they are continually reminded of the temporary nature of their legal status in the state, they are still required to demonstrate a willingness to integrate in to the host society. Their behaviour in the state is something that is once again recalled by the decision makers who determine whether they should ultimately be able to access citizenship status. In this thesis, I argue that in order to navigate a route to citizenship, the refugee must respond to the constant re-framing and re-contextualisation of her status in the state of asylum. As the thesis observes, this raises broader questions about the nature of citizenship and belonging

Spontaneous secretion of interferon gamma and interleukin 4 by human intraepithelial and lamina propria gut lymphocytes.

BACKGROUND: Cytokines secreted by intestinal T lymphocytes probably play a critical role in regulation of the gut associated immune responses. AIMS: To quantify interferon gamma (IFN-gamma) and interleukin 4 (IL-4) secreting cells (SC) among human intraepithelial (IEL) and lamina propria (LPL) lymphocytes from the duodenum and right colon in non-pathological situations and in the absence of in vitro stimulation. PATIENTS: Duodenal and right colonic biopsy specimens were obtained from patients with no inflammation of the intestinal mucosa. METHODS: Intraepithelial and lamina propria cell suspensions were assayed for numbers of cells spontaneously secreting IFN-gamma and IL-4 by a two site reverse enzyme linked immunospot technique (ELISPOT). RESULTS: The relatively high proportion of duodenal lymphocytes spontaneously secreting IFN-gamma (IEL 3.6%; LPL 1.9%) and IL-4 (IEL 1.3%; LPL 0.7%) contrasted with the very low numbers of spontaneously IFN-gamma SC and the absence of spontaneously IL-4 SC among peripheral blood mononuclear cells. In the basal state, both IFN-gamma and IL-4 were mainly produced by CD4+ cells. Within the colon, only 0.2% of IEL and LPL secreted IFN-gamma in the basal state, and 0.1% secreted IL-4. CONCLUSIONS: Compared with peripheral lymphocytes substantial proportions of intestinal epithelial and lamina propria lymphocytes spontaneously secrete IFN-gamma and/or IL-4. These cytokines are probably involved in the normal homoeostasis of the human intestinal mucosa. Disturbances in their secretion could play a role in the pathogenesis of gastrointestinal diseases.

First- and second-order phase transitions in the adlayer of biadipate on Au(111)

The adsorption of biadipate on Au(111) was studied by cyclic voltammetry and chronocoulometry. The biadipate adlayer undergoes a potential-driven phase transition. It is shown that the phase transition can be either of the first- or second-order depending on the biadipate concentration. At low surfactant concentrations, the first-order transition is characterised by a discontinuity in the charge density-potential curve and by the presence of very sharp peaks in the voltammetric response. At higher concentrations, these peaks are no longer observed but a discontinuity in the capacity curve is still noticeable, in agreement with a second-order transition. © the Owner Societies.

Probing polarization and dielectric function of molecules with higher order harmonics in scattering-near-field scanning optical microscopy

The idealized system of an atomically flat metallic surface [highly oriented pyrolytic graphite (HOPG)] and an organic monolayer (porphyrin) was used to determine whether the dielectric function and associated properties of thin films can be accessed with scanning-near-field scanning optical microscopy (s-NSOM). Here, we demonstrate the use of harmonics up to fourth order and the polarization dependence of incident light to probe dielectric properties on idealized samples of monolayers of organic molecules on atomically smooth substrates. An analytical treatment of light/sample interaction using the s-NSOM tip was developed in order to quantify the dielectric properties. The theoretical analysis and numerical modeling, as well as experimental data, demonstrate that higher order harmonic scattering can be used to extract the dielectric properties of materials with tens of nanometer spatial resolution. To date, the third harmonic provides the best lateral resolution (∼50 nm) and dielectric constant contrast for a porphyrin film on HOPG. © 2009 American Institute of Physics.

Control of the orientational order and nonlinear optical response of the "push-pull" chromophore RuPZn via specific incorporation into densely packed monolayer ensembles of an amphiphilic four-helix bundle peptide: characterization of the peptide-chromophore complexes.

"Push-pull" chromophores based on extended pi-electron systems have been designed to exhibit exceptionally large molecular hyperpolarizabilities. We have engineered an amphiphilic four-helix bundle peptide to vectorially incorporate such hyperpolarizable chromophores having a metalloporphyrin moiety, with high specificity into the interior core of the bundle. The amphiphilic exterior of the bundle facilitates the formation of densely packed monolayer ensembles of the vectorially oriented peptide-chromophore complexes at the liquid-gas interface. Chemical specificity designed into the ends of the bundle facilitates the subsequent covalent attachment of these monolayer ensembles onto the surface of an inorganic substrate. In this article, we describe the structural characterization of these monolayer ensembles at each stage of their fabrication for one such peptide-chromophore complex designated as AP0-RuPZn. In the accompanying article, we describe the characterization of their macroscopic nonlinear optical properties.

No-Holdback allocation rules for continuous-time assemble-to-order systems

This paper analyzes a class of common-component allocation rules, termed no-holdback (NHB) rules, in continuous-review assemble-to-order (ATO) systems with positive lead times. The inventory of each component is replenished following an independent base-stock policy. In contrast to the usually assumed first-come-first-served (FCFS) component allocation rule in the literature, an NHB rule allocates a component to a product demand only if it will yield immediate fulfillment of that demand. We identify metrics as well as cost and product structures under which NHB rules outperform all other component allocation rules. For systems with certain product structures, we obtain key performance expressions and compare them to those under FCFS. For general product structures, we present performance bounds and approximations. Finally, we discuss the applicability of these results to more general ATO systems. © 2010 INFORMS.

The short and long of it: neural correlates of temporal-order memory for autobiographical events.

Previous functional neuroimaging studies of temporal-order memory have investigated memory for laboratory stimuli that are causally unrelated and poor in sensory detail. In contrast, the present functional magnetic resonance imaging (fMRI) study investigated temporal-order memory for autobiographical events that were causally interconnected and rich in sensory detail. Participants took photographs at many campus locations over a period of several hours, and the following day they were scanned while making temporal-order judgments to pairs of photographs from different locations. By manipulating the temporal lag between the two locations in each trial, we compared the neural correlates associated with reconstruction processes, which we hypothesized depended on recollection and contribute mainly to short lags, and distance processes, which we hypothesized to depend on familiarity and contribute mainly to longer lags. Consistent with our hypotheses, parametric fMRI analyses linked shorter lags to activations in regions previously associated with recollection (left prefrontal, parahippocampal, precuneus, and visual cortices), and longer lags with regions previously associated with familiarity (right prefrontal cortex). The hemispheric asymmetry in prefrontal cortex activity fits very well with evidence and theories regarding the contributions of the left versus right prefrontal cortex to memory (recollection vs. familiarity processes) and cognition (systematic vs. heuristic processes). In sum, using a novel photo-paradigm, this study provided the first evidence regarding the neural correlates of temporal-order for autobiographical events.

Spatial imagery preserves temporal order.

Line drawings were presented in either a spatial or a nonspatial format. Subjects recalled each of four sets of 24 items in serial order. Amount recalled in the correct serial order and sequencing errors were scored. In Experiment 1 items appeared either in consecutive locations of a matrix or in one central location. Subjects who saw the items in different locations made fewer sequencing errors than those who saw each item in a central location, but serial recall levels for these two conditions did not differ. When items appeared in nonconsecutive locations in Experiment 2, the advantage of the spatial presentation on sequencing errors disappeared. Experiment 3 included conditions in which both the consecutive and nonconsecutive spatial formats were paired with retrieval cues that either did or did not indicate the sequence of locations in which the items had appeared. Spatial imagery aided sequencing when, and only when, the order of locations in which the stimuli appeared could be reconstructed at retrieval.