## Towards an Understanding of the Role Operator Limb Dynamics Plays in Haptic Perception of Stiffness

Creating haptic interfaces capable of rendering the rich sensation needed fordexterous manipulation is crucial for the advancement of human-in-the-looptelerobotic systems (HiLTS) One limiting factor has been the absence of detailed knowledge of the effect of operator limb dynamics and hapticexploration dynamics on haptic perception .…

## Confidence Aware Scheduled Sampling for Neural Machine Translation

Scheduled sampling is an effective method to alleviate the exposure biasproblem of neural machine translation . It simulates the inference scene by replacing ground-truth target input tokens with predicted ones during training . Despite its success, its critical schedule strategies are merelybased on training steps, ignoring the real-time model competence .…

## Conservative DG Method for the Micro Macro Decomposition of the Vlasov Poisson Lenard Bernstein Model

The micro-macro (mM) decomposition approach is considered for the numericalsolution of the Vlasov–Poisson–Lenard–Bernstein (VPLB) system . In the mM approach, the kineticdistribution function is decomposed as $f=\mathcal{E}[\boldsymbol{\rho}_{f]]$ and $g$, the microscopicdistribution, is defined such that $g$ is defined . We aim to design numerical methods for the .…

## High dimensional expansion implies amplified local testability

In this work we show that high dimensional expansion implies locally testablecode . We define a notion that we callhigh-dimensional-expanding-system (HDE-system) We show that a code that can be modelled over HDE-system islocally testable . This implies that high-dimensional expansion phenomenon solely implies local testability of codes .…

## Type based Enforcement of Infinitary Trace Properties for Java

A common approach to improve software quality is to use programming guidelines to avoid common kinds of errors . In this paper, we consider theproblem of enforcing guidelines for Featherweight Java (FJ) We formalize guidelines as sets of finite or infinite execution traces and develop aregion-based type and effect system for FJ that can enforce such guidelines .…

## To Ship or Not to Ship An Extensive Evaluation of Automatic Metrics for Machine Translation

Automatic metrics are commonly used as the exclusive tool for declaring thesuperiority of one machine translation system’s quality over another . We investigate which metrics have the highest accuracy to makesystem-level quality rankings for pairs of systems . We show that the sole use of BLEUnegatively affected the past development of improved models.…

## The Traveling Firefighter Problem

The objective is to schedule a destination visit sequence for a traveler of unit speed to minimizethe Minkowski $p$-norm of the resulting vector of visit/service times . For $p =\infty$ the problem becomes a path variant of the TSP . We also study the all-norm-TSP problem [Golovin et al.…

## Multiple Query Optimization using a Hybrid Approach of Classical and Quantum Computing

Quantum computing promises to solve difficult optimization problems more efficiently than classical computers, but requires fault-tolerant quantum computers with millions of qubits . Hybrid algorithms combining classical and quantum computers are used to overcome errors introduced by today’s quantum computers .…

## Improving Blockchain Consistency by Assigning Weights to Random Blocks

Blockchains based on the Nakamoto consensus protocol have shown promise in several applications, including cryptocurrencies . However, these blockchains have inherent scalability limits caused by the protocol’s consensusproperties . This paper proposes a novel method, Ironclad,that improves blockchain consistency by assigning different weights to randomlyselected blocks .…

## Multi Stream Transformers

Transformer-based encoder-decoder models produce a fused token-wiserepresentation after every encoder layer . We investigate the effects of allowing the encoder to preserve and explore alternative hypotheses, combined at the end of the encoding process . We design and examine a $\textit{Multi-stream Transformer}$ architecture and find that splitting theTransformer encoder into multiple encoder streams and allowing the model to merge multiple representational hypotheses improves performance .…

## Abstract Reasoning via Logic guided Generation

Abstract reasoning, i.e., inferring complicated patterns from givenobservations, is a central building block of artificial general intelligence . We propose logic-guided generation (LoGe), a novelgenerative DNN framework that reduces abstract reasoning as an optimization problem in propositional logic . LoGe is composed of three steps: extractpropositional variables from images, reason the answer variables with a logiclayer, and reconstruct the answer image from the variables .…

## Typing assumptions improve identification in causal discovery

Under assumptions about the data-generative process, the causal graph can often be identified up to anequivalence class . Proposing new realistic assumptions to circumscribe suchequivalence classes is an active field of research . In this work, we propose anew set of assumptions that constrain possible causal relationships based on the nature of the variables .…

## Learning Sparse Fixed Structure Gaussian Bayesian Networks

Gaussian Bayesian networks are widely used to model causal interactions among continuous variables . In this work, we study the problem of learning a fixed-structureGaussianBayesian network up to a bounded error in total variation distance . We show that the commonly used node-wise least squares regression (LeastSquares) has a near-optimal sample complexity .…

## Preliminary investigation into how limb choice affects kinesthetic perception

We have a limited understanding of how we integrate haptic information inreal-time from our upper limbs to perform complex bimanual tasks . In order to understand how information from both limbs is used to create a unified percept, it is important to study both the limbs separately first .…

## A micromechanics based variational phase field model for fracture in geomaterials with brittle tensile and compressive ductile behavior

This paper presents a framework for modeling failure in quasi-brittlegeomaterials under different loading conditions . A micromechanics-based model is proposed in which the field variables are linked to physical mechanisms atthe microcrack level . Damage is related to the growth of microcracks, while plasticity is related .…

## Preliminary investigation into how limb choice affects kinesthetic perception

We have a limited understanding of how we integrate haptic information inreal-time from our upper limbs to perform complex bimanual tasks . In order to understand how information from both limbs is used to create a unified percept, it is important to study both the limbs separately first .…

## Additive manufacturing process design with differentiable simulations

We present a novel computational paradigm for process design in manufacturing . It incorporates simulation responses to optimize manufacturing processes in high-dimensional temporal and spatial design spaces . This research opens new avenues forhigh-dimensional manufacturing design using solid mechanics simulation toolssuch as finite element methods .…

## Domain Generalization under Conditional and Label Shifts via Variational Bayesian Inference

The widely used domain invariant feature learning (IFL) methods relies on aligning the marginal concept shift w.r.t. $p(x|y)$ and the marginal label shift . In this work, we propose a domain generalization (DG) approach to learn on several labeled source domains and transfer knowledge to a target domain that is inaccessible in training .…

## Explainable artificial intelligence XAI in deep learning based medical image analysis

Survey presents an overview of eXplainableArtificial Intelligence (XAI) used in deep learning-based medical image analysis . Paper concludes with an outlook of future opportunities for XAI in medical imaging analysis . The call for explainability of XAI methods grows, especially in high-stakes decision-making areas such asmedical image analysis, says the survey .…

## Privileged Information for Modeling Affect In The Wild

A key challenge of affective computing research is discovering ways to transfer affect models that are built in the laboratory to real world settings . The existing gap between in vitro and in vivo applications is mainly caused by limitations related to affect sensing including intrusiveness, hardware malfunctions, availability of sensors, privacy and security .…

## Frost Benchmarking and Exploring Data Matching Results

“Bad” data has a direct impact on 88% of companies, with the average company losing 12% of its revenue due to it . Duplicates – multiple but different representations of the same real-world entities – are among the main reasons for poor data quality .…

## MFGNet Dynamic Modality Aware Filter Generation for RGB T Tracking

MFGNet aims to boost the message communication between visible and thermaldata by adaptively adjusting the convolutional kernels for various input images . To address issues caused by heavy occlusion, fast motion, and out-of-view, we propose to conduct a joint local and global search byexploiting a new direction-aware target-driven attention mechanism .…

## Qanaat A Scalable Multi Enterprise Permissioned Blockchain System with Confidentiality Guarantees

Qanaat is a scalablemulti-enterprise permissioned blockchain system that guaranteesconfidentiality . The experimental results reveal the efficiency of QanaAT in processing multi-shard and multi-enterprisetransactions . QanaAt consists of multiple enterprises where each enterprisepartitions its data into multiple shards and replicates a data shard on a cluster of nodes to provide fault tolerance .…

## Controlling the Perceived Sound Quality for Dialogue Enhancement with Deep Learning

A deep neuralnetwork estimates the attenuation of the separated background signal such that the sound quality, quantified using the Artifact-related Perceptual Score, meets an adjustable target . Our experiments show that the proposed method is able to control the trade-off with an accuracy that is adequate for real-world dialogue enhancement applications .…

## Theoretical foundations and limits of word embeddings what types of meaning can they capture

Measuring meaning is a central problem in cultural sociology and word embeddings may offer powerful new tools to do so . But like any tool, they buildon and exert theoretical assumptions . In certain ways, word embedding methods are vulnerable to the same, enduring critiques of these premises .…

## Fundamental Constructs in Programming Languages

PLanCompS project has developed an initial collection of funcons for translation of functional and imperative languages . Thebehaviour of each funcon is defined, once and for all, using a modular variantof structural operational semantics . The definitions are available online .…

## Improving Polyphonic Sound Event Detection on Multichannel Recordings with the Sørensen Dice Coefficient Loss and Transfer Learning

The S.rensen–Dice Coefficient has recently seen rising popularity as aloss function (also known as Dice loss) due to its robustness in tasks where the number of negative samples significantly exceeds that of positive samples . Conventional training of polyphonic sound event detection systemswith binary cross-entropy loss often results in suboptimal detectionperformance as the training is often overwhelmed by updates from negativesamples .…

## Evaluation of contextual embeddings on less resourced languages

The current dominance of deep neural networks in natural language processing is based on contextual embeddings such as ELMo, BERT, and BERT derivatives . Most existing work focuses on English; in contrast, we present here the firstmultilingual empirical comparison of two ELMo and several monolingual and multilingual BERT models using 14 tasks in nine languages .…

## SAGE A Split Architecture Methodology for Efficient End to End Autonomous Vehicle Control

Autonomous vehicles require large Deep-Learning (DL) models and powerful hardware platforms to operate reliably in real-time . SAGE: a methodology for selectively offloading the key energy-consuming modules of DL architectures to the cloud to optimize edge energy usage while meeting latency constraints .…

## CNN based Realized Covariance Matrix Forecasting

Most of the models available in the literaturedepend on strong structural assumptions and they often suffer from the curse ofdimensionality . We propose an end-to-end trainable model built on the CNN andConvolutional LSTM (ConvLSTM) The proposed model focuses on local structures andspatiotemporal correlations .…

## Specifying a Game Theoretic Extensive Form as an Abstract 5 ary Relation

This paper specifies an extensive form as a 5-ary relation (i.e. set ofquintuples) which satisfies certain abstract axioms . Each quintuple is understood to list a player, a situation (e.g. information set), a decisionnode, a decision node, an action, and a successor node .…

## Reproducibility of COVID 19 pre prints

To examine reproducibility of COVID-19 research, we create a dataset of pre-prints posted to arXiv, bioRxiv, medRxv, and SocArXiv . We extract the text from these pre-prints and parse them looking for keywords signalling theavailability of the data and code underpinning the pre-printed .…

## Towards an understanding of how humans perceive stiffness during bimanual exploration

In this paper, an experimental testbed and associated psychophysical paradigmare presented for understanding how people discriminate torsional stiffness . Participants explored virtual virtualtorsion springs by rotating their forearms . The discrimination results will inform futureinvestigation into understanding how stiffness percepts vary .…

## Entropy solutions of non local scalar conservation laws with congestion via deterministic particle method

We develop deterministic particle schemes to solve non-local scalarconservation laws with congestion . We show that the discrete approximationsconverge to the unique entropy solution with an explicit rate of convergence . We complement our results with somenumerical simulations, among which we show the applicability of the schemes to the multi-species setting .…

## Dynamic Cantor Derivative Logic

$d-logics have not previously been studied in the framework of dynamical systems, which are pairs of a topological space$X$equipped with a continuous function$f\colon X\to X$. We introduce the logics$wK4C$and$GLC$and show that they all have the finite Kripke model property and are sound and complete withrespect to the$d\$-semantics in this dynamical setting .…