Adaptando Metalib al usuario : la experiencia de la UOC

The implementation of Metalib in UOC's Library was framed within a project centred on the end user. For the adaptation of Metalib to the users' needs and search behaviour, we carried out three tests: - One with students, conducted by a consulting company; - A second one with teachers, carried out by the Library; - The third, with teachers and staff, also was carried out by the Library, after having made some changes resulting from the first and second tests. The tests, made with the software Morae, underlined a number of difficulties to understand the concepts related to metasearching. The tests also showed difficulties in navigating and in managing search results. All the information gathered was used to improve navigation through the interface. The presentation tells about the tests' methodology, the conclusions reached through this experience, and the decisions finally taken by the Library to improve the Metalib interface.

Using narratives to study the impact of social networks on the educational paths of immigrant students

This paper presents the qualitative data collection process aimed at the study of the impactsocial relations and networks have on educational paths of immigrant students. In theframework of a R & D longitudinal study funded by the Ministry of Science and Innovation(2012-2014), the research team tracked the path of 87 immigrant students, from whom only 17successfully achieved the transition through the first and second year of Post-16 Education.A vast range of literature notes that relationships are an important part of migration process andsocial integration analysis, as well as school history in terms of success or failure. Through thefieldwork researchers collect the personal networks of all immigrant students from 3 highschools who were at that time attending last course of compulsory school. The network structureinfluences their social capital and therefore determines the resources, goods and types of supportindividuals can access. All these aspects are influential elements in the configuration anddevelopment of academic trajectories of immigrant students.At the end of the second year of Post-16 Education (two years later), the study captures personalnetworks of these students again, analyses and discusses their evolution and influence on theirpaths through qualitative interviews. Such interviews facilitated the discussion of theirrelationships while providing interesting narratives that are presented in the text. In order to do so, the biographical interpretive narrative method of interviewing is implemented.

Método Melhorado para Calcular a Leitura Infinita de Cinéticas de Primeira Ordem

Infinity readings for first order kinetics can be calculated from any three measurements (triads) of a physical property l at three equallyspaced times. Accurate results can be obtained from time intervals aslow as 0.4 half-life. Calculation of infinity readings l¥ from severaltriads at increasing values of time gives an insight into the deviation of the first order kinetics when parallel, consecutive or other spurious reactions occur along with the main first order reaction, not allowing direct measurements or calculation of l¥. The proposed method is more sensitive in distinguishing between first and second order kinetics than the Guggenheim and Kezdy-Swinbourne methods.

Efeito do tratamento térmico na microestrutura, turbostraticidade e superfície de carbono vítreo reticulado analisado por XPS, espalhamento Raman e voltametria cíclica

The structural and surface properties of reticulated vitreous carbon (RVC) were discussed as a function of its heat treatment temperature (HTT), for samples produced in the range from 700 to 2000 ºC, using the furfuryl precursor resin. The samples were analyzed by x-ray photoelectron spectroscopy, first and second order Raman scattering as well as electrochemical response. Exploring the material turbostraticity concept, the interdependence between the RVC chemical surface variation and its defects were demonstrated. The influence of heteroatom presence was discussed in the material ordering for HTT lower than 1300 ºC while the graphitization process evolution was also pointed out for HTT higher than 1500 ºC.

Biomassa e energia

Biomass was the dominating source of energy for human activities until the middle 19th century, when coal, oil, gas and other energy sources became increasingly important but it still represents ca. 10% of the worldwide energy supply. The major part of biomass for energy is still "traditional biomass" used as wood and coal extracted from native forests and thus non-sustainable, used with low efficiency for cooking and home heating, causing pollution problems. This use is largely done in rural areas and it is usually not supported by trading activities. There is now a strong trend to the modernization of biomass use, especially making alcohol from sugar cane thus replacing gasoline, or biodiesel to replace Diesel oil, beyond the production of electricity and vegetable coal using wood from planted forests. As recently as in 2004, sustainable "modern biomass" represented 2% of worldwide energy consumption. This article discusses the perspectives of the "first" and "second" technology generations for liquid fuel production, as well as biomass gaseification to make electricity or syngas that is in turn used in the Fischer-Tropsch process.

Cadeia do biodiesel da bancada à indústria: uma visão geral com prospecção de tarefas e oportunidades para P&D&I

Contextualized overview of the Biodiesel Production Chain, from the lab bench to the industry, with critical evaluation of state-of-art and technological development through scientific articles and patents, focusing on feedstock, reaction/production, first and second generation processes, specification and quality, transport, storage, co-products (effluents and sub-products), and emissions. Challenges are identified and solutions are proposed based on the Brazilian feedstock, edaphoclimatic conditions, process monitoring in remote regions, state policy, and environment preservation, among others. Forecasts are made based on the technology assessment, identifying future trends and opportunities for R&D&I.

Determinação de olanzapina em formulações farmacêuticas por espectrofotometria: desenvolvimento e validação

Spectrophotometric methods of zero order, first and second derived order had been developed for olanzapine determination in tablets using ethanol and isopropanol as solvent. The two solvents revealed to be adequate. For the three methods the calibration curve coefficient of correlation had been greater than 0.9998 with limit of detection varying from 0.068 to 0.190 mg L-1, in ethanol, and 0.026 to 0.205 mg L-1, in isopropanol. The inter-day precision was inferior to 1.1 and 1.9 mg L-1 for ethanol and isopropanol, respectively. The average recoveries varied from 98 to 101%, in ethanol and 99 to 103% in isopropanol.

Determinação de ácido acéttico em amostra de vinagre adulterada com ácido clorídrico - um experimento integrado de titulação potenciométrica e condutométrica

The determination of acetic acid in vinegar adulterated sample using simultaneous potentiometric and condutometric titrations was used as an example of integrated experiment in instrumental analysis. An Excel® spreadsheet, which allows the entry of simultaneous data and the construction of the superimposed experimental curves (condutometric, potentiometric, first and second derivative potentiometric curve and, distribution diagrama of the acetic species as function of pH), was used as powerful tool to discuss the fundamental concepts involved in each technique and choose the best of them to quantify, without mutual interference, H3CCOOH and HCl in vinegar adulterated sample.

Ordens não inteiras em cinética química

Starting from zero-, first-, and second-order integrated laws for chemical kinetics, some cases are shown which produce fractional orders. Taking the Michaelis-Menten mechanism as a first example, it is shown that substrate order can go from 1 to zero, depending on relative concentration of enzyme and substrate. Using other examples which show fractional orders higher than one and even negative (inhibition), it is shown that the presence of an equilibrium before or parallel to the rate determining step can be the reason for fractional orders, which is an indication of a more complex mechanism.

Biodegradação de uma mistura de corantes têxteis usando o fungo Ganoderma sp: um estudo cinético

The kinetics of biodegradation by the fungus Ganoderma sp of textile dyes Yellow, Blue and Red Procion were studied in effluents using UV-Vis spectroscopy, Partial Least Squares Regression (PLS) and univariate analysis. The kinetic of the reactions were founded intermediate between first and second orders and the rate constants were calculated. The biodegradation after 72 h at 28 ºC were 33.6, 43.5 and 57.7% for the dyes Yellow, Blue and Red Procion, respectively. The quantitative analysis of the effluent by HPLC method can not be used without previous separation.

Energia de superfície para nanossuperfícies de TiO2 na direção (001)

In this work was made an investigation about bulk and surface models (at maximum 20 layers) of the TiO2 material in the (001) direction. TiO2 commercial sample was feature using XDR technique to determine phase and crystallites average size. Bulk and (001) surface models were simulated for TiO2 material using DFT/B3LYP and its results were used for calculating energy surface, electronic levels, superficial atomic displacement and charge maps. Atoms of the first and second layers of the slab model showed electronic densities very well organized in the form of chains or wires.

Composição química de aguardentes de cana-de-açúcar fermentadas por diferentes cepas de levedura Saccharomyces cerevisiae

The aim of this study was to evaluate the chemical composition of sugar cane spirits, fermented by different commercial Saccharomyces cerevisiae yeast strains and double distilled by pot still. Sugar cane juices were separately fermented by yeasts CA-11, Y-904, BG-1, PE-2, SA-1 and CAT-1 and distilled by pot still according to the methodology used for whisky production. The alcoholic liquids from first and second distillations were analyzed for concentrations of ethanol, volatile acidity, aldehydes, esters, furfural, higher alcohols and methanol. The sugar cane spirits derived from fermentation by the different yeast strains presented distinct chemical compositions.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Determination of slurry’s viscosity using case based reasoning approach

Case-based reasoning (CBR) is a recent approach to problem solving and learning that has got a lot of attention over the last years. In this work, the CBR methodology is used to reduce the time and amount of resources spent on carry out experiments to determine the viscosity of the new slurry. The aim of this work is: to develop a CBR system to support the decision making process about the type of slurries behavior, to collect a sufficient volume of qualitative data for case base, and to calculate the viscosity of the Newtonian slurries. Firstly in this paper, the literature review about the types of fluid flow, Newtonian and non-Newtonian slurries is presented. Some physical properties of the suspensions are also considered. The second part of the literature review provides an overview of the case-based reasoning field. Different models and stages of CBR cycles, benefits and disadvantages of this methodology are considered subsequently. Brief review of the CBS tools is also given in this work. Finally, some results of work and opportunities for system modernization are presented. To develop a decision support system for slurry viscosity determination, software application MS Office Excel was used. Designed system consists of three parts: workspace, the case base, and section for calculating the viscosity of Newtonian slurries. First and second sections are supposed to work with Newtonian and Bingham fluids. In the last section, apparent viscosity can be calculated for Newtonian slurries.

Sanitary quality of broiler litter reused

ABSTRACT Considering the importance of the substrate to bedding in the poultry industry in Brazil, and the enormous pressure on environmental management as to the correct use and management of the waste generated by the production sector, this study aimed to analyze the effect of reuses of two types of litter on sanitary qualities and productive performance of broilers. The study was conducted with litter from 32 different broiler houses, two types of substrates and four cycles of reuses. The litter sanitary quality was verified by the identification of the presence of Escherichia coli and Salmonellaspp. and the incidence of footpad dermatitis. It was observed that the coffee hulls litter presented a reduction of 28.61 percentage points in the probability of occurrence of Salmonella spp when compared to the wood shavings litter, nevertheless, no statistical difference was observed on bacterial occurrence with Salmonella spp. for litter of different types or numbers of reutilization. The presence of Escherichia coli was detected in litter of all cycles, for both types of substrate. The occurrence of footpad lesions was detected for both types of litter, and was influenced by the number of reutilization cycles of the litter. The degree of incidence was detected only for the litter with coffee hull in which there was an increase of 30% between the first and second reuse from which tended to stabilize.