Introdução a ontologias e suas aplicações

Different vocabularies and contexts are barriers to the communication between people or software systems. It is necessary a common understanding in the domain that is talked about, so it can be obtained a correct interpretation of the information. An ontology formally models the structure of a domain and turn explicit the shared understanding in the form of concepts and relations that emerge from its observation. Constitutes a sort of framework used in the mapping to the meaning of the information that is talked about. The formal accuracy in which they are defined, by means of axioms, allow machine processing, implicating in systems interoperability. Structured this way, the knowledge is easily transferred between people or systems from different contexts. Ontologies present several applications nowadays. They are considered the infra-structure to the Semantic Web, which is composed by Web resources with embedded meaning. Thereby, the automatic execution of complex tasks is allowed, with the benefit from the effective communication between Web software agents. Among other applications, they also have been used to structure the knowledge generated from several areas, like Biology and Software Engineering.

Bamboo as sustainable material used in design and civil construction: species, management, characterization and applications

The use of bamboo as construction and raw material for producing products can be considered a feasible alternative to the abusive use of steel, concrete and oil byproducts. Its use can also reduce the pressure on the use of wood from native and planted forests. Although there are thousands of bamboo species spread about the world and Brazil itself has hundreds of native species, the use and basic knowledge of its characteristics and applications are still little known and little disseminated. This paper's main objective is to introduce the species, the management phases, the physical and mechanical characteristics and the experiences in using bamboo in design and civil construction as per the Bamboo Project implemented at UNESP, Bauru campus since 1994. The results are divided into: a) Field activities - description of the technological species of interest, production chain flows, types of preservative treatments and clump management practices for the development, adaptation and production of different species of culms; b) Lab experiments - physical and mechanical characterization of culms processed as laminated strips and as composite material (glue laminated bamboo – glubam); c) Uses in projects - experiences with natural bamboo and glubam in design, architecture and civil construction projects. In the final remarks, the study aims to demonstrate, through practical and laboratory results, the material's multi-functionality and the feasibility in using bamboo as a sustainable material.

Ambiente web de suporte à transcrição fonética automática de lemas em verbetes de dicionários do português do Brasil

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

Helping End-User Programmers “Engineer” Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults, and stories abound of spreadsheet faults that have led to multi-million dollar losses. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software.

Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

Preparation of Coated Microtools for Electrochemical Machining Applications

PREPARATION OF COATED MICROTOOLS FOR ELECTROCHEMICAL MACHINING APPLICATIONS Ajaya K. Swain, M.S. University of Nebraska, 2010 Advisor: K.P. Rajurkar Coated tools have improved the performance of both traditional and nontraditional machining processes and have resulted in higher material removal, better surface finish, and increased wear resistance. However, a study on the performance of coated tools in micromachining has not yet been adequately conducted. One possible reason is the difficulties associated with the preparation of coated microtools. Besides the technical requirement, economic and environmental aspects of the material and the coating technique used also play a significant role in coating microtools. This, in fact, restricts the range of coating materials and the type of coating process. Handling is another major issue in case of microtools purely because of their miniature size. This research focuses on the preparation of coated microtools for pulse electrochemical machining by electrodeposition. The motivation of this research is derived from the fact that although there were reports of improved machining by using insulating coatings on ECM tools, particularly in ECM drilling operations, not much literature was found relating to use of metallic coating materials in other ECM process types. An ideal ECM tool should be good thermal and electrical conductor, corrosion resistant, electrochemically stable, and stiff enough to withstand electrolyte pressure. Tungsten has almost all the properties desired in an ECM tool material except being electrochemically unstable. Tungsten can be oxidized during machining resulting in poor machining quality. Electrochemical stability of a tungsten ECM tool can be improved by electroplating it with nickel which has superior electrochemical resistance. Moreover, a tungsten tool can be coated in situ reducing the tool handling and breakage frequency. The tungsten microtool was electroplated with nickel with direct and pulse current. The effect of the various input parameters on the coating characteristics was studied and performance of the coated microtool was evaluated in pulse ECM. The coated tool removed more material (about 28%) than the uncoated tool under similar conditions and was more electrochemical stable. It was concluded that nickel coated tungsten microtool can improve the pulse ECM performance.

Analysis and Transformation of Pipe-like Web Mashups for End User Programmers

Mashups are becoming increasingly popular as end users are able to easily access, manipulate, and compose data from several web sources. To support end users, communities are forming around mashup development environments that facilitate sharing code and knowledge. We have observed, however, that end user mashups tend to suffer from several deficiencies, such as inoperable components or references to invalid data sources, and that those deficiencies are often propagated through the rampant reuse in these end user communities. In this work, we identify and specify ten code smells indicative of deficiencies we observed in a sample of 8,051 pipe-like web mashups developed by thousands of end users in the popular Yahoo! Pipes environment. We show through an empirical study that end users generally prefer pipes that lack those smells, and then present eleven specialized refactorings that we designed to target and remove the smells. Our refactorings reduce the complexity of pipes, increase their abstraction, update broken sources of data and dated components, and standardize pipes to fit the community development patterns. Our assessment on the sample of mashups shows that smells are present in 81% of the pipes, and that the proposed refactorings can reduce that number to 16%, illustrating the potential of refactoring to support thousands of end users developing pipe-like mashups.

Applications and Potentials for Biogenic Methane Recovery Operations in Nebraska Agriculture, Industry, and Economic Development

ABSTRACT: This thesis report illustrates the applications and potentials of biogenic methane recovery in Nebraska’s agricultural and industrial sectors and as a means for increasing sustainable economic development in the state’s rural communities. As the nation moves toward a new green economy, biogenic methane recovery as a waste management strategy and renewable energy resource presents significant opportunities for Nebraska to be a national and world leader in agricultural and industrial innovation, advanced research and development of renewable energy technology, and generation of new product markets. Nebraska’s agricultural economy provides a distinct advantage to the state for supporting methane recovery operations that provide long-term economic and environmental partnerships among producers, industry, and communities. These opportunities will serve to protect Nebraska’s agricultural producers from volatile energy input markets and as well as creating new markets for Nebraska agricultural products. They will also serve to provide quality education and employment opportunities for Nebraska students and businesses. There are challenges and issues that remain for the state in order to take advantage of its resource potential. There is a need to produce a comprehensive Nebraska biogenic methane potential study and digital mapping system to identify high-potential producers, co-products, and markets. There is also a need to develop a web-based format of consolidated information specific to Nebraska to aid in connecting producers, service providers, educators, and policy-makers.

MEH-PPV Thin Films for Radiation Sensor Applications

This work deals with MEH-PPV thin films to be used as gamma radiation sensors. The polymer thin films with two different thicknesses (30 and 100 nm) were irradiated at room temperature with different gamma radiation doses (up to 25 kGy). Optical properties of the material were investigated with FTIR and UV-Vis absorption spectroscopy. Results show that gamma radiation does not degrade substantially the thin-film material, suggesting that a crosslink effect may be occurring. The characteristic absorption peak of MEH-PPV, around 500 nm is shifted to shorter wavelengths with the increase of gamma radiation doses for both thicknesses samples. The 30-nm-thick samples showed a larger variation absorbance at a specific wavelength and a larger peak shift. These results indicate their potential for use in monitoring the radiation doses used on the sterilization of health care products.

A relaxed constant positive linear dependence constraint qualification and applications

In this work we introduce a relaxed version of the constant positive linear dependence constraint qualification (CPLD) that we call RCPLD. This development is inspired by a recent generalization of the constant rank constraint qualification by Minchenko and Stakhovski that was called RCRCQ. We show that RCPLD is enough to ensure the convergence of an augmented Lagrangian algorithm and that it asserts the validity of an error bound. We also provide proofs and counter-examples that show the relations of RCRCQ and RCPLD with other known constraint qualifications. In particular, RCPLD is strictly weaker than CPLD and RCRCQ, while still stronger than Abadie's constraint qualification. We also verify that the second order necessary optimality condition holds under RCRCQ.

Characterization of a new beta titanium alloy, Ti-12Mo-3Nb, for biomedical applications

In recent years, different beta titanium alloys have been developed for biomedical applications with a combination of mechanical properties including a low Young's modulus, high strength, fatigue resistance and good ductility with excellent corrosion resistance. From this perspective, a new metastable beta titanium Ti-12Mo-3Nb alloy was developed with the replacement of both vanadium and aluminum from the traditional Ti-6Al-4V alloy. This paper presents the microstructure, mechanical properties and corrosion resistance of the Ti-12Mo-3Nb alloy heat-treated at 950 degrees C for 1 h. The material was characterized by X-ray diffraction and by scanning electron microscopy. Tensile tests were carried out at room temperature. Corrosion tests were performed using Ringer's solution at 25 degrees C. The results showed that this alloy could potentially be used for biomedical purposes due to its good mechanical properties and spontaneous passivation. (c) 2011 Elsevier B.V. All rights reserved.

Effects of extrusion, lipid concentration and purity on physico-chemical and biological properties of cationic liposomes for gene vaccine applications

We developed cationic liposomes containing DNA through a conventional process involving steps of (i) preformation of liposomes, (ii) extrusion, (iii) drying and rehydration and (iv) DNA complexation. Owing to its high prophylactic potentiality against tuberculosis, which had already been demonstrated in preclinical assays, we introduced modifications into the conventional process towards getting a simpler and more economical process for further scale-up. Elimination of the extrusion step, increasing the lipid concentration (from 16 to 64 mM) of the preformed liposomes and using good manufacturing practice bulk lipids (96-98% purity) instead of analytical grade purity lipids (99.9-100%) were the modifications studied. The differences in the physico-chemical properties, such as average diameter, zeta potential, melting point and morphology of the liposomes prepared through the modified process, were not as significant for the biological properties, such as DNA loading on the cationic liposomes, and effective immune response in mice after immunisation as the control liposomes prepared through the conventional process. Beneficially, the modified process increased productivity by 22% and reduced the cost of raw material by 75%.

Biological monitoring of a promissory xenogenic pin for biomedical applications: a preliminary intraosseous study in rats

Objectives: Over the last years, it is known that in some cases metal devices for biomedical applications present some disadvantages suggesting absorbable materials (natural or synthetic) as an alternative of choice. Here, our goal was to evaluate the biological response of a xenogenic pin, derived from bovine cortical bone, intraosseously implanted in the femur of rats. Material and methods: After 10, 14, 30 and 60 days from implantation, the animals (n = 5/period) were killed and the femurs carefully collected and dissected out under histological demands. For identifying the osteoclastogenesis level at 60 days, we performed the immunohistochemisty approach using antibody against RANKL. Results: Interestingly, our results showed that the incidence of neutrophils and leukocytes was observed only at the beginning (10 days). Clear evidences of pin degradation by host cells started at 14 days and it was more intensive at 60 days, when we detected the majority of the presence of giant multinucleated cells, which were very similar to osteoclast cells contacting the implanted pin. To check osteoclastogenesis at 60 days, we evaluated RANKL expression and it was positive for those resident multinucleated cells while a new bone deposition was verified surrounding the pins in all evaluated periods. Conclusions: Altogether, our results showed that pins from fully processed bovine bone are biocompatible and absorbable, allowing bone neoformation and it is a promissory device for biomedical applications.

Cone Beam Computed Tomographic Imaging: Perspective, Challenges, and the Impact of Near-Trend Future Applications

Cone beam computed tomography (CBCT) can be considered as a valuable imaging modality for improving diagnosis and treatment planning to achieve true guidance for several craniofacial surgical interventions. A new concept and perspective in medical informatics is the highlight discussion about the new imaging interactive workflow. The aim of this article was to present, in a short literature review, the usefulness of CBCT technology as an important alternative imaging modality, highlighting current practices and near-term future applications in cutting-edge thought-provoking perspectives for craniofacial surgical assessment. This article explains the state of the art of CBCT improvements, medical workstation, and perspectives of the dedicated unique hardware and software, which can be used from the CBCT source. In conclusion, CBCT technology is developing rapidly, and many advances are on the horizon. Further progress in medical workstations, engineering capabilities, and improvement in independent software-some open source-should be attempted with this new imaging method. The perspectives, challenges, and pitfalls in CBCT will be delineated and evaluated along with the technological developments.

A novel XML document structure comparison framework based-on sub-tree commonalities and label semantics

XML similarity evaluation has become a central issue in the database and information communities, its applications ranging over document clustering, version control, data integration and ranked retrieval. Various algorithms for comparing hierarchically structured data, XML documents in particular, have been proposed in the literature. Most of them make use of techniques for finding the edit distance between tree structures, XML documents being commonly modeled as Ordered Labeled Trees. Yet, a thorough investigation of current approaches led us to identify several similarity aspects, i.e., sub-tree related structural and semantic similarities, which are not sufficiently addressed while comparing XML documents. In this paper, we provide an integrated and fine-grained comparison framework to deal with both structural and semantic similarities in XML documents (detecting the occurrences and repetitions of structurally and semantically similar sub-trees), and to allow the end-user to adjust the comparison process according to her requirements. Our framework consists of four main modules for (i) discovering the structural commonalities between sub-trees, (ii) identifying sub-tree semantic resemblances, (iii) computing tree-based edit operations costs, and (iv) computing tree edit distance. Experimental results demonstrate higher comparison accuracy with respect to alternative methods, while timing experiments reflect the impact of semantic similarity on overall system performance.