The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations

We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these claims

As crianças e a internet em Portugal: perfis de uso

Baseado num inquérito por questionário a crianças portuguesas, este artigo pretende caracterizar a posse e utilização da internet. Tendo-se verificado que as crianças se agrupam em quatro perfis distintos de utilizadores — os “internautas convictos”, os “estudantes aplicados”, os “jogadores inveterados” e os “utilizadores incipientes” — demonstra-se que estes perfis são fortemente condicionados por variáveis como o sexo e a idade da criança, o nível de escolaridade e a categoria socioprofissional dos pais. A estes perfis correspondem também diferentes formas de mediação parental e distintas representações sobre a internet

Pela mão das crianças: metodologias em construção

O referencial recente dos estudos sociais da infância, em que as crianças são vistas como actores competentes que contribuem activamente para a produção do seu contexto envolvente e lhe atribuem significado, tem uma tradução metodológica na investigação: darlhes voz é uma prioridade, na medida em que possuem uma perspectiva única acerca da sua condição de vida. Neste âmbito, tem-se assistido ao desenvolvimento de pesquisas e métodos inovadores de carácter inclusivo e participativo de forma a conseguir captar as experiências e perspectivas das crianças. Assim, e com referência a uma etapa do projecto “Crianças e Internet”, a decorrer no Instituto de Ciências Sociais da Universidade de Lisboa (financiado pela Fundação Calouste Gulbenkian), pretende-se apresentar uma reflexão exploratória a propósito da utilização de metodologias qualitativas de cariz etnográfico. Foram estudadas 30 crianças residentes na Área Metropolitana de Lisboa, provenientes de meios sociais distintos, entre os 10 e os 14 anos de idade. Optou-se pela combinação de múltiplas técnicas: observação em casa e do cenário tecnológico doméstico; recolha e interpretação de fotografias e print-screens tiradas pelas crianças sobre as suas actividades no computador e na internet; e realização de focusgroups, onde as informações individualmente recolhidas foram postas à discussão do grupo. O objectivo principal é portanto, a partir destes resultados, apresentar e discutir algumas potencialidades e obstáculos das técnicas utilizadas.The recent framework of the social studies of childhood, where children are seen as competent actors that contribute actively to the production of their surrounding context and give it meaning, has a methodological translation in research: giving them voice is a priority, as they have a unique perspective about their living conditions. In this context, we have seen the development of innovative research and methods, of an inclusive and participatory nature, in order to capture the experiences and perspectives of children. Thus, with reference to a phase of the project “Children and Internet”, in progress at the Institute of Social Sciences, University of Lisbon (funded by CalousteGulbenkian Foundation), we aim to present a critical reflection concerning the use of qualitative methodologies with ethnographic nature. 30 children living on the metropolitan area of Lisbon were studied, from different social backgrounds, aged 10 to 14. We chose a combination of multiple techniques: observation at home and of the domestic setting of technologies, a collection and interpretation of photographs and print-screen images taken by children of their activities on the computer and the internet, and the conduction of focus groups, where the information individually collected was put into panel discussion. The main objective is therefore, from these results, explore and present some potentialities and obstacles of the methods used

Riscos visíveis e invisíveis em um cinema brasileiro de levantes

The gesture of silent insubordination, kept out of sight, was quite present in the Brazilian film production carried out in the 2010s. Based on a methodological approach inspired by the Warburguian boards from the Atlas Mnemosyne, this article gathers sequences from eight films where it is possible to feel the pathos of a muffled scream manifested at the moment it can no longer bottle itself up. Once they are displayed together on theboard, these images can activate, from the collective and public nature provided by the exhibition of the movies itself, the energy of an Uprising.The gesture of silent insubordination, kept out of sight, was quite present in the Brazilian film production carried out in the 2010s. Based on a methodological approach inspired by the Warburguian boards from the Atlas Mnemosyne, this article gathers sequences from eight films where it is possible to feel the pathos of a muffled scream manifested at the moment it can no longer bottle itself up. Once they are displayed together on theboard, these images can activate, from the collective and public nature provided by the exhibition of the movies itself, the energy of an Uprising.O gesto de insubordinação silenciosa, feita à espreita do olhar, foi bastante presente na produção cinematográfica brasileira realizada nos anos de 2010. A partir de uma aposta metodológica inspirada nas pranchas warburguianas no Atlas Mnemosyne, este artigo dispõe juntas sequências de oito filmes nos quais é possível sentir presente o páthos de um grito abafado manifestado quando ele não consegue mais se conter. Uma vez juntas, essas imagens são capazes de acionar, a partir de uma natureza coletiva e pública proporcionada pela própria exibição dos filmes, a energia de um levante

Formulation of ZSM-5 zeolite and UTSA-16 MOF by extrusion

[ENG]Porous materials are suitable for gas storage and separation applications. Synthesized as powders, these materials must be formulated to be handled in industrial settings. Formulation provides an optimized structure with improved mechanical and chemical stability. Extrusion is frequently employed and enables formulation using small amounts of solvent. This work reports the formulation of zeolites and metal-organic frameworks (MOFs), namely ZSM-5 and UTSA-16. Pastes comprising the porous material, binders (colloidal silica and poly-vinyl alcohol, PVA) and plasticizers (water and propanol) are extruded into pellets in a four-step process comprising paste preparation, extrusion, drying and thermal treatment. The formulation process leads to slight surface area reduction in zeolite samples (9% decrease); more significant variation is observed in MOF extrudates (38% decrease). In both cases, lower binder content originates denser pellets. The density of ZSM-5 extrudates was similar to commercial zeolite pellets, while in UTSA-16 it was considerably superior. The adsorption capacity of each formulated material for methane, carbon dioxide and water is measured. Both extrudates can adsorb methane and carbon dioxide. The amount of methane adsorbed is slightly higher on ZSM-5 extrudates, while UTSA-16 extrudates show higher selectivity than ZSM-5 for carbon dioxide molecules, adsorbing nearly twice as much. ZSM-5 extrudates show resistance to water, which is desirable for utilization in several industrial applications.[PT]Os materiais porosos podem ser aplicados em processos de separação e captura de gases. É necessário proceder à sua formulação para que estes materiais possam ser utilizados na indústria, uma vez que são sintetizados como pós. Esta técnica confere ao material uma estrutura optimizada, com aumento da sua estabilidade mecânica e química. A extrusão é o processo mais frequente e permite a formulação de materiais com recurso a quantidades reduzidas de solventes. Este estudo descreve a formulação de zeólitos e redes metal-orgânico (MOF), nomeadamente ZSM-5 e UTSA-16. Pastas compostas por um material poroso, binders (silica colloidal e álcool poli-vinílico, PVA) e plastificantes (água e propanol) são extrudadas, formando pellets, num processo de quatro etapas: preparação da pasta, extrusão, secagem e tratamento térmico. O processo de formulação leva a uma ligeira diminuição de área superficial nas amostras de zeólito (redução de 9%); a variação observada nos extrudados de MOF é mais significativa (redução de 38%). Em ambos os casos, uma composição com menos binders origina pellets mais densas. A densidade dos extrudados de ZSM-5 obtidos é semelhante à de pellets de zeólito comerciais. No caso dos extrudados de UTSA-16, a densidade é consideravelmente superior. A capacidade de adsorção de metano, dióxido de carbono e água foi avaliada para cada material formulado. Tanto os extrudados de zeólito como os de MOF adsorvem metano e dióxido de carbono. A quantidade de metano adsorvida nos extrudados de ZSM-5 é ligeiramente superior. O oposto ocorre no caso do dióxido de carbono: os extrudados de MOF adsorvem quase duas vezes mais do que os de zeólito. Extrudados de ZSM-5 mostram resistência à água, uma característica vantajosa para aplicação em diversas indústrias.Research Council of Norway through the CLIMIT program by the SINTERCAP project (233818). Publication produced with partial support from the BIGCCS Centre, performed under the Norwegian research program: Centres for Environment-friendly Energy Research (FME). Contributing partners: ConocoPhillips, Gassco, Shell, Statoil, TOTAL, GDF SUEZ and the Research Council of Norway (193816/S60)

Action Recognition in Videos: from Motion Capture Labs to the Web

This paper presents a survey of human action recognition approaches based on visual data recorded from a single video camera. We propose an organizing framework which puts in evidence the evolution of the area, with techniques moving from heavily constrained motion capture scenarios towards more challenging, realistic, "in the wild" videos. The proposed organization is based on the representation used as input for the recognition task, emphasizing the hypothesis assumed and thus, the constraints imposed on the type of video that each technique is able to address. Expliciting the hypothesis and constraints makes the framework particularly useful to select a method, given an application. Another advantage of the proposed organization is that it allows categorizing newest approaches seamlessly with traditional ones, while providing an insightful perspective of the evolution of the action recognition task up to now. That perspective is the basis for the discussion in the end of the paper, where we also present the main open issues in the area.Comment: Preprint submitted to CVIU, survey paper, 46 pages, 2 figures, 4 table

Prediction of road accident severity using the ordered probit model

The ordered probit model is used to examine the contribution of several factors to the injury severity faced by motor-vehicle occupants involved in road accidents. The estimated results suggest that motor-vehicle occupants travelling in light-vehicles, at two-way roads, and on dry road surfaces tend to suffer more severe injuries than those who travel in heavy-vehicles, at one-way roads, and on wet road surfaces. Additionally, the driver's seat is clearly the safest seating position, urban areas seem to originate less serious accidents than rural areas, and women tend to be more likely to suffer serious or fatal injuries than men