Energy based Graph Convolutional Networks for Scoring Protein Docking Models. Structural information about protein protein interactions, often missing at the interactome scale, is important for mechanistic understanding of cells and rational discovery of therapeutics. Protein docking provides a computational alternative to predict such information. However, ranking near native docked models high among a large number of candidates, often known as the scoring problem, remains a critical challenge. Moreover, estimating model quality, also known as the quality assessment problem, is rarely addressed in protein docking. In this study the two challenging problems in protein docking are regarded as relative and absolute scoring, respectively, and addressed in one physics inspired deep learning framework. We represent proteins' and encounter complexes' 3D structures as intra and inter molecular residue contact graphs with atom resolution node and edge features. And we propose a novel graph convolutional kernel that pool interacting nodes' features through edge features so that generalized interaction energies can be learned directly from graph data. The resulting energy based graph convolutional networks (EGCN) with multi head attention are trained to predict intra and inter molecular energies, binding affinities, and quality measures (interface RMSD) for encounter complexes. Compared to a state of the art scoring function for model ranking, EGCN has significantly improved ranking for a CAPRI test set involving homology docking and is comparable for Score set, a CAPRI benchmark set generated by diverse community wide docking protocols not known to training data. For Score set quality assessment, EGCN shows about 27 improvement to our previous efforts. Directly learning from 3D structure data in graph representation, EGCN represents the first successful development of graph convolutional networks for protein docking.


On the Efficacy of Knowledge Distillation. In this paper, we present a thorough evaluation of the efficacy of knowledge distillation and its dependence on student and teacher architectures. Starting with the observation that more accurate teachers often don't make good teachers, we attempt to tease apart the factors that affect knowledge distillation performance. We find crucially that larger models do not often make better teachers. We show that this is a consequence of mismatched capacity, and that small students are unable to mimic large teachers. We find typical ways of circumventing this (such as performing a sequence of knowledge distillation steps) to be ineffective. Finally, we show that this effect can be mitigated by stopping the teacher's training early. Our results generalize across datasets and models.


Data Augmentation using Pre trained Transformer Models. Language model based pre trained models such as BERT have provided significant gains across different NLP tasks. In this paper, we study different types of transformer based pre trained models such as auto regressive models (GPT 2), auto encoder models (BERT), and seq2seq models (BART) for conditional data augmentation. We show that prepending the class labels to text sequences provides a simple yet effective way to condition the pre trained models for data augmentation. Additionally, on three classification benchmarks, pre trained Seq2Seq model outperforms other data augmentation methods in a low resource setting. Further, we explore how different pre trained model based data augmentation differs in terms of data diversity, and how well such methods preserve the class label information.


Coverings of Configurations, Prime Configurations, and Orbiconfigurations. This exploratory paper considers the notion of a covering of a configuration and G coverings which are coverings that are quotients under a semi regular group action. We consider prime configurations, those which cannot G cover other configurations, before considering orbiconfigurations. These are a generalized notion of a configuration in the spirit of an orbifold. We derive some specific results as to when configurations are prime as well as considering when an orbiconfiguration is bad that is, when it cannot be G covered by a configuration. A number of open questions are posited within.


Facial Expressions as a Vulnerability in Face Recognition. This work explores facial expression bias as a security vulnerability of face recognition systems. Despite the great performance achieved by state of the art face recognition systems, the algorithms are still sensitive to a large range of covariates. We present a comprehensive analysis of how facial expression bias impacts the performance of face recognition technologies. Our study analyzes i) facial expression biases in the most popular face recognition databases and ii) the impact of facial expression in face recognition performances. Our experimental framework includes two face detectors, three face recognition models, and three different databases. Our results demonstrate a huge facial expression bias in the most widely used databases, as well as a related impact of face expression in the performance of state of the art algorithms. This work opens the door to new research lines focused on mitigating the observed vulnerability.


Cued wmt19 ewc lms. Two techniques provide the fabric of the Cambridge University Engineering Department's (CUED) entry to the WMT19 evaluation campaign elastic weight consolidation (EWC) and different forms of language modelling (LMs). We report substantial gains by fine tuning very strong baselines on former WMT test sets using a combination of checkpoint averaging and EWC. A sentence level Transformer LM and a document level LM based on a modified Transformer architecture yield further gains. As in previous years, we also extract n gram probabilities from SMT lattices which can be seen as a source conditioned n gram LM.


Large genus asymptotic geometry of random square tiled surfaces and of random multicurves. We study the combinatorial geometry of a random closed multicurve on a surface of large genus and of a random square tiled surface of large genus. We prove that primitive components of a random multicurve represent linearly independent homology cycles with asymptotic probability 1 and that it is primitive with asymptotic probability sqrt 2 2 . We prove analogous properties for random square tiled surfaces. In particular, we show that all conical singularities of a random square tiled surface belong to the same leaf of the horizontal foliation and to the same leaf of the vertical foliation with asymptotic probability 1. We show that the number of components of a random multicurve and the number of maximal horizontal cylinders of a random square tiled surface of genus g are both very well approximated by the number of cycles of a random permutation for an explicit non uniform measure on the symmetric group of 3g 3 elements. In particular, we prove that the expected value of these quantities is asymptotically equivalent to ( log(6g 6) gamma) 2 log 2 . These results are based on our formula for the Masur Veech volume of the moduli space of holomorphic quadratic differentials combined with deep large genus asymptotic analysis of this formula performed by A. Aggarwal and with the uniform asymptotic formula for intersection numbers of psi classes on the Deligne Mumford compactification of the moduli space of curves proved by A. Aggarwal.


A Cascade Electron Source Based on Series Horizontal Tunneling Junctions. On chip electron sources have wide potential applications in miniature vacuum electronic devices and emission efficiency is one of their performance benchmarks. A cascade electron source based on series metal insulator metal horizontal tunneling junctions is proposed, where free electrons are additively extracted from each tunneling junction. A cascade electron source with n horizontal tunneling junctions shows a theoretical emission efficiency of approximately eta (n) 1 (1 eta 0 ) n, with eta 0 being the efficiency of a single tunneling junction. Experimentally, a cascade electron source with three Si SiOx Si tunneling junctions is demonstrated, achieving an emission efficiency as high as 47.6 . This work provides a new way of realizing highly efficient on chip electron sources.


The Devil is in the Details Self Supervised Attention for Vehicle Re Identification. In recent years, the research community has approached the problem of vehicle re identification (re id) with attention based models, specifically focusing on regions of a vehicle containing discriminative information. These re id methods rely on expensive key point labels, part annotations, and additional attributes including vehicle make, model, and color. Given the large number of vehicle re id datasets with various levels of annotations, strongly supervised methods are unable to scale across different domains. In this paper, we present Self supervised Attention for Vehicle Re identification (SAVER), a novel approach to effectively learn vehicle specific discriminative features. Through extensive experimentation, we show that SAVER improves upon the state of the art on challenging VeRi, VehicleID, Vehicle 1M and VERI Wild datasets.


Supporting Web Archiving via Web Packaging. We describe challenges related to web archiving, replaying archived web resources, and verifying their authenticity. We show that Web Packaging has significant potential to help address these challenges and identify areas in which changes are needed in order to fully realize that potential.


Kernel based Active Subspaces with application to CFD parametric problems using Discontinuous Galerkin method. Nonlinear extensions to the active subspaces method have brought remarkable results for dimension reduction in the parameter space and response surface design. We further develop a kernel based nonlinear method employing active subspace. In particular we introduce it in a broader mathematical framework that contemplates also the reduction in parameter space of multivariate objective functions. The implementation of the method is thoroughly discussed and then tested on more challenging benchmarks (e.g. radial symmetric and multivariate functions) than the ones already present in the literature, for which dimension reduction with active subspaces produces already good results. Finally, we show a whole pipeline for the design of response surfaces with the new methodology in the context of a parametric CFD application which employs the Discontinuous Galerkin method.


Is Face Recognition Sexist? No, Gendered Hairstyles and Biology Are. Recent news articles have accused face recognition of being "biased", "sexist" or "racist". There is consensus in the research literature that face recognition accuracy is lower for females, who often have both a higher false match rate and a higher false non match rate. However, there is little published research aimed at identifying the cause of lower accuracy for females. For instance, the 2019 Face Recognition Vendor Test that documents lower female accuracy across a broad range of algorithms and datasets also lists "Analyze cause and effect" under the heading "What we did not do". We present the first experimental analysis to identify major causes of lower face recognition accuracy for females on datasets where previous research has observed this result. Controlling for equal amount of visible face in the test images reverses the apparent higher false non match rate for females. Also, principal component analysis indicates that images of two different females are inherently more similar than of two different males, potentially accounting for a difference in false match rates.


Coherent and Controllable Outfit Generation. When thinking about dressing oneself, people often have a theme in mind whether they're going to a tropical getaway or wish to appear attractive at a cocktail party. A useful outfit generation system should come up with clothing items that are compatible while matching a theme specified by the user. Existing methods use item wise compatibility between products but lack an effective way to enforce a global constraint (e.g., style, occasion). We introduce a method that generates outfits whose items match a theme described by a text query. Our method uses text and image embeddings to represent fashion items. We learn a multimodal embedding where the image representation for an item is close to its text representation, and use this embedding to measure item query coherence. We then use a discriminator to compute compatibility between fashion items. This strategy yields a compatibility prediction method that meets or exceeds the state of the art. Our method combines item item compatibility and item query coherence to construct an outfit whose items are (a) close to the query and (b) compatible with one another. Quantitative evaluation shows that the items in our outfits are tightly clustered compared to standard outfits. Furthermore, outfits produced by similar queries are close to one another, and outfits produced by very different queries are far apart. Qualitative evaluation shows that our method responds well to queries. A user study suggests that people understand the match between the queries and the outfits produced by our method.


Hidden variable recurrent fractal interpolation function with four function contractivity factors. In this paper, we introduce a construction of hidden variable recurrent fractal interpolation functions (HVRFIF) with four function contractivity factors. In the fractal interpolation theory, it is very important to ensure flexibility and diversity of the construction of interpolation function. Recurrent iterated function system (RIFS) produce fractal sets with local self similarity structure. Therefore the RIFS can describe the irregular and complicated objects in nature better than the iterated function system (IFS). Hidden variable fractal interpolation function (HVFIF) is neither self similar nor self affine one. The HVFIF is more complicated, diverse and irregular than the fractal interpolation function (FIF). The contractivity factor is important one that determins characteristics of FIFs. We present a constructions of one variable HVRFIFs and bivariable HVRFIFs using RIFS with four function contractivity factors.


Deep learning based surrogate flow modeling and geological parameterization for data assimilation in 3D subsurface flow. Data assimilation in subsurface flow systems is challenging due to the large number of flow simulations often required, and by the need to preserve geological realism in the calibrated (posterior) models. In this work we present a deep learning based surrogate model for two phase flow in 3D subsurface formations. This surrogate model, a 3D recurrent residual U Net (referred to as recurrent R U Net), consists of 3D convolutional and recurrent (convLSTM) neural networks, designed to capture the spatial temporal information associated with dynamic subsurface flow systems. A CNN PCA procedure (convolutional neural network post processing of principal component analysis) for parameterizing complex 3D geomodels is also described. This approach represents a simplified version of a recently developed supervised learning based CNN PCA framework. The recurrent R U Net is trained on the simulated dynamic 3D saturation and pressure fields for a set of random channelized' geomodels (generated using 3D CNN PCA). Detailed flow predictions demonstrate that the recurrent R U Net surrogate model provides accurate results for dynamic states and well responses for new geological realizations, along with accurate flow statistics for an ensemble of new geomodels. The 3D recurrent R U Net and CNN PCA procedures are then used in combination for a challenging data assimilation problem involving a channelized system. Two different algorithms, namely rejection sampling and an ensemble based method, are successfully applied. The overall methodology described in this paper may enable the assessment and refinement of data assimilation procedures for a range of realistic and challenging subsurface flow problems.


Numerical bifurcation analysis of renewal equations via pseudospectral approximation. We propose an approximation of nonlinear renewal equations by means of ordinary differential equations. We consider the integrated state, which is absolutely continuous and satisfies a delay differential equation. By applying the pseudospectral approach to the abstract formulation of the differential equation, we obtain an approximating system of ordinary differential equations. We present convergence proofs for equilibria and the associated characteristic roots, and we use some models from ecology and epidemiology to illustrate the benefits of the approach to perform numerical bifurcation analyses of equilibria and periodic solutions. The numerical simulations show that the implementation of the new approximating system is ten times more efficient than the one originally proposed in Breda et al, SIAM Journal on Applied Dynamical Systems, 2016 , as it avoids the numerical inversion of an algebraic equation.


The Borsuk Ulam theorem for closed 3 dimensional manifolds having Nil Geometry. Let M be a closed, connected 3 manifold which admits Nil geometry, we determine all free involutions tau on M and the Borsuk Ulam index of (M, tau ) .


Bandwidth Slicing to Boost Federated Learning in Edge Computing. Bandwidth slicing is introduced to support federated learning in edge computing to assure low communication delay for training traffic. Results reveal that bandwidth slicing significantly improves training efficiency while achieving good learning accuracy.


Meaning guided video captioning. Current video captioning approaches often suffer from problems of missing objects in the video to be described, while generating captions semantically similar with ground truth sentences. In this paper, we propose a new approach to video captioning that can describe objects detected by object detection, and generate captions having similar meaning with correct captions. Our model relies on S2VT, a sequence to sequence model for video captioning. Given a sequence of video frames, the encoding RNN takes a frame as well as detected objects in the frame in order to incorporate the information of the objects in the scene. The following decoding RNN outputs are then fed into an attention layer and then to a decoder for generating captions. The caption is compared with the ground truth by learning metric so that vector representations of generated captions are semantically similar to those of ground truth. Experimental results with the MSDV dataset demonstrate that the performance of the proposed approach is much better than the model without the proposed meaning guided framework, showing the effectiveness of the proposed model. Code are publicly available at https github.com captanlevi Meaning guided video captioning .


Deformations and BBF form on non Kahler holomorphically symplectic manifolds. In 1995, Dan Guan constructed examples of non Kahler, simply connected holomorphically symplectic manifolds. An alternative construction, using the Hilbert scheme of Kodaira Thurston surface, was given by F. Bogomolov. We investigate topology and deformation theory of Bogomolov Guan manifolds and show that it is similar to that of hyperkahler manifolds. We prove the local Torelli theorem, showing that holomorphically symplectic deformations of BG manifolds are unobstructed, and the corresponding period map is locally a diffeomorphism. Using the local Torelli theorem, we prove the Fujiki formula for a BG manifold M , showing that there exists a symmetric form q on the second cohomology such that for any w in H 2(M) one has int M w 2n q(w,w) n . This form is a non Kahler version of the Beauville Bogomolov Fujiki form known in hyperkahler geometry.


Convergence analysis under consistent error bounds. We introduce the notion of consistent error bound functions which provides a unifying framework for error bounds for multiple convex sets. This framework goes beyond the classical Lipschitzian and H "olderian error bounds and includes logarithmic and entropic error bound found in the exponential cone. It also includes the error bounds obtainable under the theory of amenable cones. Our main result is that the convergence rate of several projection algorithms for feasibility problems can be expressed explicitly in terms of the underlying consistent error bound function. Another feature is the usage of Karamata theory and functions of regular variations which allows us to reason about convergence rates while bypassing certain complicated expressions. Finally, applications to conic feasibility problems are given and we show that a number of algorithms have convergence rates depending explicitly on the singularity degree of the problem.


Sthread In Vivo Model Checking of Multithreaded Programs. This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C C programs, without the need for an intermediate formal model. Sthread is in vivo in that it provides a drop in replacement for the pthread library, and operates directly on the compiled target executable and application libraries. There is no compiler generated intermediate representation. The system calls in the application remain unaltered. Optionally, the programmer can add a small amount of additional native C code to include assertions based on the user's algorithm, declarations of shared memory regions, and progress liveness conditions. The work has two important motivations (i) It can be used to verify correctness of a concurrent algorithm being implemented with multithreading and (ii) it can also be used pedagogically to provide immediate feedback to students learning either to employ POSIX threads system calls or to implement multithreaded algorithms. This work represents the first example of in vivo model checking operating directly on the standard multithreaded executable and its libraries, without the aid of a compiler generated intermediate representation. Sthread leverages the open source SimGrid libraries, and will eventually be integrated into SimGrid. Sthread employs a non preemptive model in which thread context switches occur only at multithreaded system calls (e.g., mutex, semaphore) or before accesses to shared memory regions. The emphasis is on finding "algorithmic bugs" (bugs in an original algorithm, implemented as POSIX threads and shared memory regions. This work is in contrast to Context Bounded Analysis (CBA), which assumes a preemptive model for threads, and emphasizes implementation bugs such as buffer overruns and write after free for memory allocation. In particular, the Sthread in vivo approach has strong future potential for pedagogy, by providing immediate feedback to students who are first learning the correct use of Pthreads system calls in implementation of concurrent algorithms based on multithreading.


Joint Lifelong Topic Model and Manifold Ranking for Document Summarization. Due to the manifold ranking method has a significant effect on the ranking of unknown data based on known data by using a weighted network, many researchers use the manifold ranking method to solve the document summarization task. However, their models only consider the original features but ignore the semantic features of sentences when they construct the weighted networks for the manifold ranking method. To solve this problem, we proposed two improved models based on the manifold ranking method. One is combining the topic model and manifold ranking method (JTMMR) to solve the document summarization task. This model not only uses the original feature, but also uses the semantic feature to represent the document, which can improve the accuracy of the manifold ranking method. The other one is combining the lifelong topic model and manifold ranking method (JLTMMR). On the basis of the JTMMR, this model adds the constraint of knowledge to improve the quality of the topic. At the same time, we also add the constraint of the relationship between documents to dig out a better document semantic features. The JTMMR model can improve the effect of the manifold ranking method by using the better semantic feature. Experiments show that our models can achieve a better result than other baseline models for multi document summarization task. At the same time, our models also have a good performance on the single document summarization task. After combining with a few basic surface features, our model significantly outperforms some model based on deep learning in recent years. After that, we also do an exploring work for lifelong machine learning by analyzing the effect of adding feedback. Experiments show that the effect of adding feedback to our model is significant.


On semi discrete sub partitions of vector valued measures. We introduce a concept of optimal transport for vector valued measures and its dual formulation. In this note we concentrate on the semi discrete case and show some fundamental differences between the scalar and vector cases. A manifestation of this difference is the possibility of non existence of optimal solution for the dual problem for feasible primer problems.


SLEDGE A Simple Yet Effective Baseline for COVID 19 Scientific Knowledge Search. With worldwide concerns surrounding the Severe Acute Respiratory Syndrome Coronavirus 2 (SARS CoV 2), there is a rapidly growing body of literature on the virus. Clinicians, researchers, and policy makers need a way to effectively search these articles. In this work, we present a search system called SLEDGE, which utilizes SciBERT to effectively re rank articles. We train the model on a general domain answer ranking dataset, and transfer the relevance signals to SARS CoV 2 for evaluation. We observe SLEDGE's effectiveness as a strong baseline on the TREC COVID challenge (topping the learderboard with an nDCG 10 of 0.6844). Insights provided by a detailed analysis provide some potential future directions to explore, including the importance of filtering by date and the potential of neural methods that rely more heavily on count signals. We release the code to facilitate future work on this critical task at https github.com Georgetown IR Lab covid neural ir


AnchiBERT A Pre Trained Model for Ancient ChineseLanguage Understanding and Generation. Ancient Chinese is the essence of Chinese culture. There are several natural language processing tasks of ancient Chinese domain, such as ancient modern Chinese translation, poem generation, and couplet generation. Previous studies usually use the supervised models which deeply rely on parallel data. However, it is difficult to obtain large scale parallel data of ancient Chinese. In order to make full use of the more easily available monolingual ancient Chinese corpora, we release AnchiBERT, a pre trained language model based on the architecture of BERT, which is trained on large scale ancient Chinese corpora. We evaluate AnchiBERT on both language understanding and generation tasks, including poem classification, ancient modern Chinese translation, poem generation, and couplet generation. The experimental results show that AnchiBERT outperforms BERT as well as the non pretrained models and achieves state of the art results in all cases.


Understanding Information Flow in Cascades Using Network Motifs. A growing set of applications consider the process of network formation by using subgraphs as a tool for generating the network topology. One of the pressing research challenges is thus to be able to use these subgraphs to understand the network topology of information cascades which ultimately paves the way to theorize about how information spreads over time. In this paper, we make the first attempt at using network motifs to understand whether or not they can be used as generative elements for the diffusion network organization during different phases of the cascade lifecycle. In doing so, we propose a motif percolation based algorithm that uses network motifs to measure the extent to which they can represent the temporal cascade network organization. We compare two phases of the cascade lifecycle from the perspective of diffusion the phase of steep growth and the phase of inhibition prior to its saturation. Our experiments on a set of cascades from the Weibo platform and with 5 node motifs demonstrate that there are only a few specific motif patterns with triads that are able to characterize the spreading process and hence the network organization during the inhibition region better than during the phase of high growth. In contrast, we do not find compelling results for the phase of steep growth.


An averaging principle for fractional stochastic differential equations with L 'evy noise. This paper is devoted to the study of an averaging principle for fractional stochastic differential equations in Rnwith L 'evy motion, using an integral transform method. We obtain a time averaged equation under suitable assumptions. Furthermore, we show that the solutions of averaged equation approach the solutions of the original equation. Our results in this paper provide better understanding for effective approximation of fractional dynamical systems with non Gaussian L 'evy noise.


Permutation orbifolds of Virasoro vertex algebras and W algebras. We study permutation orbifolds of the 2 fold and 3 fold tensor product for the Virasoro vertex algebra mathcal V c of central charge c . In particular, we show that for all but finitely many central charges left( mathcal V c otimes 3 right) mathbb Z 3 is a W algebra of type (2, 4, 5, 6 3 , 7, 8 3 , 9 3 , 10 2 ) . We also study orbifolds of their simple quotients and obtain new realizations of certain rational affine W algebras associated to a principal nilpotent element. Further analysis of permutation orbifolds of the celebrated (2,5) minimal vertex algebra mathcal L frac 22 5 is presented.


Combinatorics and Geometry for the Many ported, Distributed and Shared Memory Architecture. Manycore SoC architectures based on on chip shared memory are preferred for flexible and programmable solutions in many application domains. However, the development of many ported memory is becoming increasingly challenging as we approach the end of Moore's Law while systems requirements demand larger shared memory and more access ports. Memory can no longer be designed simply to minimize single transaction access time, but must take into account the functionality on the SoC. In this paper we examine a common large memory usage in SoC, where the memory is used as storage for large buffers that are then moved for time scheduled processing. We merge two aspects of many ported memory design, combinatorial analysis of interconnect, and geometric analysis of critical paths, extending both to show that in this case the SoC performance benefits significantly from a hierarchical, distributed and staged architecture with lower radix switches and fractal randomization of memory bank addressing, along with judicious and geometry aware application of speed up. The results presented show the new architecture supports 20 higher throughput with 20 lower latency and 30 less interconnection area at approximately the same power consumption. We demonstrate the flexibility and scalability of this architecture on silicon from a physical design perspective by taking the design through layout. The architecture enables a much easier implementation flow that works well with physically irregular port access and memory dominant layout, which is a common issue in real designs.


Learning Fast Approximations of Sparse Nonlinear Regression. The idea of unfolding iterative algorithms as deep neural networks has been widely applied in solving sparse coding problems, providing both solid theoretical analysis in convergence rate and superior empirical performance. However, for sparse nonlinear regression problems, a similar idea is rarely exploited due to the complexity of nonlinearity. In this work, we bridge this gap by introducing the Nonlinear Learned Iterative Shrinkage Thresholding Algorithm (NLISTA), which can attain a linear convergence under suitable conditions. Experiments on synthetic data corroborate our theoretical results and show our method outperforms state of the art methods.


From p modular to p adic Langlands correspondences for operatorname U (1,1)( mathbb Q p 2 mathbb Q p) deformations in the non supercuspidal case. This paper surveys what is known about (conjectural) p adic and p modular semisimple Langlands correspondences in the non supercuspidal setting for the unramified quasi split unitary group operatorname U (1,1)( mathbb Q p 2 mathbb Q p) . It focuses in particular on the potential of deformation theory to relate these correspondences.


Flexible goal oriented adaptivity for higher order space time discretizations of transport problems with coupled flow. In this work, a flexible higher order space time adaptive finite element approximation of convection dominated transport with coupled fluid flow is developed and studied. Convection dominated transport is a challenging subproblem in poromechanics in which coupled transport with flow, chemical reaction and mechanical response in porous media is considered. Key ingredients are the arbitrary degree discontinuous Galerkin time discretization of the primal and dual problems for the Dual Weighted Residual (DWR) approach, an a posteriori error estimation for the transport problem coupled with flow and its implementation in an advanced software architecture. The error estimate allows the separation of the temporal and spatial discretization error contributions which facilitates the simultaneous adjustment of the time and space mesh. The performance of the approach and its software implementation is studied by numerical convergence examples as well as an example of physical interest for convection dominated cases.


Disease Normalization with Graph Embeddings. The detection and normalization of diseases in biomedical texts are key biomedical natural language processing tasks. Disease names need not only be identified, but also normalized or linked to clinical taxonomies describing diseases such as MeSH. In this paper we describe deep learning methods that tackle both tasks. We train and test our methods on the known NCBI disease benchmark corpus. We propose to represent disease names by leveraging MeSH's graphical structure together with the lexical information available in the taxonomy using graph embeddings. We also show that combining neural named entity recognition models with our graph based entity linking methods via multitask learning leads to improved disease recognition in the NCBI corpus.


Syntactic categories for dependent type theory sketching and adequacy. We argue that locally Cartesian closed categories form a suitable doctrine for defining dependent type theories, including non extensional ones. Using the theory of sketches, one may define syntactic categories for type theories in a style that resembles the use of Martin L "of's Logical Framework, following the "judgments as types" principle. The concentration of type theories into their locally Cartesian closed categories of judgments is particularly convenient for proving syntactic metatheorems by semantic means (canonicity, normalization, etc.). Perhaps surprisingly, the notion of a context plays no role in the definitions of type theories in this sense, but the structure of a class of display maps can be imposed on a theory post facto wherever needed, as advocated by the Edinburgh school and realized by the worlds declarations of the Twelf proof assistant. Uemura has proposed representable map categories together with a stratified logical framework for similar purposes. The stratification in Uemura's framework restricts the use of dependent products to be strictly positive, in contrast to the tradition of Martin L "of's logical framework and Schroeder Heister's analysis of higher level deductions. We prove a semantic adequacy result for locally Cartesian closed categories relative to Uemura's representable map categories if a theory is definable in the framework of Uemura, the locally Cartesian closed category that it generates is a conservative (fully faithful) extension of its syntactic representable map category. On this basis, we argue for the use of locally Cartesian closed categories as a simpler alternative to Uemura's representable map categories.


Dehn surgery and hyperbolic knot complements without hidden symmetries. Neumann and Reid conjecture that there are exactly three knot complements which admit hidden symmetries. This paper establishes several results that provide evidence for the conjecture. Our main technical tools provide obstructions to having infinitely many fillings of a cusped manifold produce knot complements admitting hidden symmetries. Applying these tools, we show for any two bridge link complement, at most finitely many fillings of one cusp can be covered by knot complements admitting hidden symmetries. We also show that the figure eight knot complement is the unique knot complement with volume less than 6v 0 approx 6.0896496 that admits hidden symmetries. We then conclude with two independent proofs that among hyperbolic knot complements only the figure eight knot complement can admit hidden symmetries and cover a filling of the two bridge link complement mathbb S 3 setminus 6 2 2 . Each of these proofs shows that the technical tools established earlier can be made effective.


Sustainable Recreational Fishing Using a Novel Electrical Muscle Stimulation (EMS) Lure and Ensemble Network Algorithm to Maximize Catch and Release Survivability. With 200 700 million anglers in the world, sportfishing is nearly five times more common than commercial trawling. Worldwide, hundreds of thousands of jobs are linked to the sportfishing industry, which generates billions of dollars for water side communities and fisheries conservatories alike. However, the sheer popularity of recreational fishing poses threats to aquatic biodiversity that are hard to regulate. For example, as much as 25 of overfished populations can be traced to anglers. This alarming statistic is explained by the average catch and release mortality rate of 43 , which primarily results from hook related injuries and careless out of water handling. The provisional patented design proposed in this paper addresses both these problems separately First, a novel, electrical muscle stimulation based fishing lure is proposed as a harmless and low cost alternative to sharp hooks. Early prototypes show a constant electrical current of 90 mA applied through a 200g European perch's jaw can support a reeling tension of 2N safely within the necessary ranges. Second, a fish eye camera bob is designed to wirelessly relay underwater footage to a smartphone app, where an ensemble convolutional neural network automatically classifies the fish's species, estimates its length, and cross references with local and state fishing regulations (ie. minimum size, maximum bag limit, and catch season). This capability reduces overfishing by helping anglers avoid accidentally violating guidelines and eliminates the need to reel the fish in and expose it to negligent handling. IN conjunction, this cheap, lightweight, yet high tech invention is a paradigm shift in preserving a world favorite pastime while at the same time making recreational fishing more sustainable.


Matrix Lie Groups as 4 Dimensional Hypercomplex Manifolds with Hermitian Norden metrics. There are studied Lie groups considered as almost hypercomplex Hermitian Norden manifolds, which are integrable and have the lowest dimension four. It is established a correspondence of the derived Lie algebras of types of invariant hypercomplex structures and the explicit matrix representation of their Lie groups. There are constructed examples of the considered structure of different types on some known Lie groups.


On a system of second order difference equations. We obtain explicit formulas for the solutions of the system of second order difference equations of the form x n 1 frac x n y n 1 y n (a n b n x n y n 1 ) , quad y n 1 frac x n 1 y n x n (c n d n x n 1 y n) , where (a n) n in mathbb N 0 , (b n) n in mathbb N 0 , (c n) n in mathbb N 0 and (d n) n in mathbb N 0 are real sequences. We use Lie symmetry analysis to derive non trivial symmetries and thereafter, exact solutions are obtained.


On the stabilizing effect of rotation in the 3d Euler equations. While it is well known that constant rotation induces linear dispersive effects in various fluid models, we study here its effect on long time nonlinear dynamics in the inviscid setting. More precisely, we investigate stability in the 3d rotating Euler equations in mathbb R 3 with a fixed speed of rotation. We show that for any M 0 , axisymmetric initial data of sufficiently small size varepsilon lead to solutions that exist for a long time at least varepsilon M and disperse. This is a manifestation of the stabilizing effect of rotation, regardless of its speed. To achieve this we develop an anisotropic framework that naturally builds on the available symmetries. This allows for a precise quantification and control of the geometry of nonlinear interactions, while at the same time giving enough information to obtain dispersive decay via adapted linear dispersive estimates.


SMT based Constraint Answer Set Solver EZSMT . Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search. Its theoretical foundation lies on generalizations of Niemela's characterization of answer sets of a logic program via so called level rankings.


Centering ADMM for the Semidefinite Relaxation of the QAP. We propose a new method for solving the semidefinite (SD) relaxation of the quadratic assignment problem (QAP), called Centering ADMM. Centering ADMM is an alternating direction method of multipliers (ADMM) combining the centering steps used in the interior point method. The first stage of Centering ADMM updates the iterate so that it approaches the central path by incorporating a barrier function term into the objective function, as in the interior point method. If the current iterate is sufficiently close to the central path with a sufficiently small value of the barrier parameter, the method switches to the standard version of ADMM. We show that Centering ADMM (not employing a dynamic update of the penalty parameter) has global convergence properties. To observe the effect of the centering steps, we conducted numerical experiments with SD relaxation problems of instances in QAPLIB. The results demonstrate that the centering steps are quite efficient for some classes of instances.


Empirical Study of Effect of Dynamic Travel Time Information on Driver Route Choice Behavior. The objective of this paper is to study the effect of travel time information on day to day driver route choice behavior. A real world experimental study is designed to have participants repeatedly choose between two alternative routes for five origin destination pairs over multiple days after providing them with dynamically updated travel time information (average travel time and travel time variability). The results demonstrate that historical travel time information enhances behavioral rationality by 10 on average and reduces inertial tendencies to increase risk seeking in the gain domain. Furthermore, expected travel time information is demonstrated to be more effective than travel time variability information in enhancing rational behavior when drivers have limited experiences. After drivers gain sufficient knowledge of routes, however, the difference in behavior associated with the two information types becomes insignificant. The results also demonstrate that, when drivers lack experience, the faster less reliable route is more attractive than the slower more reliable route. However, with cumulative experiences, drivers become more willing to take the more reliable route given that they are reluctant to become risk seekers once experience is gained. Furthermore, the effect of information on driver behavior differs significantly by participant and trip, which is, to a large extent, dependent on personal traits and trip characteristics.


Image Resizing by Reconstruction from Deep Features. Traditional image resizing methods usually work in pixel space and use various saliency measures. The challenge is to adjust the image shape while trying to preserve important content. In this paper we perform image resizing in feature space where the deep layers of a neural network contain rich important semantic information. We directly adjust the image feature maps, extracted from a pre trained classification network, and reconstruct the resized image using a neural network based optimization. This novel approach leverages the hierarchical encoding of the network, and in particular, the high level discriminative power of its deeper layers, that recognizes semantic objects and regions and allows maintaining their aspect ratio. Our use of reconstruction from deep features diminishes the artifacts introduced by image space resizing operators. We evaluate our method on benchmarks, compare to alternative approaches, and demonstrate its strength on challenging images.


Sum Frequency Signals in 2D Terahertz Terahertz Raman Spectroscopy. We demonstrate that halogenated methane 2D Terahertz Terahertz Raman (2D TTR) spectra are determined by the complicated structure of the instrument response function (IRF) along f 1 and by the molecular coherences along f 2 . Experimental improvements have helped increase the resolution and dynamic range of the measurements, including accurate THz pulse shape characterization. Sum frequency excitations convolved with the IRF are found to quantitatively reproduce the 2D TTR signal. A new Reduced Density Matrix model which incorporates sum frequency pathways, with linear and harmonic operators fully supports this (re)interpretation of the 2D TTR spectra.


A remark on extension of log pluricanononical forms for nondegenerate hypersurfaces. We determine, complementing a paper by Marcel Morales, the log pluricanonical forms on a nondegenerate hypersurface. This description shows that they are extendable to 1 parameter deformations. For an equisingular deformation we thus obtain a simultaneous log canonical model.


Tutorial on NLP Inspired Network Embedding. This tutorial covers a few recent papers in the field of network embedding. Network embedding is a collective term for techniques for mapping graph nodes to vectors of real numbers in a multidimensional space. To be useful, a good embedding should preserve the structure of the graph. The vectors can then be used as input to various network and graph analysis tasks, such as link prediction. The papers discussed develop methods for the online learning of such embeddings, and include DeepWalk, LINE, node2vec, struc2vec and megapath2vec. These new methods and developments in online learning of network embeddings have major applications for the analysis of graphs and networks, including online social networks.


Some Structural and Closure Properties of an Extension of the q tensor Product of Groups, q geq 0 . In this work we study some structural properties of the group eta q(G, H) , q a non negative integer, which is an extension of the q tensor product G otimes q H) , where G and H are normal subgroups of some group L . We establish by simple arguments some closure properties of eta q(G,H) when G and H belong to certain Schur classes. This extends similar results concerning the case q 0 found in the literature. Restricting our considerations to the case G H , we compute the q tensor square D n otimes q D n for q odd, where D n denotes the dihedral group of order 2n . Upper bounds to the exponent of G otimes q G are also established for nilpotent groups G of class leq 3 , which extend to all q geq 0 similar bound found by Moravec in 21 .


Revisiting consensus protocols through wait free parallelization. The recent surge of blockchain systems has renewed the interest in traditional Byzantine fault tolerant consensus protocols. Many such consensus protocols have a primary backup design in which an assigned replica, the primary, is responsible for coordinating the consensus protocol. Although the primary backup design leads to relatively simple and high performance consensus protocols, it places an unreasonable burden on a good primary and allows malicious primaries to substantially affect the system performance. In this paper, we propose a protocol agnostic approach to improve the design of primary backup consensus protocols. At the core of our approach is a novel wait free approach of running several instances of the underlying consensus protocol in parallel. To yield a high performance parallelized design, we present coordination free techniques to order operations across parallel instances, deal with instance failures, and assign clients to specific instances. Consequently, the design we present is able to reduce the load on individual instances and primaries, while also reducing the adverse effects of any malicious replicas.


Extrapolated Proximal Subgradient Algorithms for Nonconvex and Nonsmooth Fractional Programs. In this paper, we consider a broad class of nonsmooth and nonconvex fractional programs, where the numerator can be written as the sum of a continuously differentiable convex function whose gradient is Lipschitz continuous and a proper lower semicontinuous (possibly nonconvex) function, and the denominator is weakly convex over the constraint set. This model problem includes the composite optimization problems studied extensively lately, and encompasses many important modern fractional optimization problems arising from diverse areas such as the recently proposed scale invariant sparse signal reconstruction problem in signal processing. We propose a proximal subgradient algorithm with extrapolations for solving this optimization model and show that the iterated sequence generated by the algorithm is bounded and any of its limit points is a stationary point of the model problem. The choice of our extrapolation parameter is flexible and includes the popular extrapolation parameter adopted in the restarted Fast Iterative Shrinking Threshold Algorithm (FISTA). By providing a unified analysis framework of descent methods, we establish the convergence of the full sequence under the assumption that a suitable merit function satisfies the Kurdyka L ojasiewicz (KL) property. In particular, our algorithm exhibits linear convergence for the scale invariant sparse signal reconstruction problem and the Rayleigh quotient problem over spherical constraint. In the case where the denominator is the maximum of finitely many continuously differentiable weakly convex functions, we also propose an enhanced extrapolated proximal subgradient algorithm with guaranteed convergence to a stronger notion of stationary points of the model problem. Finally, we illustrate the proposed methods by both analytical and simulated numerical examples.


Global existences and asymptotic behavior for semilinear heat equation. In this paper, we consider the global Cauchy problem for the L 2 critical semilinear heat equations partial t h Delta h pm h frac4d h, with h(0,x) h 0 , where h is an unknown real function defined on R times R d . In most of the studies on this subject, the initial data h 0 belongs to Lebesgue spaces L p( R d) for some p ge 2 or to subcritical Sobolev space H s ( R d) with s 0 . it First, we prove that there exists some positive constant gamma 0 depending on d , such that the Cauchy problem is locally and globally well posed for any initial data h 0 which is radial, supported away from the origin and in the negative Sobolev space dot H gamma 0 ( R d) . In particular, it leads to local and global existences of the solutions to Cauchy problem considered above for the initial data in a proper subspace of L p( R d) with some p 2 . it Secondly, the sharp asymptotic behavior of the solutions ( i.e. L 2 decay estimates ) as t to infty are obtained with arbitrary large initial data h 0 in dot H gamma 0 ( R d) in the defocusing case and in the focusing case with suitably small initial data h 0 .


Gradient estimates for weighted p Laplacian equations on Riemannian manifolds with a Sobolev inequality and integral Ricci bounds. In this paper, we consider the non linear general p Laplacian equation Delta p,f u F(u) 0 for a smooth function F on smooth metric measure spaces. Assume that a Sobolev inequality holds true on M and an integral Ricci curvature is small, we first prove a local gradient estimate for the equation. Then, as its applications, we prove several Liouville type results on manifolds with lower bounds of Ricci curvature. We also derive new local gradient estimates provided that the integral Ricci curvature is small enough.


physics.ins-det physics.app-ph physics.bio-ph physics.med-ph

A novel hybrid microdosimeter for radiation field characterization based on TEPC detector and LGADs tracker a feasibility study. In microdosimetry, lineal energies y are calculated from energy depositions epsilon inside the microdosimeter divided by the mean chord length, whose value is based on geometrical assumptions on both the detector and the radiation field. This work presents an innovative two stages hybrid detector (HDM hybrid detector for microdosimetry) composed by a Tissue Equivalent Proportional Counter (TEPC) and a silicon tracker made of 4 Low Gain Avalanche Diode (LGAD). This design provides a direct measurement of energy deposition in tissue as well as particles tracking with a submillimeter spatial resolution. The data collected by the detector allow to obtain the real track length traversed by each particle in the TEPC and thus estimates microdosimetry spectra without the mean chord length approximation. Using Geant4 toolkit, we investigated HDM performances in terms of detection and tracking efficiencies when placed in water and exposed to protons and carbon ions in the therapeutic energy range. The results indicate that the mean chord length approximation underestimate particles with short track, which often are characterized by a high energy deposition and thus can be biologically relevant. Tracking efficiency depends on the LGAD configurations 34 strips sensors have a higher detection efficiency but lower spatial resolution than 71 strips sensors. Further studies will be performed both with Geant4 and experimentally to optimize the detector design on the bases of the radiation field of interest. The main purpose of HDM is to improve the assessment of the radiation biological effectiveness via microdosimetric measurements, exploiting a new definition of the lineal energy ( y T ), defined as the energy deposition epsilon inside the microdosimeter divided by the real track length of the particle.


Biometric Blockchain A Secure Solution for Intelligent Vehicle Data Sharing. The intelligent vehicle (IV) has become a promising technology that could revolutionize our life in smart cities sooner or later. However, it yet suffers from many security vulnerabilities. Traditional security methods are incapable to secure the IV data sharing against malicious attacks. Blockchain, as expected by both research and industry communities, has emerged as a good solution to address these issues. The major issues in IV data sharing are trust, data accuracy and reliability of data sharing in the communication channel. Blockchain technology, previously working for the cryptocurrency, has recently applied to build trust and reliability in peer to peer networks with similar topologies of IV data sharing. In this chapter, we present a new framework, namely biometric blockchain (BBC), for secure IV data sharing. In our new scheme, biometric information is exploited as a cue to record who is responsible in the data sharing activities, while the proposed BBC technology serves as the backbone of the IV data sharing architecture. Hence, the proposed BBC technology provides a more reliable trust environment between the vehicles while personal identities are traceable in the proposed new scheme.


Data Validation. Data validation is the activity where one decides whether or not a particular data set is fit for a given purpose. Formalizing the requirements that drive this decision process allows for unambiguous communication of the requirements, automation of the decision process, and opens up ways to maintain and investigate the decision process itself. The purpose of this article is to formalize the definition of data validation and to demonstrate some of the properties that can be derived from this definition. In particular, it is shown how a formal view of the concept permits a classification of data quality requirements, allowing them to be ordered in increasing levels of complexity. Some subtleties arising from combining possibly many such requirements are pointed out as well.


The eigenvalues of the Hessian matrices of the generating functions for trees with k components. Let us consider a truncated matroid M Gamma r of rank r of a graphic matroid of a graph Gamma . The basis for M Gamma r is the set of the forests with r edges in Gamma . We consider this basis generating function and compute its Hessian. In this paper, we show that the Hessian of the basis generating function of the truncated matroid of the graphic matroid of the complete or complete bipartite graph does not vanish by calculating the eigenvalues of the Hessian matrix. Moreover, we show that the Hessian matrix of the basis generating function of the truncated matroid of the graphic matroid of the complete or complete bipartite graph has exactly one positive eigenvalue. As an application, we show the strong Lefschetz property for the Artinian Gorenstein algebra associated to the truncated matroid.


Fixed rank perturbations of regular matrix pencils. A characterization of the structure of a regular matrix pencil obtained by a bounded rank perturbation of another regular matrix pencil has been recently obtained. The result generalizes the solution for the bounded rank perturbation problem of a square constant matrix. When comparing the fixed rank perturbation problem of a constant matrix with the bounded rank perturbation problem we realize that both problems are of different nature the first one is more restrictive. In this paper we characterize the structure of a regular matrix pencil obtained by a fixed rank perturbation of another regular matrix pencil. We apply the result to find necessary and sufficient conditions for the existence of a fixed rank perturbation such that the perturbed pencil has a prescribed determinant. The results hold over fields with sufficient number of elements.


Broadband directional control of thermal emission. Controlling the directionality of emitted far field thermal radiation is a fundamental challenge in contemporary photonics and materials research. While photonic strategies have enabled angular selectivity of thermal emission over narrow sets of bandwidths, thermal radiation is inherently a broadband phenomenon. We currently lack the ability to constrain emitted thermal radiation to arbitrary angular ranges over broad bandwidths. Here, we introduce and experimentally realize gradient epsilon near zero (ENZ) material structures that enable broad spectrum directional control of thermal emission by supporting leaky electromagnetic modes that couple to free space at fixed angles over a broad bandwidth. We demonstrate two emitter structures consisting of multiple semiconductor oxides in a photonic configuration that enable gradient ENZ behavior over long wave infrared wavelengths. The structures exhibit high average emissivity (greater than 0.6 and 0.7) in the p polarization between 7.7 and 11.5 micron over an angular range of 70 deg 85 deg, and between 10.0 to 14.3 micron over an angular range of 60 deg 75 deg, respectively. Outside these angular ranges, the emissivity dramatically drops to 0.4 at 50 deg and 40 deg. The structures broadband thermal beaming capability enables strong radiative heat transfer only at particular angles and is experimentally verified through direct measurements of thermal emission. By decoupling conventional limitations on angular and spectral response, our approach opens new possibilities for radiative heat transfer in applications such as thermal camouflaging, solar heating, radiative cooling and waste heat recovery.


Learning Robust Representation for Clustering through Locality Preserving Variational Discriminative Network. Clustering is one of the fundamental problems in unsupervised learning. Recent deep learning based methods focus on learning clustering oriented representations. Among those methods, Variational Deep Embedding achieves great success in various clustering tasks by specifying a Gaussian Mixture prior to the latent space. However, VaDE suffers from two problems 1) it is fragile to the input noise 2) it ignores the locality information between the neighboring data points. In this paper, we propose a joint learning framework that improves VaDE with a robust embedding discriminator and a local structure constraint, which are both helpful to improve the robustness of our model. Experiment results on various vision and textual datasets demonstrate that our method outperforms the state of the art baseline models in all metrics. Further detailed analysis shows that our proposed model is very robust to the adversarial inputs, which is a desirable property for practical applications.


Autoequivalences for 3 fold flops an overview. This is an overview article, based on my 2018 Kinosaki lecture, that surveys and announces work on 3 fold flopping contractions, their affine combinatorics, stability conditions, tilting bundles and autoequivalences. Some first applications are given.


Light ellipticity and polarization angle dependence of magnetic resonances in rubidium vapor using amplitude modulated light Theoretical and experimental investigations. We report on experimental and theoretical investigations of the polarization dependence of magnetic resonance generated by synchronous optical pumping. Magnetic resonances with narrow linewidth are generated experimentally using a rubidium vapor cell with octade cyltrichlorosilane (OTS) antirelaxation coating on inner walls. We studied the effect of light ellipticity on the amplitudes and widths of magnetic resonances by matching the light modulation frequency with 2 Omega L (alignment) and Omega L(orientation) in a Bell Bloom interaction geometry, where Omega L corresponds to the Larmor frequency. Both 2 Omega L and OmegaL resonance amplitudes showed a strong dependence on the light ellipticity. In addition, we showed that the duty cycle of light modulation changes the slope of amplitude variations in 2 Omega L and Omega L resonances with light ellipticity. As a potential application, we showed that the difference between 2 Omega Land Omega Lresonance amplitudes can be used for in situ measurement of light ellipticity. We also studied the dependence of 2 Omega L and Omega L resonance amplitudes on the polarization angle of linearly polarized light. These amplitudes oscillate periodically with the polarization angle. We found this oscillatory behavior to be sensitive to the tilt in magnetic field direction from the polarization plane. Such a property could be used to realize a vector magnetometer. A density matrix based theoretical model is developed to simulate the magnetic resonance spectrum for different light polarizations. Our theoretical model accurately reproduces the above mentioned experimental observations.


The Dirichlet problem for sublinear elliptic equations with source. We present a necessary and sufficient condition on nonnegative Radon measures mu and nu for the existence of a positive continuous solution of the Dirichlet problem for the sublinear elliptic equation Delta u mu u q nu with prescribed nonnegative continuous boundary data in a general domain. Moreover, two sided pointwise estimates of Brezis Kamin type for positive bounded solutions and the uniqueness of a positive continuous L q solution are investigated.


On the lack of monotonicity of Newton Hewer updates for Riccati equations. We provide a set of counterexamples for the monotonicity of the Newton Hewer method for solving the discrete time algebraic Riccati equation in dynamic settings, drawing a contrast with the Riccati difference equation.


Multidimensional smoothness indicators for first order Hamilton Jacobi equations. The lack of smoothness is a common feature of weak solutions of nonlinear hyperbolic equations and is a crucial issue in their approximation. This has motivated several efforts to define appropriate indicators, based on the values of the approximate solutions, in order to detect the most troublesome regions of the domain. This information helps to adapt the approximation scheme in order to avoid spurious oscillations when using high order schemes. In this paper we propose a genuinely multidimensional extension of the WENO procedure in order to overcome the limitations of indicators based on dimensional splitting. Our aim is to obtain new regularity indicators for problems in 2D and apply them to a class of adaptive filtered'' schemes for first order evolutive Hamilton Jacobi equations. According to the usual procedure, filtered schemes are obtained by a simple coupling of a high order scheme and a monotone scheme. The mixture is governed by a filter function F and by a switching parameter varepsilon n varepsilon n( Delta t, Delta x ) 0 which goes to 0 as ( Delta t, Delta x) is going to 0. The adaptivity is related to the smoothness indicators and allows to tune automatically the switching parameter varepsilon n j in time and space. Several numerical tests on critical situations in 1D and 2D are presented and confirm the effectiveness of the proposed indicators and the efficiency of our scheme.


A Seq to Seq Transformer Premised Temporal Convolutional Network for Chinese Word Segmentation. The prevalent approaches of Chinese word segmentation task almost rely on the Bi LSTM neural network. However, the methods based the Bi LSTM have some inherent drawbacks hard to parallel computing, little efficient in applying the Dropout method to inhibit the Overfitting and little efficient in capturing the character information at the more distant site of a long sentence for the word segmentation task. In this work, we propose a sequence to sequence transformer model for Chinese word segmentation, which is premised a type of convolutional neural network named temporal convolutional network. The model uses the temporal convolutional network to construct an encoder, and uses one layer of fully connected neural network to build a decoder, and applies the Dropout method to inhibit the Overfitting, and captures the character information at the distant site of a sentence by adding the layers of the encoder, and binds Conditional Random Fields model to train parameters, and uses the Viterbi algorithm to infer the final result of the Chinese word segmentation. The experiments on traditional Chinese corpora and simplified Chinese corpora show that the performance of Chinese word segmentation of the model is equivalent to the performance of the methods based the Bi LSTM, and the model has a tremendous growth in parallel computing than the models based the Bi LSTM.


A criterion for transitivity of area preserving partially hyperbolic endomorphism on torus. We propose a criterion, referred to as order n transversality, for transitivity of area preserving partially hyperbolic endomorphisms. Besides, we also give a further answer to the Gan's problem, as proposed in the work of Baolin He.


Language ID in the Wild Unexpected Challenges on the Path to a Thousand Language Web Text Corpus. Large text corpora are increasingly important for a wide variety of Natural Language Processing (NLP) tasks, and automatic language identification (LangID) is a core technology needed to collect such datasets in a multilingual context. LangID is largely treated as solved in the literature, with models reported that achieve over 90 average F1 on as many as 1,366 languages. We train LangID models on up to 1,629 languages with comparable quality on held out test sets, but find that human judged LangID accuracy for web crawl text corpora created using these models is only around 5 for many lower resource languages, suggesting a need for more robust evaluation. Further analysis revealed a variety of error modes, arising from domain mismatch, class imbalance, language similarity, and insufficiently expressive models. We propose two classes of techniques to mitigate these errors wordlist based tunable precision filters (for which we release curated lists in about 500 languages) and transformer based semi supervised LangID models, which increase median dataset precision from 5.5 to 71.2 . These techniques enable us to create an initial data set covering 100K or more relatively clean sentences in each of 500 languages, paving the way towards a 1,000 language web text corpus.


Fourier approximation of the statistical properties of Anosov maps on tori. We study the stability of statistical properties of Anosov maps on tori by examining the stability of the spectrum of an analytically twisted Perron Frobenius operator on the anisotropic Banach spaces of Gou "ezel and Liverani. By extending our previous work in 8 , we obtain the stability of various statistical properties (the variance of a CLT and the rate function of an LDP) of Anosov maps to general perturbations, including new classes of numerical approximations. In particular, we obtain new results on the stability of the rate function under deterministic perturbations. As a key application, we focus on perturbations arising from numerical schemes and develop two new Fourier analytic method for efficiently computing approximations of the aforementioned statistical properties. This includes the first example of a rigorous scheme for approximating the peripheral spectral data of the Perron Frobenius operator of an Anosov map without mollification. Using the two schemes we obtain the first rigorous estimates of the variance and rate function for Anosov maps.


FedADC Accelerated Federated Learning with Drift Control. Federated learning (FL) has become de facto framework for collaborative learning among edge devices with privacy concern. The core of the FL strategy is the use of stochastic gradient descent (SGD) in a distributed manner. Large scale implementation of FL brings new challenges, such as the incorporation of acceleration techniques designed for SGD into the distributed setting, and mitigation of the drift problem due to non homogeneous distribution of local datasets. These two problems have been separately studied in the literature whereas, in this paper, we show that it is possible to address both problems using a single strategy without any major alteration to the FL framework, or introducing additional computation and communication load. To achieve this goal, we propose FedADC, which is an accelerated FL algorithm with drift control. We empirically illustrate the advantages of FedADC.


MulDE Multi teacher Knowledge Distillation for Low dimensional Knowledge Graph Embeddings. Link prediction based on knowledge graph embeddings (KGE) aims to predict new triples to automatically construct knowledge graphs (KGs). However, recent KGE models achieve performance improvements by excessively increasing the embedding dimensions, which may cause enormous training costs and require more storage space. In this paper, instead of training high dimensional models, we propose MulDE, a novel knowledge distillation framework, which includes multiple low dimensional hyperbolic KGE models as teachers and two student components, namely Junior and Senior. Under a novel iterative distillation strategy, the Junior component, a low dimensional KGE model, asks teachers actively based on its preliminary prediction results, and the Senior component integrates teachers' knowledge adaptively to train the Junior component based on two mechanisms relation specific scaling and contrast attention. The experimental results show that MulDE can effectively improve the performance and training speed of low dimensional KGE models. The distilled 32 dimensional model is competitive compared to the state of the art high dimensional methods on several widely used datasets.


Random Uniform and Pure Random Simplicial Complexes. In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random pure simplicial complex of dimension d , generated by letting any subset of size d 1 of a set of n vertices be a facet with probability p and considering the simplicial complex generated by these facets. We compare the behaviour of these models for suitable values of d and p . Finally we use the equivalence between simplicial complexes and monotone boolean functions to study the behaviour of typical such functions. Specifically we prove that most monotone boolean functions are evasive, hence proving that the well known Evasiveness conjecture is generically true for monotone boolean functions without symmetry assumptions.


FasterRCNN Monitoring of Road Damages Competition and Deployment. Maintaining aging infrastructure is a challenge currently faced by local and national administrators all around the world. An important prerequisite for efficient infrastructure maintenance is to continuously monitor (i.e., quantify the level of safety and reliability) the state of very large structures. Meanwhile, computer vision has made impressive strides in recent years, mainly due to successful applications of deep learning models. These novel progresses are allowing the automation of vision tasks, which were previously impossible to automate, offering promising possibilities to assist administrators in optimizing their infrastructure maintenance operations. In this context, the IEEE 2020 global Road Damage Detection (RDD) Challenge is giving an opportunity for deep learning and computer vision researchers to get involved and help accurately track pavement damages on road networks. This paper proposes two contributions to that topic In a first part, we detail our solution to the RDD Challenge. In a second part, we present our efforts in deploying our model on a local road network, explaining the proposed methodology and encountered challenges.


Empirical Measures, Geodesic Lengths, and a Variational Formula in First Passage Percolation. This monograph resolves in a dense class of cases several open problems concerning geodesics in i.i.d. first passage percolation on mathbb Z d . Our primary interest is in the empirical measures of edge weights observed along geodesics from 0 to n xi , where xi is a fixed unit vector. For various dense families of edge weight distributions, we prove that these empirical measures converge weakly to a deterministic limit as n to infty , answering a question of Hoffman. These families include arbitrarily small L infty perturbations of any given distribution, almost every finitely supported distribution, uncountable collections of continuous distributions, and certain discrete distributions whose atoms can have any prescribed sequence of probabilities. Moreover, the constructions are explicit enough to guarantee examples possessing certain features, for instance both continuous and discrete distributions whose support is all of 0, infty) , and distributions given by a density function that is k times differentiable. All results also hold for xi directed infinite geodesics. In comparison, we show that if mathbb Z d is replaced by the infinite d ary tree, then any distribution for the weights admits a unique limiting empirical measure along geodesics. In both the lattice and tree cases, our methodology is driven by a new variational formula for the time constant, which requires no assumptions on the edge weight distribution. Incidentally, this variational approach also allows us to obtain new convergence results for geodesic lengths, which have been unimproved in the subcritical regime since the seminal 1965 manuscript of Hammersley and Welsh.


Dirichlet boundary value problem related to the p(x) Laplacian with discontinuous nonlinearity. In this paper, we prove the existence of a weak solution for the Dirichlet boundary value problem related to the p(x) Laplacian mbox div ( nabla u p(x) 2 nabla u) u in underline g (x,u), overline g (x,u) , by using the degree theory after turning the problem into a Hammerstein equation. The right hand side g is a possibly discontinuous function in the second variable satisfying some non standard growth conditions..


Sharp lifespan estimates for the weakly coupled system of semilinear damped wave equations in the critical case. The open question, which seems to be also the final part, in terms of studying the Cauchy problem for the weakly coupled system of damped wave equations or reaction diffusion equations, is so far known as the sharp lifespan estimates in the critical case. In this paper, we mainly investigate lifespan estimates for solutions to the weakly coupled system of semilinear damped wave equations in the critical case. By using a suitable test function method associated with nonlinear differential inequalities, we catch upper bound estimates for the lifespan. Moreover, we establish polynomial logarithmic type time weighted Sobolev spaces to obtain lower bound estimates for the lifespan in low spatial dimensions. Then, together with the derived lifespan estimates, new and sharp results on estimates for the lifespan in the critical case are claimed. Finally, we give an application of our results to the semilinear reaction diffusion system in the critical case.


Positioning in groups The roles of expertise and being in charge. Inchargeness is associated with one's authority in driving the activity in collaboration. We study how inchargeness changes within a collaborative group when its members have differing expertise. We present a case study of a group of three students working in an upper division undergraduate physics laboratory. One of them has less on task expertise than her peers due to missing a day, which reduces her relative inchargeness across two storylines "catching up" and "moving forward".


An EMG based Eating Behaviour Monitoring System with Haptic Feedback to Promote Mindful Eating. Mindless eating, or the lack of awareness of the food we are consuming, has been linked to health problems attributed to unhealthy eating behaviour, including obesity. Traditional approaches used to moderate eating behaviour often rely on inaccurate self logging, manual observations or bulky equipment. Overall, there is a need for an intelligent and lightweight system which can automatically monitor eating behaviour and provide feedback. In this paper, we investigate i) the development of an automated system for detecting eating behaviour using wearable Electromyography (EMG) sensors, and ii) the application of such a system in combination with real time wristband haptic feedback to facilitate mindful eating. Data collected from 16 participants were used to develop an algorithm for detecting chewing and swallowing. We extracted 18 features from EMG and presented those features to different classifiers. We demonstrated that eating behaviour can be automatically assessed accurately using the EMG extracted features and a Support Vector Machine (SVM) F1 Score 0.94 for chewing classification, and F1 Score 0.86 for swallowing classification. Based on this algorithm, we developed a system to enable participants to self moderate their chewing behaviour using haptic feedback. An experiment study was carried out with 20 additional participants showing that participants exhibited a lower rate of chewing when haptic feedback delivered in forms of wristband vibration was used compared to a baseline and non haptic condition (F (2,38) 58.243, p 0.001). These findings may have major implications for research in eating behaviour, providing key new insights into the impacts of automatic chewing detection and haptic feedback systems on moderating eating behaviour with the aim to improve health outcomes.


Nonlinear conductance, rectification and mechanosensitive channel formation of lipid membranes. There is mounting evidence that lipid bilayers display conductive properties. However, when interpreting the electrical response of biological membranes to voltage changes, they are commonly considered as inert insulators. However, lipid bilayers under voltage clamp conditions do not only display current traces with discrete conduction steps indistinguishable from those attributed to the presence of protein channels. In current voltage (I V) plots they may also display outward rectification, i.e., voltage gating. Surprisingly, this has even been observed in chemically symmetric lipid bilayers. Here, we investigate this phenomenon using a theoretical framework that models the electrostrictive effect of voltage on lipid membranes in the presence of a spontaneous polarization, which can be recognized by a voltage offset in electrical measurements. It can arise from an asymmetry of the membrane, for example from a nonzero spontaneous curvature of the membrane. This curvature can be caused by voltage via the flexoelectric effect, or by hydrostatic pressure differences across the membrane. Here, we describe I V relations for lipid membranes formed at the tip of patch pipettes situated close to an aqueous surface. We measured at different depths relative to air water surface, resulting in different pressure gradients across the membrane. Both linear and nonlinear I V profiles were observed. Nonlinear conduction consistently takes the form of outward rectified currents. We explain the conductance properties by two mechanisms One leak current with constant conductance without pores, and a second process that is due to voltage gated pore opening correlating with the appearance of channel like conduction steps. In some instances, these nonlinear I V relations display a voltage regime in which dI dV is negative. This has also been previously observed in the presence of sodium channels. ...


DuTongChuan Context aware Translation Model for Simultaneous Interpreting. In this paper, we present DuTongChuan, a novel context aware translation model for simultaneous interpreting. This model allows to constantly read streaming text from the Automatic Speech Recognition (ASR) model and simultaneously determine the boundaries of Information Units (IUs) one after another. The detected IU is then translated into a fluent translation with two simple yet effective decoding strategies partial decoding and context aware decoding. In practice, by controlling the granularity of IUs and the size of the context, we can get a good trade off between latency and translation quality easily. Elaborate evaluation from human translators reveals that our system achieves promising translation quality (85.71 for Chinese English, and 86.36 for English Chinese), specially in the sense of surprisingly good discourse coherence. According to an End to End (speech to speech simultaneous interpreting) evaluation, this model presents impressive performance in reducing latency (to less than 3 seconds at most times). Furthermore, we successfully deploy this model in a variety of Baidu's products which have hundreds of millions of users, and we release it as a service in our AI platform.


Many Sorted Hybrid Modal Languages. We continue our investigation into hybrid polyadic multi sorted logic with a focus on expresivity related to the operational and axiomatic semantics of rogramming languages, and relations with first order logic. We identify a fragment of the full logic, for which we prove sound and complete deduction and we show that it is powerful enough to represent both the programs and their semantics in an uniform way. Although weaker than other hybrid systems previously developed, this system is expected to have better computational properties. Finally, we provide a standard translation from full hybrid many sorted logic to first order logic.


Efficiently Guiding Imitation Learning Agents with Human Gaze. Human gaze is known to be an intention revealing signal in human demonstrations of tasks. In this work, we use gaze cues from human demonstrators to enhance the performance of agents trained via three popular imitation learning methods behavioral cloning (BC), behavioral cloning from observation (BCO), and Trajectory ranked Reward EXtrapolation (T REX). Based on similarities between the attention of reinforcement learning agents and human gaze, we propose a novel approach for utilizing gaze data in a computationally efficient manner, as part of an auxiliary loss function, which guides a network to have higher activations in image regions where the human's gaze fixated. This work is a step towards augmenting any existing convolutional imitation learning agent's training with auxiliary gaze data. Our auxiliary coverage based gaze loss (CGL) guides learning toward a better reward function or policy, without adding any additional learnable parameters and without requiring gaze data at test time. We find that our proposed approach improves the performance by 95 for BC, 343 for BCO, and 390 for T REX, averaged over 20 different Atari games. We also find that compared to a prior state of the art imitation learning method assisted by human gaze (AGIL), our method achieves better performance, and is more efficient in terms of learning with fewer demonstrations. We further interpret trained CGL agents with a saliency map visualization method to explain their performance. At last, we show that CGL can help alleviate a well known causal confusion problem in imitation learning.


The sound speed in Yukawa one component plasmas across coupling regimes. A many body system of charged particles interacting via a pairwise Yukawa potential, the so called Yukawa One Component Plasma (YOCP) is a good approximation for a variety of physical systems. Such systems are completely characterized by two parameters the screening parameter, kappa , and the nominal coupling strength, Gamma . It is well known that the collective spectrum of the YOCP is governed by a longitudinal acoustic mode, both in the weakly and strongly coupled regimes. In the long wavelength limit the linear term in the dispersion ( textit i.e. omega s k ) defines the sound speed s . We study the evolution of this latter quantity from the weak through the strong coupling regimes by analyzing the Dynamic Structure Function S(k, omega) in the low frequency domain. Depending on the values of Gamma and kappa and w s v textrm th , ( textit i.e. the ratio between the phase velocity of the wave and thermal speed of the particles) we identify five domains in the ( kappa, Gamma) parameter space in which the physical behavior of the YOCP exhibits different features. The competing physical processes are the collective Coulomb like vs. binary collision dominated behavior and the individual particle motion vs. quasi localization. Our principal tool of investigation is Molecular Dynamics (MD) computer simulation from which we obtain S(k, omega) . Recent improvements in the simulation technique have allowed us to obtain a large body of high quality data in the range Gamma 0.1 10,000 and kappa 0.5 5 . The theoretical results based on various models are compared in order to see which one provides the most cogent physical description and the best agreement with MD data in the different domains.


Pchatbot A Large Scale Dataset for Personalized Chatbot. Natural language dialogue systems raise great attention recently. As many dialogue models are data driven, high quality datasets are essential to these systems. In this paper, we introduce Pchatbot, a large scale dialogue dataset that contains two subsets collected from Weibo and Judicial forums respectively. To adapt the raw dataset to dialogue systems, we elaborately normalize the raw dataset via processes such as anonymization, deduplication, segmentation, and filtering. The scale of Pchatbot is significantly larger than existing Chinese datasets, which might benefit the data driven models. Besides, current dialogue datasets for personalized chatbot usually contain several persona sentences or attributes. Different from existing datasets, Pchatbot provides anonymized user IDs and timestamps for both posts and responses. This enables the development of personalized dialogue models that directly learn implicit user personality from the user's dialogue history. Our preliminary experimental study benchmarks several state of the art dialogue models to provide a comparison for future work. The dataset can be publicly accessed at Github.


Deception, Delay, and Detection of Strategies. Homology generators in a relation offer individuals the ability to delay identification, by guiding the order via which the individuals reveal their attributes (see arXiv 1712.04130). This perspective applies as well to the identification of goal attaining strategies in systems with errorful control, since the strategy complex of a fully controllable nondeterministic or stochastic graph is homotopic to a sphere. Specifically, such a graph contains for each state v a maximal strategy sigma v that converges to state v from all other states in the graph and whose identity may be shrouded in the following sense One may reveal certain actions of sigma v in a particular order so that the full strategy becomes known only after at least n 1 of these actions have been revealed, with none of the actions revealed definitively inferable from those previously revealed. Here n is the number of states in the graph. Moreover, the strategy contains at least (n 1)! such informative action release sequences, each of length at least n 1 . The earlier work described above sketched a proof that every maximal strategy in a pure nondeterministic or pure stochastic graph contains at least one informative action release sequence of length at least n 1 . The primary purpose of the current report is to fill in the details of that sketch. To build intuition, the report first discusses several simpler examples. These examples suggest an underlying structure for hiding capabilities or bluffing capabilities, as well as for detecting such deceit.


Non simple blow ups for the Nirenberg problem on half spheres. In this paper we study a Nirenberg type problem on standard half spheres ( mathbb S n ,g 0) consisting of finding conformal metrics of prescribed scalar curvature and zero boundary mean curvature on the boundary partial mathbb S n . This problem amounts to solve the following boundary value problem involving the critical Sobolev exponent begin equation ( mathcal P ) quad begin cases D g 0 u , , frac n(n 2) 4 u , K , u frac n 2 n 2 , , u 0 mbox in mathbb S n , frac partial u partial nu , , 0 mbox on partial mathbb S n . end cases end equation where K in C 2( mathbb S n ) is a positive function. We construct, under generic conditions on the function K , finite energy solutions of a subcritical approximation of ( mathcal P ) on half spheres of dimension n geq 5 , which exhibit multiple blow up of emph cluster type at the same boundary point. These solutions may have zero or non zero weak limit and may develop clusters at different boundary points. Such blow up phenomena on half spheres drastically contrast with the case of the Nirenberg problem on spheres, where non simple blow up for finite energy subsolutions cannot occur and unveils an unexpected connection with vortex type problems arising in Euler equations in fluid dynamic and mean fields type equations in mathematical physics. We construct also, under suitable conditions on the restriction of K on partial mathbb S n , approximate solutions of arbitrarily large energy and Morse index


The quaternary Piatetski Shapiro inequality with one prime of the form mathbf p x 2 y 2 1 . In this paper we show that, for any fixed 1 c 967 805 , every sufficiently large positive number N and a small constant varepsilon 0 , the diophantine inequality begin equation p 1 c p 2 c p 3 c p 4 c N varepsilon end equation has a solution in prime numbers p 1, ,p 2, ,p 3, ,p 4 , such that p 1 x 2 y 2 1 .


Mixing and Combustion in a Laminar Shear Layer with Imposed Counterflow. Three dimensional laminar flow structures with mixing, chemical reaction, normal strain, and shear strain qualitatively representative of turbulent combustion at the small scales are analyzed. A mixing layer is subjected to counterflow in the transverse y and z directions. Both non reactive and reactive flows are examined. Reduction of the three dimensional boundary layer equations to a one dimensional similar form is obtained allowing for heat and mass diffusion with variations in density and properties. In steady configurations, a set of ODEs governs the three velocity components as well as the scalar field variables. A flamelet model for individual diffusion flames with combined shear and normal strain is developed. Another model with solution in similar form is obtained for a configuration with a dominant diffusion flame and a weaker fuel rich premixed flame. Results for the velocity and scalar fields are found for ranges of Damkohler number Da, normal strain rate due to the counterflow, streamwise velocity ratio across the mixing layer, Prandtl number, and Mach number. For the flamelet model, a conserved scalar is cast as the independent variable to give an alternative description of the results. The imposed normal strain decreases mixing layer thickness and increases scalar gradients and transport rates. There is indication of diffusion control for partially premixed flames in the multi branched flame situation. The enhancement of the mixing and combustion rates by imposed normal strain on a shear layer can be very substantial. Also, the imposition of shear strain and thereby vorticity on the counterflow can be substantial indicating the need for flamelet models with both shear strain and normal strain.


Some remarks on equilateral triangulations of surfaces and Belyi functions. In this paper, following Grothendieck it Esquisse d'un programme , which was motivated by Belyi's work, we study some properties of surfaces X which are triangulated by (possibly ideal) isometric equilateral triangles of one of the spherical, euclidean or hyperbolic geometries. These surfaces have a natural Riemannian metric with conic singularities. In the euclidean case we analyze the closed geodesics and their lengths. Such surfaces can be given the structure of a Riemann surface which, considered as algebraic curves, are defined over bar mathbb Q by a theorem of Belyi. They have been studied by many authors of course. Here we define the notion of connected sum of two Belyi functions and give some concrete examples. In the particular case when X is a torus, the triangulation leads to an elliptic curve and we define the notion of a "peel" obtained from the triangulation (which is a metaphor of an orange peel) and relate this peel with the modulus tau of the elliptic curve. Many fascinating questions arise regarding the modularity of the elliptic curve and the geometric aspects of the Taniyama Shimura Weil theory.


Experimental Observation of Nonreciprocal Waves in a Resonant Metamaterial Beam. Space time varying materials pledge to deliver nonreciprocal dispersion in linear systems by inducing an artificial momentum bias. Although such a paradigm eliminates the need for actual motion of the medium, experimental realization of space time structures with dynamically changing material properties has been elusive. In this letter, we present an elastic metamaterial that exploits stiffness variations in an array of geometrically phase shifted resonators rather than external material stimulation to induce a temporal modulation. We experimentally demonstrate that the resulting bias breaks time reversal symmetry in the resonant metamaterial, and achieves a nonreciprocal tilt of dispersion modes within dynamic modulation regimes.


Untying knots in 4D and Wedderburn's Theorem. It is proved that the Wedderburn Theorem on finite division rings implies that all knots and links in the smooth 4 dimensional manifolds are trivial.


Unified gas kinetic simulation for the system of multiscale radiation hydrodynamics. This paper aims at the simulation of multiple scale physics in the system of radiation hydrodynamics. The system couples the fluid dynamic evolution equations with the radiative heat transfer. The coupled system is solved by the gas kinetic scheme (GKS) for the compressible viscous and heat conducting flow and the unified gas kinetic scheme (UGKS) for the non equilibrium radiative transfer, together with the momentum and energy exchange between these two phases. For the radiative transfer, due to the possible large variation of fluid opacity in different regions, the transport of photons in the flow system is simulated by the multiscale UGKS, which is capable of naturally capturing the transport process from the free streaming to the diffusive propagation.Since both GKS and UGKS are finite volume methods,all unknowns are defined inside each control volume and are discretized consistently for the hydrodynamic and radiative variables. For the coupled system, the scheme has the asymptotical preserving (AP) property, such as recovering the equilibrium diffusion limit for the radiation hydrodynamic equations in the optically thick region, where the cell size is not limited by photon's mean free path. A few test cases, such as radiative shock wave problems, are used to validate the current approach.