O coração e o dragão: perspectivas da vida urbana em uma cidade fragmentada

This research aims to study dimensions of urban life in the contemporaneous city. It is an effort to understand the functioning of the contemporary city as an artifact that somehow affects social relations. The study focuses on the limits and possibilities of urbanity in the city today, understanding urbanity as a set of factors that favor wealth, diversity and spontaneity of public life. The research aims to show that cities today tend to criate fragmented urban life into at least one of the three urbanity dimensions: spatial dimension, social and temporal dimension. The study involves the analysis of two public spaces in Fortaleza (Praça do Ferreira and the open urban public spaces of the Centro Cultural Dragão do Mar), using Space Syntax Analysis methods and for Post Occupancy Evaluation procedures. Research shows that temporal dimension of urbanity is limited in the public spaces studied. In Praça do Ferreira, spatial and social dimensions are present, but their effects are limited by the temporal dimension. The Dragão do Mar, on the other hand, the spatial and social dimensions of urban life are more limited and more concentrated in time

Estudo do design do selo postal português: proposta para aplicação de realidade aumentada

O presente projeto de investigação, propõe compreender a cultura visual contemporânea do design do selo postal português, de 2001 a 2013, considerando os avanços e os novos meios tecnológicos digitais. Para isso, partiu-se da história do selo postal como objeto de testemunho histórico, cultural e visual repleto de valores duradouros e possuidores de uma linguagem gráfica distinta. A esse conjunto de caraterísticas que determinam o selo postal, as mesmas, representam um grau de importância associados à história e à cultura de um país, evidenciando uma linguagem característica da vida social e da época que se encontra, que ao longo dos anos possuem valores de importância e sentimento para a humanidade. Primeiramente, procedeu-se a uma pesquisa exaustiva sobre os principais designers e ateliers portugueses, quer realizada em livros de coleções dos CTT, quer na internet em motores de busca. Seguidamente, realizou-se uma análise geral sobre a sintaxe da linguagem visual, baseada no trabalho de Donis A. Dondis (2003), declinada sobre a comunicação visual no design, para este caso, nos selos postais. Partindo dessa análise, posteriormente, efetuou-se a criação de uma emissão de selos postais juntamente com a tecnologia da realidade aumentada, tendo como base a temática centrada na cidade do Porto e que pode ser repercutida em diferentes cidades do país “Uma visita portuguesa com certeza”. Com este projeto conseguiu-se demonstrar e implementar uma tecnologia digital a um artefacto de cariz físico, usualmente, apresentado em suporte papel. O estudo pretende assim, contribuir para a inovação ao nível do design filatélico e histórico do selo postal português, tendo como base o uso dessa tecnologia.

Algol 68 Dialect Conversion -- a Syntactic Approach

A syntax directed package for converting Revised Algol 68 programs into Algol 68-R form, (where possible) is being developed at Nottingham. The package makes use of J.M. Foster's Syntax Improving Device (SID) [1]. The experience gained has underlined the value of a syntactic approach to problems of this sort. A far wider range of constructs can be translated than would ever be possible by using ad hoc methods. In many respects the difficulties encountered are those of conventional compiler writing, but some intriguing new problems arise when, as in this case, the source language and target language differ relatively little in philosophy and appearance.

Using SVG as the Rendering Model for Structured and Graphically Complex Web Material

This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an attempt to create an approach that integrates the structural and display aspects of a Web document in a single XML-compliant envelope. Although the syntax of SVG is XML based, the semantics of the primitive graphic operations more closely resemble those of page description languages such as PostScript or PDF. The principal usage of SVG, so far, is for inserting complex graphic material into Web pages that are predominantly controlled via (X)HTML and CSS. The conversion of structured and unstructured PDF into SVG is discussed. It is found that unstructured PDF converts into pages of SVG with few problems, but difficulties arise when one attempts to map the structural components of a Tagged PDF into an XML skeleton underlying the corresponding SVG. These difficulties are not fundamentally syntactic; they arise largely because browsers are innately bound to (X)HTML/CSS as their default rendering model. Some suggestions are made for ways in which SVG could be more totally integrated into browser functionality, with the possibility that future browsers might be able to use SVG as their default rendering paradigm.

Monadic Parsing in Haskell

This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are functional parsers, the use of monads to structure functional programs, and the use of special syntax for monadic programs in Haskell. More specifically, the paper shows how to define monadic parsers using do notation in Haskell. The paper is targeted at the level of a good undergraduate student who is familiar with Haskell, and has completed a grammars and parsing course. Some knowledge of functional parsers would be useful, but no experience with monads is assumed.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Assessment of faculty training program for the use of e-learning platforms: analysis of current use

5th International Conference on Education and New Learning Technologies (Barcelona, Spain. 1-3 July, 2013)

Identification and functional analysis of novel genes expressed in the Anterior Visceral Endoderm

During early vertebrate development, the correct establishment of the body axes is critical. The anterior pole of the mouse embryo is established when Distal Visceral Endoderm (DVE) cells migrate to form the Anterior Visceral Endoderm (AVE). Symmetrical expression of Lefty1, Cer1 and Dkk1 determines the direction of DVE migration and the future anterior side. In addition to the establishment of the Anterior-Posterior axis, the AVE has also been implicated in anterior neural specification. To better understand the role of the AVE in these processes, we have performed a differential screening using Affymetrix GeneChip technology with AVE cells isolated from cer1P-EGFP transgenic mouse embryos. We found 175 genes which were upregulated in the AVE and 36 genes in the Proximal-posterior sample. Using DAVID software, we characterized the AVE cell population regarding cellular component, molecular function and biological processes. Among the genes that were found to be upregulated in the AVE, several novel genes were identified. Four of these transcripts displaying high-fold change in the AVE were further characterized by in situ hybridization in early stages of development in order to validate the screening. From those four selected genes, one, denominated Adtk1, was chosen to be functionally characterized by targeted inactivation in ES cells. Adtk1 encodes for a serine/threonine kinase. Adtk1 null mutants are smaller and present short limbs due to decreased mineralization, suggesting a potential role in chondrogenesis during limb development. Taken together, these data point to the importance of reporting novel genes present in the AVE.

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order representations. Ordinal arithmetic provides a natural set of higher order examples on which transfinite induction may be attempted using rippling. Previously Boyer-Moore style automation could not be applied to such domains. We demonstrate that a higher-order extension of the rippling heuristic is sufficient to plan such proofs automatically. Accordingly, ordinal arithmetic has been implemented in lambda-clam, a higher order proof planning system for induction, and standard undergraduate text book problems have been successfully planned. We show the synthesis of a fixpoint for normal ordinal functions which demonstrates how our automation could be extended to produce more interesting results than the textbook examples tried so far.

Lengua española y lengua vasca: una trayectoria histórica sin fronteras

[es] El nacimiento de la lengua castellana se produjo en estrecho contacto con la lengua vasca: es probable que el espacio navarro haya sido el punto de conexión entre ambas. Pero la historia lingüística común de español y vasco se desarrolla, sobre todo, desde el siglo xvi hasta hoy. En este trabajo consideramos algunos hitos que permiten afirmar que, hasta fines del siglo xix, el universo vasco y el castellano convivieron sin tensión social: a pesar de los avatares del siglo xx, las relaciones entre el español y el vasco no han conocido fronteras a lo largo de la historia. Por ello es posible imaginar, en el futuro, una convivencia respetuosa (mejor todavía si fuera integradora) de ambas lenguas y de ambos mundos. [en] The birth of the Castilian language occurred in close contact with the Basque language: it seems that Navarra has been the connecting point between both of them. But the common linguistic history of both Spanish and Basque runs together from the sixteenth century until today. In this paper we consider some milestones that support the conclusion that, until the late nineteenth century, Basque and Castilian universe lived without special conflicts: so and in spite of the vicissitudes of the twentieth century, the relations between the Spanish and Basque have not known borders throughout history. Therefore it is possible to imagine, in the future, a respectful coexistence (even better if it were inclusive) of both languages and of both worlds.

El lenguaje gráfico de Eduardo Chillida como aportación conceptual para la identidad tipográfica de la Universidad del País Vasco UPV/EHU

El valor de la documentación especializada en las fases del diseño / The value of specialized documentation in the design process este proyecto de investigación financiado por la Universidad del País Vasco/Euskal Herriko Unibertsitatea UPV/EHU-PES 11/31, a través de su programa de investigación estratégica, tiene como objetivo la creación de la tipografía de identidad visual corporativa de la Universidad del País Vasco UPV/EHU, cuyo inicio conceptual para dotar de unas características de identidad visual corporativa a la UPV/EHU, ha sido planteado desde las especulaciones estéticas sobre la forma, materializadas por Eduardo Chillida. En la producción gráfica de este artista encontramos una sutil coincidencia con principios vitales para la creación tipográfica, en cuanto al planteamiento de formas dinámicas y constructivas, en las que el rigor geométrico es vencido por una suerte de organicidad que parte del núcleo mismo de la estructura "cursus", por: la fuerza vital que imprime la acción modulada del gesto "ductus"; por la dialéctica entre lo lleno y lo vacío forma/contraforma, por el impulso y la espontaneidad carácter, o por la afirmación de un lenguaje plástico en la cultura diferenciada del medio en el que se vive la identidad.

Wokół składni „Rozmyślań dominikańskich”

Wydział Filologii Polskiej i Klasycznej

Suivi stationnel de l’herbier à Zostera noltei de la masse d’eau FRFT8 Bidassoa – 2014 - Bassin Hydrographique Adour-Garonne

The new protocol established by Auby et al. (2012) was applied in 2014 to the seagrass monitoring in the Water body FRFT8 – Bidassoa - Type T03. Based on 3 metrics ("taxonomy", "extension" and "abundance"), the quality index of this water body for the angiosperm indicator, was "good". The displacement of the seagrass bed led us to adapt the sampling grid in 2014