title: Binarization Methods for Motor-Imagery Brain-Computer Interface Classification

abstract: Successful motor-imagery brain-computer interface (MI-BCI) algorithms either extract a large number of handcrafted features and train a classifier, or combine feature extraction and classification within deep convolutional neural networks (CNNs). Both approaches typically result in a set of real-valued weights, that pose challenges when targeting real-time execution on tightly resource-constrained devices. We propose methods for each of these approaches that allow transforming real-valued weights to binary numbers for efficient inference. Our first method, based on sparse bipolar random projection, projects a large number of real-valued Riemannian covariance features to a binary space, where a linear SVM classifier can be learned with binary weights too. By tuning the dimension of the binary embedding, we achieve almost the same accuracy in 4-class MI ($\leq$1.27% lower) compared to models with float16 weights, yet delivering a more compact model with simpler operations to execute. Second, we propose to use memory-augmented neural networks (MANNs) for MI-BCI such that the augmented memory is binarized. Our method replaces the fully connected layer of CNNs with a binary augmented memory using bipolar random projection, or learned projection. Our experimental results on EEGNet, an already compact CNN for MI-BCI, show that it can be compressed by 1.28x at iso-accuracy using the random projection. On the other hand, using the learned projection provides 3.89% higher accuracy but increases the memory size by 28.10x.


title: Generalized diagonalization scheme for many-particle systems

abstract: Despite the advances in the development of numerical methods analytical approaches still play the key role on the way towards a deeper understanding of many-particle systems. In this regards, diagonalization schemes for Hamiltonians represent an important direction in the field. Among these techniques the method, presented here, might be that approach with the widest range of possible applications: We demonstrate that both stepwise and continuous unitary transformations to diagonalize the many-particle Hamiltonian as well as perturbation theory and also non-perturbative treatments can be understood within the same theoretical framework. The new method is based on the introduction of generalized projection operators and allows to develop a renormalization scheme which is used to evaluate directly the physical quantities of a many-particle system. The applicability of this approach is shown for two important elementary many-particle problems.


title: Combining detection and reconstruction of correlational and quasi-periodic motifs in viral genomic sequences with transitional genome mapping: Application to COVID-19

abstract: A method of Transitional Automorphic Mapping of the Genome on Itself (TAMGI) is aimed at combining detection and reconstruction of correlational and quasi-periodic motifs in the viral genomic RNA/DNA sequences. The motifs reconstructed by TAMGI are robust with respect to indels and point mutations and can be tried as putative therapeutic targets. We developed and tested the relevant theory and statistical criteria for TAMGI applications. The applications of TAMGI are illustrated by the study of motifs in the genomes of the severe acute respiratory syndrome coronaviruses SARS-CoV and SARS-CoV-2 (the latter coronavirus SARS-CoV-2 being responsible for the COVID-19 pandemic) packaged within filament-like helical capsid. Such ribonucleocapsid is transported into spherical membrane envelope with incorporated spike glycoproteins. Two other examples concern the genomes of viruses with icosahedral capsids, satellite tobacco mosaic virus (STMV) and bacteriophage PHIX174. A part of the quasi-periodic motifs in these viral genomes was evolved due to weakly specific cooperative interaction between genomic ssRNA/ssDNA and nucleocapsid proteins. The symmetry of the capsids leads to the natural selection of specific quasi-periodic motifs in the related genomic sequences. Generally, TAMGI provides a convenient tool for the study of numerous molecular mechanisms with participation of both quasi-periodic motifs and complete repeats, the genome organization, contextual analysis of cis/trans regulatory elements, data mining, and correlations in the genomic sequences.


title: On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices

abstract: This paper is concerned with factor left prime factorization problems for multivariate polynomial matrices without full row rank. We propose a necessary and sufficient condition for the existence of factor left prime factorizations of a class of multivariate polynomial matrices, and then design an algorithm to compute all factor left prime factorizations if they exist. We implement the algorithm on the computer algebra system Maple, and two examples are given to illustrate the effectiveness of the algorithm. The results presented in this paper are also true for the existence of factor right prime factorizations of multivariate polynomial matrices without full column rank.


title: Operadic structure on the Gerstenhaber-Schack complex for prestacks

abstract: We introduce an operad which acts on the Gerstenhaber-Schack complex of a prestack as defined by Dinh Van and Lowen, and which in particular allows us to endow this complex with an underlying $L_{\infty}$-structure. We make use of the operad $\operatorname{Quilt}$ which was used by Hawkins in order to solve the presheaf case. Due to the additional difficulty posed by the presence of twists, we have to use $\operatorname{Quilt}$ in a fundamentally different way (even for presheaves) in order to allow for an extension to prestacks. The resulting $L_{\infty}$-algebra governs the deformation theory of the prestack.


title: Hadrons and Few-Body Physics

abstract: We present a selection of topics with an interplay of hadron and few-body physics. This includes few-nucleon systems, light hypernuclei and quark dynamics for baryons and multiquarks. It is stressed that standard quark models predict very few stable multiquarks.


title: Optimization of loading factor preventing target cancellation

abstract: Adaptive algorithms based on sample matrix inversion belong to an important class of algorithms used in radar target detection to overcome prior uncertainty of interference covariance. Sample matrix inversion problem is generally ill conditioned. Moreover, the contamination of the empirical covariance matrix by the useful signal leads to significant degradation of performance of this class of adaptive algorithms. Regularization, also known in radar literature as sample covariance loading, can be used to combat both ill conditioning of the original problem and contamination of the empirical covariance by the desired signal. However, the optimum value of loading factor cannot be derived unless strong assumptions are made regarding the structure of covariance matrix and useful signal penetration model. In this paper an iterative algorithm for loading factor optimization based on the maximization of empirical signal to interference plus noise ratio (SINR) is proposed. The proposed solution does not rely on any assumptions regarding the structure of empirical covariance matrix and signal penetration model. The paper also presents simulation examples showing the effectiveness of the proposed solution.


title: Database (Lecture) Streams on the Cloud: An Experience Report on Teaching an Undergrad Database Lecture during a Pandemic

abstract: This is an experience report on teaching the undergrad lecture Big Data Engineering at Saarland University in summer term 2020 online. We describe our teaching philosophy, the tools used, what worked and what did not work. As we received extremely positive feedback from the students, in the future, we will continue to use the same teaching model for other lectures.


title: Fast signal recovery from quadratic measurements

abstract: We present a novel approach for recovering a sparse signal from cross-correlated data. Cross-correlations naturally arise in many fields of imaging, such as optics, holography and seismic interferometry. Compared to the sparse signal recovery problem that uses linear measurements, the unknown is now a matrix formed by the cross correlation of the unknown signal. Hence, the bottleneck for inversion is the number of unknowns that grows quadratically. The main idea of our proposed approach is to reduce the dimensionality of the problem by recovering only the diagonal of the unknown matrix, whose dimension grows linearly with the size of the problem. The keystone of the methodology is the use of an efficient {\em Noise Collector} that absorbs the data that come from the off-diagonal elements of the unknown matrix and that do not carry extra information about the support of the signal. This results in a linear problem whose cost is similar to the one that uses linear measurements. Our theory shows that the proposed approach provides exact support recovery when the data is not too noisy, and that there are no false positives for any level of noise. Moreover, our theory also demonstrates that when using cross-correlated data, the level of sparsity that can be recovered increases, scaling almost linearly with the number of data. The numerical experiments presented in the paper corroborate these findings.


title: A Case for a Currencyless Economy Based on Bartering with Smart Contracts

abstract: We suggest the re-introduction of bartering to create a cryptocurrencyless, currencyless, and moneyless economy segment. We contend that a barter economy would benefit enterprises, individuals, governments and societies. For instance, the availability of an online peer-to-peer barter marketplace would convert ordinary individuals into potential traders of both tangible and digital items and services. For example, they will be able to barter files and data that they collect. Equally motivating, they will be able to barter and re-introduce to the economy items that they no longer need such as, books, garden tools, and bikes which are normally kept and wasted in garages and sheds. We argue that most of the pieces of technology needed for building a barter system are now available, including blockchains, smart contracts, cryptography, secure multiparty computations and fair exchange protocols. However, additional research is needed to refine and integrate the pieces together. We discuss potential research directions.


title: Hybrid Modeling Application in Control Valve

abstract: In view of the serious nonlinearity, time-varying and parameter uncertainty in the physical model of regulating valve, a prediction model of flow rate and pressure of regulating valve based on mixed model was proposed.According to the physical model of the regulator, the parameters that can represent the operation state of the regulator are analyzed, and the relevant parameters are identified by unbiased LSSVM method.The DAMADICS simulation results show that the model can predict the output of flow rate and pressure with better accuracy, which can provide guidance for the design of automatic control valve or fault diagnosis system.


title: iPaaS in Agriculture 4.0: An Industrial Case

abstract: Current automation approaches in the Industry 4.0 have generated increased interest in the utilization of Integration Platforms as a Service (iPaaS) cloud architectures in order to unify and synchronize several systems, applications, and services in order to build smart solutions for automated and adaptive industrial process management. Existing iPaaS solutions present several out-of-the-box connectors and automation engines for easier integration of customers' projects, but show issues regarding overall adaptation outside their scope, brand locking, and occasionally high prices. Moreover, existing platforms fail to respond adequately to the needs of deploying multiple decision models capable of offering automated or semi-automated management of processes, thanks to the integration of the large diversity of data and event sources as well as the different physical or logical action entities. With the popularization of open-source software and applications such as BPM Engines, Machine Learning libraries, and Integration suites and libraries, it is possible to develop a fully customizable and adaptable, open-source iPaaS that can be used both in and outside industrial applications. In this paper, we propose a generic iPaaS architecture implemented on the basis of several open source solutions boasting integration, interoperability, and automated decision-making capabilities in the domain of Agriculture 4.0. A proof-of-concept based on these solutions is presented, as well as a case study on MA{\"I}SADOUR's grain storage process with a comparison with the currently human-operated tasks.


title: Design and Implementation of User-Friendly and Low-Cost Multiple-Application System for Smart City Using Microcontrollers

abstract: Our proposed system has seven main contributions, i.e., Smart street lights, Smart home, Bio-metric door and home security system, Intelligent traffic lights management and road security system, Private and smart parking, Intelligent accident management system and Smart information display/ notice board system. Our prototypes / products employ Arduino UNO board, Node MCU, Ultrasonic sensor, Fingerprint module, Servo motors, GSM, GPS, LEDs, Flame Sensor, Bluetooth and Wi-Fi module etc. We are very confident that our proposed systems are efficient, reliable, and cost-effective and can be easily tested and implemented on a large scale under real conditions.


title: Computational Skills by Stealth in Secondary School Data Science

abstract: The unprecedented growth in the availability of data of all types and qualities and the emergence of the field of data science has provided an impetus to finally realizing the implementation of the full breadth of the Nolan and Temple Lang proposed integration of computing concepts into statistics curricula at all levels in statistics and new data science programs and courses. Moreover, data science, implemented carefully, opens accessible pathways to stem for students for whom neither mathematics nor computer science are natural affinities, and who would traditionally be excluded. We discuss a proposal for the stealth development of computational skills in students' first exposure to data science through careful, scaffolded exposure to computation and its power. The intent of this approach is to support students, regardless of interest and self-efficacy in coding, in becoming data-driven learners, who are capable of asking complex questions about the world around them, and then answering those questions through the use of data-driven inquiry. This discussion is presented in the context of the International Data Science in Schools Project which recently published computer science and statistics consensus curriculum frameworks for a two-year secondary school data science program, designed to make data science accessible to all.


title: Singularity and Coordination Problems: Pandemic Lessons from 2020

abstract: Are there any indications that a Technological Singularity may be on the horizon? In trying to answer these questions, the authors made a small introduction to the area of safety research in artificial intelligence. The authors review some of the current paradigms in the development of autonomous intelligent systems, searching for evidence that may indicate the coming of a possible Technological Singularity. Finally, the authors present a reflection using the COVID-19 pandemic, something that showed that global society biggest problem in managing existential risks is its lack of coordination skills as a global society.


title: Going Paperless -- Main Challenges in EDRMS Implementation -- Case of Georgia

abstract: National governments are eager to incorporate information and communication technologies in their administrative agenda. Even though transformation from traditional to digital methods seem attractive, there are obstacles which come along with this change. Since countries are continuously implementing ICT-based technologies, the need for investigating the factors hindering their adoption becomes crucial. The main objective of this study is to inquire Electronic Documents and Records Management Systems (EDRMS) in the context of eGovernment. The centre of the investigation is how EDRMS could raise efficiency in public service delivery. Within the scope of this research, the associated challenges of the EDRMS implementation, possible ways to tackle those challenges and achieved benefits were analysed. For thorough examination, exploratory case study method was chosen, and the case of Georgia was investigated. For drawing conclusions and finding answers to the imposed questions qualitative approach was selected. Different ICT adoption theories and case study examples were analysed, among which the Estonian case was taken as a successful model. Empirical data collection was also an integral part of the study during which interviews with state officials, as well as experts, were conducted, and the questionnaire among civil servants was distributed. As a result of the research, the main aspects of the EDRMS implementation were evaluated, and the prospect of the possible future study was imposed.


title: On the gauge transformation for the rotation of the singular string in the Dirac monopole theory

abstract: In the Dirac theory of the quantum-mechanical interaction of a magnetic monopole and an electric charge, the vector potential is singular from the origin to infinity along certain direction - the so called Dirac string. Imposing the famous quantization condition, the singular string attached to the monopole can be rotated arbitrarily by a gauge transformation, and hence is not physically observable. By deriving its analytical expression and analyzing its properties, we show that the gauge function $\chi({\bf r})$ which rotates the string to another one has quite complicated behaviors depending on which side from which the position variable ${\bf r}$ gets across the plane expanded by the two strings. Consequently, some misunderstandings in the literature are clarified.


title: Better Patch Stitching for Parametric Surface Reconstruction

abstract: Recently, parametric mappings have emerged as highly effective surface representations, yielding low reconstruction error. In particular, the latest works represent the target shape as an atlas of multiple mappings, which can closely encode object parts. Atlas representations, however, suffer from one major drawback: The individual mappings are not guaranteed to be consistent, which results in holes in the reconstructed shape or in jagged surface areas. We introduce an approach that explicitly encourages global consistency of the local mappings. To this end, we introduce two novel loss terms. The first term exploits the surface normals and requires that they remain locally consistent when estimated within and across the individual mappings. The second term further encourages better spatial configuration of the mappings by minimizing novel stitching error. We show on standard benchmarks that the use of normal consistency requirement outperforms the baselines quantitatively while enforcing better stitching leads to much better visual quality of the reconstructed objects as compared to the state-of-the-art.


title: Towards a Policy-as-a-Service Framework to Enable Compliant, Trustworthy AI and HRI Systems in the Wild

abstract: Building trustworthy autonomous systems is challenging for many reasons beyond simply trying to engineer agents that 'always do the right thing.' There is a broader context that is often not considered within AI and HRI: that the problem of trustworthiness is inherently socio-technical and ultimately involves a broad set of complex human factors and multidimensional relationships that can arise between agents, humans, organizations, and even governments and legal institutions, each with their own understanding and definitions of trust. This complexity presents a significant barrier to the development of trustworthy AI and HRI systems---while systems developers may desire to have their systems 'always do the right thing,' they generally lack the practical tools and expertise in law, regulation, policy and ethics to ensure this outcome. In this paper, we emphasize the "fuzzy" socio-technical aspects of trustworthiness and the need for their careful consideration during both design and deployment. We hope to contribute to the discussion of trustworthy engineering in AI and HRI by i) describing the policy landscape that must be considered when addressing trustworthy computing and the need for usable trust models, ii) highlighting an opportunity for trustworthy-by-design intervention within the systems engineering process, and iii) introducing the concept of a "policy-as-a-service" (PaaS) framework that can be readily applied by AI systems engineers to address the fuzzy problem of trust during the development and (eventually) runtime process. We envision that the PaaS approach, which offloads the development of policy design parameters and maintenance of policy standards to policy experts, will enable runtime trust capabilities intelligent systems in the wild.


title: Understanding bias in facial recognition technologies

abstract: Over the past couple of years, the growing debate around automated facial recognition has reached a boiling point. As developers have continued to swiftly expand the scope of these kinds of technologies into an almost unbounded range of applications, an increasingly strident chorus of critical voices has sounded concerns about the injurious effects of the proliferation of such systems. Opponents argue that the irresponsible design and use of facial detection and recognition technologies (FDRTs) threatens to violate civil liberties, infringe on basic human rights and further entrench structural racism and systemic marginalisation. They also caution that the gradual creep of face surveillance infrastructures into every domain of lived experience may eventually eradicate the modern democratic forms of life that have long provided cherished means to individual flourishing, social solidarity and human self-creation. Defenders, by contrast, emphasise the gains in public safety, security and efficiency that digitally streamlined capacities for facial identification, identity verification and trait characterisation may bring. In this explainer, I focus on one central aspect of this debate: the role that dynamics of bias and discrimination play in the development and deployment of FDRTs. I examine how historical patterns of discrimination have made inroads into the design and implementation of FDRTs from their very earliest moments. And, I explain the ways in which the use of biased FDRTs can lead distributional and recognitional injustices. The explainer concludes with an exploration of broader ethical questions around the potential proliferation of pervasive face-based surveillance infrastructures and makes some recommendations for cultivating more responsible approaches to the development and governance of these technologies.


title: STP-UDGAT: Spatial-Temporal-Preference User Dimensional Graph Attention Network for Next POI Recommendation

abstract: Next Point-of-Interest (POI) recommendation is a longstanding problem across the domains of Location-Based Social Networks (LBSN) and transportation. Recent Recurrent Neural Network (RNN) based approaches learn POI-POI relationships in a local view based on independent user visit sequences. This limits the model's ability to directly connect and learn across users in a global view to recommend semantically trained POIs. In this work, we propose a Spatial-Temporal-Preference User Dimensional Graph Attention Network (STP-UDGAT), a novel explore-exploit model that concurrently exploits personalized user preferences and explores new POIs in global spatial-temporal-preference (STP) neighbourhoods, while allowing users to selectively learn from other users. In addition, we propose random walks as a masked self-attention option to leverage the STP graphs' structures and find new higher-order POI neighbours during exploration. Experimental results on six real-world datasets show that our model significantly outperforms baseline and state-of-the-art methods.


title: A window view quality assessment framework

abstract: The views that windows provide from inside a building affect human health and well-being. Although window view is an important element of architecture, there is no established framework to guide its design. The literature is widely dispersed across different disciplinary fields, and there is a need to coalesce this information into a framework that can be applied into the building design. Based on the literature, we present a framework for what constitutes 'view quality.' At the basis of our framework, we propose three primary variables: View Content (the assessment of visual features seen in the window view), View Access (the measure of how much of the view can be seen through the window from the occupant's position), and View Clarity (the assessment of how clear the view content appears in the window view when seen by an occupant). Each variable was thematically derived from different sources including daylighting standards, green certification systems, and scientific research studies. We describe the most important characteristics of each variable, and from our review of the literature, we propose a conceptual index that can evaluate the quality of a window view. While discussing the index, we summarize design recommendations for integrating these three variables into the building process and identify knowledge gaps for future research.


title: Crowdsourcing Bridge Vital Signs with Smartphone Vehicle Trips

abstract: A key challenge in monitoring and managing the structural health of bridges is the high-cost associated with specialized sensor networks. In the past decade, researchers predicted that cheap, ubiquitous mobile sensors would revolutionize infrastructure maintenance; yet many of the challenges in extracting useful information in the field with sufficient precision remain unsolved. Herein it is shown that critical physical properties, e.g., modal frequencies, of real bridges can be determined accurately from everyday vehicle trip data. The primary study collects smartphone data from controlled field experiments and "uncontrolled" UBER rides on a long-span suspension bridge in the USA and develops an analytical method to accurately recover modal properties. The method is successfully applied to "partially-controlled" crowdsourced data collected on a short-span highway bridge in Italy. This study verifies that pre-existing mobile sensor data sets, originally captured for other purposes, e.g., commercial use, public works, etc., can contain important structural information and therefore can be repurposed for large-scale infrastructure monitoring. A supplementary analysis projects that the inclusion of crowdsourced data in a maintenance plan for a new bridge can add over fourteen years of service (30% increase) without additional costs. These results suggest that massive and inexpensive datasets collected by smartphones could play an important role in monitoring the health of existing transportation infrastructure.


title: A Light Heterogeneous Graph Collaborative Filtering Model using Textual Information

abstract: Due to the development of graph neural networks, graph-based representation learning methods have made great progress in recommender systems. However, data sparsity is still a challenging problem that most graph-based recommendation methods are confronted with. Recent works try to address this problem by utilizing side information. In this paper, we exploit the relevant and easily accessible textual information by advanced natural language processing (NLP) models and propose a light RGCN-based (RGCN, relational graph convolutional network) collaborative filtering method on heterogeneous graphs. Specifically, to incorporate rich textual knowledge, we utilize a pre-trained NLP model to initialize the embeddings of text nodes. Afterward, by performing a simplified RGCN-based node information propagation on the constructed heterogeneous graph, the embeddings of users and items can be adjusted with textual knowledge, which effectively alleviates the negative effects of data sparsity. Moreover, the matching function used by most graph-based representation learning methods is the inner product, which is not appropriate for the obtained embeddings that contain complex semantics. We design a predictive network that combines graph-based representation learning with neural matching function learning, and demonstrate that this architecture can bring a significant performance improvement. Extensive experiments are conducted on three publicly available datasets, and the results verify the superior performance of our method over several baselines.


title: Privacy Concerns Regarding Occupant Tracking in Smart Buildings

abstract: Tracking of occupants within buildings has become a topic of interest in the past decade. Occupant tracking has been used in the public safety, energy conservation, and marketing fields. Various methods have been demonstrated which can track people outside of and inside buildings; including GPS, visual-based tracking using surveillance cameras, and vibration-based tracking using sensors such as accelerometers. In this work, those main systems for tracking occupants are compared and contrasted for the levels of detail they give about where occupants are, as well as their respective privacy concerns and how identifiable the tracking information collected is to a specific person. We discuss a case study using vibrations sensors mounted in Virginia Tech's Goodwin Hall that was recently conducted, demonstrating that similar levels of accuracy in occupant localization can be achieved to current methods, and highlighting the amount of identifying information in the vibration signals dataset. Finally, a method of transforming the vibration data to preserve occupant privacy was proposed and tested on the dataset. The results indicate that our proposed method has successfully resulted in anonymizing the occupant's gender information which was previously identifiable from the vibration data, while minimally impacting the localization accuracy achieved without anonymization.


title: Basic principles and concept design of a real-time clinical decision support system for managing medical emergencies on missions to Mars

abstract: Space agencies and private companies prepare the beginning of human space exploration for the 2030s with missions to put the first human on the Mars surface. The absence of gravity and radiation, along with distance, isolation and hostile environments, are expected to increase medical events where previously unseen manifestations may arise. The current healthcare strategy based on telemedicine and the possibility to stabilize and transport the injured crewmember to a terrestrial definitive medical facility is not applicable in exploration class missions. Therefore, the need for deploying the full autonomous capability to solve medical emergencies may guide the design of future onboard healthcare systems. We present ten basic principles and concept design of a software suite to bring onboard decision support to help the crew dealing with medical emergencies taking into consideration physiological disturbances in space and spaceflight restrictions. 1) give real-time support for emergency medical decision making, 2) give patient-specific advice for executive problem-solving, 3) take into account available information from life support and monitoring of crewmembers, 4) be fully autonomous from remote facilities, 5) continuously adapt predictions to physiological disturbance and changing conditions, 6) optimize emergency medical decision making in terms of mission fundamental priorities, 7) take into account medical supplies and equipment on board, 8) apply health standards for the level of care V, 9) implement ethics responsibilities for spaceflights, and 10) apply ethical standards for artificial intelligence. Based on these principles, we propose an autonomous clinical decision support system (CDSS) to provide real-time advice for emergency medical interventions on board of space exploration missions.


title: The Modular Isomorphism Problem for small groups -- revisiting Eick's algorithm

abstract: We study the Modular Isomorphism Problem (MIP) for groups of small order based on an improvement of an algorithm described by B. Eick. Our improvement allows to determine quotients $I(kG)/I(kG)^m$ of the augmentation ideal without first computing the full augmentation ideal $I(kG)$. It allows us to verify that the MIP has a positive answer for groups of order $3^7$ and to significantly reduce the cases that need to be checked for groups of order $5^6$. We further provide a proof for an observation of Bagi\'nski and provide a negative answer to a question of Bleher, Kimmerle, Roggenkamp and Wursthorn.


title: A Tendermint Light Client

abstract: In Tendermint blockchains, the proof-of-stake mechanism and the underlying consensus algorithm entail a dynamic fault model that implies that the active validators (nodes that sign blocks) may change over time, and a quorum of these validators is assumed to be correct only for a limited period of time (called trusting period). The changes of the validator set are under control of the blockchain application, and are committed in every block. In order to check what is the state of the blockchain application at some height h, one needs to know the validator set at that height so that one can verify the corresponding digital signatures and hashes. A naive way of determining the validator set for height h requires one to: (i) download all blocks before h, (ii) verify blocks by checking digital signatures and hashes and (iii) execute the corresponding transactions so the changes in the validator sets are reproduced. This can potentially be very slow and computationally and data intensive. In this paper we formalize the dynamic fault model imposed by Tendermint, and describe a light client protocol that allows to check the state of the blockchain application that, in realistic settings, reduces significantly the amount of data needed to be downloaded, and the number of required computationally expensive signature verification operations. In addition to mathematical proofs, we have formalized the light client protocol in TLA+, and checked safety and liveness with the APALACHE model checker.


title: Targeted Likelihood-Free Inference of Dark Matter Substructure in Strongly-Lensed Galaxies

abstract: The analysis of optical images of galaxy-galaxy strong gravitational lensing systems can provide important information about the distribution of dark matter at small scales. However, the modeling and statistical analysis of these images is extraordinarily complex, bringing together source image and main lens reconstruction, hyper-parameter optimization, and the marginalization over small-scale structure realizations. We present here a new analysis pipeline that tackles these diverse challenges by bringing together many recent machine learning developments in one coherent approach, including variational inference, Gaussian processes, differentiable probabilistic programming, and neural likelihood-to-evidence ratio estimation. Our pipeline enables: (a) fast reconstruction of the source image and lens mass distribution, (b) variational estimation of uncertainties, (c) efficient optimization of source regularization and other hyperparameters, and (d) marginalization over stochastic model components like the distribution of substructure. We present here preliminary results that demonstrate the validity of our approach.

categories: astro-ph.CO astro-ph.GA astro-ph.IM hep-ph


title: Training Invertible Linear Layers through Rank-One Perturbations

abstract: Many types of neural network layers rely on matrix properties such as invertibility or orthogonality. Retaining such properties during optimization with gradient-based stochastic optimizers is a challenging task, which is usually addressed by either reparameterization of the affected parameters or by directly optimizing on the manifold. This work presents a novel approach for training invertible linear layers. In lieu of directly optimizing the network parameters, we train rank-one perturbations and add them to the actual weight matrices infrequently. This P$^{4}$Inv update allows keeping track of inverses and determinants without ever explicitly computing them. We show how such invertible blocks improve the mixing and thus the mode separation of the resulting normalizing flows. Furthermore, we outline how the P$^4$ concept can be utilized to retain properties other than invertibility.

categories: stat.ML cs.LG math.OC physics.chem-ph physics.data-an


title: Probing primordial non-Gaussianity with the power spectrum and bispectrum of future 21cm intensity maps

abstract: After reionisation, the 21cm emission line of neutral hydrogen within galaxies provides a tracer of dark matter. Next-generation intensity mapping surveys, with the SKA and other radio telescopes, will cover large sky areas and a wide range of redshifts, facilitating their use as probes of primordial non-Gaussianity. {Previous works have shown that the bispectrum can achieve tight constraints on primordial non-Gaussianity with future surveys that are purposely designed for intensity mapping in interferometer mode}. Here we investigate the constraints attainable from surveys operating in single-dish mode, \rev{using the combined power spectrum and bispectrum signal}. In the case of the power spectrum, single-dish surveys typically outperform interferometer surveys. We find that the reverse holds for the bispectrum: single-dish surveys are not competitive with surveys designed for interferometer mode.


title: MARS-Gym: A Gym framework to model, train, and evaluate Recommender Systems for Marketplaces

abstract: Recommender Systems are especially challenging for marketplaces since they must maximize user satisfaction while maintaining the healthiness and fairness of such ecosystems. In this context, we observed a lack of resources to design, train, and evaluate agents that learn by interacting within these environments. For this matter, we propose MARS-Gym, an open-source framework to empower researchers and engineers to quickly build and evaluate Reinforcement Learning agents for recommendations in marketplaces. MARS-Gym addresses the whole development pipeline: data processing, model design and optimization, and multi-sided evaluation. We also provide the implementation of a diverse set of baseline agents, with a metrics-driven analysis of them in the Trivago marketplace dataset, to illustrate how to conduct a holistic assessment using the available metrics of recommendation, off-policy estimation, and fairness. With MARS-Gym, we expect to bridge the gap between academic research and production systems, as well as to facilitate the design of new algorithms and applications.


title: Machine Learning Research Towards Combating COVID-19: Virus Detection, Spread Prevention, and Medical Assistance

abstract: COVID-19 was first discovered in December 2019 and has continued to rapidly spread across countries worldwide infecting thousands and millions of people. The virus is deadly, and people who are suffering from prior illnesses or are older than the age of 60 are at a higher risk of mortality. Medicine and Healthcare industries have surged towards finding a cure, and different policies have been amended to mitigate the spread of the virus. While Machine Learning (ML) methods have been widely used in other domains, there is now a high demand for ML-aided diagnosis systems for screening, tracking, and predicting the spread of COVID-19 and finding a cure against it. In this paper, we present a journey of what role ML has played so far in combating the virus, mainly looking at it from a screening, forecasting, and vaccine perspectives. We present a comprehensive survey of the ML algorithms and models that can be used on this expedition and aid with battling the virus.


title: Soil moisture map construction using microwave remote sensors and sequential data assimilation

abstract: Microwave remote sensors mounted on center pivot irrigation systems provide a feasible approach to obtain soil moisture information, in the form of water content maps, for the implementation of closed-loop irrigation. Major challenges such as significant time delays in the soil moisture measurements, the inability of the sensors to provide soil moisture information in instances where the center pivot is stationary, and the inability of the sensors to provide soil moisture information in the root zone reduce the usability of the water content maps in the effective implementation of closed-loop irrigation. In this paper, we seek to address the aforementioned challenges and consequently describe a water content map construction procedure that is suitable for the implementation of closed-loop irrigation. Firstly, we propose the cylindrical coordinates version of the Richards equation (field model) which naturally models fields equipped with a center pivot irrigation system. Secondly, measurements obtained from the microwave sensors are assimilated into the field model using the extended Kalman filter to form an information fusion system, which will provide frequent soil moisture estimates and predictions in the form of moisture content maps. The utility of the proposed information fusion system is first investigated with simulated microwave sensor measurements. The information fusion system is then applied to a real large-scale agriculture field where we demonstrate the its ability to address the challenges. Three performance evaluation criteria are used to validate the soil moisture estimates and predictions provided by the proposed information fusion system.


title: OnRAMP for Regulating AI in Medical Products

abstract: Medical Artificial Intelligence (AI) involves the application of machine learning algorithms to biomedical datasets in order to improve medical practices. Products incorporating medical AI require certification before deployment in most jurisdictions. To date, clear pathways for regulating medical AI are still under development. Below the level of formal pathways lies the actual practice of developing a medical AI solution. This Perspective proposes best practice guidelines for development compatible with the production of a regulatory package which, regardless of the formal regulatory path, will form a core component of a certification process. The approach is predicated on a statistical risk perspective, typical of medical device regulators, and a deep understanding of machine learning methodologies. These guidelines will allow all parties to communicate more clearly in the development of a common Good Machine Learning Practice (GMLP), and thus lead to the enhanced development of both medical AI products and regulations.


title: Risk of Interruption of Doctoral Studies and Mental Health in PhD Students

abstract: PhD students report a higher prevalence of mental illness symptoms than highly educated individuals in the general population. This situation presents a serious problem for universities. Thus, the knowledge about this phenomenon is of great importance in decision-making. In this paper we use the Nature PhD survey 2019 and estimate several binomial logistic regression models to analyze the risk of interrupting doctoral studies. This risk is measured through the desire of change in either the supervisor or the area of expertise, or the wish of not pursue a PhD. Among the explanatory factors, we focus on the influence of anxiety/depression, discrimination, and bullying. As control variables we use demographic characteristics and others related with the doctoral program. Insufficient contact time with supervisors, and exceeding time spent studying -crossing the 50-h week barrier-, are risk factors of PhD studies interruption, but the most decisive risk factor is poor mental health. Universities should therefore foster an environment of well-being, which allows the development of autonomy and resilience of their PhD students or, when necessary, which fosters the development of conflict resolution skills.


title: Index of continuous families of bounded linear operators in Banach spaces and application

abstract: In this paper, we define an analytical index for continuous families of Fredholm operators parameterized by a topological space $\mathbb{X}$ into a Banach space $X.$ We also consider the Weyl spectrum for continuous families of bounded linear operators and we study its continuity.


title: From Cyber Terrorism to Cyber Peacekeeping: Are we there yet?

abstract: In Cyberspace nowadays, there is a burst of information that everyone has access. However, apart from the advantages the Internet offers, it also hides numerous dangers for both people and nations. Cyberspace has a dark side, including terrorism, bullying, and other types of violence. Cyberwarfare is a kind of virtual war that causes the same destruction that a physical war would also do. In this article, we discuss what Cyberterrorism is and how it can lead to Cyberwarfare.


title: Explainable Recommendations via Attentive Multi-Persona Collaborative Filtering

abstract: Two main challenges in recommender systems are modeling users with heterogeneous taste, and providing explainable recommendations. In this paper, we propose the neural Attentive Multi-Persona Collaborative Filtering (AMP-CF) model as a unified solution for both problems. AMP-CF breaks down the user to several latent 'personas' (profiles) that identify and discern the different tastes and inclinations of the user. Then, the revealed personas are used to generate and explain the final recommendation list for the user. AMP-CF models users as an attentive mixture of personas, enabling a dynamic user representation that changes based on the item under consideration. We demonstrate AMP-CF on five collaborative filtering datasets from the domains of movies, music, video games and social networks. As an additional contribution, we propose a novel evaluation scheme for comparing the different items in a recommendation list based on the distance from the underlying distribution of "tastes" in the user's historical items. Experimental results show that AMP-CF is competitive with other state-of-the-art models. Finally, we provide qualitative results to showcase the ability of AMP-CF to explain its recommendations.


title: Strong Property (T), weak amenability and $\ell^p$-cohomology in $\tilde{A}_2$-buildings

abstract: We prove that cocompact (and more generally: undistorted) lattices on $\tilde{A}_2$-buildings satisfy Lafforgue's strong property (T), thus exhibiting the first examples that are not related to algebraic groups over local fields. Our methods also give two further results. First, we show that the first $\ell^p$-cohomology of an $\tilde{A}_2$-building vanishes for any finite $p$. Second, we show that the non-commutative $L^p$-space for $p$ not in $[\frac 4 3,4]$ and the reduced $C^*$-algebra associated to an $\tilde{A}_2$-lattice do not have the operator space approximation property and, consequently, that the lattice is not weakly amenable.


title: Gauge independence of the physical fermion mass in the effective action of theories with radiative symmetry breaking

abstract: I consider an Abelian gauge theory, with a complex scalar field and massless, chiral fermions, in the limit where the couplings and the interactions induce radiative symmetry breaking, and I derive and verify the Nielsen identities that ensure the gauge independence of the physical fermion mass that emerges in the broken phase of the effective action.


title: 3D Segmentation Networks for Excessive Numbers of Classes: Distinct Bone Segmentation in Upper Bodies

abstract: Segmentation of distinct bones plays a crucial role in diagnosis, planning, navigation, and the assessment of bone metastasis. It supplies semantic knowledge to visualisation tools for the planning of surgical interventions and the education of health professionals. Fully supervised segmentation of 3D data using Deep Learning methods has been extensively studied for many tasks but is usually restricted to distinguishing only a handful of classes. With 125 distinct bones, our case includes many more labels than typical 3D segmentation tasks. For this reason, the direct adaptation of most established methods is not possible. This paper discusses the intricacies of training a 3D segmentation network in a many-label setting and shows necessary modifications in network architecture, loss function, and data augmentation. As a result, we demonstrate the robustness of our method by automatically segmenting over one hundred distinct bones simultaneously in an end-to-end learnt fashion from a CT-scan.


title: Turbulent radiative diffusion and turbulent Newtonian cooling

abstract: Radiation transport plays important roles in stellar atmospheres, but the effects of turbulence are being obscured by other effects such as stratification. Using radiative hydrodynamic simulations of forced turbulence, we determine the decay rates of sinusoidal large-scale temperature perturbations of different wavenumbers in the optically thick and thin regimes. Increasing the wavenumber increases the rate of decay in both regimes, but this effect is much weaker than for the usual turbulent diffusion of passive scalars, where the increase is quadratic for small wavenumbers. The turbulent decay is well described by an enhanced Newtonian cooling process in the optically thin limit, which is found to show a weak increase proportional to the square root of the wavenumber. In the optically thick limit, the increase in turbulent decay is somewhat steeper for wavenumbers below the energy-carrying wavenumber of the turbulence, but levels off toward larger wavenumbers. In the presence of turbulence, the typical cooling time is comparable to the turbulent turnover time. We observe that the temperature takes a long time to reach equilibrium in both the optically thin and thick cases, but in the former, the temperature retains smaller scale structures for longer.


title: A Predictive Visual Analytics System for Studying Neurodegenerative Disease based on DTI Fiber Tracts

abstract: Diffusion tensor imaging (DTI) has been used to study the effects of neurodegenerative diseases on neural pathways, which may lead to more reliable and early diagnosis of these diseases as well as a better understanding of how they affect the brain. We introduce an intelligent visual analytics system for studying patient groups based on their labeled DTI fiber tract data and corresponding statistics. The system's AI-augmented interface guides the user through an organized and holistic analysis space, including the statistical feature space, the physical space, and the space of patients over different groups. We use a custom machine learning pipeline to help narrow down this large analysis space, and then explore it pragmatically through a range of linked visualizations. We conduct several case studies using real data from the research database of Parkinson's Progression Markers Initiative.


title: Chinese Lexical Simplification

abstract: Lexical simplification has attracted much attention in many languages, which is the process of replacing complex words in a given sentence with simpler alternatives of equivalent meaning. Although the richness of vocabulary in Chinese makes the text very difficult to read for children and non-native speakers, there is no research work for Chinese lexical simplification (CLS) task. To circumvent difficulties in acquiring annotations, we manually create the first benchmark dataset for CLS, which can be used for evaluating the lexical simplification systems automatically. In order to acquire more thorough comparison, we present five different types of methods as baselines to generate substitute candidates for the complex word that include synonym-based approach, word embedding-based approach, pretrained language model-based approach, sememe-based approach, and a hybrid approach. Finally, we design the experimental evaluation of these baselines and discuss their advantages and disadvantages. To our best knowledge, this is the first study for CLS task.


title: Use of a ray-tracing simulation to characterize ghost rays in the FOXSI rocket experiment

abstract: Imaging X-rays by direct focusing offers greater sensitivity and a higher dynamic range compared to techniques based on indirect imaging. The Focusing Optics X-ray Solar Imager (FOXSI) is a sounding rocket payload that uses seven sets of nested Wolter-I figured mirrors to observe the Sun in hard X-rays through direct focusing. Characterizing the performance of these optics is critical to optimize their performance and to understand their resulting data. In this paper, we present a ray-tracing simulation we created and developed to study Wolter-I X-ray mirrors. We validated the accuracy of the ray-tracing simulation by modeling the FOXSI rocket optics. We found satisfactory agreements between the simulation predictions and laboratory data measured on the optics. We used the ray-tracing simulation to characterize a background pattern of singly reflected rays (i.e., ghost rays) generated by photons at certain incident angles reflecting on only one of a two-segment Wolter-I figure and still reaching the focal plane. We used the results of the ray-tracing simulation to understand, and to formulate a set of strategies that can be used to mitigate, the impact of ghost rays on the FOXSI optical modules. These strategies include the optimization of aperture plates placed at the entrance and exit of the smallest Wolter-I mirror used in FOXSI, a honeycomb type collimator, and a wedge absorber placed at the telescope aperture. The ray-tracing simulation proved to be a reliable set of tools to study Wolter-I X-ray optics. It can be used in many applications, including astrophysics, material sciences, and medical imaging.

categories: astro-ph.IM astro-ph.SR hep-ex physics.ins-det physics.optics physics.space-ph


title: Modurec: Recommender Systems with Feature and Time Modulation

abstract: Current state of the art algorithms for recommender systems are mainly based on collaborative filtering, which exploits user ratings to discover latent factors in the data. These algorithms unfortunately do not make effective use of other features, which can help solve two well identified problems of collaborative filtering: cold start (not enough data is available for new users or products) and concept shift (the distribution of ratings changes over time). To address these problems, we propose Modurec: an autoencoder-based method that combines all available information using the feature-wise modulation mechanism, which has demonstrated its effectiveness in several fields. While time information helps mitigate the effects of concept shift, the combination of user and item features improve prediction performance when little data is available. We show on Movielens datasets that these modifications produce state-of-the-art results in most evaluated settings compared with standard autoencoder-based methods and other collaborative filtering approaches.


title: A Data Driven End-to-end Approach for In-the-wild Monitoring of Eating Behavior Using Smartwatches

abstract: The increased worldwide prevalence of obesity has sparked the interest of the scientific community towards tools that objectively and automatically monitor eating behavior. Despite the study of obesity being in the spotlight, such tools can also be used to study eating disorders (e.g. anorexia nervosa) or provide a personalized monitoring platform for patients or athletes. This paper presents a complete framework towards the automated i) modeling of in-meal eating behavior and ii) temporal localization of meals, from raw inertial data collected in-the-wild using commercially available smartwatches. Initially, we present an end-to-end Neural Network which detects food intake events (i.e. bites). The proposed network uses both convolutional and recurrent layers that are trained simultaneously. Subsequently, we show how the distribution of the detected bites throughout the day can be used to estimate the start and end points of meals, using signal processing algorithms. We perform extensive evaluation on each framework part individually. Leave-one-subject-out (LOSO) evaluation shows that our bite detection approach outperforms four state-of-the-art algorithms towards the detection of bites during the course of a meal (0.923 F1 score). Furthermore, LOSO and held-out set experiments regarding the estimation of meal start/end points reveal that the proposed approach outperforms a relevant approach found in the literature (Jaccard Index of 0.820 and 0.821 for the LOSO and heldout experiments, respectively). Experiments are performed using our publicly available FIC and the newly introduced FreeFIC datasets.


title: Channel Type Recognition in Wireless Communications: A Deep Learning Approach

abstract: In this paper, we propose two novel and practical deep-learning-based algorithms to solve the wireless channel type (WCT) recognition problem. Specifically, the WCT recognition problem is recast as a classification problem in deep learning due to their similarities, where a deep neural network (DNN) is trained off-line with a diversity of typical WCTs for fifth-generation (5G) and beyond-5G wireless communications, which is then utilized to perform online WCT determination. In the first algorithm, one WCT is regarded as a single task. While in the second scheme, one WCT is jointly characterized by several independent features, each of which is treated as a task and is classified respectively by training a DNN in a multi-task-learning manner, and the final WCT is identified by the combination of those channel features. Simulation results show that the proposed algorithms can classify various WCTs instantaneously with high accuracy, result in satisfactory block error rate and throughput, and outperform a representative baseline WCT determination scheme.


title: Holomorphic polyvector fields on toric varieties

abstract: In this paper, we give an explicit description of holomorphic polyvector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties.


title: Representativity Fairness in Clustering

abstract: Incorporating fairness constructs into machine learning algorithms is a topic of much societal importance and recent interest. Clustering, a fundamental task in unsupervised learning that manifests across a number of web data scenarios, has also been subject of attention within fair ML research. In this paper, we develop a novel notion of fairness in clustering, called representativity fairness. Representativity fairness is motivated by the need to alleviate disparity across objects' proximity to their assigned cluster representatives, to aid fairer decision making. We illustrate the importance of representativity fairness in real-world decision making scenarios involving clustering and provide ways of quantifying objects' representativity and fairness over it. We develop a new clustering formulation, RFKM, that targets to optimize for representativity fairness along with clustering quality. Inspired by the $K$-Means framework, RFKM incorporates novel loss terms to formulate an objective function. The RFKM objective and optimization approach guides it towards clustering configurations that yield higher representativity fairness. Through an empirical evaluation over a variety of public datasets, we establish the effectiveness of our method. We illustrate that we are able to significantly improve representativity fairness at only marginal impact to clustering quality.


title: Croatian public companies for energy distribution and supply: integration of information subsystems

abstract: This research is about integration of information subsystems from:information system procurement, financial information system, information system security, technical information systems and legal information systems, and about their mutual dependence and close connections in Croatian public companies for energy distribution and supply. Also, herewe research the main goals of procurement information system which must be achieved in every organization because procurement process takes place in every public organization. Based on the model of the business technology matrix their processes can be executed by other companies engaged in similar activities. This research paper describes the timing of the sub processes, also. The timing of sub processes needs to be reduced as much as possible to achieve the planned results at the exit of the sub processes so that the costs of running sub-processes are equal to or lower than they had been so far, but with a higher quality output. We discuss possible threats to the information systems organization, and how to protect electronic information in the process of restoration of electronic data base for the financial information system. At the end the research paper we explain the advantages and disadvantages of cloud computing, information security in the event of possible applications of computing in the clouds and activities for technical information system in the flow diagram.


title: Quantum dynamics of the black hole interior in LQC

abstract: It has been suggested that the homogeneous black hole interior spacetime, when quantized following the techniques of loop quantum cosmology, has a resolved singularity replaced by a black-to-white hole transition. This result has however been derived so far only using effective classical evolution equations, and depends on details of the so-called polymerization scheme for the Hamiltonian constraint. Here we propose to use the unimodular formulation of general relativity to study the full quantum dynamics of this mini-superspace model. When applied to such cosmological models, unimodular gravity has the advantage of trivializing the problem of time by providing a true Hamiltonian which follows a Schr\"odinger evolution equation. By choosing variables adapted to this setup, we show how to write semi-classical states agreeing with that of the Wheeler-DeWitt theory at late times, and how in loop quantum cosmology they evolve through the would-be singularity while remaining sharply peaked. This provides a very simple setup for the study of the full quantum dynamics of these models, which can hopefully serve to tame regularization ambiguities.


title: PrivaLog: a privacy-aware logic programming language

abstract: Logic Programming (LP) is a subcategory of declarative programming that is considered to be relatively simple for non-programmers. LP developers focus on describing facts and rules of a logical derivation, and do not need to think about the algorithms actually implementing the derivation. Secure multiparty computation (MPC) is a cryptographic technology that allows to perform computation on private data without actually seeing the data. In this paper, we bring together the notions of MPC and LP, allowing users to write privacy-preserving applications in logic programming language.


title: An elementary proof of a fundamental result in phase retrieval

abstract: Edidin [3] proved a fundamental result in phase retrieval: Theorem: A family of orthogonal projections $\{P_i\}_{i=1}^m$ does phase retrieval in $\mathbb{R}^n$ if and only if for every $0\not= x\in \mathbb{R}^n$, the family $\{P_ix\}_{i=1}^m$ spans $\mathbb{R}^n$. The proof of this result relies on Algebraic Geometry and so is inaccessible to many people in the field. We will give an elementary proof of this result without Algebraic Geometry. We will also solve the complex version of this result by showing that the "if" part fails and the "only if" part holds in $\mathbb{C}^n$. Finally, we will show that these techniques can be used to verify two classifications of norm retrieval.


title: Symmetries of the Black Hole Interior and Singularity Regularization

abstract: We reveal an $\mathfrak{iso}(2,1)$ Poincar\'e algebra of conserved charges associated with the dynamics of the interior of black holes. The action of these Noether charges integrates to a symmetry of the gravitational system under the Poincar\'e group ISO$(2,1)$, which allows to describe the evolution of the geometry inside the black hole in terms of geodesics and horocycles of AdS${}_2$. At the Lagrangian level, this symmetry corresponds to M\"obius transformations of the proper time together with translations. Remarkably, this is a physical symmetry changing the state of the system, which also naturally forms a subgroup of the much larger $\textrm{BMS}_{3}=\textrm{Diff}(S^1)\ltimes\textrm{Vect}(S^1)$ group, where $S^1$ is the compactified time axis. It is intriguing to discover this structure for the black hole interior, and this hints at a fundamental role of BMS symmetry for black hole physics. The existence of this symmetry provides a powerful criterion to discriminate between different regularization and quantization schemes. Following loop quantum cosmology, we identify a regularized set of variables and Hamiltonian for the black hole interior, which allows to resolve the singularity in a black-to-white hole transition while preserving the Poincar\'e symmetry on phase space. This unravels new aspects of symmetry for black holes, and opens the way towards a rigorous group quantization of the interior.


title: Dual canonical bases for unipotent groups and base affine spaces

abstract: Denote by $N \subset SL_k$ the subgroup of unipotent upper triangular matrices. In this paper, we show that the dual canonical basis of $\mathbb{C}[N]$ (and base affine spaces) can be parameterized by semi-standard Young tableaux. Moreover, we give an explicit formula for every element in the the dual canonical basis using the data of the corresponding semistandard Young tableau. We apply our results to study cluster variables in $\mathbb{C}[N]$.


title: GiantMIDI-Piano: A large-scale MIDI dataset for classical piano music

abstract: Symbolic music datasets are important for music information retrieval and musical analysis. However, there is a lack of large-scale symbolic datasets for classical piano music. In this article, we create a GiantMIDI-Piano (GP) dataset containing 38,700,838 transcribed notes and 10,855 unique solo piano works composed by 2,786 composers. We extract the names of music works and the names of composers from the International Music Score Library Project (IMSLP). We search and download their corresponding audio recordings from the internet. We further create a curated subset containing 7,236 works composed by 1,787 composers by constraining the titles of downloaded audio recordings containing the surnames of composers. We apply a convolutional neural network to detect solo piano works. Then, we transcribe those solo piano recordings into Musical Instrument Digital Interface (MIDI) files using a high-resolution piano transcription system. Each transcribed MIDI file contains the onset, offset, pitch, and velocity attributes of piano notes and pedals. GiantMIDI-Piano includes 90% live performance MIDI files and 10\% sequence input MIDI files. We analyse the statistics of GiantMIDI-Piano and show pitch class, interval, trichord, and tetrachord frequencies of six composers from different eras to show that GiantMIDI-Piano can be used for musical analysis. We evaluate the quality of GiantMIDI-Piano in terms of solo piano detection F1 scores, metadata accuracy, and transcription error rates. We release the source code for acquiring the GiantMIDI-Piano dataset at https://github.com/bytedance/GiantMIDI-Piano


title: Simple Single-Section Diode Frequency Combs

abstract: Frequency combs, broadband light sources whose spectra consist of coherent, discrete modes, have become essential in many fields. Miniaturizing frequency combs would be a significant advance in these fields, enabling the deployment of frequency-comb based devices for diverse measurement and spectroscopy applications. We demonstrate diode-laser based frequency comb generators. These laser diodes are simple, electrically pumped, inexpensive and readily manufactured. Each chip contains several dozen diode-laser combs. We measure the time-domain output of a diode frequency comb to reveal the underlying frequency dynamics responsible for the comb spectrum, conduct dual comb spectroscopy of a molecular gas with two devices on the same chip, and demonstrate that these combs can be battery powered.


title: Data assimilation for chaotic dynamics

abstract: Chaos is ubiquitous in physical systems. The associated sensitivity to initial conditions is a significant obstacle in forecasting the weather and other geophysical fluid flows. Data assimilation is the process whereby the uncertainty in initial conditions is reduced by the astute combination of model predictions and real-time data. This chapter reviews recent findings from investigations on the impact of chaos on data assimilation methods: for the Kalman filter and smoother in linear systems, analytic results are derived; for their ensemble-based versions and nonlinear dynamics, numerical results provide insights. The focus is on characterising the asymptotic statistics of the Bayesian posterior in terms of the dynamical instabilities, differentiating between deterministic and stochastic dynamics. We also present two novel results. Firstly, we study the functioning of the ensemble Kalman filter in the context of a chaotic, coupled, atmosphere-ocean model with a quasi-degenerate spectrum of Lyapunov exponents, showing the importance of having sufficient ensemble members to track all of the near-null modes. Secondly, for the fully non-Gaussian method of the particle filter, numerical experiments are conducted to test whether the curse of dimensionality can be mitigated by discarding observations in the directions of little dynamical growth of uncertainty. The results refute this option, most likely because the particles already embody this information on the chaotic system. The results also suggest that it is the rank of the unstable-neutral subspace of the dynamics, and not that of the observation operator, that determines the required number of particles. We finally discuss how knowledge of the random attractor can play a role in the development of future data assimilation schemes for chaotic multiscale systems with large scale separation.


title: Optimal quantisation of probability measures using maximum mean discrepancy

abstract: Several researchers have proposed minimisation of maximum mean discrepancy (MMD) as a method to quantise probability measures, i.e., to approximate a target distribution by a representative point set. We consider sequential algorithms that greedily minimise MMD over a discrete candidate set. We propose a novel non-myopic algorithm and, in order to both improve statistical efficiency and reduce computational cost, we investigate a variant that applies this technique to a mini-batch of the candidate set at each iteration. When the candidate points are sampled from the target, the consistency of these new algorithm - and their mini-batch variants - is established. We demonstrate the algorithms on a range of important computational problems, including optimisation of nodes in Bayesian cubature and the thinning of Markov chain output.


title: Conditional Monte Carlo revisited

abstract: Conditional Monte Carlo refers to sampling from the conditional distribution of a random vector X given the value T(X) = t for a function T(X). Classical conditional Monte Carlo methods were designed for estimating conditional expectations of functions of X by sampling from unconditional distributions obtained by certain weighting schemes. The basic ingredients were the use of importance sampling and change of variables. In the present paper we reformulate the problem by introducing an artificial parametric model, representing the conditional distribution of X given T(X)=t within this new model. The key is to provide the parameter of the artificial model by a distribution. The approach is illustrated by several examples, which are particularly chosen to illustrate conditional sampling in cases where such sampling is not straightforward. A simulation study and an application to goodness-of-fit testing of real data are also given.


title: Homogeneous polynomials and spurious local minima on the unit sphere

abstract: We consider degree-d forms on the Euclidean unit sphere. We specialize to our setting a genericity result by Nie obtained in a more general framework. We exhibit an homogeneous polynomial Res in the coefficients of f , such that if Res(f) = 0 then all points that satisfy first-and second-order necessary optimality conditions are in fact local minima of f on the unit sphere. Then we obtain obtain a simple and compact characterization of all local minima of generic degree-d forms, solely in terms of the value of (i) f , (ii) the norm of its gradient, and (iii) the first two smallest eigenvalues of its Hessian, all evaluated at the point. In fact this property also holds for twice continuous differentiable functions that are positively homogeneous. Finally we obtain a characterization of generic degree-d forms with no spurious local minimum on the unit sphere by using a property of gradient ideals in algebraic geometry.


title: Machine Learning Force Fields

abstract: In recent years, the use of Machine Learning (ML) in computational chemistry has enabled numerous advances previously out of reach due to the computational complexity of traditional electronic-structure methods. One of the most promising applications is the construction of ML-based force fields (FFs), with the aim to narrow the gap between the accuracy of ab initio methods and the efficiency of classical FFs. The key idea is to learn the statistical relation between chemical structure and potential energy without relying on a preconceived notion of fixed chemical bonds or knowledge about the relevant interactions. Such universal ML approximations are in principle only limited by the quality and quantity of the reference data used to train them. This review gives an overview of applications of ML-FFs and the chemical insights that can be obtained from them. The core concepts underlying ML-FFs are described in detail and a step-by-step guide for constructing and testing them from scratch is given. The text concludes with a discussion of the challenges that remain to be overcome by the next generation of ML-FFs.


title: UAV Trajectory and Communication Co-design: Flexible Path Discretization and Path Compression

abstract: The performance optimization of UAV communication systems requires the joint design of UAV trajectory and communication efficiently. To tackle the challenge of infinite design variables arising from the continuous-time UAV trajectory optimization, a commonly adopted approach is by approximating the UAV trajectory with piecewise-linear path segments in three-dimensional (3D) space. However, this approach may still incur prohibitive computational complexity in practice when the UAV flight period/distance becomes long, as the distance between consecutive waypoints needs to be kept sufficiently small to retain high approximation accuracy. To resolve this fundamental issue, we propose in this paper a new and general framework for UAV trajectory and communication co-design. First, we propose a flexible path discretization scheme that optimizes only a number of selected waypoints (designable waypoints) along the UAV path for complexity reduction, while all the designable and non-designable waypoints are used in calculating the approximated communication utility along the UAV trajectory for ensuring high trajectory discretization accuracy. Next, given any number of designable waypoints, we propose a novel path compression scheme where the UAV 3D path is first decomposed into three one-dimensional (1D) sub-paths and each sub-path is then approximated by superimposing a number of selected basis paths weighted by their corresponding path coefficients, thus further reducing the path design complexity. Finally, we provide a case study on UAV trajectory design for aerial data harvesting from distributed ground sensors, and numerically show that the proposed schemes can significantly reduce the UAV trajectory design complexity yet achieve favorable rate performance as compared to conventional path/time discretization schemes.


title: Learned Greedy Method (LGM): A Novel Neural Architecture for Sparse Coding and Beyond

abstract: The fields of signal and image processing have been deeply influenced by the introduction of deep neural networks. These are successfully deployed in a wide range of real-world applications, obtaining state of the art results and surpassing well-known and well-established classical methods. Despite their impressive success, the architectures used in many of these neural networks come with no clear justification. As such, these are usually treated as "black box" machines that lack any kind of interpretability. A constructive remedy to this drawback is a systematic design of such networks by unfolding well-understood iterative algorithms. A popular representative of this approach is the Iterative Shrinkage-Thresholding Algorithm (ISTA) and its learned version -- LISTA, aiming for the sparse representations of the processed signals. In this paper we revisit this sparse coding task and propose an unfolded version of a greedy pursuit algorithm for the same goal. More specifically, we concentrate on the well-known Orthogonal-Matching-Pursuit (OMP) algorithm, and introduce its unfolded and learned version. Key features of our Learned Greedy Method (LGM) are the ability to accommodate a dynamic number of unfolded layers, and a stopping mechanism based on representation error, both adapted to the input. We develop several variants of the proposed LGM architecture and test some of them in various experiments, demonstrating their flexibility and efficiency.


title: Power in Liquid Democracy

abstract: The paper develops a theory of power for delegable proxy voting systems. We define a power index able to measure the influence of both voters and delegators. Using this index, which we characterize axiomatically, we extend an earlier game-theoretic model by incorporating power-seeking behavior by agents. We analytically study the existence of pure strategy Nash equilibria in such a model. Finally, by means of simulations, we study the effect of relevant parameters on the emergence of power inequalities in the model.


title: Exact neural mass model for synaptic-based working memory

abstract: A synaptic theory of Working Memory (WM) has been developed in the last decade as a possible alternative to the persistent spiking paradigm. In this context, we have developed a neural mass model able to reproduce exactly the dynamics of heterogeneous spiking neural networks encompassing realistic cellular mechanisms for short-term synaptic plasticity. This population model reproduces the macroscopic dynamics of the network in terms of the firing rate and the mean membrane potential. The latter quantity allows us to get insight on Local Field Potential and electroencephalographic signals measured during WM tasks to characterize the brain activity. More specifically synaptic facilitation and depression integrate each other to efficiently mimic WM operations via either synaptic reactivation or persistent activity. Memory access and loading are associated to stimulus-locked transient oscillations followed by a steady-state activity in the $\beta-\gamma$ band, thus resembling what observed in the cortex during vibrotactile stimuli in humans and object recognition in monkeys. Memory juggling and competition emerge already by loading only two items. However more items can be stored in WM by considering neural architectures composed of multiple excitatory populations and a common inhibitory pool. Memory capacity depends strongly on the presentation rate of the items and it maximizes for an optimal frequency range. In particular we provide an analytic expression for the maximal memory capacity. Furthermore, the mean membrane potential turns out to be a suitable proxy to measure the memory load, analogously to event driven potentials in experiments on humans. Finally we show that the $\gamma$ power increases with the number of loaded items, as reported in many experiments, while $\theta$ and $\beta$ power reveal non monotonic behaviours.

categories: q-bio.NC cond-mat.dis-nn math.DS nlin.AO physics.bio-ph


title: Cramer-von Mises tests for Change Points

abstract: We study two nonparametric tests of the hypothesis that a sequence of independent observations is identically distributed against the alternative that at a single change point the distribution changes. The tests are based on the Cramer-von Mises two-sample test computed at every possible change point. One test uses the largest such test statistic over all possible change points; the other averages over all possible change points. Large sample theory for the average statistic is shown to provide useful p-values much more quickly than bootstrapping, particularly in long sequences. Power is analyzed for contiguous alternatives. The average statistic is shown to have limiting power larger than its level for such alternative sequences. Evidence is presented that this is not true for the maximal statistic. Asymptotic methods and bootstrapping are used for constructing the test distribution. Performance of the tests is checked with a Monte Carlo power study for various alternative distributions.


title: Energy-momentum pseudotensor and superpotential for generally covariant theories of gravity of general form

abstract: The current paper is devoted to the investigation of the general form of the energy-momentum pseudotensor (pEMT) and the corresponding superpotential for the wide class of theories. The only requirement for such a theory is the general covariance of the action without any restrictions on the order of derivatives of the independent variables in it or their transformation laws. As a result of the generalized Noether procedure, we obtain a recurrent chain of the equations, which allows one to express canonical pEMT as a divergence of the superpotential. The explicit expression for this superpotential is also given. We discuss the structure of the obtained expressions and the conditions for the derived pEMT conservation laws to be satisfied independently (fully or partially) of the equations of motion. Deformations of the superpotential form for theories with a change of the independent variables in the action are also considered. We apply these results to some interesting particular cases: General Relativity and its modifications, particularly mimetic gravity and Regge-Teitelboim embedding gravity.


title: Summarize, Outline, and Elaborate: Long-Text Generation via Hierarchical Supervision from Extractive Summaries

abstract: The difficulty of generating coherent long texts lies in the fact that existing models overwhelmingly focus on predicting local words, and cannot make high level plans on what to generate or capture the high-level discourse dependencies between chunks of texts. Inspired by human writing processes, where a list of bullet points or a catalog is first outlined, and then each bullet point is expanded to form the whole article, we propose {\it SOE}, a pipelined system that involves of summarizing, outlining and elaborating for long text generation: the model first outlines the summaries for different segments of long texts, and then elaborates on each bullet point to generate the corresponding segment. To avoid the labor-intensive process of summary soliciting, we propose the {\it reconstruction} strategy, which extracts segment summaries in an unsupervised manner by selecting its most informative part to reconstruct the segment. The proposed generation system comes with the following merits: (1) the summary provides high-level guidance for text generation and avoids the local minimum of individual word predictions; (2) the high-level discourse dependencies are captured in the conditional dependencies between summaries and are preserved during the summary expansion process and (3) additionally, we are able to consider significantly more contexts by representing contexts as concise summaries. Extensive experiments demonstrate that SOE produces long texts with significantly better quality, along with faster convergence speed.


title: AutoADR: Automatic Model Design for Ad Relevance

abstract: Large-scale pre-trained models have attracted extensive attention in the research community and shown promising results on various tasks of natural language processing. However, these pre-trained models are memory and computation intensive, hindering their deployment into industrial online systems like Ad Relevance. Meanwhile, how to design an effective yet efficient model architecture is another challenging problem in online Ad Relevance. Recently, AutoML shed new lights on architecture design, but how to integrate it with pre-trained language models remains unsettled. In this paper, we propose AutoADR (Automatic model design for AD Relevance) -- a novel end-to-end framework to address this challenge, and share our experience to ship these cutting-edge techniques into online Ad Relevance system at Microsoft Bing. Specifically, AutoADR leverages a one-shot neural architecture search algorithm to find a tailored network architecture for Ad Relevance. The search process is simultaneously guided by knowledge distillation from a large pre-trained teacher model (e.g. BERT), while taking the online serving constraints (e.g. memory and latency) into consideration. We add the model designed by AutoADR as a sub-model into the production Ad Relevance model. This additional sub-model improves the Precision-Recall AUC (PR AUC) on top of the original Ad Relevance model by 2.65X of the normalized shipping bar. More importantly, adding this automatically designed sub-model leads to a statistically significant 4.6% Bad-Ad ratio reduction in online A/B testing. This model has been shipped into Microsoft Bing Ad Relevance Production model.


title: Contextual Pattern Matching

abstract: The research on indexing repetitive string collections has focused on the same search problems used for regular string collections, though they can make little sense in this scenario. For example, the basic pattern matching query "list all the positions where pattern $P$ appears" can produce huge outputs when $P$ appears in an area shared by many documents. All those occurrences are essentially the same. In this paper we propose a new query that can be more appropriate in these collections, which we call {\em contextual pattern matching}. The basic query of this type gives, in addition to $P$, a context length $\ell$, and asks to report the occurrences of all {\em distinct} strings $XPY$, with $|X|=|Y|=\ell$. While this query is easily solved in optimal time and linear space, we focus on using space related to the repetitiveness of the text collection and present the first solution of this kind. Letting $\ovr$ be the maximum of the number of runs in the BWT of the text $T[1..n]$ and of its reverse, our structure uses $O(\ovr\log(n/\ovr))$ space and finds the $c$ contextual occurrences $XPY$ of $(P,\ell)$ in time $O(|P| + c \log n)$. We give other space/time tradeoffs as well, for compressed and uncompressed indexes.


title: Angular dependence of magnetoresistance and planar Hall effect in semimetals in strong magnetic fields

abstract: The semiclassical transport theory is especially powerful for investigating galvanomagnetic effects. Generally, the semiclassical theory is applicable only in weak fields because it does not consider Landau quantization. Herein, we extend the conventional semiclassical theory by considering Landau quantization through the field dependence of carrier density in semimetals. The extended semiclassical theory is applicable even in strong fields, where Landau quantization is noticeable. Using this new approach, we explain the qualitative change in the angular dependence of transverse magnetoresistance (TMR), anisotropic magnetoresistance (AMR), and planar Hall effect (PHE) in bismuth with an increase in the magnetic field. This unveils the puzzle of nontrivial field-induced changes in TMR, AMR, and PHE observed recently in semimetal bismuth.


title: Differentiable Implicit Layers

abstract: In this paper, we introduce an efficient backpropagation scheme for non-constrained implicit functions. These functions are parametrized by a set of learnable weights and may optionally depend on some input; making them perfectly suitable as a learnable layer in a neural network. We demonstrate our scheme on different applications: (i) neural ODEs with the implicit Euler method, and (ii) system identification in model predictive control.


title: Recipes for Safety in Open-domain Chatbots

abstract: Models trained on large unlabeled corpora of human interactions will learn patterns and mimic behaviors therein, which include offensive or otherwise toxic behavior and unwanted biases. We investigate a variety of methods to mitigate these issues in the context of open-domain generative dialogue models. We introduce a new human-and-model-in-the-loop framework for both training safer models and for evaluating them, as well as a novel method to distill safety considerations inside generative models without the use of an external classifier at deployment time. We conduct experiments comparing these methods and find our new techniques are (i) safer than existing models as measured by automatic and human evaluations while (ii) maintaining usability metrics such as engagingness relative to the state of the art. We then discuss the limitations of this work by analyzing failure cases of our models.


title: Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper)

abstract: Modern separation logics allow one to prove rich properties of intricate code, e.g. functional correctness and linearizability of non-blocking concurrent code. However, this expressiveness leads to a complexity that makes these logics difficult to apply. Manual proofs or proofs in interactive theorem provers consist of a large number of steps, often with subtle side conditions. On the other hand, automation with dedicated verifiers typically requires sophisticated proof search algorithms that are specific to the given program logic, resulting in limited tool support that makes it difficult to experiment with program logics, e.g. when learning, improving, or comparing them. Proof outline checkers fill this gap. Their input is a program annotated with the most essential proof steps, just like the proof outlines typically presented in papers. The tool then checks automatically that this outline represents a valid proof in the program logic. In this paper, we systematically develop a proof outline checker for the TaDA logic, which reduces the checking to a simpler verification problem, for which automated tools exist. Our approach leads to proof outline checkers that provide substantially more automation than interactive provers, but are much simpler to develop than custom automatic verifiers.


title: The Covariance Extension Equation: A Riccati-type Approach to Analytic Interpolation

abstract: Analytic interpolation problems with rationality and derivative constraints are ubiquitous in systems and control. This paper provides a new method for such problems, both in the scalar and matrix case, based on a non-standard Riccati-type equation. The rank of the solution matrix is the same as the degree of the interpolant, thus providing a natural approach to model reduction. A homotopy continuation method is presented and applied to some problems in modeling and robust control. We also address a question on the positive degree of a covariance sequence originally posed by Kalman.


title: Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)

abstract: In this paper, the theory of McCarthy's extensional arrays enriched with a maxdiff operation (this operation returns the biggest index where two given arrays differ) is proposed. It is known from the literature that a diff operation is required for the theory of arrays in order to enjoy the Craig interpolation property at the quantifier-free level. However, the diff operation introduced in the literature is merely instrumental to this purpose and has only a purely formal meaning (it is obtained from the Skolemization of the extensionality axiom). Our maxdiff operation significantly increases the level of expressivity; however, obtaining interpolation results for the resulting theory becomes a surprisingly hard task. We obtain such results via a thorough semantic analysis of the models of the theory and of their amalgamation properties. The results are modular with respect to the index theory and it is shown how to convert them into concrete interpolation algorithms via a hierarchical approach.


title: Magnetization relaxation and search for the magnetic gap in bulk-insulating V-doped (Bi, Sb)$_2$Te$_3$

abstract: V-doped (Bi,Sb)$_2$Te$_3$ has a ten times higher magnetic coercivity than its Cr-doped counterpart and therefore is believed to be a superior system for the quantum anomalous Hall effect (QAHE). The QAHE requires the opening of a magnetic band gap at the Dirac point. We do not find this gap by angle-resolved photoelectron spectroscopy down to 1 K. By x-ray magnetic circular dichroism (XMCD) we directly probe the magnetism at the V site and in zerofield. Hysteresis curves of the XMCD signal show a strong dependence of the coercivity on the ramping velocity of the magnetic field. The XMCD signal decays on a time scale of minutes which we conclude contributes to the absence of a detectable magnetic gap at the Dirac point.


title: Group connectivity and group coloring: small groups versus large groups

abstract: A well-known result of Tutte says that if Gamma is an Abelian group and G is a graph having a nowhere-zero Gamma-flow, then G has a nowhere-zero Gamma'-flow for each Abelian group Gamma' whose order is at least the order of Gamma. Jaeger, Linial, Payan, and Tarsi observed that this does not extend to their more general concept of group connectivity. Motivated by this we define g(k) as the least number such that, if G is Gamma-connected for some Abelian group Gamma of order k, then G is also Gamma'-connected for every Abelian group Gamma' of order |Gamma'| > g(k). We prove that g(k) exists and satisfies for infinitely many k, (2 - o(1))k < g(k) <= 8k^3 + 1. The upper bound holds for all k. Analogously, we define h(k) as the least number such that, if G is Gamma-colorable for some Abelian group Gamma of order k, then G is also Gamma'-colorable for every Abelian group Gamma' of order |Gamma'| > h(k). Then h(k) exists and satisfies for infinitely many k, (2 - o(1))k < h(k) < (2 + o(1))k ln(k). The upper bound (for all k) follows from a result of Kr\'al', Pangr\'ac, and Voss. The lower bound follows by duality from our lower bound on g(k) as that bound is demonstrated by planar graphs.


title: Rossi-alpha Uncertainty Quantification by Analytic, Bootstrap, and Sample Methods to Inform Fitting Best Practices

abstract: The prompt neutron period (the negative reciprocal of the prompt neutron decay constant) can be estimated using the Rossi-alpha technique that is predicated on fitting Rossi-alpha histograms and of interest in nuclear criticality safety and nonproliferation [1, 2, 3]. The histograms are traditionally fit with a one-exponential model; however, recent work has proposed a two-exponential model to account for reflector-induced phenomenon [4, 5, 6]. Until recently, the uncertainty quantification for either model was inadequate (inaccurate and demanded large measurement times). Measurement uncertainty quantification by sample and analytic methods was developed and validated in Ref. [7]. The purpose of this transaction is to (i) validate a new bootstrap method by comparing bin-by-bin error bar estimates and (ii) demonstrate how to choose bin widths and reset times to optimize precision and accuracy.


title: A Systematic Review of Online Exams Solutions in E-learning: Techniques, Tools and Global Adoption

abstract: E-learning in higher education is exponentially increased during the past decade due to its inevitable benefits in critical situations like natural disasters, and pandemic. The reliable, fair, and seamless execution of online exams in E-learning is highly significant. Particularly, online exams are conducted on E-learning platforms without the physical presence of students and instructors at the same place. This poses several issues like integrity and security during online exams. To address such issues, researchers frequently proposed different techniques and tools. However, a study summarizing and analyzing latest developments, particularly in the area of online examination, is hard to find in the literature. In this article, an SLR for online examination is performed to select and analyze 53 studies published during the last five years. Subsequently, five leading online exams features targeted in the selected studies are identified and underlying development approaches for the implementation of online exams solutions are explored. Furthermore, 16 important techniques and 11 datasets are presented. In addition, 21 online exams tools proposed in the selected studies are identified. Additionally, 25 leading existing tools used in the selected studies are also presented. Finally, the participation of countries in online exam research is investigated. Key factors for the global adoption of online exams are identified and investigated. This facilitates the selection of right online exam system for a particular country on the basis of existing E-learning infrastructure and overall cost. To conclude, the findings of this article provide a solid platform for the researchers and practitioners of the domain to select appropriate features along with underlying development approaches, tools and techniques for the implementation of a particular online exams solution as per given requirements.