The ciao modular, standalone compiler and its generic program processing library

Ciao Prolog incorporates a module system which allows sepárate compilation and sensible creation of standalone executables. We describe some of the main aspects of the Ciao modular compiler, ciaoc, which takes advantage of the characteristics of the Ciao Prolog module system to automatically perform sepárate and incremental compilation and efficiently build small, standalone executables with competitive run-time performance, ciaoc can also detect statically a larger number of programming errors. We also present a generic code processing library for handling modular programs, which provides an important part of the functionality of ciaoc. This library allows the development of program analysis and transformation tools in a way that is to some extent orthogonal to the details of module system design, and has been used in the implementation of ciaoc and other Ciao system tools. We also describe the different types of executables which can be generated by the Ciao compiler, which offer different tradeoffs between executable size, startup time, and portability, depending, among other factors, on the linking regime used (static, dynamic, lazy, etc.). Finally, we provide experimental data which illustrate these tradeoffs.

The Ciao clp(FD) library. A modular CLP extension for Prolog

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; highefficiency, being competitive with other TT> implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the TT> kernel of the library. This TT> kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name the TT> solver. A final level integrates the CLP (J7©) paradigm with our TT> solver. This is achieved using attributed variables and a compiler from the CLP (J7©) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of TT> constraints by writing new indexicals.

Small size pressurized water reactor.

"Including errata of March 7, 1960 and Supplement No. 1, Revised March 11, 1960."

Analysis of a power failure incident for the preliminary conceptual design of the small pressurized water reactor /

"Contract No. AT(40-1)-2589."

Experiment data report for LOFT anticipated transient with multiple failures experiment L9-1 and small break experiment L3-3 /

"Published June 1981."

Flow regime, hydrodynamics, floc size distribution and sludge properties in activated sludge bubble column, air-lift and aerated stirred reactors

This paper presents a comparative study how reactor configuration, sludge loading and air flowrate affect flow regimes, hydrodynamics, floc size distribution and sludge solids-liquid separation properties. Three reactor configurations were studied in bench scale activated sludge bubble column reactor (BCR), air-lift reactor (ALR) and aerated stirred reactor (ASR). The ASR demonstrated the highest capacity of gas holdup and resistance, and homogeneity in flow regimes and shearing forces, resulting in producing large numbers of small and compact floes. The fluid dynamics in the ALR created regularly directed recirculation forces to enhance the gas holdup and sludge flocculation. The BCR distributed a high turbulent flow regime and non-homogeneity in gas holdup and mixing, and generated large numbers of larger and looser floes. The sludge size distributions, compressibility and settleability were significantly influenced by the reactor configurations associated with the flow regimes and hydrodynamics.

Modular construction of dynamic nucleodendrimers

Isoguanosine-containing dendritic small molecules self-assemble into decameric nucleodendrimers as observed by 1D NMR spectroscopy, 2D DOSY, and mass spectrometry. In particular, apolar building blocks readily form pentameric structures in acetonitrile while the presence of alkali metals promotes the formation of stable decameric assemblies with a preference for cesium ions. Remarkably, co-incubation of guanosine and isoguanosine-containing nucleodendrons results in the formation of decameric structures in absence of added salts. Further analysis of the mixture indicated that guanosine derivatives facilitate the formation, but are not involved in decameric structures; a process reminiscent of molecular crowding. This molecular system provides a powerful canvas for the rapid and modular assembly of polyfunctional dendritic macromolecules. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Hydrogen production by enhanced methane reforming with membrane reactors or with CO2 capture materials

Pure hydrogen production from methane is a multi-step process run on a large scale for economic reasons. However, hydrogen can be produced in a one-pot continuous process for small scale applications, namely Low Temperature Steam Reforming. Here, Steam Reforming is carried out in a reactor whose walls are composed by a membrane selective toward hydrogen. Pd is the most used membrane material due to its high permeability and selectivity. However, Pd deteriorates at temperatures higher than 500°C, thus the operative temperature of the reaction has to be lowered. However, the employment of a membrane reactor may allow to give high yields thanks to hydrogen removal, which shifts the reaction toward the products. Moreover, pure hydrogen is produced. This work is concentrated on the synthesis of a catalytic system and the investigation of its performances in different processes, namely oxy-reforming, steam reforming and water gas shift, to find appropriate conditions for hydrogen production in a catalytic membrane reactor. The catalyst supports were CeZr and Zr oxides synthesized by microemulsion, impregnated with different noble metals. Pt, Rh and PtRh based catalysts were tested in the oxy reforming process at 500°C, where Rh on CeZr gave the most interesting results. On the opposite, the best performances in low temperature steam reforming were obtained with Rh impregnated on Zr oxide. This catalyst was selected to perform low temperature steam reforming in a Pd membrane reactor. The hydrogen removal given by the membrane allowed to increase the methane conversion over the equilibrium of a classical fixed bed reactor thanks to an equilibrium shift effect. High hydrogen production and recoveries were also obtained, and no other compound permeated through the membrane which proved to be hydrogen selective.

Egfr Activating Mutations And Their Association With Response To Platinum-doublet Chemotherapy In Brazilian Non-small Cell Lung Cancer Patients.

The aim of the study was to analyze the frequency of epidermal growth factor receptor (EGFR) mutations in Brazilian non-small cell lung cancer patients and to correlate these mutations with response to benefit of platinum-based chemotherapy in non-small cell lung cancer (NSCLC). Our cohort consisted of prospective patients with NSCLCs who received chemotherapy (platinum derivates plus paclitaxel) at the [UNICAMP], Brazil. EGFR exons 18-21 were analyzed in tumor-derived DNA. Fifty patients were included in the study (25 with adenocarcinoma). EGFR mutations were identified in 6/50 (12 %) NSCLCs and in 6/25 (24 %) adenocarcinomas; representing the frequency of EGFR mutations in a mostly self-reported White (82.0 %) southeastern Brazilian population of NSCLCs. Patients with NSCLCs harboring EGFR exon 19 deletions or the exon 21 L858R mutation were found to have a higher chance of response to platinum-paclitaxel (OR 9.67 [95 % CI 1.03-90.41], p = 0.047). We report the frequency of EGFR activating mutations in a typical southeastern Brazilian population with NSCLC, which are similar to that of other countries with Western European ethnicity. EGFR mutations seem to be predictive of a response to platinum-paclitaxel, and additional studies are needed to confirm or refute this relationship.

Neurodevelopment Of Small-for-gestational Age Infants: Behavioral Aspects In First Year.

The purpose of this study was to compare the behavior of full-term small-for-gestational age (SGA) with full-term appropriate-for gestational age (AGA) infants in the first year of life. We prospectively evaluated 68 infants in the 2nd month, 67 in the 6th month and 69 in the 12th month. The Bayley Scales of Infant Development-II were used, with emphasis on the Behavior Rating Scale (BRS). The groups were similar concerning the item interest in test materials and stimuli; there was a trend toward differences in the items negative affect, hypersensitivity to test materials and adaptation to change in test materials. The mean of Raw Score was significantly lower for the SGA group in the items predominant state, liability of state of arousal, positive affect, soothability when upset, energy, exploration of objects and surroundings, orientation toward examiner. A lower BRS score was associated with the SGA group in the 2nd month.

Biologia molecular como ferramenta no esporte de alto rendimento: possibilidades e perspectivas

Várias estratégias têm sido pensadas com o propósito de se utilizar a biologia molecular como ferramenta na pré-seleção e na seleção de talentos esportivos, na manipulação genética visando ao aumento ou à diminuição da produção de determinadas substâncias pelo organismo, na prescrição do treinamento e na recuperação de lesões. Portanto, o objetivo desta revisão é apresentar o DNA como regulador do funcionamento do organismo e de que forma alterações no perfil genético, tanto espontâneas como induzidas artificialmente, podem modular respostas fisiológicas e morfológicas por alterar a expressão de determinadas proteínas. Será dada especial atenção à descrição dos procedimentos utilizados para a manipulação genética, nos baixos riscos associados e nas estratégias que têm sido desenvolvidas com o objetivo de detectá-la. Com base em conhecimentos científicos, coerência e bom senso, diversas visões devem ser expostas e amplamente discutidas para ser definido o que é permitido e o que é proibido nas competições esportivas.

Pode a atividade física materna modular a programação fetal induzida pela nutrição?

Existe considerável evidência para a indução de diferentes fenótipos em reposta às variações no ambiente fetal e neonatal. O aporte inadequado de nutrientes no período crítico do desenvolvimento está associado ao risco alto de doenças metabólicas na vida adulta, este fenômeno biológico é chamado de programação. A atividade física durante a gestação resulta em adaptações fisiológicas da mãe e no aumento da disponibilidade de nutrientes e oxigênio no espaço feto-placentário. Este trabalho tem como objetivo discutir os mecanismos da indução de programação fetal pela nutrição e o provável efeito modulador da atividade física durante a gestação. Foram utilizadas as bases de dados do Medline Pubmed, Lilacs e Bireme, com publicações entre 1990 até 2008. Os termos de indexação utilizados foram: nutrition, fetal programming, gestation, physical activity, physical exercise, metabolism. Em conclusão, o aporte inadequado de nutrientes programa o aparecimento de doenças metabólicas na vida adulta, enquanto que a atividade física durante a gestação aumenta a disponibilidade de nutrientes e oxigênio, repercutindo positivamente no crescimento fetal e no peso ao nascer.

EVALUATING VIBRATIONS ON A SMALL-SCALE MODEL OF A TIMBER FOOTBRIDGE

In Brazil, the study of pedestrian-induced vibration on footbridges has been undertaken since the early 1990s, for concrete and steel footbridges. However, there are no recorded studies of this kind for timber footbridges. Brazilian code ABNT NBR 7190 (1997) gives design requirements only for static loads in the case of timber footbridges, without considering the serviceability limit state from pedestrian-induced vibrations. The aim of this work is to perform a theoretical dynamic, numerical and experimental analysis on simply-supported timber footbridges, by using a small-scale model developed from a 24 m span and 2 m width timber footbridge, with two main timber beams. Span and width were scaled down (1:4) to 6 m e 0.5 in, respectively. Among the conclusions reached herein, it is emphasized that the Euler-Bernoulli beam theory is suitable for calculating the vertical and lateral first natural frequencies in simply-supported timber footbridges; however, special attention should be given to the evaluation of lateral bending stiffness, as it leads to conservative values.

FILTERING TECHNIQUES APPLIED ON RAW CARRIER PHASE FOR GPS DETECTING SMALL DYNAMIC DISPLACEMENTS

This work is part of a research under construction since 2000, in which the main objective is to measure small dynamic displacements by using L1 GPS receivers. A very sensible way to detect millimetric periodic displacements is based on the Phase Residual Method (PRM). This method is based on the frequency domain analysis of the phase residuals resulted from the L1 double difference static data processing of two satellites in almost orthogonal elevation angle. In this article, it is proposed to obtain the phase residuals directly from the raw phase observable collected in a short baseline during a limited time span, in lieu of obtaining the residual data file from regular GPS processing programs which not always allow the choice of the aimed satellites. In order to improve the ability to detect millimetric oscillations, two filtering techniques are introduced. One is auto-correlation which reduces the phase noise with random time behavior. The other is the running mean to separate low frequency from the high frequency phase sources. Two trials have been carried out to verify the proposed method and filtering techniques. One simulates a 2.5 millimeter vertical antenna displacement and the second uses the GPS data collected during a bridge load test. The results have shown a good consistency to detect millimetric oscillations.

Extraction and purification of total RNA from banana tissues (small scale)

Introduction. This protocol aims at preparing total RNA for gene expression analysis by Northern blots, RT-PCR and real-time quantitative PCR; cDNA isolation by RTPCR; and cDNA library construction. The principle, key advantages, starting plant material, time required for obtaining total RNA and expected results are presented. Materials and methods. This part describes the required materials and the 27 steps necessary for preparing RNA from peel and pulp fruit tissue: preparation of plant tissue powder, preparation of the complete RNA extraction buffer and isolation of RNA from ground banana fruit tissue. Results. Extraction of total RNA by the method described makes it possible to achieve electrophoresis under denatured conditions and in vitro reverse transcription. An example for Northern blot analysis is illustrated.