Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Cursos abiertos en l??nea:?? un escenario para la gesti??n personal del conocimiento?

A partir de uma discuss??o dos antecedentes e caracter??sticas dos cursos on-line, este artigo descreve uma solu????o tecnol??gica de apoio ?? realiza????o deste tipo de curso, baseada no uso de ferramentas p??blicas e de uso gratuito(isto ??, que n??o requerem instala????o em um servidor pr??prio). Esta ?? uma prova de conceito que busca evidenciar as possibilidades e obst??culos associados ?? oferta deste tipo de pr??tica educativa em um contexto latino-americano.

iMap : um mecanismo de inferência para mapas conceituais

Mapas Conceituais são representações gráficas do conhecimento de uma pessoa num dado momento e área de conhecimento. Por sua natureza investigativa, são utilizados como ferramentas de apoio em abordagens pedagógicas que objetivam promover a aprendizagem significativa. No entanto, o processo de avaliação de um mapa tende a ser custoso pois acarreta uma pesada carga de processamento cognitivo por parte do avaliador, já que este precisa mapear os conceitos e relações em busca de nuances de conhecimento alí presentes. Essa pesquisa tem por objetivo aumentar o nível de abstração nas interações entre o avaliador e os mapas conceituais fornecendo uma camada intermediária de inteligência computacional que favoreça a comunicação por meio de perguntas e respostas em linguagem natural, fornecendo ao avaliador ferramentas que lhe permita examinar o conteúdo do mapa conceitual sem exigir deste o mapeamento visual dos conceitos e relações presentes nos mapas avaliados. Uma ferramenta é prototipada e uma prova de conceito apresentada. A análise da arquitetura proposta permitiu definir uma arquitetura final com características que permitem potencializar o uso de mapas conceituais e facilitar diversas operações pedagógicas com estes. Essa pesquisa situa-se na área de investigação de sistemas de perguntas e resposta, aplicando técnicas de processamento de linguagem natural para análise da pergunta e interpretação do mapa conceitual e aplica técnica de inteligência artificial para inferir respostas às perguntas.

Anotação, numa perspectiva de Direito Penal e de Criminologia, de alguns dos aspectos do Acórdão do Supremo Tribunal de Justiça (português), de 28 de Setembro de 2011 - os problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, Juiz Conselheiro Raul BORGES (Relator), Juiz Conselheiro Armindo MONTEIRO cfr. http://www.dgsi.pt , 20 de Janeiro de 2012; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – Algumas das referências, por parte do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, aos problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal; 3.3 – «Teoria geral» dos problemas do direito ao silêncio em contraste com o dever de sujeição do arguido a diligências de prova no contexto do direito processual penal lusitano; 4 - Conclusão. § Abstract: 1 - Summary of the Judgement of the Supreme Court of Justice of 28 September 2011 2 - Full text of the Judgement of the Supreme Court of Justice of 28 September 2011, Councillor Judge Raul Borges (Reporter), Councillor Judge Armindo Monteiro cf. . http://www.dgsi.pt, January 20, 2012, 3 - Note: 3.1 - Introduction to the annotation; 3.2 - Some of the references, by the Judgement of the Supreme Court of Justice of 28 September 2011, the problems the right to silence and the duty in the defendant be subject to applications of proof in criminal proceedings; 3.3 - "general Theory" of the problems the right to silence in contrast to the duty of subjection of the accused to proof steps in the right context criminal procedure Lusitanian 4 - Conclusion. P.S.: este é o "abstract" tal qual como surge no artigo.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Risco e incerteza no pensamento biomédico: notas teóricas sobre o advento da quantificação e da prova experimental na medicina moderna

A biomedicina é um domínio do saber no qual a proliferação do conceito de risco se tem evidenciado de forma expressiva, o que revela uma preocupação em proceder ao controlo sistemático dos problemas através de um modelo de racionalização instrumental. Tal procedimento é elucidativo do investimento que é feito na interpretação das incertezas como riscos. Consequentemente, a dimensão estatística que lhe está associada é cada vez mais um dos principais traços do seu perfil científico. Biomedicine is a field where the concept of risk has shown an impressive increase in its importance. This fact demonstrates a concern with a systematic problem control through an instrumental rationalizing model, expressing eloquently the investment being made in interpreting uncertainty as risk and the consequent statistical dimension as an ever-more quintessential feature of its scientific profile.

Ventilation influence in occupational exposure to fungi and volatile organic compounds: poultry case

Introduction - In poultry houses, large-scale production has led to increased bird densities within buildings. Such high densities of animals kept within confined spaces are a source of human health problems related to occupational organic dust exposure. This organic dust is composed of both non-viable particles and viable particulate matter (also called bioaerosols). Bioaerosols are comprised by airborne bacteria, fungi, viruses and their by-products, endotoxins and mycotoxins. Exposure to fungi in broiler houses may vary depending upon the applied ventilation system. Ventilation can be an important resource in order to reduce air contamination in these type of settings. Nevertheless, some concerns regarding costs, sensitivity of the animal species to temperature differences, and also the type of building used define which type of ventilation is used. Aim of the study - A descriptive study was developed in one poultry unit aiming to assess occupational fungal and volatile organic compounds (VOCs) exposure.

Air pollution at an urban traffic tunnel in Lisbon, Portugal

In this study, the results of chemical concentrations inside and outside of a Lisbon (Portugal) traffic tunnel were compared, during one week. They were obtained by Instrumental Neutron Activation Analysis (INAA). The tunnel values largely exceed the Air Ambient legislated values and the Pearson Correlations Coefficients point out to soil re-suspension/dispersed road dust (As, Ce, Eu, Hf, Fe, Mo, Sc, Zn), traffic-markers (Ba, Cr), tire wear (Cr, Zn), break wear (Fe, Zn, Ba, Cu, Sb), exhaust and motor oil (Zn) and sea-spray (Br, Na). On all days these elements inside the tunnel were more enriched than outside; significant statistical differences were found for Co (p=0.005), Br (p=0.008), Zn (p=0.01) and Sb (p=0.005), while enrichment factors of As and Sc are statistically identical. The highest values were found for As, Br, Zn and Sb, for both inside and outside the tunnel.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.

A new sedimentary benchmark for the Deccan Traps volcanism?

The origin of the Cretaceous-Paleogene boundary (KPB) mass extinction is still the center of acrimonious debates by opposing partisans of the bolide impact theory to those who favored a terrestrial origin linked to the Deccan Traps volcanism. Here we apply an original and high-resolution environmental magnetic study of the reference Bidart section, France. Our results show that the KPB is identified by an abrupt positive shift of the magnetic susceptibility (MS), also observed by others at the KPB elsewhere. In addition, an anomalous interval of very low MS, carried by an unknown Cl-bearing iron oxide similar to specular hematite, is depicted just below the KPB. Grain-size and morphology of the Cl-iron oxide are typically in the range of hematitic dust currently transported by winds from Sahara to Europe. This discovery is confirmed in the referenced Gubbio section (Italy) suggesting a global scale phenomenon. As a conjecture we suggest an origin by heterogeneous reaction between HCl-rich volcanic gas and liquid-solid aerosols within buoyant atmospheric plumes formed above the newly emitted Deccan flood basalts. Based on this hypothesis, our discovery provides a new benchmark for the Deccan volcanism and witnesses the nature and importance of the related atmospheric change.

Occupational exposure to aflatoxin (AFB1) in poultry production

Aflatoxin B1 (AFB1) has been recognized to cause cancer in the humans liver. Epidemiological and laboratory evidence also point towards the respiratory system as target for carcinogenesis. Exposure occurs mainly through food chain but inhalation represent an additional route of exposure. Agricultural workers have the greatest risk of occupational exposure due to their exposition to airborne aflatoxin through inhalation of dust.

Fungal contamination of poultries litter: a public health problem

Exposure to certain fungi can cause human illness. Fungi cause adverse human health effects through three specific mechanisms: generation of a harmful immune response (e.g., allergy or hypersensitivity pneumonitis); direct infection by the fungal organism; by toxic-irritant effects from mold byproducts, such as mycotoxins. In Portugal there is an increasingly industry of large facilities that produce whole chickens for domestic consumption and only few investigations have reported on fungal contamination of the poultry litter. The material used for poultry litter is varied but normally can be constitute by: pine shavings; sawdust of eucalyptus; other types of wood; peanut; coffee; sugar cane; straw; hay; grass; paper processed. Litter is one of the most contributive factors to fungal contamination in poultries. Spreading litter is one of the tasks that normally involve higher exposure of the poultry workers to dust, fungi and their metabolites, such as VOC’s and mycotoxins. After being used and removed from poultries, litter is ploughed into agricultural soils, being this practice potentially dangerous for the soil environment, as well for both humans and animals. The goal of this study was to characterize litter’s fungal contamination and also to report the incidence of keratinophilic and toxigenic fungi.

Modelação da contribuição do tráfego automóvel para a qualidade do ar em zona industrial

A preocupação sobre a qualidade do ar nas zonas industriais confere aos estudos sobre a qualidade do ar uma importância acrescida. Este trabalho teve como objectivo saber qual a contribuição dos principais poluentes provenientes do tráfego automóvel para a qualidade do ar na zona do parque industrial da Sapec, da Península da Mitrena, concelho de Setúbal, recorrendo ao modelo meteorológico e de qualidade do ar, TAPM (The Air Pollution Model). Neste trabalho analisaram-se dados da estação de monitorização da qualidade do ar, mais próxima da zona de estudo (Subestação) por forma a caracterizar-se a zona em causa, a nível meteorológico e da qualidade do ar. Os dados metereológico desta estação também foram utilizados com o objectivo de se validar os resultados meteorológicos obtidos pelo modelo. Na avaliação da contribuição do tráfego para a qualidade do ar, recorreu-se a um estudo de tráfego realizado pela Estradas de Portugal (EP) em 2004. Este estudo realizou a contagem dos veículos que se dirigiram ao parque industrial nos dias 14 e 15 de Dezembro, num período de 24 horas. A partir dessa contagem e de factores de emissão foi possível determinar a contribuição, de cada classe de veículo, para as concentrações atmosféricas de PM10 (resultantes de processos de combustão e ressuspensão), NOx, CO e HC. A comparação entre os dados meteorológicos simulados e medidos mostram que o modelo teve um bom comportamento, isto é, as discrepâncias entre os valores simulados e medidos foram mínimas. Relativamente à contribuição de cada categoria de veículos para a qualidade do ar, verificou-se que a classe de pesados de mercadorias foi aquela que mais contribui para as emissões de PM10, NOx e HC, enquanto que para as emissões de CO foram os veículos ligeiros de passageiros que tiveram uma maior contribuição. As classes dos motociclos e ciclomotores foram aquelas que tiveram uma menor contribuição para as concentrações atmosféricas de poluentes. Comparando as emissões de PM10 provenientes dos processos de combustão e de ressuspensão conclui-se que a maior percentagem provem da ressuspensão.

Biological monitoring of aflatoxin (AFB1) in workers of swine and poultry production

Although a great body of literature exists concerning the ingestion of food contaminated with aflatoxin, there are still few studies regarding mycotoxin inhalation in occupational settings. Since mycotoxins are relatively non-volatile, inhalation exposure is cause by inhalation of airborne fungal particulates or fungi-contaminated substrates that contain aflatoxin. We intend to know if there is occupational exposure to aflatoxin in Portuguese poultry and swine production. A total of 19 individuals (11 swine; 8 poultry) agreed and provided blood samples during the course of this investigation. Measurement of AFB1 was performed by ELISA. The samples were treated with pronase (Merck), wash in a Column C18 and purification was made with immunoaffinity columns (R.biopharma), specific for AFB1. It was applied statistical test (Mann-Whitney) to verified statistical difference in AFB1 results between the two settings. Results varied with concentrations from dust containing aflatoxin by inhalation should be consider a route of exposure in both settings.

Size distribution of polycyclic aromatic hydrocarbons in a roadway tunnel in Lisbon, Portugal

Atmospheric aerosols of four aerodynamic size ranges were collected using high volume cascade impactors in an extremely busy roadway tunnel in Lisbon (Portugal). Dust deposited on the tunnel walls and guardrails was also collected. Average particle mass concentrations in the tunnel atmosphere were more than 30 times higher than in the outside urban background air, revealing its origins almost exclusively from fresh vehicle emissions. Most of the aerosol mass was concentrated in submicrometer fractions (65%), and polycyclic aromatic hydrocarbons (PAH) were even more concentrated in the finer particles with an average of 84% of total PAH present in sizes smaller than 0.49 mu m. The most abundant PAH were methylated phenanthrenes, fluoranthene and pyrene. About 46% of the total PAH mass was attributed to lower molecular weight compounds (two and three rings), suggesting a strong influence of diesel vehicle emissions on the production of local particulate PAH. The application of diagnostic ratios confirmed the relevance of this source of PAH in the tunnel ambient air. Deposited dust presented PAH profiles similar to the coarser aerosol size range, in agreement with the predominant origin of coarser aerosol particles from soil dust resuspension and vehicle wear products. (c) 201 1 Elsevier Ltd. All rights reserved.