Global flow analysis as a practical compilation tool

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

On the practicality of global flow analysis of logic programs

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

Studying fluid systems with the McIlroy fluid network analyzer.

Mode of access: Internet.

An analyzer for radioactive gas /

An instrument that can continuously monitor air for tritium has been developed. It utilizes a flow type ionization chamber and a vibrating reed electrometer. A response of double normal background is produced by 9.4 x 10⁻⁵ [mu]c H³/cc air; the presently accepted MPC is 2.0 x 10⁻⁵ [mu]c H³/cc air. Its operation is completely automatic.

Drosophila Flight Stabilization Depends on Apparent Distances in Optic Flow Field

To perform daily flight tasks, insects rely heavily on their visual perception of a dynamic environment. They must process visual signals quickly and accurately and update their behavior. Flies are vulnerable to environmental disturbances, such as gusts of wind blowing them off course, but they may use the altered visual field to compensate and regain their original course. In studies using Drosophila melanogaster, it has been shown that their corrective responses can be analyzed by measuring changes in their wing beats. By enclosing a tethered fly in a cuboidal visual arena displaying a computerized optic flow field, it is possible to calculate the change in wing beat amplitudes from an infrared shadow of its wings using photodiodes and a custom wing beat analyzer. In this experiment, manipulations ofthe optic flow field are used to create a field where points have varying relative forward speed, to study how the insect performs corrective maneuvers. The results show that Drosophila have a stronger corrective response to the quickly moving, apparently near points compared to the slower moving, apparently distant points. This implies the flies are distinguishing points based on their relative speeds, inferring distance, and adjusting their corrective actions with this information.

Salivary and serum cortisol levels, salivary alpha-amylase and unstimulated whole saliva flow rate in pregnant and non-pregnant

OBJETIVO: Comparar os níveis de cortisol sérico e salivar, alfa-amilase salivar (sAA) e fluxo de saliva não estimulada (UWS) em gestantes e não gestantes. MÉTODOS: Trata-se de um estudo longitudinal realizado no centro de promoção da saúde de um hospital universitário. Nove gestantes e 12 não gestantes participaram do estudo. Foram coletados e analisados soro e UWS nos três trimestres gestacionais e duas vezes por mês durante o ciclo menstrual. A análise do cortisol salivar e sérico foi realizada com o uso de quimiluminescência e a atividade da sAA foi determinada por meio de analisador automático para bioquímica. RESULTADOS: Foi verificado que a mediana (intervalo interquartil) dos níveis de cortisol sérico no grupo de gestantes foi maior que 23,8 µL/dL (19,4-29,4) quando comparado ao grupo de não gestantes, que teve média de 12,3 (9,6-16,8; p<0,001). Os níveis de sAA seguiram o mesmo padrão, com médias de 56,7 U/L (30,9-82,2) e 31,8 (18,1-53,2; p<0,001), respectivamente. Foram observadas diferenças dos níveis de cortisol sérico e salivar (µL/dL) e de sAA entre a fase folicular versus a fase lútea (p<0,001). As medianas dos fluxos salivares (UWS) foram semelhantes em gestantes (0,26 [0,15-0,30] mL/min) e não gestantes (0,23 [0,20-0,32] mL/min). Foram encontradas correlações significativas entre o cortisol salivar e o sérico (p=0,02) e entre o cortisol salivar e a sAA (p=0,01). CONCLUSÕES: Os níveis de cortisol sérico de sAA durante a gestação elevam-se. Na fase lútea do ciclo ovariano, os níveis de cortisol salivar aumentam ao passo que os níveis de cortisol sérico e sAA diminuem. _______________________________________________________________________________________ ABSTRACT

Beam-energy Dependence Of The Directed Flow Of Protons, Antiprotons, And Pions In Au+au Collisions.

Rapidity-odd directed flow (v1) measurements for charged pions, protons, and antiprotons near midrapidity (y=0) are reported in sNN=7.7, 11.5, 19.6, 27, 39, 62.4, and 200 GeV Au+Au collisions as recorded by the STAR detector at the Relativistic Heavy Ion Collider. At intermediate impact parameters, the proton and net-proton slope parameter dv1/dy|y=0 shows a minimum between 11.5 and 19.6 GeV. In addition, the net-proton dv1/dy|y=0 changes sign twice between 7.7 and 39 GeV. The proton and net-proton results qualitatively resemble predictions of a hydrodynamic model with a first-order phase transition from hadronic matter to deconfined matter, and differ from hadronic transport calculations.

Electrochemical Oxidation Of Landfill Leachate In A Flow Reactor: Optimization Using Response Surface Methodology.

Response surface methodology based on Box-Behnken (BBD) design was successfully applied to the optimization in the operating conditions of the electrochemical oxidation of sanitary landfill leachate aimed for making this method feasible for scale up. Landfill leachate was treated in continuous batch-recirculation system, where a dimensional stable anode (DSA(©)) coated with Ti/TiO2 and RuO2 film oxide were used. The effects of three variables, current density (milliampere per square centimeter), time of treatment (minutes), and supporting electrolyte dosage (moles per liter) upon the total organic carbon removal were evaluated. Optimized conditions were obtained for the highest desirability at 244.11 mA/cm(2), 41.78 min, and 0.07 mol/L of NaCl and 242.84 mA/cm(2), 37.07 min, and 0.07 mol/L of Na2SO4. Under the optimal conditions, 54.99 % of chemical oxygen demand (COD) and 71.07 ammonia nitrogen (NH3-N) removal was achieved with NaCl and 45.50 of COD and 62.13 NH3-N with Na2SO4. A new kinetic model predicted obtained from the relation between BBD and the kinetic model was suggested.

Triboelectric Effect As A New Strategy For Sealing And Controlling The Flow In Paper-based Devices.

We reported here for the first time that triboelectric charges on PET sheets can be used to seal and control the flow rate in paper-based devices. The proposed method exhibits simplicity and low cost, provides reversible sealing and minimizes the effect of sample evaporation.

Effect Of Concurrent Training With Blood Flow Restriction In The Elderly.

The aim of this present study was to investigate on the effects of concurrent training with blood flow restriction (BFR-CT) and concurrent training (CT) on the aerobic fitness, muscle mass and muscle strength in a cohort of older individuals. 25 healthy older adults (64.7±4.1 years; 69.33±10.8 kg; 1.6±0.1 m) were randomly assigned to experimental groups: CT (n=8, endurance training (ET), 2 days/week for 30-40 min, 50-80% VO2peak and RT, 2 days/week, leg press with 4 sets of 10 reps at 70-80% of 1-RM with 60 s rest), BFR-CT (n=10, ET, similar to CT, but resistance training with blood flow restriction: 2 days/week, leg press with 1 set of 30 and 3 sets of 15 reps at 20-30% 1-RM with 60 s rest) or control group (n=7). Quadriceps cross-sectional area (CSAq), 1-RM and VO2peak were assessed pre- and post-examination (12 wk). The CT and BFR-CT showed similar increases in CSAq post-test (7.3%, P<0.001; 7.6%, P<0.0001, respectively), 1-RM (38.1%, P<0.001; 35.4%, P=0.001, respectively) and VO2peak (9.5%, P=0.04; 10.3%, P=0.02, respectively). The BFR-CT promotes similar neuromuscular and cardiorespiratory adaptations as CT.

Nitric Oxide Released From Luminal S-nitroso-n-acetylcysteine Increases Gastric Mucosal Blood Flow.

Nitric oxide (NO)-mediated vasodilation plays a key role in gastric mucosal defense, and NO-donor drugs may protect against diseases associated with gastric mucosal blood flow (GMBF) deficiencies. In this study, we used the ex vivo gastric chamber method and Laser Doppler Flowmetry to characterize the effects of luminal aqueous NO-donor drug S-nitroso-N-acetylcysteine (SNAC) solution administration compared to aqueous NaNO2 and NaNO3 solutions (pH 7.4) on GMBF in Sprague-Dawley rats. SNAC solutions (600 μM and 12 mM) led to a rapid threefold increase in GMBF, which was maintained during the incubation of the solutions with the gastric mucosa, while NaNO2 or NaNO3 solutions (12 mM) did not affect GMBF. SNAC solutions (600 μM and 12 mM) spontaneously released NO at 37 °C at a constant rate of 0.3 or 14 nmol·mL-1·min-1, respectively, while NaNO2 (12 mM) released NO at a rate of 0.06 nmol·mL-1·min-1 and NaNO3 (12 mM) did not release NO. These results suggest that the SNAC-induced GMBF increase is due to their higher rates of spontaneous NO release compared to equimolar NaNO2 solutions. Taken together, our data indicate that oral SNAC administration is a potential approach for gastric acid-peptic disorder prevention and treatment.

Flow injection green method for the quantitative analysis of ketoconazole in pharmaceutical preparations

A flow injection method for the quantitative analysis of ketoconazole in tablets, based on the reaction with iron (III) ions, is presented. Ketoconazole forms a red complex with iron ions in an acid medium, with maximum absorbance at 495 nm. The detection limit was estimated to be 1×10--4 mol L-1; the quantitation limit is about 3×10--4 mol L-1 and approximately 30 determinations can be performed in an hour. The results were compared with those obtained with a reference HPLC method. Statistical comparisons were done using the Student's t procedure and the F test. Complete agreement was found at the 0.95 significance level between the proposed flow injection and the HPLC procedures. The two methods present similar precision, i.e., for HPLC the mean relative standard deviation was ca. 1.2% and for FIA ca. 1.6%.

Respostas agudas da variabilidade da frequência cardíaca após sesão de exercício de força com restrição de fluxo sanguíneo = : Acute responses of heart rate variabiblity afer blood flow restriction resistance exercise

Universidade Estadual de Campinas . Faculdade de Educação Física

Motivação intrinseca e o estado mental flow em corredores de rua

Universidade Estadual de Campinas . Faculdade de Educação Física

Uso do teste ML-Flow como auxiliar na classificação e tratamento da hanseníase

FUNDAMENTOS: O tratamento da hanseníase é definido pela classificação de pacientes em paucibacilares (PB) e multibacilares (MB). A OMS (Organização Mundial de Saúde) classifica os doentes de acordo com o número de lesões, mas Ridley-Jopling (R&J) utiliza também exames complementares, porém é de difícil utilização fora dos serviços de referência. Em 2003 foi desenvolvido um teste denominado ML-Flow, uma alternativa à sorologia por ELISA para auxiliar na classificação de pacientes em PB e MB e auxiliar na decisão terapêutica. OBJETIVOS: Observar a concordância entre o teste de ML-Flow e baciloscopia de linfa, exame já consagrado para detecção de MB. Analisar a utilidade do teste de ML-Flow em campo. MATERIAL E MÉTODOS: Estudo retrospectivo avaliando prontuário de 55 pacientes virgens de tratamento, diagnosticados como PB ou MB por R&J. Submetidos à baciloscopia e ao teste de ML-Flow. RESULTADOS: Nos MB, a baciloscopia foi positiva em 80% dos casos, o ML-flow foi positivo em 82,5%. Entre os PB, o ML-Flow foi positivo em 37,5% e a baciloscopia do esfregaço foi negativa em 100% dos casos. A concordância entre os resultados da baciloscopia do esfregaço e ML-Flow foi de 87,5%, kappa=0,59, p<0,001. CONCLUSÃO: Nenhum teste laboratorial é 100% sensível e específico para a correta classificação de todas as formas de hanseníase. O ML-Flow é um teste rápido, de fácil manuseio em campo, menos invasivo que a baciloscopia podendo ser útil para auxiliar na decisão terapêutica em locais de difícil acesso a serviços de referência.