Poor rural households, technical change and income distribution in developing countries : insights from Asia /

Research supported by contract no. AID/ta-C-01327.

Illinois state plan : energy conservation in institutions : institutional buildings grant program /

Cover title: State plan for institutions.

Reports of proceedings ...

Description based on: 1868/69.

The national evaluation of the Pilot Cities Program : a team approach to improving local criminal justice systems /

Issued November 1975.

On the Isoenergetical Non-Degeneracy of the Problem of two Centers of Gravitation

* Partialy supported by contract MM 523/95 with Ministry of Science and Technologies of Republic of Bulgaria.

Nadel's Subschemes of Fano Manifolds X with a Picard Group Pic(X) Isomorphic to Z

∗The author supported by Contract NSFR MM 402/1994.

Estimate for the Number of Zeros of Abelian Integrals on Elliptic Curves

2000 Mathematics Subject Classification: Primary 34C07, secondary 34C08.

Verification of Procedural Programs via Building their Generalized Nets Models

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

Large Distinct Part Sizes in a Random Integer Partition

A partition of a positive integer n is a way of writing it as the sum of positive integers without regard to order; the summands are called parts. The number of partitions of n, usually denoted by p(n), is determined asymptotically by the famous partition formula of Hardy and Ramanujan [5]. We shall introduce the uniform probability measure P on the set of all partitions of n assuming that the probability 1/p(n) is assigned to each n-partition. The symbols E and V ar will be further used to denote the expectation and variance with respect to the measure P . Thus, each conceivable numerical characteristic of the parts in a partition can be regarded as a random variable.

A New Look at Institutional Food Service Management

Institutional food service management, especially by contract management companies, offers unrecognized career opportunities for many of today's hospitality students. It is one of the best kept secrets in the food service industry. This article endeavors to provide a new look at and overview of the industry as it has evolved and now stands.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Mucosal and systemic anti-GAG immunity induced by neonatal immunization with HIV LAMP/gag DNA vaccine in mice

Vaccines capable of inducing mucosal immunity in early postnatal life until adulthood, protecting early sexual initiation, should be considered as strategies to vaccination against HIV. The HIV-1 GAG protein as a chimera with the lysosome-associated membrane protein (LAMP/gag), encoded by a DNA vaccine, is targeted to the endosomal/lysosomal compartment that contains class II MHC molecules and has been shown to be immunogenic in adult mice. Assuming that one such strategy could help to overcome the immunological immaturity in the early postnatal period, we have evaluated the systemic and mucosal immunogenicity of LAMP/gag immunization in neonatal mice. Intranasal immunization with LAMP/gag vaccine induced higher levels of sIgA and IgG anti-GAG antibodies in intestinal washes than did the gag vaccine. The combination of ID injections and the IN protocol with the chimeric vaccine promoted the increase of Ab levels in sera. Both vaccines induced splenic IFN-gamma- secreting cells against GAG peptide pools, as well as in vivo cytotoxic T lymphocyte (CTL) function, and increased the percentage of CD8+ T cells to the immunodominant class I peptide in gut and spleen. However, only the chimeric vaccine was able to enhance Th1/Th2 cytokine secretion in response to class II GAG peptide and to enhance IL-4-secreting cells against GAG peptides and p24 protein stimuli. Long-lasting humoral and cellular responses were detected until adult age, following neonatal immunization with the chimeric vaccine. The LAMP/gag vaccination was able to induce potent GAG-specific T and B cell immune responses in early life which are essential to elicit sustained and long-lasting mucosal and systemic humoral response. (C) 2010 Elsevier GmbH. All rights reserved.