A Game Theoretic Account of Responsibility Allocation

A fundamental problem is to specify which agents are responsible for the joint outcome of their behaviors and to which extent . We model multi-agent interaction as an extensive form game of imperfect information . Forward responsibility identifies responsibility of a group of agents for an outcome along all possible plays, whereas backwardresponsibility identifies responsibility along a given play .…

Can We Break Symmetry with o m Communication

All known algorithms need at least $Omega(m)$ communication for coloring and MIS . We study the communication cost (or message complexity) of these problems . We ask: Can we solve problems such as coloringand MIS using sublinear, i.e., $o(m), communication, and if so under whatconditions?…

Stochastic Coordination in Heterogeneous Load Balancing Systems

This paper presents an efficient solution to the loadbalancing problem in such systems that improves on and overcomes problems of previous solutions . The load balancing problem is formulated as a stochasticoptimization problem . The resulting dispatching policy can be computed very efficiently, making the solution practically viable .…

Deep Neural Network Accelerated Implicit Filtering

Solving the CDG problem is a key part of the designand verification process for new electronic circuits, including the chips that power modern servers and smartphones . We show that combining implicitfiltering (IF), an existing derivative free optimization (DFO) method, with adeep neural network global approximator leads to an accelerated DFO method .…

Federated Learning With Highly Imbalanced Audio Data

Federated learning (FL) is a privacy-preserving machine learning method . It is proposed to allow training of models using data from many different clients, without these clients having to transfer all their data to a centralserver . FL models trained using the high-volume clients can perform similarly to a centrally-trained model, though there is much more noise in results than would typically be expected for acentrally-trained models .…

XCycles Backprojection Acoustic Super Resolution

The XCycles BackProjection model (XCBP), incontrast to the feedforward model approach, fully uses the iterative correctionprocedure in each cycle to reconstruct the residual error correction for theencoded features in both low- and high-resolution space . The proposed approach showed high outperformance compared to theclassical interpolation operators and to the recent feedforward state-of-the-art models .…

Enabling fast convergence of the iterated penalty Picard iteration with O 1 penalty parameter for incompressible Navier Stokes via Anderson acceleration

This paper considers an enhancement of the classical iterated penalty Picard(IPP) method for the incompressible Navier-Stokes equations . Anderson acceleration (AA) is used to significantly improve its convergence properties . IPP enhanced with AA improves its linear convergence rate by the gain factor associated with the underlying optimization problem .…

Automatic View Selection in Graph Databases

G-View can judiciously generate a view set from a query workload by exploring the graph properties of candidate views and considering their efficacy . The tool then selects the views using a graph gene algorithm (GGA), which relies on athree-phase framework that explores graph view transformations to reduce the view space and optimize the view benefit .…

A fast Petrov Galerkin spectral method for the multi dimensional Boltzmann equation using mapped Chebyshev functions

Numerical approximation of the Boltzmann equation presents a challenging problem due to its high-dimensional, nonlinear, and nonlocal collision operator . The Petrov-Galerkin spectral method uses Chebyshev functions to achieve desired convergence and conservation properties . We demonstrate the superior accuracy of the proposed method in comparison to the Fourier spectral method with the help of the then-uniform fast Fourier transform (NuffT) The basis functions (bothtest and trial functions) are carefully chosen to be carefully chosen .…

Essay BR a Brazilian Corpus of Essays

Automatic Essay Scoring (AES) is defined as the computer technology that evaluates and scores the written essays . In order to bridge this gap, we create a large corpus with several essays written by Brazilian high school students on an online platform .…

Numerical differentiation on scattered data through multivariate polynomial interpolation

We discuss a pointwise numerical differentiation formula on multivariatescattered data . The formula is based on the coefficients of local polynomial interpolation atDiscrete Leja Points . Error bounds and sensitivity estimates to perturbations are provided . Several numerical tests are presented to show the accuracy of the approximation of partial derivatives of any order compatible with thefunction regularity .…

Separating Sessions Smoothly

Hypersequent GV (HGV) is a modular and extensible corecalculus for functional programming with session types that enjoy deadlockfreedom, confluence, and strong normalisation . HGV exploits hyper-environments, which are collections of type environments, to ensure that structuralcongruence is type preserving . As a consequence we obtain a tight operationalcorrespondence between HGV and HCP, a hypersequent-based process-calculusinterpretation of classical linear logic .…

User centric Handover in mmWave Cell Free Massive MIMO with User Mobility

The coupling between cell-free massive multiple-input multiple- input multiple-output (MIMO) systems and usermobility is considered in this paper . Three beamforming techniques are proposed in the considered scenario, along with a dynamic user association technique (handover) Numerical results reveal that the proposed beamforming and userassociation techniques are effective in a considered scenario .…

Revisiting Data Compression in Column Stores

Data compression is widely used in contemporary column-oriented DBMSes . Pioneering systems have introduced compression to tackle the disk bandwidth bottleneck by trading CPU power for it . The main issue of this is a trade-off between the compression ratio and the decompression CPU cost .…

Accurate Summary based Cardinality Estimation Through the Lens of Cardinality Estimation Graphs

We study two classes of summary-based cardinality estimators that usestatistics about input relations and small-size joins . We model these estimators as picking bottom-to-top paths in acardinality estimation graph . We show that on a largesuite of datasets and workloads, the accuracy of such estimates is up to threeorders of magnitude more accurate in mean q-error than some prior heuristicsthat have been proposed in prior work .…

Active Visual SLAM with independently rotating camera

In active Visual-SLAM, a robot relies on the information retrieved by its cameras to control its own movements for autonomous mapping of the environment . We obtain more accurate maps, with lower energy consumption, while maintaining the benefits of the active approach with respect to the baseline .…

Knowledge driven Data Ecosystems Towards Data Transparency

A Data Ecosystem offers a keystone-player or alliance-driven infrastructure that enables the interaction of different stakeholders and the resolution of interoperability issues among shared data . Despite years of research, trustability is still affected by the absence of transparent and traceable data-driven pipelines .…

Forecasting managerial turnover through e mail based social network analysis

Researchers analyzed communication behavior of 866 managers, out of which 111 left a large service company . Findings show managers who quit had lower closeness centrality and less engaged conversations . Researchers say managers who chose to quit tended to shift their communication behavior starting from 5 months before leaving, by increasing their degree, the complexity of their language, as well as their oscillations in betweenness centrality, and the number of “nudges” they need to send to peers before getting an answer .…

Subgrid multiscale stabilized finite element analysis of non Newtonian Casson model fully coupled with Advection Diffusion Reaction equations

Casson fluid flow model tightly coupled with variable coefficients ADR ($VADR$) equation . Casson viscositycoefficient is taken to be dependent upon solute mass concentration . This paper presents the stability and convergence analyses of the stabilized finiteelement solution . The proposed expressions of the stabilization parameters help in obtaining optimal order of convergences .…

On the logical structure of choice and bar induction principles

We develop an approach to choice principles and their contrapositivebar-induction principles as extensionality schemes . We introduce, for a domain A, a codomainB and a “filter” T on finite approximations of functions from A to B, ageneralised form GDC(A,B,T) of the axiom of dependent choice and bar induction principle GBI(A) such that: .…

Detection of Emotions in Hindi English Code Mixed Text Data

In recent times, we have seen an increased use of text chat for communication on social networks and smartphones . This particularly involves the use ofHindi-English code-mixed text which contains words which are not recognized in English vocabulary . We have worked on detecting emotions in these mixed dataand classify the sentences in human emotions which are angry, fear, happy or sad .…

Designing a Pseudo Random Bit Generator with a Novel 5D Hyperchaotic System

Dynamic and non-linear systems are emerging as potential candidates forrandom bit generation . This paper introduces a newcontinuous chaotic system along with its corresponding implementation, which targets field-programmable gate array (FPGA) This chaotic system has fivedimensions, which exhibit complex chaotic dynamics, thus enabling theutilization of chaotic signals in cryptography .…

Optimal Science time Reorientation Policy for the Comet Interceptor Flyby via Sequential Convex Programming

This paper introduces an algorithm to perform optimal reorientation of aspacecraft during a high speed flyby mission that maximizes the time a certain target is kept within the field of view of scientific instruments . The method handles the nonlinear dynamics of the spacecraft, sun exclusionconstraint, torque and momentum limits on the reaction wheels as well as potential faults in these actuators .…

CoTexT Multi task Learning with Code Text Transformer

CoTexT is a transformer-based architecture encoder-decoder model that learns the representative context between naturallanguage (NL) and programming language (PL) through multi-task learning . It achieves state-of-the-art on all downstream tasks such as code summarizing/documentation, codegeneration, defect detection, code debugging, etc. We evaluate multi-tasks on different generation and classification tasks on CodeXGLUE and it achieves state of the art on alldownstream tasks .…

Combining GCN and Transformer for Chinese Grammatical Error Detection

This paper introduces our system at NLPTEA-2020 Task: Chinese GrammaticalError Diagnosis (CGED) CGED aims to diagnose four types of grammatical errors which are missing words (M), redundant words (R), bad word selection (S) anddisordered words (W) The automatic CGED system contains two parts including error detection and error correction and our system is designed to solve the error detection problem .…

Obstructing Classification via Projection

Machine learning and data mining techniques are effective tools to classify large amounts of data . But they tend to preserve any inherent bias in the data,for example, with regards to gender or race . Removing such bias from data or the learned representations is quite challenging .…

A Phase Transition in Large Network Games

In this paper, we use a model of large random network game to explore the conditions under which the Nash equilibrium (NE) of the game is affected by a perturbation . We use a phase transition phenomenon observed in finite rankdeformations of large .…

Private Hierarchical Clustering in Federated Networks

Analyzing structural properties of social networks has many applications . However, these applications are not supported by federated social networks that allow users to store their social links locally on their end devices . The private hierarchical clustertrees enable a service provider to query the community structure around a user at various granularities without the users having to share their raw contact information .…

Low order divergence free approximations for the Stokes problem on Worsey Farin and Powell Sabin splits

We derive low-order, inf-sup stable and divergence-free finite element approximations for the Stokes problem using Worsey-Farin splits in threedimensions and Powell-Sabin splits in two dimensions . The velocity space simplyconsists of continuous, piecewise linear polynomials, where as the pressurespace is a subspace of piecewise constants with weak continuity properties atsingular edges (3D)…

SEMOUR A Scripted Emotional Speech Repository for Urdu

Speech Emotion Recognition systems are currently available in only a few languages, including English,German, and Italian . In this paper, we present SEMOUR, the first scripteddatabase of emotion-tagged speech in the Urdu language, to design an UrduSpeech Recognition System . On a random testsample, our model correctly predicts an emotion with a state-of-the-art 92% accuracy .…

Advances in integration of end to end neural and clustering based diarization for real conversational speech

A novel speaker diarization method called End-to-End-Neural-Diarization-vector clustering (EEND- vector clustering) was onlyevaluated so far on simulated 2-speaker meeting-like data . The proposed method combines advantages of bothframeworks, i.e. high performance and handling of overlapped speechbased on EEND, and robust handling of long recordings with an arbitrary number of speakers based on clustering-based approaches .…