Hiord: A type-free higher-order logic programming language with predicate abstraction

A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framework is considered, along with several examples.

Short paper: From streaming data to linked data. A case study with bike sharing systems

Current methods and tools that support Linked Data publication have mainly focused so far on static data, without considering the growing amount of streaming data available on the Web. In this paper we describe a case study that involves the publication of static and streaming Linked Data for bike sharing systems and related entities. We describe some of the challenges that we have faced, the solutions that we have explored, the lessons that we have learned, and the opportunities that lie in the future for exploiting Linked Stream Data.

Deriving semantic sensor metadata from raw measurements

Sensor network deployments have become a primary source of big data about the real world that surrounds us, measuring a wide range of physical properties in real time. With such large amounts of heterogeneous data, a key challenge is to describe and annotate sensor data with high-level metadata, using and extending models, for instance with ontologies. However, to automate this task there is a need for enriching the sensor metadata using the actual observed measurements and extracting useful meta-information from them. This paper proposes a novel approach of characterization and extraction of semantic metadata through the analysis of sensor data raw observations. This approach consists in using approximations to represent the raw sensor measurements, based on distributions of the observation slopes, building a classi?cation scheme to automatically infer sensor metadata like the type of observed property, integrating the semantic analysis results with existing sensor networks metadata.

Assigning diameter distribution typologies to an ALS data grid map

distribuciones diamétricas con ALS

A Web-based Support System for Providing Effective Monitoring, Feedback and Evaluation in Project Management Education

This work introduces a web-based learning environment to facilitate learning in Project Management. The proposed web-based support system integrates methodological procedures and information systems, allowing to promote learning among geographically-dispersed students. Thus, students who are enrolled in different universities at different locations and attend their own project management courses, share a virtual experience in executing and managing projects. Specific support systems were used or developed to automatically collect information about student activities, making it possible to monitor the progress made on learning and assess learning performance as established in the defined rubric.

Islanding detection in Microgrids using Harmonic Signature

In recent years, there has been a growing interest in incorporating microgrids in electrical power networks. This is due to various advantages they present, particularly the possibility of working in either autonomous mode or grid connected, which makes them highly versatile structures for incorporating intermittent generation and energy storage. However, they pose safety issues in being able to support a local island in case of utility disconnection. Thus, in the event of an unintentional island situation, they should be able to detect the loss of mains and disconnect for self-protection and safety reasons. Most of the anti-islanding schemes are implemented within control of single generation devices, such as dc-ac inverters used with solar electric systems being incompatible with the concept of microgrids due to the variety and multiplicity of sources within the microgrid. In this paper, a passive islanding detection method based on the change of the 5th harmonic voltage magnitude at the point of common coupling between grid-connected and islanded modes of operation is presented. Hardware test results from the application of this approach to a laboratory scale microgrid are shown. The experimental results demonstrate the validity of the proposed method, in meeting the requirements of IEEE 1547 standards.

A perceptive insight into cities patterns by visualizing urban economies

Urban economic activities are an essential facet in defining city identity. Traditional approaches rely very often on the most theoretical and quantitative features of the studies, excluding de-facto a direct association between those findings and the tangible subject of the analysis. To fill the gap, the Big Data era and information visualization methodologies could help analysts, stakeholders and general audience to gain a new insight on the field. In this paper, we want to provide some food for thought about new opportunities arising in visual urban economies as well as present some visual results on possible scenarios.

TRANSFORMAÇÃO MÍSTICA NA RELIGIÃO DO APÓSTOLO PAULO A recepção do Moisés glorificado em 2º Coríntios na perspectiva da experiência religiosa

Esta tese é um estudo do conceito de transformação místico-apocalíptica na perspectiva da experiência religiosa e que tem como objeto o caso paulino. As pesquisas sobre Paulo Apóstolo geralmente acompanham a abordagem tradicional que o vê como pensador e teólogo. Mas, em sintonia com algumas obras do passado e especialmente as mais recentes sobre Paulo em relação à apocalíptica e misticismo judaicos, esta tese desenvolve uma análise na perspectiva da experiência religiosa. Considerando a tradição de ascensão visionária como quadro de plausibilidade, é apresentada uma análise dos relatos de ascensão da literatura judaica antiga, com destaque para Moisés, aqui comparado com a recepção paulina do Moisés transformado em 2º Coríntios. O resultado da pesquisa foi que a literatura judaica antiga testemunha um padrão de transformação proléptica em ascensão celestial que fazia parte das crenças e práticas religiosas. A linguagem usada por Paulo em 2º Coríntios, notoriamente no capítulo 3, demonstra que ele estava envolvido em tais crenças e práticas, ainda que com conotações próprias. O Moisés transformado de face gloriosa de Êxodo 34, que foi recebido pelas tradições judaicas como um viajante celestial, o que era corrente nos tempos paulinos, é o foco de Paulo em 2º Coríntios 3. Para Paulo, sua condição é superior à de Moisés porque ele tem acesso livre e permane nte à gloria de Deus, acesso esse estendido a seus correligionários e que resulta em processo de transformação proléptica. Também porque seu evangelho é uma revelação cristológica divina última superior ao que foi revelado a Moisés no Sinai. Este acesso livre e permanente que inclui esta transformação antecipada se dá em termos de cultos extáticos de natureza visionária.(AU)

TRANSFORMAÇÃO MÍSTICA NA RELIGIÃO DO APÓSTOLO PAULO A recepção do Moisés glorificado em 2º Coríntios na perspectiva da experiência religiosa

Esta tese é um estudo do conceito de transformação místico-apocalíptica na perspectiva da experiência religiosa e que tem como objeto o caso paulino. As pesquisas sobre Paulo Apóstolo geralmente acompanham a abordagem tradicional que o vê como pensador e teólogo. Mas, em sintonia com algumas obras do passado e especialmente as mais recentes sobre Paulo em relação à apocalíptica e misticismo judaicos, esta tese desenvolve uma análise na perspectiva da experiência religiosa. Considerando a tradição de ascensão visionária como quadro de plausibilidade, é apresentada uma análise dos relatos de ascensão da literatura judaica antiga, com destaque para Moisés, aqui comparado com a recepção paulina do Moisés transformado em 2º Coríntios. O resultado da pesquisa foi que a literatura judaica antiga testemunha um padrão de transformação proléptica em ascensão celestial que fazia parte das crenças e práticas religiosas. A linguagem usada por Paulo em 2º Coríntios, notoriamente no capítulo 3, demonstra que ele estava envolvido em tais crenças e práticas, ainda que com conotações próprias. O Moisés transformado de face gloriosa de Êxodo 34, que foi recebido pelas tradições judaicas como um viajante celestial, o que era corrente nos tempos paulinos, é o foco de Paulo em 2º Coríntios 3. Para Paulo, sua condição é superior à de Moisés porque ele tem acesso livre e permane nte à gloria de Deus, acesso esse estendido a seus correligionários e que resulta em processo de transformação proléptica. Também porque seu evangelho é uma revelação cristológica divina última superior ao que foi revelado a Moisés no Sinai. Este acesso livre e permanente que inclui esta transformação antecipada se dá em termos de cultos extáticos de natureza visionária.(AU)

O BOCA A BOCA ON-LINE: AS IMPLICAÇÕES DA VOZ DO CONSUMIDOR NA COMUNICAÇÃO DE MERCADO

O consumidor contemporâneo, inserido em um novo ambiente de comunicação, potencializa suas expressões, capaz de avaliar uma marca ou produto e transmitir sua opinião pelas redes sociais, ou seja, o consumidor expressa suas opiniões e desejos dialogando com seus pares de forma espontânea nas redes sociais on-line. É neste ambiente de participação e interação (ciberespaço) que está nosso objeto de estudo, o boca a boca on-line – a voz do consumidor contemporâneo, também conhecido como uma manifestação informativa pessoal ou uma conversa, a opinion sharing. Proporcionado pelos consumidores nas redes sociais on-line, o boca a boca se fortalece em função das possibilidades de interação, característica da sociedade em rede. Nesse cenário, oobjetivo desta pesquisa é caracterizar o boca a boca on-line como um novo fluxo comunicacional entre consumidores, hoje potencializado pelas novas tecnologias da comunicação, capazes de alterar a percepção da marca e demonstrar o uso, pelas marcas, das redes sociais on-line ainda como um ambiente de comunicação unidirecional. Mediante três casos selecionados por conveniência (dois casos nacionais e um internacional), o corpus de análise de nossa pesquisa se limitou aos 5.084 comentários disponibilizados após publicação de matérias jornalísticas no Portal G1 e nas fanpages (Facebook), ambos relativos aos casos selecionados. Com a Análise de Conteúdo dos posts, identificamos e categorizamos a fala do consumidor contemporâneo, sendo assim possível comprovar que as organizações/marcas se valem da cultura do massivo, não dialogando com seus consumidores, pois utilizam as redes sociais on-line ainda de forma unidirecional, além de não darem a devida atenção ao atual fluxo onde se evidencia a opinião compartilhada dos consumidores da sociedade em rede.

Prevalência e incidência de obesidade sarcopênica em coorte de idosos domiciliados no município de São Paulo

Introdução: Evidências epidemiológicas mostram que a obesidade sarcopênica (OS) em idosos está associada a um acelerado declínio funcional e alto risco de morbimortalidade, sendo que seu impacto tem se tornado grande preocupação dos profissionais de saúde. Objetivo: Estimar a prevalência e a incidência de obesidade sarcopênica, em coorte de idosos domiciliados no município de São Paulo/Brasil 2000 e 2010. Casuística e Métodos: Foram utilizados dados do Estudo SABE (Saúde, Bem-estar e Envelhecimento), realizado no município de São Paulo em 2000 (2.143 idosos), e em 2010 (795 idosos). A população deste estudo foi constituída por idosos ( 70 anos), de ambos os sexos, que apresentaram todos os dados necessários para este estudo e que concordaram em participar, totalizando 871 idosos analisados em 2000 e 656 idosos em 2010. As variáveis de estudo foram: 1. Dependente - obesidade sarcopênica, identificada segundo: obesidade, diagnosticada pelo valor da circunferência da cintura (CC 94 cm e CC 80 cm para homens e mulheres, respectivamente); sarcopenia, identificada por: 1- força muscular, pelo teste de preensão manual (FPM - kg) (baixa P25; normal > P25, da mesma população), 2- massa muscular (MM), obtida pelo índice de massa muscular (IMM=MM/altura²) (baixa P20; normal > P20, da mesma população) e 3- desempenho físico, identificado pelo teste (tempo dependente segundos) de sentar e levantar 5 vezes de uma cadeira (SeL) , com os braços cruzados sobre o peito (baixo P75; normal < P75); 2. Explanatórias - sexo e grupos etários (70 79 e 80). Foram classificados com OS idosos que apresentaram, simultaneamente, valores de CC adotados e baixo desempenho e baixa MM, ou então, desempenho normal, mas baixas FPM e MM. A prevalência de obesidade sarcopênica em 2000 e em 2010 foi estimada pelo número de casos de OS identificados nos dois momentos, onde foram realizadas comparações entre os intervalos de confiança, para verificar diferença estatística em idosos ( por cento ) com OS, segundo variáveis explanatórias, com nível de significância de 5 por cento . Para o cálculo do coeficiente de incidência de OS, em 2010, foi considerado o tempo de observação de cada indivíduo, determinado de maneira específica para cada caso. Para os cálculos foi utilizado o programa: Stata/SE ® 10.0 for Windows. Resultados: Dos 871 idosos analisados em 2000, 85 (7,4 por cento ) foram identificados com OS [6,5 por cento mulheres (IC 5,08,4) e 4,8 por cento 80 anos (IC 3,6-6,4)] (p 5 por cento ), e, em 2010, (n=656), 73 (9,2 por cento ) foram identificados com OS [7,2 por cento mulheres (IC 5,5-9,4) e 5,3 por cento 80 anos (IC 4,0-7,0)] (p 5 por cento ). Em 10 anos, foram identificados 43 novos casos de OS. O coeficiente de incidência foi 15,29/1000 pessoas/ano entre 2000 e 2010. Conclusões: A prevalência de OS em 2000 e 2010 foi maior nas mulheres e nos idosos mais longevos, sendo que, em ambos os casos, foi maior em 2010, quando comparada a 2000. Não houve diferença significativa entre os coeficientes de incidência, segundo as variáveis explanatórias.

Sobrevida de mulheres e homens com 60 anos e mais no município de São Paulo - Estudo SABE: as diferenças nas semelhanças em características do curso de vida

Objetivos: Avaliar numa coorte de idosos se há diferenças entre as situações do curso de vida que contribuem para uma maior chance de sobrevida em homens e mulheres com 60 anos e mais. Métodos: 2.143 idosos entrevistados em 2000 foram acompanhados durante quase 15 anos. Utilizou-se na análise estatística o teste de associação para amostras complexas (Rao-Scott), o estimador produto limite de Kaplan-Meier, o teste de log-rank, análise univariada e multivariada do modelo de riscos proporcionais de Cox, sendo construídos, através deste último, dois modelos finais por gênero, ao nível de significância de 5 por cento . Resultados e discussão: Dos 836.204 idosos paulistanos representados pelo estudo 51,6 por cento continuavam vivos (43,0 por cento dos homens e 57,7 por cento das mulheres). Em ambos os gêneros, os/as que tinham boas condições materiais e que realizavam sem dificuldade e sem ajuda mais da metade das atividades básicas e instrumentais de vida diária (ABVD/AIVD) apresentaram maior chance de sobrevivência. O mesmo foi verificado naquelas mulheres com menos de duas limitações de determinadas doenças, nas casadas, nas que ofereciam algum tipo de ajuda e nas que realizaram ações preventivas em relação a sua condição de saúde. Entre os homens o mesmo ocorreu naqueles que se referiram ser chefe de família, nos que tinham participação comunitária, nos que residiam com algum outro morador que foi ou ia à escola, que trabalharam predominantemente como proprietário ou por conta própria e nos que relataram ter tido alguma doença em seus primeiros quinzes anos de vida. Conclusão: As chances de sobrevida são diferentes entre gêneros, e entre si, mesmo em situações aparentemente semelhantes do curso de vida vivenciados e presentes em homens e mulheres idosas.

Lightweight peer-to-peer secure multi-party VoIP protocol

Multi-party voice-over-IP (MVoIP) services provide economical and convenient group communication mechanisms for many emerging applications such as distance collaboration systems, on-line meetings and Internet gaming. In this paper, we present a light peer-to-peer (P2P) protocol to provide MVoIP services on small platforms like mobile phones and PDAs. Unlike other proposals, our solution is fully distributed and self-organizing without requiring specialized servers or IP multicast support.

Peder Månssons Skrifter på svenska; efter handskrifter i Sockholm, Uppsala och Linköping, med en inledning utgifna

The originals (if any) of the 5th and 7th-12th treatises are unknown. cf. Inledning.

Two Theban queens, Nefert-ari and Ty-ti, and their tomba,

Mode of access: Internet.