Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience

We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor and its associated partial evaluation-based compiler have been used extensively by scientists at M.I.T., and have made possible recent results in astrophysics showing that the motion of the planets in our solar system is chaotically unstable.

Linear Object Classes and Image Synthesis from a Single Example Image

The need to generate new views of a 3D object from a single real image arises in several fields, including graphics and object recognition. While the traditional approach relies on the use of 3D models, we have recently introduced techniques that are applicable under restricted conditions but simpler. The approach exploits image transformations that are specific to the relevant object class and learnable from example views of other "prototypical" objects of the same class. In this paper, we introduce such a new technique by extending the notion of linear class first proposed by Poggio and Vetter. For linear object classes it is shown that linear transformations can be learned exactly from a basis set of 2D prototypical views. We demonstrate the approach on artificial objects and then show preliminary evidence that the technique can effectively "rotate" high- resolution face images from a single 2D view.

McArdle disease: a unique study model in sports medicine

McArdle disease is arguably the paradigm of exercise intolerance in humans. This disorder is caused by inherited deficiency of myophosphorylase, the enzyme isoform that initiates glycogen breakdown in skeletal muscles. Because patients are unable to obtain energy from their muscle glycogen stores, this disease provides an interesting model of study for exercise physiologists, allowing insight to be gained into the understanding of glycogen-dependent muscle functions. Of special interest in the field of muscle physiology and sports medicine are also some specific (if not unique) characteristics of this disorder, such as the so-called 'second wind' phenomenon, the frequent exercise-induced rhabdomyolysis and myoglobinuria episodes suffered by patients (with muscle damage also occurring under basal conditions), or the early appearance of fatigue and contractures, among others. In this article we review the main pathophysiological features of this disorder leading to exercise intolerance as well as the currently available therapeutic possibilities.

Li+ Diffusion and its Structural Basis in the Nanocrystalline and Amorphous Forms of Two-dimensionally Ion-conducting LixTiS2

Winter, Rudolf; Heitjans, P., (2001) 'Li+ Diffusion and its Structural Basis in the Nanocrystalline and Amorphous Forms of Two-dimensionally Ion-conducting LixTiS2', Journal of Physical Chemistry B 105(26) pp.6108-6115 RAE2008

Proteomic analysis of the larval stage of the parasite Echinococcus granulosus: causative agent of cystic hydatid disease

Gustavo Chemale, Arjan J. van Rossum, James R. Jefferies, John Barrett, Peter M. Brophy, Henrique B. Ferreira, Arnaldo Zaha (2003). Proteomic analysis of the larval stage of the parasite Echinococcus granulosus: causative agent of cystic hydatid disease. Proteomics, 3(8), 1633-1636. Sponsorship: CNPq / PADCT/CNPq / FAPERGS (Brazil)/ BBSRC (UK) RAE2008

Integracja szlaków sygnalizacyjnych interferonu gamma i receptora TLR4 w procesie zapalnym naczyń krwionośnych, warunkowana czynnikami transkrypcyjnymi STAT1 i IRF

Wydział Biologii: Instytut Biologii Molekularnej i Biotechnologii Zakład Genetyki Molekularnej Człowieka

The missionary nature of the church; a survey of the Biblical theology of mission.

http://www.archive.org/details/missionarynature013246mbp

A Lower-Bound Result on the Power of a Genetic Algorithm

This paper presents a lower-bound result on the computational power of a genetic algorithm in the context of combinatorial optimization. We describe a new genetic algorithm, the merged genetic algorithm, and prove that for the class of monotonic functions, the algorithm finds the optimal solution, and does so with an exponential convergence rate. The analysis pertains to the ideal behavior of the algorithm where the main task reduces to showing convergence of probability distributions over the search space of combinatorial structures to the optimal one. We take exponential convergence to be indicative of efficient solvability for the sample-bounded algorithm, although a sampling theory is needed to better relate the limit behavior to actual behavior. The paper concludes with a discussion of some immediate problems that lie ahead.

Bounds on the Power of Constant-Depth Quantum Circuits

We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, our results imply EQNC^0 ⊆ P, where EQNC^0 is the constant-depth analog of the class EQP. On the other hand, we adapt and extend ideas of Terhal and DiVincenzo [?] to show that, for any family

The quality of deliberation in Northern Ireland's district policing partnerships

This study uses theoretical based deliberative democratic dimensions to measure the deliberative quality of Northern Ireland’s District Policing Partnership (DPP) meetings in public. The study combines Habermasian, and Young’s deliberative concepts to create an Augmented Discourse Quality Index. This Augmented DQI is employed by this research as am empirical instrument to establish the true deliberative nature of these DPP meetings in public. The overall goal of this study is two-fold. First; to gain an in-depth understanding of Northern Ireland’s DPPs in relation to deliberative democratic theory, specifically regarding how these policing/public partnerships stand up under a deliberative democratic lens. The second goal is to provide a possible framework by which deliberative quality can be more accurately measured. In that frameworks which are designed to measure deliberative quality should include not only the dimensions for rational participation, but also include broader terms of communication such as greeting, rhetoric and story-telling.

A toolset for the analysis of et-lotos specifications

info:eu-repo/semantics/published

Kinetics of anti-Campylobacter jejuni monomeric and polymeric immunoglobulin A1 and A2 responses in serum during acute enteritis.

The intensity and kinetics of the serum polymeric and monomeric immunoglobulin A1 (IgA1) and IgA2 antibody responses to Campylobacter jejuni were analyzed. A rapid and marked serum IgA antibody response involving both the monomeric and polymeric components of IgA was observed after C. jejuni infections. IgA antibodies reached a peak of activity in serum during week 2 after the first symptoms of enteritis, about 10 days before the peak of IgG activity. Polymeric IgA accounted for most of the anti-C. jejuni activity at the peak of the IgA response (median, 90%; range, 44 to 98%) but rapidly disappeared from serum over a few weeks. In contrast, the serum monomeric IgA antibody response was low and was maintained over a prolonged period of time. Anti-C. jejuni IgA detected in the serum of healthy blood donors was mainly monomeric (median, 83%; range, 17 to 94%). In both the patients and the positive controls, IgA1 was the predominant (greater than 85%) subclass involved, even when the IgA antibody response was mainly polymeric. Our results suggest that polymeric IgA antibody responses are linked to a strong or persisting antigenic stimulation or both. Polymeric IgA antibodies appear to be a potential marker of acute C. jejuni infections, and their determination could provide a useful tool for the serological diagnosis of recent C. jejuni infections.

STUDIES AND PERFORMANCES OF TRANSCRIPTIONS FOR CELLO FROM THE VIOLIN REPERTOIRE

The potential of the violoncello as a solo instrument was recognized and supported by cellists such as Luigi Boccherini (1743-1805), Luis Duport (1749-1819), Auguste Franchomme (1808-1884), and Alfredo Piatti (1822-1901). These pioneers composed technically demanding etudes, exercises, and caprices for the cello that were comparable to those already present in the violin literature. Even so, in the late nineteenth century and early twentieth century, considerably fewer substantial works were brought forth for the cello as compared with the violin. Consequently, many cellists such as Luigi Silva (1903-1961), Gregor Piatigorsky (1903-1976), Pierre Fournier (1906-1986), and Janos Starker (b. 1924) selected notable pieces from the violin repertoire and transcribed these for the cello. Some composers themselves actually adapted for the cello their own works originally written for the violin. Johannes Brahms with his Violin Sonata Op. 78, Igor Stravinsky with his Suite Italienne, and Béla Bartók with his First Rhapsody all belong to this category. Adaptations such as these further raised awareness among composers and performers of the possibilities of the cello as an independent and expressive instrument. Thus, many composers from the early 1900s to the present were encouraged to write increasing numbers of more soloistic and demanding works for cello. Herein, I explore the repertoire of cello transcriptions in order to analyze the differences between the original and transcribed versions and the challenges found therein. The performer may attempt to recreate the effect originally intended for the violin or, more daringly, may strive to search for alternate presentations of the music more suitable and expressive of the cello's own character. The project includes two recitals of the following transcribed works presented at the University of Maryland College Park, School of Music: Sonata in A by César Franck, transcribed by Jules Delsart, Variations on a Theme from Rossini by Nicolo Paganini, transcribed by Fournier, Suite Italienne by Igor Stravinsky, transcribed with the help of Piatigorsky, Sonatina Op. 137, No. 1 by Franz Schubert, transcribed by Starker, First Rhapsody by Béla Bartók and Sonata, Op. 108 by Johannes Brahms, transcribed by Hsiao-mei Sun.

REQUIRED VIOLA REPERTOIRE FOR THE PRIMROSE COMPETITION AND THE TERTIS COMPETITION

William Primrose (1903-1982) and Lionel Tertis (1876-1975) made the viola a grand instrument for public performances of solo and chamber music throughout their long and active lives characterized by a common passion for the viola. I, too, have been deeply inspired by their passion for the viola. I chose, therefore, for my doctoral performance project to feature works for viola from the required repertoire of the William Primrose and Lionel Tertis competitions of 2001 and 2003, respectively. For purposes of the performances, I divided selections from the combined repertoire for the William Primrose and Lionel Tertis competitions into three recitals. The first recital included Sonata, Opus 120, No.2 in E-flat Major (1894) by Johannes Brahms; Sonata, Opus 147 (1975) by Dmitri Shostakovich; and Sonata (1919) by Rebecca Clarke. These pieces represent standard components of the general repertoire for both the Primrose and Tertis competitions. The second recital was comprised of two works dedicated by their composers to Primrose: Lachrymae, Opus 48 (1950) by Benjamin Britten; and Concerto (1945) by Bela Bartok. The third recital included three pieces dedicated by their composers to Tertis: Sonata (1922) by Arnold Bax; Sonata in C Minor (1905) by York Bowen; and Sonata (1952) by Arthur Bliss. The goal of my preparation for these recitals was to emphasize a variety of techniques and, also, the unique timbre of the viola. For example, the works I selected emphasized high-position technique, which was not much used before the nineteenth century, and featured the lowest string (the C-string), which provides a beautifully somber and austere sonority characteristic of the viola. For these reasons, the selected works provided not only attractive and interesting pieces to study and perform but were also of educational merit.