994 resultados para Algebraic Specification Language


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents an overview of the MPEG-7 Description Definition Language (DDL). The DDL provides the syntactic rules for creating, combining, extending and refining MPEG-7 Descriptors (Ds) and Description Schemes (DSs), In the interests of interoperability, the W3C's XML Schema language, with the addition of certain MPEG-7-specific extensions, has been chosen as the DDL. This paper describes the background to this decision and using examples, provides an overview of the core XML, schema features used within MPEG-7 and the extensions made in order to satisfy the MPEG-7 DDL requirements.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cpfg is a program for simulating and visualizing plant development, based on the theory of L-systems. A special-purpose programming language, used to specify plant models, is an essential feature of cpfg. We review postulates of L-system theory that have influenced the design of this language. We then present the main constructs of this language, and evaluate it from a user's perspective.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nine classes of integrable open boundary conditions, further extending the one-dimensional U-q (gl (212)) extended Hubbard model, have been constructed previously by means of the boundary Z(2)-graded quantum inverse scattering method. The boundary systems are now solved by using the algebraic Bethe ansatz method, and the Bethe ansatz equations are obtained for all nine cases.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study examined spoken-word recognition in children with specific language impairment (SLI) and normally developing children matched separately for age and receptive language ability. Accuracy and reaction times on an auditory lexical decision task were compared. Children with SLI were less accurate than both control groups. Two subgroups of children with SLI, distinguished by performance accuracy only, were identified. One group performed within normal limits, while a second group was significantly less accurate. Children with SLI were not slower than the age-matched controls or language-matched controls. Further, the time taken to detect an auditory signal, make a decision, or initiate a verbal response did not account for the differences between the groups. The findings are interpreted as evidence for language-appropriate processing skills acting upon imprecise or underspecified stored representations.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

After discussing the meaning of the word politics, this paper shows that there are four possible approaches to the issue of the relationships between language, discourse and politics: a) the intrinsic political nature of language; b) the relations of power between discourses and their political dimension; c) the relations of power between languages and the political dimension of their usage and; d) linguistic policies. This paper addresses only the first two of these items. Languages have an intrinsically political nature because they subject their speakers to their order. The acts of silencing operationalized in discourse manifest a relation of power. The spread of discourses in the social space is also subject to the order of power. The use of language may be the space of pertinence, but is also that of exclusion, separation and even the elimination of the other. Therefore, language is not a neutral communication tool, but it is permeated by politics, by power. Because of the dislocations that it produces, literature is a form of swindling language, unveiling the powers that are imprinted on it.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Since language is multifaceted and heterogeneous, interdisciplinarity is natural to linguistic studies. In this article, after demonstrating that, I present two basic ways of doing science. One is ruled by the principle of exclusion, whereas the other is ruled by the principle of participation. The former leads to specialization, whereas the latter leads to the surpassing of specialization. From that, I discuss the advantages and problems of disciplinarity, and present the reasons why nowadays interdisciplinarity is a positive universal in scientific and pedagogical discourses. Also, based on etymology, I discuss the concepts of interdisciplinarity, multidisciplinarity, pluridisciplinarity and transdisciplinarity. Finally, I examine the bonds between linguistics and other sciences, by drawing a brief history of the relations between linguistics and literature in Brazil.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present an algebraic Bethe ansatz for the anisotropic supersymmetric U model for correlated electrons on the unrestricted 4(L)-dimensional electronic Hilbert space x(n=l)(L)C(4)(where L is the lattice length). The supersymmetry algebra of the local Hamiltonian is the quantum superalgebra U-q[gl(2\1)] and the model contains two symmetry-preserving free real parameters; the quantization parameter q and the Hubbard interaction parameter U. The parameter U arises from the one-parameter family of inequivalent typical four-dimensional irreps of U-q[gl(2\1)]. Eigenstates of the model are determined by the algebraic Bethe ansatz on a one-dimensional periodic lattice.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background Meta-analysis is increasingly being employed as a screening procedure in large-scale association studies to select promising variants for follow-up studies. However, standard methods for meta-analysis require the assumption of an underlying genetic model, which is typically unknown a priori. This drawback can introduce model misspecifications, causing power to be suboptimal, or the evaluation of multiple genetic models, which augments the number of false-positive associations, ultimately leading to waste of resources with fruitless replication studies. We used simulated meta-analyses of large genetic association studies to investigate naive strategies of genetic model specification to optimize screenings of genome-wide meta-analysis signals for further replication. Methods Different methods, meta-analytical models and strategies were compared in terms of power and type-I error. Simulations were carried out for a binary trait in a wide range of true genetic models, genome-wide thresholds, minor allele frequencies (MAFs), odds ratios and between-study heterogeneity (tau(2)). Results Among the investigated strategies, a simple Bonferroni-corrected approach that fits both multiplicative and recessive models was found to be optimal in most examined scenarios, reducing the likelihood of false discoveries and enhancing power in scenarios with small MAFs either in the presence or in absence of heterogeneity. Nonetheless, this strategy is sensitive to tau(2) whenever the susceptibility allele is common (MAF epsilon 30%), resulting in an increased number of false-positive associations compared with an analysis that considers only the multiplicative model. Conclusion Invoking a simple Bonferroni adjustment and testing for both multiplicative and recessive models is fast and an optimal strategy in large meta-analysis-based screenings. However, care must be taken when examined variants are common, where specification of a multiplicative model alone may be preferable.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article examines the language strategies used in everyday explanation by young heterosexual adults to attribute blame for the transmission of HIV: Seventy-two-female and 60 male Australian university students took part in the study. They were formed into groups of four, with each group taking part in discussions about HIV: AIDS, and related matters. Transcripts were examined for instances of blaming, and a coding scheme for levels of attributed responsibility applied to those instances found. Language strategies of distancing self from HN and AIDS were then coded, including checks for who was blamed whether they were members of participants' ingroups or outgroups, and whether justifications were used. These findings are discussed in terms of positioning the self vis-a-vis HIV and AIDS, as well as the ways in which negative stereotypes were used in attributing blame to members of outgroups.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Diversity is one of the major characteristics of Brazil and all South America. This paper presents an overview of the current situation of the education of speech and language pathologists (SLP) and audiologists in Brazil and in several other countries of South America. This paper also discusses the main challenges shared by these countries. The discussion is focused on the mutual interferences between education and the areas of professional practice, cultural diversity and continued education. There are many emerging issues about the education of SLP and audiologists in South America. The suggested conclusion is that, despite the many differences, the South American SLP and audiologists` education would benefit from joint efforts and collaborative experiences. Copyright (C) 2010 S. Karger AG, Basel

Relevância:

20.00% 20.00%

Publicador: