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 .…

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 .…

Improved Product Based High Dimensional Expanders

High-dimensional expanders generalize the notion of expander graphs to higher-dimensional simplicial complexes . Noelementary combinatorial construction with near-optimal expansion is known . Our construction achieves a spectral gap of $Omega ($Omega) for randomwalks on the $k$-dimensional faces, which is only quadratically worse than the optimal bound of $Theta (Theta) The construction is based on a high-dimensional variant of a tensor product .…

Conelikes and Ranker Comparisons

The computation of pointlikes can beinterpreted as the algebraic counterpart of the covering problem . This leadsto the notion of conelikes for the corresponding algebraic framework . We apply this framework to the Trotter-Weil hierarchy and both the full and the half levels of the $\text{FO}^2$ quantifier alternation hierarchy .…

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 .…

Experimental Evaluation of Multiprecision Strategies for GMRES on GPUs

Support for lower precision computation is becoming more common inaccelerator hardware due to lower power usage, reduced data movement and increased computational performance . However, computational science and engineering (CSE) problems require double precision accuracy in several domains . We seek the best methods for incorporating multiple precisions into theGMRES linear solver; these include iterative refinement and parallelizablepreconditioners .…

Diversity in Kemeny Rank Aggregation A Parameterized Approach

A recent trend of research in artificial intelligence, called solutiondiversity, has focused on the development of notions of optimality that may be more appropriate in settings where subjectivity is essential . When combined with techniques from parameterized complexity theory, theparadigm of diversity of solutions offers a powerful algorithmic framework to address problems of practical relevance .…

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 .…

High Order Quadrature on Multi Component Domains Implicitly Defined by Multivariate Polynomials

A high-order quadrature algorithm is presented for computing integrals overcurved surfaces and volumes whose geometry is implicitly defined by levelsets of multivariate polynomials . Complexgeometry is automatically handled by the algorithm, including, e.g., multi-component domains, tunnels, and junctions arising from multiplepolynomial level sets, as well as self-intersections, cusps, and other kinds of singularities .…

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 .…

Long Text Generation by Modeling Sentence Level and Discourse Level Coherence

Existing generation models struggle to maintain a coherent event sequencethroughout the generated text . We conjecture that this is because of the difficulty for the decoder to capture the high-level semantics and discoursestructures in the context beyond token-level co-occurrence . In this paper, we propose a long text generation model, which can represent the prefix sentences at sentence level and discourse level in the decoding process .…

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 .…

An examination of local strain fields evolution in ductile cast iron through micromechanical simulations based on 3D imaging

Microscopic digital volume correlation (DVC) and finite elementprecoalescence strain evaluations are compared for two nodular cast ironspecimens . Image segmentation-relateduncertainties are taken into account and observed to be negligible with respect to the differences between strain levels . Macroscopic strain levels are consistently predicted.…

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 .…

Robustness and stability of enterprise intranet social networks The impact of moderators

In this study, we tested the robustness of three communication networksextracted from the online forums included in the intranet platforms of threelarge companies . For each company we analyzed the communication among employees in terms of network structure and content (language used) Over a period of eight months, we analyzed more than 52,000 messages posted by approximately12,000 employees .…

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)…

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 .…

An Algebraic Characterisation of First Order Logic with Neighbour

We give an algebraic characterisation of first-order logic with the neighbourrelation, on finite words . For this, we consider languages of finite words overalphabets with an involution on them . The natural algebras for such languagesare involution semigroups . To characterise the logic, we define a special kindof semidirect product of involution .product…

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 .…

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 .…

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 .…

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 .…

Wilf classes of non symmetric operads

Two operads are said to belong to the same Wilf class if they have the samegenerating series . If an operad has afinite Groebner basis, then the monomial basis of the operad forms anunambiguous context-free language . We discuss the deterministicgrammar which defines the language .…

Methods for Detoxification of Texts for the Russian Language

First study of automatic detoxification of Russian texts to combat offensive language . Such a kind of textual style transfer can be used,for instance, for processing toxic content in social media . The results show that the testedapproaches can be successfully used for detoxification, although there is room for improvement .…

Answering Product Questions by Utilizing Questions from Other Contextually Similar Products

Answering subjective and opinion-based questions is most challenging due to the dependency on customer-generated content . A mixture-of-expert framework is used to predict the answer by aggregating the answers from contextually similar products . Results demonstrate that our model outperforms strong baselines on some segments of questions, namely those that have roughly ten or more similarresolved questions in the corpus .…

Non cumulative measures of researcher citation impact

The most commonly used publication metrics for individual researchers are the total number of publications, and Hirsch’s $h$-index . Most other author-level measures in the literature share this cumulative property . By contrast, we aim to studynon-cumulative measures that answer the question “in terms of citation impact,what have you done lately?”…

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 .…