The lambda-dimension of commutative arithmetic rings

It is shown that every commutative arithmetic ring $R$ has $lambda$-dimension $leq 3$. An example of a commutative Kaplansky ring with $lambda$-dimension 3 is given. If $R$ satisfies an additional condition then $lambda$-dim($R$

Long time not been seen...

info:eu-repo/semantics/publishedVersio

Protocol-based verification of message-passing parallel programs

© 2015 ACM.We present ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language. The aim is to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks. We develop a protocol language based on a dependent type system for message-passing parallel programs, which includes various communication operators, such as point-to-point messages, broadcast, reduce, array scatter and gather. For the verification of a program against a given protocol, the protocol is first translated into a representation read by VCC, a software verifier for C. We successfully verified several MPI programs in a running time that is independent of the number of processes or other input parameters. This contrasts with alternative techniques, notably model checking and runtime verification, that suffer from the state-explosion problem or that otherwise depend on parameters to the program itself. We experimentally evaluated our approach against state-of-the-art tools for MPI to conclude that our approach offers a scalable solution

The Development Of Proto-argumentation In Adult-baby Interaction

O presente artigo focaliza a gênese de produções proto-opositivas infantis, definidas como movimentos corporais, gestuais e vocalizações infantis interpretadas como oposições a comandos, vontades e ações. Assume-se, como proposto em Leitão (2010; LEITÃO; FERREIRA, 2006), que tais produções constituam antecedentes remotos da contraposição e da resposta à oposição, vistas como constituintes centrais da argumentação. Fundamentando-se em referências que inserem a gênese da ação e cognição humanas no âmbito das relações dialogicamente constituídas (BAKHTIN; VOLOCHINOV, 2009; VYGOTSKY, 1998, 2001; WERTSCH, 1978), este estudo analisa registros videográficos produzidos com duas crianças, entre a quarta semana e os seis meses de vida, em interação com adultos, em contexto doméstico. Com base em análises micro e macrogenéticas desses registros (GRANOTT; PARZIALE, 2002), três momentos foram identificados no processo de desenvolvimento de produções proto-opositivas: atribuição de sentido opositivo ao choro; construção de produções infantis como ‘recusa’ e, por fim, interpretação da ação infantil como contraposição complexa. Neste último, que implica um deslocamento do lugar discursivo atribuído à criança (LEITÃO, 2012), esta passa a ser vista não só como oponente de ações iniciadas pelo adulto, mas, também, como proponente de novas ações.60111914

Deterministically Computing Reduction Numbers of Polynomial Ideals

We discuss the problem of determining reduction number of a polynomial ideal I in n variables. We present two algorithms based on parametric computations. The first one determines the absolute reduction number of I and requires computation in a polynomial ring with (n-dim(I))dim(I) parameters and n-dim(I) variables. The second one computes via a Grobner system the set of all reduction numbers of the ideal I and thus in particular also its big reduction number. However,it requires computations in a ring with n.dim(I) parameters and n variables.Comment: This new version replaces the earlier version arXiv:1404.1721 and it has been accepted for publication in the proceedings of CASC 2014, Warsaw, Polna