Lifted Reed Solomon Codes and Lifted Multiplicity Codes. Lifted Reed Solomon and multiplicity codes are classes of codes, constructed from specific sets of m variate polynomials. These codes allow for the design of high rate codes that can recover every codeword or information symbol from many disjoint sets. Recently, the underlying approaches have been combined for the bi variate case to construct lifted multiplicity codes, a generalization of lifted codes that can offer further rate improvements. We continue the study of these codes by first establishing new lower bounds on the rate of lifted Reed Solomon codes for any number of variables m , which improve upon the known bounds for any m ge 4 . Next, we use these results to provide lower bounds on the rate and distance of lifted multiplicity codes obtained from polynomials in an arbitrary number of variables, which improve upon the known results for any m ge 3 . Specifically, we investigate a subcode of a lifted multiplicity code formed by the linear span of m variate monomials whose restriction to an arbitrary line in mathbb F q m is equivalent to a low degree univariate polynomial. We find the tight asymptotic behavior of the fraction of such monomials when the number of variables m is fixed and the alphabet size q 2 ell is large. Using these results, we give a new explicit construction of batch codes utilizing lifted Reed Solomon codes. For some parameter regimes, these codes have a better trade off between parameters than previously known batch codes. Further, we show that lifted multiplicity codes have a better trade off between redundancy and the number of disjoint recovering sets for every codeword or information symbol than previously known constructions, thereby providing the best known PIR codes for some parameter regimes. Additionally, we present a new local self correction algorithm for lifted multiplicity codes.


Positivity in Foliated Manifolds and Geometric Applications. We introduce the notion of positivity for a real basic (1,1) class in basic Bott Chern cohomology group on foliated manifolds, and study the relationship between this positivity and the negativity of transverse holomorphic sectional curvature and give some geometric applications.


Quantitative Stability of Regularized Optimal Transport and Convergence of Sinkhorn's Algorithm. We study the stability of entropically regularized optimal transport with respect to the marginals. Lipschitz continuity of the value and H "older continuity of the optimal coupling in p Wasserstein distance are obtained under general conditions including quadratic costs and unbounded marginals. The results for the value extend to regularization by an arbitrary divergence. As an application, we show convergence of Sinkhorn's algorithm in Wasserstein sense, including for quadratic cost. Two techniques are presented The first compares an optimal coupling with its so called shadow, a coupling induced on other marginals by an explicit construction. The second transforms one set of marginals by a change of coordinates and thus reduces the comparison of differing marginals to the comparison of differing cost functions under the same marginals.


Evaluation of deep lift pose models for 3D rodent pose estimation based on geometrically triangulated data. The assessment of laboratory animal behavior is of central interest in modern neuroscience research. Behavior is typically studied in terms of pose changes, which are ideally captured in three dimensions. This requires triangulation over a multi camera system which view the animal from different angles. However, this is challenging in realistic laboratory setups due to occlusions and other technical constrains. Here we propose the usage of lift pose models that allow for robust 3D pose estimation of freely moving rodents from a single view camera view. To obtain high quality training data for the pose lifting, we first perform geometric calibration in a camera setup involving bottom as well as side views of the behaving animal. We then evaluate the performance of two previously proposed model architectures under given inference perspectives and conclude that reliable 3D pose inference can be obtained using temporal convolutions. With this work we would like to contribute to a more robust and diverse behavior tracking of freely moving rodents for a wide range of experiments and setups in the neuroscience community.


Malfustection Obfuscated Malware Detection and Malware Classification with Data Shortage by Combining Semi Supervised and Contrastive Learning. With the advent of new technologies, using various formats of digital gadgets is becoming widespread. In today's world, where everyday tasks are inevitable without technology, this extensive use of computers paves the way for malicious activity. As a result, it is important to provide solutions to defend against these threats. Malware is one of the well known and widely used means utilized for doing destructive activities by malicious attackers. Producing malware from scratch is somewhat difficult, so attackers tend to obfuscate existing malware and prepare it to become an unrecognizable program. Since creating new malware from an old one using obfuscation is a creative task, there are some drawbacks to identifying obfuscated malwares. In this research, we propose a solution to overcome this problem by converting the code to an image in the first step and then using a semi supervised approach combined with contrastive learning. In this case, an obfuscation in the malware bytecode corresponds to an augmentation in the image. Hence, by utilizing meaningful augmentations, which simulate some obfuscation changes and combine them to generate complex ambiguity procedures, our proposed solution is able to construct, learn, and detect a wide range of obfuscations. This work addresses two issues 1) malware classification despite the data deficiency and 2) obfuscated malware detection by training on non obfuscated malwares. According to the results, the proposed method overcomes the data shortage problem in malware classification, as its accuracy is 90.1 when just 10 of data is used for training the model. Moreover, training on basic malwares without obfuscation achieved 96.21 percent accuracy in detecting obfuscated malware.


Specific properties of the ODE's flow in dimension two versus dimension three. This paper deals with the asymptotics of the ODE's flow induced by a regular vector field b on the d dimensional torus R d Z d. First, we start by revisiting the Franks Misiurewicz theorem which claims that the Herman rotation set of any two dimensional continuous flow is a closed line segment of R 2. Various general examples illustrate this result, among which a complete study of the Stepanoff flow associated with a vector field b a zeta , where zeta is a constant vector in R 2. Furthermore, several extensions of the


MSG Transformer Exchanging Local Spatial Information by Manipulating Messenger Tokens. Transformers have offered a new methodology of designing neural networks for visual recognition. Compared to convolutional networks, Transformers enjoy the ability of referring to global features at each stage, yet the attention module brings higher computational overhead that obstructs the application of Transformers to process high resolution visual data. This paper aims to alleviate the conflict between efficiency and flexibility, for which we propose a specialized token for each region that serves as a messenger (MSG). Hence, by manipulating these MSG tokens, one can flexibly exchange visual information across regions and the computational complexity is reduced. We then integrate the MSG token into a multi scale architecture named MSG Transformer. In standard image classification and object detection, MSG Transformer achieves competitive performance and the inference on both GPU and CPU is accelerated. Code is available at https github.com hustvl MSG Transformer.


Entropy and hierarchical clustering characterising the morphology of the urban fabric in different spatial cultures. In this work, we develop a general method for estimating the Shannon entropy of a bidimensional sequence based on the extrapolation of block entropies. We apply this method to analyse the spatial configurations of cities of different cultures and regions of the world. Findings suggest that this approach can identify similarities between cities, generating accurate results for recognising and classifying different urban morphologies. The hierarchical clustering analysis based on this metric also opens up new questions about the possibility that urban form can embody characteristics related to different cultural identities, historical processes and geographical regions.


A Novel Randomized XR Based Preconditioned CholeskyQR Algorithm. CholeskyQR is a simple and fast QR decomposition via Cholesky decomposition, while it has been considered highly sensitive to the condition number. In this paper, we provide a randomized preconditioner framework for CholeskyQR algorithm. Under this framework, two methods (randomized LU CholeskyQR and randomized QR CholeskyQR) are proposed and discussed. We prove the proposed preconditioners can effectively reduce the condition number, which is also demonstrated by numerical tests. Abundant numerical tests indicate our methods are more stable and faster than all the existing algorithms and have good scalability.


Orlicz Lorentz Gauge functional inequalities for some integral operators. Let f in M ( mathbb R ) , the class of nonnegative, Lebesgure measurable functions on mathbb R (0, infty) . We deal with integral operators of the form (T Kf)(x) int mathbb R K(x,y)f(y) , dy, quad x in mathbb R , with K in M ( mathbb R 2) .


High Order Large Eddy Simulations of a Ducted Wind Turbine. A high order flux reconstruction method coupled with a high order sliding mesh method is applied to analyze the performance of a ducted wind turbine at a Reynolds number of 1.25 times 10 6 . To investigate the impacts of the duct, axial flow simulations are also performed for the corresponding open rotor turbine. It is shown that the ducted turbine has higher thrust and power outputs than the open rotor. Vorticity and velocity fields of two configurations are also visualized and analyzed to show the differences. To evaluate the effects of yawed flows, simulations are carried out for both turbines under five different yaw angles gamma 0 circ , pm15 circ , pm 30 circ . The results reveal that the ducted wind turbine has higher power outputs than the open counterpart at all tested yaw angles.


Performance assessment of CUDA and OpenACC in large scale combustion simulations. GPUs have climbed up to the top of supercomputer systems making life harder to many legacy scientific codes. Nowadays, many recipes are being used in such code's portability, without any clarity of which is the best option. We present a comparative analysis of the two most common approaches, CUDA and OpenACC, into the multi physics CFD code Alya. Our focus is the combustion problems which are one of the most computing demanding CFD simulations. The most computing intensive parts of the code were analyzed in detail. New data structures for the matrix assembly step have been created to facilitate a SIMD execution that benefits vectorization in the CPU and stream processing in the GPU. As a result, the CPU code has improved its performance by up to 25 . In GPU execution, CUDA has proven to be up to 2 times faster than OpenACC for the assembly of the matrix. On the contrary, similar performance has been obtained in the kernels related to vector operations used in the linear solver, where there is minimal memory reuse.


Jarvis for Aeroengine Analytics A Speech Enhanced Virtual Reality Demonstrator Based on Mining Knowledge Databases. In this paper, we present a Virtual Reality (VR) based environment where the engineer interacts with incoming data from a fleet of aeroengines. This data takes the form of 3D computer aided design (CAD) engine models coupled with characteristic plots for the subsystems of each engine. Both the plots and models can be interacted with and manipulated using speech or gestural input. The characteristic data is ported to a knowledge based system underpinned by a knowledge graph storing complex domain knowledge. This permits the system to respond to queries about the current state and health of each aeroengine asset. Responses to these questions require some degree of analysis, which is handled by a semantic knowledge representation layer managing information on aeroengine subsystems. This paper represents a significant step forward for aeroengine analysis in a bespoke VR environment and brings us a step closer to a Jarvis like system for aeroengine analytics.


Synthetic Document Generator for Annotation free Layout Recognition. Analyzing the layout of a document to identify headers, sections, tables, figures etc. is critical to understanding its content. Deep learning based approaches for detecting the layout structure of document images have been promising. However, these methods require a large number of annotated examples during training, which are both expensive and time consuming to obtain. We describe here a synthetic document generator that automatically produces realistic documents with labels for spatial positions, extents and categories of the layout elements. The proposed generative process treats every physical component of a document as a random variable and models their intrinsic dependencies using a Bayesian Network graph. Our hierarchical formulation using stochastic templates allow parameter sharing between documents for retaining broad themes and yet the distributional characteristics produces visually unique samples, thereby capturing complex and diverse layouts. We empirically illustrate that a deep layout detection model trained purely on the synthetic documents can match the performance of a model that uses real documents.


Thoughts on the Consistency between Ricci Flow and Neural Network Behavior. The Ricci flow is a partial differential equation for evolving the metric in a Riemannian manifold to make it more regular. On the other hand, neural networks seem to have similar geometric behavior for specific tasks. In this paper, we construct the linearly nearly Euclidean manifold as a background to observe the evolution of Ricci flow and the training of neural networks. Under the Ricci DeTurck flow, we prove the dynamical stability and convergence of the linearly nearly Euclidean metric for an L 2 Norm perturbation. In practice, from the information geometry and mirror descent points of view, we give the steepest descent gradient flow for neural networks on the linearly nearly Euclidean manifold. During the training process of the neural network, we observe that its metric will also regularly converge to the linearly nearly Euclidean metric, which is consistent with the convergent behavior of linearly nearly Euclidean metrics under the Ricci DeTurck flow.


A Biologically Inspired Simultaneous Localization and Mapping System Based on LiDAR Sensor. Simultaneous localization and mapping (SLAM) is one of the essential techniques and functionalities used by robots to perform autonomous navigation tasks. Inspired by the rodent hippocampus, this paper presents a biologically inspired SLAM system based on a LiDAR sensor using a hippocampal model to build a cognitive map and estimate the robot pose in indoor environments. Based on the biologically inspired model, the SLAM system using point cloud data from a LiDAR sensor is capable of leveraging the self motion cues from the LiDAR odometry and the local view cues from the LiDAR local view cells to build a cognitive map and estimate the robot pose. Experiment results show that the proposed SLAM system is highly applicable and sufficiently accurate for LiDAR based SLAM tasks in both simulation and indoor environments.


Characterizing the Program Expressive Power of Existential Rule Languages. Existential rule languages are a family of ontology languages that have been widely used in ontology mediated query answering (OMQA). However, for most of them, the expressive power of representing domain knowledge for OMQA, known as the program expressive power, is not well understood yet. In this paper, we establish a number of novel characterizations for the program expressive power of several important existential rule languages, including tuple generating dependencies (TGDs), linear TGDs, as well as disjunctive TGDs. The characterizations employ natural model theoretic properties, and automata theoretic properties sometimes, which thus provide powerful tools for identifying the definability of domain knowledge for OMQA in these languages.


On mathematical and numerical modelling of multiphysics wave propagation with polytopal Discontinuous Galerkin methods. In this work we review discontinuous Galerkin finite element methods on polytopal grids (PolydG) for the numerical simulation of multiphysics wave propagation phenomena in heterogeneous media. In particular, we address wave phenomena in elastic, poro elastic, and poro elasto acoustic materials. Wave propagation is modeled by using either the elastodynamics equation in the elastic domain, the acoustics equations in the acoustic domain and the low frequency Biot's equations in the poro elastic one. The coupling between different models is realized by means of (physically consistent) transmission conditions, weakly imposed at the interface between the subdomains. For all models configuration, we introduce and analyse the PolydG semi discrete formulation, which is then coupled with suitable time marching schemes. For the semi discrete problem, we present the stability analysis and derive a priori error estimates in a suitable energy norm. A wide set of verification tests with manufactured solutions are presented in order to validate the error analysis. Examples of physical interest are also shown to demonstrate the capability of the proposed methods.


Regularity and symmetry results for nonlinear degenerate elliptic equations. In this paper we prove regularity results for a class of nonlinear degenerate elliptic equations of the form displaystyle operatorname div (A( nabla u ) nabla u) B left( nabla u right) f(u) in particular, we investigate the second order regularity of the solutions. As a consequence of these results, we obtain symmetry and monotonicity properties of positive solutions for this class of degenerate problems in convex symmetric domains via a suitable adaption of the celebrated moving plane method of Alexandrov Serrin.


Can BERT Dig It? Named Entity Recognition for Information Retrieval in the Archaeology Domain. The amount of archaeological literature is growing rapidly. Until recently, these data were only accessible through metadata search. We implemented a text retrieval engine for a large archaeological text collection ( sim 658 Million words). In archaeological IR, domain specific entities such as locations, time periods, and artefacts, play a central role. This motivated the development of a named entity recognition (NER) model to annotate the full collection with archaeological named entities. In this paper, we present ArcheoBERTje, a BERT model pre trained on Dutch archaeological texts. We compare the model's quality and output on a Named Entity Recognition task to a generic multilingual model and a generic Dutch model. We also investigate ensemble methods for combining multiple BERT models, and combining the best BERT model with a domain thesaurus using Conditional Random Fields (CRF). We find that ArcheoBERTje outperforms both the multilingual and Dutch model significantly with a smaller standard deviation between runs, reaching an average F1 score of 0.735. The model also outperforms ensemble methods combining the three models. Combining ArcheoBERTje predictions and explicit domain knowledge from the thesaurus did not increase the F1 score. We quantitatively and qualitatively analyse the differences between the vocabulary and output of the BERT models on the full collection and provide some valuable insights in the effect of fine tuning for specific domains. Our results indicate that for a highly specific text domain such as archaeology, further pre training on domain specific data increases the model's quality on NER by a much larger margin than shown for other domains in the literature, and that domain specific pre training makes the addition of domain knowledge from a thesaurus unnecessary.


JUGE An Infrastructure for Benchmarking Java Unit Test Generators. Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C , or Python) and for various platforms (e.g., desktop, web, or mobile applications). Such generators exhibit varying effectiveness and efficiency, depending on the testing goals they aim to satisfy (e.g., unit testing of libraries vs. system testing of entire applications) and the underlying techniques they implement. In this context, practitioners need to be able to compare different generators to identify the most suited one for their requirements, while researchers seek to identify future research directions. This can be achieved through the systematic execution of large scale evaluations of different generators. However, the execution of such empirical evaluations is not trivial and requires a substantial effort to collect benchmarks, setup the evaluation infrastructure, and collect and analyse the results. In this paper, we present our JUnit Generation benchmarking infrastructure (JUGE) supporting generators (e.g., search based, random based, symbolic execution, etc.) seeking to automate the production of unit tests for various purposes (e.g., validation, regression testing, fault localization, etc.). The primary goal is to reduce the overall effort, ease the comparison of several generators, and enhance the knowledge transfer between academia and industry by standardizing the evaluation and comparison process. Since 2013, eight editions of a unit testing tool competition, co located with the Search Based Software Testing Workshop, have taken place and used and updated JUGE. As a result, an increasing amount of tools (over ten) from both academia and industry have been evaluated on JUGE, matured over the years, and allowed the identification of future research directions.


Gorenstein points in mathbb P 3 via Hadamard product of projective varieties. We show how to construct a stick figure of lines in mathbb P 3 using the Hadamard product of projective varieties. Then, applying the results of Migliore and Nagel, we use such stick figure to build a Gorenstein set of points with given h vector mathbf h . Since the Hadamard product is a coordinate wise product, we show, at the end, how the coordinates of the points, in the Gorenstein set, can be directly determined.


Co universality and controlled maps on product systems over right LCM semigroups. We study the structure of C algebras associated with compactly aligned product systems over group embeddable right LCM semigroups. Towards this end we employ controlled maps and a controlled elimination method that associates the original cores to those of the controlling pair, and we combine with applications of the C envelope theory for cosystems of nonselfadjoint operator algebras recently produced. We derive several applications of these methods that generalize results on single C correspondences. First we show that if the controlling group is exact then the co universal C algebra of the product system coincides with the quotient of the Fock C algebra by the ideal of strong covariance relations. We show that if the controlling group is amenable then the product system is amenable. In particular if the controlling group is abelian then the co universal C algebra is the C envelope of the tensor algebra. Secondly we give necessary and sufficient conditions for the Fock C algebra to be nuclear and exact. When the controlling group is amenable we completely characterize nuclearity and exactness of any equivariant injective Nica covariant representation of the product system. Thirdly we consider controlled maps that enjoy a saturation property. In this case we induce a compactly aligned product system over the controlling pair that shares the same Fock representation, and preserves injectivity. By using co universality, we show that they share the same reduced covariance algebras. If in addition the controlling pair is a total order then the fixed point algebra of the controlling group induces a super product system that has the same reduced covariance algebra and is moreover reversible.


Truthful AI Developing and governing AI that does not lie. In many contexts, lying the use of verbal falsehoods to deceive is harmful. While lying has traditionally been a human affair, AI systems that make sophisticated verbal statements are becoming increasingly prevalent. This raises the question of how we should limit the harm caused by AI "lies" (i.e. falsehoods that are actively selected for). Human truthfulness is governed by social norms and by laws (against defamation, perjury, and fraud). Differences between AI and humans present an opportunity to have more precise standards of truthfulness for AI, and to have these standards rise over time. This could provide significant benefits to public epistemics and the economy, and mitigate risks of worst case AI futures. Establishing norms or laws of AI truthfulness will require significant work to (1) identify clear truthfulness standards (2) create institutions that can judge adherence to those standards and (3) develop AI systems that are robustly truthful. Our initial proposals for these areas include (1) a standard of avoiding "negligent falsehoods" (a generalisation of lies that is easier to assess) (2) institutions to evaluate AI systems before and after real world deployment and (3) explicitly training AI systems to be truthful via curated datasets and human interaction. A concerning possibility is that evaluation mechanisms for eventual truthfulness standards could be captured by political interests, leading to harmful censorship and propaganda. Avoiding this might take careful attention. And since the scale of AI speech acts might grow dramatically over the coming decades, early truthfulness standards might be particularly important because of the precedents they set.


Load Balancing with Dynamic Set of Balls and Bins. In dynamic load balancing, we wish to distribute balls into bins in an environment where both balls and bins can be added and removed. We want to minimize the maximum load of any bin but we also want to minimize the number of balls and bins affected when adding or removing a ball or a bin. We want a hashing style solution where we given the ID of a ball can find its bin efficiently. We are given a balancing parameter c 1 epsilon , where epsilon in (0,1) . With n and m the current numbers of balls and bins, we want no bin with load above C lceil c n m rceil , referred to as the capacity of the bins. We present a scheme where we can locate a ball checking 1 O( log 1 epsilon) bins in expectation. When inserting or deleting a ball, we expect to move O(1 epsilon) balls, and when inserting or deleting a bin, we expect to move O(C epsilon) balls. Previous bounds were off by a factor 1 epsilon . These bounds are best possible when C O(1) but for larger C , we can do much better Let f epsilon C if C leq log 1 epsilon , f epsilon sqrt C cdot sqrt log(1 ( epsilon sqrt C )) if log 1 epsilon leq C tfrac 1 2 epsilon 2 , and C 1 if C geq tfrac 1 2 epsilon 2 . We show that we expect to move O(1 f) balls when inserting or deleting a ball, and O(C f) balls when inserting or deleting a bin. For the bounds with larger C , we first have to resolve a much simpler probabilistic problem. Place n balls in m bins of capacity C , one ball at the time. Each ball picks a uniformly random non full bin. We show that in expectation and with high probability, the fraction of non full bins is Theta(f) . Then the expected number of bins that a new ball would have to visit to find one that is not full is Theta(1 f) . As it turns out, we obtain the same complexity in our more complicated scheme where both balls and bins can be added and removed.


An Ethical Framework for Guiding the Development of Affectively Aware Artificial Intelligence. The recent rapid advancements in artificial intelligence research and deployment have sparked more discussion about the potential ramifications of socially and emotionally intelligent AI. The question is not if research can produce such affectively aware AI, but when it will. What will it mean for society when machines and the corporations and governments they serve can "read" people's minds and emotions? What should developers and operators of such AI do, and what should they not do? The goal of this article is to pre empt some of the potential implications of these developments, and propose a set of guidelines for evaluating the (moral and) ethical consequences of affectively aware AI, in order to guide researchers, industry professionals, and policy makers. We propose a multi stakeholder analysis framework that separates the ethical responsibilities of AI Developers vis a vis the entities that deploy such AI which we term Operators. Our analysis produces two pillars that clarify the responsibilities of each of these stakeholders Provable Beneficence, which rests on proving the effectiveness of the AI, and Responsible Stewardship, which governs responsible collection, use, and storage of data and the decisions made from such data. We end with recommendations for researchers, developers, operators, as well as regulators and law makers.


Impact of Data Processing on Fairness in Supervised Learning. We study the impact of pre and post processing for reducing discrimination in data driven decision makers. We first analyze the fundamental trade off between fairness and accuracy in a pre processing approach, and propose a design for a pre processing module based on a convex optimization program, which can be added before the original classifier. This leads to a fundamental lower bound on attainable discrimination, given any acceptable distortion in the outcome. Furthermore, we reformulate an existing post processing method in terms of our accuracy and fairness measures, which allows comparing post processing and pre processing approaches. We show that under some mild conditions, pre processing outperforms post processing. Finally, we show that by appropriate choice of the discrimination measure, the optimization problem for both pre and post processing approaches will reduce to a linear program and hence can be solved efficiently.


Multilevel Global Local techniques for adaptive ductile phase field fracture. This paper outlines a rigorous variational based multilevel Global Local formulation for ductile fracture. Here, a phase field formulation is used to resolve failure mechanisms by regularizing the sharp crack topology on the local state. The coupling of plasticity to the crack phase field is realized by a constitutive work density function, which is characterized through a degraded stored elastic energy and the accumulated dissipated energy due to plasticity and damage. Two different Global Local approaches based on the idea of multiplicative Schwarz' alternating method are proposed (i) A global constitutive model with an elastic plastic behavior is first proposed, while it is enhanced with a single local domain, which, in turn, describes an elastic plastic fracturing response. (ii) The main objective of the second model is to introduce an adoption of the Global Local approach toward the multilevel local setting. To this end, an elastic plastic global constitutive model is augmented with two distinct local domains in which, the first local domain behaves as an elastic plastic material and the next local domain is modeled due to the fracture state. To further reduce the computational cost, predictor corrector adaptivity within Global Local concept is introduced. An adaptive scheme is devised through the evolution of the effective global plastic flow (for only elastic plastic adaptivity), and through the evolution of the local crack phase field state (for only fracture adaptivity). Thus, two local domains are dynamically updated during the computation, resulting with two way adaptivity procedure. The overall response of the Global Local approach in terms of accuracy robustness and efficiency is verified using single scale problems. The resulting framework is algorithmically described in detail and substantiated with numerical examples.


Sloshing in vertical cylinders with circular walls the effect of radial baffles. The behaviour of sloshing eigenvalues and eigenfunctions is studied for vertical cylindrical containers that have circular walls and constant (possibly infinite) depth. The effect of breaking the axial symmetry due to the presence of radial baffles is analysed. It occurs that the lowest eigenvalues are substantially smaller for containers with baffles going throughout the depth moreover, all eigenvalues are simple in this case. On the other hand, the lowest eigenvalue has multiplicity two in the absence of baffle. It is shown how these properties affect the location of maxima and minima of the free surface elevation and the location of its nodes.


Usability Inspection Novice Crowd Inspectors versus Expert. Objective This research study aims to investigate the use of novice crowd inspectors for usability inspection with respect to time spent and the cost incurred. This study compares the results of the novice crowd usability inspection guided by a single expert's heuristic usability inspection (novice crowd usability inspection henceforth) with the expert heuristic usability inspection. Background Traditional usability evaluation methods are time consuming and expensive. Crowdsourcing has emerged as a cost effective and quick means of software usability evaluation. Method In this regard, we designed an experiment to evaluate the usability of two websites and a web dashboard. Results The results of the experiment show that novice crowd usability inspection guided by a single expert's heuristic usability inspection a). Finds the same usability issues (w.r.t. content quantity) as expert heuristic usability inspection. b). Is cost effective than expert heuristic usability inspection employing less time duration. Conclusion Based on the findings of this research study, we can conclude that the novice crowd usability inspection guided by a single expert's heuristic usability inspection and expert heuristic usability inspection, on average, gives the same results in terms of issues identified.


What Does Rotation Prediction Tell Us about Classifier Accuracy under Varying Testing Environments?. Understanding classifier decision under novel environments is central to the community, and a common practice is evaluating it on labeled test sets. However, in real world testing, image annotations are difficult and expensive to obtain, especially when the test environment is changing. A natural question then arises given a trained classifier, can we evaluate its accuracy on varying unlabeled test sets? In this work, we train semantic classification and rotation prediction in a multi task way. On a series of datasets, we report an interesting finding, i.e., the semantic classification accuracy exhibits a strong linear relationship with the accuracy of the rotation prediction task (Pearson's Correlation r 0.88). This finding allows us to utilize linear regression to estimate classifier performance from the accuracy of rotation prediction which can be obtained on the test set through the freely generated rotation labels.


Sasakian structures on tangent sphere bundles of compact rank one symmetric spaces. A positive answer is given to the existence of Sasakian structures on the tangent sphere bundle of some Riemannian manifold whose sectional curvature is not constant. Among other results, it is proved that the tangent sphere bundle Tr(G K), for any r 0, of a compact rank one symmetric space G K, not necessarily of constant sectional curvature, admits a unique K contact structure whose characteristic vector field is the standard field of T(G K). Such a structure is in fact Sasakian and it can be expressed as an induced structure from an almost Hermitian structure on the punctured tangent bundle T(G K) zero section .


Deep Convolutional Neural Network Applied to Electroencephalography Raw Data vs Spectral Features. The success of deep learning in computer vision has inspired the scientific community to explore new analysis methods. Within the field of neuroscience, specifically in electrophysiological neuroimaging, researchers are starting to explore leveraging deep learning to make predictions on their data without extensive feature engineering. This paper compares deep learning using minimally processed EEG raw data versus deep learning using EEG spectral features using two different deep convolutional neural architectures. One of them from Putten et al. (2018) is tailored to process raw data the other was derived from the VGG16 vision network (Simonyan and Zisserman, 2015) which is designed to process EEG spectral features. We apply them to classify sex on 24 channel EEG from a large corpus of 1,574 participants. Not only do we improve on state of the art classification performance for this type of classification problem, but we also show that in all cases, raw data classification leads to superior performance as compared to spectral EEG features. Interestingly we show that the neural network tailored to process EEG spectral features has increased performance when applied to raw data classification. Our approach suggests that the same convolutional networks used to process EEG spectral features yield superior performance when applied to EEG raw data.


Reinforcement Learning on Human Decision Models for Uniquely Collaborative AI Teammates. In 2021 the Johns Hopkins University Applied Physics Laboratory held an internal challenge to develop artificially intelligent (AI) agents that could excel at the collaborative card game Hanabi. Agents were evaluated on their ability to play with human players whom the agents had never previously encountered. This study details the development of the agent that won the challenge by achieving a human play average score of 16.5, outperforming the current state of the art for human bot Hanabi scores. The winning agent's development consisted of observing and accurately modeling the author's decision making in Hanabi, then training with a behavioral clone of the author. Notably, the agent discovered a human complementary play style by first mimicking human decision making, then exploring variations to the human like strategy that led to higher simulated human bot scores. This work examines in detail the design and implementation of this human compatible Hanabi teammate, as well as the existence and implications of human complementary strategies and how they may be explored for more successful applications of AI in human machine teams.


Crop Rotation Modeling for Deep Learning Based Parcel Classification from Satellite Time Series. While annual crop rotations play a crucial role for agricultural optimization, they have been largely ignored for automated crop type mapping. In this paper, we take advantage of the increasing quantity of annotated satellite data to propose the first deep learning approach modeling simultaneously the inter and intra annual agricultural dynamics of parcel classification. Along with simple training adjustments, our model provides an improvement of over 6.3 mIoU points over the current state of the art of crop classification. Furthermore, we release the first large scale multi year agricultural dataset with over 300,000 annotated parcels.


EARLIN Early Out of Distribution Detection for Resource efficient Collaborative Inference. Collaborative inference enables resource constrained edge devices to make inferences by uploading inputs (e.g., images) to a server (i.e., cloud) where the heavy deep learning models run. While this setup works cost effectively for successful inferences, it severely underperforms when the model faces input samples on which the model was not trained (known as Out of Distribution (OOD) samples). If the edge devices could, at least, detect that an input sample is an OOD, that could potentially save communication and computation resources by not uploading those inputs to the server for inference workload. In this paper, we propose a novel lightweight OOD detection approach that mines important features from the shallow layers of a pretrained CNN model and detects an input sample as ID (In Distribution) or OOD based on a distance function defined on the reduced feature space. Our technique (a) works on pretrained models without any retraining of those models, and (b) does not expose itself to any OOD dataset (all detection parameters are obtained from the ID training dataset). To this end, we develop EARLIN (EARLy OOD detection for Collaborative INference) that takes a pretrained model and partitions the model at the OOD detection layer and deploys the considerably small OOD part on an edge device and the rest on the cloud. By experimenting using real datasets and a prototype implementation, we show that our technique achieves better results than other approaches in terms of overall accuracy and cost when tested against popular OOD datasets on top of popular deep learning models pretrained on benchmark datasets.


Deep Learning for Suicide and Depression Identification with Unsupervised Label Correction. Early detection of suicidal ideation in depressed individuals can allow for adequate medical attention and support, which in many cases is life saving. Recent NLP research focuses on classifying, from a given piece of text, if an individual is suicidal or clinically healthy. However, there have been no major attempts to differentiate between depression and suicidal ideation, which is an important clinical challenge. Due to the scarce availability of EHR data, suicide notes, or other similar verified sources, web query data has emerged as a promising alternative. Online sources, such as Reddit, allow for anonymity that prompts honest disclosure of symptoms, making it a plausible source even in a clinical setting. However, these online datasets also result in lower performance, which can be attributed to the inherent noise in web scraped labels, which necessitates a noise removal process. Thus, we propose SDCNL, a suicide versus depression classification method through a deep learning approach. We utilize online content from Reddit to train our algorithm, and to verify and correct noisy labels, we propose a novel unsupervised label correction method which, unlike previous work, does not require prior noise distribution information. Our extensive experimentation with multiple deep word embedding models and classifiers display the strong performance of the method in anew, challenging classification application. We make our code and dataset available at https github.com ayaanzhaque SDCNL


Mean field limits for non linear Hawkes processes with excitation and inhibition. We study a multivariate, non linear Hawkes process Z N on the complete graph with N nodes. Each vertex is either excitatory (probability p ) or inhibitory (probability 1 p ). We take the mean field limit of Z N , leading to a multivariate point process bar Z . If p neq tfrac12 , we rescale the interaction intensity by N and find that the limit intensity process solves a deterministic convolution equation and all components of bar Z are independent. In the critical case, p tfrac12 , we rescale by N 1 2 and obtain a limit intensity, which solves a stochastic convolution equation and all components of bar Z are conditionally independent.


ARTA Collection and Classification of Ambiguous Requests and Thoughtful Actions. Human assisting systems such as dialogue systems must take thoughtful, appropriate actions not only for clear and unambiguous user requests, but also for ambiguous user requests, even if the users themselves are not aware of their potential requirements. To construct such a dialogue agent, we collected a corpus and developed a model that classifies ambiguous user requests into corresponding system actions. In order to collect a high quality corpus, we asked workers to input antecedent user requests whose pre defined actions could be regarded as thoughtful. Although multiple actions could be identified as thoughtful for a single user request, annotating all combinations of user requests and system actions is impractical. For this reason, we fully annotated only the test data and left the annotation of the training data incomplete. In order to train the classification model on such training data, we applied the positive unlabeled (PU) learning method, which assumes that only a part of the data is labeled with positive examples. The experimental results show that the PU learning method achieved better performance than the general positive negative (PN) learning method to classify thoughtful actions given an ambiguous user request.


Human Symmetry Uncertainty Detected by a Self Organizing Neural Network Map. Symmetry in biological and physical systems is a product of self organization driven by evolutionary processes, or mechanical systems under constraints. Symmetry based feature extrac tion or representation by neural networks may unravel the most informative contents in large image databases. Despite significant achievements of artificial intelligence in recognition and classification of regular patterns, the problem of uncertainty remains a major challenge in ambiguous data. In this study, we present an artificial neural network that detects symmetry uncertainty states in human observers. To this end, we exploit a neural network metric in the output of a biologically inspired Self Organizing Map, the Quantization Error (SOM QE). Shape pairs with perfect geometric mirror symmetry but a non homogenous appearance, caused by local variations in hue, saturation, or lightness within or across the shapes in a given pair produce, as shown here, longer choice RT for yes responses relative to symmetry. These data are consistently mirrored by the variations in the SOM QE from unsupervised neural network analysis of the same stimulus images. The neural network metric is thus capable of detecting and scaling human symmetry uncertainty in response to patterns. Such capacity is tightly linked to the metrics proven selectivity to local contrast and color variations in large and highly complex image data.


Monolithic Silicon Photonic Architecture for Training Deep Neural Networks with Direct Feedback Alignment. The field of artificial intelligence (AI) has witnessed tremendous growth in recent years, however some of the most pressing challenges for the continued development of AI systems are the fundamental bandwidth, energy efficiency, and speed limitations faced by electronic computer architectures. There has been growing interest in using photonic processors for performing neural network inference operations, however these networks are currently trained using standard digital electronics. Here, we propose on chip training of neural networks enabled by a CMOS compatible silicon photonic architecture to harness the potential for massively parallel, efficient, and fast data operations. Our scheme employs the direct feedback alignment training algorithm, which trains neural networks using error feedback rather than error backpropagation, and can operate at speeds of trillions of multiply accumulate (MAC) operations per second while consuming less than one picojoule per MAC operation. The photonic architecture exploits parallelized matrix vector multiplications using arrays of microring resonators for processing multi channel analog signals along single waveguide buses to calculate the gradient vector of each neural network layer in situ, which is the most computationally expensive operation performed during the backward pass. We also experimentally demonstrate training a deep neural network with the MNIST dataset using on chip MAC operation results. Our novel approach for efficient, ultra fast neural network training showcases photonics as a promising platform for executing AI applications.


DirectProbe Studying Representations without Classifiers. Understanding how linguistic structures are encoded in contextualized embedding could help explain their impressive performance across NLP . Existing approaches for probing them usually call for training classifiers and use the accuracy, mutual information, or complexity as a proxy for the representation's goodness. In this work, we argue that doing so can be unreliable because different representations may need different classifiers. We develop a heuristic, DirectProbe, that directly studies the geometry of a representation by building upon the notion of a version space for a task. Experiments with several linguistic tasks and contextualized embeddings show that, even without training classifiers, DirectProbe can shine light into how an embedding space represents labels, and also anticipate classifier performance for the representation.


Electron heating mode transitions in radio frequency driven micro atmospheric pressure plasma jets in He O 2 A fluid dynamics approach. A two dimensional fluid model is used to investigate the electron heating dynamics and the production of neutral species in a capacitively coupled radio frequency micro atmospheric pressure helium plasma jet specifically the COST jet with a small oxygen admixture. Electron heating mode transitions are found to be induced by varying the driving voltage amplitude and the O 2 concentration numerically and experimentally. The helium metastable density, and the charged species densities are highly relevant to the electron heating dynamics. By analyzing the creation and destruction mechanisms of the negative ions, we find that the generation of negative ions strongly depends on the O 2 concentration. The increase of the electronegativity with the increasing O 2 concentration leads to an enhancement of the bulk drift electric field. The distributions of the different neutral species densities along the direction of the gas flow inside the jet, as well as in the effluent differ a lot due to the relevant chemical reaction rates and the effect of the gas flow. The simulated results show that a fluid model can be an effective tool for qualitative investigations of micro atmospheric pressure plasma jets.


Latency Aware Neural Architecture Search with Multi Objective Bayesian Optimization. When tuning the architecture and hyperparameters of large machine learning models for on device deployment, it is desirable to understand the optimal trade offs between on device latency and model accuracy. In this work, we leverage recent methodological advances in Bayesian optimization over high dimensional search spaces and multi objective Bayesian optimization to efficiently explore these trade offs for a production scale on device natural language understanding model at Facebook.


Properties of the Toric Rings of a Chordal Bipartite Family of Graphs. This work concerns the study of properties of a group of Koszul algebras coming from the toric ideals of a chordal bipartite infinite family of graphs (alternately, these rings may be interpreted as coming from determinants of certain ladder like structures). We determine a linear system of parameters for each ring and explicitly determine the Hilbert series for the resulting Artinian reduction. As corollaries, we obtain the multiplicity and regularity of the original rings. This work extends results easily derived from lattice theory for a subfamily coming from a two sided ladder to a family where, as we show, lattice theory no longer applies in any obvious way and includes constructive proofs which may be useful in future study of these rings and others.


Searching for Rigidity in Algebraic Starscapes. We create plots of algebraic integers in the complex plane, exploring the effect of sizing the integers according to various arithmetic invariants. We focus on Galois theoretic invariants, in particular creating plots which emphasize algebraic integers whose Galois group is not the full symmetric group these integers we call rigid. We then give some analysis of the resulting images, suggesting avenues for future research about the geometry of so called rigid algebraic integers.


Alchemy A benchmark and analysis toolkit for meta reinforcement learning agents. There has been rapidly growing interest in meta learning as a method for increasing the flexibility and sample efficiency of reinforcement learning. One problem in this area of research, however, has been a scarcity of adequate benchmark tasks. In general, the structure underlying past benchmarks has either been too simple to be inherently interesting, or too ill defined to support principled analysis. In the present work, we introduce a new benchmark for meta RL research, emphasizing transparency and potential for in depth analysis as well as structural richness. Alchemy is a 3D video game, implemented in Unity, which involves a latent causal structure that is resampled procedurally from episode to episode, affording structure learning, online inference, hypothesis testing and action sequencing based on abstract domain knowledge. We evaluate a pair of powerful RL agents on Alchemy and present an in depth analysis of one of these agents. Results clearly indicate a frank and specific failure of meta learning, providing validation for Alchemy as a challenging benchmark for meta RL. Concurrent with this report, we are releasing Alchemy as public resource, together with a suite of analysis tools and sample agent trajectories.


Dynamic Grasping with a "Soft" Drone From Theory to Practice. Rigid grippers used in existing aerial manipulators require precise positioning to achieve successful grasps and transmit large contact forces that may destabilize the drone. This limits the speed during grasping and prevents "dynamic grasping", where the drone attempts to grasp an object while moving. On the other hand, biological systems (e.g., birds) rely on compliant and soft parts to dampen contact forces and compensate for grasping inaccuracy, enabling impressive feats. This paper presents the first prototype of a soft drone a quadrotor where traditional (i.e., rigid) landing gears are replaced with a soft tendon actuated gripper to enable aggressive grasping. We provide three key contributions. First, we describe our soft drone prototype, including electro mechanical design, software infrastructure, and fabrication. Second, we review the set of algorithms we use for trajectory optimization and control of the drone and the soft gripper the algorithms combine state of the art techniques for quadrotor control (i.e., an adaptive geometric controller) with advanced soft robotics models (i.e., a quasi static finite element model). Finally, we evaluate our soft drone in physics simulations (using SOFA and Unity) and in real tests in a motion capture room. Our drone is able to dynamically grasp objects of unknown shape where baseline approaches fail. Our physical prototype ensures consistent performance, achieving 91.7 successful grasps across 23 trials. We showcase dynamic grasping results in the video attachment. Video Attachment https youtu.be mqbj8mEyCdk


STFL A Temporal Spatial Federated Learning Framework for Graph Neural Networks. We present a spatial temporal federated learning framework for graph neural networks, namely STFL. The framework explores the underlying correlation of the input spatial temporal data and transform it to both node features and adjacency matrix. The federated learning setting in the framework ensures data privacy while achieving a good model generalization. Experiments results on the sleep stage dataset, ISRUC S3, illustrate the effectiveness of STFL on graph prediction tasks.


The sixth moment of automorphic L functions. We investigate the sixth moment of the family of L functions associated to holomorphic modular forms on GL 2 with respect to a congruence subgroup Gamma 1(q) . We improve on previous work and obtain an unconditional upper bound of the correct order of magnitude.


The Emergence of Objectness Learning Zero Shot Segmentation from Videos. Humans can easily segment moving objects without knowing what they are. That objectness could emerge from continuous visual observations motivates us to model grouping and movement concurrently from unlabeled videos. Our premise is that a video has different views of the same scene related by moving components, and the right region segmentation and region flow would allow mutual view synthesis which can be checked from the data itself without any external supervision. Our model starts with two separate pathways an appearance pathway that outputs feature based region segmentation for a single image, and a motion pathway that outputs motion features for a pair of images. It then binds them in a conjoint representation called segment flow that pools flow offsets over each region and provides a gross characterization of moving regions for the entire scene. By training the model to minimize view synthesis errors based on segment flow, our appearance and motion pathways learn region segmentation and flow estimation automatically without building them up from low level edges or optical flows respectively. Our model demonstrates the surprising emergence of objectness in the appearance pathway, surpassing prior works on zero shot object segmentation from an image, moving object segmentation from a video with unsupervised test time adaptation, and semantic image segmentation by supervised fine tuning. Our work is the first truly end to end zero shot object segmentation from videos. It not only develops generic objectness for segmentation and tracking, but also outperforms prevalent image based contrastive learning methods without augmentation engineering.


Mutual Affine Network for Spatially Variant Kernel Estimation in Blind Image Super Resolution. Existing blind image super resolution (SR) methods mostly assume blur kernels are spatially invariant across the whole image. However, such an assumption is rarely applicable for real images whose blur kernels are usually spatially variant due to factors such as object motion and out of focus. Hence, existing blind SR methods would inevitably give rise to poor performance in real applications. To address this issue, this paper proposes a mutual affine network (MANet) for spatially variant kernel estimation. Specifically, MANet has two distinctive features. First, it has a moderate receptive field so as to keep the locality of degradation. Second, it involves a new mutual affine convolution (MAConv) layer that enhances feature expressiveness without increasing receptive field, model size and computation burden. This is made possible through exploiting channel interdependence, which applies each channel split with an affine transformation module whose input are the rest channel splits. Extensive experiments on synthetic and real images show that the proposed MANet not only performs favorably for both spatially variant and invariant kernel estimation, but also leads to state of the art blind SR performance when combined with non blind SR methods.


Efficient Binary Embedding of Categorical Data using BinSketch. In this work, we present a dimensionality reduction algorithm, aka. sketching, for categorical datasets. Our proposed sketching algorithm Cabin constructs low dimensional binary sketches from high dimensional categorical vectors, and our distance estimation algorithm Cham computes a close approximation of the Hamming distance between any two original vectors only from their sketches. The minimum dimension of the sketches required by Cham to ensure a good estimation theoretically depends only on the sparsity of the data points making it useful for many real life scenarios involving sparse datasets. We present a rigorous theoretical analysis of our approach and supplement it with extensive experiments on several high dimensional real world data sets, including one with over a million dimensions. We show that the Cabin and Cham duo is a significantly fast and accurate approach for tasks such as RMSE, all pairs similarity, and clustering when compared to working with the full dataset and other dimensionality reduction techniques.


Generalized Poincar 'e series for mathrm SU (2,1) . We define and study 'non abelian' Poincar 'e series for the group G mathrm SU (2,1) , i.e. Poincar 'e series attached to a Stone Von Neumann representation of the unipotent subgroup N of G . Such Poincar 'e series have in general exponential growth. In this study we use results on abelian and non abelian Fourier term modules obtained in arXiv 1912.01334. We compute the inner product of truncations of these series and those associated to unitary characters of N with square integrable automorphic forms, in connection with their Fourier expansions. As a consequence, we obtain general completeness results that, in particular, generalize those valid for the classical holomorphic (and antiholomorphic) Poincar 'e series for mathrm SL (2, mathbb R ) .


"FISTA" in Banach spaces with adaptive discretisations. FISTA is a popular convex optimisation algorithm which is known to converge at an optimal rate whenever the optimisation domain is contained in a suitable Hilbert space. We propose a modified algorithm where each iteration is performed in a subspace, and that subspace is allowed to change at every iteration. Analytically, this allows us to guarantee convergence in a Banach space setting, although at a reduced rate depending on the conditioning of the specific problem. Numerically we show that a greedy adaptive choice of discretisation can greatly increase the time and memory efficiency in infinite dimensional Lasso optimisation problems.


TCEP Transitions in Operator Placement to Adapt to Dynamic Network Environments. Distributed Complex Event Processing (DCEP) is a commonly used paradigm to detect and act on situational changes of many applications, including the Internet of Things (IoT). DCEP achieves this using a simple specification of analytical tasks on data streams called operators and their distributed execution on a set of infrastructure. The adaptivity of DCEP to the dynamics of IoT applications is essential and very challenging in the face of changing demands concerning Quality of Service. In our previous work, we addressed this issue by enabling transitions, which allow for the adaptive use of multiple operator placement mechanisms. In this article, we extend the transition methodology by optimizing the costs of transition and analyzing the behaviour using multiple operator placement mechanisms. Furthermore, we provide an extensive evaluation on the costs of transition imposed by operator migrations and learning, as it can inflict overhead on the performance if operated uncoordinatedly.


On the advection diffusion equation with rough coefficients weak solutions and vanishing viscosity. In the first part of the paper, we study the Cauchy problem for the advection diffusion equation partial t v text div (v boldsymbol b ) Delta v associated with a merely integrable, divergence free vector field boldsymbol b defined on the torus. We first introduce two notions of solutions (distributional and parabolic), recalling the corresponding available results of existence and uniqueness. Then, we establish a regularity criterion, which in turn provides uniqueness for distributional solutions. This is motivated by the recent results in 31 where the authors showed non uniqueness of distributional solutions to the advection diffusion equation despite the parabolic one is unique. In the second part of the paper, we precisely describe the vanishing viscosity scheme for the transport continuity equation drifted by boldsymbol b , i.e. partial t u text div (u boldsymbol b ) 0 . Under Sobolev assumptions on boldsymbol b , we give two independent proofs of the convergence of such scheme to the Lagrangian solution of the transport equation. The first proof slightly generalizes the original one of 21 . The other one is quantitative and yields rates of convergence. This offers a completely general selection criterion for the transport equation (even beyond the distributional regime) which compensates the wild non uniqueness phenomenon for solutions with low integrability arising from convex integration schemes, as shown in recent works 10, 31, 32, 33 , and rules out the possibility of anomalous dissipation.


Analysis of relationships between spectral potential of transfer operators, t entropy, entropy and topological pressure. The paper is devoted to the analysis of relationships between principal objects of the spectral theory of dynamical systems (transfer and weighted shift operators) and basic characteristics of information theory and thermodynamic formalism (entropy and topological pressure). We present explicit formulae linking these objects with t entropy and spectral potential. Herewith we uncover the role of inverse rami rate, forward entropy along with essential set and the property of non contractibility of a dynamical system.


Fatou theorem and its converse for positive eigenfunctions of the Laplace Beltrami operator on Harmonic NA groups. We prove a Fatou type theorem and its converse for certain positive eigenfunctions of the Laplace Beltrami operator mathcal L on a Harmonic NA group. We show that a positive eigenfunction u of mathcal L with eigenvalue beta 2 rho 2 , beta in (0, infty) , has an admissible limit in the sense of Kor 'anyi, precisely at those boundary points where the strong derivative of the boundary measure of u exists. Moreover, the admissible limit and the strong derivative are the same. This extends a result of Ramey and Ullrich regarding nontangential convergence of positive harmonic functions on the Euclidean upper half space.


Learning based Optoelectronically Innervated Tactile Finger for Rigid Soft Interactive Grasping. This paper presents a novel design of a soft tactile finger with omni directional adaptation using multi channel optical fibers for rigid soft interactive grasping. Machine learning methods are used to train a model for real time prediction of force, torque, and contact using the tactile data collected. We further integrated such fingers in a reconfigurable gripper design with three fingers so that the finger arrangement can be actively adjusted in real time based on the tactile data collected during grasping, achieving the process of rigid soft interactive grasping. Detailed sensor calibration and experimental results are also included to further validate the proposed design for enhanced grasping robustness.


Twin Systems for DeepCBR A Menagerie of Deep Learning and Case Based Reasoning Pairings for Explanation and Data Augmentation. Recently, it has been proposed that fruitful synergies may exist between Deep Learning (DL) and Case Based Reasoning (CBR) that there are insights to be gained by applying CBR ideas to problems in DL (what could be called DeepCBR). In this paper, we report on a program of research that applies CBR solutions to the problem of Explainable AI (XAI) in the DL. We describe a series of twin systems pairings of opaque DL models with transparent CBR models that allow the latter to explain the former using factual, counterfactual and semi factual explanation strategies. This twinning shows that functional abstractions of DL (e.g., feature weights, feature importance and decision boundaries) can be used to drive these explanatory solutions. We also raise the prospect that this research also applies to the problem of Data Augmentation in DL, underscoring the fecundity of these DeepCBR ideas.


Advising Agent for Service Providing Live Chat Operators. Call centers, in which human operators attend clients using textual chat, are very common in modern e commerce. Training enough skilled operators who are able to provide good service is a challenge. We suggest an algorithm and a method to train and implement an assisting agent that provides on line advice to operators while they attend clients. The agent is domain independent and can be introduced to new domains without major efforts in design, training and organizing structured knowledge of the professional discipline. We demonstrate the applicability of the system in an experiment that realizes its full life cycle on a specific domain and analyze its capabilities.


Prevent the Language Model from being Overconfident in Neural Machine Translation. The Neural Machine Translation (NMT) model is essentially a joint language model conditioned on both the source sentence and partial translation. Therefore, the NMT model naturally involves the mechanism of the Language Model (LM) that predicts the next token only based on partial translation. Despite its success, NMT still suffers from the hallucination problem, generating fluent but inadequate translations. The main reason is that NMT pays excessive attention to the partial translation while neglecting the source sentence to some extent, namely overconfidence of the LM. Accordingly, we define the Margin between the NMT and the LM, calculated by subtracting the predicted probability of the LM from that of the NMT model for each token. The Margin is negatively correlated to the overconfidence degree of the LM. Based on the property, we propose a Margin based Token level Objective (MTO) and a Margin based Sentencelevel Objective (MSO) to maximize the Margin for preventing the LM from being overconfident. Experiments on WMT14 English to German, WMT19 Chinese to English, and WMT14 English to French translation tasks demonstrate the effectiveness of our approach, with 1.36, 1.50, and 0.63 BLEU improvements, respectively, compared to the Transformer baseline. The human evaluation further verifies that our approaches improve translation adequacy as well as fluency.


Complexity Analysis of Root Clustering for a Complex Polynomial. Let F(z) be an arbitrary complex polynomial. We introduce the local root clustering problem, to compute a set of natural varepsilon clusters of roots of F(z) in some box region B 0 in the complex plane. This may be viewed as an extension of the classical root isolation problem. Our contribution is two fold we provide an efficient certified subdivision algorithm for this problem, and we provide a bit complexity analysis based on the local geometry of the root clusters. Our computational model assumes that arbitrarily good approximations of the coefficients of F are provided by means of an oracle at the cost of reading the coefficients. Our algorithmic techniques come from a companion paper (Becker et al., 2018) and are based on the Pellet test, Graeffe and Newton iterations, and are independent of Sch "onhage's splitting circle method. Our algorithm is relatively simple and promises to be efficient in practice.


Existence, nonexistence and uniqueness for Lane Emden type fully nonlinear systems. We study existence, nonexistence, and uniqueness of positive radial solutions for a class of nonlinear systems driven by Pucci extremal operators under a Lane Emden coupling configuration. Our results are based on the analysis of the associated quadratic dynamical system and energy methods. For both regular and exterior domain radial solutions we obtain new regions of existence and nonexistence. Besides, we show an exclusion principle for regular solutions, either in mathbb R N or in a ball, by exploiting the uniqueness of trajectories produced by the flow. In particular, for the standard Lane Emden system involving the Laplacian operator, we prove that the critical hyperbola of regular radial positive solutions is also the threshold for existence and nonexistence of radial exterior domain solutions with Neumann boundary condition. As a byproduct, singular solutions with fast decay at infinity are also found.


Outlier Detection as Instance Selection Method for Feature Selection in Time Series Classification. In order to allow machine learning algorithms to extract knowledge from raw data, these data must first be cleaned, transformed, and put into machine appropriate form. These often very time consuming phase is referred to as preprocessing. An important step in the preprocessing phase is feature selection, which aims at better performance of prediction models by reducing the amount of features of a data set. Within these datasets, instances of different events are often imbalanced, which means that certain normal events are over represented while other rare events are very limited. Typically, these rare events are of special interest since they have more discriminative power than normal events. The aim of this work was to filter instances provided to feature selection methods for these rare instances, and thus positively influence the feature selection process. In the course of this work, we were able to show that this filtering has a positive effect on the performance of classification models and that outlier detection methods are suitable for this filtering. For some data sets, the resulting increase in performance was only a few percent, but for other datasets, we were able to achieve increases in performance of up to 16 percent. This work should lead to the improvement of the predictive models and the better interpretability of feature selection in the course of the preprocessing phase. In the spirit of open science and to increase transparency within our research field, we have made all our source code and the results of our experiments available in a publicly available repository.


Airfoil's Aerodynamic Coefficients Prediction using Artificial Neural Network. Figuring out the right airfoil is a crucial step in the preliminary stage of any aerial vehicle design, as its shape directly affects the overall aerodynamic characteristics of the aircraft or rotorcraft. Besides being a measure of performance, the aerodynamic coefficients are used to design additional subsystems such as a flight control system, or predict complex dynamic phenomena such as aeroelastic instability. The coefficients in question can either be obtained experimentally through wind tunnel testing or, depending upon the accuracy requirements, by numerically simulating the underlying fundamental equations of fluid dynamics. In this paper, the feasibility of applying Artificial Neural Networks (ANNs) to estimate the aerodynamic coefficients of differing airfoil geometries at varying Angle of Attack, Mach and Reynolds number is investigated. The ANNs are computational entities that have the ability to learn highly nonlinear spatial and temporal patterns. Therefore, they are increasingly being used to approximate complex real world phenomenon. However, despite their significant breakthrough in the past few years, ANNs' spreading in the field of Computational Fluid Dynamics (CFD) is fairly recent, and many applications within this field remain unexplored. This study thus compares different network architectures and training datasets in an attempt to gain insight as to how the network perceives the given airfoil geometries, while producing an acceptable neuronal model for faster and easier prediction of lift, drag and moment coefficients in steady state, incompressible flow regimes. This data driven method produces sufficiently accurate results, with the added benefit of saving high computational and experimental costs.


On hyperholomorphic Bergman type spaces in domains of mathbb C 2 . Quaternionic analysis is regarded as a broadly accepted branch of classical analysis referring to many different types of extensions of the Cauchy Riemann equations to the quaternion skew field mathbb H . In this work we deals with a well known ( theta, u) hyperholomorphic mathbb H valued functions class related to elements of the kernel of the Helmholtz operator with a parameter u in mathbb H , just in the same way as the usual quaternionic analysis is related to the set of the harmonic functions. Given a domain Omega subset mathbb H cong mathbb C 2 , we define and study a Bergman spaces theory for ( theta, u) hyperholomorphic quaternion valued functions introduced as elements of the kernel of theta u mathcal D f theta mathcal D f u f with u in mathbb H defined in C 1( Omega, mathbb H) , where theta mathcal D frac partial partial bar z 1 ie i theta frac partial partial z 2 j frac partial partial bar z 1 ie i theta j frac partial partial bar z 2 , hspace 0.5cm theta in 0,2 pi). Using as a guiding fact that ( theta, u) hyperholomorphic functions includes, as a proper subset, all complex valued holomorphic functions of two complex variables we obtain some assertions for the theory of Bergman spaces and Bergman operators in domains of mathbb C 2 , in particular, existence of a reproducing kernel, its projection and their covariant and invariant properties of certain objects.


IGLU Efficient GCN Training via Lazy Updates. Training multi layer Graph Convolution Networks (GCN) using standard SGD techniques scales poorly as each descent step ends up updating node embeddings for a large portion of the graph. Recent attempts to remedy this sub sample the graph that reduces compute but introduce additional variance and may offer suboptimal performance. This paper develops the IGLU method that caches intermediate computations at various GCN layers thus enabling lazy updates that significantly reduce the compute cost of descent. IGLU introduces bounded bias into the gradients but nevertheless converges to a first order saddle point under standard assumptions such as objective smoothness. Benchmark experiments show that IGLU offers up to 1.2 better accuracy despite requiring up to 88 less compute.


A Discrete Time Compartmental Epidemiological Model for COVID 19 with a Case Study for Portugal. In Ecological Complexity 44 (2020) Art. 100885, DOI 10.1016 j.ecocom.2020.100885 a continuous time compartmental mathematical model for the spread of the Coronavirus disease 2019 (COVID 19) is presented with Portugal as case study, from 2 March to 4 May 2020, and the local stability of the Disease Free Equilibrium (DFE) is analysed. Here, we propose an analogous discrete time model and, using a suitable Lyapunov function, we prove the global stability of the DFE point. Using COVID 19 real data, we show, through numerical simulations, the consistence of the obtained theoretical results.


Borel equivalence relations induced by actions of tsi Polish groups. We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the mathbb G 0 dichotomy. In particular, we find a class that serves as a base for non classification by countable structures for these equivalence relations under Borel reducibility. We use this characterization together with the result of B. D. Miller, to appear in the Journal of Mathematical Logic to show that if such an equivalence relation admits classification by countable structures but it is not essentially countable, then the equivalence relation mathbb E mathbb N 0 mathbb E 3 Borel reduces to it.


Multiobjective Multitasking Optimization Based on Decomposition with Dual Neighborhoods. This paper proposes a multiobjective multitasking optimization evolutionary algorithm based on decomposition with dual neighborhood. In our proposed algorithm, each subproblem not only maintains a neighborhood based on the Euclidean distance among weight vectors within its own task, but also keeps a neighborhood with subproblems of other tasks. Gray relation analysis is used to define neighborhood among subproblems of different tasks. In such a way, relationship among different subproblems can be effectively exploited to guide the search. Experimental results show that our proposed algorithm outperforms four state of the art multiobjective multitasking evolutionary algorithms and a traditional decomposition based multiobjective evolutionary algorithm on a set of test problems.


Linear Time Runs over General Ordered Alphabets. A run in a string is a maximal periodic substring. For example, the string texttt bananatree contains the runs texttt anana ( texttt an ) 3 2 and texttt ee texttt e 2 . There are less than n runs in any length n string, and computing all runs for a string over a linearly sortable alphabet takes mathcal O (n) time (Bannai et al., SODA 2015). Kosolobov conjectured that there also exists a linear time runs algorithm for general ordered alphabets (Inf. Process. Lett. 2016). The conjecture was almost proven by Crochemore et al., who presented an mathcal O (n alpha(n)) time algorithm (where alpha(n) is the extremely slowly growing inverse Ackermann function). We show how to achieve mathcal O (n) time by exploiting combinatorial properties of the Lyndon array, thus proving Kosolobov's conjecture.


SU(2) invariant steady gradient Ricci solitons on four manifolds. Using center manifolds and topological degree theory, we construct a new family of complete, SU(2) invariant and steady gradient Ricci solitons on the four dimensional non compact cohomogeneity one manifold with group diagram mathbb Z 4 subset U(1) subset SU(2) . We also provide simpler constructions of the existing U(2) invariant steady and complete gradient solitons on the cohomogeneity one manifolds with group diagrams mathbb Z n subset U(1) subset SU(2) for any n in mathbb N , including Appleton's non collapsed solitons for n ge 3 .


Hierarchical Learning for Generation with Long Source Sequences. One of the challenges for current sequence to sequence (seq2seq) models is processing long sequences, such as those in summarization and document level machine translation tasks. These tasks require the model to reason at the token level as well as the sentence and paragraph level. We design and study a new Hierarchical Attention Transformer based architecture (HAT) that outperforms standard Transformers on several sequence to sequence tasks. Furthermore, our model achieves state of the art ROUGE scores on four summarization tasks, including PubMed, arXiv, CNN DM, SAMSum, and AMI. Our model outperforms document level machine translation baseline on the WMT20 English to German translation task. We investigate what the hierarchical layers learn by visualizing the hierarchical encoder decoder attention. Finally, we study hierarchical learning on encoder only pre training and analyze its performance on classification tasks.


Fabrication and cold test of prototype of spatially periodic radio frequency quadrupole focusing linac. A 325 MHz aluminum prototype of a spatially periodic rf quadrupole focusing linac was developed at the Institute of Modern Physics, Chinese Academy of Sciences, as a promising candidate for the front end of a high current linac. It consists of an alternating series of crossbar H type drift tubes and rf quadrupole sections. Owing to its special geometry, cavity fabrication is a major hurdle for its engineering development and application. In this paper, we report the detailed mechanical design of this structure and describe its fabrication process, including machining, assembly, and inspection. The field distribution was measured by the bead pull technique. The results show that the field errors of both the accelerating and focusing fields are within an acceptable range. A tuning scheme for this new structure is proposed and verified. The cold test process and results are presented in detail. The development of this prototype provides valuable guidance for the application of the spatially periodic rf quadrupole structure.


Numerics for Stochastic Distributed Parameter Control Systems a Finite Transposition Method. In this chapter, we present some recent progresses on the numerics for stochastic distributed parameter control systems, based on the emph finite transposition method introduced in our previous works. We first explain how to reduce the numerics of some stochastic control problems in this respect to the numerics of backward stochastic evolution equations. Then we present a method to find finite transposition solutions to such equations. At last, we give an illuminating example.


Nonlocal Trace Spaces and Extension Results for Nonlocal Calculus. For a given Lipschitz domain Omega , it is a classical result that the trace space of W 1,p ( Omega) is W 1 1 p,p ( partial Omega) , namely any W 1,p ( Omega) function has a well defined W 1 1 p,p ( partial Omega) trace on its codimension 1 boundary partial Omega and any W 1 1 p,p ( partial Omega) function on partial Omega can be extended to a W 1,p ( Omega) function. Recently, Dyda and Kassmann (2019) characterize the trace space for nonlocal Dirichlet problems involving integrodifferential operators with infinite interaction ranges, where the boundary datum is provided on the whole complement of the given domain mathbb R d backslash Omega . In this work, we study function spaces for nonlocal Dirichlet problems with a finite range of nonlocal interactions, which naturally serves a bridging role between the classical local PDE problem and the nonlocal problem with infinite interaction ranges. For these nonlocal Dirichlet problems, the boundary conditions are normally imposed on a region with finite thickness volume which lies outside of the domain. We introduce a function space on the volumetric boundary region that serves as a trace space for these nonlocal problems and study the related extension results. Moreover, we discuss the consistency of the new nonlocal trace space with the classical W 1 1 p,p ( partial Omega) space as the size of nonlocal interaction tends to zero. In making this connection, we conduct an investigation on the relations between nonlocal interactions on a larger domain and the induced interactions on its subdomain. The various forms of trace, embedding and extension theorems may then be viewed as consequences in different scaling limits.


Using word embedding for environmental violation analysis Evidence from Pennsylvania unconventional oil and gas compliance reports. With the booming of the unconventional oil and gas industry, its inevitable damage to the environment and human health has attracted public attention. We applied text mining on a total 6057 the type of Environmental Health and Safety compliance reports from 2008 to 2018 lunched by the Department of Environmental Protection in Pennsylvania, USA, to discover the intern mechanism of environmental violations.


Strictly Hyperbolic Cauchy Problems on mathbb R n with Unbounded and Singular Coefficients. We investigate the behavior of the solutions of a class of certain strictly hyperbolic equations defined on (0,T times mathbb R n in relation to a class of metrics on the phase space. In particular, we study the global regularity and decay issues of the solution to an equation with coefficients polynomially bound in x with their x derivatives and t derivative of order O (t delta ), delta in 0,1), and O (t 1 ) respectively. This type of singular behavior allows coefficients to be either oscillatory or logarithmically bounded at t 0 . We use the Planck function associated with the metric to subdivide the extended phase space and define an appropriate generalized parameter dependent symbol class. We report that the solution not only experiences a finite loss of derivatives but also a decay in relation to the initial datum defined in a Sobolev space tailored to the metric. Our analysis suggests that an infinite loss is quite expected when the order of singularity of the first time derivative of the leading coefficients exceeds O(t 1 ) . We confirm this by providing counterexamples. Further, using the L 1 integrability of the logarithmic singularity in t and the global properties of the operator with respect to x , we derive the anisotropic cone conditions in our setting.


Angel's Girl for Blind Painters an Efficient Painting Navigation System Validated by Multimodal Evaluation Approach. For people who ardently love painting but unfortunately have visual impairments, holding a paintbrush to create a work is a very difficult task. People in this special group are eager to pick up the paintbrush, like Leonardo da Vinci, to create and make full use of their own talents. Therefore, to maximally bridge this gap, we propose a painting navigation system to assist blind people in painting and artistic creation. The proposed system is composed of cognitive system and guidance system. The system adopts drawing board positioning based on QR code, brush navigation based on target detection and bush real time positioning. Meanwhile, this paper uses human computer interaction on the basis of voice and a simple but efficient position information coding rule. In addition, we design a criterion to efficiently judge whether the brush reaches the target or not. According to the experimental results, the thermal curves extracted from the faces of testers show that it is relatively well accepted by blindfolded and even blind testers. With the prompt frequency of 1s, the painting navigation system performs best with the completion degree of 89 with SD of 8.37 and overflow degree of 347 with SD of 162.14 . Meanwhile, the excellent and good types of brush tip trajectory account for 74 , and the relative movement distance is 4.21 with SD of 2.51. This work demonstrates that it is practicable for the blind people to feel the world through the brush in their hands. In the future, we plan to deploy Angle's Eyes on the phone to make it more portable. The demo video of the proposed painting navigation system is available at https doi.org 10.6084 m9.figshare.9760004.v1.


Multi Perspective LSTM for Joint Visual Representation Learning. We present a novel LSTM cell architecture capable of learning both intra and inter perspective relationships available in visual sequences captured from multiple perspectives. Our architecture adopts a novel recurrent joint learning strategy that uses additional gates and memories at the cell level. We demonstrate that by using the proposed cell to create a network, more effective and richer visual representations are learned for recognition tasks. We validate the performance of our proposed architecture in the context of two multi perspective visual recognition tasks namely lip reading and face recognition. Three relevant datasets are considered and the results are compared against fusion strategies, other existing multi input LSTM architectures, and alternative recognition solutions. The experiments show the superior performance of our solution over the considered benchmarks, both in terms of recognition accuracy and complexity. We make our code publicly available at https github.com arsm MPLSTM.


Automap Towards Ergonomic Automated Parallelism for ML Models. The rapid rise in demand for training large neural network architectures has brought into focus the need for partitioning strategies, for example by using data, model, or pipeline parallelism. Implementing these methods is increasingly supported through program primitives, but identifying efficient partitioning strategies requires expensive experimentation and expertise. We present the prototype of an automated partitioner that seamlessly integrates into existing compilers and existing user workflows. Our partitioner enables SPMD style parallelism that encompasses data parallelism and parameter activation sharding. Through a combination of inductive tactics and search in a platform independent partitioning IR, automap can recover expert partitioning strategies such as Megatron sharding for transformer layers.


On higher torsion classes. Building on the embedding of an n abelian category mathscr M into an abelian category mathcal A as an n cluster tilting subcategory of mathcal A , in this paper we relate the n torsion classes of mathscr M with the torsion classes of mathcal A . Indeed, we show that every n torsion class in mathscr M is given by the intersection of a torsion class in mathcal A with mathscr M . Moreover, we show that every chain of n torsion classes in the n abelian category mathscr M induces a Harder Narasimhan filtration for every object of mathscr M . We use the relation between mathscr M and mathcal A to show that every Harder Narasimhan filtration induced by a chain of n torsion classes in mathscr M can be induced by a chain of torsion classes in mathcal A . Furthermore, we show that n torsion classes are preserved by Galois covering functors, thus we provide a way to systematically construct new (chains of) n torsion classes.


Suppression of X Ray Induced Radiation Damage to Biomolecules in Aqueous Environments by Immediate Intermolecular Decay of Inner Shell Vacancies. The predominant reason for the damaging power of high energy radiation is multiple ionization of a molecule, either direct or via the decay of highly excited intermediates, as e.g., in the case of X ray irradiation. Consequently, the molecule is irreparably damaged by the subsequent fragmentation in a Coulomb explosion. In an aqueous environment, however, it has been observed that irradiated molecules may be saved from fragmentation presumably by charge and energy dissipation mechanisms. Here, we show that the protective effect of the environment sets in even earlier than hitherto expected, namely immediately after single inner shell ionization. By combining coincidence measurements of the fragmentation of X ray irradiated microsolvated pyrimidine molecules with theoretical calculations, we identify direct intermolecular electronic decay as the protective mechanism, outrunning the usually dominant Auger decay. Our results demonstrate that such processes play a key role in charge delocalization and have to be considered in investigations and models on high energy radiation damage in realistic environments.


Solution Representations of Solving Problems for the Black Scholes equations and Application to the Pricing Options on Bond with Credit Risk. In this paper is investigated the pricing problem of options on bonds with credit risk based on analysis on two kinds of solving problems for the Black Scholes equations. First, a solution representation of the Black Scholes equation with the maturity payoff function which is the product of the power function, normal distribution function and characteristic function is provided. Then a solution representation of a special terminal boundary value problem of the Black Sholes equation is provided and its monotonicity is proved. The simplest case of the structural model of the credit bond is studied and its pricing formula is provided, and based on the results, the pricing model of option on corporate bond with credit risk is transformed into a terminal boundary value problem of the Black Scholes equation with some special maturity payoff functions and the solution formula is obtained. Using it, we provide the pricing formulae of the puttable and callable bonds with credit risk.


Improved Learning of Robot Manipulation Tasks via Tactile Intrinsic Motivation. In this paper we address the challenge of exploration in deep reinforcement learning for robotic manipulation tasks. In sparse goal settings, an agent does not receive any positive feedback until randomly achieving the goal, which becomes infeasible for longer control sequences. Inspired by touch based exploration observed in children, we formulate an intrinsic reward based on the sum of forces between a robot's force sensors and manipulation objects that encourages physical interaction. Furthermore, we introduce contact prioritized experience replay, a sampling scheme that prioritizes contact rich episodes and transitions. We show that our solution accelerates the exploration and outperforms state of the art methods on three fundamental robot manipulation benchmarks.


Design and Characterization of an Optically Segmented Single Volume Scatter Camera Module. The Optically Segmented Single Volume Scatter Camera (OS SVSC) aims to image neutron sources for nuclear non proliferation applications using the kinematic reconstruction of elastic double scatter events. We report on the design, construction, and calibration of one module of a new prototype. The module includes 16 EJ 204 organic plastic scintillating bars individually wrapped in Teflon tape, each measuring 0.5 cm times 0.5 cm times 20 cm. The scintillator array is coupled to two custom Silicon Photomultiplier (SiPM) boards consisting of a 2 times 8 array of SensL J Series 60035 Silicon Photomultipliers, which are read out by a custom 16 channel DRS 4 based digitizer board. The electrical crosstalk between SiPMs within the electronics chain is measured as 0.76 pm 0.11 among all 16 channels. We report the detector response of one module including interaction position, time, and energy, using two different optical coupling materials EJ 560 silicone rubber optical coupling pads and EJ 550 optical coupling grease. We present results in terms of the overall mean and standard deviation of the z position reconstruction and interaction time resolutions for all 16 bars in the module. We observed the z position resolution for gamma interactions in the 0.3 MeVee to 0.4 MeVee range to be 2.24 cm pm 1.10 cm and 1.45 cm pm 0.19 cm for silicone optical coupling pad and optical grease, respectively. The observed interaction time resolution is 265 ps pm 29 ps and 235 ps pm 10 ps for silicone optical coupling pad and optical grease, respectively.


Generation of orthogonal rational functions by procedures for structured matrices. The problem of computing recurrence coefficients of sequences of rational functions orthogonal with respect to a discrete inner product is formulated as an inverse eigenvalue problem for a pencil of Hessenberg matrices. Two procedures are proposed to solve this inverse eigenvalue problem, via the rational Arnoldi iteration and via an updating procedure using unitary similarity transformations. The latter is shown to be numerically stable. This problem and both procedures are generalized by considering biorthogonal rational functions with respect to a bilinear form. This leads to an inverse eigenvalue problem for a pencil of tridiagonal matrices. A tridiagonal pencil implies short recurrence relations for the biorthogonal rational functions, which is more efficient than the orthogonal case. However the procedures solving this problem must rely on nonunitary operations and might not be numerically stable.