Análisis de contenido en textos históricos de Matemáticas

En este artículo presentamos algunas reflexiones sobre la aplicación de la técnica de análisis de contenido en el estudio de textos históricos de matemáticas. Este trabajo se apoya en una investigación realizada en el año 2009 sobre el tratamiento dado al sistema métrico decimal en textos de matemáticas en España, en la que se analizó una selección de textos editados en la segunda mitad del siglo XIX. El estudio ha permitido la identificación de tres etapas que caracterizan los textos utilizados para la difusión de las nuevas pesas y medidas españolas en la época seleccionada

Estudo do potencial antioxidante de vegetais em produção aquapónica

Dissertação de Mestrado, Tecnologia e Segurança Alimentar, 14 de Dezembro de 2015, Universidade dos Açores.[...]. No presente trabalho pretendeu-se estudar efeito de diferentes sistemas de cultivo de repolhos no seu conteúdo em antioxidantes. Foram medidos o conteúdo em polifenóis, bem como as atividades antioxidantes dos extratos obtidos de repolho (Brassica oleracea cultivar Gloria Enkhuizen), produzidos em três sistemas diferentes de cultivo: sistema aquapónico, hidroponia e cultivo convencional (em terra). A capacidade antioxidante foi avaliada in vitro, em extratos de vegetais frescos e cozidos, através da medição da quantidade de polifenóis totais pelo método colorimétrico de Folin-Ciocalteau, da capacidade de redução do radical livre 1,1-difenif-2-picrilhidrazil (DPPH); e da utilização do método de branqueamento do ẞ-caroteno. [...].ABSTRACT: [...]. In the present study, we intended to evaluate the effect of different production systems of cabbage on their antioxidant content. The polyphenol content and the antioxidant capacity from cabbage (Brassica oleracea cultivar Gloria Enkhuizen) extracts produced in aquaponic system, hydroponics and in the conventional culture were measured. The antioxidant activity was evaluated in vitro by chemical methods, in boiled and fresh plant extracts by measuring the amount of polyphenol, by the colorimetric method of Folin-Ciocalteu, the capacity of reducing the free radical 1,1-difenif-2- picrylhydrazyl (DPPH), and the total antioxidant activity by using the bleaching method of ẞ-carotene. [...]

Methods and tools for the assessment of daylight transmittance through expanded metal meshes

306 p.El metal expandido es un producto industrial de amplia aplicación en envolventes arquitectónicas. Su función fundamental es la de protección solar, pero no ha sido analizado con precisión. He analizado la transmitancia luminosa. El objetivo es crear herramientas y métodos de análisis de la transmitancia lumínica del metal expandido y probar su validez. Los métodos existentes no están adaptados al metal expandido y éste ofrece una diversidad de variantes incontable. En este trabajo, entre otras cosas, se desarrolla un modelador tridimensional automatizado de metal expandido y se ensayan modos de análisis por medio de las herramientas informáticas existentes

El sistema métrico decimal en textos de matemáticas para la instrucción primaria en las Islas Canarias en el siglo XIX

El artículo presenta el análisis de uno de los libros de texto de matemáticas utilizados para la enseñanza de la aritmética y el sistema métrico decimal en Canarias, a mediados del siglo XIX, en cumplimiento de la Ley de pesas y medidas de 19 de Julio de 1849. Los resultados especifican la estructura conceptual, los modos de representación y los contextos con que se presentan las nuevas unidades de pesas y medidas; las dificultades y errores en su aprendizaje; y, las tareas, secuencias y materiales para su enseñanza, estos últimos como aspectos vinculados a la cognición y la instrucción en la didáctica de las matemáticas

El análisis didáctico y el estudio de los cambios curriculares en la enseñanza de la aritmética: la implantación del Sistema Métrico Decimal en España

Presentamos los resultados de un estudio histórico sobre los cambios curriculares en libros de texto de matemáticas con la introducción del Sistema Métrico Decimal en España durante la segunda mitad del siglo XIX. El estudio se orientó por el método histórico y el Análisis Didáctico como herramienta para el estudio de libros de texto históricos. Esto ha permitido caracterizar la inclusión de este sistema metrológico en libros de texto para primaria, secundaria y la formación de maestros mediante la identificación y descripción de la estructura conceptual, los procedimientos, representaciones y contextos con que se incluyó a las unidades de pesas y medidas métrico-decimales en los tópicos de aritmética. El estudio proporciona antecedentes históricos e información relevante para comparar y caracterizar la enseñanza y el aprendizaje de la aritmética enfocando el SMD en el currículo español desde su implantación hasta la actualidad

Expansionary zoning and the strategic behaviour of local governments

This is an Accepted Manuscript version of the following article, accepted for publication in Regional Studies 54.3 (2020): 388 - 402. It is deposited under the terms of the Creative Commons Attribution-NonCommercial License (http://creativecommons.org/licenses/by-nc/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is properly citedThis paper analyses the extent to which local land supply is the result of strategic interaction among nearby local governments. In a setting of limited tax instruments to raise revenues and interjurisdictional competition for mobile residents, municipal authorities are provided with the economic incentives to convert land from rural to urban uses, hence promoting urban growth. Using data on a large sample of Spanish municipalities for the period 2003–11 and a modified Cournot-style competition model, we report evidence in support of this hypothesis. The results suggest that local incumbents do not make policy decisions in isolation, and reaction functions arise because the mobile tax base reacts to the regulatory measures that modify land uses in each municipalit

Exploration of an adaptive merging scheme for optimal precipitation estimation over ungauged urban catchment

Merging rain gauge and radar data improves the accuracy of precipitation estimation for urban areas. Since the rain gauge network around the ungauged urban catchment is fixed, the relevant question relates to the optimal merging area that produces the best rainfall estimation inside the catchment. Thus, an incremental radar-gauge merging was performed by gradually increasing the distance from the centre of the study area, the number of merging gauges around it and the radar domain. The proposed adaptive merging scheme is applied to a small urban catchment in west Yorkshire, Northern England, for 118 extreme events from 2007 to 2009. The performance of the scheme is assessed using four experimental rain gauges installed inside the study area. The result shows that there is indeed an optimum radar-gauge merging area and consequently there is an optimum number of rain gauges that produce the best merged rainfall data inside the study area. Different merging methods produce different results for both classified and unclassified rainfall types. Although the scheme was applied on daily data, it is applicable to other temporal resolutions. This study has importance for other studies such as urban flooding analysis, since it provides improved rainfall estimation for ungauged urban catchments.</jats:p

Quantifying radar-rainfall uncertainties in urban drainage flow modelling

AbstractThis work presents the results of the implementation of a probabilistic system to model the uncertainty associated to radar rainfall (RR) estimates and the way this uncertainty propagates through the sewer system of an urban area located in the North of England. The spatial and temporal correlations of the RR errors as well as the error covariance matrix were computed to build a RR error model able to generate RR ensembles that reproduce the uncertainty associated with the measured rainfall. The results showed that the RR ensembles provide important information about the uncertainty in the rainfall measurement that can be propagated in the urban sewer system. The results showed that the measured flow peaks and flow volumes are often bounded within the uncertainty area produced by the RR ensembles. In 55% of the simulated events, the uncertainties in RR measurements can explain the uncertainties observed in the simulated flow volumes. However, there are also some events where the RR uncertainty cannot explain the whole uncertainty observed in the simulated flow volumes indicating that there are additional sources of uncertainty that must be considered such as the uncertainty in the urban drainage model structure, the uncertainty in the urban drainage model calibrated parameters, and the uncertainty in the measured sewer flows

Making Session Types Go

The ubiquitous nature of today’s multi-core processors means concurrency is ever more important to effectively use available computing resources. By its very nature however, concurrent programming is complex and error-prone - accounting for random process interleavings and managing shared resource control is difficult and can lead to instances of incorrect behavior or deadlocks in concurrent programs. As such, ensuring the cor- rectness of concurrent programs is of the utmost importance. Session types are a typing discipline for message-passing concurrency that is able to ensure strong compile-time correctness guarantees for concurrent programs by providing a protocols-as-types view of communication. In particular, we make use of the interpretation of intuitionistic linear logic formulas as session types, which serves as the basis for logical session types. These logical session types offer stronger guarantees at compile-time than simple session types. In this work we implement a (logically) session-typed functional language, along with its associated type checker, and develop a compiler for said language targeting the Go language. Our work features standard functional programming features combined with channel-based, session-typed, concurrency primitives and thread spawning. Concurrency and pure functional values are separated via a monad-like interface, in the style of Haskell. Our compilation pipeline takes a program, type checks it to ensure the absence of dead- locks and communication errors, and then translates it to valid Go code, leveraging Go’s channel and lightweight thread infrastructure. The translation requires compensating the mismatch between Go’s channel types and session types, which we achieve via a state machine view of session types. We showcase the expressiveness of our language via a series of examples, encoding concurrency idioms in the style of map-reduce, among others. We also perform a performance evaluation of our implementation, experimenting with different settings and testing it against a native Go implementation. We follow with a discussion of the experimental results. Finally, we end by discussing possible approaches to future work, namely in terms of compiler optimizations and increase in language expressiveness.Atualmente, a natureza ubíqua de processadores multi-core faz da concorrência algo cada vez mais importante para utilização eficaz dos recursos. Mas a programação concorrente é complexa e dada a erros – antecipar a execução intercalada de processos e gerir o controlo de recursos partilhados é difícil; pode levar a comportamento incorreto, ou deadlocks em programas concorrentes. Assim, assegurar a correção de programas concorrentes é da maior importância. Tipos de sessão são uma disciplina de tipos para concorrência baseada na troca de mensagens que é capaz de dar fortes garantias de correção em tempo de com- pilação para programas concorrentes, oferecendo uma visão da comunicação em termos de protocolos-como-tipos. Utilizamos a interpretação de fórmulas da lógica linear intuici- onista como tipos de sessão, que serve de base para tipos de sessão lógicos que oferecem garantias mais fortes do que tipos de sessão simples. Neste trabalho implementamos uma linguagem funcional, com tipos de sessão (lógicos), juntamente com o seu type checker, e desenvolvemos um compilador para a dita linguagem que tem por alvo a linguagem Go. A linguagem apresenta as funcionalidades standard da programação funcional, combinadas com thread spawning e primitivas de concorrência baseadas em canais e tipificadas com tipos de sessão. A concorrência e valores funcionais são separados por uma interface tipo monad, ao estilo de Haskell. O processo de compilação recebe um programa, verifica o seu tipo para assegurar a ausência de deadlocks e erros de comunicação, e tradu-lo para código Go, utilizando a infraestrutura de canais e lightweight threads de Go. A tradução implica uma compensação da diferença entre os tipos de canais em Go e os tipos de sessão, que alcançamos através duma visão de tipos de sessão como máquinas de estados. Demons- tramos a expressividade da linguagem através duma série de exemplos, implementando idiomas de concorrência como map-reduce, entre outros. Realizamos uma avaliação de desempenho da implementação, experimentado definições diferentes e testando-a contra uma implementação nativa em Go, discutindo depois os resultados experimentais. Por fim, propomos várias abordagens para trabalho futuro, em termos de optimização do compilador e aumento da expressividade da linguagem