A FAIR and AI ready Higgs Boson Decay Dataset

Researchers aim to create scientific datasets that adhere to the principles of findability, accessibility, interoperability, and reusability(FAIR) for data and artificial intelligence (AI) models . This article provides a domain-agnostic, step-by-step assessment guide to evaluate whether or not agiven dataset meets each FAIR principle .…

High Performance Uncertainty Quantification with Parallelized Multilevel Markov Chain Monte Carlo

Numerical models of complex real-world phenomena often necessitate HighPerformance Computing . We present a parallelization strategy for multilevel Markov chain MonteCarlo, a state-of-the-art, algorithmically scalable Uncertainty Quantification(UQ) algorithm for Bayesian inverse problems . The main scalability challenge presents itself in the form of strong data dependencies introduced by the MLMCMC method, prohibitingtrivial parallelization .…

Relational E Matching

We present a new approach to e-matching based on relational join . We apply recent database query execution techniques to guaranteeworst-case optimal run time . Compared to the conventional backtracking approach, our new approach can better exploit pattern structure by searching the e-graph according to an optimized query plan .…

Notes on Perfectly Matched Layers PMLs

This note is intended as a brief introduction to the theory and practice ofperfectly matched layer (PML) absorbing boundaries for wave equations . It focuses on thecomplex stretched-coordinate viewpoint, and also discusses the limitations ofPML . It was originally developed for MIT courses 18.369 and 18.336 .…

High Performance Level 1 and Level 2 BLAS

The introduction of the Basic Linear Algebra Subroutine (BLAS) in the 1970s paved the way for different libraries to solve the same problem with animproved approach and hardware . The new BLAS implementation led to high-Performance Computing (HPC) innovation . We rely on the FMA instruction, OpenMP, and the compiler tooptimize the code rather than implementing the algorithm in assembly .…

High Performance Uncertainty Quantification with Parallelized Multilevel Markov Chain Monte Carlo

Numerical models of complex real-world phenomena often necessitate HighPerformance Computing . We present a parallelization strategy for multilevel Markov chain MonteCarlo, a state-of-the-art, algorithmically scalable Uncertainty Quantification(UQ) algorithm for Bayesian inverse problems . The main scalability challenge presents itself in the form of strong data dependencies introduced by the MLMCMC method, prohibitingtrivial parallelization .…

Real World Trajectory Sharing with Local Differential Privacy

Sharing trajectories is beneficial for many real-world applications, such as managing disease spread through contact tracing and tailoring public servicesto a population’s travel patterns . We propose a localdifferentially private mechanism that is based on perturbinghierarchically-structured, overlapping, overlapping $n$-grams of trajectory data .…

IoT Notary Attestable Sensor Data Capture in IoT Environments

IoT Notary provides secure log sealing on livesensor data to produce a verifiable `proof-of-integrity’ The secure logsonly take 21% more storage, while users can verify their one day’s data in lessthan two seconds even using a resource-limited device . Users can verify the one-day data in two seconds using a resources-only device .…

Full Text and URL Search Over Web Archives

Full-text and URL search have become the predominant and preferred forms of information discovery in web archives . Web archives preserve a mix of personal and collective memories, the importance of which tends to grow as they age . The value of web archives depends on their users being able to search and access the information they require in efficient and effective ways .…

The Sod gasdynamics problem as a tool for benchmarking face flux construction in the finite volume method

Finite Volume Method in Computational Fluid Dynamics to numerically modela fluid flow problem involves the process of formulating the numerical flux atthe faces of the control volume . The work considered twenty two flux methods, which are: exactRiemann solver (Godunov) Roe, Roe, Kurganov-Noelle-Petrova, Kurginov-Tadmor,Steger-Warming Flux Vector Splitting, van Leer, AUSM, AUFS, five variants of the Harten-Lax-van Leer (HLL) family, Lax-Friedrichs (Lax), and Rusanov .…

Big Data Science Over the Past Web

Web archives preserve unique and historically valuable information . They hold a record of past events and memories published by all kinds of people . Thetypical way to extract knowledge from a web archive is by using its search functionalities to find and analyse historical content .…

Featured Team Automata

A featured teamautomaton concisely describes a family of concrete product models for specificconfigurations determined by feature selection . We propose featured team automata to support variability in the developmentand analysis of teams, which are systems of reactive components that communicate according to specified synchronisation types .…

Scope Bounded Reachability in Valence Systems

Multi-pushdown systems have an undecidable reachability problem . We show that with this notion, reachability can be decided inPSPACE for every storage mechanism in the framework . This framework captures pushdowns, vectoraddition systems, integer vector addition systems, and combinations thereof .…

UNITI Mobile EMI Apps for a Large Scale European Study on Tinnitus

More and more observational studies exploit the achievements of mobile technology to ease the overall implementation procedure . For chronic disordertinnitus, only few long-running intervention studies exist, which use mobile technology in a larger setting . Tinnitus is characterized by its heterogeneous patient’s symptom profiles, which complicates the development of generaltreatments.…

UNITI Mobile EMI Apps for a Large Scale European Study on Tinnitus

More and more observational studies exploit the achievements of mobile technology to ease the overall implementation procedure . For chronic disordertinnitus, only few long-running intervention studies exist, which use mobile technology in a larger setting . Tinnitus is characterized by its heterogeneous patient’s symptom profiles, which complicates the development of generaltreatments.…

PIRM Processing In Racetrack Memories

Spintronic Domain WallMemory (DWM) provides near-SRAM read/write performance, energy savings and nonvolatility . PIRM leverages properties of DWM nanowires and allows them to serve as polymorphic gates . Compared to the leading DRAM PIM technique for DWM, it improves performance by 6.9x, 2.3x and energy by 5.5x, 3.4x for 8-bit addition and multiplication, respectively .…

UNITI Mobile EMI Apps for a Large Scale European Study on Tinnitus

More and more observational studies exploit the achievements of mobile technology to ease the overall implementation procedure . For chronic disordertinnitus, only few long-running intervention studies exist, which use mobile technology in a larger setting . Tinnitus is characterized by its heterogeneous patient’s symptom profiles, which complicates the development of generaltreatments.…

Accelerating advection for atmospheric modelling on Xilinx and Intel FPGAs

Reconfigurable architectures, such as FPGAs, enable the execution of code at electronics level . As the HPC community moves towards exascale an important question is the role such hardwaretechnologies can play in future supercomputers . In this paper we explore the porting of the PW advection kernel, an importantcode component used in a variety of atmospheric simulations and accounting for around 40\% of the runtime of the popular Met Office NERC Cloud model (MONC) We target latest generation Xilinx Alveo U280 and Intel Stratix 10FPGAs .…

Long Range Optical Wireless Information and Power Transfer

Simultaneous wireless information and power transfer (SWIPT) is a remarkable technology to support data and energy transfer in the era of Internet of Things(IoT) In this paper, we propose a beam-compression resonant beam (BCRB) system . We establish the analytical models of the transmission loss, the stability condition, the output power, and the spectralefficiency of the BCRB system, and evaluate the performance on the performance of the system .…

High Efficiency Resonant Beam Charging and Communication

Simultaneous wireless information and power transfer (SWIPT) has been visioned as an enabling technology for future 6G by providing high-efficiency power transfer and high-rate data transmissions concurrently . The proposed RBCC system can realize stable SWIPT over 10meters, whose energy conversion efficiency is increased by 14 times compared with the traditional system using the solid-state gain medium without TIM .…

Extracting Grammars from a Neural Network Parser for Anomaly Detection in Unknown Formats

Reinforcement learning has recently shown promise as a technique for training an artificial neural network to parse sentences in some unknown format . A key aspect of this approach is that the neural network learns to perform various parsingactions (such as merging two tokens) over a corpus of sentences, with the goal of maximizing the total reward, which is roughly based on the estimatedfrequency of the resulting structures .…

Measuring Disagreement in Science

Disagreement is essential to scientific progress, but extent of disagreement in science remains unknown . We develop a cue-phrase based approach to identify instances of disagreement citations across more than four million scientific articles . We reveal adisciplinary spectrum of disagreement, with higher disagreement in the socialsciences and lower disagreement in physics and mathematics .…

Accelerating advection for atmospheric modelling on Xilinx and Intel FPGAs

Reconfigurable architectures, such as FPGAs, enable the execution of code at electronics level . As the HPC community moves towards exascale an important question is the role such hardwaretechnologies can play in future supercomputers . In this paper we explore the porting of the PW advection kernel, an importantcode component used in a variety of atmospheric simulations and accounting for around 40\% of the runtime of the popular Met Office NERC Cloud model (MONC) We target latest generation Xilinx Alveo U280 and Intel Stratix 10FPGAs .…

Accelerating advection for atmospheric modelling on Xilinx and Intel FPGAs

Reconfigurable architectures, such as FPGAs, enable the execution of code at electronics level . As the HPC community moves towards exascale an important question is the role such hardwaretechnologies can play in future supercomputers . In this paper we explore the porting of the PW advection kernel, an importantcode component used in a variety of atmospheric simulations and accounting for around 40\% of the runtime of the popular Met Office NERC Cloud model (MONC) We target latest generation Xilinx Alveo U280 and Intel Stratix 10FPGAs .…

Generating Boolean Functions on Totalistic Automata Networks

In these models, each node takes two states 0 (passive) and 1 (active) The states of the nodes are updated in parallel following a local totalistic rule, i.e. depending only on the sum of active states . Four families of totalistic rules are considered: linear or matrix defined rules (a node takes state 1 if each of its neighbours is in state 1), threshold rules, isolated rules, interval rules and interval rules .…

Who Owns the Data A Systematic Review at the Boundary of Information Systems and Marketing

This paper gives a systematic research review at the boundary of theinformation systems (IS) and marketing disciplines . The citation asymmetries between IS and marketing are noted and an overall conceptual model is created . Forwardlooking suggestions are made on how academic researchers can better interfacewith industry and how academic research at the boundaries of IS can be further developed .…

Who Owns the Data A Systematic Review at the Boundary of Information Systems and Marketing

This paper gives a systematic research review at the boundary of theinformation systems (IS) and marketing disciplines . The citation asymmetries between IS and marketing are noted and an overall conceptual model is created . Forwardlooking suggestions are made on how academic researchers can better interfacewith industry and how academic research at the boundaries of IS can be further developed .…

Towards Semantic Interoperability in Historical Research Documenting Research Data and Knowledge with Synthesis

A vast area of research in historical science concerns the documentation and study of artefacts and related evidence . Current practice mostly usesspreadsheets or simple relational databases to organise the information as rowswith multiple columns of related attributes . Synthesis documentationsystem is Web-based andcollaborative, and makes use of existing standards for informationdocumentation and publication (CIDOC-CRM, RDF), focusing on semanticinteroperability and the production of data of high value and long-termvalidity .…

Counterexample Classification

In model checking, when a given model fails to satisfy the desiredspecification, a typical model checker provides a counterexample that shows how the violation occurs . In general, there exist many diversecounterexamples that exhibit distinct violating behaviors . The goal of classification is to partition thespace of all countereXamples into a finite set of classes, each of which describes a distinct type of violating behavior for the givenspecification .…

Who Owns the Data A Systematic Review at the Boundary of Information Systems and Marketing

This paper gives a systematic research review at the boundary of theinformation systems (IS) and marketing disciplines . The citation asymmetries between IS and marketing are noted and an overall conceptual model is created . Forwardlooking suggestions are made on how academic researchers can better interfacewith industry and how academic research at the boundaries of IS can be further developed .…

Who Owns the Data A Systematic Review at the Boundary of Information Systems and Marketing

This paper gives a systematic research review at the boundary of theinformation systems (IS) and marketing disciplines . The citation asymmetries between IS and marketing are noted and an overall conceptual model is created . Forwardlooking suggestions are made on how academic researchers can better interfacewith industry and how academic research at the boundaries of IS can be further developed .…