A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

A curious experiment: the paradigm switch from observation and speculation to experimentation, in the understanding of neuromuscular function and disease

The four-link chain of the motor unit represents the contemporary end-point of some two millennia of evolving knowledge in neuroscience. The paradigm shift in neuromuscular epistemology occurred in the mid-17th century. In 1666, the newly graduated Dutch doctor, Jan Swammerdam (1637-1680) published his former investigations of dissected nerve-muscle preparations. These experiments comprised the quantum leap from observation and speculation, to that of experimentation in the field of neuroanatomy and neurophysiology. In what he termed 'A Curious Experiment' he also described the phenomenon of intrinsic muscle excitability - I cannot observe that the muscle in the living animal ever absolutely ceases from all motion. Eighty years later (1752), von Haller demonstrated experimentally that irritability (contractility) was an intrinsic property of all muscular tissue; and distinguished between the sensibility of nerve impulses and the irritability of muscular contraction. This experimental progression from Swammerdam to von Haller culminated in 1850, when Claude Bernard's studies in experimental pharmacology confirmed that muscle was a functional unit, independent of any electrical innervation via its supplying nerve. This account comprises an audit of Swammerdam's work in the perspective of neuromuscular knowledge. (C) 2002 Elsevier Science B.V. All rights reserved.

Secondary structure of the third extracellular loop responsible for ligand selectivity of a mammalian gonadotropin-releasing hormone receptor

The extracellular loop 3 (ECL3) of the mammalian gonadotropin-releasing hormone receptor (GnRH-R) contains an acidic amino acid (Glu(301) in the mouse GnRH-R,) that confers agonist selectivity for Are in mammalian GnRH. It is proposed that a specific conformation of ECL3 is necessary to orientate the carboxyl side chain of the acidic residue for interaction with Arg(8) of GnRH, which is supported by decreased affinity for Arg(8) GnRH but not Gln(8) GnRH when an adjacent Pro is mutated to Ala. To probe the structural contribution of the loop domain to the proposed presentation of the carboxyl side chain, we synthesized a model peptide (CGPEMLNRVSEPGC) representing residues 293-302 of mouse ECL3, where Cys and Gly residues are added symmetrically at the N and C termini, respectively, allowing the introduction of a disulfide bridge to simulate the distances at which the ECL3 is tethered to the transmembrane domains 6 and 7 of the receptor. The ability of the ECL3 peptide to bind GnRH with low affinity was demonstrated by its inhibition of GnRH stimulation of inositol phosphate production in cells expressing the GnRH-R. The CD bands of the ECL3 peptides exhibited a superposition of predominantly unordered structure and partial contributions from beta-sheet structure. Likewise, the analysis of the amide I and amide III bands from micro-Raman and FT Raman experiments revealed mainly unordered conformations of the cyclic and of the linear peptide. NMR data demonstrated the presence of a beta-hairpin among an ensemble of largely disordered structures in the cyclic peptide. The location of the turn linking the two strands of the hairpin was assigned to the three central residues L-296, N-297, and R-298. A small population of structured species among an ensemble of predominantly random coil conformation suggests that the unliganded receptor represents a variety of structural conformers, some of which have the potential to make contacts with the ligand. We propose a mechanism of receptor activation whereby binding of the agonist to the inactive receptor state induces and stabilizes a particular structural state of the loop domain, leading to further conformational rearrangements across the transmembrane domain and signal propagating interaction with G proteins. Interaction of the Glu(301) of the receptor with Arg(8) of GnRH induces a folded configuration of the ligand. Our proposal thus suggests that conformational changes of both ligand and receptor result from this interaction.

Nonmonotonic Magnetic Susceptibility of Dipolar Hard-Spheres at Low Temperature and Density

We investigate, via numerical simulations, mean field, and density functional theories, the magnetic response of a dipolar hard sphere fluid at low temperatures and densities, in the region of strong association. The proposed parameter-free theory is able to capture both the density and temperature dependence of the ring-chain equilibrium and the contribution to the susceptibility of a chain of generic length. The theory predicts a nonmonotonic temperature dependence of the initial (zero field) magnetic susceptibility, arising from the competition between magnetically inert particle rings and magnetically active chains. Monte Carlo simulation results closely agree with the theoretical findings. DOI: 10.1103/PhysRevLett.110.148306

Antioxidant properties of hydroxycinnamic acids: a review of structure- activity relationships

Hydroxycinnamic acids (HCAs) are important phytochemicals possessing significant biological properties. Several investigators have studied in vitro antioxidant activity of HCAs in detail. In this review, we have gathered the studies focused on the structure-activity relationships (SARs) of these compounds that have used medicinal chemistry to generate more potent antioxidant molecules. Most of the reports indicated that the presence of an unsaturated bond on the side chain of HCAs is vital to their activity. The structural features that were reported to be of importance to the antioxidant activity were categorized as follows: modifications of the aromatic ring, which include alterations in the number and position of hydroxy groups and insertion of electron donating or withdrawing moieties as well as modifications of the carboxylic function that include esterification and amidation process. Furthermore, reports that have addressed the influence of physicochemical properties including redox potential, lipid solubility and dissociation constant on the antioxidant activity were also summarized. Finally, the pro-oxidant effect of HCAs in some test systems was addressed. Most of the investigations concluded that the presence of ortho-dihydroxy phenyl group (catechol moiety) is of significant importance to the antioxidant activity, while, the presence of three hydroxy groups does not necessarily improve the activity. Optimization of the structure of molecular leads is an important task of modern medicinal chemistry and its accomplishment relies on the careful assessment of SARs. SAR studies on HCAs can identify the most successful antioxidants that could be useful for management of oxidative stress-related diseases.

A reconnaissance study of Upper Jurassic sediments of the Lusitanian Basin

The Upper Jurassic evolution of the Lusitanian Basin is shown to be linked to the rifting phase which preceded the separation of Iberia and the Grand Banks. Structural controls on sedimentation include both NNE-SSW trending faults in the Hercynian basement, and contemporaneous movement of salt diapirs. At the beginning of Upper Oxfordian times, the entire basin had been levelled to within a few metres of sea level, so that the freshwater algal marsh and marginal marine facies of the Cabaços and Vale Verde Beds rest on Triassic to Callovian strata. In the latter part of the Upper Oxfordian. carbonate sedimentation continued, with fluctuating salinity lagoons in the north (Pholodomya protei Beds) separated from shallow open marine carbonates in the south (Montejunto Beds) by the Caldas da Rainha diapir-barrier island complex. The commencement of rifting is recorded in the Kimmeridgian by the sudden influx of terrigenous clastics (developed in both fluviatile and deltaic/submarine fan environments) and accelerated depositional rates in excess of 10cm/10 k.yrs in association with contemporaneous faulting along the SE margin of the Arruda sub-basin. The Caldas-Santa Cruz chain of diapiric structures continued to influence the distribution of carbonate and clastic sediments. In the Portlandian, a simpler facies pattern occurs, with fluviatile clastics interfingering to the south with shallow low energy carbonates.

Spectroscopic characterization of a novel 2 /[4Fe /4S] ferredoxin isolated from Desulfovibrio desulfuricans ATCC 27774

Inorganica Chimica Acta 356 (2003) 215-221

ELISA test for the diagnosis of cysticercosis in pigs using antigens of Taenia solium and Taenia crassiceps cysticerci

In the present study ELISA was standardized for the diagnosis of swine cysticercosis based on necropsy parameters and confirmed positive and negative control sera. Serum samples from pigs with other infections were also assayed to determine possible cross-reactions. Four antigens were assayed: from Taenia crassiceps vesicular fluid (VF-Tcra) and crude larvae extract (T-Tcra), and from Taenia solium extracts of scolex (S-Ts) and of larvae (T-Ts). A checkerboard evaluation of antigen, serum and conjugate dilutions, as well as the use of Tween-20 and skim cow milk in wash and blocking solution had a marked effect on improving ELISA performance. All the antigens showed a good performance, but VF-Tcra was the best, with 96.0% and 80.0% sensitivities for cut-offs respectively at 2sd and 3sd, and corresponding specificities of 97.5% and 100.0%. Cross-reactivity was observed only with hydatidosis and ascaridiosis. In view of the high performance observed, the ELISA test should be recommended for the diagnosis of cysticercosis in suspected swine in slaughterhouses and for the screening of cysticercosis in swine production. These results will support integrated measures of cysticercosis control throughout the chain of swine production, effectively contributing to public health.

Acquisition of Plus Discount by Jerónimo Martins

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Electron Transfer and Ligand Binding Properties of Cytochromes

Dissertation presented to obtain the Ph.D degree in Biochemistry

Risk factors for Leishmania chagasi infection in an endemic area in Raposa, State of Maranhão, Brazil

INTRODUCTION: Infection with Leishmania chagasi is the most common clinical presentation for visceral leishmaniaisis in endemic areas. The municipality of Raposa is an endemic area in State of Maranhão, Brazil, and have had registration cases of visceral leishmaniasis disease. For this reason, a cross- sectional study was conducted to evaluate the risk factors for infection with L. chagasi detected by Montenegro skin test. METHODS: The sample comprised 96% of the inhabitants of the villages of Maresia, Pantoja, and Marisol located in the municipality of Raposa, corresponding to 1,359 subjects. Data were collected using a questionnaire. Univariate and multivariate logistic regression models were applied to evaluate the association between the variables studied and infection of L. chagasi. RESULTS: The variables associated with infection upon nonadjusted analysis were a straw roof, mud walls, floors of beaten earth, presence of sand flies inside or outside of the dwelling, and bathing outdoors. Adjusted analysis showed that the presence of sand flies inside/outside the dwelling was a risk factor, and age younger than 10 years was a protective factor against asymptomatic infection. CONCLUSIONS: The results highlight the extent to which precarious living conditions of the population strengthen the epidemiological chain of visceral leishmaniasis.

Primary multidrug-resistant tuberculosis and its control implications in the State of Amazonas, Brazil: report of 3 cases

The occurrence of tuberculosis with first-line multidrug resistance leads to the use of alternative medications, often at higher costs, longer treatment periods, and greater clinical complexity. Here, we report 3 patients with multidrug-resistant tuberculosis. One patient with human immunodeficiency virus died before the sensitivity test was performed. The early diagnosis of multidrug-resistant tuberculosis and appropriate treatment should be priorities of the National Tuberculosis Control Program in order to break the chain of transmission. In addition, the possibility of substituting the proportion method with more modern and faster techniques should be urgently evaluated.

What value can be attached to a concept of mystery and has it a place in contemporary Western culture?

The idea for this thesis arose from a chain of reactions first set in motion by a particular experience. In keeping with the contemporary need to deconstruct every phenomenon it seemed important to analyse this experience in the hope of a satisfactory explanation. The experience referred to is the aesthetic experience provoked by works of art. The plan for the thesis involved trying to establish whether the aesthetic experience is unique and individual, or whether it is one that is experienced universally. Each question that arises in the course of this exploration promotes a dialectical reaction. I rely on the history of aesthetics as a philosophical discipline to supply the answers. This study concentrates on the efforts by philosophers and critical theorists to understand the tensions between the empirical and the emotional, the individual and the universal responses to the sociological, political and material conditions that prevail and are expressed through the medium of art. What I found is that the history of aesthetics is full of contradictory evidence and cannot provide a dogmatic solution to the questions posed. In fact what is indicated is that the mystery that attaches to the aesthetic experience is one that can also apply to the spiritual or transcendent experience. The aim of this thesis is to support the contribution of visual art in the spiritual well being of human development and supports the uniqueness of the evaluation and aesthetic judgement by the individual of a work of art. I suggest that mystery will continue to be of value in the holistic development of human beings and this mystery can be expressed through visual art. Furthermore, this thesis might suggest that what could be looked at is whether a work of art may be redemptive in its affect and offset the current decline in affective religious practice.

Study of an outbreak of cutaneous leishmaniasis in Venezuela: the role of domestic animals

During an outbreak of cutaneous leishmaniasis in a locality (Las Rosas, Cojedes State, venezuela) previously non-endemic, 12.9% of humans, 7% of dogs and 21.4% of donkeys (Equus asinus) had lesions with paraites. The agent in the three hosts was identified as Leishmania braziliensis, subspecies braziliensis at least in man and donkey. The probable vector was Lutzomyia panamensis. No infection was found in a small sample of wild mammals examined. The outbreak was apparently linked with the importation of donkeys with ulcers, from endemic areas. The Authors call attention to the fact that not only in the foci of "uta", but also in areas of the other forms of American cutaneous leishmaniasis, dogs are frequently found infected. They emphasize the necessity of searching for the infection in donkeys and of performing hemocultures and xenodiagnosis with sandflies in human, canine and equine cases, to verify their possible role as sources of infection, and not merely as dead ends in the epidemiological chain of the disease.

Sedimentology, geochemistry and mineralogy of the Paleocene-Eocene thermal maximum (PETM) : sediment records from Egypt, India and Spain

A gradual increase in Earth's surface temperatures marking the transition from the late Paleocene to early Eocene (55.8±0.2Ma), represents an extraordinary warming event known as Paleocene-Eocene Thermal Maximum (PETM). Both marine and continental sedimentary records during this period reveal evidences for the massive injection of isotopically light carbon. The carbon dioxide injection from multiple potential sources may have triggered the global warming. The importance of the PETM studies is due to the fact that the PETM bears some striking resemblances to the human-caused climate change unfolding today. Most notably, the culprit behind it was a massive injection of heat-trapping greenhouse gases into the atmosphere and oceans, comparable in volume to what our persistent burning of fossil fuels could deliver in coming centuries. The exact knowledge of what went on during the PETM could help us to foresee the future climate change. The response of the oceanic and continental environments to the PETM is different. Many factors might control the response of the environments to the PETM such as paleogeography, paleotopography, paleoenvironment, and paleodepth. To better understand the mechanisms triggering PETM events, two different environments were studied: 1) shallow marine to inner shelf environment (Wadi Nukhul, Sinai; and the Dababiya GSSP, Luxor, Egypt), and 2) terrestrial environments (northwestern India lignite mines) representing wetland, and fluvial environments (Esplugafreda, Spain) both highlighting the climatic changes observed in continental conditions. In the marine realm, the PETM is characterized by negative ö13Ccar and ô13Corg excursions and shifts in Ô15N to ~0%o values above the P/E boundary and persisting along the interval suggesting a bloom and high production of atmospheric N2-fixers. Decrease in carbonate contents could be due to dissolution and/or dilution by increasing detrital input. High Ti, K and Zr and decreased Si contents at the P/E boundary indicate high weathering index (CIA), which coincides with significant kaolinite input and suggests intense chemical weathering under humid conditions at the beginning of the PETM. Two anoxic intervals are observed along the PETM. The lower one may be linked to methane released from the continental shelf with no change in the redox proxies, where the upper anoxic to euxinic conditions are revealed by increasing U, Mo, V, Fe and the presence of small size pyrite framboids (2-5fim). Productivity sensitive elements (Cu, Ni, and Cd) show their maximum concentrated within the upper anoxic interval suggesting high productivity in surface water. The obtained data highlight that intense weathering and subsequent nutrient inputs are crucial parameters in the chain of the PETM events, triggering productivity during the recovery phase. In the terrestrial environments, the establishment of wetland conditions and consequence continental climatic shift towards more humid conditions led to migration of modern mammals northward following the extension of the tropical belts. Relative ages of this mammal event based on bio-chemo- and paleomagnetic stratigraphy support a migration path originating from Asia into Europe and North America, followed by later migration from Asia into India and suggests a barrier to migration that is likely linked to the timing of the India-Asia collision. In contrast, at Esplugafereda, northeastern Spain, the terrestrial environment reacted differently. Two significant S13C shifts with the lower one linked to the PETM and the upper corresponding to the Early Eocene Thermal Maximum (ETM2); 180/160 paleothermometry performed on two different soil carbonate nodule reveal a temperature increase of around 8°C during the PETM. The prominent increase in kaolinite content within the PETM is linked to increased runoff and/or weathering of adjacent and coeval soils. These results demonstrate that the PETM coincides globally with extreme climatic fluctuations and that terrestrial environments are very likely to record such climatic changes. - La transition Paléocène-Eocène (55,8±0,2 Ma) est marquée par un réchauffement extraordinaire communément appelé « Paleocene-Eocene Thermal Maximum » (PETM). Les données géochimiques caractérisant les sédiments marins et continentaux de cette période indiquent que ce réchauffement a été déclenché par une augmentation massive de CO2 lié à la déstabilisation des hydrates de méthane stockés le long des marges océaniques. L'étude des événements PETM constitue donc un bon analogue avec le réchauffement actuel. Le volume de CO2 émis durant le PETM est comparable avec le CO2 lié à l'activité actuelle humaine. La compréhension des causes du réchauffement du PETM peut être cruciale pour prévoir et évaluer les conséquences du réchauffement anthropogénique, en particulier les répercussions d'un tel réchauffement sur les domaines continentaux et océaniques. De nombreux facteurs entrent en ligne de compte dans le cas du PETM, tels que la paléogéographie, la paléotopographie et les paléoenvironnement. Pour mieux comprendre les réponses environnementales aux événements du PETM, 2 types d'environnements ont été choisis : (1) le domaine marin ouvert mais relativement peu profond (Wadi Nukhul. Sinai, Dababiya, Luxor, Egypte), (2) le milieu continental marécageux humide (mines de lignite, Inde) et fluviatile, semi-aride (Esplugafreda, Pyrénées espagnoles). Dans le domaine marin, le PETM est caractérisé par des excursions négatives du ô13Ccar et ô13Corg et un shift persistant des valeurs de 815N à ~ 0 %o indiquant une forte activité des organismes (bactéries) fixant l'azote. La diminution des carbonates observée durant le PETM peut-être due à des phénomènes de dissolution ou une augmentation des apports terrigènes. Des taux élevés en Ti, K et Zr et une diminution des montants de Si, reflétés par des valeurs des indices d'altération (CIA) qui coïncident avec une augmentation significative des apports de kaolinite impliquent une altération chimique accrue, du fait de conditions plus humides au début du PETM. Deux événements anoxiques globaux ont été mis en évidence durant le PETM. Le premier, situé dans la partie inférieur du PETM, serait lié à la libération des hydrates de méthane stockés le long des talus continentaux et ne correspond pas à des variations significatives des éléments sensibles aux changements de conditions redox. Le second est caractérisé par une augmentation des éléments U, Mo, V et Fe et la présence de petit framboids de pyrite dont la taille varie entre 2 et 5pm. Le second épisode anoxique est caractérisé par une forte augmentation des éléments sensibles aux changements de la productivité (Cu, Ni et Co), indiquant une augmentation de la productivité dans les eaux de surface. Les données obtenues mettent en évidence le rôle crucial joué par l'altération et les apports en nutriments qui en découlent. Ces paramètres sont cruciaux pour la succession des événements qui ont conduit au PETM, et plus particulièrement l'augmentation de la productivité dans la phase de récupération. Durant le PETM, le milieu continental est caractérisé par l'établissement de conditions humides qui ont facilité voir provoqué la migration des mammifères modernes qui ont suivi le déplacement de ces ceintures climatiques. L'âge de cette migration est basé sur des arguments chimiostratigraphiques (isotopes stables), biostratigraphiques et paléomagnétiques. Les données bibliographiques ainsi que celles que nous avons récoltées en Inde, montrent que les mammifères modernes ont d'abord migré depuis l'Asie vers l'Europe, puis dans le continent Nord américain. Ces derniers ne sont arrivés en Inde que plus tardivement, suggérant que le temps de leur migration est lié à la collision Inde-Asie. Dans le Nord-Est de l'Espagne (Esplugafreda), la réponse du milieu continental aux événements PETM est assez différente. Comme en Inde, deux excursions signicatives en ô13C ont été observées. La première correspond au PETM et la seconde est corrélée avec l'optimum thermique de l'Eocène précoce (ETM2). Les isotopes stables de l'oxygène mesurés 2 différents types de nodules calcaires provenant de paléosols suggère une augmentation de 10°C pendant le PETM. Une augmentation simultanée des taux de kaolinite indique une intensification de l'altération chimique et/ou de l'érosion de sols adjacents. Ces résultats démontrent que le PETM coïncide globalement avec des variations climatiques extrêmes qui sont très aisément reconnaissables dans les dépôts continentaux.