Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Foreground Object Segmentation from Binocular Stereo Video

Moving cameras are needed for a wide range of applications in robotics, vehicle systems, surveillance, etc. However, many foreground object segmentation methods reported in the literature are unsuitable for such settings; these methods assume that the camera is fixed and the background changes slowly, and are inadequate for segmenting objects in video if there is significant motion of the camera or background. To address this shortcoming, a new method for segmenting foreground objects is proposed that utilizes binocular video. The method is demonstrated in the application of tracking and segmenting people in video who are approximately facing the binocular camera rig. Given a stereo image pair, the system first tries to find faces. Starting at each face, the region containing the person is grown by merging regions from an over-segmented color image. The disparity map is used to guide this merging process. The system has been implemented on a consumer-grade PC, and tested on video sequences of people indoors obtained from a moving camera rig. As can be expected, the proposed method works well in situations where other foreground-background segmentation methods typically fail. We believe that this superior performance is partly due to the use of object detection to guide region merging in disparity/color foreground segmentation, and partly due to the use of disparity information available with a binocular rig, in contrast with most previous methods that assumed monocular sequences.

Immunomodulatory effects exerted by Lactobacillus salivarius strains on innate immune cells

Despite increased application of commensal bacteria for attempting to improve the symptoms of a variety of inflammatory conditions, including inflammatory bowel diseases, diarrhoea and irritable bowel syndrome, therapeutic approaches that involve live bacteria are hampered by a limited understanding of bacterium-host interactions. Lactobacilli are natural inhabitants of the mammalian gastrointestinal tract and many lactobacilli are regarded as probiotics meaning that they exert a beneficial influence on the health status of their consumers. Modulation of immune responses is a plausible mechanism underlying these beneficial effects. The aim of this thesis was to investigate the effect of 33 Lactobacillus salivarius strains on the production of inflammatory cytokines from a variety of human and mouse immune cells. Induction of immune responses in vitro was shown to be bacterial- and mouse strain-dependent, cell type-dependent, blood donor-dependent and bacterial cell number-dependent. Collectively, these data suggest the importance of a case-by-case selection of candidate strains for their potential therapeutic application. Toll-like receptors (TLRs) recognize microbe-associated molecular patterns (MAMPs) and play a critical role in shaping microbial-specific innate and adaptive immune responses. Following ligand engagement, TLRs trigger a complex network of signalling that culminate in the production of inflammatory mediators. The investigation of the molecular mechanisms underlying the Lb. salivarius-host interaction resulted in the identification of a novel role for TLR2 in negatively regulating TLR4 signalling originated from subcellular compartments within macrophages. Notably, sustained activation of JAK/STAT cascade and M1-signature genes in TLR2-/- macrophages was ablated by selective TLR4 and JAK inhibitors and by absence of TLR4 in TLR2/4-/- cells. In addition, other negative regulators of TLR signalling triggered by Lb. salivarius strains were found to be the adapter molecules TIRAP and TRIF. Understanding negative regulation of TLR signalling may pave the way for the development of novel therapeutics to limit inflammation in multiple diseases.

An investigation of implicit measurement techniques amongst low risk and forensic samples

There are difficulties with utilising self- report and physiological measures of assessment amongst forensic populations. This study investigates implicit based measures amongst sexual offenders, nonsexual offenders and low risk samples. Implicit measurement is a term applied to measurement methods that makes it difficult to influence responses through conscious control. The test battery includes the Implicit Association Test (IAT), Rapid Serial Visual Presentation (RSVP), Viewing Time (VT) and the Structured Clinical interview for disorders. The IAT proposes that people will perform better on a task when they depend on well-practiced cognitive associations. The RSVP task requires participants to identify a single target image that is presented amongst a series of rapidly presented visual images. RSVP operates on the premise that if two target images are presented within 500milliseconds of each other, the possibility that the participant will recognize the second target is significantly reduced when the first target is of salience to the individual. This is the attentional blink phenomenon. VT is based on the principle that people will look longer at images that are of salience. Results showed that on the VT task, child sexual offenders took longer to view images of children than low risk groups. Nude over clothed images induced a greater attentional blink amongst low risk and offending samples on the RSVP task. Sexual offenders took longer than low risk groups on word pairing tasks where sexual words were paired with adult words on the IAT. The SCID highlighted differences between the offending and non offending groups on the sub scales for personality disorders. More erotic stimulus items on the VT and RSVP measures is recommended to better differentiate sexual preference between offending and non offending samples. A pictorial IAT is recommended. Findings provide the basis for further development of implicit measures within the assessment of sexual offenders.

Porcine endothelial cells cocultured with smooth muscle cells became procoagulant in vitro.

Endothelial cell (EC) seeding represents a promising approach to provide a nonthrombogenic surface on vascular grafts. In this study, we used a porcine EC/smooth muscle cell (SMC) coculture model that was previously developed to examine the efficacy of EC seeding. Expression of tissue factor (TF), a primary initiator in the coagulation cascade, and TF activity were used as indicators of thrombogenicity. Using immunostaining, primary cultures of porcine EC showed a low level of TF expression, but a highly heterogeneous distribution pattern with 14% of ECs expressing TF. Quiescent primary cultures of porcine SMCs displayed a high level of TF expression and a uniform pattern of staining. When we used a two-stage amidolytic assay, TF activity of ECs cultured alone was very low, whereas that of SMCs was high. ECs cocultured with SMCs initially showed low TF activity, but TF activity of cocultures increased significantly 7-8 days after EC seeding. The increased TF activity was not due to the activation of nuclear factor kappa-B on ECs and SMCs, as immunostaining for p65 indicated that nuclear factor kappa-B was localized in the cytoplasm in an inactive form in both ECs and SMCs. Rather, increased TF activity appeared to be due to the elevated reactive oxygen species levels and contraction of the coculture, thereby compromising the integrity of EC monolayer and exposing TF on SMCs. The incubation of cocultures with N-acetyl-cysteine (2 mM), an antioxidant, inhibited contraction, suggesting involvement of reactive oxygen species in regulating the contraction. The results obtained from this study provide useful information for understanding thrombosis in tissue-engineered vascular grafts.

An analysis of the efficacy of low-scale concentrated photovoltaics

Gemstone Team LEAF (Light Energy Acquisition of the Future)

WORKS BY FRANCO-BELGIAN COMPOSERS AND THE VIOLINISTS WHO INSPIRED THEM

In the late nineteenth century, French composers such as Camille Saint- Saens, Cesar Franck, and Claude Debussy worked to elevate instrumental music in late-Romantic period France, creating symphonies, concertos, and chamber ensembles, including duo sonatas. These composers and followers like, Ernest Chausson and Guillaume Lekeu were all influenced by a particular violinist to whom they dedicated their compositions. The primary violinist who inspired these composers was Eugene Ysaye (1858-1931), a brilliant performer and composer. His freedom of expression motivated many prominent French composers to dedicate major works to him. For example, Debussy dedicated his string quartet to Ysaye, who established the Ysaye Quartet and premiered Debussy's composition. In 1886, Franck completed his sonata for violin and piano which he also dedicated to Ysaye. Fritz Kreisler (1875-1962), one of the most talented violinists of his era, had a relationship withYsaye that was quite special. They respected, supported, and befriended each other. To Ysaye, Kreisler dedicated his Recitativo and Scherzo. To Kreisler, Ysaye dedicated one ofhis celebrated Sonatas for Solo Violin. Pablo de Sarasate (1844-1908) was a magnificent Spanish violinist of the late nineteenth century, and his music and performances influenced many composers, especially Saint-Saens, who included Spanish gypsy fragments in his works. These motifs may found in his Havanaise, Introduction and Rondo Capriccioso and Violin Concerto No.3 which were dedicated to Sarasate. My goal for this dissertation project has been to find and present, in three recitals, works by French composers and also works by the violinists who inspired them. As a violinist, I have endeavored to understand the influence of the various violinists on these French composers and how that knowledge can inform my approach to performing these works. In my first recital, with pianist Soo Young Jung, I performed works by Saint-Saens, Ysaye and Sarasate. With pianist Sun Ha Yoon, I performed works by Ysaye, Debussy, Kreisler and Franck in my second recital. My third recital, again with pianist Sun Ha Yoon, featured works by Ysaye, Chausson, and Lekeu. All recitals were recorded and performed at the University ofMaryland, College Park.

Números trascendentes: desarrollo histórico

Sabemos que los números trascendentes son aquellos que no son raíces de ecuaciones algebraicas con coeficientes racionales. Su origen, el origen de la trascendencia, se remonta a los griegos con la aparición de problemas como la duplicación del cubo, trisección del ángulo y cuadratura del círculo irresolubles con regla y compás. Entre 1844 fecha en la que nace el primer número trascendente y 1900 fecha en la que Hilbert plantea el llamado séptimo problema de Hilbert cuya solución, obtenida en 1934 por Gelfand y Scheider, a partir de los trabajos de Polya en 1914 y Siegel en 1929, abren las puertas de una nueva era para esta teoría. En este intervalo de tiempo se produjeron numerosos eventos importantes que vamos a tratar de desarrollar.

Practitioners’ perception of the impact of the vision of policy-makers on practice: The example of the recommendations of the Moser Commission

This paper presents the perception of practitioners of the impact of the Moser Committee recommendations and the Skills for Life agenda it generated. The paper further explores areas of convergence and divergence between practitioners’ perceptions and the underpinning values of the Moser Committee recommendations. The study utilised a range of research tools including an online questionnaire, documentary analysis and elements of discourse analysis in the collection and analysis of data. It found that there is substantial divergence between the perception of practitioners and the values underpinning policy. It concludes by suggesting that a varying perception of what constitutes sustainable education and the lack of input from practitioners into policy might be responsible for this significant divergence of opinion and also raised a question on the perceived role of practitioners in the policy‐making process.

The vague, the viral, the parasitic: Piranesi's metropolis

In mid-18th century Giovanni Battista Piranesi’s etchings systematically document the old and new monuments, decrepit buildings and broken down infrastructures of a Rome that continues to inhabit and reinvent its past. His views of Rome offer a devastating account of the blurring of distinctions and articulations that time, use and neglect have imposed on the old differentiations of the urban and the rural, the public and the private, the monumental and the domestic in the 18th century city. Rome becomes for Piranesi the laboratory for a questioning of architecture that places his work well beyond the debate on style and on the origin that dominated the architectural discourse of his time. This paper suggests that Piranesi’s images anticipate the dispersion and sprawl of the city of today, in which the ‘vague’, the ‘viral’ and the ‘parasitic’ become modes of inhabitation and of transient negotiated definition. In the Antichità di Roma, ancient buildings are represented not only in their large scale and magnificence, but also in their decay and reversal to a state of naturalness. These works, together with the acute observations of the Vedute di Roma, provide the materials that are then dislocated, manipulated, cloned and endlessly mutated by Piranesi in the synthesis of the Campo Marzio dell’Antica Roma, in which the historical city is almost entirely dissolved and replaced by an extraordinary congestion of fragments. When they are re-examined on the grounds of contemporary architectural and urban theory, the sites of Piranesi's views reveal anticipations of phenomena that affect the metropolis of today. Political, social and economic conditions have changed dramatically, but the questions asked of architecture in and by these sites challenge the definition of an architecture of style, forms and boundaries - in the 18th century as well as in the 21st -in favour of an architecture of change.

Stability of 5-aminolevulinic acid in novel non-aqueous gel and patch-type systems intended for topical application.

Aminolevulinic acid (ALA) stability within topical formulations intended for photodynamic therapy (PDT) is poor due to dimerisation to pyrazine-2,5-dipropionic acid (PY). Most strategies to improve stability use low pH vehicles, which can cause cutaneous irritancy. To overcome this problem, a novel approach is investigated that uses a non-aqueous vehicle to retard proton-induced charge separation across the 4-carbonyl group on ALA and lessen nucleophilic attack that leads to condensation dimerisation. Bioadhesive anhydrous vehicles based on methylvinylether-maleic anhydride copolymer patches and poly(ethyleneglycol) or glycerol thickened poly(acrylic acid) gels were formulated. ALA stability fell below pharmaceutically acceptable levels after 6 months, with bioadhesive patches stored at 5°C demonstrating the best stability by maintaining 86.2% of their original loading. Glycerol-based gels maintained 40.2% in similar conditions. However, ALA loss did not correspond to expected increases in PY, indicating the presence of another degradative process that prevented dimerisation. Nuclear magnetic resonance (NMR) analysis was inconclusive in respect of the mechanism observed in the patch system, but showed clearly that an esterification reaction involving ALA and both glycerol and poly(ethyleneglycol) was occurring. This was especially marked in the glycerol gels, where only 2.21% of the total expected PY was detected after 204 days at 5°C. Non-specific esterase hydrolysis demonstrated that ALA was recoverable from the gel systems, further supporting esterified binding within the gel matrices. It is conceivable that skin esterases could duplicate this finding upon topical application of the gel and convert these derivatives back to ALA in situ, provided skin penetration is not affected adversely.