A computer controlled pendulum with position readout

We have designed, built and operated a physical pendulum which allows one to demonstrate experimentally the behaviour of the pendulum under any equation of motion for such a device for any initial conditions. All parameters in the equation of motion can be defined by the user. The potential of the apparatus reaches from demonstrating simple undamped harmonic oscillations to complex chaotic behaviour of the pendulum. The position data of the pendulum as well as derived kinematical quantities like velocity and acceleration can be stored for later offline analysis.Comment: 9 pages RevTeX, 9 figure

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

High-resolution modelling of particulate matter chemical composition over Europe:brake wear pollution

In today’s rapidly evolving society, the sources of atmospheric particulate matter (PM) emissions are shifting significantly. Stringent regulations on vehicle tailpipe emissions, in combination with a lack of control of non-exhaust vehicular emissions, have led to an increase in the relative contribution of non-exhaust PM in Europe. This study analyzes the spatial distribution, temporal trends, and impacts of brake wear PM pollution across Europe by modeling copper (Cu) concentrations at a high spatial resolution of ∼250 m which is a key tracer of brake-wear emissions. We integrated coarse-resolution brake-wear Cu from CAMx chemical transport model and high-resolution land use data into a random forest (RF) model to predict Cu concentrations at ∼250 m over whole of continental Europe. The RF model was trained using an unprecedented dataset of over 50,000 daily Cu measurements from 152 sites. It corrected CAMx underestimation and downscaled Cu to a higher spatial resolution. In validation, the model showed robust spatial and temporal prediction with good Pearson’s correlation coefficients of 0.6 and 0.7, respectively. We generated 10 years (2010–2019) of daily Cu concentrations over Europe, revealing spatial patterns aligned with urbanization and road networks, with peaks in cities and lower values in rural areas. Temporal trends reveal that Cu concentrations generally peak on weekdays and in winter. Despite a decline in PM across Europe over decades, Cu concentrations showed no decrease in many cities from 2010 to 2019. Cu levels are strongly correlated with population density with more than 12 million Europeans exposed to levels exceeding 40 ng/m3, equivalent to around 1 μg/m3 of total PM10 from brake wear. Our findings highlight the need for expanded metal measurement for non-exhaust tracers for a better understanding of the health relevance of PM composition including Cu, and more effective regulations of non-exhaust PM emissions as included in EURO 7 vehicles

The coming decade of digital brain research: A vision for neuroscience at the intersection of technology and computing

In recent years, brain research has indisputably entered a new epoch, driven by substantial methodological advances and digitally enabled data integration and modelling at multiple scales—from molecules to the whole brain. Major advances are emerging at the intersection of neuroscience with technology and computing. This new science of the brain combines high-quality research, data integration across multiple scales, a new culture of multidisciplinary large-scale collaboration, and translation into applications. As pioneered in Europe’s Human Brain Project (HBP), a systematic approach will be essential for meeting the coming decade’s pressing medical and technological challenges. The aims of this paper are to: develop a concept for the coming decade of digital brain research, discuss this new concept with the research community at large, identify points of convergence, and derive therefrom scientific common goals; provide a scientific framework for the current and future development of EBRAINS, a research infrastructure resulting from the HBP’s work; inform and engage stakeholders, funding organisations and research institutions regarding future digital brain research; identify and address the transformational potential of comprehensive brain models for artificial intelligence, including machine learning and deep learning; outline a collaborative approach that integrates reflection, dialogues, and societal engagement on ethical and societal opportunities and challenges as part of future neuroscience research

The coming decade of digital brain research: a vision for neuroscience at the intersection of technology and computing

In recent years, brain research has indisputably entered a new epoch, driven by substantial methodological advances and digitally enabled data integration and modelling at multiple scales— from molecules to the whole brain. Major advances are emerging at the intersection of neuroscience with technology and computing. This new science of the brain combines high-quality research, data integration across multiple scales, a new culture of multidisciplinary large-scale collaboration and translation into applications. As pioneered in Europe’s Human Brain Project (HBP), a systematic approach will be essential for meeting the coming decade’s pressing medical and technological challenges. The aims of this paper are to: develop a concept for the coming decade of digital brain research, discuss this new concept with the research community at large, to identify points of convergence, and derive therefrom scientific common goals; provide a scientific framework for the current and future development of EBRAINS, a research infrastructure resulting from the HBP’s work; inform and engage stakeholders, funding organisations and research institutions regarding future digital brain research; identify and address the transformational potential of comprehensive brain models for artificial intelligence, including machine learning and deep learning; outline a collaborative approach that integrates reflection, dialogues and societal engagement on ethical and societal opportunities and challenges as part of future neuroscience research