Arbitraging Variable Efficiency Energy Storage using Analytical Stochastic Dynamic Programming. This paper presents a computation efficient stochastic dynamic programming algorithm for solving energy storage price arbitrage considering variable charge and discharge efficiencies. We formulate the price arbitrage problem using stochastic dynamic programming and model real time prices as a Markov process. Then we propose an analytical solution algorithm using a piecewise linear approximation of the value to go function. Our solution algorithm achieves extreme computation performance and solves the proposed arbitrage problem for one operating day in less than one second on a personal computer. We demonstrate our approach using historical price data from four price zones in New York Independent System Operator, with case studies comparing the performance of different stochastic models and storage settings. Our results show that the proposed method captures 50 to 90 of arbitrage profit compared to perfect price forecasts. In particular, our method captures more than 80 of arbitrage profit in three out of the four price zones when considering batteries with more than two hour duration and realistic degradation cost.


Surface Normal Free Space Beam Projection via Slow Light Standing Wave Resonances in Extra Large Near Zero Index Grating Couplers. On chip grating couplers directly connect photonic circuits to free space light. The commonly used photonic gratings have been specialized for small areas, specific intensity profiles and non vertical beam projection. This falls short of the precise and flexible wavefront control over large beam areas needed to empower emerging integrated miniaturized optical systems that leverage volumetric light matter interactions, including trapping, cooling, and interrogation of atoms, bio and chemi sensing and complex free space interconnect. The large coupler size challenges general inverse design techniques, and solutions obtained by them are often difficult to physically understand and generalize. Here by posing the problem to a carefully constrained computational inverse design algorithm capable of large area structures, we discover a qualitatively new class of grating couplers. The numerically found solutions can be understood as coupling an incident photonic slab mode to a spatially extended slow light (near zero refractive index) region, backed by a Bragg reflector. The structure forms a spectrally broad standing wave resonance at the target wavelength, radiating vertically into free space. A reflection less adiabatic transition critically couples the incident photonic mode to the resonance, and the numerically optimized lower cladding provides 70 overall theoretical conversion efficiency. We have experimentally validated efficient surface normal collimated emission of approx 90 mu m full width at half maximum Gaussian at the thermally tunable operating wavelength of approx 780 nm. The variable mesh deformation inverse design approach scales to extra large photonic devices, while directly implementing the fabrication constraints. The deliberate choice of smooth parametrization resulted in a novel type of solution, which is both efficient and physically comprehensible.


UX Debt Developers Borrow While Users Pay. Technical debt has become a well known metaphor among software professionals, visualizing how shortcuts taken during development can accumulate and become a burden for software projects. In the traditional notion of technical debt, software developers borrow from the maintainability and extensibility of a software system, thus they are the ones paying the interest. User experience (UX) debt, on the other hand, focuses on shortcuts taken to speed up development at the expense of subpar usability, thus mainly borrowing from users' efficiency. With this article, we want to build awareness for this often overlooked form of technical debt by outlining classes of UX debts that we observed in practice and by pointing to the lack of research and tool support targeting UX debt in general.


SO U RCERER Developer Driven Security Testing Framework for Android Apps. Frequently advised secure development recommendations often fall short in practice for app developers. Tool driven (e.g., using static analysis tools) approaches lack context and domain specific requirements of an app being tested. App developers struggle to find an actionable and prioritized list of vulnerabilities from a laundry list of security warnings reported by static analysis tools. Process driven (e.g., applying threat modeling methods) approaches require substantial resources (e.g., security testing team, budget) and security expertise, which small to medium scale app dev teams could barely afford. To help app developers securing their apps, we propose SO U RCERER, a guiding framework for Android app developers for security testing. SO U RCERER guides developers to identify domain specific assets of an app, detect and prioritize vulnerabilities, and mitigate those vulnerabilities based on secure development guidelines. We evaluated SO U RCERER with a case study on analyzing and testing 36 Android mobile money apps. We found that by following activities guided by SO U RCERER, an app developer could get a concise and actionable list of vulnerabilities (24 61 fewer security warnings produced by SO U RCERER than a standalone static analyzer), directly affecting a mobile money app's critical assets, and devise a mitigation plan. Our findings from this preliminary study indicate a viable approach to Android app security testing without being overwhelmingly complex for app developers.


Risk Assessment for Performance Driven Building Design with BIM Based Parametric Methods. A growing demand for handling uncertainties and risks in performance driven building design decision making has challenged conventional design methods. Thus, researchers in this field lean towards viable alternatives to using deterministic design methods, e.g., probabilistic methods. This research addresses the challenges associated with conventional methods of performance driven building design, i.e., ignoring the existing uncertainties and lacking a systematic framework to incorporate risk assessment in building performance analysis. This research introduces a framework (BIMProbE) to integrate BIM based parametric tools with building probabilistic performance analysis to facilitate uncertainty analysis and risk assessment in performance based building design decision making. A hypothetical building design scenario is used to demonstrate the application of the proposed framework. The results show that the probabilistic method leads to a different performance ranking order than the deterministic method. Also, the probabilistic method allows evaluating design options based on different risk attitudes.


The feasible region of induced graphs. The feasible region Omega rm ind (F) of a graph F is the collection of points (x,y) in the unit square such that there exists a sequence of graphs whose edge densities approach x and whose induced F densities approach y . A complete description of Omega rm ind (F) is not known for any F with at least four vertices that is not a clique or an independent set. The feasible region provides a lot of combinatorial information about F . For example, the supremum of y over all (x,y) in Omega rm ind (F) is the inducibility of F and Omega rm ind (K r) yields the Kruskal Katona and clique density theorems. We begin a systematic study of Omega rm ind (F) by proving some general statements about the shape of Omega rm ind (F) and giving results for some specific graphs F . Many of our theorems apply to the more general setting of quantum graphs. For example, we prove a bound for quantum graphs that generalizes an old result of Bollob 'as for the number of cliques in a graph with given edge density. We also consider the problems of determining Omega rm ind (F) when F K r , F is a star, or F is a complete bipartite graph. In the case of K r our results sharpen those predicted by the edge statistics conjecture of Alon et. al. while also extending a theorem of Hirst for K 4 that was proved using computer aided techniques and flag algebras. The case of the 4 cycle seems particularly interesting and we conjecture that Omega rm ind (C 4) is determined by the solution to the triangle density problem, which has been solved by Razborov.


Arithmetic Geometric Spectral Radius of Trees and Unicyclic Graphs. The arithmetic geometric matrix A ag (G) of a graph G is a square matrix, where the (i,j) entry is equal to displaystyle frac d i d j 2 sqrt d i d j if the vertices v i and v j are adjacent, and 0 otherwise. The arithmetic geometric spectral radius of G , denoted by rho ag (G) , is the largest eigenvalue of the arithmetic geometric matrix A ag (G) . Let S n be the star of order n geq3 and S n e be the unicyclic graph obtained from S n by adding an edge. In this paper, we prove that for any tree T of order n geq2 , displaystyle 2 cos frac pi n 1 leq rho ag (P n ) leq rho ag (T) leq rho ag (S n ) frac n 2 , with equality if and only if T cong P n for the lower bound, and if and only if T cong S n for the upper bound. We also prove that for any unicyclic graph G of order n geq3 , displaystyle 2 rho ag (C n ) leq rho ag (G) leq rho ag (S n e), the lower (upper, respectively) bound is attained if and only if T cong C n ( T cong S n e , respectively) and displaystyle rho ag (S n e) frac n 2 for n geq7 .


A splitting method for SDEs with locally Lipschitz drift Illustration on the FitzHugh Nagumo model. In this article, we construct and analyse an explicit numerical splitting method for a class of semi linear stochastic differential equations (SDEs) with additive noise, where the drift is allowed to grow polynomially and satisfies a global one sided Lipschitz condition. The method is proved to be mean square convergent of order 1 and to preserve important structural properties of the SDE. First, it is hypoelliptic in every iteration step. Second, it is geometrically ergodic and has an asymptotically bounded second moment. Third, it preserves oscillatory dynamics, such as amplitudes, frequencies and phases of oscillations, even for large time steps. Our results are illustrated on the stochastic FitzHugh Nagumo model and compared with known mean square convergent tamed truncated variants of the Euler Maruyama method. The capability of the proposed splitting method to preserve the aforementioned properties may make it applicable within different statistical inference procedures. In contrast, known Euler Maruyama type methods commonly fail in preserving such properties, yielding ill conditioned likelihood based estimation tools or computationally infeasible simulation based inference algorithms.


Reachability Analysis of Convolutional Neural Networks. Deep convolutional neural networks have been widely employed as an effective technique to handle complex and practical problems. However, one of the fundamental problems is the lack of formal methods to analyze their behavior. To address this challenge, we propose an approach to compute the exact reachable sets of a network given an input domain, where the reachable set is represented by the face lattice structure. Besides the computation of reachable sets, our approach is also capable of backtracking to the input domain given an output reachable set. Therefore, a full analysis of a network's behavior can be realized. In addition, an approach for fast analysis is also introduced, which conducts fast computation of reachable sets by considering selected sensitive neurons in each layer. The exact pixel level reachability analysis method is evaluated on a CNN for the CIFAR10 dataset and compared to related works. The fast analysis method is evaluated over a CNN CIFAR10 dataset and VGG16 architecture for the ImageNet dataset.


V2W BERT A Framework for Effective Hierarchical Multiclass Classification of Software Vulnerabilities. Weaknesses in computer systems such as faults, bugs and errors in the architecture, design or implementation of software provide vulnerabilities that can be exploited by attackers to compromise the security of a system. Common Weakness Enumerations (CWE) are a hierarchically designed dictionary of software weaknesses that provide a means to understand software flaws, potential impact of their exploitation, and means to mitigate these flaws. Common Vulnerabilities and Exposures (CVE) are brief low level descriptions that uniquely identify vulnerabilities in a specific product or protocol. Classifying or mapping of CVEs to CWEs provides a means to understand the impact and mitigate the vulnerabilities. Since manual mapping of CVEs is not a viable option, automated approaches are desirable but challenging. We present a novel Transformer based learning framework (V2W BERT) in this paper. By using ideas from natural language processing, link prediction and transfer learning, our method outperforms previous approaches not only for CWE instances with abundant data to train, but also rare CWE classes with little or no data to train. Our approach also shows significant improvements in using historical data to predict links for future instances of CVEs, and therefore, provides a viable approach for practical applications. Using data from MITRE and National Vulnerability Database, we achieve up to 97 prediction accuracy for randomly partitioned data and up to 94 prediction accuracy in temporally partitioned data. We believe that our work will influence the design of better methods and training models, as well as applications to solve increasingly harder problems in cybersecurity.


Rigidity of varepsilon harmonic maps of low degree. In 1981, Sacks and Uhlenbeck introduced their famous alpha energy as a way to approximate the Dirichlet energy and produce harmonic maps from surfaces into Riemannian manifolds. However, the second and third authors together with Malchiodi ( 11 , 12 ) showed that for maps between two spheres this method does not capture every harmonic map. They established a gap theorem for alpha harmonic maps of degree zero and also showed that below a certain energy bound alpha harmonic maps of degree one are rotations. We establish similar results for varepsilon harmonic maps u varepsilon colon S 2 rightarrow S 2 , which are critical points of the varepsilon energy introduced by the second author in 9 . In particular, we similarly show that varepsilon harmonic maps of degree zero with energy below 8 pi are constant and that maps of degree pm 1 with energy below 12 pi are of the form Rx with R in O(3) . Moreover, we construct non trivial varepsilon harmonic maps of degree zero with energy 8 pi .


Two point AG codes from the Beelen Montanucci maximal curve. In this paper we investigate two point algebraic geometry codes (AG codes) coming from the Beelen Montanucci (BM) maximal curve. We study properties of certain two point Weierstrass semigroups of the curve and use them for determining a lower bound on the minimum distance of such codes. AG codes with better parameters with respect to comparable two point codes from the Garcia G "uneri Stichtenoth (GGS) curve are discovered.


On Hallucination and Predictive Uncertainty in Conditional Language Generation. Despite improvements in performances on different natural language generation tasks, deep neural models are prone to hallucinating facts that are incorrect or nonexistent. Different hypotheses are proposed and examined separately for different tasks, but no systematic explanations are available across these tasks. In this study, we draw connections between hallucinations and predictive uncertainty in conditional language generation. We investigate their relationship in both image captioning and data to text generation and propose a simple extension to beam search to reduce hallucination. Our analysis shows that higher predictive uncertainty corresponds to a higher chance of hallucination. Epistemic uncertainty is more indicative of hallucination than aleatoric or total uncertainties. It helps to achieve better results of trading performance in standard metric for less hallucination with the proposed beam search variant.


Rotationally Symmetric Extremal K "ahler Metrics on mathbb C n and mathbb C 2 setminus 0 . In this paper, we study rotationally symmetric extremal K "ahler metrics on mathbb C n ( n geq 2 ) and mathbb C 2 backslash 0 . We present a classification of such metrics based on the zeros of the polynomial appearing in Calabi's Extremal Equation. As applications, we prove that there are no U(n) invariant complete extremal K "ahler metrics on mathbb C n with positive bisectional curvature, and we give a smooth extension lemma for U(n) invariant extremal K "ahler metrics on mathbb C n backslash 0 . We retrieve known examples of smooth or singular extremal K "ahler metrics on Hirzebruch surfaces, bundles over mathbb CP 1 , and weighted complex projective spaces. We also show that certain solutions on mathbb C 2 backslash 0 correspond to new complete families of constant scalar curvature K "ahler and strictly extremal K "ahler metrics on complex line bundles over mathbb CP 1 and on mathbb C 2 backslash 0 .


Structured in Space, Randomized in Time Leveraging Dropout in RNNs for Efficient Training. Recurrent Neural Networks (RNNs), more specifically their Long Short Term Memory (LSTM) variants, have been widely used as a deep learning tool for tackling sequence based learning tasks in text and speech. Training of such LSTM applications is computationally intensive due to the recurrent nature of hidden state computation that repeats for each time step. While sparsity in Deep Neural Nets has been widely seen as an opportunity for reducing computation time in both training and inference phases, the usage of non ReLU activation in LSTM RNNs renders the opportunities for such dynamic sparsity associated with neuron activation and gradient values to be limited or non existent. In this work, we identify dropout induced sparsity for LSTMs as a suitable mode of computation reduction. Dropout is a widely used regularization mechanism, which randomly drops computed neuron values during each iteration of training. We propose to structure dropout patterns, by dropping out the same set of physical neurons within a batch, resulting in column (row) level hidden state sparsity, which are well amenable to computation reduction at run time in general purpose SIMD hardware as well as systolic arrays. We conduct our experiments for three representative NLP tasks language modelling on the PTB dataset, OpenNMT based machine translation using the IWSLT De En and En Vi datasets, and named entity recognition sequence labelling using the CoNLL 2003 shared task. We demonstrate that our proposed approach can be used to translate dropout based computation reduction into reduced training time, with improvement ranging from 1.23x to 1.64x, without sacrificing the target metric.


Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems. In this paper, we study the probabilistic stability analysis of a subclass of stochastic hybrid systems, called the Planar Probabilistic Piecewise Constant Derivative Systems (Planar PPCD), where the continuous dynamics is deterministic, constant rate and planar, the discrete switching between the modes is probabilistic and happens at boundary of the invariant regions, and the continuous states are not reset during switching. These aptly model piecewise linear behaviors of planar robots. Our main result is an exact algorithm for deciding absolute and almost sure stability of Planar PPCD under some mild assumptions on mutual reachability between the states and the presence of non zero probability self loops. Our main idea is to reduce the stability problems on planar PPCD into corresponding problems on Discrete Time Markov Chains with edge weights. Our experimental results on planar robots with faulty angle actuator demonstrate the practical feasibility of this approach.


3D Object Detection Combining Semantic and Geometric Features from Point Clouds. In this paper, we investigate the combination of voxel based methods and point based methods, and propose a novel end to end two stage 3D object detector named SGNet for point clouds scenes. The voxel based methods voxelize the scene to regular grids, which can be processed with the current advanced feature learning frameworks based on convolutional layers for semantic feature learning. Whereas the point based methods can better extract the geometric feature of the point due to the coordinate reservations. The combination of the two is an effective solution for 3D object detection from point clouds. However, most current methods use a voxel based detection head with anchors for final classification and localization. Although the preset anchors cover the entire scene, it is not suitable for point clouds detection tasks with larger scenes and multiple categories due to the limitation of voxel size. In this paper, we propose a voxel to point module (VTPM) that captures semantic and geometric features. The VTPM is a Voxel Point Based Module that finally implements 3D object detection in point space, which is more conducive to the detection of small size objects and avoids the presets of anchors in inference stage. In addition, a Confidence Adjustment Module (CAM) with the center boundary aware confidence attention is proposed to solve the misalignment between the predicted confidence and proposals in the regions of the interest (RoI) selection. The SGNet proposed in this paper has achieved state of the art results for 3D object detection in the KITTI dataset, especially in the detection of small size objects such as cyclists. Actually, as of September 19, 2021, for KITTI dataset, SGNet ranked 1st in 3D and BEV detection on cyclists with easy difficulty level, and 2nd in the 3D detection of moderate cyclists.


Microwave frequency dissemination systems as sensitive and low cost interferometers for earthquake detection on commercially deployed fiber cables. We experimentally demonstrate a microwave frequency dissemination system operating as a sensitive interferometric sensor of seismic waves on commercially deployed fiber networks in Attika, Greece. Efficient detection of seismic waves from distant epicenters ( 400km)


Learning Generalizable Robotic Reward Functions from "In The Wild" Human Videos. We are motivated by the goal of generalist robots that can complete a wide range of tasks across many environments. Critical to this is the robot's ability to acquire some metric of task success or reward, which is necessary for reinforcement learning, planning, or knowing when to ask for help. For a general purpose robot operating in the real world, this reward function must also be able to generalize broadly across environments, tasks, and objects, while depending only on on board sensor observations (e.g. RGB images). While deep learning on large and diverse datasets has shown promise as a path towards such generalization in computer vision and natural language, collecting high quality datasets of robotic interaction at scale remains an open challenge. In contrast, "in the wild" videos of humans (e.g. YouTube) contain an extensive collection of people doing interesting tasks across a diverse range of settings. In this work, we propose a simple approach, Domain agnostic Video Discriminator (DVD), that learns multitask reward functions by training a discriminator to classify whether two videos are performing the same task, and can generalize by virtue of learning from a small amount of robot data with a broad dataset of human videos. We find that by leveraging diverse human datasets, this reward function (a) can generalize zero shot to unseen environments, (b) generalize zero shot to unseen tasks, and (c) can be combined with visual model predictive control to solve robotic manipulation tasks on a real WidowX200 robot in an unseen environment from a single human demo.


A mathematician's view of the unreasonable ineffectiveness of mathematics in biology. This paper discusses, from a mathematician's point of view, the thesis formulated by Israel Gelfand, one of the greatest mathematicians of the 20th century, and one of the pioneers of mathematical biology "There is only one thing which is more unreasonable than the unreasonable effectiveness of mathematics in physics, and this is the unreasonable ineffectiveness of mathematics in biology."


Internal friction as possible key factor governing the thermosensitivity of TRP channels. Six thermo activated transient receptor potential (TRP) channels are the molecular basis of the thermosensation for mammals. But the molecular source of their gating remains unknown. In the Letter, we suggest a physically based model for the TRP channels and show that the temperature dependence of the "internal friction" can be a key factor governing the ion channels gating. Results of the computer modeling allowed us to successfully reproduce the experimental data for the open probability Popen of the TRPV1 and TRPM8 channels at different temperatures and voltages.


PowerEvaluationBALD Efficient Evaluation Oriented Deep (Bayesian) Active Learning with Stochastic Acquisition Functions. We develop BatchEvaluationBALD, a new acquisition function for deep Bayesian active learning, as an expansion of BatchBALD that takes into account an evaluation set of unlabeled data, for example, the pool set. We also develop a variant for the non Bayesian setting, which we call Evaluation Information Gain. To reduce computational requirements and allow these methods to scale to larger acquisition batch sizes, we introduce stochastic acquisition functions that use importance sampling of tempered acquisition scores. We call this method PowerEvaluationBALD. We show in a few initial experiments that PowerEvaluationBALD works on par with BatchEvaluationBALD, which outperforms BatchBALD on Repeated MNIST (MNISTx2), while massively reducing the computational requirements compared to BatchBALD or BatchEvaluationBALD.


Towards Power Efficient DNN Accelerator Design on Reconfigurable Platform. The exponential emergence of Field Programmable Gate Array (FPGA) has accelerated the research of hardware implementation of Deep Neural Network (DNN). Among all DNN processors, domain specific architectures, such as, Google's Tensor Processor Unit (TPU) have outperformed conventional GPUs. However, implementation of TPUs in reconfigurable hardware should emphasize energy savings to serve the green computing requirement. Voltage scaling, a popular approach towards energy savings, can be a bit critical in FPGA as it may cause timing failure if not done in an appropriate way. In this work, we present an ultra low power FPGA implementation of a TPU for edge applications. We divide the systolic array of a TPU into different FPGA partitions, where each partition uses different near threshold (NTC) biasing voltages to run its FPGA cores. The biasing voltage for each partition is roughly calculated by the proposed static schemes. However, further calibration of biasing voltage is done by the proposed runtime scheme. Four clustering algorithms based on the minimum slack value of different design paths of Multiply Accumulates (MACs) study the partitioning of FPGA. To overcome the timing failure caused by NTC, the MACs which have higher minimum slack are placed in lower voltage partitions and the MACs have lower minimum slack path are placed in higher voltage partitions. The proposed architecture is simulated in a commercial platform Vivado with Xilinx Artix 7 FPGA and academic platform VTR with 22nm, 45nm, 130nm FPGAs. The simulation results substantiate the implementation of voltage scaled TPU in FPGAs and also justifies its power efficiency.


Photonic Generation of Radar Signals with 30 GHz Bandwidth and Ultra High Time Frequency Linearity. Photonic generation of radio frequency signals has shown significant advantages over the electronic counterparts, allowing the high precision generation of radio frequency carriers up to the terahertz wave region with flexible bandwidth for radar applications. Great progress has been made in photonics based radio frequency waveform generation. However, the approaches that rely on sophisticated benchtop digital microwave components, such as synthesizers and digital to analog converters have limited achievable bandwidth and thus resolution for radar detections. Methods based on voltage controlled analog oscillators exhibit high time frequency non linearity, causing degraded sensing precision. Here, we demonstrate, for the first time, a photonic stepped frequency (SF) waveform generation scheme enabled by MHz electronics with a tunable bandwidth exceeding 30 GHz and intrinsic time frequency linearity. The ultra wideband radio frequency signal generation is enabled by using a polarization stabilized optical cavity to suppress intra cavity polarization dependent instability meanwhile, the signal's high linearity is achieved via consecutive MHz acousto optic frequency shifting modulation without the necessity of using electro optic modulators that have bias drifting issues. We systematically evaluate the system's signal quality and imaging performance in comparison with conventional photonic radar schemes that use high speed digital electronics, confirming its feasibility and excellent performance for high resolution radar applications.


Visual Microfossil Identification via Deep Metric Learning. We apply deep metric learning for the first time to the problem of classifying planktic foraminifer shells on microscopic images. This species recognition task is an important information source and scientific pillar for reconstructing past climates. All foraminifer CNN recognition pipelines in the literature produce black box classifiers that lack visualization options for human experts and cannot be applied to open set problems. Here, we benchmark metric learning against these pipelines, produce the first scientific visualization of the phenotypic planktic foraminifer morphology space, and demonstrate that metric learning can be used to cluster species unseen during training. We show that metric learning outperforms all published CNN based state of the art benchmarks in this domain. We evaluate our approach on the 34,640 expert annotated images of the Endless Forams public library of 35 modern planktic foraminifera species. Our results on this data show leading 92 accuracy (at 0.84 F1 score) in reproducing expert labels on withheld test data, and 66.5 accuracy (at 0.70 F1 score) when clustering species never encountered in training. We conclude that metric learning is highly effective for this domain and serves as an important tool towards expert in the loop automation of microfossil identification. Keycode, network weights, and data splits are published with this paper for full reproducibility.


A new search direction for full Newton step infeasible interior point method in linear optimization. In this paper, we study an infeasible interior point method for linear optimization with full Newton step. The introduced method uses an algebraic equivalent transformation on the centering equation of the system which defines the central path. We prove that the method finds an varepsilon optimal solution of the underlying problem in polynomial time.


Generalization of the Ehrling inequality and universal characterization of completely continuous operators. The present work is devoted to an extension of the well known Ehrling inequalities, which quantitatively characterize compact embeddings of function spaces, to more general operators. Firstly, a modified notion of continuity for linear operators, named emph Ehrling continuity and inspired by the classical Ehrling inequality, is introduced, and then, a necessary and sufficient condition for Ehrling continuity is provided via arguments based on general topology. Secondly, general completely continuous operators between normed spaces are characterized in terms of (generalized) Ehrling type inequalities. To this end, the well known local metrization of the weak topology (so to speak, a emph very weak norm ) plays a crucial role. Thanks to these results, a universal relation is observed among complete continuity, the very weak norm and generalized Ehrling type inequality.


Highly Efficient Natural Image Matting. Over the last few years, deep learning based approaches have achieved outstanding improvements in natural image matting. However, there are still two drawbacks that impede the widespread application of image matting the reliance on user provided trimaps and the heavy model sizes. In this paper, we propose a trimap free natural image matting method with a lightweight model. With a lightweight basic convolution block, we build a two stages framework Segmentation Network (SN) is designed to capture sufficient semantics and classify the pixels into unknown, foreground and background regions Matting Refine Network (MRN) aims at capturing detailed texture information and regressing accurate alpha values. With the proposed cross level fusion Module (CFM), SN can efficiently utilize multi scale features with less computational cost. Efficient non local attention module (ENA) in MRN can efficiently model the relevance between different pixels and help regress high quality alpha values. Utilizing these techniques, we construct an extremely light weighted model, which achieves comparable performance with 1 parameters (344k) of large models on popular natural image matting benchmarks.


A Newton's Iteration Converges Quadratically to Nonisolated Solutions Too. The textbook Newton's iteration is practically inapplicable on solutions of nonlinear systems with singular Jacobians. By a simple modification, a novel extension of Newton's iteration regains its local quadratic convergence toward nonisolated solutions that are semiregular as properly defined regardless of whether the system is square, underdetermined or overdetermined while Jacobians can be rank deficient. Furthermore, the iteration serves as a regularization mechanism for computing singular solutions from empirical data. When a system is perturbed, its nonisolated solutions can be altered substantially or even disappear. The iteration still locally converges to a stationary point that approximates a singular solution of the underlying system with an error bound in the same order of the data accuracy. Geometrically, the iteration approximately approaches the nearest point on the solution manifold. The method simplifies the modeling of nonlinear systems by permitting nonisolated solutions and enables a wide range of applications in algebraic computation.


Linear Time Approximation Scheme for k Means Clustering of Affine Subspaces. In this paper, we present a linear time approximation scheme for k means clustering of emph incomplete data points in d dimensional Euclidean space. An emph incomplete data point with Delta 0 unspecified entries is represented as an axis parallel affine subspaces of dimension Delta . The distance between two incomplete data points is defined as the Euclidean distance between two closest points in the axis parallel affine subspaces corresponding to the data points. We present an algorithm for k means clustering of axis parallel affine subspaces of dimension Delta that yields an (1 epsilon) approximate solution in O(nd) time. The constants hidden behind O( cdot) depend only on Delta, epsilon and k . This improves the O(n 2 d) time algorithm by Eiben et al. SODA'21 by a factor of n .


secureTF A Secure TensorFlow Framework. Data driven intelligent applications in modern online services have become ubiquitous. These applications are usually hosted in the untrusted cloud computing infrastructure. This poses significant security risks since these applications rely on applying machine learning algorithms on large datasets which may contain private and sensitive information. To tackle this challenge, we designed secureTF, a distributed secure machine learning framework based on Tensorflow for the untrusted cloud infrastructure. secureTF is a generic platform to support unmodified TensorFlow applications, while providing end to end security for the input data, ML model, and application code. secureTF is built from ground up based on the security properties provided by Trusted Execution Environments (TEEs). However, it extends the trust of a volatile memory region (or secure enclave) provided by the single node TEE to secure a distributed infrastructure required for supporting unmodified stateful machine learning applications running in the cloud. The paper reports on our experiences about the system design choices and the system deployment in production use cases. We conclude with the lessons learned based on the limitations of our commercially available platform, and discuss open research problems for the future work.


Breaking BERT Understanding its Vulnerabilities for Named Entity Recognition through Adversarial Attack. Both generic and domain specific BERT models are widely used for natural language processing (NLP) tasks. In this paper we investigate the vulnerability of BERT models to variation in input data for Named Entity Recognition (NER) through adversarial attack. Experimental results show that BERT models are vulnerable to variation in the entity context with 20.2 to 45.0 of entities predicted completely wrong and another 29.3 to 53.3 of entities predicted wrong partially. BERT models seem most vulnerable to changes in the local context of entities and often a single change is sufficient to fool the model. The domain specific BERT model trained from scratch (SciBERT) is more vulnerable than the original BERT model or the domain specific model that retains the BERT vocabulary (BioBERT). We also find that BERT models are particularly vulnerable to emergent entities. Our results chart the vulnerabilities of BERT models for NER and emphasize the importance of further research into uncovering and reducing these weaknesses.


DP SGD vs PATE Which Has Less Disparate Impact on GANs?. Generative Adversarial Networks (GANs) are among the most popular approaches to generate synthetic data, especially images, for data sharing purposes. Given the vital importance of preserving the privacy of the individual data points in the original data, GANs are trained utilizing frameworks with robust privacy guarantees such as Differential Privacy (DP). However, these approaches remain widely unstudied beyond single performance metrics when presented with imbalanced datasets. To this end, we systematically compare GANs trained with the two best known DP frameworks for deep learning, DP SGD, and PATE, in different data imbalance settings from two perspectives the size of the classes in the generated synthetic data and their classification performance. Our analyses show that applying PATE, similarly to DP SGD, has a disparate effect on the under over represented classes but in a much milder magnitude making it more robust. Interestingly, our experiments consistently show that for PATE, unlike DP SGD, the privacy utility trade off is not monotonically decreasing but is much smoother and inverted U shaped, meaning that adding a small degree of privacy actually helps generalization. However, we have also identified some settings (e.g., large imbalance) where PATE GAN completely fails to learn some subparts of the training data.


Extremum seeking control applied to airfoil trailing edge noise suppression. Extremum seeking control (ESC) and its slope seeking generalization are applied in a high fidelity flow simulation framework for reduction of acoustic noise generated by a NACA0012 airfoil. Two Reynolds numbers are studied for which different noise generation mechanisms are excited. For a low Reynolds number flow, the scattering of vortex shedding at the airfoil trailing edge produces tonal noise while, for a moderate Reynolds number case, boundary layer instabilities scatter at the trailing edge leading to noise emission at multiple tones superimposed on a broadband hump. Different control setups are investigated and they are configured to either find an optimal steady actuator intensity or an optimal position for a blowing suction device. Implementation details are discussed regarding the control modules and design of digital filters.


Minor closed classes of binary functions. Binary functions are a generalisation of the cocircuit spaces of binary matroids to arbitrary functions. Every rank function is assigned a binary function, and the deletion and contraction operations of binary functions generalise matroid deletion and contraction. We give the excluded minor characterisations for the classes of binary functions with well defined minors, and those with an associated rank function. Within these classes, we also characterise the classes of binary functions corresponding to polymatroids, matroids and binary matroids by their excluded minors. This gives a new proof of Tutte's excluded minor characterisation of binary matroids in the more generalised space of binary functions.


Federated Data Science to Break Down Silos Vision . Similar to Open Data initiatives, data science as a community has launched initiatives for sharing not only data but entire pipelines, derivatives, artifacts, etc. (Open Data Science). However, the few efforts that exist focus on the technical part on how to facilitate sharing, conversion, etc. This vision paper goes a step further and proposes KEK, an open federated data science platform that does not only allow for sharing data science pipelines and their (meta)data but also provides methods for efficient search and, in the ideal case, even allows for combining and defining pipelines across platforms in a federated manner. In doing so, KEK addresses the so far neglected challenge of actually finding artifacts that are semantically related and that can be combined to achieve a certain goal.


Topic Modeling in the Voynich Manuscript. This article presents the results of investigations using topic modeling of the Voynich Manuscript (Beinecke MS408). Topic modeling is a set of computational methods which are used to identify clusters of subjects within text. We use latent dirichlet allocation, latent semantic analysis, and nonnegative matrix factorization to cluster Voynich pages into topics'. We then compare the topics derived from the computational models to clusters derived from the Voynich illustrations and from paleographic analysis. We find that computationally derived clusters match closely to a conjunction of scribe and subject matter (as per the illustrations), providing further evidence that the Voynich Manuscript contains meaningful text.


Compositional Synthesis of Modular Systems (Full Version). Given the advances in reactive synthesis, it is a natural next step to consider more complex multi process systems. Distributed synthesis, however, is not yet scalable. Compositional approaches can be a game changer. Here, the challenge is to decompose a given specification of the global system behavior into requirements on the individual processes. In this paper, we introduce a compositional synthesis algorithm that, for each process, constructs, in addition to the implementation, a certificate that captures the necessary interface between the processes. The certificates then allow for constructing separate requirements for the individual processes. By bounding the size of the certificates, we can bias the synthesis procedure towards solutions that are desirable in the sense that the assumptions between the processes are small. Our experimental results show that our approach is much faster than standard methods for distributed synthesis as long as reasonably small certificates exist.


Phraseformer Multimodal Key phrase Extraction using Transformer and Graph Embedding. Background Keyword extraction is a popular research topic in the field of natural language processing. Keywords are terms that describe the most relevant information in a document. The main problem that researchers are facing is how to efficiently and accurately extract the core keywords from a document. However, previous keyword extraction approaches have utilized the text and graph features, there is the lack of models that can properly learn and combine these features in a best way. Methods In this paper, we develop a multimodal Key phrase extraction approach, namely Phraseformer, using transformer and graph embedding techniques. In Phraseformer, each keyword candidate is presented by a vector which is the concatenation of the text and structure learning representations. Phraseformer takes the advantages of recent researches such as BERT and ExEm to preserve both representations. Also, the Phraseformer treats the key phrase extraction task as a sequence labeling problem solved using classification task. Results We analyze the performance of Phraseformer on three datasets including Inspec, SemEval2010 and SemEval 2017 by F1 score. Also, we investigate the performance of different classifiers on Phraseformer method over Inspec dataset. Experimental results demonstrate the effectiveness of Phraseformer method over the three datasets used. Additionally, the Random Forest classifier gain the highest F1 score among all classifiers. Conclusions Due to the fact that the combination of BERT and ExEm is more meaningful and can better represent the semantic of words. Hence, Phraseformer significantly outperforms single modality methods.


COTReg Coupled Optimal Transport based Point Cloud Registration. Generating a set of high quality correspondences or matches is one of the most critical steps in point cloud registration. This paper proposes a learning framework COTReg by jointly considering the pointwise and structural matchings to predict correspondences of 3D point cloud registration. Specifically, we transform the two matchings into a Wasserstein distance based and a Gromov Wasserstein distance based optimizations, respectively. Thus the task of establishing the correspondences can be naturally reshaped to a coupled optimal transport problem. Furthermore, we design a network to predict the confidence score of being an inlier for each point of the point clouds, which provides the overlap region information to generate correspondences. Our correspondence prediction pipeline can be easily integrated into either learning based features like FCGF or traditional descriptors like FPFH. We conducted comprehensive experiments on 3DMatch, KITTI, 3DCSR, and ModelNet40 benchmarks, showing the state of art performance of the proposed method.


4DComplete Non Rigid Motion Estimation Beyond the Observable Surface. Tracking non rigidly deforming scenes using range sensors has numerous applications including computer vision, AR VR, and robotics. However, due to occlusions and physical limitations of range sensors, existing methods only handle the visible surface, thus causing discontinuities and incompleteness in the motion field. To this end, we introduce 4DComplete, a novel data driven approach that estimates the non rigid motion for the unobserved geometry. 4DComplete takes as input a partial shape and motion observation, extracts 4D time space embedding, and jointly infers the missing geometry and motion field using a sparse fully convolutional network. For network training, we constructed a large scale synthetic dataset called DeformingThings4D, which consists of 1972 animation sequences spanning 31 different animals or humanoid categories with dense 4D annotation. Experiments show that 4DComplete 1) reconstructs high resolution volumetric shape and motion field from a partial observation, 2) learns an entangled 4D feature representation that benefits both shape and motion estimation, 3) yields more accurate and natural deformation than classic non rigid priors such as As Rigid As Possible (ARAP) deformation, and 4) generalizes well to unseen objects in real world sequences.


Improving Visual Quality of Unrestricted Adversarial Examples with Wavelet VAE. Traditional adversarial examples are typically generated by adding perturbation noise to the input image within a small matrix norm. In practice, un restricted adversarial attack has raised great concern and presented a new threat to the AI safety. In this paper, we propose a wavelet VAE structure to reconstruct an input image and generate adversarial examples by modifying the latent code. Different from perturbation based attack, the modifications of the proposed method are not limited but imperceptible to human eyes. Experiments show that our method can generate high quality adversarial examples on ImageNet dataset.


Back n White Neutron Source at CSNS and its Applications. Back streaming neutrons from the spallation target of the China Spallation Neutron Source (CSNS) that emit through the incoming proton channel were exploited to build a white neutron beam facility (the so called Back n white neutron source), which was completed in March 2018. The Back n neutron beam is very intense, at approximately 2 10 7 n cm 2 s at 55 m from the target, and has a nominal proton beam with a power of 100 kW in the CSNS I phase and a kinetic energy of 1.6 GeV and a thick tungsten target in multiple slices with modest moderation from the cooling water through the slices. In addition, the excellent energy spectrum spanning from 0.5 eV to 200 MeV, and a good time resolution related to the time of flight measurements make it a typical white neutron source for nuclear data measurements its overall performance is among that of the best white neutron sources in the world. Equipped with advanced spectrometers, detectors, and application utilities, the Back n facility can serve wide applications, with a focus on neutron induced cross section measurements. This article presents an overview of the neutron beam characteristics, the experimental setups, and the ongoing applications at Back n.


Near optimal intense and powerful terahertz source by optical rectification in lithium niobate crystal. Using an affordable ytterbium laser with sub mJ of energy combined with a novel pulse compression technique, we demonstrate an extremely competitive state of the art terahertz (THz) source with 53 mW of average power and 310 kV cm at focus from the tilted pulse front pumping scheme in lithium niobate at room temperature. Key points of this demonstration include the use of a pump pulse duration of 280 fs in combination with an echelon mirror. Our results present unmatched combined characteristics and are highly competitive with the existing THz sources pumped at the mJ range. This demonstration is a step towards the democratization of access to intense and powerful THz pulses.


Large deviations analysis for random combinatorial partitions with counter terms. In this paper, we study various models for random combinatorial partitions using large deviation analysis for diverging scale of the reference process. Scaling limits of similar models have been studied recently cite FSa,FSb going back to cite Ver96 . After studying the reference model, we provide a complete analysis of two mean field models, one of which is well know cite BCMP05 and the other one is the cycle mean field model. Both models show critical behaviour despite their rate functions having unique minimiser. The main focus is then a model with negative counter term, the probabilistic version of the so called emph Huang Yang Luttinger (HYL) model cite BLP . Criticality in this model is the existence of a critical parameter for which two simultaneous minimiser exists. At criticality an order parameter is introduced as the double limits for the density of cycles with diverging length, and as such it extends recent work cite AD21 .


Repeated root Constacyclic Codes with Optimal Locality. A code is called a locally repairable code (LRC) if any code symbol is a function of a small fraction of other code symbols. When a locally repairable code is employed in a distributed storage systems, an erased symbol can be recovered by accessing only a small number of other symbols, and hence alleviating the network resources required during the repair process. In this paper we consider repeated root constacyclic codes, which is a generalization of cyclic codes, that are optimal with respect to a Singleton like bound on minimum distance. An LRC with the structure of a constacyclic code can be encoded efficiently using any encoding algorithm for constacyclic codes in general. In this paper we obtain optimal LRCs among these repeated root constacyclic codes. Several infinite classes of optimal LRCs over a fixed alphabet are found. Under a further assumption that the ambient space of the repeated root constacyclic codes is a chain ring, we show that there is no other optimal LRC.


Adjacency constraint for efficient hierarchical reinforcement learning. Goal conditioned Hierarchical Reinforcement Learning (HRL) is a promising approach for scaling up reinforcement learning (RL) techniques. However, it often suffers from training inefficiency as the action space of the high level, i.e., the goal space, is large. Searching in a large goal space poses difficulty for both high level subgoal generation and low level policy learning. In this paper, we show that this problem can be effectively alleviated by restricting the high level action space from the whole goal space to a k step adjacent region of the current state using an adjacency constraint. We theoretically prove that in a deterministic Markov Decision Process (MDP), the proposed adjacency constraint preserves the optimal hierarchical policy, while in a stochastic MDP the adjacency constraint induces a bounded state value suboptimality determined by the MDP's transition structure. We further show that this constraint can be practically implemented by training an adjacency network that can discriminate between adjacent and non adjacent subgoals. Experimental results on discrete and continuous control tasks including challenging simulated robot locomotion and manipulation tasks show that incorporating the adjacency constraint significantly boosts the performance of state of the art goal conditioned HRL approaches.


On Some Summation Formulas. In this note, we derive a finite summation formula and an infinite summation formula involving Harmonic numbers of order up to some order by means of several definite integrals


Task Specific Design Optimization and Fabrication for Inflated Beam Soft Robots with Growable Discrete Joints. Soft robot serial chain manipulators with the capability for growth, stiffness control, and discrete joints have the potential to approach the dexterity of traditional robot arms, while improving safety, lowering cost, and providing an increased workspace, with potential application in home environments. This paper presents an approach for design optimization of such robots to reach specified targets while minimizing the number of discrete joints and thus construction and actuation costs. We define a maximum number of allowable joints, as well as hardware constraints imposed by the materials and actuation available for soft growing robots, and we formulate and solve an optimization problem to output a planar robot design, i.e., the total number of potential joints and their locations along the robot body, which reaches all the desired targets, avoids known obstacles, and maximizes the workspace. We demonstrate a process to rapidly construct the resulting soft growing robot design. Finally, we use our algorithm to evaluate the ability of this design to reach new targets and demonstrate the algorithm's utility as a design tool to explore robot capabilities given various constraints and objectives.


Property FW and wreath products of groups a simple approach using Schreier graphs. The group property FW stands in between the celebrated Kazdhan's property (T) and Serre's property FA. Among many characterizations, it might be defined using the number of ends of Schreier graphs. Using this, we show that a finitely generated wreath product G wr XH has property FW if and only if both G and H have property FW and X is finite.


Effective super bandwidth in laser pulses. We present here a theoretical analysis of the interaction between an ideal two level quantum system and a super oscillatory pulse, like the one proposed and successfully synthesized in https doi.org 10.1088 2040 8986 abfedf and arXiv 2106.09192. As a prominent feature, these pulses present a high efficiency of the central super oscillatory region in relation to the unavoidable side lobes. Besides, our study shows an increase of the effective bandwidth of the pulse, in the super oscillatory region, and not only the appearance of a local frequency higher than its highest Fourier frequency component, as in the usual description of the phenomenon of super oscillations. Beyond introducing the concept of effective super bandwidth, the presented results could be relevant for experimental applications and opening new perspectives for laser matter interaction.


Fine Grained Visual Classification of Plant Species In The Wild Object Detection as A Reinforced Means of Attention. Plant species identification in the wild is a difficult problem in part due to the high variability of the input data, but also because of complications induced by the long tail effects of the datasets distribution. Inspired by the most recent fine grained visual classification approaches which are based on attention to mitigate the effects of data variability, we explore the idea of using object detection as a form of attention. We introduce a bottom up approach based on detecting plant organs and fusing the predictions of a variable number of organ based species classifiers. We also curate a new dataset with a long tail distribution for evaluating plant organ detection and organ based species identification, which is publicly available.


The G 'alvez Kock Tonks conjecture for discrete decomposition spaces. G 'alvez, Kock, and Tonks constructed a decomposition space U of all M "obius intervals, as a recipient of Lawvere's interval construction for M "obius categories, and conjectured that U enjoys a certain universal property for every M "obius decomposition space X , the space of CULF functors from X to U is contractible. In this paper, we work at the level of homotopy 1 types to prove the first case of the conjecture, namely for discrete decomposition spaces. This provides also the first substantial evidence for the general conjecture. The discrete case is general enough to cover all locally finite posets, Cartier Foata monoids, and M "obius categories. The proof is 2 categorical. First, we construct a local strict model of U , which is then used to show by hand that the Lawvere interval construction, considered as a natural transformation, does not admit other self modifications than the identity.


Intersection density of transitive groups of certain degrees. Two elements g and h of a permutation group G acting on a set V are said to be intersecting if g(v) h(v) for some v in V . More generally, a subset cal F of G is an intersecting set if every pair of elements of cal F is intersecting. The intersection density rho(G) of a transitive permutation group G is the maximum value of the quotient cal F G v where cal F runs over all intersecting sets in G and G v is a stabilizer of v in V . In this paper the intersection density of transitive groups of degree twice a prime is determined, and proved to be either 1 or 2 . In addition, it is proved that the intersection density of transitive groups of prime power degree is 1 .


k Equivalence Relations and Associated Algorithms. Lines and circles pose significant scalability challenges in synthetic geometry. A line with n points implies n choose 3 collinearity atoms, or alternatively, when lines are represented as functions, equality among n choose 2 different lines. Similarly, a circle with n points implies n choose 4 cocyclicity atoms or equality among n choose 3 circumcircles. We introduce a new mathematical concept of k equivalence relations, which generalizes equality ( k 1 ) and includes both lines ( k 2 ) and circles ( k 3 ), and present an efficient proof producing procedure to compute the closure of a k equivalence relation.


Normalized solutions for the Schr " o dinger equation with combined Hartree type and power nonlinearities. We investigate normalized solutions for the Schr " o dinger equation with combined Hartree type and power nonlinearities, namely begin equation left begin array ll Delta u lambda u gamma (I alpha ast left vert u right vert p ) u p 2 u mu u q 2 u quad text in quad mathbb R N , int mathbb R N u 2 dx c, end array right. end equation where N geq 2 and c 0 is a given real number. Under different assumptions on gamma , mu ,p and q , we prove several nonexistence, existence and multiplicity results. In particular, we are more interested in the cases when the competing effect of Hartree type and power nonlinearities happens, i.e. gamma mu 0, including the cases gamma 0, mu 0 and gamma 0, mu 0. Due to the different "strength" of two types of nonlinearities, we find some differences in results and in the geometry of the corresponding functionals between these two cases.


On a problem of M. Talagrand. We address a special case of a conjecture of M. Talagrand relating two notions of "threshold" for an increasing family mathcal F of subsets of a finite set V . The full conjecture implies equivalence of the "Fractional Expectation Threshold Conjecture," due to Talagrand and recently proved by the authors and B. Narayanan, and the (stronger) "Expectation Threshold Conjecture" of the second author and G. Kalai. The conjecture under discussion here says there is a fixed L such that if, for a given mathcal F , p in 0,1 admits lambda 2 V rightarrow mathbb R with mbox sum S subseteq F lambda S ge 1 forall F in mathcal F and mbox sum S lambda Sp S le 1 2 (a.k.a. mathcal F is weakly p small), then p L admits such a lambda taking values in 0,1 ( mathcal F is (p L) small). Talagrand showed this when lambda is supported on singletons and suggested, as a more challenging test case, proving it when lambda is supported on pairs. The present work provides such a proof.


L p properties of non Archimedean fractional differentiation operators. Let D alpha, alpha 0 , be the Vladimirov Taibleson fractional differentiation operator acting on complex valued functions on a non Archimedean local field. The identity D alpha D alpha f f was known only for the case where f has a compact support. Following a result by Samko about the fractional Laplacian of real analysis, we extend the above identity in terms of L p convergence of truncated integrals. Differences between real and non Archimedean cases are discussed.


Cost effective Network Disintegration through Targeted Enumeration. Although we are in a hyper connected world, this connectivity has undesirable aspects in nature and society. Finding an optimal subset of nodes or links to disintegrate harmful networks is a fundamental problem in network science, with potential applications to anti terrorist, epidemic control, and many other fields. The challenge of the network disintegration problem is to balance the effectiveness and efficiency of strategies. In this paper, we propose a cost effective targeted enumeration method for network disintegration. Our approach includes two stages searching the candidate objects and identifying the optimal solution. In the first stage, we employ the rank aggregation method to generate a comprehensive node importance ranking, based on which we determine a small scale candidate set of nodes to remove. In the second stage, we use the enumeration method to find the optimal combination among the candidate nodes. The extensive experimental results on synthetic and real world networks demonstrate that our method achieves a satisfying trade off between effectiveness and efficiency. The introduced two stage targeted enumeration framework can be further extended to other combinational optimization problems.


Provenance based Data Skipping (TechReport). Database systems analyze queries to determine upfront which data is needed for answering them and use indexes and other physical design techniques to speed up access to that data. However, for important classes of queries, e.g., HAVING and top k queries, it is impossible to determine up front what data is relevant. To overcome this limitation, we develop provenance based data skipping (PBDS), a novel approach that generates provenance sketches to concisely encode what data is relevant for a query. Once a provenance sketch has been captured it is used to speed up subsequent queries. PBDS can exploit physical design artifacts such as indexes and zone maps. Our approach significantly improves performance for both disk based and main memory database systems.


VOSySmonitoRV a mixed criticality solution on Linux capable RISC V platforms. Embedded systems are pervasively used in many fields nowadays. In mixed criticality environments (automotive, industry 4.0, drones, etc.) they need to run real time applications with certain time and safety constraints alongside a rich operating system (OS). This is usually possible thanks to virtualization techniques, that leverage on hardware virtualization extensions on the machine. However, these hardware extensions might not cope with the security and safety requirements of the specific use case, and additionally, they might not always be available. A notable example is the emerging RISC V architecture, that is today gaining a lot of traction in the mixed criticality field, but that do not offer today hardware virtualization extensions. In this paper VOSySmonitoRV is proposed as a mixed criticality solution for RISC V systems. VOSySmonitoRVallows the co execution of two or more operating systems in a secure and isolated manner by running in the highest privileged machine level. A specific benchmark, measuring the interrupt latency and context switch time is done to assess the system performance in mixed criticality systems.


Execution of NVRAM Programs with Persistent Stack. Non Volatile Random Access Memory (NVRAM) is a novel type of hardware that combines the benefits of traditional persistent memory (persistency of data over hardware failures) and DRAM (fast random access). In this work, we describe an algorithm that can be used to execute NVRAM programs and recover the system after a hardware failure while taking the architecture of real world NVRAM systems into account. Moreover, the algorithm can be used to execute NVRAM destined programs on commodity persistent hardware, such as hard drives. That allows us to test NVRAM algorithms using only cheap hardware, without having access to the NVRAM. We report the usage of our algorithm to implement and test NVRAM CAS algorithm.


Chemi sorbed versus physi sorbed surface charge and its impact on electrokinetic transport carbon versus boron nitride surface. The possibility to control electrokinetic transport through carbon and hexagonal boron nitride (hBN) nanotubes has recently opened new avenues for nanofluidic approaches to face outstanding challenges such as energy production and conversion or water desalination. The p H dependence of experimental transport coefficients point to the sorption of hydroxide ions as the microscopic origin of the surface charge and recent ab initio calculations suggest that these ions behave differently on carbon and hBN, with only physisorption on the former and both physi and chemisorption on the latter. Using classical non equilibrium molecular dynamics simulations of interfaces between an aqueous electrolyte and three models of hBN and graphite surfaces, we demonstrate the major influence of the sorption mode of hydroxide ions on the interfacial transport properties. Physisorbed surface charge leads to a considerable enhancement of the surface conductivity as compared to its chemisorbed counterpart, while values of the zeta potential are less affected . The analysis of the MD results for the surface conductivity and zeta potential in the framework of Poisson Boltzmann Stokes theory, as is usually done to analyze experimental data, further confirms the importance of taking into account both the mobility of surface hydroxide ions and the decrease of the slip length with increasing titratable surface charge density.


Local orthogonal maps and rigidity of holomorphic mappings between real hyperquadrics. We introduced a new coordinate free approach to study the Cauchy Riemann (CR) maps between the real hyperquadrics in the complex projective space. The central theme is based on a notion of orthogonality on the projective space induced by the Hermitian structure defining the hyperquadrics. There are various kinds of special linear subspaces associated to this orthogonality which are well respected by the relevant CR maps and this is where the rigidities come from. Our method allows us to generalize a number of well known rigidity theorems for the CR mappings between real hyperquadrics with much simpler arguments.


The Frobenius problem for numerical semigroups generated by sequences that satisfy a linear recurrence relation. Consider a sequence of positive integers of the form ca n d , n geq 1 , where a, c and d are positive integers, a 1 . For each n geq 1 , let S n be the submonoid of mathbb N generated by mathbf s j ca n j d , with j in mathbb N . We obtain a numerical semigroup (1 e)S n by dividing every element of S n by e gcd(S n) . We characterize the embedding dimension of S n and describe a method to find the minimal generating set of S n . We also show how to find the maximum element of the Ap 'ery set rm Ap (S n, mathbf s 0) , characterize the elements of rm Ap (S n, mathbf s 0) , and use these results to compute the Frobenius number of the numerical semigroup (1 e)S n , where e gcd(S n) .


High Level Synthesis Implementation of a Three dimensional Systolic Array Architecture for Matrix Multiplications on Intel Stratix 10 FPGAs. In this paper, we consider the HLS implementation of a three dimensional systolic array architecture for matrix multiplication that targets specific characteristics of Intel Stratix 10 FPGAs in order to produce designs that achieve a high floating point throughput using most of the DSPs at high frequencies in a way that avoids the congestion of the routing fabric. The investigated three dimensional systolic array architecture is able to produce hardware designs that use 99 of the available DSPs with maximum frequencies that let us achieve performances above 3 TFLOPS.


On the stationary distribution of the noisy voter model. Given a transition matrix P indexed by a finite set V of vertices, the voter model is a discrete time Markov chain in 0,1 V where at each time step a randomly chosen vertex x imitates the opinion of vertex y with probability P(x,y) . The noisy voter model is a variation of the voter model in which vertices may change their opinions by the action of an external noise. The strength of this noise is measured by an extra parameter p in 0,1 . The noisy voter model is a Markov chain with state space 0,1 V , and has a unique stationary distribution Gamma when p 0 . In this paper, we study Gamma when the number of vertices in V tends to infinity. In particular we analyse the random variable S sum x in V pi(x) xi(x) , where pi is the stationary distribution of the transition matrix P , and xi in 0,1 is sampled from Gamma . Allowing P and p to be functions of the size V , we show that, under appropriate conditions, a normalised version of S converges to a Gaussian random variable. We provide further analysis of the noisy voter model on a variety of graphs including the complete graph, cycle, torus and hypercube.


Repetitiveness of HD0L systems. Let H be an HD0L system. We show that the number of primitive words v such v k for any k is an element of the factorial language of H is bounded. In particular, this result applies to the set of all factors of a morphic word.


Minimal Free Resolutions of Fiber Products. We construct free resolutions for quotient rings R langle mathcal I ', mathcal I mathcal J , mathcal J ' rangle , give conditions for the quotient to be realized as a fiber product, and give criteria for the construction to be minimal. We then specialize this result to fiber products over a field k and recover explicit formulas for Betti numbers, graded Betti numbers, and Poincar ' e series.


A 2 Approximation for the Bounded Treewidth Sparsest Cut Problem in FPT Time. In the non uniform sparsest cut problem, we are given a supply graph G and a demand graph D, both with the same set of nodes V. The goal is to find a cut of V that minimizes the ratio of the total capacity on the edges of G crossing the cut over the total demand of the crossing edges of D. In this work, we study the non uniform sparsest cut problem for supply graphs with bounded treewidth k. For this case, Gupta, Talwar and Witmer STOC 2013 obtained a 2 approximation with polynomial running time for fixed k, and the question of whether there exists a c approximation algorithm for a constant c independent of k, that runs in FPT time, remained open. We answer this question in the affirmative. We design a 2 approximation algorithm for the non uniform sparsest cut with bounded treewidth supply graphs that runs in FPT time, when parameterized by the treewidth. Our algorithm is based on rounding the optimal solution of a linear programming relaxation inspired by the Sherali Adams hierarchy. In contrast to the classic Sherali Adams approach, we construct a relaxation driven by a tree decomposition of the supply graph by including a carefully chosen set of lifting variables and constraints to encode information of subsets of nodes with super constant size, and at the same time we have a sufficiently small linear program that can be solved in FPT time.


Efficient Retrieval Optimized Multi task Learning. Recently, there have been significant advances in neural methods for tackling knowledge intensive tasks such as open domain question answering (QA). These advances are fueled by combining large pre trained language models with learnable retrieval of documents. Majority of these models use separate encoders for learning query representation, passage representation for the retriever and an additional encoder for the downstream task. Using separate encoders for each stage task occupies a lot of memory and makes it difficult to scale to a large number of tasks. In this paper, we propose a novel Retrieval Optimized Multi task (ROM) framework for jointly training self supervised tasks, knowledge retrieval, and extractive question answering. Our ROM approach presents a unified and generalizable framework that enables scaling efficiently to multiple tasks, varying levels of supervision, and optimization choices such as different learning schedules without changing the model architecture. It also provides the flexibility of changing the encoders without changing the architecture of the system. Using our framework, we achieve comparable or better performance than recent methods on QA, while drastically reducing the number of parameters.


Moving towards high power thin disk lasers in the 2 mu m wavelength range. Thin disk lasers (TDLs) have made spectacular progress in the last decades both in continuous wave and ultrafast operation. Nowadays, single thin disk oscillators with 16 kW of continuous wave (CW) power have been demonstrated and ultrafast amplifiers have largely surpassed the kilowatt milestone with pulse energies in the multi 100 mJ range. This amazing development has been demonstrated in the 1 mu m wavelength range, using Yb doped materials and supported by industrially available components. Motivated by both strong scientific and industrial applications, interest in expanding this performance to longer wavelength regions continues to increase. In particular, TDLs emitting directly in the short wave mid infrared (SW MIR) region (2 3 mu m) are especially sought after, and although many early studies have been reported, most remained in the proof of principle stage and the potential for multi 100 W operation remained undemonstrated. Here, we report on our recent results of a single fundamental mode CW Ho YAG thin disk oscillator with 100 W of power, surpassing previous single mode TDLs by a factor of 4, and marking a first milestone in the development of high power SW MIR TDLs. In optimized conditions, our laser system emitting at guillemotright 2.1 mu m reaches an output power of 112 W with 54.6 optical to optical efficiency and an M2 1.1. This system is ideally suited for future direct modelocking at the 100 W level, as well as for ultrafast amplification. We start the discussion with a review of the state of the art of TDLs emitting directly in the vicinity of 2 mu m, and then discuss difficulties and possible routes both towards ultrafast operation and next possible steps for power scaling.


High Performance Optical Filters Using Three Waveguide Coupled Sagnac Loop Reflectors. We theoretically investigate advanced multi functional integrated photonic filters formed by three waveguide coupled Sagnac loop reflectors (3WC SLRs). By tailoring the coherent mode interference, the spectral response of the 3WC SLR resonators is engineered to achieve diverse filtering functions with high performance. These include optical analogues of Fano resonances that yield ultrahigh spectral extinction ratios (ERs) and slope rates, resonance mode splitting with high ERs and low free spectral ranges, and classical Butterworth, Bessel, Chebyshev, and elliptic filters. A detailed analysis of the impact of the structural parameters and fabrication tolerances is provided to facilitate device design and optimization. The requirements for practical applications are also considered. These results theoretically verify the effectiveness of using 3WC SLR resonators as multi functional integrated photonic filters for flexible spectral engineering in diverse applications.


Constraint Sampling Reinforcement Learning Incorporating Expertise For Faster Learning. Online reinforcement learning (RL) algorithms are often difficult to deploy in complex human facing applications as they may learn slowly and have poor early performance. To address this, we introduce a practical algorithm for incorporating human insight to speed learning. Our algorithm, Constraint Sampling Reinforcement Learning (CSRL), incorporates prior domain knowledge as constraints restrictions on the RL policy. It takes in multiple potential policy constraints to maintain robustness to misspecification of individual constraints while leveraging helpful ones to learn quickly. Given a base RL learning algorithm (ex. UCRL, DQN, Rainbow) we propose an upper confidence with elimination scheme that leverages the relationship between the constraints, and their observed performance, to adaptively switch among them. We instantiate our algorithm with DQN type algorithms and UCRL as base algorithms, and evaluate our algorithm in four environments, including three simulators based on real data recommendations, educational activity sequencing, and HIV treatment sequencing. In all cases, CSRL learns a good policy faster than baselines.


Biometrics in the Era of COVID 19 Challenges and Opportunities. Since early 2020 the COVID 19 pandemic has had a considerable impact on many aspects of daily life. A range of different measures have been implemented worldwide to reduce the rate of new infections and to manage the pressure on national health services. A primary strategy has been to reduce gatherings and the potential for transmission through the prioritisation of remote working and education. Enhanced hand hygiene and the use of facial masks have decreased the spread of pathogens when gatherings are unavoidable. These particular measures present challenges for reliable biometric recognition, e.g. for facial , voice and hand based biometrics. At the same time, new challenges create new opportunities and research directions, e.g. renewed interest in non constrained iris or periocular recognition, touch less fingerprint and vein based authentication and the use of biometric characteristics for disease detection. This article presents an overview of the research carried out to address those challenges and emerging opportunities.


The term angle' in the international system of units. The concept of an angle is one that often causes difficulties in metrology. These are partly caused by a confusing mixture of several mathematical terms, partly by real mathematical difficulties and finally by imprecise terminology. The purpose of this publication is to clarify misunderstandings and to explain why strict terminology is important. It will also be shown that most misunderstandings regarding the radian' can be avoided if some simple rules are obeyed.


Power Consumption of Video Decoders on Various Android Devices. The critical constraint of mobile devices is a limited battery life that is significantly reduced during video playback. The power efficiency of video playback mainly depends on the used compression standard, video decoder, and device model. We propose a software based method to estimate the power consumption of video decoders on various Android devices. Experiments on two devices of the same model show a small variation of the power playback consumption and a lack of dependence between the power consumption and the battery level. We have implemented an automatic system that includes the VEQE Android application to measure the power consumption of decoders and a server to collect the power metrics. Our system has collected power consumption and decoding speed dataset for video decoders of six standards (AV1, HEVC, VP9, H.264, VP8, and MPEG 4) operating on 285 devices, representing 147 models. We demonstrate some slices of the created dataset the top 30 models and video decoders in terms of power efficiency for playback and for decoding only, as well as video decoder ratings by power consumption and decoding speed for a given device model.


Rethinking Architecture Design for Tackling Data Heterogeneity in Federated Learning. Federated learning is an emerging research paradigm enabling collaborative training of machine learning models among different organizations while keeping data private at each institution. Despite recent progress, there remain fundamental challenges such as the lack of convergence and the potential for catastrophic forgetting across real world heterogeneous devices. In this paper, we demonstrate that self attention based architectures (e.g., Transformers) are more robust to distribution shifts and hence improve federated learning over heterogeneous data. Concretely, we conduct the first rigorous empirical investigation of different neural architectures across a range of federated algorithms, real world benchmarks, and heterogeneous data splits. Our experiments show that simply replacing convolutional networks with Transformers can greatly reduce catastrophic forgetting of previous devices, accelerate convergence, and reach a better global model, especially when dealing with heterogeneous data. We release our code and pretrained models at https github.com Liangqiong ViT FL main to encourage future exploration in robust architectures as an alternative to current research efforts on the optimization front.


Wake field, impedance and collective instability. The first mention of the impedance concept appeared on November 1966 in the CERN internal report "Longitudinal instability of a coasting beam above transition, due to the action of lumped discontinuities" by V.G. Vaccaro. This was the beginning of many studies, which took place over the last five decades, and today, impedances and wake fields continue to be an important field of activity, as concerns theory, simulation, bench and beam based measurements. Building a reliable impedance or wake field model of a machine is the first necessary step to be able to evaluate the machine performance limitations, identify the main contributors in case an impedance reduction is required, and study the interaction with other mechanisms such as optics nonlinearities, transverse damper, noise, space charge, electron cloud, beam beam (in a collider), etc. Beam collective instabilities, and their mitigation, cover a wide range of effects in particle accelerators and they have been the subjects of intense research. As the machines performance was pushed new mechanisms were revealed and nowadays the challenge consists in studying the interplays between all these intricate phenomena, as it is very often not possible to treat the different effects separately. With the increasing power of our computers this becomes easier but the need to continue and develop theories remains, to have a better understanding of the interplays between all these effects the subject of impedance and beam instabilities in particle accelerators is far from being exhausted, as testified by the many new instability and stabilizing mechanisms which have been recently explained or discovered. Furthermore, in the context of the studies for possible future accelerators, some uncharted territories remain such as, for instance, the collective instabilities during the necessary ionization cooling for a muon collider.


Infusing Theory into Deep Learning for Interpretable Reactivity Prediction. Despite recent advances of data acquisition and algorithms development, machine learning (ML) faces tremendous challenges to being adopted in practical catalyst design, largely due to its limited generalizability and poor explainability. Here, we develop a theory infused neural network (TinNet) approach that integrates deep learning algorithms with the well established d band theory of chemisorption for reactivity prediction of transition metal surfaces. With simple adsorbates (e.g., OH, O, and N) at active site ensembles as representative descriptor species, we demonstrate that the TinNet is on par with purely data driven ML methods in prediction performance, while being inherently interpretable. Incorporation of scientific knowledge of physical interactions into learning from data sheds further light on the nature of chemical bonding and opens up new avenues for ML discovery of novel motifs with desired catalytic properties.


Achieving Competitive Play Through Bottom Up Approach in Semantic Segmentation. With the renaissance of neural networks, object detection has slowly shifted from a bottom up recognition problem to a top down approach. Best in class algorithms enumerate a near complete list of objects and classify each into object not object. In this paper, we show that strong performance can still be achieved using a bottom up approach for vision based object recognition tasks and achieve competitive video game play. We propose PuckNet, which is used to detect four extreme points (top, left, bottom, and right most points) and one center point of objects using a fully convolutional neural network. Object detection is then a purely keypoint based appearance estimation problem, without implicit feature learning or region classification. The method proposed herein performs on par with the best in class region based detection methods, with a bounding box AP of 36.4 on COCO test dev. In addition, the extreme points estimated directly resolve into a rectangular object mask, with a COCO Mask AP of 17.6 , outperforming the Mask AP of vanilla bounding boxes. Guided segmentation of extreme points further improves this to 32.1 Mask AP. We applied the PuckNet vision system to the SuperTuxKart video game to test it's capacity to achieve competitive play in dynamic and co operative multiplayer environments.


MPU Towards Bandwidth abundant SIMT Processor via Near bank Computing. With the growing number of data intensive workloads, GPU, which is the state of the art single instruction multiple thread (SIMT) processor, is hindered by the memory bandwidth wall. To alleviate this bottleneck, previously proposed 3D stacking near bank computing accelerators benefit from abundant bank internal bandwidth by bringing computations closer to the DRAM banks. However, these accelerators are specialized for certain application domains with simple architecture data paths and customized software mapping schemes. For general purpose scenarios, lightweight hardware designs for diverse data paths, architectural supports for the SIMT programming model, and end to end software optimizations remain challenging. To address these issues, we propose MPU (Memory centric Processing Unit), the first SIMT processor based on 3D stacking near bank computing architecture. First, to realize diverse data paths with small overheads while leveraging bank level bandwidth, MPU adopts a hybrid pipeline with the capability of offloading instructions to near bank compute logic. Second, we explore two architectural supports for the SIMT programming model, including a near bank shared memory design and a multiple activated row buffers enhancement. Third, we present an end to end compilation flow for MPU to support CUDA programs. To fully utilize MPU's hybrid pipeline, we develop a backend optimization for the instruction offloading decision. The evaluation results of MPU demonstrate 3.46x speedup and 2.57x energy reduction compared with an NVIDIA Tesla V100 GPU on a set of representative data intensive workloads.


Search and Rescue in a Maze like Environment with Ant and Dijkstra Algorithms. With the growing reliability of modern Ad Hoc Networks, it is encouraging to analyze potential involvement of autonomous Ad Hoc agents in critical situations where human involvement could be perilous. One such critical scenario is the Search and Rescue effort in the event of a disaster where timely discovery and help deployment is of utmost importance. This paper demonstrates the applicability of a bio inspired technique, namely Ant Algorithms (AA), in optimizing the search time for a near optimal path to a trapped victim, followed by the application of Dijkstra's algorithm in the rescue phase. The inherent exploratory nature of AA is put to use for a faster mapping and coverage of the unknown search space. Four different AA are implemented, with different effects of the pheromone in play. An inverted AA, with repulsive pheromones, was found to be the best fit for this particular application. After considerable exploration, upon discovery of the victim, the autonomous agents further facilitate the rescue process by forming a relay network, using the already deployed resources. Hence, the paper discusses a detailed decision making model of the swarm, segmented into two primary phases, responsible for the search and rescue respectively. Different aspects of the performance of the agent swarm are analyzed, as a function of the spatial dimensions, the complexity of the search space, the deployed search group size, and the signal permeability of the obstacles in the area.


CAP Net Correspondence Aware Point view Fusion Network for 3D Shape Analysis. Learning 3D representations by fusing point cloud and multi view data has been proven to be fairly effective. While prior works typically focus on exploiting global features of the two modalities, in this paper we argue that more discriminative features can be derived by modeling "where to fuse". To investigate this, we propose a novel Correspondence Aware Point view Fusion Net (CAPNet). The core element of CAP Net is a module named Correspondence Aware Fusion (CAF) which integrates the local features of the two modalities based on their correspondence scores. We further propose to filter out correspondence scores with low values to obtain salient local correspondences, which reduces redundancy for the fusion process. In our CAP Net, we utilize the CAF modules to fuse the multi scale features of the two modalities both bidirectionally and hierarchically in order to obtain more informative features. Comprehensive evaluations on popular 3D shape benchmarks covering 3D object classification and retrieval show the superiority of the proposed framework.


Shafarevich Tate groups of holomorphic Lagrangian fibrations. Consider a Lagrangian fibration pi colon X to mathbb P n on a hyperk "ahler manifold X . There are two ways to construct a holomorphic family of deformations of pi over mathbb C . The first one is known under the name Shafarevich Tate family while the second one is the degenerate twistor family constructed by Verbitsky. We show that both families coincide. We prove that for a very general X all members of the Shafarevich Tate family are K "ahler. There is a related notion of the Shafarevich Tate group associated to a Lagrangian fibration. Its connected component of unity can be shown to be isomorphic to mathbb C Lambda where Lambda is a finitely generated subgroup of mathbb C and mathbb C is thought of as the base of the Shafarevich Tate family. We show that for a very general X , projective deformations in the Shafarevich Tate family correspond to the torsion points in the connected component of unity of the Shafarevich Tate group. A sufficient condition for a Lagrangian fibration X to be projective is existence of a holomorphic section. We find sufficient cohomological conditions for existence of a deformation in the Shafarevich Tate family that admits a section.


Bubble tree compactification of instanton moduli spaces on 4 orbifolds. In the study of moduli spaces defined by the anti self dual (ASD) Yang Mills equations on SU(2) or SO(3) bundles over closed oriented Riemannian 4 manifolds M , the bubble tree compactification was defined in T88 , F95 , C02 , C10 , F14 and F15 . The smooth orbifold structure of the bubble tree compactification away from the trivial stratum is defined in C02 and C10 . In this paper, we apply the technique to 4 orbifolds of the form M mathbb Z alpha satisfying Condition ref the assumption of group action in this thesis to get a bubble tree compactification of the instanton moduli space on this particular kind of 4 orbifolds.


Faster Math Functions, Soundly. Standard library implementations of functions like sin and exp optimize for accuracy, not speed, because they are intended for general purpose use. But applications tolerate inaccuracy from cancellation, rounding error, and singularities sometimes even very high error and many application could tolerate error in function implementations as well. This raises an intriguing possibility speeding up numerical code by tuning standard function implementations. This paper thus introduces OpTuner, an automatic method for selecting the best implementation of mathematical functions at each use site. OpTuner assembles dozens of implementations for the standard mathematical functions from across the speed accuracy spectrum. OpTuner then uses error Taylor series and integer linear programming to compute optimal assignments of function implementation to use site and presents the user with a speed accuracy Pareto curve they can use to speed up their code. In a case study on the POV Ray ray tracer, OpTuner speeds up a critical computation, leading to a whole program speedup of 9 with no change in the program output (whereas human efforts result in slower code and lower quality output). On a broader study of 37 standard benchmarks, OpTuner matches 216 implementations to 89 use sites and demonstrates speed ups of 107 for negligible decreases in accuracy and of up to 438 for error tolerant applications.


Interlacement limit of a stopped random walk trace on a torus. We consider a simple random walk on mathbb Z d started at the origin and stopped on its first exit time from ( L,L) d cap mathbb Z d . Write L in the form L m N with m m(N) and N an integer going to infinity in such a way that L 2 sim A N d for some real constant A 0 . Our main result is that for d ge 3 , the projection of the stopped trajectory to the N torus locally converges, away from the origin, to an interlacement process at level A d sigma 1 , where sigma 1 is the exit time of a Brownian motion from the unit cube ( 1,1) d that is independent of the interlacement process. The above problem is a variation on results of Windisch (2008) and Sznitman (2009).


Visual Goal Step Inference using wikiHow. Understanding what sequence of steps are needed to complete a goal can help artificial intelligence systems reason about human activities. Past work in NLP has examined the task of goal step inference for text. We introduce the visual analogue. We propose the Visual Goal Step Inference (VGSI) task, where a model is given a textual goal and must choose which of four images represents a plausible step towards that goal. With a new dataset harvested from wikiHow consisting of 772,277 images representing human actions, we show that our task is challenging for state of the art multimodal models. Moreover, the multimodal representation learned from our data can be effectively transferred to other datasets like HowTo100m, increasing the VGSI accuracy by 15 20 . Our task will facilitate multimodal reasoning about procedural events.


Universality and herd immunity threshold Revisiting the SIR model for COVID 19. COVID 19 pandemic has been raging all around the world for almost a year now, as of November 1, 2020. In this paper, we try to analyze the variation of the COVID 19 pandemic in different countries in the light of some modifications to the susceptible infected recovered (SIR) model. The SIR model was modified by taking time dependent rate parameters. From this modified SIR model, the basic reproduction number, effective reproduction number, herd immunity, and herd immunity threshold are redefined. The re outbreak of the COVID 19 is a real threat to various countries. We have used the above mentioned quantities to find the reasons behind the re outbreak of this disease. Also, the effectiveness of herd immunity to prevent an epidemic has been analyzed with respect to this model. We have also tried to show that there are certain universal aspects in the spread and containment of the disease in various countries for a short period of time. Finally, we have also analyzed the current pandemic situation in India and have attempted to discuss the possibilities in order to predict its future behaviour using our model.


Spike timing regularity in vestibular afferent neurons How ionic currents influence sensory encoding mechanisms. Primary vestibular neurons are categorized as either regularly or irregularly firing afferents that use rate and temporal sensory encoding strategies, respectively. While many factors influence firing in these neurons, recent work in mammalian vestibular afferents has demonstrated a rich diversity in ion channels that drive spiking regularity. Here, I review key ionic currents studied in vitro and demonstrate how they may enable sensory encoding strategies demonstrated in vivo.