Geostatistics and remote sensing methods in the classification of images of areas cultivated with citrus

This study compares the precision of three image classification methods, two of remote sensing and one of geostatistics applied to areas cultivated with citrus. The 5,296.52ha area of study is located in the city of Araraquara - central region of the state of São Paulo (SP), Brazil. The multispectral image from the CCD/CBERS-2B satellite was acquired in 2009 and processed through the Geographic Information System (GIS) SPRING. Three classification methods were used, one unsupervised (Cluster), and two supervised (Indicator Kriging/IK and Maximum Likelihood/Maxver), in addition to the screen classification taken as field checking.. Reliability of classifications was evaluated by Kappa index. In accordance with the Kappa index, the Indicator kriging method obtained the highest degree of reliability for bands 2 and 4. Moreover the Cluster method applied to band 2 (green) was the best quality classification between all the methods. Indicator Kriging was the classifier that presented the citrus total area closest to the field check estimated by -3.01%, whereas Maxver overestimated the total citrus area by 42.94%.

Cirurgia do hiperparatireoidismo

Hyperparathyroidism is a desease caused by increase of parathormone secretion, leading to a misfunction of calcium metabolism. Although not very common among population in general, it is frequently observed in patients with cronic renal disease. It can involve a slight syntomatic form, but as a whole, its main repercurssions occur in skeletic muscles, urinary and intestinal systems. The authors conduct a broad revision of the literature, focusing on the methods of diagnosis and spot checking before and during the operations of parathyroid glands. Surgical recommendations, tatic aspects and types of surgery to be implemented are discussed. A systematization for adequate surgical technics performed at the General Surgery Service of Clementino Fraga Filho Hospital of Federal University of Rio de Janeiro is fully discribed and recommended.

System to outline the graduatestudents

Objective: to evaluate the system to outline the graduate students from the Post-Graduate Programs of CAPES Medicine III area. Method: it was analyzed the book of indicators and the Document of Area of the Post-Graduate Programs of Surgery, also checking the literature about this issue. Results: there was a paucity of data from most of the programs, as regards to the methods for evaluation of graduate students. The current system lacks a standard and an institutional support to outline the graduate students. In the public system there is a concentration of postgraduate students in Medicine; however, they represent a small part of those Brazilians students who finished their graduation courses in Medicine. In the current context, the quest for the post graduate courses and consequently for a research field or even a teaching career, has been replaced by the private sector jobs and the labor market, both in non-academic assistance activities. Conclusion: it is imperative to establish not only science and technology innovation policies but also educational and health policies acting harmoniously and stimulating the qualification and the teaching career, improving the post-graduate courses. It is necessary to develop a single form under the institutional guidance of CAPES with the conception of a National Program for Graduate Student in order to consolidate guidelines to mapping the graduate students of post-graduate programs in surgery, in our country.

Clinical and blood gasometric parameters during Vaquejada competition

ABSTRACT: Clinical and complementary analysis are good alternatives to evaluate physiological demand in performance horses. The aim of this study was to assess whether the physical effort variation of the three-day Vaquejada competition (a Brazilian form of bullfighting) reflected in clinical and blood gasometric changes. During the competition eight sprints have been performed on the first day (D1), eight on the second (D2) and three on the last one (D3). Ten horses were evaluated by checking heart and respiratory rates and collecting blood samples for use in portable chemistry analyzer. Through that, it was assessed potential of hydrogen ion (pH), carbon dioxide pressure (pCO2), bicarbonate (HCO3-) and titratable base concentration (cBase). Evaluations were carried with resting of at least twenty hours, before physical activity (D0), as control parameter, and up to thirty minutes after each sprint. Clinical parameters have increased on D1, D2 and D3, when compared to D0, which demonstrated the increased demand for substrate and oxygen to the cells.. Blood gasometric trial showed reductions of all variables, most marked between D1 and D2. It was verified less alteration of all clinical and blood gasometric parameters in D3 against D0. We concluded that the change effort between days of competition influenced the clinical and blood gas parameters, demonstrating appropriate physiological response. The data were presented as mean and standard error of the mean (mean ± SEM) obtained in different days. Normality was confirmed by the Kolmogorov-Sminov test and data were compared by one-way ANOVA, followed by post-test Holm-Sidak (GraphPad Prism 2.6 for Windows, GraphPad Software, San Diego, CA, USA). P≤0.05 was considered as statistically significant.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Harjoitustyön kehittäminen ohjelmoinnin perusteet kurssille

Työn tarkoituksena on luoda uusi harjoitustyö Ohjelmoinnin perusteet –kurssille. Harjoitustyön tavoitteena oli olla nykyistä työtä mielekkäämpi, sekä sidottu käytäntöön. Näiden avulla tavoiteltiin kurssin harjoitustyön suorittavien opiskelijoiden osuuden kasvattamista. Lopputuloksena on kolmeosainen harjoitustyö, jossa opiskelija suorittaa kuvamanipulointia sekä hyödyntää avoimia rajapintoja. Tulevaisuuteen jää haasteeksi harjoitustyön tarkastaminen ja siihen liittyvät ongelmat, sekä työn jatkokehitys.

An Open Source, DDI-based Curation System for Social Science Data

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Practical Data Curation and Management for Institutional Repositories

Workshop at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Sensory analysis of hydrolysed meat preparations

The use of hydrolysed meat in diets contributes to the improvement of protein, vitamin and mineral supply. This work aims at checking the acceptance pattern in meat hydrolysates. Four preparations have been developed with three types of hydrolysates in domestic-like conditions. Acceptance was verified by means of sensory analysis using the nine-point hedonic scale. Sensory tests have been carried out in three sessions (according to the kind of hydrolysates). In the evaluation file, information on age groups has been included. The statistical analysis has been made by ANOVA and Tukey test. The best accepted preparation have been the turkey and chicken hydrolysed balls. Hydrolysates can be used in many different kinds of preparations, but it is necessary to know both the age group it will be used to and its sensory and chemical-physical features to ensure the taste and the original appearance of the final product.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.

Sobre a economia política do desenvolvimento e a contribuição dos serviços

On the political economy of development and the contribution of services. This paper aims to ponder on recent approaches to Political Economy of Development, that bring about new concepts about the role of services activities in the economic development process. The analysis begins by checking the new attributions of services entailed by the productive paradigm changes that have occurred since the 1970's. Then, it examines the debate about the new kind of society, called "post-industrial", which is centered in the services dynamics. Finally, it discusses the relevance of social capital disponibility, as a prime factor to attain economic development

Infrared spectroscopy of Mg-doped SrRuO3 thin films /

The reflectance of thin films of magnesium doped SrRu03(Mg-SR0) produced by pulsed laser deposition on SrTiOa (100) substrates has been measured at room temperature between 100 and 7500 cm~^. The films were chosen to have wide range of thickness, stoichiometry and electrical properties. As the films were very thin (less than 300 nm), and some were insulating the reflectance data shows structures due to both the film and the substrate. Hence, the data was analyzed using Kramers-Kronig constrained variational fitting (VDF) method to extract the real optical conductivity of the Mg-SRO films. Although the VDF technique is flexible enough to fit all features of the reflectance spectra, it seems that VDF could not eliminate the substrate's contribution from fllm conductivity results. Also the comparison of the two different programs implementing VDF fltting shows that this technique has a uniqueness problem. The optical properties are discussed in light of the measured structural and transport properties of the fllms which vary with preparation conditions and can be correlated with differences in stoichiometry. This investigation was aimed at checking the VDF technique and also getting answer to the question whether Mg^"*" substitutes in to Ru or Sr site. Analysis of our data suggests that Mg^+ goes to Ru site.

Spiritual journeys in the classroom: elementary public school teachers' perspectives /

This thesis explored 5 public elementary school teachers ' perceptions of spirituality and its implications for classroom practice. A generic qualitative study was conducted where each teacher shared her experiences and perceptions in one audiotaped semistructured interview. Transcripts were generated and coded for themes which emerged, resulting in the findings of the study. Following this process, the participants verified the accuracy of the transcripts and findings through a member-checking system. The research found that each teacher has her own definition of spirituality. Furthermore, one's personal connection with spirituality can involve a relationship with religion, the self, a higher being, others, and nature. These spiritual relationships were nurtured through a variety of methods outlined by the teachers. This resulted in the creation of a personal spiritual profile for each teacher which contained each teacher's spiritual connections or facets and the methods used to develop these facets. The teachers identified spiritual needs in their students warranting the need for and importance of spiritual education. Given this, a number of classroom practices were identified with the intention of meeting the spiritual needs of students. Among these practices, the teacher as role model was identified as a significant practice for students' spiritual development in the classroom. The teachers further outlined a number of professional development initiatives with the intention to promote greater awareness for spiritual education and to provide resources for educators.

HUMAN GENOME VARIATIONS AND EVOLUTION WITH A FOCUS ON THE ANALYSIS OF TRANSPOSABLE ELEMENTS

Genome sequence varies in numerous ways among individuals although the gross architecture is fixed for all humans. Retrotransposons create one of the most abundant structural variants in the human genome and are divided in many families, with certain members in some families, e.g., L1, Alu, SVA, and HERV-K, remaining active for transposition. Along with other types of genomic variants, retrotransponson-derived variants contribute to the whole spectrum of genome variants in humans. With the advancement of sequencing techniques, many human genomes are being sequenced at the individual level, fueling the comparative research on these variants among individuals. In this thesis, the evolution and functional impact of structural variations is examined primarily focusing on retrotransposons in the context of human evolution. The thesis comprises of three different studies on the topics that are presented in three data chapters. First, the recent evolution of all human specific AluYb members, representing the second most active subfamily of Alus, was tracked to identify their source/master copy using a novel approach. All human-specific AluYb elements from the reference genome were extracted, aligned with one another to construct clusters of similar copies and each cluster was analyzed to generate the evolutionary relationship between the members of the cluster. The approach resulted in identification of one major driver copy of all human specific Yb8 and the source copy of the Yb9 lineage. Three new subfamilies within the AluYb family – Yb8a1, Yb10 and Yb11 were also identified, with Yb11 being the youngest and most polymorphic. Second, an attempt to construct a relation between transposable elements (TEs) and tandem repeats (TRs) was made at a genome-wide scale for the first time. Upon sequence comparison, positional cross-checking and other relevant analyses, it was observed that over 20% of all TRs are derived from TEs. This result established the first connection between these two types of repetitive elements, and extends our appreciation for the impact of TEs on genomes. Furthermore, only 6% of these TE-derived TRs follow the already postulated initiation and expansion mechanisms, suggesting that the others are likely to follow a yet-unidentified mechanism. Third, by taking a combination of multiple computational approaches involving all types of genetic variations published so far including transposable elements, the first whole genome sequence of the most recent common ancestor of all modern human populations that diverged into different populations around 125,000-100,000 years ago was constructed. The study shows that the current reference genome sequence is 8.89 million base pairs larger than our common ancestor’s genome, contributed by a whole spectrum of genetic mechanisms. The use of this ancestral reference genome to facilitate the analysis of personal genomes was demonstrated using an example genome and more insightful recent evolutionary analyses involving the Neanderthal genome. The three data chapters presented in this thesis conclude that the tandem repeats and transposable elements are not two entirely distinctly isolated elements as over 20% TRs are actually derived from TEs. Certain subfamilies of TEs themselves are still evolving with the generation of newer subfamilies. The evolutionary analyses of all TEs along with other genomic variants helped to construct the genome sequence of the most recent common ancestor to all modern human populations which provides a better alternative to human reference genome and can be a useful resource for the study of personal genomics, population genetics, human and primate evolution.