Impact assessment and quality analysis of corporate social responsability (CSR) programs of mining companies and their contribution to sustainable development in the communities they operate: case study Tenke Fungurume Mining SA in the Democratic Republic of Congo (DRC)

Purpose – This case study presents an impact assessment of Corporate Social Responsibility (CSR) programs of the TFM Company in order to understand how they contribute to the sustainable development of communities in areas in which they operate. Design/Methodology/Approach - Data for this study was collected using qualitative data methods that included semi-structured interviews and Focus Group Discussions most of them audio and video recorded. Documentary analysis and a field visit were also undertaken for the purpose of quality analysis of the CSR programs on the terrain. Data collected was analyzed using the Seven Questions to sustainability (7Qs) framework, an evaluation tool developed by the Mining, Minerals and Sustainable Development (MMSD) North America chapter. Content analysis method was on the other hand used to examine the interviews and FGDs of the study participants. Findings - Results shows that CSR programs of TFM SA do contribute to community development, as there have been notable changes in the communities’ living conditions. But whether they have contributed to sustainable development is not yet the case as programs that enhance the capacity of communities and other stakeholders to support these projects development beyond the implementation stage and the mines operation lifetime need to be considered and implemented. Originality/Value – In DRC, there is paucity of information of research studies that focus on impact assessment of CSR programs in general and specifically those of mining companies and their contribution to sustainable development of local communities. Many of the available studies cover issues of minerals and conflict or conflict minerals as mostly referred to. This study addressees this gap.

Gonad development and hormone titres in Loggerhead Sea Turtles (Caretta caretta) in the NE Atlantic

The study proposed to describe sexual development in pelagic stage loggerhead sea turtles Caretta caretta and compare this to hatchlings and adults. It is meant as an ontogenic approach, in order to understand reproductive development and population composition and their dynamics in the pelagic environment. The study focused on the pelagic loggerheads that are found in the waters offshore Madeira Island (Portugal) in the North-eastern Atlantic and use it as a developmental habitat. The innovating character of this work relied on the lack of any description regarding the gonad ontogenesis and reproductive development for the pelagic stage in any of the 7 existing sea turtle species, all of them in danger of extinction. Three methods were used to diagnose the sex of each juvenile individual and asses the level of reproductive development: (1) laparoscopy, (2) gonad biopsy and (3) the assessment of two sex steroids circulating levels, namely testosterone and estradiol. In order to cover all life stages and compare data obtained for the juvenile stage, hatchlings and nesting female adults were sampled at the nearest nesting rookery at Boa Vista Island in the Cape Verde Archipelago. Gonads from dead hatchlings were collected for gonad histology and blood was collected from nesting females for sex steroids assessment. Laparoscopies revealed to be a valid sexing method for the juvenile stage, since gonads are morphologically differentiated at these size classes. Moreover, laparoscopy was validated using gonad histology. Gonad histology of juveniles showed that gonads are already completely differentiated into ovaries or testes at the size classes examined, but development seems to be quiescent. Males present already developed seminiferous tubules with spermatogonia lining the interior of the seminiferous tubule. Female gonads present oocytes at different development stages, but only oocytes up to stage III were observed. The maximum oocyte diameter in each individual correlated with body size, suggesting that reproductive development is an on-going process in juvenile females. The circulating levels of both testosterone and estradiol in juveniles of both sexes were very low and consistently lower than the ones observed in the nesting females from Boa Vista Island. No bimodal distribution was found for any of the sex steroids analysed and thus circulating hormone levels were not a reliable tool for sexing juvenile individuals with a non-invasive technique. The ratio testosterone:estradiol did not show a bimodal distribution either. The levels of testosterone correlated with sea surface temperature. The fact that temperatures observed during this study were below 24ºC might have hindered a differential testosterone pattern between juvenile males and females. Sex ratios for this population were generated according to laparoscopy results and compared among years and size classes. An overall sex ratio of 2 females for each male was found, but they varied among size classes but not among years. Possible causes for the sex ratios observed are discussed. This study is a contribution to our knowledge on the pelagic stage of loggerhead turtles, namely on the population structure regarding sex ratio, which is a vital tool for implementing conservation strategies.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Analysis an development of a prototype based on media wiki and semantic media wiki integrated with a design modeling that allows modeling of organizations based on demo

In a world where organizations are ever more complex the need for the knowledge of the organizational self is a growing necessity. The DEMO methodology sets a goal in achieving the specification of the organizational self capturing the essence of the organization in way independent of its implementation and also coherent, consistent, complete, modular and objective. But having such organization self notion is of little meaning if this notion is not shared by the organization actors. To achieve this goal in a society that has grown attached to technology and where time is of utmost importance, using a tool such as a semantic Wikipedia may be the perfect way of making the information accessible. However, to establish DEMO methodology in such platform there is a need to create bridges between its modeling components and semantic Wikipedia. It’s in that aspect that our thesis focuses, trying to establish and implement, using a study case, the principles of a way of transforming the DEMO methodology diagrams in comprehensive pages on semantic Wikipedia but keeping them as abstract as possible to allow expansibility and generalization to all diagrams without losing any valuable information so that, if that is the wish, those diagrams may be recreated from the semantic pages and make this process a full cycle.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Comparative toxicity of antifouling compounds on the development of sea urchin

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Aquaculture Research and Development as an Entry-Point and Contributor to Natural Resources and Coastal Management

Recent, fervent international dialogue concerning the existence and magnitude of impacts associated with aquaculture has had both positive and negative outcomes. Aquaculture stakeholders have become sensitized to requirements for improved environmental management of aquaculture. on the other hand, in some cases aquaculture development has been negatively affected by some of the unwarranted and unproved allegations to the detriment of the stakeholders most in need of aquaculture development (i.e., resource users, particularly the poor, who are dependent on natural resources). These resource users are targeted by, and directly influence biodiversity and conservation agendas; hence the need to understand how to gain their active participation. This discussion focuses on examples of how aquaculture research and development can be a useful tool or strategy for resource management initiatives and provide tangible positive including increased stakeholder participation and cooperation, offering alternatives to resource extraction and use in otherwise difficult or intransigent resource management conflicts.

Saccharomyces Cerevisiae cell wall dietary supplementation on the performance and intestinal mucosa development and integrity of broiler chickens vaccinated against coccidiosis

This study was carried out to verify if Saccharomyces cerevisiae cell wall (SCCW) dietary supplementation (0.2%) was capable of protecting the intestinal mucosa of broiler chickens vaccinated against coccidiosis. Body weight gain, feed intake, feed conversion and intestinal mucosa morphometric parameters and epithelial loss were evaluated. In the experiment,400 day-old male chicks were distributed according to a completely randomized design in a 2x2 factorial arrangement. The following treatments were applied: T1 - no vaccination/ no SCCW supplementation; T2 - no vaccination/SCCW supplementation; T3 - vaccination/no SCCW supplementation; and T4 - vaccination/SCCW supplementation to four replicates of 25 birds each. Birds were vaccinated on the first day of age using a spray vaccine (Coccivac B®, Coopers), containing E. acervulina, E. maxima, E. mivati and E. tenella. S. cerevisiae cell wall was supplied from the first day of age. Live performance, intestinal morphometric parameters and epithelial loss were evaluated at 14, 21 and 28 days of age. Performance was affected by vaccination only at 21-days of age, when body weight gain was reduced in the vaccinated birds, but no body weight difference was observed on day 28. Vaccine also increased the crypt depth (p<0.05) in the duodenum and jejunum, suggesting a high cell activity in the crypt:villus transition area to maintain the epithelial cell turnover. Villi number/area (103,269 µm²) was not affected (p>0.05) by vaccine or cell wall supplementation, and epithelial loss was more pronounced in the duodenum and jejunum. In conclusion, the findings of this study suggest that S. cerevisiae cell wall supplementation may be an useful management tool to maintain the intestinal integrity of broilers vaccinated against coccidiosis.

AC Biosusceptometry as a Tool for Monitoring the Gastrointestinal Transit of Multiparticulate Drug Delivery System

Drug delivery systems based on natural polysaccharides, such as chitosan (CS) and pectin (PC), rather than on synthetic polymers, have been widely studied. Some reasons for that are low toxicity and costs and high biodegradability of the formers. A multiparticulate system based on CS and PC was developed in our laboratories, including the addition of an enteric polymer, cellulose acetate phtalate (CAP). Such improvement promoted stronger gastric and enteric resistances, as assessed in vitro, making the systems more selective to enzymatic degradation in the colon. Although in vitro dissolution tests can simulate some properties concerning the gastrointestinal transit (GT), collaborating to characterize the systems behavior in the biological fluids, frequently they do not result in satisfactory in vitro/in vivo correlations. The objective of this work was to follow in vivo the GT of the particles developed by means of AC biosusceptometry (ACB), a non-invasive and of low cost methodology. The particles containing ferrite in powder form were prepared by complex coacervation using an ideal 3:1:1 mass ratio for PC:CS:CAP. The magnetic particles were administered to healthy volunteers by oral route. The GT was monitored by using multi-sensor ACB system and the signal acquisition was performed every IS min until the colonic region was reached. By means of ACB technique, it was possible to acquiring images generated by the magnetic particles within the whole gastrointestinal tract including the colonic region. Variable particles transit times were observed among the volunteers, but without interference on the mapping of the particles until the colonic region. The particles were able to produce magnetic field strong enough to generate signals adequate for mapping the particles. The results suggest that integral particles reached the colon, after they resisted against gastric and enteric media. Studies associating transit time and in vivo drug release are in development in order to confirm the efficiency of the systems.

Ultrasonography as a predicting tool for carcass traits of young bulls

O desenvolvimento de técnicas não invasivas e não destrutivas para a avaliação da composição e qualidade de carcaça em animais tem mobilizado consideráveis recursos em pesquisa. A ultra-sonografia aparece neste contexto como uma técnica viável, confiável e de custo aceitável para esta função. No presente trabalho foi avaliada a técnica de ultra-sonografia em tempo real como ferramenta para predição da área de olho-de-lombo (AOL) e espessura da camada de gordura subcutânea (ECG) a partir de imagens tomadas em animais vivos, quando comparadas com as medições na carcaça. Foram utilizados 115 bovinos jovens (30, ½ Angus x Nellore; 30, ½ Canchim x Nellore; 30, ½ Simental x Nellore, e 25 Nellores), com peso inicial médio de 329 kg e de dois tamanhos à maturidade (pequeno e grande), no sistema de produção do novilho superprecoce. As medidas de ultra-sonografia foram realizadas a cada 28 dias totalizando quatro medições até o final do confinamento. A precisão da predição aumentou em função da proximidade da data do abate, sendo máxima na quarta medida (R²= 0,68 para AOL e 0,82 para ECG). Houve efeito de grupo genético e de medida ultra-sonográfica para ECG. O tamanho corporal não teve efeito sobre nenhuma das características estudadas.

Development and characterization of microsatellite loci in Phractocephalus hemioliopterus (Siluriformes: Pimelodidae) and their cross-species amplification in six related species

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Optimization of incubation time of protein Tc85 in the construction of biosensor: Is the EIS a good tool?

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Exercise training as a preventive tool for age-related disorders: a brief review

Aging populations are a worldwide phenomenon affecting both developed and developing countries. This issue raises serious concerns for both governments and the general population. Regular participation in physical activity and/or exercise training programs can minimize the physiological alterations that occur during aging and may contribute to improvements in health and well-being. The present review will discuss the role of regular exercise training in preventing age-related physiological decline and, consequently, associated chronic diseases. Compelling evidence that regular exercise and/or physical activity can improve quality of life, prevent or control the development of chronic disease and increase life expectancy is shown. In summary, regular exercise training and/or physical activity has an important influence on aging and may help to prevent age-related disorders.

Development and applications of three-dimensional gamma ray tomography system using ray casting volume rendering techniques

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)