A uniform white-noise model for fixed-point roundoff errors in digital systems

Fixed-point roundoff noise in digital implementation of linear systems arises due to overflow, quantization of coefficients and input signals, and arithmetical errors. In uniform white-noise models, the last two types of roundoff errors are regarded as uniformly distributed independent random vectors on cubes of suitable size. For input signal quantization errors, the heuristic model is justified by a quantization theorem, which cannot be directly applied to arithmetical errors due to the complicated input-dependence of errors. The complete uniform white-noise model is shown to be valid in the sense of weak convergence of probabilistic measures as the lattice step tends to zero if the matrices of realization of the system in the state space satisfy certain nonresonance conditions and the finite-dimensional distributions of the input signal are absolutely continuous.

Transposition of first digital pad for reconstruction of a palmar antebrachial soft tissue defect in a cat

An 8-year-old female neutered Siamese cat was presented with a recent history of incomplete excision of an apocrine gland adenocarcinoma from the palmar aspect of the right antebrachium, just proximal to the carpal joint. There was no evidence of metastasis. Wide surgical excision of the previous surgery site was performed resulting in a soft tissue defect. Partial reconstruction was achieved using digital pad transposition of the first digit (dewclaw), forming a local axial pattern flap that was transposed into the adjacent defect. The remaining defect was closed by primary apposition. The skin flap healed successfully. Some breakdown of the skin closed by primary apposition necessitated open wound management. The cosmetic and functional result of the first digital pad transposition was considered excellent, rendering it a useful means to reconstruct soft tissue defects in the carpal region.

Characterization of Treponema phagedenis-like spirochetes isolated from papillomatous digital dermatitis lesions in dairy cattle

Four spirochete strains were isolated from papillomatous digital dermatitis (PDD) lesions in Iowa dairy cattle and compared with two previously described spirochete strains isolated from dairy cattle in California. These six strains shared an identical 16S ribosomal DNA sequence that was 98% similar to Treponema phagedenis and 99% similar to the uncultivated PDD spirochete sequence DDLK-4. The whole-cell protein profiles resolved by sodium dodecyl sulfate-polyacrylamide gel electrophoresis of these six strains were similar. However, these strains showed differences in the antigenic diversity of lipopolysaccharide (LPS). Genetic diversity was also detected by pulsed-field gel electrophoresis of genomic DNA digests, revealing differences among five of the six strains. Serum immunoglobulin G antibodies from dairy cattle with active PDD lesions reacted with the LPS of all but one PDD spirochete strain. Likewise, peripheral blood mononuclear cells from cattle with active PDD lesions produced blastogenic responses to one of the two California isolates. Both antibody and lymphocyte blastogenic responses were reduced in convalescent dairy cattle, suggesting the immune response to these spirochetes has short duration. These results demonstrate genetic and antigenic diversity among T. phagedenis-like treponemes and provide further evidence for the involvement of these spirochetes in the pathogenesis of PDD.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

e-Processo: Processo Administrativo Digital

A iniciativa visa ?? extin????o do uso de papel nos processos dentro do ??rg??o p??blico mediante a cria????o do Processo Administrativo Digital (e-Processo). A promo????o da transpar??ncia dos atos p??blicos, com gest??o do conhecimento, maior autonomia e descentraliza????o administrativa, fortalece a democracia,melhora o ambiente de neg??cio e a confian??a no governo. O sistema foi implantado em todas as ??reas de neg??cios de 700 unidades administrativas, com 33 mil servidores conectados nos tr??s ??rg??os p??blicos federais: Receita Federal do Brasil (RFB), Procuradoria da Fazenda Nacional (PFN) e Conselho Administrativo de Recursos Fiscais (Carf). A substitui????o de um documento papel por um documento imagem tem o cond??o de promover no Estado uma verdadeira reengenharia procedimental e administrativa

Comunicação interna em instituições públicas de educação : avaliação do informativo digital do Instituto Federal do Espírito Santo-IFES

O presente trabalho visa estudar a ferramenta de comunicação interna de uma instituição pública de educação- um informativo digital, por meio da avaliação dos atributos necessários para que uma notícia seja divulgada neste veículo. Dessa maneira, se busca criar um documento com um elenco de valores-notícia que norteiem a seleção, produção e divulgação de notícias no informativo digital e, assim, contribuir para a melhoria da comunicação interna na organização. A avaliação das matérias e a criação deste documento utilizarão como referencial os valores-notícia já utilizados no jornalismo para definir o que é notícia.

Avaliação do grau de satisfação entre os usuários de amplificação de tecnologia analógica e digital

OBJETIVO: objetivo desta pesquisa foi investigar o grau de satisfação entre os usuários de Aparelho de Amplificação Sonora (AAS) de tecnologia analógica e digital. FORMA DE ESTUDO: clínico com coorte transversal. MATERIAL E MÉTODO: A amostra foi constituída de 40 usuários de AAS unilateral, sendo 20 de tecnologia analógica (Grupo I) e 20 de tecnologia digital (Grupo II). Os indivíduos são portadores de perda auditiva neurossensorial, de configuração plana, de grau leve a moderado, com idade entre 40 e 95 anos. O instrumento de avaliação utilizado foi o International Outcome Inventory for Hearing Aids (IOI-HA - Versão em Português) proposto por Cox et al. (2002). RESULTADOS: Os resultados mostraram que os usuários do Grupo II utilizam o AAS por mais tempo diariamente e também apresentam um grau de dificuldade menor em determinadas situações com o uso da amplificação, comparado aos usuários do Grupo I. Os usuários do Grupo II relatam que sua perda auditiva não afeta em nada sua relação com terceiros. CONCLUSÃO: Apesar de os resultados revelarem que os usuários do Grupo I apresentam um handicap auditivo mais acentuado comparado aos usuários do Grupo II, o grau de satisfação com relação à amplificação não apresenta diferença significativa entre os dois grupos.

A Digital Game Development Education Project

The success of the digital game industry is spawning several undergraduate degrees aiming at the training of digital game developers. Building adequate new courses curricula is not a trivial task and demands a profound analysis of the scientific areas to introduce as well as the dependencies throughout the entire degree. Another important aspect of every academic educational plan are the satellite projects that promote entrepreneurship and provide practical professional experiences to students. This paper presents the main guidelines adopted in the creation of the first digital game development undergraduate degree created in Portugal.

A digital game development education project

The success of the digital game industry is spawning several undergraduate degrees aiming at the training of digital game developers. Building adequate new courses curricula is not a trivial task and demands a profound analysis of the scientific areas to introduce as well as the dependencies throughout the entire degree. Another important aspect of every academic educational plan are the satellite projects that promote entrepreneurship and provide practical professional experiences to students. This paper presents the main guidelines adopted in the creation of the first digital game development undergraduate degree created in Portugal.

PERFORMANCE CAPTURE: À PROCURA DAS MELHORES TÉCNICAS E ESTÉTICAS NO CONTEXTO DA ANIMAÇÃO DIGITAL

This paper investigates realism in character computer animation, which triggered the development of new techniques and aesthetic in spectacular cinema and contemporary culture. With the advent of motion or performing capture, animation has made possible that virtual characters or digital creatures reach higher levels in emotional acting, taking place in virtual cinematic worlds or even special effects movies. This technology, when placed at the service of imagination and fantasy can provide new dimensions in character motion and communication. In this context, projects like Peter Jackson’s (2001) The Lord of the Rings, James Cameron’s Avatar (2009) and more recently Steven Spielberg’s Tintin (2011) demonstrate that motion technology is constantly evolving, and it represents a credible option to explore new techniques and aesthetic in contemporary animation.

O livro ilustrado digital e o livro ilustrado impresso

O presente estudo tem como objecto central o livro ilustrado e tem como objectivo principal compreender as diferenças entre dois modelos: o livro impresso e o livro digital. Partindo de um objecto de estudo concreto, um livro tradicional em formato impresso desenvolvido na disciplina de Ilustração no contexto do Mestrado de Ilustração e Animação do Instituto Politécnico do Cávado e do Ave, é nosso objectivo perceber as principais diferenças que ocorrem na transição para um suporte digital, especificamente num formato iPad, assim como enunciar algumas das metodologias possíveis para que esta transição seja eficaz. Num momento de transição como o que vivemos actualmente, em que o ilustrador tem cada vez mais necessidade de se adaptar a novos meios, novas ferramentas de trabalho e novas formas de comunicação, importa reflectir sobre a natureza do livro e sobre as características que distinguem os dois suportes, o tradicional e o digital. Assim, é nossa intenção perceber essas diferenças e enunciar alguns dos procedimentos que o ilustrador deve ter em conta quando experimenta a transição de um objecto de ilustração para um meio digital táctil como é o iPad.

Mapping Culture and Compromised Art in the Era of Globalization

This work presents an analysis of the cultural and artistic field, positively compromised with social and political questions. The authors start with the categorization of the idea of culture and move to vindication art movements. These movements, which followed the first vanguards and worked from the compromise with “otherness”, are at the origin of the contemporary denomination of political art. In this context, the authors approach the origins of activist art, referring to issues of gender, multiculturalism, globalization, and poverty. The different forms of presenting content are also an object of analysis: from art tradition to the contamination of daily life, from local to global, from street contact to digital.

Using different satellite imagery and classification techniques to assess the contribution of trees outside forests in the municipality of Maringá, Brazil

Forest cover of the Maringá municipality, located in northern Parana State, was mapped in this study. Mapping was carried out by using high-resolution HRC sensor imagery and medium resolution CCD sensor imagery from the CBERS satellite. Images were georeferenced and forest vegetation patches (TOFs - trees outside forests) were classified using two methods of digital classification: reflectance-based or the digital number of each pixel, and object-oriented. The areas of each polygon were calculated, which allowed each polygon to be segregated into size classes. Thematic maps were built from the resulting polygon size classes and summary statistics generated from each size class for each area. It was found that most forest fragments in Maringá were smaller than 500 m². There was also a difference of 58.44% in the amount of vegetation between the high-resolution imagery and medium resolution imagery due to the distinct spatial resolution of the sensors. It was concluded that high-resolution geotechnology is essential to provide reliable information on urban greens and forest cover under highly human-perturbed landscapes.