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

Giving robots a voice: human-in-the-loop voice creation and open-ended labeling

Speech is a natural interface for humans to interact with robots. Yet, aligning a robot’s voice to its appearance is challenging due to the rich vocabulary of both modalities. Previous research has explored a few labels to describe robots and tested them on a limited number of robots and existing voices. Here, we develop a robot-voice creation tool followed by large-scale behavioral human experiments (N=2,505). First, participants collectively tune robotic voices to match 175 robot images using an adaptive human-in-the-loop pipeline. Then, participants describe their impression of the robot or their matched voice using another human-in-the-loop paradigm for open-ended labeling. The elicited taxonomy is then used to rate robot attributes and to predict the best voice for an unseen robot. We offer a web interface to aid engineers in customizing robot voices, demonstrating the synergy between cognitive science and machine learning for engineering tools

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

Supported Education and Supported Employment for Individuals at Clinical-High Risk of Psychosis:A Pilot Study

Deteriorated functioning is a part of the clinical-high risk (CHR) criteria for psychosis. Diminished social, educational and occupational functioning in the phase of late adolescence and early adulthood are associated with long-term social, economic and health consequences, which stresses the importance of early intervention to stimulate functioning. This pilot study examines the effectiveness and feasibility of the choose-get-keep model of Supported Education and Supported Employment (SEE) to improve educational and occupational functioning of individuals at CHR for a psychosis. A single blind randomized controlled pilot study combined SEE with treatment as usual (TAU) versus TAU among adolescents and early adults at CHR. School performance and job status as well as global functioning scales were assessed at twelve months. Of the 78 eligible participants, 20 individuals consented to participate in this study. At follow-up, participants in the intervention condition (n = 9) did not start an education more often than the participants in the control condition (n = 11) and the school results for both conditions were similar. However, in the intervention condition there were no school dropouts, more participants gained a job and worked longer hours. Two participants quit the intervention. This pilot study provides preliminary evidence that a SEE intervention is effective and feasible in sustaining and improving the level of both educational and occupational functioning of individuals at CHR for psychosis by supporting them in attaining, keeping and elaborating of their education or employment.</p

Supported Education and Supported Employment for Individuals at Clinical-High Risk of Psychosis:A Pilot Study

Deteriorated functioning is a part of the clinical-high risk (CHR) criteria for psychosis. Diminished social, educational and occupational functioning in the phase of late adolescence and early adulthood are associated with long-term social, economic and health consequences, which stresses the importance of early intervention to stimulate functioning. This pilot study examines the effectiveness and feasibility of the choose-get-keep model of Supported Education and Supported Employment (SEE) to improve educational and occupational functioning of individuals at CHR for a psychosis. A single blind randomized controlled pilot study combined SEE with treatment as usual (TAU) versus TAU among adolescents and early adults at CHR. School performance and job status as well as global functioning scales were assessed at twelve months. Of the 78 eligible participants, 20 individuals consented to participate in this study. At follow-up, participants in the intervention condition (n = 9) did not start an education more often than the participants in the control condition (n = 11) and the school results for both conditions were similar. However, in the intervention condition there were no school dropouts, more participants gained a job and worked longer hours. Two participants quit the intervention. This pilot study provides preliminary evidence that a SEE intervention is effective and feasible in sustaining and improving the level of both educational and occupational functioning of individuals at CHR for psychosis by supporting them in attaining, keeping and elaborating of their education or employment.</p