Prediction of soil shear strength in agricultural and natural environments of the Brazilian Cerrado

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

Genotype x environment interaction for age at first calving, scrotal circumference, and yearling weight in Nellore cattle using reaction norms in multitrait random regression models

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

Representatividade das redes sociais no processo educacional: potencialidades dos grupos virtuais como ferramentas de ensino-aprendizagem no Ensino Médio

One tool that has been in evidence, especially among young people, is Facebook. It can be classified as a synchronous communication tool that allows communities of people with similar interests to discuss and exchange experiences in real time, promoting the sharing of information and the creation of collective knowledge, even if they being in different parts of the globe. In this paper we show that Facebook can be used as an educational tool to aid the work done in the classroom and the impact of creating closed groups in online social networking for educational purposes. The survey was conducted with a group of students at a private school in Bauru/SP. We investigated the interaction profile of students with a closed group created on Facebook and through a questionnaire analyzed whether students use virtual environments for personal or educational. The survey reveals students perceptions about relevant aspects and the potential use of this tool as teaching-learning strategy

An introductory informatics theoretical framework, based on an integrable lattice model using quantized function algebras, for studying DNA-ionized gas interaction system

Usually we observe that Bio-physical systems or Bio-chemical systems are many a time based on nanoscale phenomenon in different host environments, which involve many particles can often not be solved explicitly. Instead a physicist, biologist or a chemist has to rely either on approximate or numerical methods. For a certain type of systems, called integrable in nature, there exist particular mathematical structures and symmetries which facilitate the exact and explicit description. Most integrable systems, we come across are low-dimensional, for instance, a one-dimensional chain of coupled atoms in DNA molecular system with a particular direction or exist as a vector in the environment. This theoretical research paper aims at bringing one of the pioneering ‘Reaction-Diffusion’ aspects of the DNA-plasma material system based on an integrable lattice model approach utilizing quantized functional algebras, to disseminate the new developments, initiate novel computational and design paradigms.

Discrimination of production environments of specialty coffees by means of stable isotopes and discriminant model

The south of Minas Gerais, Brazil stands out among various regions through its capacity for production of specialty coffees. Its potential, manifested through being one of the most award-winning Brazilian regions in recent years, has been recognized by the Cup of Excellence (COE). With the evident relationship between product quality and the environment in mind, the need arises for scientific studies to provide a foundation for discrimination of product origin, creating new methods for combating possible fraud. The aim of this study was to evaluate the use of carbon and nitrogen isotopes in discrimination of production environments of specialty coffees from the Serra da Mantiqueira of Minas Gerais by means of the discriminant model. Coffee samples were composed of ripe yellow and red fruits collected manually at altitudes below 1,000 m, from 1,000 to 1,200 m and above 1,200 m. The yellow and red fruits were subjected to dry processing and wet processing, with five replications. A total of 119 samples were used for discrimination of specialty coffee production environments by means of stable isotopes and statistical modeling. The model generated had an accuracy rate of 89% in discrimination of environments and was composed of the isotope variables of δ15N, δ13C, %C, %N, δD, δ18O (meteoric water) and sensory analysis scores. In addition, for the first time, discrimination of environments on a local geographic scale, within a single municipality, was proposed and successfully concluded. This shows that isotope analysis is an effective method in verifying geographic origin for specialty coffees.

Mapping of angular leaf spot resistance QTL in common bean (Phaseolus vulgaris L.) under different environments

Background: Common bean (Phaseolus vulgaris L.) is the most important grain legume for human diet worldwide and the angular leaf spot (ALS) is one of the most devastating diseases of this crop, leading to yield losses as high as 80%. In an attempt to breed resistant cultivars, it is important to first understand the inheritance mode of resistance and to develop tools that could be used in assisted breeding. Therefore, the aim of this study was to identify quantitative trait loci (QTL) controlling resistance to ALS under natural infection conditions in the field and under inoculated conditions in the greenhouse. Results: QTL analyses were made using phenotypic data from 346 recombinant inbreed lines from the IAC-UNA x CAL 143 cross, gathered in three experiments, two of which were conducted in the field in different seasons and one in the greenhouse. Joint composite interval mapping analysis of QTL x environment interaction was performed. In all, seven QTLs were mapped on five linkage groups. Most of them, with the exception of two, were significant in all experiments. Among these, ALS10.1(DG,UC) presented major effects (R-2 between 16% - 22%). This QTL was found linked to the GATS11b marker of linkage group B10, which was consistently amplified across a set of common bean lines and was associated with the resistance. Four new QTLs were identified. Between them the ALS5.2 showed an important effect (9.4%) under inoculated conditions in the greenhouse. ALS4.2 was another major QTL, under natural infection in the field, explaining 10.8% of the variability for resistance reaction. The other QTLs showed minor effects on resistance. Conclusions: The results indicated a quantitative inheritance pattern of ALS resistance in the common bean line CAL 143. QTL x environment interactions were observed. Moreover, the major QTL identified on linkage group B10 could be important for bean breeding, as it was stable in all the environments. Thereby, the GATS11b marker is a potential tool for marker assisted selection for ALS resistance.

Cooperative interventions and the interaction of Community Health Agents within the Family Health team

This qualitative study examines the social relationships between the Community Health Agents (CHAs) and the Family Health team (FH), highlighting cooperative interventions and interactions among workers. A total of 23 participant observations and 11 semi-structured interviews were conducted with an FH team in a city in the interior of Sao Paulo, Brazil. The results revealed that CHAs function as a link in the development of operational actions to expedite teamwork. These professionals, while creating bonds, articulate connections of teamwork and interact with other workers, developing common care plans and bringing the team and community together, as well as adapting care interventions to meet the real needs of people. In communication practice, when talking about themselves they talk about the community itself because they are the community's representatives and spokespersons on the team. The conclusion is that the CHA may be a strategic worker if his/her actions include more political and social dimensions of work in healthcare.

Strategies in identifying individuals in a segregant population of common bean and implications of genotype x environment interaction in the success of selection

The objective of this study was to compare the BLUP selection method with different selection strategies in F-2:4 and assess the efficiency of this method on the early choice of the best common bean (Phaseolus vulgaris) lines. Fifty-one F-2:4 progenies were produced from a cross between the CVIII8511 x RP-26 lines. A randomized block design was used with 20 replications and one-plant field plots. Character data on plant architecture and grain yield were obtained and then the sum of the standardized variables was estimated for simultaneous selection of both traits. Analysis was carried out by mixed models (BLUP) and the least squares method to compare different selection strategies, like mass selection, stratified mass selection and between and within progeny selection. The progenies selected by BLUP were assessed in advanced generations, always selecting the greatest and smallest sum of the standardized variables. Analyses by the least squares method and BLUP procedure ranked the progenies in the same way. The coincidence of the individuals identified by BLUP and between and within progeny selection was high and of the greatest magnitude when BLUP was compared with mass selection. Although BLUP is the best estimator of genotypic value, its efficiency in the response to long term selection is not different from any of the other methods, because it is also unable to predict the future effect of the progenies x environments interaction. It was inferred that selection success will always depend on the most accurate possible progeny assessment and using alternatives to reduce the progenies x environments interaction effect.

Genotype by environment interaction for birth and weaning weights of composite beef cattle in different regions of Brazil

The objectives of the present study were to characterize and define homogenous production environments of composite beef cattle in Brazil in terms of climatic and geographic variables using multivariate exploratory techniques and to use them to assess the presence of G x E for birth weight (BW) and weaning weight (WW). Data from animals born between 1995 and 2008 on 36 farms located in 27 municipalities of the Brazilian states were used. Fifteen years of climate observations (mean minimum and maximum annual temperature and mean annual rainfall) and geographic (latitude, longitude and altitude) data were obtained for each municipality where the farms were located for characterization of the production environments. Hierarchical and nonhierarchical cluster analysis was used to group farms located in regions with similar environmental variables into clusters. Six clusters of farms were formed. The effect of sire-cluster interaction was tested by single-trait analysis using deviance information criterion (DIC). Genetic parameters were estimated by multi-trait analysis considering the same trait to be different in each cluster. According to the values of DIC, the inclusion of sire-cluster effect did not improve the fit of the genetic evaluation model for BW and WW. Estimates of genetic correlations among clusters ranged from -0.02 to 0.92. The low genetic correlation among the most studied regions permits us to suggest that a separate genetic evaluation for some regions should be undertaken. (C) 2012 Elsevier B.V. All rights reserved.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments

Actual trends in software development are pushing the need to face a multiplicity of diverse activities and interaction styles characterizing complex and distributed application domains, in such a way that the resulting dynamics exhibits some grade of order, i.e. in terms of evolution of the system and desired equilibrium. Autonomous agents and Multiagent Systems are argued in literature as one of the most immediate approaches for describing such a kind of challenges. Actually, agent research seems to converge towards the definition of renewed abstraction tools aimed at better capturing the new demands of open systems. Besides agents, which are assumed as autonomous entities purposing a series of design objectives, Multiagent Systems account new notions as first-class entities, aimed, above all, at modeling institutional/organizational entities, placed for normative regulation, interaction and teamwork management, as well as environmental entities, placed as resources to further support and regulate agent work. The starting point of this thesis is recognizing that both organizations and environments can be rooted in a unifying perspective. Whereas recent research in agent systems seems to account a set of diverse approaches to specifically face with at least one aspect within the above mentioned, this work aims at proposing a unifying approach where both agents and their organizations can be straightforwardly situated in properly designed working environments. In this line, this work pursues reconciliation of environments with sociality, social interaction with environment based interaction, environmental resources with organizational functionalities with the aim to smoothly integrate the various aspects of complex and situated organizations in a coherent programming approach. Rooted in Agents and Artifacts (A&A) meta-model, which has been recently introduced both in the context of agent oriented software engineering and programming, the thesis promotes the notion of Embodied Organizations, characterized by computational infrastructures attaining a seamless integration between agents, organizations and environmental entities.

Functional Genomics and Cell Biology of the Dolphin (Tursiops runcatus): Establishment of Novel Molecular Tools to Study Marine Mammals in Changing Environments

The dolphin (Tursiops truncatus) is a mammal that is adapted to life in a totally aquatic environment. Despite the popularity and even iconic status of the dolphin, our knowledge of its physiology, its unique adaptations and the effects on it of environmental stressors are limited. One approach to improve this limited understanding is the implementation of established cellular and molecular methods to provide sensitive and insightful information for dolphin biology. We initiated our studies with the analysis of wild dolphin peripheral blood leukocytes, which have the potential to be informative of the animal’s global immune status. Transcriptomic profiles from almost 200 individual samples were analyzed using a newly developed species-specific microarray to assess its value as a prognostic and diagnostic tool. Functional genomics analyses were informative of stress-induced gene expression profiles and also of geographical location specific transcriptomic signatures, determined by the interaction of genetic, disease and environmental factors. We have developed quantitative metrics to unambiguously characterize the phenotypic properties of dolphin cells in culture. These quantitative metrics can provide identifiable characteristics and baseline data which will enable identification of changes in the cells due to time in culture. We have also developed a novel protocol to isolate primary cultures from cryopreserved tissue of stranded marine mammals, establishing a tissue (and cell) biorepository, a new approach that can provide a solution to the limited availability of samples. The work presented represents the development and application of tools for the study of the biology, health and physiology of the dolphin, and establishes their relevance for future studies of the impact on the dolphin of environmental infection and stress.

Semantic Service Architectures for Smart Environments

Many industries and academic institutions share the vision that an appropriate use of information originated from the environment may add value to services in multiple domains and may help humans in dealing with the growing information overload which often seems to jeopardize our life. It is also clear that information sharing and mutual understanding between software agents may impact complex processes where many actors (humans and machines) are involved, leading to relevant socioeconomic benefits. Starting from these two input, architectural and technological solutions to enable “environment-related cooperative digital services” are here explored. The proposed analysis starts from the consideration that our environment is physical space and here diversity is a major value. On the other side diversity is detrimental to common technological solutions, and it is an obstacle to mutual understanding. An appropriate environment abstraction and a shared information model are needed to provide the required levels of interoperability in our heterogeneous habitat. This thesis reviews several approaches to support environment related applications and intends to demonstrate that smart-space-based, ontology-driven, information-sharing platforms may become a flexible and powerful solution to support interoperable services in virtually any domain and even in cross-domain scenarios. It also shows that semantic technologies can be fruitfully applied not only to represent application domain knowledge. For example semantic modeling of Human-Computer Interaction may support interaction interoperability and transformation of interaction primitives into actions, and the thesis shows how smart-space-based platforms driven by an interaction ontology may enable natural ad flexible ways of accessing resources and services, e.g, with gestures. An ontology for computational flow execution has also been built to represent abstract computation, with the goal of exploring new ways of scheduling computation flows with smart-space-based semantic platforms.

Applicability of Process Mining Techniques in Business Environments

This thesis analyses problems related to the applicability, in business environments, of Process Mining tools and techniques. The first contribution is a presentation of the state of the art of Process Mining and a characterization of companies, in terms of their "process awareness". The work continues identifying circumstance where problems can emerge: data preparation; actual mining; and results interpretation. Other problems are the configuration of parameters by not-expert users and computational complexity. We concentrate on two possible scenarios: "batch" and "on-line" Process Mining. Concerning the batch Process Mining, we first investigated the data preparation problem and we proposed a solution for the identification of the "case-ids" whenever this field is not explicitly indicated. After that, we concentrated on problems at mining time and we propose the generalization of a well-known control-flow discovery algorithm in order to exploit non instantaneous events. The usage of interval-based recording leads to an important improvement of performance. Later on, we report our work on the parameters configuration for not-expert users. We present two approaches to select the "best" parameters configuration: one is completely autonomous; the other requires human interaction to navigate a hierarchy of candidate models. Concerning the data interpretation and results evaluation, we propose two metrics: a model-to-model and a model-to-log. Finally, we present an automatic approach for the extension of a control-flow model with social information, in order to simplify the analysis of these perspectives. The second part of this thesis deals with control-flow discovery algorithms in on-line settings. We propose a formal definition of the problem, and two baseline approaches. The actual mining algorithms proposed are two: the first is the adaptation, to the control-flow discovery problem, of a frequency counting algorithm; the second constitutes a framework of models which can be used for different kinds of streams (stationary versus evolving).

From nature versus nurture, via nature and nurture, to gene x environment interaction in mental disorders

It is now generally accepted that complex mental disorders are the results of interplay between genetic and environmental factors. This holds out the prospect that by studying G x E interplay we can explain individual variation in vulnerability and resilience to environmental hazards in the development of mental disorders. Furthermore studying G x E findings may give insights in neurobiological mechanisms of psychiatric disorder and so improve individualized treatment and potentially prevention. In this paper, we provide an overview of the state of field with regard to G x E in mental disorders. Strategies for G x E research are introduced. G x E findings from selected mental disorders with onset in childhood or adolescence are reviewed [such as depressive disorders, attention-deficit/hyperactivity disorder (ADHD), obesity, schizophrenia and substance use disorders]. Early seminal studies provided evidence for G x E in the pathogenesis of depression implicating 5-HTTLPR, and conduct problems implicating MAOA. Since then G x E effects have been seen across a wide range of mental disorders (e.g., ADHD, anxiety, schizophrenia, substance abuse disorder) implicating a wide range of measured genes and measured environments (e.g., pre-, peri- and postnatal influences of both a physical and a social nature). To date few of these G x E effects have been sufficiently replicated. Indeed meta-analyses have raised doubts about the robustness of even the most well studied findings. In future we need larger, sufficiently powered studies that include a detailed and sophisticated characterization of both phenotype and the environmental risk.