A Benchmarks Library for Extended Parametric Timed Automata

Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. In order to test the efficiency of new algorithms, a fair set of benchmarks is required. We present an extension of the IMITATOR benchmarks library, that accumulated over the years a number of case studies from academic and industrial contexts. We extend here the library with several dozens of new benchmarks; these benchmarks highlight several new features: liveness properties, extensions of (parametric) timed automata (including stopwatches or multi-rate clocks), and unsolvable toy benchmarks. These latter additions help to emphasize the limits of state-of-the-art parameter synthesis techniques, with the hope to develop new dedicated algorithms in the future.Comment: This is the author (and extended) version of the manuscript of the same name published in the proceedings of the 15th International Conference on Tests and Proofs (TAP 2021

Two Cheers for Ritual:The UN Committee Against Torture

Fraipontite is a very rare mineral described by Cesàro and found in the Vieille Montagne mines, eastern Belgium. The morphology, observed by scanning electron microscope, especially shows a lamellar structure. Optical data are : Ng = Nm = 1.624 and (—) 2 V = 15-20°. The X-ray powder pattern is given and index for a monoclinic unit cell with a = 5.372, b = 9.246, c = 7.273 Å and β = 103°33'. A new chemical analysis, completed with microprobe outline, is compared with previous data. The phase changes are identified by X-ray diffraction after heating ; so, zincite, willemite and gahnite successively appear after destruction of fraipontite near 425° C. Thermal and infrared analyses show the presence of hygroscopic water and suggest a crystallochemical formula : (Zn₂.₃₅Al₀.₆₅) (Si₁.₃₅Al₀.₆₅) O₅ (OH)₄. All these data strengthen the position of fraipontite as a real species, for a natural zinc-bearing berthierine.Découverte par Cesàro, la fraipontite est un minéral très rare provenant des mines de la Vieille Montagne, dans l'est de la Belgique. La morphologie observée au microscope électronique à balayage révèle principalement une structure feuilletée. L'analyse optique fournit Ng = Nm = 1,624 et (—) 2 V = 15-20°. Le diagramme de poudre est donné avec une indexation qui conduit aux paramètres d'une maille monoclinique : a = 5,372, b = 9,246, c = 7,273 Å et β = 103°33'. Une nouvelle analyse chimique, complétée par des examens à la microsonde électronique, est comparée aux données antérieures. Les changements de phases, examinés par diffraction des rayons X après chauffage, conduisent, après destruction de la fraipontite vers 425° C, à l'apparition de zincite, willémite et gahnite. L'étude thermique et l'analyse par spectroscopie infrarouge montrent la présence d'eau hygroscopique et permettent de déduire une formule cristallochimique : (Zn₂,₃₅Al₀,₆₅) (Si₁,₃₅Al₀,₆₅) O₅ (OH)₄. L'ensemble de ces données renforce la position de la fraipontite en tant qu'espèce, désignant une berthiérine zincifère naturelle.Fransolet André-Mathieu, Bourguignon Pol. Données nouvelles sur la fraipontite de Moresnet (Belgique). In: Bulletin de la Société française de Minéralogie et de Cristallographie, volume 98, 4, 1975. pp. 235-244

Temps de novetats

Abstract not availabl

Passo Fundo Vai de Bici: a redução no consumo de combustíveis fósseis e as contribuições para o meio ambiente

Buscando novas soluções para os problemas de mobilidade urbana, a Prefeitura Municipal de Passo Fundo/RS recentemente implementou o sistema de compartilhamento de bicicletas denominado “Passo Fundo Vai de Bici”. Este artigo objetiva avaliar o quanto a população passofundense vem substituindo viagens com veículos motorizados por bicicletas do sistema, a fim de quantificar a redução do consumo de combustíveis e consequentemente de emissões de CO2 no meio ambiente. O trabalho foi realizado em duas etapas metodológicas: revisão bibliográfica da temática em questão e a quantificação do consumo de combustível poupado e da redução de CO2 emitido com base em dados fornecidos pelo INMETRO e PBE. Os resultados mostram que a implantação do sistema de compartilhamento de bicicletas tem gerado contribuições para a melhora da qualidade do ar na cidade, tendo em vista que 25% dos usuários das bicicletas estão substituindo viagens motorizadas individuais, contribuindo com uma redução de aproximadamente 13.000kg de CO2 emitido na cidade de Passo Fundo. Por fim, esta pesquisa demonstra como o incentivo aos deslocamentos ativos, ainda que em pequena escala, tende a gerar impactos positivos tanto para a população quanto para a cidade

Characterization, displacement pattern and perception of users of the bicycle sharing system "Passo Fundo Goes by Bicycle"

Faced with the cities problems generated by the excess of cars there is a growing need for new strategies for urban displacement. In this context, shared bikes are gaining popularity in cities around the world. The City Hall of Passo Fundo/RS recently implemented a system "Passo Fundo Goes by Bicycle” aiming to increase the city sustainability. This work aims to characterize the users of the system and know the displacement patterns, besides this goal, it seeks to understand their perspective about the service offered, identifying their motivations and difficulties. The methodology used was the use of Post-Occupancy Evaluation (POE) techniques, with application of questionnaires in 100 users. The results brought important discoveries, such as the significant substitution of motorized means by bycicle and the necessity to expand the bike lane existing in the city. The final considerations identify "Passo Fundo Goes by Bicycle " as an important contributor to local sustainability

Avaliação das diretrizes e ações do Plano de Mobilidade da cidade de Passo Fundo de acordo com a Lei n° 12.587/2012

O agravamento dos problemas relacionados à mobilidade urbana traz à tona uma série de desafios para pensadores e corpo técnico das cidades. É de fundamental importância analisar, refletir e avaliar a consistência das políticas públicas voltadas à mobilidade, a fim de mensurar sua efetividade e aplicabilidade, bem como a coerência entre as políticas nacionais e as locais. Neste contexto, desde o ano de 2014 a cidade de Passo Fundo possui um Plano de Mobilidade, focado em ações e estratégias de curto, médio e longo prazo para melhoria da mobilidade local. Sendo assim, o presente estudo tem como objetivo principal analisar as diretrizes e ações do Plano de Mobilidade Urbana da cidade de Passo Fundo, a fim de avaliar sua compatibilidade com os princípios, diretrizes e objetivos da Lei Nacional n° 12.587/2012- Lei de Mobilidade Urbana, bem como compreender como as ações em nível local são influenciadas pelas políticas nacionais. Além disso, objetiva-se compreender como o processo de urbanização influenciou na mobilidade da cidade de Passo Fundo. A metodologia utilizada foi o levantamento documental de leis e regulamentos oficiais dedicados à mobilidade urbana das escalas nacional até a local bem como o estudo de caso da cidade analisada. Os resultados mostraram que há conformidade entre a Lei Nacional 12.587/2012 e o Plano Municipal de Mobilidade, com algumas lacunas, como a ausência de diretrizes voltadas ao uso de energias mais limpas. Nota-se, porém, que há uma grande distância entre boa parte das diretrizes locais e a aplicabilidade das mesmas na cidade, já que algumas requerem grandes investimentos

Towards defining reference materials for extracellular vesicle size, concentration, refractive index and epitope abundance

Accurate characterization of extracellular vesicles (EVs) is critical to explore their diagnostic and therapeutic applications. As the EV research field has developed, so too have the techniques used to characterize them. The development of reference materials is required for the standardization of these techniques. This work, initiated from the ISEV 2017 Biomarker Workshop in Birmingham, UK, and with further discussion during the ISEV 2019 Standardization Workshop in Ghent, Belgium, sets out to elucidate which reference materials are required and which are currently available to standardize commonly used analysis platforms for characterizing EV size, concentration, refractive index, and epitope expression. Due to their predominant use, a particular focus is placed on the optical methods nanoparticle tracking analysis and flow cytometry.Comment: 30 pages, 6 figures, 2 table

Vermindering gebruik chemische gewasbeschermingsmiddelen bij bestrijding van emelten en rouwvlieglarven op grasland

In dit rapport worden de onderzoeksresultaten met betrekking tot het verbruik van insecticiden beschreven. Op grasland worden met name emelten en rouwvlieglarven bestreden. Het rapport richt zich vooral op schade door emelten. De gevonden aantallen rouwvlieglarven in de proeven waren te klein om gericht onderzoek naar te doen