Knowledge Graph Extraction from Videos. Nearly all existing techniques for automated video annotation (or captioning) describe videos using natural language sentences. However, this has several shortcomings (i) it is very hard to then further use the generated natural language annotations in automated data processing, (ii) generating natural language annotations requires to solve the hard subtask of generating semantically precise and syntactically correct natural language sentences, which is actually unrelated to the task of video annotation, (iii) it is difficult to quantitatively measure performance, as standard metrics (e.g., accuracy and F1 score) are inapplicable, and (iv) annotations are language specific. In this paper, we propose the new task of knowledge graph extraction from videos, i.e., producing a description in the form of a knowledge graph of the contents of a given video. Since no datasets exist for this task, we also include a method to automatically generate them, starting from datasets where videos are annotated with natural language. We then describe an initial deep learning model for knowledge graph extraction from videos, and report results on MSVD and MSR VTT , two datasets obtained from MSVD and MSR VTT using our method.


An inverse conductivity problem in multifrequency electric impedance tomography. We deal with the problem of determining the shape of an inclusion embedded in a homogenous background medium. The multifre quency electrical impedance tomography is used to image the inclusion. For different frequencies, a current is injected at the boundary and the resulting potential is measured. It turns out that the potential solves an elliptic equation in divergence form with discontinuous leading coefficient. For this inverse problem we aim to establish a logarithmic type stability estimate. The key point in our analysis consists in reducing the original problem to that of determining an unknown part of the inner boundary from a single boundary measurment. The stability estimate is then used to prove uniqueness results. We also provide an expansion of the solution of the BVP under consideration in the eigenfunction basis of the Neumann Poincar 'e operator associated to the Neumann Green function.


Initial growth rates of malware epidemics fail to predict their reach. Empirical studies show that epidemiological models based on an epidemic's initial spread rate often fail to predict the true scale of that epidemic. Most epidemics with a rapid early rise die out before affecting a significant fraction of the population, whereas the early pace of some pandemics is rather modest. Recent models suggest that this could be due to the heterogeneity of the target population's susceptibility. We study a computer malware ecosystem exhibiting spread mechanisms resembling those of biological systems while offering details unavailable for human epidemics. Rather than comparing models, we directly estimate reach from a new and vastly more complete data from a parallel domain, that offers superior details and insight as concerns biological outbreaks. We find a highly heterogeneous distribution of computer susceptibilities, with nearly all outbreaks initially over affecting the tail of the distribution, then collapsing quickly once this tail is depleted. This mechanism restricts the correlation between an epidemic's initial growth rate and its total reach, thus preventing the majority of epidemics, including initially fast growing outbreaks, from reaching a macroscopic fraction of the population. The few pervasive malwares distinguish themselves early on via the following key trait they avoid infecting the tail, while preferentially targeting computers unaffected by typical malware.


Structural Parameterizations with Modulator Oblivion. It is known that problems like Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal are polynomial time solvable in the class of chordal graphs. We consider these problems in a graph that has at most k vertices whose deletion results in a chordal graph, when parameterized by k . While this investigation fits naturally into the recent trend of what are called structural parameterizations', here we assume that the deletion set is not given. One method to solve them is to compute a k sized or an approximate ( f(k) sized, for a function f ) chordal vertex deletion set and then use the structural properties of the graph to design an algorithm. This method leads to at least k mathcal O (k) n mathcal O (1) running time when we use the known parameterized or approximation algorithms for finding a k sized chordal deletion set on an n vertex graph. In this work, we design 2 mathcal O (k) n mathcal O (1) time algorithms for these problems. Our algorithms do not compute a chordal vertex deletion set (or even an approximate solution). Instead, we construct a tree decomposition of the given graph in time 2 mathcal O (k) n mathcal O (1) where each bag is a union of four cliques and mathcal O (k) vertices. We then apply standard dynamic programming algorithms over this special tree decomposition. This special tree decomposition can be of independent interest. Our algorithms are adaptive (robust) in the sense that given an integer k , they detect whether the graph has a chordal vertex deletion set of size at most k or output the special tree decomposition and solve the problem. We also show lower bounds for the problems we deal with under the Strong Exponential Time Hypothesis (SETH).


Biometric Identification Systems With Noisy Enrollment for Gaussian Source. In the present paper, we investigate the fundamental trade off of identification, secrecy, storage, and privacy leakage rates in biometric identification systems for hidden or remote Gaussian sources. We introduce a technique for deriving the capacity region of these rates by converting the system to one where the data flow is in one way direction. Also, we provide numerical calculations of three different examples for the generated secret model. The numerical results imply that it seems hard to achieve both high secrecy and small privacy leakage rates simultaneously. In addition, as special cases, the characterization coincides with several known results in previous studies.


The reciprocal sum of divisors of Mersenne numbers. We investigate various questions concerning the reciprocal sum of divisors, or prime divisors, of the Mersenne numbers 2 n 1 . Conditional on the Elliott Halberstam Conjecture and the Generalized Riemann Hypothesis, we determine max n le x sum p mid 2 n 1 1 p to within o(1) and max n le x sum d mid 2 n 1 1 d to within a factor of 1 o(1) , as x to infty . This refines, conditionally, earlier estimates of Erd H o s and Erd H o s Kiss Pomerance. Conditionally (only) on GRH, we also determine sum 1 d to within a factor of 1 o(1) where d runs over all numbers dividing 2 n 1 for some n le x . This conditionally confirms a conjecture of Pomerance and answers a question of Murty Rosen Silverman. Finally, we show that both sum p mid 2 n 1 1 p and sum d mid 2 n 1 1 d admit continuous distribution functions in the sense of probabilistic number theory.


Field typing for improved recognition on heterogeneous handwritten forms. Offline handwriting recognition has undergone continuous progress over the past decades. However, existing methods are typically benchmarked on free form text datasets that are biased towards good quality images and handwriting styles, and homogeneous content. In this paper, we show that state of the art algorithms, employing long short term memory (LSTM) layers, do not readily generalize to real world structured documents, such as forms, due to their highly heterogeneous and out of vocabulary content, and to the inherent ambiguities of this content. To address this, we propose to leverage the content type within an LSTM based architecture. Furthermore, we introduce a procedure to generate synthetic data to train this architecture without requiring expensive manual annotations. We demonstrate the effectiveness of our approach at transcribing text on a challenging, real world dataset of European Accident Statements.


Gearhart Koshy Acceleration for Affine Subspaces. The method of cyclic projections finds nearest points in the intersection of finitely many affine subspaces. To accelerate convergence, Gearhart and Koshy proposed a modification which, in each iteration, performs an exact line search based on minimising the distance to the solution. When the subspaces are linear, the procedure can be made explicit using feasibility of the zero vector. This work studies an alternative approach which does not rely on this fact, thus providing an efficient implementation in the affine setting.


KRISP Integrating Implicit and Symbolic Knowledge for Open Domain Knowledge Based VQA. One of the most challenging question types in VQA is when answering the question requires outside knowledge not present in the image. In this work we study open domain knowledge, the setting when the knowledge required to answer a question is not given annotated, neither at training nor test time. We tap into two types of knowledge representations and reasoning. First, implicit knowledge which can be learned effectively from unsupervised language pre training and supervised training data with transformer based models. Second, explicit, symbolic knowledge encoded in knowledge bases. Our approach combines both exploiting the powerful implicit reasoning of transformer models for answer prediction, and integrating symbolic representations from a knowledge graph, while never losing their explicit semantics to an implicit embedding. We combine diverse sources of knowledge to cover the wide variety of knowledge needed to solve knowledge based questions. We show our approach, KRISP (Knowledge Reasoning with Implicit and Symbolic rePresentations), significantly outperforms state of the art on OK VQA, the largest available dataset for open domain knowledge based VQA. We show with extensive ablations that while our model successfully exploits implicit knowledge reasoning, the symbolic answer module which explicitly connects the knowledge graph to the answer vocabulary is critical to the performance of our method and generalizes to rare answers.


On the modified ideal sheaf. It is a sequel to (Wu in arXiv 2003.05187). In that paper, we introduce a notion called modified ideal sheaf in order to make an asymptotic estimate for the order of the cohomology group. Here we continue to a general discussion about this notion. As an application, we study the direct images associated with a pseudo effective line bundle.


The Singular Ideal and the Socle of Incidence Algebras. Let R be a ring with identity and I(X,R) be the incidence algebra of a locally finite partially ordered set X over R. In this paper, we compute the socle and the singular ideal of the incidence ring for some X in terms of the socle of R and the singular ideal of R , respectively.


Global Unifying Intrinsic Calibration for Spinning and Solid State LiDARs. Sensor calibration, which can be intrinsic or extrinsic, is an essential step to achieve the measurement accuracy required for modern perception and navigation systems deployed on autonomous robots. To date, intrinsic calibration models for spinning LiDARs have been based on hypothesized based on their physical mechanisms, resulting in anywhere from three to ten parameters to be estimated from data, while no phenomenological models have yet been proposed for solid state LiDARs. Instead of going down that road, we propose to abstract away from the physics of a LiDAR type (spinning vs solid state, for example), and focus on the spatial geometry of the point cloud generated by the sensor. By modeling the calibration parameters as an element of a special matrix Lie Group, we achieve a unifying view of calibration for different types of LiDARs. We further prove mathematically that the proposed model is well constrained (has a unique answer) given four appropriately orientated targets. The proof provides a guideline for target positioning in the form of a tetrahedron. Moreover, an existing Semidefinite programming global solver for SE(3) can be modified to compute efficiently the optimal calibration parameters. For solid state LiDARs, we illustrate how the method works in simulation. For spinning LiDARs, we show with experimental data that the proposed matrix Lie Group model performs equally well as physics based models in terms of reducing the P2P distance, while being more robust to noise.


Long run risk sensitive dyadic impulse control. In this paper long run risk sensitive optimisation problem is studied with dyadic impulse control applied to continuous time Feller Markov process. In contrast to the existing literature, focus is put on unbounded and non uniformly ergodic case by adapting the weight norm approach. In particular, it is shown how to combine geometric drift with local minorisation property in order to extend local span contraction approach when the process as well as the linked reward cost functions are unbounded. For any predefined risk aversion parameter, the existence of solution to suitable Bellman equation is shown and linked to the underlying stochastic control problem. For completeness, examples of uncontrolled processes that satisfy the geometric drift assumption are provided.


Mechanisms for QoE optimisation of Video Traffic A review paper. Transmission of video traffic over the Internet has grown exponentially in the past few years with no sign of waning. This increasing demand for video services has changed user expectation of quality. Various mechanisms have been proposed to optimise the Quality of Experience (QoE) of end users video. Studying these approaches are necessary for new methods to be proposed or combination of existing ones to be tailored. We discuss challenges facing the optimisation of QoE for video traffic in this paper. It surveys and classifies these mechanisms based on their functions. The limitation of each of them is identified and future directions are highlighted.


Generators of the plane Cremona group over the field with two elements. The plane Cremona group over the finite field mathbb F 2 is generated by three infinite families and finitely many birational maps with small base orbits. One family preserves the pencil of lines through a point, the other two preserve the pencil of conics through four points that form either one Galois orbit of size 4, or two Galois orbits of size 2. For each family, we give a generating set that is parametrized by the rational functions over mathbb F 2 . Moreover, we describe the finitely many remaining maps and give an upper bound on the number needed to generate the Cremona group. Finally, we prove that the plane Cremona group over mathbb F 2 is generated by involutions.


CodeBERT A Pre Trained Model for Programming and Natural Languages. We present CodeBERT, a bimodal pre trained model for programming language (PL) and nat ural language (NL). CodeBERT learns general purpose representations that support downstream NL PL applications such as natural language codesearch, code documentation generation, etc. We develop CodeBERT with Transformer based neural architecture, and train it with a hybrid objective function that incorporates the pre training task of replaced token detection, which is to detect plausible alternatives sampled from generators. This enables us to utilize both bimodal data of NL PL pairs and unimodal data, where the former provides input tokens for model training while the latter helps to learn better generators. We evaluate CodeBERT on two NL PL applications by fine tuning model parameters. Results show that CodeBERT achieves state of the art performance on both natural language code search and code documentation generation tasks. Furthermore, to investigate what type of knowledge is learned in CodeBERT, we construct a dataset for NL PL probing, and evaluate in a zero shot setting where parameters of pre trained models are fixed. Results show that CodeBERT performs better than previous pre trained models on NL PL probing.


Monocular Human Pose and Shape Reconstruction using Part Differentiable Rendering. Superior human pose and shape reconstruction from monocular images depends on removing the ambiguities caused by occlusions and shape variance. Recent works succeed in regression based methods which estimate parametric models directly through a deep neural network supervised by 3D ground truth. However, 3D ground truth is neither in abundance nor can efficiently be obtained. In this paper, we introduce body part segmentation as critical supervision. Part segmentation not only indicates the shape of each body part but helps to infer the occlusions among parts as well. To improve the reconstruction with part segmentation, we propose a part level differentiable renderer that enables part based models to be supervised by part segmentation in neural networks or optimization loops. We also introduce a general parametric model engaged in the rendering pipeline as an intermediate representation between skeletons and detailed shapes, which consists of primitive geometries for better interpretability. The proposed approach combines parameter regression, body model optimization, and detailed model registration altogether. Experimental results demonstrate that the proposed method achieves balanced evaluation on pose and shape, and outperforms the state of the art approaches on Human3.6M, UP 3D and LSP datasets.


Graph product structure for non minor closed classes. Dujmovi 'c et al. emph J. ACM '20 recently proved that every planar graph is isomorphic to a subgraph of the strong product of a bounded treewidth graph and a path. Analogous results were obtained for graphs of bounded Euler genus or apex minor free graphs. These tools have been used to solve longstanding problems on queue layouts, non repetitive colouring, p centered colouring, and adjacency labelling. This paper proves analogous product structure theorems for various non minor closed classes. One noteable example is k planar graphs (those with a drawing in the plane in which each edge is involved in at most k crossings). We prove that every k planar graph is isomorphic to a subgraph of the strong product of a graph of treewidth O(k 5) and a path. This is the first result of this type for a non minor closed class of graphs. It implies, amongst other results, that k planar graphs have non repetitive chromatic number upper bounded by a function of k . All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a more general setting based on so called shortcut systems, which are of independent interest. This leads to analogous results for certain types of map graphs, string graphs, graph powers, and nearest neighbour graphs.


Some combinatorial properties of Ultimate L and V. This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's hypothesized Ultimate (L ), providing some evidence for the Ultimate (L ) Conjecture. We show that every regular cardinal above the first strongly compact that carries an indecomposable ultrafilter is measurable, answering a question of Silver for large enough cardinals. We show that any successor almost strongly compact cardinal of uncountable cofinality is strongly compact, making progress on a question of Boney, Unger, and Brooke Taylor. We show that if there is a proper class of strongly compact cardinals then there is no nontrivial cardinal preserving elementary embedding from the universe of sets into an inner model, answering a question of Caicedo granting large cardinals. Finally, we show that if ( kappa ) is strongly compact, then (V ) is a set forcing extension of the inner model ( kappa text HOD ) consisting of sets that are hereditarily ordinal definable from a ( kappa ) complete ultrafilter over an ordinal ( kappa text HOD ) seems to be the first nontrivial example of a ground of (V ) whose definition does not involve forcing.


Enhanced Meta Learning for Cross lingual Named Entity Recognition with Minimal Resources. For languages with no annotated resources, transferring knowledge from rich resource languages is an effective solution for named entity recognition (NER). While all existing methods directly transfer from source learned model to a target language, in this paper, we propose to fine tune the learned model with a few similar examples given a test case, which could benefit the prediction by leveraging the structural and semantic information conveyed in such similar examples. To this end, we present a meta learning algorithm to find a good model parameter initialization that could fast adapt to the given test case and propose to construct multiple pseudo NER tasks for meta training by computing sentence similarities. To further improve the model's generalization ability across different languages, we introduce a masking scheme and augment the loss function with an additional maximum term during meta training. We conduct extensive experiments on cross lingual named entity recognition with minimal resources over five target languages. The results show that our approach significantly outperforms existing state of the art methods across the board.


Propagating geometry information to finite element computations. The traditional workflow in continuum mechanics simulations is that a geometry description for example obtained using Constructive Solid Geometry or Computer Aided Design tools forms the input for a mesh generator. The mesh is then used as the sole input for the finite element, finite volume, and finite difference solver, which at this point no longer has access to the original, "underlying" geometry. However, many modern techniques for example, adaptive mesh refinement and the use of higher order geometry approximation methods really do need information about the underlying geometry to realize their full potential. We have undertaken an exhaustive study of where typical finite element codes use geometry information, with the goal of determining what information geometry tools would have to provide. Our study shows that nearly all geometry related needs inside the simulators can be satisfied by just two "primitives" elementary queries posed by the simulation software to the geometry description. We then show that it is possible to provide these primitives in all of the frequently used ways in which geometries are described in common industrial workflows, and illustrate our solutions using a number of examples.


On the Ethereum Blockchain Structure a Complex Networks Theory Perspective. In this paper, we analyze the Ethereum blockchain using the complex networks modeling framework. Accounts acting on the blockchain are represented as nodes, while the interactions among these accounts, recorded on the blockchain, are treated as links in the network. Using this representation, it is possible to derive interesting mathematical characteristics that improve the understanding of the actual interactions happening in the blockchain. Not only, by looking at the history of the blockchain, it is possible to verify if radical changes in the blockchain evolution happened.


Hope Speech Detection A Computational Analysis of the Voice of Peace. The recent Pulwama terror attack (February 14, 2019, Pulwama, Kashmir) triggered a chain of escalating events between India and Pakistan adding another episode to their 70 year old dispute over Kashmir. The present era of ubiquitious social media has never seen nuclear powers closer to war. In this paper, we analyze this evolving international crisis via a substantial corpus constructed using comments on YouTube videos (921,235 English comments posted by 392,460 users out of 2.04 million overall comments by 791,289 users on 2,890 videos). Our main contributions in the paper are three fold. First, we present an observation that polyglot word embeddings reveal precise and accurate language clusters, and subsequently construct a document language identification technique with negligible annotation requirements. We demonstrate the viability and utility across a variety of data sets involving several low resource languages. Second, we present an analysis on temporal trends of pro peace and pro war intent observing that when tensions between the two nations were at their peak, pro peace intent in the corpus was at its highest point. Finally, in the context of heated discussions in a politically tense situation where two nations are at the brink of a full fledged war, we argue the importance of automatic identification of user generated web content that can diffuse hostility and address this prediction task, dubbed emph hope speech detection .


MFFW A new dataset for multi focus image fusion. Multi focus image fusion (MFF) is a fundamental task in the field of computational photography. Current methods have achieved significant performance improvement. It is found that current methods are evaluated on simulated image sets or Lytro dataset. Recently, a growing number of researchers pay attention to defocus spread effect, a phenomenon of real world multi focus images. Nonetheless, defocus spread effect is not obvious in simulated or Lytro datasets, where popular methods perform very similar. To compare their performance on images with defocus spread effect, this paper constructs a new dataset called MFF in the wild (MFFW). It contains 19 pairs of multi focus images collected on the Internet. We register all pairs of source images, and provide focus maps and reference images for part of pairs. Compared with Lytro dataset, images in MFFW significantly suffer from defocus spread effect. In addition, the scenes of MFFW are more complex. The experiments demonstrate that most state of the art methods on MFFW dataset cannot robustly generate satisfactory fusion images. MFFW can be a new baseline dataset to test whether an MMF algorithm is able to deal with defocus spread effect.


A Two Level Parameterized Model Order Reduction Approach for Time Domain Elastodynamics. We present a two level parameterized Model Order Reduction (pMOR) technique for the linear hyperbolic Partial Differential Equation (PDE) of time domain elastodynamics. In order to approximate the frequency domain PDE, we take advantage of the Port Reduced Reduced Basis Component (PR RBC) method to develop (in the offline stage) reduced bases for subdomains the latter are then assembled (in the online stage) to form the global domains of interest. The PR RBC approach reduces the effective dimensionality of the parameter space and also provides flexibility in topology and geometry. In the online stage, for each query, we consider a given parameter value and associated global domain. In the first level of reduction, the PR RBC reduced bases are used to approximate the frequency domain solution at selected frequencies. In the second level of reduction, these instantiated PR RBC approximations are used as surrogate truth solutions in a Strong Greedy approach to identify a reduced basis space the PDE of time domain elastodynamics is then projected on this reduced space. We provide a numerical example to demonstrate the computational capability and assess the performance of the proposed two level approach.


PMGT VR A decentralized proximal gradient algorithmic framework with variance reduction. This paper considers the decentralized composite optimization problem. We propose a novel decentralized variance reduction proximal gradient algorithmic framework, called PMGT VR, which is based on a combination of several techniques including multi consensus, gradient tracking, and variance reduction. The proposed framework relies on an imitation of centralized algorithms and we demonstrate that algorithms under this framework achieve convergence rates similar to that of their centralized counterparts. We also describe and analyze two representative algorithms, PMGT SAGA and PMGT LSVRG, and compare them to existing state of the art proximal algorithms. To the best of our knowledge, PMGT VR is the first linearly convergent decentralized stochastic algorithm that can solve decentralized composite optimization problems. Numerical experiments are provided to demonstrate the effectiveness of the proposed algorithms.


Kafka ML connecting the data stream with ML AI frameworks. Machine Learning (ML) and Artificial Intelligence (AI) have a dependency on data sources to train, improve and make predictions through their algorithms. With the digital revolution and current paradigms like the Internet of Things, this information is turning from static data into continuous data streams. However, most of the ML AI frameworks used nowadays are not fully prepared for this revolution. In this paper, we proposed Kafka ML, an open source framework that enables the management of TensorFlow ML AI pipelines through data streams (Apache Kafka). Kafka ML provides an accessible and user friendly Web User Interface where users can easily define ML models, to then train, evaluate and deploy them for inference. Kafka ML itself and its deployed components are fully managed through containerization technologies, which ensure its portability and easy distribution and other features such as fault tolerance and high availability. Finally, a novel approach has been introduced to manage and reuse data streams, which may lead to the (no) utilization of data storage and file systems.


Toward Learning a Unified Many to Many Mapping for Diverse Image Translation. Image to image translation, which translates input images to a different domain with a learned one to one mapping, has achieved impressive success in recent years. The success of translation mainly relies on the network architecture to reserve the structural information while modify the appearance slightly at the pixel level through adversarial training. Although these networks are able to learn the mapping, the translated images are predictable without exclusion. It is more desirable to diversify them using image to image translation by introducing uncertainties, i.e., the generated images hold potential for variations in colors and textures in addition to the general similarity to the input images, and this happens in both the target and source domains. To this end, we propose a novel generative adversarial network (GAN) based model, InjectionGAN, to learn a many to many mapping. In this model, the input image is combined with latent variables, which comprise of domain specific attribute and unspecific random variations. The domain specific attribute indicates the target domain of the translation, while the unspecific random variations introduce uncertainty into the model. A unified framework is proposed to regroup these two parts and obtain diverse generations in each domain. Extensive experiments demonstrate that the diverse generations have high quality for the challenging image to image translation tasks where no pairing information of the training dataset exits. Both quantitative and qualitative results prove the superior performance of InjectionGAN over the state of the art approaches.


Campus Wi Fi Coverage Mapping and Analysis. Wireless Local Area Networks (WLANs), known as Wi Fi, have become an essential service in university environments that helps staff, students and guests to access connectivity to the Internet from their mobile devices. Apart from the Internet being a learning resource, students also submit their assignments online using web portals. Most campuses will have poor coverage areas for mobile networks and, as a result, the ability of the wireless network to supplement Internet access for mobile devices in these areas becomes more important. Acquiring clear understanding of WLAN traffic patterns, network handover between access points and inter network handover between the Wi Fi and mobile networks, the optimal placement of networking equipment will help deliver a better wireless service. This paper presents data analyses and Wi Fi signal coverage maps obtained by performing wireless radio surveys, coverage predictions and statistical analysis of data from the existing access points to show the current Wi Fi performance in several locations of a large university campus. It them makes recommendations that should improve performance. These recommendations are derived from AP performance testing and made in the context of cabling length limitations and physical and aesthetic placement restrictions that are present at each location.


Broadband ultra thin acoustic metasurface absorber. We theoretically and experimentally propose two designs of broadband low frequency acoustic metasurface absorbers (Sample I Sample II) for the frequency ranges of 458Hz 968Hz and 231Hz 491Hz (larger than 1 octave), with absorption larger than 0.8, and having the ultra thin thickness of 5.2cm and 10.4cm respectively ( lambda 15 for the lowest working frequency and lambda 7.5 for the highest frequency). The designed supercell consists of 16 different unit cells corresponding to 16 eigen frequencies for resonant absorptions. The coupling of multiple resonances leads to broadband absorption effect in the full range of the targeted frequency spectrum. In particular, we propose to combine gradient change channel and coiled structure to achieve simultaneous impedance matching and minimal occupied space, leading to the ultra thin thickness of the metasurface absorbers. Our conceived ultra thin low frequency broadband absorbers may lead to pragmatic implementations and applications in noise control field.


Corpus and Models for Lemmatisation and POS tagging of Classical French Theatre. This paper describes the process of building an annotated corpus and training models for classical French literature, with a focus on theatre, and particularly comedies in verse. It was originally developed as a preliminary step to the stylometric analyses presented in Cafiero and Camps 2019 . The use of a recent lemmatiser based on neural networks and a CRF tagger allows to achieve accuracies beyond the current state of the art on the in domain test, and proves to be robust during out of domain tests, i.e.up to 20th c.novels.


Vulnerability Coverage for Secure Configuration. We present a novel idea on adequacy testing called vulnerability coverage .'' The introduced coverage measure examines the underlying software for the presence of certain classes of vulnerabilities often found in the National Vulnerability Database (NVD) website. The thoroughness of the test input generation procedure is performed through the adaptation of evolutionary algorithms namely Genetic Algorithms (GA) and Particle Swarm Optimization (PSO). The methodology utilizes the Common Vulnerability Scoring System (CVSS), a free and open industry standard for assessing the severity of computer system security vulnerabilities, as a fitness measure for test inputs generation. The outcomes of these evolutionary algorithms are then evaluated in order to identify the vulnerabilities that match a class of vulnerability patterns for testing purposes.


Propeller Tip Vortex Mitigation By Roughness Application. In this study, the application of surface roughness on model and full scale marine propellers in order to mitigate tip vortex cavitation is evaluated. To model the turbulence, SST kOmegamodel along with a curvature correction is employed to simulate the flow on an appropriate grid resolution for tip vortex propagation, at least 32 cells per vortex diameter according to our previous guidelines. The effect of roughness is modeled by modified wall functions. The analysis focuses on two types of vortices appearing on marine propellers tip vortices developing in lower advance ratio numbers and leading edge tip vortices developing in higher advance ratio numbers. It is shown that as the origin and formation of these two types of vortices differ, different roughness patterns are needed to mitigate them with respect to performance degradation of propeller performance. Our findings clarify that the combination of having roughness on the blade tip and a limited area on the leading edge is the optimum roughness pattern where a reasonable balance between tip vortex cavitation mitigation and performance degradation can be achieved. This pattern in model scale condition leads to an average TVC mitigation of 37 with an average performance degradation of 1.8 while in full scale condition an average TVC mitigation of 22 and performance degradation of 1.4 are obtained.


Marginal loss and exclusion loss for partially supervised multi organ segmentation. Annotating multiple organs in medical images is both costly and time consuming therefore, existing multi organ datasets with labels are often low in sample size and mostly partially labeled, that is, a dataset has a few organs labeled but not all organs. In this paper, we investigate how to learn a single multi organ segmentation network from a union of such datasets. To this end, we propose two types of novel loss function, particularly designed for this scenario (i) marginal loss and (ii) exclusion loss. Because the background label for a partially labeled image is, in fact, a merged' label of all unlabelled organs and true' background (in the sense of full labels), the probability of this merged' background label is a marginal probability, summing the relevant probabilities before merging. This marginal probability can be plugged into any existing loss function (such as cross entropy loss, Dice loss, etc.) to form a marginal loss. Leveraging the fact that the organs are non overlapping, we propose the exclusion loss to gauge the dissimilarity between labeled organs and the estimated segmentation of unlabelled organs. Experiments on a union of five benchmark datasets in multi organ segmentation of liver, spleen, left and right kidneys, and pancreas demonstrate that using our newly proposed loss functions brings a conspicuous performance improvement for state of the art methods without introducing any extra computation.


ZKPs Does This Make The Cut? Recent Advances and Success of Zero Knowledge Security Protocols. How someone can get health insurance without sharing his health information? How you can get a loan without disclosing your credit score? There is a method to certify certain attributes of various data, either this is health metrics or finance information, without revealing the data itself or any other kind of personal data. This method is known as zero knowledge proofs. Zero Knowledge techniques are mathematical methods used to verify things without sharing or revealing underlying data. Zero Knowledge protocols have vast applications from simple identity schemes and blockchains to defense research programs and nuclear arms control


A more Pragmatic Implementation of the Lock free, Ordered, Linked List. The lock free, ordered, linked list is an important, standard example of a concurrent data structure. An obvious, practical drawback of textbook implementations is that failed compare and swap (CAS) operations lead to retraversal of the entire list (retries), which is particularly harmful for such a linear time data structure. We alleviate this drawback by first observing that failed CAS operations under some conditions do not require a full retry, and second by maintaining approximate backwards pointers that are used to find a closer starting position in the list for operation retry. Experiments with both a worst case deterministic benchmark, and a standard, randomized, mixed operation throughput benchmark on three shared memory systems (Intel Xeon, AMD EPYC, SPARC T5) show practical improvements ranging from significant, to dramatic, several orders of magnitude.


The attoclock and the tunnelling time debate. Attosecond angular streaking, also known as the "attoclock", employs a short elliptically polarized laser pulse to tunnel ionize an electron from an atom or a molecule and to put a time stamp on this process by deflecting the photoelectron in the angular spatial direction. This deflection can be used to evaluate the time the tunneling electron spends under the classically inaccessible barrier and to determine whether this time is finite. In this review, we examine the latest experimental and theoretical findings and present a comprehensive set of evidence supporting the zero tunneling time scenario.


Dynamic Graph Operations A Consistent Non blocking Approach. Graph algorithms enormously contribute to the domains such as blockchains, social networks, biological networks, telecommunication networks, and several others. The ever increasing demand of data volume, as well as speed of such applications, have essentially transported these applications from their comfort zone static setting, to a challenging territory of dynamic updates. At the same time, mainstreaming of multi core processors have entailed that the dynamic applications should be able to exploit concurrency as soon as parallelization gets inhibited. Thus, the design and implementation of efficient concurrent dynamic graph algorithms have become significant. This paper reports a novel library of concurrent shared memory algorithms for breadth first search (BFS), single source shortest path (SSSP), and betweenness centrality (BC) in a dynamic graph. The presented algorithms are provably non blocking and linearizable. We extensively evaluate C implementations of the algorithms through several micro benchmarks. The experimental results demonstrate the scalability with the number of threads. Our experiments also highlight the limitations of static graph analytics methods in a dynamic setting.


An End to End Learning Approach for Trajectory Prediction in Pedestrian Zones. This paper aims to explore the problem of trajectory prediction in heterogeneous pedestrian zones, where social dynamics representation is a big challenge. Proposed is an end to end learning framework for prediction accuracy improvement based on an attention mechanism to learn social interaction from multi factor inputs.


Adaptively Denoising Proposal Collection for Weakly Supervised Object Localization. In this paper, we address the problem of weakly supervised object localization (WSL), which trains a detection network on the dataset with only image level annotations. The proposed approach is built on the observation that the proposal set from the training dataset is a collection of background, object parts, and objects. Several strategies are taken to adaptively eliminate the noisy proposals and generate pseudo object level annotations for the weakly labeled dataset. A multiple instance learning (MIL) algorithm enhanced by mask out strategy is adopted to collect the class specific object proposals, which are then utilized to adapt a pre trained classification network to a detection network. In addition, the detection results from the detection network are re weighted by jointly considering the detection scores and the overlap ratio of proposals in a proposal subset optimization framework. The optimal proposals work as object level labels that enable a pseudo strongly supervised dataset for training the detection network. Consequently, we establish a fully adaptive detection network. Extensive evaluations on the PASCAL VOC 2007 and 2012 datasets demonstrate a significant improvement compared with the state of the art methods.


Homotopies and transcendental extensions in colouring problems. We develop the technique of geometric realizations with algebraically independent (over the field of real algebraic numbers) coordinates of vertices and combine it with the oriented volume method inspired by work of McLennan and Tourky on the Sperner's lemma. This enables us to prove new results the non draw property of the generalized Y game, the theorem about triangulation of the product of two simplices, the generalized Atanassov conjecture, and give new proofs of known results the multilabeled versions of Sperner's and Ky Fan's lemmas.


Branching stochastic processes as models of Covid 19 epidemic development. The aim of the paper is to describe two models of Covid 19 infection dynamics. For this purpose a special class of branching processes with two types of individuals is considered. These models are intended to use only the observed daily statistics to estimate the main parameter of the infection and to give a prediction of the mean value of the non observed population of the infected individuals. Similar problems are considered also in the case when the processes admit an immigration component. This is a serious advantage in comparison with other more complicated models where the officially reported data are not sufficient for estimation of the model parameters. In this way the specific development of the Covid 19 epidemics is considered also for all countries as it is given in the specially created site http ir statistics.net covid 19 where the obtained results are updated daily.


On the weight distribution of some minimal codes. Minimal codes are a class of linear codes which gained interest in the last years, thanks to their connections to secret sharing schemes. In this paper we provide the weight distribution and the parameters of families of minimal codes recently introduced by C. Tang, Y. Qiu, Q. Liao, Z. Zhou, answering some open questions.


Gate Shift Networks for Video Action Recognition. Deep 3D CNNs for video action recognition are designed to learn powerful representations in the joint spatio temporal feature space. In practice however, because of the large number of parameters and computations involved, they may under perform in the lack of sufficiently large datasets for training them at scale. In this paper we introduce spatial gating in spatial temporal decomposition of 3D kernels. We implement this concept with Gate Shift Module (GSM). GSM is lightweight and turns a 2D CNN into a highly efficient spatio temporal feature extractor. With GSM plugged in, a 2D CNN learns to adaptively route features through time and combine them, at almost no additional parameters and computational overhead. We perform an extensive evaluation of the proposed module to study its effectiveness in video action recognition, achieving state of the art results on Something Something V1 and Diving48 datasets, and obtaining competitive results on EPIC Kitchens with far less model complexity.


A p adic monodromy theorem for de Rham local systems. We study horizontal semistable and horizontal de Rham representations of the absolute Galois group of a certain smooth affinoid over a p adic field. In particular, we prove that a horizontal de Rham representation becomes horizontal semistable after a finite extension of the base field. As an application, we show that every de Rham local system on a smooth rigid analytic variety becomes horizontal semistable etale locally around every classical point. We also discuss potentially crystalline loci of de Rham local systems and cohomologically potentially good reduction loci of smooth proper morphisms.


Finite Time Analysis of Asynchronous Stochastic Approximation and Q Learning. We consider a general asynchronous Stochastic Approximation (SA) scheme featuring a weighted infinity norm contractive operator, and prove a bound on its finite time convergence rate on a single trajectory. Additionally, we specialize the result to asynchronous Q learning. The resulting bound matches the sharpest available bound for synchronous Q learning, and improves over previous known bounds for asynchronous Q learning.


Functional Magnetic Resonance Spectroscopy in the mouse. Functional magnetic resonance spectroscopy (fMRS) quantifies metabolic variations upon presentation of a stimulus and can therefore provide complementary information compared to functional magnetic resonance imaging (fMRI). However, to our knowledge, fMRS has not yet been performed in the mouse, despite that murine models are crucial for basic and applied research. Here, we performed fMRS experiments in the mouse, for the first time, and show the feasibility of such an approach for reliably quantifying metabolic variations. In particular, we observed metabolic variations in the superior colliculus of mice upon visual stimulation in a block paradigm commonly used for fMRI (short periods of stimulus), followed by a recovery period. We notably report a robust modulation of glutamate, as well as a modulation of NAAG, PCr and Cr. A control experiment with no stimulation reveals potential metabolic signal "drifts" that are not correlated with the functional activity, which should be taken into account when analyzing fMRS data in general. Our findings are promising for future applications of fMRS in the mouse.


Small bandwidth mathbb C actions and birational geometry. In this paper we study smooth projective varieties and polarized pairs with an action of a one dimensional complex torus. As a main tool, we define birational geometric counterparts of these actions, that, under certain assumptions, encode the information necessary to reconstruct them. In particular, we consider some cases of actions of low complexity measured in terms of two invariants of the action, called bandwidth and bordism rank and discuss how they are determined by well known birational transformations, namely Atiyah flips and Cremona transformations.


Analysis of D2D Communication with RF Energy Harvesting and Interference Management. Device to device (D2D) underlaid cellular network, enabled with radio frequency energy harvesting (RFEH), and enhanced interference management schemes is a promising candidate to improve spectral and energy efficiency of next generation wireless networks. In this paper, we propose a time division duplexing (TDD) based protocol, in which allows the devices to harvest energy from the downlink transmissions of the base station, while controlling the interference among D2D and cellular communication in the uplink. We propose two schemes for transmission coordination, based on fixed transmission probability (FTP) and adaptive transmission probability (ATP), respectively. In FTP, the D2D transmitters that have harvested enough energy can initiate data transmission with a fixed probability. Differently from this, in ATP a device utilizes its sensing capability to get improved coordination and interference control among the transmitting devices. We evaluate the network performance by presenting an accurate energy model and leveraging tools from stochastic geometry. The results on outage probability and D2D sum rate reveal the importance of transmission coordination on network performance. These observations led to a solution for choosing the parameters of the ATP scheme that achieves an optimal tradeoff between the D2D outage probability and number of transmitting users.


Greedy Motzkin Kaczmarz methods for solving linear systems. The famous greedy randomized Kaczmarz (GRK) method uses the greedy selection rule on maximum distance to determine a subset of the indices of working rows. In this paper, with the greedy selection rule on maximum residual, we propose the greedy randomized Motzkin Kaczmarz (GRMK) method for linear systems. The block version of the new method is also presented. We analyze the convergence of the two methods and provide the corresponding convergence factors. Extensive numerical experiments show that the GRMK method has almost the same performance as the GRK method for dense matrices and the former performs better in computing time for some sparse matrices, and the block versions of the GRMK and GRK methods always have almost the same performance.


Weakly associative algebras, Poisson algebras and quantization. We introduce the notion of weakly associative algebra and its relations with the notion of nonassociative Poisson algebras.


A Survey of Automatic Generation of Source Code Comments Algorithms and Techniques. As an integral part of source code files, code comments help improve program readability and comprehension. However, developers sometimes do not comment on their program code adequately due to the incurred extra efforts, lack of relevant knowledge, unawareness of the importance of code commenting or some other factors. As a result, code comments can be inadequate, absent or even mismatched with source code, which affects the understanding, reusing and the maintenance of software. To solve these problems of code comments, researchers have been concerned with generating code comments automatically. In this work, we aim at conducting a survey of automatic code commenting researches. First, we generally analyze the challenges and research framework of automatic generation of program comments. Second, we present the classification of representative algorithms, the design principles, strengths and weaknesses of each category of algorithms. Meanwhile, we also provide an overview of the quality assessment of the generated comments. Finally, we summarize some future directions for advancing the techniques of automatic generation of code comments and the quality assessment of comments.


Thinking Inside the Box An Advection Diffusion Model of Animal Movement in an Enclosed Region. We develop simple diffusion advection models to estimate the average time it takes fish to reach one of the boundaries of an enclosure and the population distribution over time moving in the enclosure (such as a lake or slough). We start with a combination of random walks and directed movement and then, from these, proceeding to the associated Partial Differential Equations and their solution. We also find the evolution of the population distribution and communities composition over time moving in the enclosure. Although this model was developed with fish movements in mind it has wide ranging applicability scaling from the molecular to human and action from inert to deliberate.


Variational attraction of the KAM torus for the conformally symplectic system. For the conformally symplectic system left begin aligned dot q H p(q,p), quad(q,p) in T mathbb T n dot p H q(q,p) lambda p, quad lambda 0 end aligned right. with a positive definite Hamiltonian, we discuss the variational significance of invariant Lagrangian graphs and explain how the KAM torus impacts the W 1, infty convergence speed of the Lax Oleinik semigroup.


Logically consistent hypothesis testing in the hexagon of oppositions. Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. In order to address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This paper characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations.


Circuit algebras are wheeled props. Circuit algebras, introduced by Bar Natan and the first author, are a generalization of Jones's planar algebras, in which one drops the planarity condition on "connection diagrams". They provide a useful language for the study of virtual and welded tangles in low dimensional topology. In this note, we present the circuit algebra analogue of the well known classification of planar algebras as pivotal categories with a self dual generator. Our main theorem is that there is an equivalence of categories between circuit algebras and the category of linear wheeled props a type of strict symmetric tensor category with duals that arises in homotopy theory, deformation theory and the Batalin Vilkovisky quantization formalism.


Influence of laser spot size at diffuser plane on the longitudinal spatial coherence function of optical coherence microscopy system. Coherence properties and wavelength of light sources are indispensable for optical coherence microscopy tomography as they greatly influence the signal to noise ratio, axial resolution, and penetration depth of the system. In the present letter, we investigated the longitudinal spatial coherence properties of the pseudo thermal light source (PTS) as a function of spot size at the diffuser plane, which is controlled by translating microscope objective lens towards or away from the diffuser plane. The axial resolution of PTS is found to be maximum 13 microns for the beam spot size of 3.5 mm at the diffuser plane. The change in the axial resolution of the system as the spot size is increased at the diffuser plane is further confirmed by performing experiments on standard gauge blocks of height difference of 15 microns. Thus, by appropriately choosing the beam spot size at the diffuser plane, any monochromatic laser light source depending on the biological window can be utilized to obtain high axial resolution with large penetration depth and speckle free tomographic images of multilayered biological specimens irrespective of the source temporal coherence length. In addition, PTS could be an attractive alternative light source for achieving high axial resolution without needing chromatic aberration corrected optics and dispersion compensation mechanism, unlike conventional setups.


BERT Goes Shopping Comparing Distributional Models for Product Representations. Word embeddings (e.g., word2vec) have been applied successfully to eCommerce products through textit prod2vec . Inspired by the recent performance improvements on several NLP tasks brought by contextualized embeddings, we propose to transfer BERT like architectures to eCommerce our model textit Prod2BERT is trained to generate representations of products through masked session modeling. Through extensive experiments over multiple shops, different tasks, and a range of design choices, we systematically compare the accuracy of textit Prod2BERT and textit prod2vec embeddings while textit Prod2BERT is found to be superior in several scenarios, we highlight the importance of resources and hyperparameters in the best performing models. Finally, we provide guidelines to practitioners for training embeddings under a variety of computational and data constraints.


Hodge Arakelov inequalities for family of surfaces fibered by curves. The Hodge numerical invariants of a variation of Hodge structure over a smooth quas projective variety are a measure of complexity for the global twisting of the limit mixed Hodge structure when it degenerates. These invariants appear in inequalities which they may have correction terms, called Arakelov inequalities. One may investigate the correction term to make them into equalities, also called Arakelov equalities. We investigate numerical Arakelov type (in)equilities for a family of surfaces fibered by curves. Our method uses Arakelov identities in a weight 1 and also in a weight 2 variations of Hodge structure (cf. cite GGK ), in a commutative triangle of fibrations. We have proposed to relate the degrees of the Hodge bundles in the two families. We also compare the Fujita decomposition of Hodge bundles in these fibrations. We examine various identities and relations between Hodge numbers and degrees of the Hodge bundles in different levels.


Using voice note taking to promote learners' conceptual understanding. Though recent technological advances have enabled note taking through different modalities (e.g., keyboard, digital ink, voice), there is still a lack of understanding of the effect of the modality choice on learning. In this paper, we compared two note taking input modalities keyboard and voice to study their effects on participants' learning. We conducted a study with 60 participants in which they were asked to take notes using voice or keyboard on two independent digital text passages while also making a judgment about their performance on an upcoming test. We built mixed effects models to examine the effect of the note taking modality on learners' text comprehension, the content of notes and their meta comprehension judgement. Our findings suggest that taking notes using voice leads to a higher conceptual understanding of the text when compared to typing the notes. We also found that using voice also triggers generative processes that result in learners taking more elaborate and comprehensive notes. The findings of the study imply that note taking tools designed for digital learning environments could incorporate voice as an input modality to promote effective note taking and conceptual understanding of the text.


On Counting the Population Size. We consider the problem of counting the population size in the population model. In this model, we are given a distributed system of n identical agents which interact in pairs with the goal to solve a common task. In each time step, the two interacting agents are selected uniformly at random. In this paper, we consider so called uniform protocols, where the actions of two agents upon an interaction may not depend on the population size n . We present two population protocols to count the size of the population protocol Approximate, which computes with high probability either lfloor log n rfloor or lceil log n rceil , and protocol CountExact, which computes the exact population size in optimal operatorname O ( n log n ) interactions, using tilde operatorname O ( n ) states. Both protocols can also be converted to stable protocols that give a correct result with probability 1 by using an additional multiplicative factor of operatorname O ( log n ) states.


Publishing Community Preserving Attributed Social Graphs with a Differential Privacy Guarantee. We present a novel method for publishing differentially private synthetic attributed graphs. Unlike preceding approaches, our method is able to preserve the community structure of the original graph without sacrificing the ability to capture global structural properties. Our proposal relies on C AGM, a new community preserving generative model for attributed graphs. We equip C AGM with efficient methods for attributed graph sampling and parameter estimation. For the latter, we introduce differentially private computation methods, which allow us to release community preserving synthetic attributed social graphs with a strong formal privacy guarantee. Through comprehensive experiments, we show that our new model outperforms its most relevant counterparts in synthesising differentially private attributed social graphs that preserve the community structure of the original graph, as well as degree sequences and clustering coefficients.


Load balanced Routing for Nested Interconnection Networks. We introduced the load balanced routing algorithms, for interconnection networks resulting from nesting, by considering the pressure of the data forwarding in each node. Benchmarks on a small cluster with various network topologies, and simulations for several larger clusters whose prototypes are too costly to construct, demonstrated substantial gains of communication performance with our routing on these networks over other mainstream routing algorithms.


Deepfake Forensics Using Recurrent Neural Networks. As of late an AI based free programming device has made it simple to make authentic face swaps in recordings that leaves barely any hints of control, in what are known as "deepfake" recordings. Situations where these genuine istic counterfeit recordings are utilized to make political pain, extort somebody or phony fear based oppression occasions are effectively imagined. This paper proposes a transient mindful pipeline to automat ically recognize deepfake recordings. Our framework utilizes a convolutional neural system (CNN) to remove outline level highlights. These highlights are then used to prepare a repetitive neural net work (RNN) that figures out how to characterize if a video has been sub ject to control or not. We assess our technique against a huge arrangement of deepfake recordings gathered from different video sites. We show how our framework can accomplish aggressive outcomes in this assignment while utilizing a basic design.


Quadrilateral Mesh Generation III Optimizing Singularity Configuration Based on Abel Jacobi Theory. This work proposes a rigorous and practical algorithm for generating meromorphic quartic differentials for the purpose of quad mesh generation. The work is based on the Abel Jacobi theory of algebraic curve. The algorithm pipeline can be summarized as follows calculate the homology group compute the holomorphic differential group construct the period matrix of the surface and Jacobi variety calculate the Abel Jacobi map for a given divisor optimize the divisor to satisfy the Abel Jacobi condition by an integer programming compute the flat Riemannian metric with cone singularities at the divisor by Ricci flow isometric immerse the surface punctured at the divisor onto the complex plane and pull back the canonical holomorphic differential to the surface to obtain the meromorphic quartic differential construct the motor graph to generate the resulting T Mesh. The proposed method is rigorous and practical. The T mesh results can be applied for constructing T Spline directly. The efficiency and efficacy of the proposed algorithm are demonstrated by experimental results.


Bibliometric analysis of the world scientific production in Chemical Engineering during 2000 2011. Part 3 Analysis of research trends and hot topics. A comprehensive bibliometric analysis of the scientific production of Chemical Engineering area has been carried out using the Web of Science database for the period 2000 2011 through three complementary studies. Part 3 has analyzed the distribution of words in article titles, keyword plus and author keywords of both total scientific production and the 1,000 most cited publications. The main areas of Chemical Engineering have been identified they are mainly related to chemical reaction engineering such as catalysis, reactors, kinetics, and unit operations such as adsorption. Furthermore, a total of ten hotspots in the area have been identified hydrogen as a new energy vector, wastewater treatments, carbon dioxide (capture and sequestration), photocatalysis, nanoparticles, biodiesel, nanotubes, ionic liquids, advanced oxidation processes, membranes, fuel cells and the use of biomass as raw material (e.g. bioethanol, energy production, etc.). Results obtained suggest thematic areas and research trends can be easier analyzed through the most cited publications, decreasing significantly the time necessary for these analyses. Words in article title, keyword plus and author keywords are complementary, however, author keywords are suggested as the source of most useful data. Compared to other strategies, the author keywords are more valuable for identifying research areas and trends, and the total number of words to be analyzed is lower. Whatever the case, authors recommend a revision of the results obtained by experts in the area to avoid inaccurate results and get the most meaningful information.


Fluid kinetic energy asymptotic expansion for two variable radii moving spherical bubbles at small separation distance. Two spherical bubbles with changing radii are considered to be moving in ideal fluid along their center line. The exact expression for the fluid kinetic energy is obtained. The Stokes stream function is expanded in Gegenbauer polynomials in bispherical coordinates. This expansion is used to obtain the exact series for the fluid kinetic energy quadratic form coefficients. The new series are confirmed to be correct by comparison with the known ones. The main advantage of the new kinetic energy form is the possibility to obtain asymptotic expansions at small separation distance between the bubbles. These expansions are obtained and their convergence is analyzed. The results of this work can be used to describe the bubbles approach before the contact and their coalescence in acoustic field.


Service mining for Internet of Things. A service mining framework is proposed that enables discovering interesting relationships in Internet of Things services bottom up. The service relationships are modeled based on spatial temporal aspects, environment, people, and operation. An ontology based service model is proposed to describe services. We present a set of metrics to evaluate the interestingness of discovered service relationships. Analytical and simulation results are presented to show the effectiveness of the proposed evaluation measures.


Mean ergodic composition operators on H infty( mathbb B n) . In this paper, we study (uniformly) mean ergodic composition operators on H infty( mathbb B n) . Under some additional assumptions, it is shown that mean ergodic operators have norm convergent iterates in H infty( mathbb B n) , and that they are always uniformly mean ergodic.


A note on Taylor expansion of real function. Let f(x) be a real function which has (n 1) th derivative on an interval a, b . For any point x 0 in (a, b) and any integer 0 leq k leq n , denote by S k,x 0 (x) the k th truncation of the Taylor expansion of f(x) at x 0 , i.e. S k,x 0 (x) sum i 0 k frac f (i) (x 0) i! (x x 0) i. In this note, we consider the L 2 approximation of f(x) by polynomials of degree leq k , we show that S k,x 0 (x) is the limit of the best approximations of f(x) on x 0 varepsilon, x 0 varepsilon as varepsilon to 0 .


Parameter estimation for biochemical reaction networks using Wasserstein distances. We present a method for estimating parameters in stochastic models of biochemical reaction networks by fitting steady state distributions using Wasserstein distances. We simulate a reaction network at different parameter settings and train a Gaussian process to learn the Wasserstein distance between observations and the simulator output for all parameters. We then use Bayesian optimization to find parameters minimizing this distance based on the trained Gaussian process. The effectiveness of our method is demonstrated on the three stage model of gene expression and a genetic feedback loop for which moment based methods are known to perform poorly. Our method is applicable to any simulator model of stochastic reaction networks, including Brownian Dynamics.


Growth rates of Coxeter groups and Perron numbers. We define a large class of abstract Coxeter groups, that we call infty spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.


Intrusion Detection Mechanism Using Fuzzy Rule Interpolation. Fuzzy Rule Interpolation (FRI) methods can serve deducible (interpolated) conclusions even in case if some situations are not explicitly defined in a fuzzy rule based knowledge representation. This property can be beneficial in partial heuristically solved applications there the efficiency of expert knowledge representation is mixed with the precision of machine learning methods. The goal of this paper is to introduce the benefits of FRI in the Intrusion Detection Systems (IDS) application area, in the design and implementation of the detection mechanism for Distributed Denial of Service (DDOS) attacks. In the example of the paper as a test bed environment an open source DDOS dataset and the General Public License (GNU) FRI Toolbox was applied. The performance of the FRI IDS example application is compared to other common classification algorithms used for detecting DDOS attacks on the same open source test bed environment. According to the results, the overall detection rate of the FRI IDS is in pair with other methods. On the example dataset it outperforms the detection rate of the support vector machine algorithm, whereas other algorithms (neural network, random forest and decision tree) recorded lightly higher detection rate. Consequently, the FRI inference system could be a suitable approach to be implemented as a detection mechanism for IDS it effectively decreases the false positive rate value. Moreover, because of its fuzzy rule base knowledge representation nature, it can easily adapt expert knowledge, and also be suitable for predicting the level of degree for threat possibility.


Operational vs. Umbral Methods and Borel Transform. Differintegral methods, currently exploited in calculus, provide a fairly unexhausted source of tools to be applied to a wide class of problems involving the theory of special functions and not only. The use of integral transforms of Borel type and the associated formalism will be shown to be an effective means, allowing a link between umbral and operational methods. We merge these two points of view to get a new and efficient method to obtain integrals of special functions and the summation of the associated generating functions as well.


The Lewy Stampacchia Inequality for the Fractional Laplacian and Its Application to Anomalous Unidirectional Diffusion Equations. In this paper, we consider a Lewy Stampacchia type inequality for the fractional Laplacian on a bounded domain in Euclidean space. Using this inequality, we can show the well posedness of fractional type anomalous unidirectional diffusion equations. This study is an extension of the work by Akagi Kimura (2019) for the standard Laplacian. However, there exist several difficulties due to the nonlocal feature of the fractional Laplacian. We overcome those difficulties employing the Caffarelli Silvestre extension of the fractional Laplacian.


A Framework for Monitoring Human Physiological Response during Human Robot Collaborative Task. In this paper, a framework for monitoring human physiological response during Human Robot Collaborative (HRC) task is presented. The framework highlights the importance of generation of event markers related to both human and robot, and also synchronization of data collected. This framework enables continuous data collection during an HRC task when changing robot movements as a form of stimuli to invoke a human physiological response. It also presents two case studies based on this framework and a data visualization tool for representation and easy analysis of the collected data during an HRC experiment.


Shortest Paths in HSI Space for Color Texture Classification. Color texture representation is an important step in the task of texture classification. Shortest paths was used to extract color texture features from RGB and HSV color spaces. In this paper, we propose to use shortest paths in the HSI space to build a texture representation for classification. In particular, two undirected graphs are used to model the H channel and the S and I channels respectively in order to represent a color texture image. Moreover, the shortest paths is constructed by using four pairs of pixels according to different scales and directions of the texture image. Experimental results on colored Brodatz and USPTex databases reveal that our proposed method is effective, and the highest classification accuracy rate is 96.93 in the Brodatz database.


Grab Fast and Accurate Sensor Processing for Cashier Free Shopping. Cashier free shopping systems like Amazon Go improve shopping experience, but can require significant store redesign. In this paper, we propose Grab, a practical system that leverages existing infrastructure and devices to enable cashier free shopping. Grab needs to accurately identify and track customers, and associate each shopper with items he or she retrieves from shelves. To do this, it uses a keypoint based pose tracker as a building block for identification and tracking, develops robust feature based face trackers, and algorithms for associating and tracking arm movements. It also uses a probabilistic framework to fuse readings from camera, weight and RFID sensors in order to accurately assess which shopper picks up which item. In experiments from a pilot deployment in a retail store, Grab can achieve over 90 precision and recall even when 40 of shopping actions are designed to confuse the system. Moreover, Grab has optimizations that help reduce investment in computing infrastructure four fold.


I mode pedestal relaxation events at ASDEX Upgrade. The I mode confinement regime can feature small edge temperature drops that can lead to an increase in the energy deposited onto the divertor targets. In this work, we show that these events are associated with a relaxation of both electron temperature and density edge profiles, with the largest drop found at the pedestal top position. Stability analysis of edge profiles reveals that the operational points are far from the ideal peeling ballooning boundary. Also, we show that these events appear close to the H mode transition in the typical I mode operational space in ASDEX Upgrade, and that no further enhancement of energy confinement is found when they occur. Moreover, scrape off layer transport during these events is found to be very similar to type I ELMs, with regard to timescales ( approx 800 mu s), filament propagation, toroidally asymmetric energy effluxes at the midplane and asymmetry between inner and outer divertor deposited energy. In particular, the latter reveals that more energy reaches the outer divertor target. Lastly, first measurements of the divertor peak energy fluence are reported, and projections to ARC a reactor designed to operate in I mode are drawn.


Aquareum A Centralized Ledger Enhanced with Blockchain and Trusted Computing. Distributed ledger systems (i.e., blockchains) have received a lot of attention recently. They promise to enable mutually untrusted participants to execute transactions, while providing the immutability of the transaction history and censorship resistance. Although decentralized ledgers may become a disruptive innovation, as of today, they suffer from scalability, privacy, or governance issues. Therefore, they are inapplicable for many important use cases, where interestingly, centralized ledger systems quietly gain adoption and find new use cases. Unfortunately, centralized ledgers have also several drawbacks, like a lack of efficient verifiability or a higher risk of censorship and equivocation. In this paper, we present Aquareum, a novel framework for centralized ledgers removing their main limitations. By combining a trusted execution environment with a public blockchain platform, Aquareum provides publicly verifiable, non equivocating, censorship evident, private, and high performance ledgers. Aquareum ledgers are integrated with a Turing complete virtual machine, allowing arbitrary transaction processing logics, including tokens or client specified smart contracts. Aquareum is fully implemented and deployment ready, even with currently existing technologies.


Hessian transport gradient flows. We derive new gradient flows of divergence functions in the probability space embedded with a class of Riemannian metrics. The Riemannian metric tensor is built from the transported Hessian operator of an entropy function. The new gradient flow is a generalized Fokker Planck equation and is associated with a stochastic differential equation that depends on the reference measure. Several examples of Hessian transport gradient flows and the associated stochastic differential equations are presented, including the ones for the reverse Kullback Leibler divergence, alpha divergence, Hellinger distance, Pearson divergence, and Jenson Shannon divergence.


Sub Riemannian Currents and Slicing of Currents in the Heisenberg group mathbb H n . This paper aims to define and study currents and slices of currents in the Heisenberg group mathbb H n . Currents, depending on their integration properties and on those of their boundaries, can be classified into subspaces and, assuming their support to be compact, we can work with currents of finite mass, define the notion of slices of Heisenberg currents and show some important properties for them. While some such properties are similarly true in Riemannian settings, others carry deep consequences because they do not include the slices of the middle dimension n , which opens new challenges and scenarios for the possibility of developing a compactness theorem. Furthermore, this suggests that the study of currents on the first Heisenberg group mathbb H 1 diverges from the other cases, because that is the only situation in which the dimension of the slice of a hypersurface, 2n 1 , coincides with the middle dimension n , which triggers a change in the associated differential operator in the Rumin complex.


On theoretical upper limits for valid timesteps of implicit ODE methods. Implicit methods for the numerical solution of initial value problems may admit multiple solutions at any given time step. Accordingly, their nonlinear solvers may converge to any of these solutions. Below a critical timestep, exactly one of the solutions (the consistent solution) occurs on a solution branch (the principal branch) that can be continuously and monotonically continued back to zero timestep. Standard step size control can promote convergence to consistent solutions by adjusting the timestep to maintain an error estimate below a given tolerance. However, simulations for symplectic systems or large physical systems are often run with constant timesteps and are thus more susceptible to convergence to inconsistent solutions. Because simulations cannot be reliably continued from inconsistent solutions, the critical timestep is a theoretical upper bound for valid timesteps.


The Rockerverse Packages and Applications for Containerization with R. The Rocker Project provides widely used Docker images for R across different application scenarios. This article surveys downstream projects that build upon the Rocker Project images and presents the current state of R packages for managing Docker images and controlling containers. These use cases cover diverse topics such as package development, reproducible research, collaborative work, cloud based data processing, and production deployment of services. The variety of applications demonstrates the power of the Rocker Project specifically and containerisation in general. Across the diverse ways to use containers, we identified common themes reproducible environments, scalability and efficiency, and portability across clouds. We conclude that the current growth and diversification of use cases is likely to continue its positive impact, but see the need for consolidating the Rockerverse ecosystem of packages, developing common practices for applications, and exploring alternative containerisation software.


Random quasi periodic paths and quasi periodic measures of stochastic differential equations. In this paper, we define random quasi periodic paths for random dynamical systems and quasi periodic measures for Markovian semigroups. We give a sufficient condition for the existence and uniqueness of random quasi periodic paths and quasi periodic measures for stochastic differential equations and a sufficient condition for the density of the quasi periodic measure to exist and to satisfy the Fokker Planck equation. We obtain an invariant measure by considering lifted flow and semigroup on cylinder and the tightness of the average of lifted quasi periodic measures. We further prove that the invariant measure is unique, and thus ergodic.


Dirichlet type energy of mappings between two concentric annuli. Let mathbb A and mathbb A be two non degenerate spherical annuli in mathbb R n equipped with the Euclidean metric and the weighted metric y 1 n , respectively. Let mathcal F ( mathbb A , mathbb A ) denote the class of homeomorphisms in mathcal W 1,n 1 ( mathbb A , mathbb A ) . For n 3 , the second author cite kalaj2018 proved that the minimizers of the Dirichlet type energy mathcal E h int mathbb A frac Dh(x) n 1 h(x) n 1 dx are certain generalized radial diffeomorphisms, where h in mathcal F ( mathbb A , mathbb A ) . For the case n geq 4 , he conjectured that the minimizers are also certain generalized radial diffeomorphisms between mathbb A and mathbb A . The main aim of this paper is to consider this conjecture. First, we investigate the minimality of the following combined energy integral mathbb E a,b h int mathbb A frac a 2 rho n 1 (x) DS(x) n 1 b 2 nabla rho(x) n 1 rho(x) n 1 dx, where h rho S in mathcal F ( mathbb A , mathbb A ) , rho h and a,b 0 . The obtained result is a generalization of cite Theorem 1.1 kalaj2018 . As an application, we show that the above conjecture is almost true for the case n geq 4 , i.e., the minimizer of the energy integral mathcal E h does not exist but there exists a minimizing sequence which belongs to the generalized radial mappings.


Tightly Coupled 3D Lidar Inertial Odometry and Mapping. Ego motion estimation is a fundamental requirement for most mobile robotic applications. By sensor fusion, we can compensate the deficiencies of stand alone sensors and provide more reliable estimations. We introduce a tightly coupled lidar IMU fusion method in this paper. By jointly minimizing the cost derived from lidar and IMU measurements, the lidar IMU odometry (LIO) can perform well with acceptable drift after long term experiment, even in challenging cases where the lidar measurements can be degraded. Besides, to obtain more reliable estimations of the lidar poses, a rotation constrained refinement algorithm (LIO mapping) is proposed to further align the lidar poses with the global map. The experiment results demonstrate that the proposed method can estimate the poses of the sensor pair at the IMU update rate with high precision, even under fast motion conditions or with insufficient features.


Numerical methods for stochastic Volterra integral equations with weakly singular kernels. In this paper, we first establish the existence, uniqueness and H "older continuity of the solution to stochastic Volterra integral equations with weakly singular kernels. Then, we propose a theta Euler Maruyama scheme and a Milstein scheme to solve the equations numerically and we obtain the strong rates of convergence for both schemes in L p norm for any p geq 1 . For the theta Euler Maruyama scheme the rate is min 1 alpha, frac 1 2 beta (0 alpha 1, 0 beta frac 1 2 ) and for the Milstein scheme the rate is min 1 alpha,1 2 beta when alpha neq frac 12 , where (0 alpha 1, 0 beta frac 1 2 ) . These results on the rates of convergence are significantly different from that of the similar schemes for the stochastic Volterra integral equations with regular kernels. The difficulty to obtain our results is the lack of It o formula for the equations. To get around of this difficulty we use instead the Taylor formula and then carry a sophisticated analysis on the equation the solution satisfies.


Constrained Multi shape Evolution for Overlapping Cytoplasm Segmentation. Segmenting overlapping cytoplasm of cells in cervical smear images is a clinically essential task, for quantitatively measuring cell level features in order to diagnose cervical cancer. This task, however, remains rather challenging, mainly due to the deficiency of intensity (or color) information in the overlapping region. Although shape prior based models that compensate intensity deficiency by introducing prior shape information (shape priors) about cytoplasm are firmly established, they often yield visually implausible results, mainly because they model shape priors only by limited shape hypotheses about cytoplasm, exploit cytoplasm level shape priors alone, and impose no shape constraint on the resulting shape of the cytoplasm. In this paper, we present a novel and effective shape prior based approach, called constrained multi shape evolution, that segments all overlapping cytoplasms in the clump simultaneously by jointly evolving each cytoplasm's shape guided by the modeled shape priors. We model local shape priors (cytoplasm level) by an infinitely large shape hypothesis set which contains all possible shapes of the cytoplasm. In the shape evolution, we compensate intensity deficiency for the segmentation by introducing not only the modeled local shape priors but also global shape priors (clump level) modeled by considering mutual shape constraints of cytoplasms in the clump. We also constrain the resulting shape in each evolution to be in the built shape hypothesis set, for further reducing implausible segmentation results. We evaluated the proposed method in two typical cervical smear datasets, and the extensive experimental results show that the proposed method is effective to segment overlapping cytoplasm, consistently outperforming the state of the art methods.


Improved Neural Language Model Fusion for Streaming Recurrent Neural Network Transducer. Recurrent Neural Network Transducer (RNN T), like most end to end speech recognition model architectures, has an implicit neural network language model (NNLM) and cannot easily leverage unpaired text data during training. Previous work has proposed various fusion methods to incorporate external NNLMs into end to end ASR to address this weakness. In this paper, we propose extensions to these techniques that allow RNN T to exploit external NNLMs during both training and inference time, resulting in 13 18 relative Word Error Rate improvement on Librispeech compared to strong baselines. Furthermore, our methods do not incur extra algorithmic latency and allow for flexible plug and play of different NNLMs without re training. We also share in depth analysis to better understand the benefits of the different NNLM fusion methods. Our work provides a reliable technique for leveraging unpaired text data to significantly improve RNN T while keeping the system streamable, flexible, and lightweight.


How tree based is my network? Proximity measures for unrooted phylogenetic networks. Tree based networks are a class of phylogenetic networks that attempt to formally capture what is meant by "tree like" evolution. A given non tree based phylogenetic network, however, might appear to be very close to being tree based, or very far. In this paper, we formalise the notion of proximity to tree based for unrooted phylogenetic networks, with a range of proximity measures. These measures also provide characterisations of tree based networks. One measure in particular, related to the nearest neighbour interchange operation, allows us to define the notion of "tree based rank". This provides a subclassification within the tree based networks themselves, identifying those networks that are "very" tree based. Finally, we prove results relating tree based networks in the settings of rooted and unrooted phylogenetic networks, showing effectively that an unrooted network is tree based if and only if it can be made a rooted tree based network by rooting it and orienting the edges appropriately. This leads to a clarification of the contrasting decision problems for tree based networks, which are polynomial in the rooted case but NP complete in the unrooted.


Cutoff Phenomenon for Cyclic Dynamics on Hypercube. The cutoff phenomena for Markovian dynamics have been observed and rigorously verified for a multitude of models, particularly for Glauber type dynamics on spin systems. However, prior studies have barely considered irreversible chains. In this work, the cutoff phenomenon of certain cyclic dynamics are studied on the hypercube Sigma n Q V n , where Q 1, 2, 3 and V n 1,...,n . The main feature of these dynamics is the fact that they are represented by an irreversible Markov chain. Based on the coupling modifications suggested in a previous study of the cutoff phenomenon for the Curie Weiss Potts model, a comprehensive proof is presented.


Wave measurements from ship mounted sensors in the Arctic marginal ice zone. Increased research interest and economic activity in the Arctic raise the need for new observations of sea ice dynamics. Remote sensing as well as mathematical and numerical models of wave propagation in sea ice would benefit from more in situ data for validation. This study presents wave measurements in the marginal ice zone (MIZ) obtained from ship mounted sensors. The system combines altimeter readings from the ship bow with ship motion correction data to provide estimated single point ocean surface elevation. Significant wave height and mean wave period, as well as one dimensional wave spectra are derived from the combined measurements. The results are compared with integrated parameters from a spectral wave model over a period of eight days in the open ocean, and with spectra and integrated parameters derived from motion detecting instruments placed on ice floes inside the MIZ. Mean absolute errors of the integrated parameters are in the range 15.0 18.9 when comparing with the spectral wave model and 1.0 9.6 when comparing with valid motion detecting instruments. The spatial wave damping coefficient is estimated by looking at the change in spectral wave amplitude found at discrete frequency values as the ship was moving along the longitudinal direction of the MIZ within time intervals where the wave field is found to be approximately constant in time. As expected from theory, high frequency waves are effectively dampened by the presence of sea ice. The observed wave attenuation rates compare favourably with a two layer dissipation model. Our methodology can be regarded as a simple and reliable way to collect more waves in ice data as it can be easily added to any ship participating to ice expeditions, at little extra cost.


Good action on a finite group. Let G and A be finite groups with A acting on G by automorphisms. In this paper we introduce the concept of "good action" namely we say the action of A on G is good, if H H,B C H(B) for every subgroup B of A and every B invariant subgroup H of G. This definition allows us to prove a new noncoprime Hall Higman type theorem. If A is a nilpotent group acting on the finite solvable group G with C G(A) 1 , a long standing conjecture states that h(G) leq ell(A) where h(G) is the Fitting height of G and ell(A) is the number of primes dividing the order of A counted with multiplicities. As an application of our result we prove the main theorem of this paper which states that the above conjecture is true if A and G have odd order, the action of A on G is good and some other fairly general conditions are satisfied.


Using Virtual Reality in Electrostatics Instruction The Impact of Training. Recent years have seen a resurgence of interest in using Virtual Reality (VR) technology to benefit instruction, especially in physics and related subjects. As VR devices improve and become more widely available, there remains a number of unanswered questions regarding the impact of VR on student learning and how best to use this technology in the classroom. On the topic of electrostatics, for example, a large, controlled, randomized study performed by Smith et al. 2017 cite smith17 , found that VR based instruction had an overall negligible impact on student learning compared to videos or images. However, they did find a strong trend for students who reported frequent video game play to learn better from VR than other media. One possible interpretation of this result is that extended videogame play provides a kind of "training" that enables a student to learn more comfortably in the virtual environment. In the present work we consider if a VR training activity that is unrelated to electrostatics can help prepare students to learn electrostatics from subsequent VR instruction. We find that preliminary VR training leads to a small but statistically significant improvement in student performance on our electrostatics assessment. We also find that student reported game play is still correlated with higher scores on this metric.


Exploring the Behavior of Coherent Accelerator Processor Interface (CAPI) on IBM Power8 Architecture and FlashSystem 900. The Coherent Accelerator Processor Interface (CAPI) is a general term for the infrastructure that provides high throughput and low latency path to the flash storage connected to the IBM POWER 8 System. CAPI accelerator card is attached coherently as a peer to the Power8 processor. This removes the overhead and complexity of the IO subsystem and allows the accelerator to operate as part of an application. In this paper, we present the results of experiments on IBM FlashSystem900 (FS900) with CAPI accelerator card using the "CAPI Flash IBM Data Engine for NoSQL Software" Library. This library provides the application, a direct access to the underlying flash storage through user space APIs, to manage and access the data in flash. This offloads kernel IO driver functionality to dedicated CAPI FPGA accelerator hardware. We conducted experiments to analyze the performance of FS900 with CAPI accelerator card, using the Key Value Layer APIs, employing NASA's MODIS Land Surface Reflectance dataset as a large dataset use case. We performed Read and Write operations on datasets of size ranging from 1MB to 3TB by varying the number of threads. We then compared this performance with other heterogeneous storage and memory devices such as NVM, SSD and RAM, without using the CAPI Accelerator in synchronous and asynchronous file IO modes of operations. The results indicate that FS900 CAPI, together with the metadata cache in RAM, delivers the highest IO s and OP s for read operations. This was higher than just using RAM, along with utilizing lesser CPU resources. Among FS900, SSD and NVM, FS900 had the highest write IO s. Another important observation is that, when the size of the input dataset exceeds the capacity of RAM, and when the data access is non uniform and sparse, FS900 with CAPI would be a cost effective alternative.