ArcticNet A Deep Learning Solution to Classify Arctic Wetlands. Arctic environments are rapidly changing under the warming climate. Of particular interest are wetlands, a type of ecosystem that constitutes the most effective terrestrial long term carbon store. As permafrost thaws, the carbon that was locked in these wetland soils for millennia becomes available for aerobic and anaerobic decomposition, which releases CO2 and CH4, respectively, back to the atmosphere.As CO2 and CH4 are potent greenhouse gases, this transfer of carbon from the land to the atmosphere further contributes to global warming, thereby increasing the rate of permafrost degradation in a positive feedback loop. Therefore, monitoring Arctic wetland health and dynamics is a key scientific task that is also of importance for policy. However, the identification and delineation of these important wetland ecosystems, remain incomplete and often inaccurate. Mapping the extent of Arctic wetlands remains a challenge for the scientific community. Conventional, coarser remote sensing methods are inadequate at distinguishing the diverse and micro topographically complex non vascular vegetation that characterize Arctic wetlands, presenting the need for better identification methods. To tackle this challenging problem, we constructed and annotated the first of its kind Arctic Wetland Dataset (AWD). Based on that, we present ArcticNet, a deep neural network that exploits the multi spectral, high resolution imagery captured from nanosatellites (Planet Dove CubeSats) with additional DEM from the ArcticDEM project, to semantically label a Arctic study area into six types, in which three Arctic wetland functional types are included. We present multi fold efforts to handle the arising challenges, including class imbalance, and the choice of fusion strategies. Preliminary results endorse the high promise of ArcticNet, achieving 93.12 in labelling a hold out set of regions in our Arctic study area.


Yau Type Gradient Estimates For Delta u au( log u) p bu 0 On Riemannian Manifolds. In this paper, we consider the gradient estimates of the positive solutions to the following equation defined on a complete Riemannian manifold (M, g) Delta u au( log u) p bu 0, where a, b in mathbb R and p is a rational number with p frac k 1 2k 2 1 geq2 where k 1 and k 2 are positive integer numbers. we obtain the gradient bound of a positive solution to the equation which does not depend on the bounds of the solution and the Laplacian of the distance function on (M, g) . Our results can be viewed as a natural extension of Yau's estimates on positive harmonic function.


The impact of CMEs on the critical frequency of F2 layer ionosphere (foF2). The ionospheric critical frequency (foF2) from ionosonde measurements at geographic high, middle, and low latitudes is analyzed with the occurrence of coronal mass ejections (CMEs) in long term variability of the solar cycles. We observed trends of monthly maximum foF2 values and monthly averaged values of CME parameters such as speed, angular width, mass, and kinetic energy with respect to time. The impact of CMEs on foF2 is very high at high latitudes and low at low latitudes. The time series for monthly maximum foF2 and monthly averaged CME speed is moderately correlated at high and middle latitudes.


A Sequential Constraint Method for Solving Variational Inequality over the Intersection of Fixed Point Sets. We consider the variational inequality problem over the intersection of fixed point sets of firmly nonexpansive operators. In order to solve the problem, we present an algorithm and subsequently show the strong convergence of the generated sequence to the solution of the considered problem.


On zero sum spanning trees and zero sum connectivity. We consider 2 colourings f E(G) rightarrow 1 ,1 of the edges of a graph G with colours 1 and 1 in mathbb Z . A subgraph H of G is said to be a zero sum subgraph of G under f if f(H) sum e in E(H) f(e) 0 . We study the following type of questions, in several cases obtaining best possible results Under which conditions on f(G) can we guarantee the existence of a zero sum spanning tree of G ? The types of G we consider are complete graphs, K 3 free graphs, d trees, and maximal planar graphs. We also answer the question of when any such colouring contains a zero sum spanning path or a zero sum spanning tree of diameter at most 3 , showing in passing that the diameter 3 condition is best possible. Finally, we give, for G K n , a sharp bound on f(K n) by which an interesting zero sum connectivity property is forced, namely that any two vertices are joined by a zero sum path of length at most 4 . One feature of this paper is the proof of an Interpolation Lemma leading to a Master Theorem from which many of the above results follow and which can be of independent interest.


An Artistic Visualization of Music Modeling a Synesthetic Experience. This project brings music to sight. Music can be a visual masterpiece. Some people naturally experience a visualization of audio a condition called synesthesia. The type of synesthesia explored is when sounds create colors in the 'mind's eye.' Project included interviews with people who experience synesthesia, examination of prior art, and topic research to inform project design. Audio input, digital signal processing (including Fast Fourier Transforms (FFTs)) and data manipulation produce arguments required for our visualization. Arguments are then applied to a physics particle simulator which is re purposed to model a synesthetic experience. The result of the project is a simulator in MAX 8, which generates a visual performance using particles by varying each particle's position, velocity, and color based on parameters extracted via digital processing of input audio.


Neural Networks for Relational Data. While deep networks have been enormously successful over the last decade, they rely on flat feature vector representations, which makes them unsuitable for richly structured domains such as those arising in applications like social network analysis. Such domains rely on relational representations to capture complex relationships between entities and their attributes. Thus, we consider the problem of learning neural networks for relational data. We distinguish ourselves from current approaches that rely on expert hand coded rules by learning relational random walk based features to capture local structural interactions and the resulting network architecture. We further exploit parameter tying of the network weights of the resulting relational neural network, where instances of the same type share parameters. Our experimental results across several standard relational data sets demonstrate the effectiveness of the proposed approach over multiple neural net baselines as well as state of the art statistical relational models.


Identification of Constitutive Parameters Governing the Hyperelastic Response of Rubber by Using Full field Measurement and the Virtual Fields Method. In this study, the Virtual Fields Method (VFM) is applied to identify constitutive parameters of hyperelastic models from a heterogeneous test. Digital image correlation (DIC) was used to estimate the displacement and strain fields required by the identification procedure. Two different hyperelastic models were considered the Mooney model and the Ogden model. Applying the VFM to the Mooney model leads to a linear system that involves the hyperelastic parameters thanks to the linearity of the stress with respect to these parameters. In the case of the Ogden model, the stress is a nonlinear function of the hyperelastic parameters and a suitable procedure should be used to determine virtual fields leading to the best identification. This complicates the identification and affects its robustness. This is the reason why the sensitivity based virtual field approach recently proposed in case of anisotropic plasticity by Marek et al. (2017) 1 has been successfully implemented to be applied in case of hyperelasticity. Results obtained clearly highlight the benefits of such an inverse identification approach in case of non linear systems.


Joint Super Resolution and Alignment of Tiny Faces. Super resolution (SR) and landmark localization of tiny faces are highly correlated tasks. On the one hand, landmark localization could obtain higher accuracy with faces of high resolution (HR). On the other hand, face SR would benefit from prior knowledge of facial attributes such as landmarks. Thus, we propose a joint alignment and SR network to simultaneously detect facial landmarks and super resolve tiny faces. More specifically, a shared deep encoder is applied to extract features for both tasks by leveraging complementary information. To exploit the representative power of the hierarchical encoder, intermediate layers of a shared feature extraction module are fused to form efficient feature representations. The fused features are then fed to task specific modules to detect landmarks and super resolve face images in parallel. Extensive experiments demonstrate that the proposed model significantly outperforms the state of the art in both landmark localization and SR of faces. We show a large improvement for landmark localization of tiny faces (i.e., 16 16). Furthermore, the proposed framework yields comparable results for landmark localization on low resolution (LR) faces (i.e., 64 64) to existing methods on HR (i.e., 256 256). As for SR, the proposed method recovers sharper edges and more details from LR face images than other state of the art methods, which we demonstrate qualitatively and quantitatively.


Subsequential tightness for branching random walk in random environment. We consider branching random walk in random environment (BRWRE) and prove the existence of deterministic subsequences along which their maximum, centered at its mean, is tight. This partially answers an open question in arXiv 1711.00852. The method of proof adapts an argument developed by Dekking and Host for branching random walks with bounded increments. The question of tightness without the need for subsequences remains open.


A Potential Reduction Inspired Algorithm for Exact Max Flow in Almost widetilde O (m 4 3 ) Time. We present an algorithm for computing s t maximum flows in directed graphs in widetilde O (m 4 3 o(1) U 1 3 ) time. Our algorithm is inspired by potential reduction interior point methods for linear programming. Instead of using scaled gradient Newton steps of a potential function, we take the step which maximizes the decrease in the potential value subject to advancing a certain amount on the central path, which can be efficiently computed. This allows us to trace the central path with our progress depending only ell infty norm bounds on the congestion vector (as opposed to the ell 4 norm required by previous works) and runs in O( sqrt m ) iterations. To improve the number of iterations by establishing tighter bounds on the ell infty norm, we then consider the weighted central path framework of Madry cite M13,M16,CMSV17 and Liu Sidford cite LS20 . Instead of changing weights to maximize energy, we consider finding weights which maximize the maximum decrease in potential value. Finally, similar to finding weights which maximize energy as done in cite LS20 this problem can be solved by the iterative refinement framework for smoothed ell 2 ell p norm flow problems cite KPSW19 completing our algorithm. We believe our potential reduction based viewpoint provides a versatile framework which may lead to faster algorithms for max flow.


The SPECIAL K Personal Data Processing Transparency and Compliance Platform. The European General Data Protection Regulation (GDPR) brings new challenges for companies who must ensure they have an appropriate legal basis for processing personal data and must provide transparency with respect to personal data processing and sharing within and between organisations. Additionally, when it comes to consent as a legal basis, companies need to ensure that they comply with usage constraints specified by data subjects. This paper presents the policy language and supporting ontologies and vocabularies, developed within the SPECIAL EU H2020 project, which can be used to represent data usage policies and data processing and sharing events. We introduce a concrete transparency and compliance architecture, referred to as SPECIAL K, that can be used to automatically verify that data processing and sharing complies with the data subjects consent. Our evaluation, based on a new compliance benchmark, shows the efficiency and scalability of the system with increasing number of events and users.


Strong diffusion approximation in averaging and value computation in Dynkin's games. It is known that the slow motion X varepsilon in the time scaled multidimensional averaging setup frac dX varepsilon(t) dt frac 1 varepsilon B(X varepsilon(t), , xi(t varepsilon 2)) b(X varepsilon(t), , xi(t ve 2)), , t in 0,T converges weakly as varepsilon to 0 to a diffusion process provided EB(x, xi(s)) equiv 0 where xi is a sufficiently fast mixing stochastic process. In this paper we show that both X varepsilon and a family of diffusions Xi varepsilon can be redefined on a common sufficiently rich probability space so that E sup 0 leq t leq T X varepsilon(t) Xi varepsilon(t) 2M leq C(M) varepsilon del for some C(M), delta 0 and all M ge 1, , varepsilon 0 , where all Xi varepsilon, , varepsilon 0 have the same diffusion coefficients but underlying Brownian motions may change with varepsilon . This is the first strong approximation result both in the above setup and at all when the limit is a nontrivial multidimensional diffusion. We obtain also a similar result for the corresponding discrete time averaging setup which was not considered before at all. As an application we consider Dynkin's games with path dependent payoffs involving a diffusion and obtain error estimates for computation of values of such games by means of such discrete time approximations which provides a more effective computational tool than the standard discretization of the diffusion itself.


Point to Point Strategic Communication. We propose a strategic formulation for the joint source channel coding problem in which the encoder and the decoder are endowed with distinct distortion functions. We provide the solutions in four different scenarios. First, we assume that the encoder and the decoder cooperate in order to achieve a certain pair of distortion values. Second, we suppose that the encoder commits to a strategy whereas the decoder implements a best response, as in the persuasion game where the encoder is the Stackelberg leader. Third, we consider that the decoder commits to a strategy, as in the mismatched rate distortion problem or as in the mechanism design framework. Fourth, we investigate the cheap talk game in which the encoding and the decoding strategies form a Nash equilibrium.


MT Adapted Datasheets for Datasets Template and Repository. In this report we are taking the standardized model proposed by Gebru et al. (2018) for documenting the popular machine translation datasets of the EuroParl (Koehn, 2005) and News Commentary (Barrault et al., 2019). Within this documentation process, we have adapted the original datasheet to the particular case of data consumers within the Machine Translation area. We are also proposing a repository for collecting the adapted datasheets in this research area


A Characteristic Function based Algorithm for Geodesic Active Contours. Active contour models have been widely used in image segmentation, and the level set method (LSM) is the most popular approach for solving the models, via implicitly representing the contour by a level set function. However, the LSM suffers from high computational burden and numerical instability, requiring additional regularization terms or re initialization techniques. In this paper, we use characteristic functions to implicitly represent the contours, propose a new representation to the geodesic active contours and derive an efficient algorithm termed as the iterative convolution thresholding method (ICTM). Compared to the LSM, the ICTM is simpler and much more efficient. In addition, the ICTM enjoys most desired features of the level set based methods. Extensive experiments, on 2D synthetic, 2D ultrasound, 3D CT, and 3D MR images for nodule, organ and lesion segmentation, demonstrate that the proposed method not only obtains comparable or even better segmentation results (compared to the LSM) but also achieves significant acceleration.


Thermodynamic stabilization of mixed halide perovskites against phase segregation. Mixing iodide and bromide in halide perovskite semiconductors is an effective strategy to tune their bandgap, therefore mixed halide perovskites hold great promise for color tunable LEDs and tandem solar cells. However, the bandgap of mixed halide perovskites is unstable under (sun )light, since the halides segregate into domains of different bandgaps. Using pressure dependent ultrafast transient absorption spectroscopy, we show that high external pressure increases the range of thermodynamically stable halide mixing ratios. Chemical pressure, by inserting a smaller cation, has the same effect, which means that any iodide to bromide ratio can be thermodynamically stabilized by tuning the crystal volume and compressibility. We interpret this stabilization by an alteration of the Helmholtz free energy via the largely overlooked PdeltaV term.


Learning Representations and Agents for Information Retrieval. A goal shared by artificial intelligence and information retrieval is to create an oracle, that is, a machine that can answer our questions, no matter how difficult they are. A more limited, but still instrumental, version of this oracle is a question answering system, in which an open ended question is given to the machine, and an answer is produced based on the knowledge it has access to. Such systems already exist and are increasingly capable of answering complicated questions. This progress can be partially attributed to the recent success of machine learning and to the efficient methods for storing and retrieving information, most notably through web search engines. One can imagine that this general purpose question answering system can be built as a billion parameters neural network trained end to end with a large number of pairs of questions and answers. We argue, however, that although this approach has been very successful for tasks such as machine translation, storing the world's knowledge as parameters of a learning machine can be very hard. A more efficient way is to train an artificial agent on how to use an external retrieval system to collect relevant information. This agent can leverage the effort that has been put into designing and running efficient storage and retrieval systems by learning how to best utilize them to accomplish a task. ...


Oscillatory thermal inertial flows in liquid metal rotating convection. We present the first detailed thermal and velocity field characterization of convection in a rotating cylindrical tank of liquid gallium, which has thermophysical properties similar to those of planetary core fluids. Our laboratory experiments, and a closely associated direct numerical simulation, are all carried out in the regime prior to the onset of steady convective modes. This allows us to study the oscillatory convective modes, sidewall modes and broadband turbulent flow that develop in liquid metals before the advent of steady columnar modes. Our thermo velocimetric measurements show that strongly inertial, thermal wind flows develop, with velocities reaching those of comparable non rotating cases. Oscillatory bulk convection and wall modes coexist across a wide range of our experiments, along with strong zonal flows that peak in the Stewartson layer, but that extend deep into the fluid bulk in the higher supercriticality cases. The flows contain significant time mean helicity that is anti symmetric across the midplane, demonstrating that oscillatory liquid metal convection contains the kinematic components to sustain system scale dynamo generation.


Non conforming finite elements on polytopal meshes. In this work we present a generic framework for non conforming finite elements on polytopal meshes, characterised by elements that can be generic polygons polyhedra. We first present the functional framework on the example of a linear elliptic problem representing a single phase flow in porous medium. This framework gathers a wide variety of possible non conforming methods, and an error estimate is provided for this simple model. We then turn to the application of the functional framework to the case of a steady degenerate elliptic equation, for which a mass lumping technique is required here, this technique simply consists in using a different piecewise constant function reconstruction from the chosen degrees of freedom. A convergence result is stated for this degenerate model. Then, we introduce a novel specific non conforming method, dubbed Locally Enriched Polytopal Non Conforming (LEPNC). These basis functions comprise functions dedicated to each face of the mesh (and associated with average values on these faces), together with functions spanning the local mathbb P 1 space in each polytopal element. The analysis of the interpolation properties of these basis functions is provided, and mass lumping techniques are presented. Numerical tests are presented to assess the efficiency and the accuracy of this method on various examples. Finally, we show that generic polytopal non conforming methods, including the LEPNC, can be plugged into the gradient discretization method framework, which makes them amenable to all the error estimates and convergence results that were established in this framework for a variety of models.


Sarong rolled around a body demonstrates the force for separating two sheets joined by folding and rolling is very large. There are a lot of new sciences that have been inspired by common phenomena and even by old traditions practiced in our daily lives. Eventually, it may induce unexpected new technologies after deeply explored. In this paper, inspired by the wearing of traditional cloth, named sarong, by the community in the South East Asian countries and others, we investigated the behavior of sheets folded like rolling of sarong around the stomach. Simple equipment was designed to qualitatively collect the data and combined with simple modeling. Rolling of the sarong around the stomach generates the joining force of two sheets, increasing proportionally to the square of the number of rolling. This finding is potentially applied for developing a method for strongly joining sheets by simply rolling and releasing the join by simply unrolling. This work can also be simply duplicated elsewhere so that it is worthy of teaching materials at undergraduate levels. Both scientific and teaching contents can be extracted simultaneously.


Deep Learning based Prediction of Key Performance Indicators for Electrical Machine. The design of an electrical machine can be quantified and evaluated by Key Performance Indicators (KPIs) such as maximum torque, critical field strength, costs of active parts, sound power, etc. Generally, cross domain tool chains are used to optimize all the KPIs from different domains (multi objective optimization) by varying the given input parameters in the largest possible design space. This optimization process involves magneto static finite element simulation to obtain these decisive KPIs. It makes the whole process a vehemently time consuming computational task that counts on the availability of resources with the involvement of high computational cost. In this paper, a data aided, deep learning based meta model is employed to predict the KPIs of an electrical machine quickly and with high accuracy to accelerate the full optimization process and reduce its computational costs. The focus is on analyzing various forms of input data that serve as a geometry representation of the machine. Namely, these are the cross section image of the electrical machine that allows a very general description of the geometry relating to different topologies and the classical way with scalar parametrization of geometry. The impact of the resolution of the image is studied in detail. The results show a high prediction accuracy and proof that the validity of a deep learning based meta model to minimize the optimization time. The results also indicate that the prediction quality of an image based approach can be made comparable to the classical way based on scalar parameters.


A cell decomposition of the Fulton MacPherson operad. We construct a small regular cellular decomposition of the Fulton MacPherson operad FM 2 that is compatible with the operad composition. The cells are indexed by trees with edges of two colors and vertices labelled by cells of the cacti operad. We compute the generating functions counting the cells, that are algebraic.


On abelian ell towers of multigraphs. We study how the ell adic valuation of the number of spanning trees varies in regular abelian ell towers of multigraphs. We show that for an infinite family of regular abelian ell towers of bouquets, the behavior of the ell adic valuation of the number of spanning trees behave similarly to the ell adic valuation of the class numbers in mathbb Z ell extensions of number fields.


A method of fundamental solutions for doubly periodic potential flow problems using the Weierstrass elliptic function. In this paper, we propose a method of fundamental solutions for the problems of two dimensional potential flow past a doubly periodic array of obstacles. The solutions of these problems involve doubly periodic functions, and it is difficult to apply the conventional method of fundamental solutions to approximate them. The method that we propose gives approximate solutions which is expressed by a linear combination of periodic fundamental solutions constructed using the Weierstrass elliptic functions, and it satisfies the periodicity that we expect. Numerical examples show the effectiveness of our method.


Positive algorithmic bias cannot stop fragmentation in homophilic networks. Fragmentation, echo chambers, and their amelioration in social networks have been a growing concern in the academic and non academic world. This paper shows how, under the assumption of homophily, echo chambers and fragmentation are system immanent phenomena of highly flexible social networks, even under ideal conditions for heterogeneity. We achieve this by finding an analytical, network based solution to the Schelling model and by proving that weak ties do not hinder the process. Furthermore, we derive that no level of positive algorithmic bias in the form of rewiring is capable of preventing fragmentation and its effect on reducing the fragmentation speed is negligible.


Agent Based Software Testing A Definition and Systematic Mapping Study. The emergence of new technologies in software testing has increased the automation and flexibility of the testing process. In this context, the adoption of agents in software testing remains an active research area in which various agent methodologies, architectures, and tools are employed to improve different test problems. Even though research that investigates agents in software testing has been growing, these agent based techniques should be considered in a broader perspective. In order to provide a comprehensive overview of this research area, which we define as agent based software testing (ABST), a systematic mapping study has been conducted. This mapping study aims to identify the topics studied within ABST, as well as examine the adopted research methodologies, identify the gaps in the current research and point to directions for future ABST research. Our results suggest that there is an interest in ABST after 1999 that resulted in the development of solutions using reactive, BDI, deliberative and cooperate agent architectures for software testing. In addition, most of the ABST approaches are designed using the JADE framework, have targeted the Java programming language, and are used at system level testing for functional, non functional and white box testing. In regards to regression testing, our results indicate a research gap that could be addressed in future studies.


Finite difference and numerical differentiation General formulae from deferred corrections. This paper provides a new approach to derive various arbitrary high order finite difference formulae for the numerical differentiation of analytic functions. In this approach, various first and second order formulae for the numerical approximation of analytic functions are given with error terms explicitly expanded as Taylor series of the analytic function. These lower order approximations are successively improved by one or two (two order improvement for centered formulae) to give finite difference formulae of arbitrary high order. The new approach allows to recover the standard backward, forward, and centered finite difference formulae which are given in terms of formal power series of finite difference operators. Examples of new formulae suited for deferred correction methods are given.


Visual Place Recognition for Aerial Robotics Exploring Accuracy Computation Trade off for Local Image Descriptors. Visual Place Recognition (VPR) is a fundamental yet challenging task for small Unmanned Aerial Vehicle (UAV). The core reasons are the extreme viewpoint changes, and limited computational power onboard a UAV which restricts the applicability of robust but computation intensive state of the art VPR methods. In this context, a viable approach is to use local image descriptors for performing VPR as these can be computed relatively efficiently without the need of any special hardware, such as a GPU. However, the choice of a local feature descriptor is not trivial and calls for a detailed investigation as there is a trade off between VPR accuracy and the required computational effort. To fill this research gap, this paper examines the performance of several state of the art local feature descriptors, both from accuracy and computational perspectives, specifically for VPR application utilizing standard aerial datasets. The presented results confirm that a trade off between accuracy and computational effort is inevitable while executing VPR on resource constrained hardware.


Local laws for multiplication of random matrices and spiked invariant model. High dimensional Haar random matrices are common objects in modern statistical learning theory. We consider the random matrix model A 1 2 UBU A 1 2 , where A and B are two N times N positive definite matrices satisfying some regularity conditions and U is either an N times N Haar unitary or orthogonal random matrix. On the macroscopic scale, it is well known that the empirical spectral distribution (ESD) of the above model is given by the free multiplicative convolution of the ESDs of A and B, denoted as mu A boxtimes mu B, where mu A and mu B are the ESDs of A and B, respectively. In this paper, motivated by applications in statistical learning theory, we systematically study the above random matrix model. We first establish the local laws both near and far away from the rightmost edge of the support of mu A boxtimes mu B. We also prove eigenvalue rigidity and eigenvector delocalization. Then we study the spiked invariant model by adding a few eigenvalues that are detached from the bulks of the spectrums to A or B. We derive the convergent limits and rates for the outlier eigenvalues and their associated generalized components under general and weak assumptions. We believe all these results are optimal up to an N epsilon factor, for some small epsilon 0.


An ideal class to construct solutions for skew Brownian motion equations. This paper contributes to the study of stochastic processes of the class ( Sigma) . First, we extend the notion of the above mentioned class to c adl ag semi martingales, whose finite variational part is considered c adl ag instead of continuous. Thus, we present some properties and propose a method to characterize such stochastic processes. Second, we investigate continuous processes of the class ( Sigma) . More precisely, we derive a series of new characterization results. In addition, we construct solutions for skew Brownian motion equations using continuous stochastic processes of the class ( Sigma) .


A flexible and adaptive grid algorithm for global optimization utilizing basin hopping Monte Carlo. Global optimization is an active area of research in atomistic simulations, and many algorithms have been proposed to date. A prominent example is basin hopping Monte Carlo, which performs a modified Metropolis Monte Carlo search to explore the potential energy surface of the system of interest. These simulations can be very demanding due to the high dimensional configurational search space. The effective search space can be reduced by utilizing grids for the atomic positions, but at the cost of possibly biasing the results if fixed grids are employed. In this paper, we present a flexible grid algorithm for global optimization that allows to exploit the efficiency of grids without biasing the simulation outcome. The method is general and applicable to very heterogeneous systems, such as interfaces between two materials of different crystal structure or large clusters supported at surfaces. As a benchmark case, we demonstrate its performance for the well known global optimization problem of Lennard Jones clusters containing up to 100 particles. In spite of the simplicity of this model potential, Lennard Jones clusters represent a challenging test case, since the global minima for some "magic" numbers of particles exhibit geometries that are very different from those of clusters with only a slightly different size.


On a conjecture of Teissier the case of log canonical thresholds. For a smooth germ of algebraic variety (X,0) and a hypersurface (f 0) in X , with an isolated singularity at 0 , Teissier conjectured a lower bound for the Arnold exponent of f in terms of the Arnold exponent of a hyperplane section f vert H and the invariant theta 0(f) of the hypersurface. By building on an approach due to Loeser, we prove the conjecture in the case of log canonical thresholds.


Energy based Periodicity Mining with Deep Features for Action Repetition Counting in Unconstrained Videos. Action repetition counting is to estimate the occurrence times of the repetitive motion in one action, which is a relatively new, important but challenging measurement problem. To solve this problem, we propose a new method superior to the traditional ways in two aspects, without preprocessing and applicable for arbitrary periodicity actions. Without preprocessing, the proposed model makes our method convenient for real applications processing the arbitrary periodicity action makes our model more suitable for the actual circumstance. In terms of methodology, firstly, we analyze the movement patterns of the repetitive actions based on the spatial and temporal features of actions extracted by deep ConvNets Secondly, the Principal Component Analysis algorithm is used to generate the intuitive periodic information from the chaotic high dimensional deep features Thirdly, the periodicity is mined based on the high energy rule using Fourier transform Finally, the inverse Fourier transform with a multi stage threshold filter is proposed to improve the quality of the mined periodicity, and peak detection is introduced to finish the repetition counting. Our work features two fold 1) An important insight that deep features extracted for action recognition can well model the self similarity periodicity of the repetitive action is presented. 2) A high energy based periodicity mining rule using deep features is presented, which can process arbitrary actions without preprocessing. Experimental results show that our method achieves comparable results on the public datasets YT Segments and QUVA.


Regularity results for Choquard equations involving fractional p Laplacian. In this article, first we address the regularity of weak solution for a class of p fractional Choquard equations begin equation left. begin array rl ( Delta) p su left( displaystyle int Omega frac F(y,u) x y mu dy right)f(x,u), hspace 5mm x in Omega, u 0, hspace 35mm x in mathbb R N setminus Omega, end array right end equation where Omega subset mathbb R N is a smooth bounded domain, 1 p infty and 0 s 1 such that sp N, 0 mu min N,2sp and f Omega times mathbb R to mathbb R is a continuous function with at most critical growth condition (in the sense of Hardy Littlewood Sobolev inequality) and F is its primitive. Next, for p geq2, we discuss the Sobolev versus H " o lder minimizers of the energy functional J associated to the above problem, and using that we establish the existence of the local minimizer of J in the fractional Sobolev space W 0 s,p ( Omega). Moreover, we discuss the aforementioned results by adding a local perturbation term (at most critical in the sense of Sobolev inequality) in the right hand side in the above equation.


Which homotopy algebras come from transfer?. We characterize A infty structures that are transfers over a chain homotopy equivalence or a quasi isomorphism, answering a question posed by D. Sullivan. Along the way, we present an obstruction theory for weak A infty morphisms over an arbitrary commutative ring. We then generalize our results to mathcal P infty structures over a field of characteristic zero, for any quadratic Koszul operad mathcal P .


Avoidance and Absorbance. We study the two dual notions of prime avoidance and prime absorbance. We generalize the classical prime avoidance lemma to radical ideals. A number of new criteria are provided for an abstract ring to be C.P. (every set of primes satisfies avoidance) or P.Z. (every set of primes satisfies absorbance). Special consideration is given to the interaction with chain conditions and Noetherian like properties. It is shown that a ring is both C.P. and P.Z. iff it has finite spectrum.


Domination above r independence does sparseness help?. Inspired by the potential of improving tractability via gap or above guarantee parametrisations, we investigate the complexity of Dominating Set when given a suitable lower bound witness. Concretely, we consider being provided with a maximal r independent set X (a set in which all vertices have pairwise distance at least r 1) along the input graph G which, for r 2, lower bounds the minimum size of any dominating set of G. In the spirit of gap parameters, we consider a parametrisation by the size of the 'residual' set R V (G) N X . Our work aims to answer two questions How does the constant r affect the tractability of the problem and does the restriction to sparse graph classes help here? For the base case r 2, we find that the problem is paraNP complete even in apex and bounded degree graphs. For r 3, the problem is W 2 hard for general graphs but in FPT for nowhere dense classes and it admits a linear kernel for bounded expansion classes. For r 4, the parametrisation becomes essentially equivalent to the natural parameter, the size of the dominating set.


On the stabilization of the Betti numbers of the moduli space of sheaves on mathbb P 2 . Let r geq 2 be an integer, and let a be an integer coprime to r . We show that if c 2 geq n left lfloor frac r 1 2r a 2 frac 1 2 (r 2 1) right rfloor , then the 2n th Betti number of the moduli space M mathbb P 2,H (r,aH,c 2) stabilizes, where H c 1( mathcal O mathbb P 2 (1)) .


Knowledge guided Open Attribute Value Extraction with Reinforcement Learning. Open attribute value extraction for emerging entities is an important but challenging task. A lot of previous works formulate the problem as a textit question answering (QA) task. While the collections of articles from web corpus provide updated information about the emerging entities, the retrieved texts can be noisy, irrelevant, thus leading to inaccurate answers. Effectively filtering out noisy articles as well as bad answers is the key to improving extraction accuracy. Knowledge graph (KG), which contains rich, well organized information about entities, provides a good resource to address the challenge. In this work, we propose a knowledge guided reinforcement learning (RL) framework for open attribute value extraction. Informed by relevant knowledge in KG, we trained a deep Q network to sequentially compare extracted answers to improve extraction accuracy. The proposed framework is applicable to different information extraction system. Our experimental results show that our method outperforms the baselines by 16.5 27.8 .


Deep Residual Neural Networks for Audio Spoofing Detection. The state of art models for speech synthesis and voice conversion are capable of generating synthetic speech that is perceptually indistinguishable from bonafide human speech. These methods represent a threat to the automatic speaker verification (ASV) systems. Additionally, replay attacks where the attacker uses a speaker to replay a previously recorded genuine human speech are also possible. We present our solution for the ASVSpoof2019 competition, which aims to develop countermeasure systems that distinguish between spoofing attacks and genuine speeches. Our model is inspired by the success of residual convolutional networks in many classification tasks. We build three variants of a residual convolutional neural network that accept different feature representations (MFCC, Log magnitude STFT, and CQCC) of input. We compare the performance achieved by our model variants and the competition baseline models. In the logical access scenario, the fusion of our models has zero t DCF cost and zero equal error rate (EER), as evaluated on the development set. On the evaluation set, our model fusion improves the t DCF and EER by 25 compared to the baseline algorithms. Against physical access replay attacks, our model fusion improves the baseline algorithms t DCF and EER scores by 71 and 75 on the evaluation set, respectively.


Reconfigurable Intelligent Surfaces for the Connectivity of Autonomous Vehicles. The use of real time software controlled reconfigurable intelligent surface (RIS) units is proposed to increase the reliability of vehicle to everything (V2X) communications. The optimum placement problem of the RIS units is formulated by considering their sizes and operating modes. The solution of the problem is given, where it is shown that the placement of the RIS depends on the locations of the transmitter and the receiver. The proposed RIS supported highway deployment can combat the high path loss experienced by the use of higher frequency bands, including the millimeter wave and the terahertz bands, that are expected to be used in the next generation wireless networks, enabling the use of the existing base station deployment plans to remain operational, while providing reliable and energy efficient connectivity for autonomous vehicles.


A fixed point approach for decaying solutions of difference equations. A boundary value problem associated to the difference equation with advanced argument begin equation label Delta bigl (a n Phi( Delta x n ) bigr) b n Phi(x n p ) 0, n geq1 tag end equation is presented, where Phi(u) u alpha sgn u, alpha 0,p is a positive integer and the sequences a,b, are positive. We deal with a particular type of decaying solutions of ( ref ), that is the so called intermediate solutions (see below for the definition) . In particular, we prove the existence of these type of solutions for ( ref ) by reducing it to a suitable boundary value problem associated to a difference equation without deviating argument. Our approach is based on a fixed point result for difference equations, which originates from existing ones stated in the continuous case. Some examples and suggestions for future researches complete the paper.


Resource Analysis of Ethereum 2.0 Clients. Scalability is a common issue among the most used permissionless blockchains, and several approaches have been proposed accordingly. As Ethereum is set to be a solid foundation for a decentralized Internet web, the need for tackling scalability issues while preserving the security of the network is an important challenge. In order to successfully deliver effective scaling solutions, Ethereum is on the path of a major protocol improvement called Ethereum 2.0 (Eth2), which implements sharding. As the change of consensus mechanism is an extremely delicate matter, this improvement will be achieved through different phases, the first of which is the implementation of the Beacon Chain. For this, a specification has been developed and multiple groups have implemented clients to run the new protocol. In this work, we analyse the resource usage behaviour of different clients running as Eth2 nodes, comparing their performance and analysing differences. Our results show multiple network perturbations and how different clients react to it.


A plane version of the Fleischner theorem. Let cal G be a family of all 3 regular 2 connected plane multigraphs without loops. We prove the following plane version of the Fleischner theorem Let G be a graph in cal G . For every 2 factor X of G having n components there exists a plane graph J having a Hamilton cycle omitting all edges of E(G) backslash E(X) and such that G subseteq J subset G 2 , Delta(J) leqslant 5 and E(J) E(G) 2n 2 . Moreover, if G is simple, then J is simple too.


Tax and expense modified risk minimization for insurance payment processes. We study the problem of determining risk minimizing investment strategies for insurance payment processes in the presence of taxes and expenses. We consider the situation where taxes and expenses are paid continuously and symmetrically and introduce the concept of tax and expense modified risk minimization. Risk minimizing strategies in the presence of taxes and expenses are derived and linked to Galtchouk Kunita Watanabe decompositions associated with modified versions of the original payment processes. Furthermore, we show equivalence to an alternative approach involving an artificial market consisting of after tax and after expense assets, and we establish a type of consistency with classic risk minimization. Finally, a case study involving classic multi state life insurance payments in combination with a bond market exemplifies the results.


Noise Recycling. We introduce Noise Recycling, a method that enhances decoding performance of channels subject to correlated noise without joint decoding. The method can be used with any combination of codes, code rates and decoding techniques. In the approach, a continuous realization of noise is estimated from a lead channel by subtracting its decoded output from its received signal. This estimate is then used to improve the accuracy of decoding of an orthogonal channel that is experiencing correlated noise. In this design, channels aid each other only through the provision of noise estimates post decoding. In a Gauss Markov model of correlated noise, we constructive establish that noise recycling employing a simple successive order enables higher rates than not recycling noise. Simulations illustrate noise recycling can be employed with any code and decoder, and that noise recycling shows Block Error Rate (BLER) benefits when applying the same predetermined order as used to enhance the rate region. Finally, for short codes we establish that an additional BLER improvement is possible through noise recycling with racing, where the lead channel is not pre determined, but is chosen on the fly based on which decoder completes first.


Classification of higher wide subcategories for higher Auslander algebras of type A. A subcategory mathscr W of an abelian category is called wide if it is closed under kernels, cokernels, and extensions. Wide subcategories are of interest in representation theory because of their links to other homological and combinatorial objects, established among others by Ingalls Thomas and Marks v S v t ov 'i v c ek. If d geqslant 1 is an integer, then Jasso introduced the notion of d abelian categories, where kernels, cokernels, and extensions have been replaced by longer complexes. Wide subcategories can be generalised to this situation. Important examples of d abelian categories arise as the d cluster tilting subcategories mathscr M n,d of operatorname mod A n d 1 , where A n d 1 is a higher Auslander algebra of type A in the sense of Iyama. This paper gives a combinatorial description of the wide subcategories of mathscr M n,d in terms of what we call non interlacing collections.


On the derivation of stability properties for time delay systems without constraint on the time derivative of the initial condition. Stability of retarded differential equations is closely related to the existence of Lyapunov Krasovskii functionals. Even if a number of converse results have been reported regarding the existence of such functionals, there is a lack of constructive methods for their selection. For certain classes of time delay systems for which such constructive methods are lacking, it was shown that Lyapunov Krasovskii functionals that are also allowed to depend on the time derivative of the state trajectory are efficient tools for the study of the stability properties. However, in such an approach the initial condition needs to be assumed absolutely continuous with a square integrable weak derivative. In addition, the stability results hold for initial conditions that are evaluated based on the magnitude of both the initial condition and its time derivative. The main objective of this paper is to show that, for certain classes of time delay systems, the aforementioned stability results can actually be extended to initial conditions that are only assumed continuous and that are evaluated in uniform norm.


Long time Evolution of Interfacial Structure of Partial Wetting. When a solid plate is withdrawn from a partially wetting liquid, a liquid layer dewets the moving substrate. High speed imaging reveals alternating thin and thick regions in the entrained layer in the transverse direction at steady state. This paper systematically compares this situation to the reversed process, forced wetting, where a solid entrains an air layer along its surface as it is pushed into a liquid. To quantify the absolute thickness of these steady state structures precisely, I have developed an optical technique, taking advantage of the angle dependence of interference, combined with a method based on a maximum likelihood estimation. The data show that the thicknesses of both regions of the film scale with the capillary number, Ca. In addition, a new region is observed during onset which differs from the behavior predicted by previous models.


Gradient Based Biobjective Shape Optimization to Improve Reliability and Cost of Ceramic Components. We consider the simultaneous optimization of the reliability and the cost of a ceramic component in a biobjective PDE constrained shape optimization problem. A probabilistic Weibull type model is used to assess the probability of failure of the component under tensile load, while the cost is assumed to be proportional to the volume of the component. Two different gradient based optimization methods are suggested and compared at 2D test cases. The numerical implementation is based on a first discretize then optimize strategy and benefits from efficient gradient computations using adjoint equations. The resulting approximations of the Pareto front nicely exhibit the trade off between reliability and cost and give rise to innovative shapes that compromise between these conflicting objectives.


Earned Benefit Maximization in Social Networks Under Budget Constraint. Given a social network with nonuniform selection cost of the users, the problem of textit Budgeted Influence Maximization (BIM in short) asks for selecting a subset of the nodes within an allocated budget for initial activation, such that due to the cascading effect, influence in the network is maximized. In this paper, we study this problem with a variation, where a set of nodes are designated as target nodes, each of them is assigned with a benefit value, that can be earned by influencing them, and our goal is to maximize the earned benefit by initially activating a set of nodes within the budget. We call this problem as the textsc Earned Benefit Maximization Problem . First, we show that this problem is NP mbox Hard and the benefit function is textit monotone , textit sub mbox modular under the textit Independent Cascade Model of diffusion. We propose an incremental greedy strategy for this problem and show, with minor modification it gives (1 frac 1 sqrt e ) mbox factor approximation guarantee on the earned benefit. Next, by exploiting the sub mbox modularity property of the benefit function, we improve the efficiency of the proposed greedy algorithm. Then, we propose a hop mbox based heuristic method, which works based on the computation of the expected earned benefit' of the effective neighbors corresponding to the target nodes. Finally, we perform a series of extensive experiments with four real mbox life, publicly available social network datasets. From the experiments, we observe that the seed sets selected by the proposed algorithms can achieve more benefit compared to many existing methods. Particularly, the hop mbox based approach is found to be more efficient than the other ones for solving this problem.


Maximal systole of hyperbolic surface with largest S 3 extendable abelian symmetry. We give the formula for the maximal systole of the surface admits the largest S 3 extendable abelian group symmetry. The result we get is 2 mathrm arccosh K . Here begin eqnarray K sqrt 3 frac 1 216 L 3 frac 1 8 L 2 frac 5 8 L frac 1 8 sqrt frac 1 108 L(L 2 18L 27) sqrt 3 frac 1 216 L 3 frac 1 8 L 2 frac 5 8 L frac 1 8 sqrt frac 1 108 L(L 2 18L 27) frac L 3 6 . end eqnarray and L 4 cos 2 frac pi g 1 .


Uniqueness of unitary structure for unitarizable fusion categories. We show that every unitarizable fusion category, and more generally every semisimple C tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between such categories. We prove analogous results for unitarizable braided fusion categories and module categories.


LIDA Lightweight Interactive Dialogue Annotator. Dialogue systems have the potential to change how people interact with machines but are highly dependent on the quality of the data used to train them. It is therefore important to develop good dialogue annotation tools which can improve the speed and quality of dialogue data annotation. With this in mind, we introduce LIDA, an annotation tool designed specifically for conversation data. As far as we know, LIDA is the first dialogue annotation system that handles the entire dialogue annotation pipeline from raw text, as may be the output of transcription services, to structured conversation data. Furthermore it supports the integration of arbitrary machine learning models as annotation recommenders and also has a dedicated interface to resolve inter annotator disagreements such as after crowdsourcing annotations for a dataset. LIDA is fully open source, documented and publicly available https github.com Wluper lida


Left covariant differential calculi on widetilde rm GL q(2) . In this work, we introduce the mathbb Z 3 graded differential algebra, denoted by Omega( widetilde rm GL q(2)) , treated as the mathbb Z 3 graded quantum de Rham complex of mathbb Z 3 graded quantum group widetilde rm GL q(2) . In this sense, we construct left covariant differential calculi on the mathbb Z 3 graded quantum group widetilde rm GL q(2) .


The Impact of the Physical Layer on the Performance of Concurrent Transmissions. The popularity of concurrent transmissions (CT) has soared after recent studies have shown their feasibility on the four physical layers specified by BLE 5, hence providing an alternative to the use of IEEE 802.15.4 for the design of reliable and efficient low power wireless protocols. However, to date, the extent to which physical layer properties affect the performance of CT has not yet been investigated in detail. This paper fills this gap and provides the first extensive study on the impact of the physical layer on CT based solutions using IEEE 802.15.4 and BLE 5. We first highlight through simulation how the impact of errors induced by de synchronization and beating on the performance of CT highly depends on the choice of the underlying physical layer. We then confirm these observations experimentally on real hardware through an analysis of the bit error distribution across received packets, unveiling possible techniques to effectively handle these errors. We further study the performance of CT based flooding protocols in the presence of radio interference on a large scale, and derive important insights on how the used physical layer affects their dependability.


Multireference electron correlation methods Journeys along potential energy surfaces. Multireference electron correlation methods describe static and dynamical electron correlation in a balanced way, and therefore, can yield accurate and predictive results even when single reference methods or multiconfigurational self consistent field (MCSCF) theory fails. One of their most prominent applications in quantum chemistry is the exploration of potential energy surfaces (PES). This includes the optimization of molecular geometries, such as equilibrium geometries and conical intersections, and on the fly photodynamics simulations both depend heavily on the ability of the method to properly explore the PES. Since such applications require the nuclear gradients and derivative couplings, the availability of analytical nuclear gradients greatly improves the utility of quantum chemical methods. This review focuses on the developments and advances made in the past two decades. To motivate the readers, we first summarize the notable applications of multireference electron correlation methods to mainstream chemistry, including geometry optimizations and on the fly dynamics. Subsequently, we review the analytical nuclear gradient and derivative coupling theories for these methods, and the software infrastructure that allows one to make use of these quantities in applications. The future prospects are discussed at the end of this review.


RII number of knot projections. Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations of types 1 and 3. This is motivated by " O stlund conjecture Deformations of type 1 and 3 are sufficient to describe a homotopy from any generic immersion of a circle in a two dimensional plane to an embedding of the circle (2001), which implies RII number always would be zero. However, Hagge and Yazinski disproved the conjecture by showing the first counterexample with 16 double points, which implies that RII number is nontrivial. This paper shows that RII number can be any nonnegative number.


Learning Threshold Type Investment Strategies with Stochastic Gradient Method. In online portfolio optimization the investor makes decisions based on new, continuously incoming information on financial assets (typically their prices). In our study we consider a learning algorithm, namely the Kiefer Wolfowitz version of the Stochastic Gradient method, that converges to the log optimal solution in the threshold type, buy and sell strategy class. The systematic study of this method is novel in the field of portfolio optimization we aim to establish the theory and practice of Stochastic Gradient algorithm used on parametrized trading strategies. We demonstrate on a wide variety of stock price dynamics (e.g. with stochastic volatility and long memory) that there is an optimal threshold type strategy which can be learned. Subsequently, we numerically show the convergence of the algorithm. Furthermore, we deal with the typically problematic question of how to choose the hyperparameters (the parameters of the algorithm and not the dynamics of the prices) without knowing anything about the price other than a small sample.


A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities. Smart Cities, with their problems and challenges, is an emerging smart paradigm. To achieve better quality and usability levels, we need engineering solutions to support smart cities' soft layer development. Statics, dynamics and generative semantics are involved, but segregating Coordination Protocols from the other semantics could act as a complexity management strategy to tackle the inherent complexity of smart city systems. Here we demonstrate how we could engineer the protocols layer of a smart city by using a Reo Based solution.


On infinite guarded recursive specifications in process algebra. In most presentations of ACP with guarded recursion, recursive specifications are finite or infinite sets of recursion equations of which the right hand sides are guarded terms. The completeness with respect to bisimulation equivalence of the axioms of ACP with guarded recursion has only been proved for the special case where recursive specifications are finite sets of recursion equations of which the right hand sides are guarded terms of a restricted form known as linear terms. In this note, we widen this completeness result to the general case.


A Code Injection Method for Rapid Docker Image Building. Docker images are composed of multiple layers, each of which contains a set of instructions, and an archive of files. Layers allow Docker to separate a large build task into smaller ones, such that when a part of the program is changed, only the corresponding layer needs to be changed. Yet the current implementation has major inefficiencies that make the rebuilding of an image unnecessarily slow when changes in bottom layers are required uneven content distribution amongst layers, the need to rebuild an entire layer during update, and the rebuild fall throughs in many cases. In this paper, we propose a code injection method that overcomes these inefficiencies by targeting only the changed layer and then bypassing the layer's content checksum. This process is developed specifically for an interpreted language such as Python, where changes can be detected explicitly via text diff tools and run as is without compilation. We then demonstrate that this method can accelerate the rebuild time, effectively reducing the O(n) where n size of layer rebuild time to O(1). Whereas for compiled languages, literal code injection cannot guarantee integrity in compiled machine code. Expanding on the same code injection principle, multi layer targeted code injection will be addressed in a future discussion.


Simple Linear and Nonlinear Examples of Truncated Power Series Algebra. The paper displays calculations of linear systems as explained by Dr. Guido Sterbini. We also show a simple nonlinear calculation involving a rotation followed by an octupole kick. Some analytical calculations are compared to the Truncated Power Series Algebra (TPSA) results. The examples use the library PTC which is in MAD X of CERN and BMAD of Cornell (see Ref. 1 ).


The trace of the local mathbf A 1 degree. We prove that the local mathbb A 1 degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local mathbb A 1 degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren's relating the Scheja Storch form and the local mathbb A 1 degree.


UnrealText Synthesizing Realistic Scene Text Images from the Unreal World. Synthetic data has been a critical tool for training scene text detection and recognition models. On the one hand, synthetic word images have proven to be a successful substitute for real images in training scene text recognizers. On the other hand, however, scene text detectors still heavily rely on a large amount of manually annotated real world images, which are expensive. In this paper, we introduce UnrealText, an efficient image synthesis method that renders realistic images via a 3D graphics engine. 3D synthetic engine provides realistic appearance by rendering scene and text as a whole, and allows for better text region proposals with access to precise scene information, e.g. normal and even object meshes. The comprehensive experiments verify its effectiveness on both scene text detection and recognition. We also generate a multilingual version for future research into multilingual scene text detection and recognition. Additionally, we re annotate scene text recognition datasets in a case sensitive way and include punctuation marks for more comprehensive evaluations. The code and the generated datasets are released at https github.com Jyouhou UnrealText .


Acrostic Poem Generation. We propose a new task in the area of computational creativity acrostic poem generation in English. Acrostic poems are poems that contain a hidden message typically, the first letter of each line spells out a word or short phrase. We define the task as a generation task with multiple constraints given an input word, 1) the initial letters of each line should spell out the provided word, 2) the poem's semantics should also relate to it, and 3) the poem should conform to a rhyming scheme. We further provide a baseline model for the task, which consists of a conditional neural language model in combination with a neural rhyming model. Since no dedicated datasets for acrostic poem generation exist, we create training data for our task by first training a separate topic prediction model on a small set of topic annotated poems and then predicting topics for additional poems. Our experiments show that the acrostic poems generated by our baseline are received well by humans and do not lose much quality due to the additional constraints. Last, we confirm that poems generated by our model are indeed closely related to the provided prompts, and that pretraining on Wikipedia can boost performance.


Global solutions to the compressible Euler equations with heat transport by convection around Dyson's isothermal affine solutions. Global solutions to the compressible Euler equations with heat transport by convection in the whole space are shown to exist through perturbations of Dyson's isothermal affine solutions. This setting presents new difficulties because of the vacuum at infinity behavior of the density. In particular, the perturbation of isothermal motion introduces a Gaussian function into our stability analysis and a novel finite propagation result is proven to handle potentially unbounded terms arising from the presence of the Gaussian. Crucial stabilization in time effects of the background motion are mitigated through the use of this finite propagation result however and a careful use of the heat transport formulation in conjunction with new time weight manipulations are used to establish global existence. The heat transport by convection offers unique physical insights into the model and mathematically, we use a controlled spatial perturbation in the analysis of this feature of our system which leads us to exploit source term estimates as part of our techniques.


A Critical Review of Concepts, Benefits, and Pitfalls of Blockchain Technology Using Concept Map. Blockchain is relatively a new area of research. However, a surge of research studies on the blockchain has taken place in recent years. These research studies have mostly focused on designing and developing conceptual frameworks to build more reliable, transparent and efficient digital systems. While blockchain brings a wide variety of benefits, it also imposes certain challenges. Therefore, the objective of this research is to understand the properties of blockchain, its current uses, observed benefits and pitfalls to provide a balanced understanding of blockchain. A systematic literature review approach was adopted in this paper in order to attain the objective. A total of 51 articles were selected and reviewed. As outcomes, this research provides a summary of the state of the art research studies conducted in the area of blockchain. Furthermore, we develop a set of concept maps aiming to provide in depth knowledge on blockchain technology for its efficient and effective usage in the development of future technological solutions.


The obnoxious facilities planar p median problem. In this paper we propose the planar obnoxious p median problem. In the p median problem the objective is to find p locations for facilities that minimize the weighted sum of distances between demand points and their closest facility. In the obnoxious version we add constraints that each facility must be located at least a certain distance from a partial set of demand points because they generate nuisance affecting these demand points. The resulting problem is extremely non convex and traditional non linear solvers such as SNOPT are not efficient. An efficient solution method based on Voronoi diagrams is proposed and tested. We also constructed the efficient frontiers of the test problems to assist the planers in making location decisions.


Hunting Co operation in the Middle Predator in Three Species Food Chain Model. We proposed a three species food chain model with hunting co operation among the middle predator. In this model, third species prey on the middle species and the middle prey on the first species. The hunting cooperation among the middle predator affects interestingly on the numbers of both the predators and the prey. We examined the linear stability of the model theoretically and numerically. We conducted the two parameter numerical analysis to check the long term behavior and the change in the number of species with respect to hunting co operation. Our findings supported the postulates from the two species food chain model with hunting co operation.


Generating Positive Bounding Boxes for Balanced Training of Object Detectors. Two stage deep object detectors generate a set of regions of interest (RoI) in the first stage, then, in the second stage, identify objects among the proposed RoIs that sufficiently overlap with a ground truth (GT) box. The second stage is known to suffer from a bias towards RoIs that have low intersection over union (IoU) with the associated GT boxes. To address this issue, we first propose a sampling method to generate bounding boxes (BB) that overlap with a given reference box more than a given IoU threshold. Then, we use this BB generation method to develop a positive RoI (pRoI) generator that produces RoIs following any desired spatial or IoU distribution, for the second stage. We show that our pRoI generator is able to simulate other sampling methods for positive examples such as hard example mining and prime sampling. Using our generator as an analysis tool, we show that (i) IoU imbalance has an adverse effect on performance, (ii) hard positive example mining improves the performance only for certain input IoU distributions, and (iii) the imbalance among the foreground classes has an adverse effect on performance and that it can be alleviated at the batch level. Finally, we train Faster R CNN using our pRoI generator and, compared to conventional training, obtain better or on par performance for low IoUs and significant improvements when trained for higher IoUs for Pascal VOC and MS COCO datasets. The code is available at https github.com kemaloksuz BoundingBoxGenerator.


White blood cell classification. This paper proposes a novel automatic classification framework for the recognition of five types of white blood cells. Segmenting complete white blood cells from blood smears images and extracting advantageous features from them remain challenging tasks in the classification of white blood cells. Therefore, we present an adaptive threshold segmentation method to deal with blood smears images with non uniform color and uneven illumination, which is designed based on color space information and threshold segmentation. Subsequently, after successfully separating the white blood cell from the blood smear image, a large number of nonlinear features including geometrical, color and texture features are extracted. Nevertheless, redundant features can affect the classification speed and efficiency, and in view of that, a feature selection algorithm based on classification and regression trees (CART) is designed. Through in depth analysis of the nonlinear relationship between features, the irrelevant and redundant features are successfully removed from the initial nonlinear features. Afterwards, the selected prominent features are fed into particle swarm optimization support vector machine (PSO SVM) classifier to recognize the types of the white blood cells. Finally, to evaluate the performance of the proposed white blood cell classification methodology, we build a white blood cell data set containing 500 blood smear images for experiments. By comparing with the ground truth obtained manually, the proposed segmentation method achieves an average of 95.98 and 97.57 dice similarity for segmented nucleus and cell regions respectively. Furthermore, the proposed methodology achieves 99.76 classification accuracy, which well demonstrates its effectiveness.


Stability and the index of biharmonic hypersurfaces in a Riemannian manifold. In this paper, we give an explicit second variation formula for a biharmonic hypersurface in a Riamannian manifold similar to that of a minimal hypersurface. We then use the second variation formula to compute the stability index of the known biharmonic hypersurfaces in a Euclidean sphere, and to prove the non existence of unstable proper biharmonic hypersurface in a Euclidean space or a hyperbolic space, which adds another special case to support Chen's conjecture on biharmonic submanifolds.


Twisted cyclic quiver varieties on curves. We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A type quiver variety we count the number of points at which the cyclic moduli space intersects a Hitchin fibre and we describe explicitly certain mathbb C times flows into the nilpotent cone. We also extend this description to moduli of certain twisted cyclic quivers whose rank vector has components larger than 1. We show that, for certain choices of underlying bundle, such moduli spaces decompose as a product of cyclic quiver varieties in which each node is a line bundle.


Transfer Entropy where Shannon meets Turing. Transfer entropy is capable of capturing nonlinear source destination relations between multi variate time series. It is a measure of association between source data that are transformed into destination data via a set of linear transformations between their probability mass functions. The resulting tensor formalism is used to show that in specific cases, e.g., in the case the system consists of three stochastic processes, bivariate analysis suffices to distinguish true relations from false relations. This allows us to determine the causal structure as far as encoded in the probability mass functions of noisy data. The tensor formalism was also used to derive the Data Processing Inequality for transfer entropy.


Global optimization based dimer method for finding saddle points. Searching saddle points on the potential energy surface is a challenging problem in the rare event. When there exist multiple saddle points, sampling different initial guesses are needed in most dimer type methods in order to find distinct saddle points. In this paper, we present a novel global optimization based dimer method (GOD) to efficiently search saddle points by coupling ant colony optimization (ACO) algorithm with optimization based shrinking dimer (OSD) method. In particular, we apply OSD method as a local search algorithm for saddle points and construct a pheromone function in ACO to update the global population. By applying a two dimensional example and a benchmark problem of seven atom island on the (111) surface of an FCC crystal, we demonstrate that GOD shows a significant improvement in computational efficiency compared with OSD method. Our algorithm offers a new framework to open up possibilities of adopting other global optimization methods to search saddle points.


Gradient discretization of two phase poro mechanical models with discontinuous pressures at matrix fracture interfaces. We consider a two phase Darcy flow in a fractured and deformable porous medium for which the fractures are described as a network of planar surfaces leading to so called hybrid dimensional models. The fractures are assumed open and filled by the fluids and small deformations with a linear elastic constitutive law are considered in the matrix. As opposed to 10 , the phase pressures are not assumed continuous at matrix fracture interfaces, which raises new challenges in the convergence analysis related to the additional interfacial equations and unknowns for the flow. As shown in 16, 2 , unlike single phase flow, discontinuous pressure models for two phase flows provide a better accuracy than continuous pressure models even for highly permeable fractures. This is due to the fact that fractures fully filled by one phase can act as barriers for the other phase, resulting in a pressure discontinuity at the matrix fracture interface. The model is discretized using the gradient discretization method 22 , which covers a large class of conforming and non conforming schemes. This framework allows for a generic convergence analysis of the coupled model using a combination of discrete functional tools. In this work, the gradient discretization of 10 is extended to the discontinuous pressure model and the convergence to a weak solution is proved. Numerical solutions provided by the continuous and discontinuous pressure models are compared on gas injection and suction test cases using a Two Point Flux Approximation (TPFA) finite volume scheme for the flows and P 2 finite elements for the mechanics.


A measure approximation theorem for Wasserstein robust expected values. We consider the problem of finding the infimum, over probability measures being in a ball defined by Wasserstein distance, of the expected value of a bounded Lipschitz random variable on mathbf R d . We show that if the sigma algebra is approximated in by a sequence of sigma algebras in a certain natural sense, then the solutions of the induced approximated minimization problems converge to that of the initial minimization problem.


Linear instability of stationary solutions for the Korteweg de Vries equation on a star graph. The aim of this work is to establish a linear instability criterium of stationary solutions for the Korteweg de Vries model on a star graph with a structure represented by a finite collections of semi infinite edges. By considering a boundary condition of delta type interaction at the graph vertex, we show that the continuous tail and bump profiles are linearly unstable in a balanced star graph. The use of the analytic perturbation theory of operators and the extension theory of symmetric operators is a piece fundamental in our stability analysis. The arguments presented in this investigation has prospects for the study of the instability of stationary waves solutions of other nonlinear evolution equations on star graphs.


Formalizing Integration Patterns with Multimedia Data (Extended Version). The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model driven development and ensure its correctness. So far, the formalization requirements were focusing on more "conventional" integration scenarios, in which control flow, transactional persistent data and time aspects were considered. However, none of these works took into consideration another arising EAI trend that covers social and multimedia computing. In this work we propose a Petri net based formalism that addresses requirements arising from the multimedia domain. We also demonstrate realizations of one of the most frequently used multimedia patterns and discuss which implications our formal proposal may bring into the area of the multimedia EAI development.


A Clustering Based Method for Automatic Educational Video Recommendation Using Deep Face Features of Lecturers. Discovering and accessing specific content within educational video bases is a challenging task, mainly because of the abundance of video content and its diversity. Recommender systems are often used to enhance the ability to find and select content. But, recommendation mechanisms, especially those based on textual information, exhibit some limitations, such as being error prone to manually created keywords or due to imprecise speech recognition. This paper presents a method for generating educational video recommendation using deep face features of lecturers without identifying them. More precisely, we use an unsupervised face clustering mechanism to create relations among the videos based on the lecturer's presence. Then, for a selected educational video taken as a reference, we recommend the ones where the presence of the same lecturers is detected. Moreover, we rank these recommended videos based on the amount of time the referenced lecturers were present. For this task, we achieved a mAP value of 99.165 .


Counting 4 Patterns in Permutations Is Equivalent to Counting 4 Cycles in Graphs. Permutation sigma appears in permutation pi if there exists a subsequence of pi that is order isomorphic to sigma . The natural question is to check if sigma appears in pi , and if so count the number of occurrences. We know that for any fixed length k, we can check if a given pattern of length k appears in a permutation of length n in time linear in n, but being able to count all such occurrences in f(k) cdot n o(k log k) time would refute the exponential time hypothesis (ETH). This motivates a systematic study of the complexity of counting occurrences for different patterns of fixed small length k. We investigate this question for k 4. Very recently, Even Zohar and Leng arXiv 2019 identified two types of 4 patterns. For the first type they designed an O(n) time algorithm, while for the second they were able to provide an O(n 1.5 ) time algorithm. This brings up the question whether the permutations of the second type are inherently harder than the first type. We establish a connection between counting 4 patterns of the second type and counting 4 cycles in a sparse undirected graph. By designing two way reductions we show that the complexities of both problems are the same, up to polylogarithmic factors. This allows us to provide a reasonable argument for why there is a difference in the complexities for counting 4 patterns of the two types. In particular, even for the simpler problem of detecting a 4 cycle in a graph on m edges, the best known algorithm works in O(m 4 3 ) time. Our reductions imply that an O(n 4 3 varepsilon ) time algorithm for counting occurrences would imply an exciting breakthrough for counting (and hence also detecting) 4 cycles. In the other direction, by plugging in the fastest known algorithm for counting 4 cycles, we obtain an algorithm for counting occurrences of any 4 pattern in O(n 1.48 ) time.


Weird AI Yankovic Generating Parody Lyrics. Lyrics parody swaps one set of words that accompany a melody with a new set of words, preserving the number of syllables per line and the rhyme scheme. Lyrics parody generation is a challenge for controllable text generation. We show how a specialized sampling procedure, combined with backward text generation with XLNet can produce parody lyrics that reliably meet the syllable and rhyme scheme constraints.We introduce the Weird AI Yankovic system and provide a case study evaluation. We conclude with societal implications of neural lyric parody generation.


Three dimensional cell culture model for hepatocytes opens a new avenue of real world research on liver. 3 demensional (3D) culture model is a valuable in vitro tool to study liver biology, metabolism, organogenesis, tissue morphology, drug discovery and cell based assays. Compelling evidence suggests that cells cultured in 3D model exhibit superior liver specific functions over the conventional 2 dimentional (2D) culture in evaluating hepatobiliary drug disposition and drug induced hepatotoxicity due to the in vivo like physiological condition recapitulated by 3D model technologies. We will review the attributes of 3D culture model in acquiring relevant liver phenotypes and functionalities, discuss the critical niche factors found to modulate hepatocytes and highlight recent advancements on 3D cell culture technologies to achieve next level in vitro tool for preclinical study.


Underwater object detection using Invert Multi Class Adaboost with deep learning. In recent years, deep learning based methods have achieved promising performance in standard object detection. However, these methods lack sufficient capabilities to handle underwater object detection due to these challenges (1) Objects in real applications are usually small and their images are blurry, and (2) images in the underwater datasets and real applications accompany heterogeneous noise. To address these two problems, we first propose a novel neural network architecture, namely Sample WeIghted hyPEr Network (SWIPENet), for small object detection. SWIPENet consists of high resolution and semantic rich Hyper Feature Maps which can significantly improve small object detection accuracy. In addition, we propose a novel sample weighted loss function which can model sample weights for SWIPENet, which uses a novel sample re weighting algorithm, namely Invert Multi Class Adaboost (IMA), to reduce the influence of noise on the proposed SWIPENet. Experiments on two underwater robot picking contest datasets URPC2017 and URPC2018 show that the proposed SWIPENet IMA framework achieves better performance in detection accuracy against several state of the art object detection approaches.


Block adaptive Cross Approximation of Discrete Integral Operators. In this article we extend the adaptive cross approximation (ACA) method known for the efficient approximation of discretisations of integral operators to a block adaptive version. While ACA is usually employed to assemble hierarchical matrix approximations having the same prescribed accuracy on all blocks of the partition, for the solution of linear systems it may be more efficient to adapt the accuracy of each block to the actual error of the solution as some blocks may be more important for the solution error than others. To this end, error estimation techniques known from adaptive mesh refinement are applied to automatically improve the block wise matrix approximation. This allows to interlace the assembling of the coefficient matrix with the iterative solution.


Relative Seiberg Witten invariants and a sum formula. We study relative Seiberg Witten moduli spaces and define relative invariants for a pair (X, Sigma) consisting of a smooth, closed, oriented 4 manifold X and a smooth, closed, oriented 2 dimensional submanifold Sigma ! subset !X with positive genus. These relative Seiberg Witten invariants are meant to be the counterparts of relative Gromov Witten invariants. We also obtain a sum formula (aka a product formula) that relates the SW invariants of a sum X of two closed oriented 4 manifolds X 1 and X 2 along a common oriented surface Sigma with dual self intersections to the relative SW invariants of (X 1, Sigma) and (X 2, Sigma) . Our formula generalizes Morgan Szab 'o Taubes' product formula.


Direct and inverse results for Kantorovich type exponential sampling series. In this article, we analyze the behaviour of the new family of Kantorovich type exponential sampling series. We obtain the point wise approxi mation theorem and Voronovskaya type theorem for the series. Further, we obtain a representation formula and an inverse result approximation for these operators. Finally, we give some examples of kernel functions to which the theory can be applied along with the graphical representation.


Data driven model order reduction for granular media. We investigate the use of reduced order modelling to run discrete element simulations at higher speeds. Taking a data driven approach, we run many offline simulations in advance and train a model to predict the velocity field from the mass distribution and system control signals. Rapid model inference of particle velocities replaces the intense process of computing contact forces and velocity updates. In coupled DEM and multibody system simulation the predictor model can be trained to output the interfacial reaction forces as well. An adaptive model order reduction technique is investigated, decomposing the media in domains of solid, liquid, and gaseous state. The model reduction is applied to solid and liquid domains where the particle motion is strongly correlated with the mean flow, while resolved DEM is used for gaseous domains. Using a ridge regression predictor, the performance is tested on simulations of a pile discharge and bulldozing. The measured accuracy is about 90 and 65 , respectively, and the speed up range between 10 and 60.


The reflectionless properties of Toeplitz waves and Hankel waves an analysis via Bessel functions. We study reflectionless properties at the boundary for the wave equation in one space dimension and time, in terms of a well known matrix that arises from a simple discretisation of space. It is known that all matrix functions of the familiar second difference matrix representing the Laplacian in this setting are the sum of a Toeplitz matrix and a Hankel matrix. The solution to the wave equation is one such matrix function. Here, we study the behaviour of the corresponding waves that we call Toeplitz waves and Hankel waves. We show that these waves can be written as certain linear combinations of even Bessel functions of the first kind. We find exact and explicit formulae for these waves. We also show that the Toeplitz and Hankel waves are reflectionless on even, respectively odd, traversals of the domain. Our analysis naturally suggests a new method of computer simulation that allows control, so that it is possible to choose in advance the number of reflections. An attractive result that comes out of our analysis is the appearance of the well known shift matrix, and also other matrices that might be thought of as Hankel versions of the shift matrix. By revealing the algebraic structure of the solution in terms of shift matrices, we make it clear how the Toeplitz and Hankel waves are indeed reflectionless at the boundary on even or odd traversals. Although the subject of the reflectionless boundary condition has a long history, we believe the point of view that we adopt here in terms of matrix functions is new.


Multi Modal Fusion for End to End RGB T Tracking. We propose an end to end tracking framework for fusing the RGB and TIR modalities in RGB T tracking. Our baseline tracker is DiMP (Discriminative Model Prediction), which employs a carefully designed target prediction network trained end to end using a discriminative loss. We analyze the effectiveness of modality fusion in each of the main components in DiMP, i.e. feature extractor, target estimation network, and classifier. We consider several fusion mechanisms acting at different levels of the framework, including pixel level, feature level and response level. Our tracker is trained in an end to end manner, enabling the components to learn how to fuse the information from both modalities. As data to train our model, we generate a large scale RGB T dataset by considering an annotated RGB tracking dataset (GOT 10k) and synthesizing paired TIR images using an image to image translation approach. We perform extensive experiments on VOT RGBT2019 dataset and RGBT210 dataset, evaluating each type of modality fusing on each model component. The results show that the proposed fusion mechanisms improve the performance of the single modality counterparts. We obtain our best results when fusing at the feature level on both the IoU Net and the model predictor, obtaining an EAO score of 0.391 on VOT RGBT2019 dataset. With this fusion mechanism we achieve the state of the art performance on RGBT210 dataset.


Thermal corrections of lowest order for a helium atom. In this paper the new type of thermal corrections for the helium and helium like atomic systems are introduced. These are thermal one photon exchange between the bound electrons and nucleus as well as between the bound electrons induced by the blackbody radiation (BBR). All the derivations are given within the rigorous QED theory. It is shown that these thermal corrections are the same order in powers of alpha (fine structure constant) as the well known BBR induced Stark shift but the different behaviour in temperature. The numerical results presented in this paper make possible to expect their significance for modern experiments and testing the fundamental interactions in helium.


Invariants of polynomials mod Frobenius powers. Lewis, Reiner, and Stanton conjectured a Hilbert seriesfor a space of invariants under an action of finite general linear groups using (q,t) binomial coefficients. This work gives an analog in positive characteristic of theorems relating various Catalan numbers to the representation theory of rational Cherednik algebras. They consider a finite general linear group as a reflection group acting on the quotient of a polynomial ring by iterated powers of the irrelevant ideal under the Frobenius map. We prove a variant of their conjecture in the local case, when the group acting fixes a reflecting hyperplane.


Extended Labeled Faces in the Wild (ELFW) Augmenting Classes for Face Segmentation. Existing face datasets often lack sufficient representation of occluding objects, which can hinder recognition, but also supply meaningful information to understand the visual context. In this work, we introduce Extended Labeled Faces in the Wild (ELFW), a dataset supplementing with additional face related categories and also additional faces the originally released semantic labels in the vastly used Labeled Faces in the Wild (LFW) dataset. Additionally, two object based data augmentation techniques are deployed to synthetically enrich under represented categories which, in benchmarking experiments, reveal that not only segmenting the augmented categories improves, but also the remaining ones benefit.


Stability of pulse like earthquake ruptures. Pulse like ruptures arise spontaneously in many elastodynamic rupture simulations and seem to be the dominant rupture mode along crustal faults. Pulse like ruptures propagating under steady state conditions can be efficiently analysed theoretically, but it remains unclear how they can arise and how they evolve if perturbed. Using thermal pressurisation as a representative constitutive law, we conduct elastodynamic simulations of pulse like ruptures and determine the spatio temporal evolution of slip, slip rate and pulse width perturbations induced by infinitesimal perturbations in background stress. These simulations indicate that steady state pulses driven by thermal pressurisation are unstable. If the initial stress perturbation is negative, ruptures stop conversely, if the perturbation is positive, ruptures grow and transition to either self similar pulses (at low background stress) or expanding cracks (at elevated background stress). Based on a dynamic dislocation model, we develop an elastodynamic equation of motion for slip pulses, and demonstrate that steady state slip pulses are unstable if their accrued slip b is a decreasing function of the uniform background stress tau mathrm b . This condition is satisfied by slip pulses driven by thermal pressurisation. The equation of motion also predicts quantitatively the growth rate of perturbations, and provides a generic tool to analyse the propagation of slip pulses. The unstable character of steady state slip pulses implies that this rupture mode is a key one determining the minimum stress conditions for sustainable ruptures along faults, i.e., their strength''. Furthermore, slip pulse instabilities can produce a remarkable complexity of rupture dynamics, even under uniform background stress conditions and material properties.


Random Forest Classifier Based Prediction of Rogue waves on Deep Oceans. In this paper, we present a novel approach for the prediction of rogue waves in oceans using statistical machine learning methods. Since the ocean is composed of many wave systems, the change from a bimodal or multimodal directional distribution to unimodal one is taken as the warning criteria. Likewise, we explore various features that help in predicting rogue waves. The analysis of the results shows that the Spectral features are significant in predicting rogue waves. We find that nonlinear classifiers have better prediction accuracy than the linear ones. Finally, we propose a Random Forest Classifier based algorithm to predict rogue waves in oceanic conditions. The proposed algorithm has an Overall Accuracy of 89.57 to 91.81 , and the Balanced Accuracy varies between 79.41 to 89.03 depending on the forecast time window. Moreover, due to the model free nature of the evaluation criteria and interdisciplinary characteristics of the approach, similar studies may be motivated in other nonlinear dispersive media, such as nonlinear optics, plasma, and solids, governed by similar equations, which will allow for the early detection of extreme waves