Properties of multilayer filters Interim report, 1 Sep. 1969 - 28 Feb. 1970

Using films of gold and silver for optical filter

Labour Market and Social Policy in Italy: Challenges and Changes. Bertelsmann Policy Brief #2016/02

vEight years after the outbreak of the financial crisis, Italy has still to cope with and overcome a plethora of economic and social challenges. On top of this, it faces an unfavourable demographic structure and severe disparities between its northern and southern regions. Some promising reforms have recently been enacted, specifically targeting poverty and social exclusion. However, much more remains to be done on the way towards greater economic stability and widely shared prosperity

Automatic Optimizations for Stream-based Monitoring Languages

Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are also a natural choice for safety-critical applications. Unlike for standard programming languages, there is, however, so far very little support for automatic code optimization. In this paper, we present the first collection of code transformations for the stream-based monitoring language RTLola. We show that classic compiler optimizations, such as Sparse Conditional Constant Propagation and Common Subexpression Elimination, can be adapted to monitoring specifications. We also develop new transformations -- Pacing Type Refinement and Filter Refinement -- which exploit the specific modular structure of RTLola as well as the implementation freedom afforded by a declarative specification language. We demonstrate the significant impact of the code transformations on benchmarks from the monitoring of unmanned aircraft systems (UAS).Comment: 20th International Conference on Runtime Verification (2020

Changes in cortical beta activity related to a biceps brachii movement task while experiencing exercise induced muscle damage

AbstractExercise-induced-muscle-damage (EIMD) is a well-described phenomenon which leads to decreased force output and altered neuromuscular function. How these symptoms of EIMD affect brain function, in particular cortical activity has not been described. Therefore the aim of this study was to investigate the relationship between the symptoms of EIMD and cortical beta (β) activity during a submaximal biceps brachii movement. Half of the subjects participated in an EIMD protocol. Control and EIMD groups were monitored for 132h thereafter. Muscle pain scores in the EIMD group peaked after 36h with the lowest muscle torque reported at 12h. Beta-1 and -2 activity was increased in the frontal and parietal area in the experimental group at 12h. This suggests an impact of EIMD induced neuromuscular changes on the cortical proprioceptive and motor perceptive networks. Beta-2 activity decreased in the control group over time suggesting a loss in focused attention and greater familiarization with the protocol as the study progressed. These data suggest that a change in β-1 and -2 activity is associated with integrating movement perception and proprioception post-EIMD