Teste de germinação in vitro de embriões zigóticos de dendezeiro.

Este trabalho teve como objetivo avaliar a germinação e a viabilidade de sementes de E. guineensis, por meio de ensaios in vitro e teste de tetrazólio de embriões zigóticos

Cosmological constant constraints from observation-derived energy condition bounds and their application to bimetric massive gravity

Among the various possibilities to probe the theory behind the recent accelerated expansion of the universe, the energy conditions (ECs) are of particular interest, since it is possible to confront and constrain the many models, including different theories of gravity, with observational data. In this context, we use the ECs to probe any alternative theory whose extra term acts as a cosmological constant. For this purpose, we apply a model-independent approach to reconstruct the recent expansion of the universe. Using Type Ia supernova, baryon acoustic oscillations and cosmic-chronometer data, we perform a Markov Chain Monte Carlo analysis to put constraints on the effective cosmological constant $\Omega^0_{\rm eff}$. By imposing that the cosmological constant is the only component that possibly violates the ECs, we derive lower and upper bounds for its value. For instance, we obtain that $0.59 < \Omega^0_{\rm eff} < 0.91$ and $0.40 < \Omega^0_{\rm eff} < 0.93$ within, respectively, $1\sigma$ and $3\sigma$ confidence levels. In addition, about 30\% of the posterior distribution is incompatible with a cosmological constant, showing that this method can potentially rule it out as a mechanism for the accelerated expansion. We also study the consequence of these constraints for two particular formulations of the bimetric massive gravity. Namely, we consider the Visser's theory and the Hassan and Roses's massive gravity by choosing a background metric such that both theories mimic General Relativity with a cosmological constant. Using the $\Omega^0_{\rm eff}$ observational bounds along with the upper bounds on the graviton mass we obtain constraints on the parameter spaces of both theories.Comment: 11 pages, 4 figures, 1 tabl

A indicação geográfica da uva de São Vicente Férrer e Macaparana - PE a partir das pesquisas da Embrapa.

bitstream/CNPS-2010/14753/1/circtec43-2009-uva-sao-vicente-ferrer.pd

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are used for localizing faults. In this study, a new method for fault localization, in multi-threaded C programs, is proposed. It transforms a multi-threaded program into a corresponding sequential one and then uses a fault-diagnosis method suitable for this type of program, in order to localize faults. The code transformation is implemented with rules and context switch information from counterexamples, which are typically generated by bounded model checkers. Experimental results show that the proposed method is effective, in such a way that sequential fault-localization methods can be extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1

Used food oils: physical-chemical indicators of quality degradation

Comunicação apresentada em 11th Baltic Conference on Food Science and Technology “Food science and technology in achanging world” FOODBALT 2017 Conference Proceedings. Jelgava, LLUUsed food oil (UFO), designated as frying oil, is a residue. Degradation by reuse or during storage, may occur by contacting, chemical, enzymatic and microbiological pathways, but oxidation is a major concern of the industry, as it affects sensory and nutritional quality of edible oils, with potentially toxic compounds formation. In Portugal, UFO's main destination still is the sewerage system, an environmental problem and waste of raw material, which can be re-qualified for non-food uses. However, quality control applied to UFO's, often results into expensive analysis inappropriate for small laboratories and catering industry. This project, developed with the Musketeers Group Portugal co-promotion (2012-2016), aimed to identify low-cost physicochemical parameters for further implementation as UFO's Quality Degradation Indicators (QDI) indicating defects quickly and accurately. UFO's analysis was tested on the use, for industrial frying, and by degradation induced in the laboratory (frying and heat stability tests) by applying following parameters: moisture, water activity (a(w)), total acidity, peroxide index, iodine index, colour (CIE, CIE Lab), UV absorbency, total polar compounds and microbiological indicators. Internal procedures (ESAS) were validated, redefining working ranges and test conditions, as standards procedures did not provide reliable results for the entire life cycle of oils, whose profile changes with time and reuse. Results demonstrate significant differences with quick response parameters as Total Acidity, Peroxide Index and CIE Lab colour, outlined as QDI's. Moisture, aw and CIE Lab colour proved to be inadequate for this purpose. Iodine Index and UV Absorbency are more complex and time-consuming and were profiled as reference methods.info:eu-repo/semantics/publishedVersio