994 resultados para Algebraic Specification Language
Resumo:
This paper focuses on the connection between the Brauer group and the 0-cycles of an algebraic variety. We give an alternative construction of the second l-adic Abel-Jacobi map for such cycles, linked to the algebraic geometry of Severi-Brauer varieties on X. This allows us then to relate this Abel-Jacobi map to the standard pairing between 0-cycles and Brauer groups (see [M], [L]), completing results from [M] in this direction. Second, for surfaces, it allows us to present this map according to the more geometrical approach devised by M. Green in the framework of (arithmetic) mixed Hodge structures (see [G]). Needless to say, this paper owes much to the work of U. Jannsen and, especially, to his recently published older letter [J4] to B. Gross.
Resumo:
In this note we describe the intersection of all quadric hypersur- faces containing a given linearly normal smooth projective curve of genus n and degree 2n + 1
Resumo:
Bringing together experts from linguistics, medieval and modern literary studies, this volume offers a transhistorical look at the language and cultural work of emotion in a variety of written, oral and visual texts. Contributors engage with the recent so-called affective turn, but also examine the language and use of emotion from a variety of perspectives, touching on issues such as Romantic and Modernist aesthetics, the history of emotions, melodramatic and the Gothic, reception aesthetics, rudeness, and medicine.
Resumo:
BACKGROUND: Qualitative frameworks, especially those based on the logical discrete formalism, are increasingly used to model regulatory and signalling networks. A major advantage of these frameworks is that they do not require precise quantitative data, and that they are well-suited for studies of large networks. While numerous groups have developed specific computational tools that provide original methods to analyse qualitative models, a standard format to exchange qualitative models has been missing. RESULTS: We present the Systems Biology Markup Language (SBML) Qualitative Models Package ("qual"), an extension of the SBML Level 3 standard designed for computer representation of qualitative models of biological networks. We demonstrate the interoperability of models via SBML qual through the analysis of a specific signalling network by three independent software tools. Furthermore, the collective effort to define the SBML qual format paved the way for the development of LogicalModel, an open-source model library, which will facilitate the adoption of the format as well as the collaborative development of algorithms to analyse qualitative models. CONCLUSIONS: SBML qual allows the exchange of qualitative models among a number of complementary software tools. SBML qual has the potential to promote collaborative work on the development of novel computational approaches, as well as on the specification and the analysis of comprehensive qualitative models of regulatory and signalling networks.
Resumo:
It is well-known nowadays that soil variability can influence crop yields. Therefore, to determine specific areas of soil management, we studied the Pearson and spatial correlations of rice grain yield with organic matter content and pH of an Oxisol (Typic Acrustox) under no- tillage, in the 2009/10 growing season, in Selvíria, State of Mato Grosso do Sul, in the Brazilian Cerrado (longitude 51º24' 21'' W, latitude 20º20' 56'' S). The upland rice cultivar IAC 202 was used as test plant. A geostatistical grid was installed for soil and plant data collection, with 120 sampling points in an area of 3.0 ha with a homogeneous slope of 0.055 m m-1. The properties rice grain yield and organic matter content, pH and potential acidity and aluminum content were analyzed in the 0-0.10 and 0.10-0.20 m soil layers. Spatially, two specific areas of agricultural land management were discriminated, differing in the value of organic matter and rice grain yield, respectively with fertilization at variable rates in the second zone, a substantial increase in agricultural productivity can be obtained. The organic matter content was confirmed as a good indicator of soil quality, when spatially correlated with rice grain yield.
Resumo:
Computer simulations of a colloidal particle suspended in a fluid confined by rigid walls show that, at long times, the velocity correlation function decays with a negative algebraic tail. The exponent depends on the confining geometry, rather than the spatial dimensionality. We can account for the tail by using a simple mode-coupling theory which exploits the fact that the sound wave generated by a moving particle becomes diffusive.
Resumo:
This article introduces the Dyadic Coping Inventory (DCI; Bodenmann, 2008) and aims (1) to investigate the reliability and aspects of the validity of the Italian and French versions of the DCI, and (2) to replicate its factor structure and reliabilities using a new Swiss German sample. Based on 216 German-, 378 Italian-, and 198 French-speaking participants, the factor structure of the original German inventory was able to be replicated by using principal components analysis in all three groups after excluding two items in the Italian and French versions. The latter were shown to be as reliable as the German version with the exception of the low reliabilities of negative dyadic coping in the French group. Confirmatory factor analyses provided additional support for delegated dyadic coping and evaluation of dyadic coping. Intercorrelations among scales were similar across all three languages groups with a few exceptions. Previous findings could be replicated in all three groups, showing that aspects of dyadic coping were more strongly related to marital quality than to dyadic communication. The use of the dyadic coping scales in the actor-partner interdependence model, the common fate model, and the mutual influence model is discussed.