A Survey of Data Quality Measurement and Monitoring Tools. High quality data is key to interpretable and trustworthy data analytics and the basis for meaningful data driven decisions. In practical scenarios, data quality is typically associated with data preprocessing, profiling, and cleansing for subsequent tasks like data integration or data analytics. However, from a scientific perspective, a lot of research has been published about the measurement (i.e., the detection) of data quality issues and different generally applicable data quality dimensions and metrics have been discussed. In this work, we close the gap between research into data quality measurement and practical implementations by investigating the functional scope of current data quality tools. With a systematic search, we identified 667 software tools dedicated to "data quality", from which we evaluated 13 tools with respect to three functionality areas (1) data profiling, (2) data quality measurement in terms of metrics, and (3) continuous data quality monitoring. We selected the evaluated tools with regard to pre defined exclusion criteria to ensure that they are domain independent, provide the investigated functions, and are evaluable freely or as trial. This survey aims at a comprehensive overview on state of the art data quality tools and reveals potential for their functional enhancement. Additionally, the results allow a critical discussion on concepts, which are widely accepted in research, but hardly implemented in any tool observed, for example, generally applicable data quality metrics.


Bifurcation analysis of the Hardy Sobolev equation. In this paper, we prove existence of multiple non radial solutions to the Hardy Sobolev equation begin cases Delta u displaystyle frac gamma x 2 u displaystyle frac 1 x s u p s 2 u text in mathbb R N setminus 0 , u geq 0, end cases where N geq 3 , s in 0,2) , p s frac 2(N s) N 2 and gamma in ( infty, frac (N 2) 2 4) . We extend results of E.N. Dancer, F. Gladiali, M. Grossi, Proc. Roy. Soc. Edinburgh Sect. A 147 (2017) where only the case s 0 is considered. Moreover, thanks to monotonicity properties of the solutions, we separate two branches of non radial solutions.


Design of Millimeter wave Detector for Gyrotron Power Monitoring. The real time power monitoring of gyrotron is one of the key issues in the operation of electron cyclotron resonance heating system. The detector can be used for real time power monitoring. We analyzed the principle of diode detection and designed a D band wideband detector based on Schottky diode in this paper. The detector includes a waveguide to microstrip transition, a matching circuit, a diode, and a low pass filter. A novel waveguide to microstrip transition was developed based on probe coupling. A wideband lossy matching circuit was developed based on tapered line and series matching resistor. The simulation results show that when the input power is 30dBm at 140 GHz, the detection sensitivity is about 1600V W.


Bilinear pseudo differential operators with Gevrey H "ormander symbols. We consider bilinear pseudo differential operators whose symbols posses Gevrey type regularity and may have a sub exponential growth at infinity, together with all their derivatives. It is proved that those symbol classes can be described by the means of the short time Fourier transform and modulation spaces. Our first main result is the invariance property of the corresponding bilinear operators. Furthermore we prove the continuity of such operators when acting on modulation spaces. As a consequence, we derive their continuity on anisotropic Gelfand Shilov type spaces. We consider both Beurling and Roumieu type symbol classes and Gelfand Shilov spaces.


Voronoi complexes in higher dimensions, cohomology of GL N(Z) for N geq 8 and the triviality of K 8(Z) . We enumerate the low dimensional cells in the Voronoi cell complexes attached to the modular groups SL N(Z) and GL N(Z) for N 8,9,10,11 , using quotient sublattices techniques for N 8,9 and linear programming methods for higher dimensions. These enumerations allow us to compute some cohomology of these groups and prove that K 8(Z) 0 . We deduce from it new knowledge on the Kummer Vandiver conjecture.


Reinterpretation and Extension of Entropy Correction Terms for Residual Distribution and Discontinuous Galerkin Schemes Application to Structure Preserving Discretization. For the general class of residual distribution (RD) schemes, including many finite element (such as continuous discontinuous Galerkin) and flux reconstruction methods, an approach to construct entropy conservative dissipative semidiscretizations by adding suitable correction terms has been proposed by Abgrall (J. Comp. Phys. 372 pp. 640 666, 2018). In this work, the correction terms are characterized as solutions of certain optimization problems and are adapted to the SBP SAT framework, focusing on discontinuous Galerkin methods. Novel generalizations to entropy inequalities, multiple constraints, and kinetic energy preservation for the Euler equations are developed and tested in numerical experiments. For all of these optimization problems, explicit solutions are provided. Additionally, the correction approach is applied for the first time to obtain a fully discrete entropy conservative dissipative RD scheme. Here, the application of the deferred correction (DeC) method for the time integration is essential. This paper can be seen as describing a systematic method to construct structure preserving discretization, at least for the considered example.


Generalized selection problem with L 'evy noise. Let A pm 0 , beta in(0,1) , and let Z ( alpha) be a strictly alpha stable L 'evy process with the jump measure nu( mathrm d z) (C mathbb I (0, infty) (z) C mathbb I ( infty,0) (z)) z 1 alpha , mathrm d z , alpha in (1,2) , C pm geq 0 , C C 0 . The selection problem for the model stochastic differential equation mathrm d bar X varepsilon (A mathbb I 0, infty) ( bar X varepsilon) A mathbb I ( infty,0) ( bar X varepsilon)) bar X varepsilon beta , mathrm d t varepsilon mathrm d Z ( alpha) states that in the small noise limit varepsilon to 0 , solutions bar X varepsilon converge weakly to the maximal or minimal solutions of the limiting non Lipschitzian ordinary differential equation mathrm d bar x (A mathbb I 0, infty) ( bar x) A mathbb I ( infty,0) ( bar x)) bar x beta , mathrm d t with probabilities bar p pm bar p pm( alpha,C C , beta, A A ) , see Pilipenko and Proske, Stat. Probab. Lett., 132 62 73, 2018 . In this paper we solve the generalized selection problem for the stochastic differential equation mathrm d X varepsilon a(X varepsilon) , mathrm d t varepsilon b(X varepsilon) , mathrm d Z whose dynamics in the vicinity of the origin in certain sense reminds of dynamics of the model equation. In particular we show that solutions X varepsilon also converge to the maximal or minimal solutions of the limiting irregular ordinary differential equation mathrm d x a(x) , mathrm d t with the same model selection probabilities bar p pm . This means that for a large class of irregular stochastic differential equations, the selection dynamics is completely determined by four local parameters of the drift and the jump measure.


Sur le minimum de la fonction de Brjuno. The Brjuno function attains a strict global minimum at the golden section.


On the coverings of closed non orientable Euclidean manifolds mathcal B 3 and mathcal B 4 . There are only 10 Euclidean forms, that is flat closed three dimensional manifolds six are orientable mathcal G 1, dots, mathcal G 6 and four are non orientable mathcal B 1, dots, mathcal B 4 . The aim of this paper is to describe all types of n fold coverings over the non orientable Euclidean manifolds mathcal B 3 and mathcal B 4 , and calculate the numbers of non equivalent coverings of each type. The manifolds mathcal B 3 and mathcal B 4 are uniquely determined among non orientable forms by their homology groups H 1( mathcal B 3 ) ZZ 2 times ZZ 2 times ZZ and H 1( mathcal B 4 ) ZZ 4 times ZZ . We classify subgroups in the fundamental groups pi 1( mathcal B 3 ) and pi 1( mathcal B 4 ) up to isomorphism. Given index n , we calculate the numbers of subgroups and the numbers of conjugacy classes of subgroups for each isomorphism type and provide the Dirichlet generating functions for the above sequences.


Asymptotics for Recurrence Coefficients of X1 Jacobi Polynomials and Christoffel Function. Computing asymptotics of the recurrence coefficients of X1 Jacobi polynomials we investigate the limit of Christoffel function. We also study the relation between the normalized counting measure based on the zeros of the modified average characteristic polynomial and the Christoffel function in limit. The proofs of corresponding theorems with respect to ordinary orthogonal polynomials are based on the three term recurrence relation. The main point is that exceptional orthogonal polynomials possess at least five term formulae and so the Christoffel Darboux formula also fails. It seems that these difficulties can be handled in combinatorial way.


Limit profile for random transpositions. We present an improved version of Diaconis' upper bound lemma, which is used to compute the limiting value of the distance to stationarity. We then apply it to random transpositions studied by Diaconis and Shahshahani.


Face Verification via learning the kernel matrix. The kernel function is introduced to solve the nonlinear pattern recognition problem. The advantage of a kernel method often depends critically on a proper choice of the kernel function. A promising approach is to learn the kernel from data automatically. Over the past few years, some methods which have been proposed to learn the kernel have some limitations learning the parameters of some prespecified kernel function and so on. In this paper, the nonlinear face verification via learning the kernel matrix is proposed. A new criterion is used in the new algorithm to avoid inverting the possibly singular within class which is a computational problem. The experimental results obtained on the facial database XM2VTS using the Lausanne protocol show that the verification performance of the new method is superior to that of the primary method Client Specific Kernel Discriminant Analysis (CSKDA). The method CSKDA needs to choose a proper kernel function through many experiments, while the new method could learn the kernel from data automatically which could save a lot of time and have the robust performance.


Unsupervised Self training Algorithm Based on Deep Learning for Optical Aerial Images Change Detection. Optical aerial images change detection is an important task in earth observation and has been extensively investigated in the past few decades. Generally, the supervised change detection methods with superior performance require a large amount of labeled training data which is obtained by manual annotation with high cost. In this paper, we present a novel unsupervised self training algorithm (USTA) for optical aerial images change detection. The traditional method such as change vector analysis is used to generate the pseudo labels. We use these pseudo labels to train a well designed convolutional neural network. The network is used as a teacher to classify the original multitemporal images to generate another set of pseudo labels. Then two set of pseudo labels are used to jointly train a student network with the same structure as the teacher. The final change detection result can be obtained by the trained student network. Besides, we design an image filter to control the usage of change information in the pseudo labels in the training process of the network. The whole process of the algorithm is an unsupervised process without manually marked labels. Experimental results on the real datasets demonstrate competitive performance of our proposed method.


Completion Reasoning Emulation for the Description Logic EL . We present a new approach to integrating deep learning with knowledge based systems that we believe shows promise. Our approach seeks to emulate reasoning structure, which can be inspected part way through, rather than simply learning reasoner answers, which is typical in many of the black box systems currently in use. We demonstrate that this idea is feasible by training a long short term memory (LSTM) artificial neural network to learn EL reasoning patterns with two different data sets. We also show that this trained system is resistant to noise by corrupting a percentage of the test data and comparing the reasoner's and LSTM's predictions on corrupt data with correct answers.


MOZARD Multi Modal Localization for Autonomous Vehicles in Urban Outdoor Environments. Visually poor scenarios are one of the main sources of failure in visual localization systems in outdoor environments. To address this challenge, we present MOZARD, a multi modal localization system for urban outdoor environments using vision and LiDAR. By extending our preexisting key point based visual multi session local localization approach with the use of semantic data, an improved localization recall can be achieved across vastly different appearance conditions. In particular we focus on the use of curbstone information because of their broad distribution and reliability within urban environments. We present thorough experimental evaluations on several driving kilometers in challenging urban outdoor environments, analyze the recall and accuracy of our localization system and demonstrate in a case study possible failure cases of each subsystem. We demonstrate that MOZARD is able to bridge scenarios where our previous work VIZARD fails, hence yielding an increased recall performance, while a similar localization accuracy of 0.2m is achieved


Deep Exemplar Networks for VQA and VQG. In this paper, we consider the problem of solving semantic tasks such as Visual Question Answering' (VQA), where one aims to answers related to an image and Visual Question Generation' (VQG), where one aims to generate a natural question pertaining to an image. Solutions for VQA and VQG tasks have been proposed using variants of encoder decoder deep learning based frameworks that have shown impressive performance. Humans however often show generalization by relying on exemplar based approaches. For instance, the work by Tversky and Kahneman suggests that humans use exemplars when making categorizations and decisions. In this work, we propose the incorporation of exemplar based approaches towards solving these problems. Specifically, we incorporate exemplar based approaches and show that an exemplar based module can be incorporated in almost any of the deep learning architectures proposed in the literature and the addition of such a block results in improved performance for solving these tasks. Thus, just as the incorporation of attention is now considered de facto useful for solving these tasks, similarly, incorporating exemplars also can be considered to improve any proposed architecture for solving this task. We provide extensive empirical analysis for the same through various architectures, ablations, and state of the art comparisons.


Speeding up Linear Programming using Randomized Linear Algebra. Linear programming (LP) is an extremely useful tool and has been successfully applied to solve various problems in a wide range of areas, including operations research, engineering, economics, or even more abstract mathematical areas such as combinatorics. It is also used in many machine learning applications, such as ell 1 regularized SVMs, basis pursuit, nonnegative matrix factorization, etc. Interior Point Methods (IPMs) are one of the most popular methods to solve LPs both in theory and in practice. Their underlying complexity is dominated by the cost of solving a system of linear equations at each iteration. In this paper, we consider emph infeasible IPMs for the special case where the number of variables is much larger than the number of constraints. Using tools from Randomized Linear Algebra, we present a preconditioning technique that, when combined with the Conjugate Gradient iterative solver, provably guarantees that infeasible IPM algorithms (suitably modified to account for the error incurred by the approximate solver), converge to a feasible, approximately optimal solution, without increasing their iteration complexity. Our empirical evaluations verify our theoretical results on both real world and synthetic data.


Syntax Role for Neural Semantic Role Labeling. Semantic role labeling (SRL) is dedicated to recognizing the semantic predicate argument structure of a sentence. Previous studies in terms of traditional models have shown syntactic information can make remarkable contributions to SRL performance however, the necessity of syntactic information was challenged by a few recent neural SRL studies that demonstrate impressive performance without syntactic backbones and suggest that syntax information becomes much less important for neural semantic role labeling, especially when paired with recent deep neural network and large scale pre trained language models. Despite this notion, the neural SRL field still lacks a systematic and full investigation on the relevance of syntactic information in SRL, for both dependency and both monolingual and multilingual settings. This paper intends to quantify the importance of syntactic information for neural SRL in the deep learning framework. We introduce three typical SRL frameworks (baselines), sequence based, tree based, and graph based, which are accompanied by two categories of exploiting syntactic information syntax pruning based and syntax feature based. Experiments are conducted on the CoNLL 2005, 2009, and 2012 benchmarks for all languages available, and results show that neural SRL models can still benefit from syntactic information under certain conditions. Furthermore, we show the quantitative significance of syntax to neural SRL models together with a thorough empirical survey using existing models.


Transurethral ultrasound therapy of the prostate in the presence of calcifications A simulation study. Purpose Transurethral ultrasound therapy is an investigational treatment modality which could potentially be used for the localized treatment of prostate cancer. One of the limiting factors of this therapy is prostatic calcifications. These attenuate and reflect ultrasound and thus reduce the efficacy of the heating. The aim of this study is to investigate how prostatic calcifications affect therapeutic efficacy, and to identify the best sonication strategy when calcifications are present. Methods Realistic computational models were used on clinical patient data in order to simulate different therapeutic situations with naturally occurring calcifications as well as artificial calcifications of different sizes (1 10 mm) and distances (5 15 mm). Furthermore, different sonication strategies were tested in order to deliver therapy to the untreated tissue regions behind the calcifications. Results The presence of calcifications in front of the ultrasound field was found to increase the peak pressure by 100 on average while the maximum temperature only rose by 9 during a 20 s sonication. Losses in ultrasound energy were due to the relatively large acoustic impedance mismatch between the prostate tissue and the calcifications (1.63 vs 3.20 MRayl) and high attenuation coefficient (0.78 vs 2.64 dB MHz 1.1 cm), which together left untreated tissue regions behind the calcifications. In addition, elevated temperatures were seen in the region between the transducer and the calcifications. Lower sonication frequencies (1 4 MHz) were not able to penetrate through the calcifications effectively, but longer sonication durations (20 60 s) with selective transducer elements were effective in treating the tissue regions behind the calcifications.


Using Containers to Create More Interactive Online Training and Education Materials. Containers are excellent hands on learning environments for computing topics because they are customizable, portable, and reproducible. The Cornell University Center for Advanced Computing has developed the Cornell Virtual Workshop in high performance computing topics for many years, and we have always sought to make the materials as rich and interactive as possible. Toward the goal of building a more hands on experimental learning experience directly into web based online training environments, we developed the Cornell Container Runner Service, which allows online content developers to build container based interactive edit and run commands directly into their web pages. Using containers along with CCRS has the potential to increase learner engagement and outcomes.


A novel machine learning based framework for detection of Autism Spectrum Disorder (ASD). Computer vision and machine learning are the linchpin of field of automation. The medicine industry has adopted numerous methods to discover the root causes of many diseases in order to automate detection process. But, the biomarkers of Autism Spectrum Disorder (ASD) are still unknown, let alone automating its detection. Studies from the neuroscience domain highlighted the fact that corpus callosum and intracranial brain volume holds significant information for detection of ASD. Such results and studies are not tested and verified by scientists working in the domain of computer vision machine learning. Thus, in this study we have proposed a machine learning based framework for automatic detection of ASD using features extracted from corpus callosum and intracranial brain volume from ABIDE dataset. Corpus callosum and intracranial brain volume data is obtained from T1 weighted MRI scans. Our proposed framework first calculates weights of features extracted from Corpus callosum and intracranial brain volume data. This step ensures to utilize discriminative capabilities of only those features that will help in robust recognition of ASD. Then, conventional machine learning algorithm (conventional refers to algorithms other than deep learning) is applied on features that are most significant in terms of discriminative capabilities for recognition of ASD. Finally, for benchmarking and to verify potential of deep learning on analyzing neuroimaging data i.e. T1 weighted MRI scans, we have done experiment with state of the art deep learning architecture i.e. VGG16 . We have used transfer learning approach to use already trained VGG16 model for detection of ASD. This is done to help readers understand benefits and bottlenecks of using deep learning approach for analyzing neuroimaging data which is difficult to record in large enough quantity for deep learning.


An Artifact based Workflow for Finite Element Simulation Studies. Workflow support typically focuses on single simulation experiments. This is also the case for simulation based on finite element methods. If entire simulation studies shall be supported, flexible means for intertwining revising the model, collecting data, executing and analyzing experiments are required. Artifact based workflows present one means to support entire simulation studies, as has been shown for stochastic discrete event simulation. To adapt the approach to finite element methods, the set of artifacts, i.e., conceptual model, requirement, simulation model, and simulation experiment, and the constraints that apply are extended by new artifacts, such as geometrical model, input data, and simulation data. Artifacts, their life cycles, and constraints are revisited revealing features both types of simulation studies share and those they vary in. Also, the potential benefits of exploiting an artifact based workflow approach are shown based on a concrete simulation study. To those benefits belong guidance to systematically conduct simulation studies, reduction of effort by automatically executing specific steps, e.g., generating and executing convergence tests, and support for the automatic reporting of provenance.


The energy technique for the six step BDF method. In combination with the Grenander Szeg "o theorem, we observe that a relaxed positivity condition on multipliers, milder than the basic fundamental requirement of the Nevanlinna Odeh multipliers that the sum of the absolute values of their components is strictly less than 1 , makes the energy technique applicable to the stability analysis of BDF methods for parabolic equations with selfadjoint elliptic part. This is particularly useful for the six step BDF method for which no Nevanlinna Odeh multiplier exists. We introduce multipliers satisfying the positivity property for the six step BDF method and establish stability of the method for parabolic equations.


A geometric study of marginally trapped surfaces in space forms and Robertson Walker spacetimes an overview. A marginally trapped surface in a spacetime is a Riemannian surface whose mean curvature vector is lightlike at every point. In this paper we give an up to date overview of the differential geometric study of these surfaces in Minkowski, de Sitter, anti de Sitter and Robertson Walker spacetimes. We give the general local descriptions proven by Anciaux and his coworkers as well as the known classifications of marginally trapped surfaces satisfying one of the following additional geometric conditions having positive relative nullity, having parallel mean curvature vector field, having finite type Gauss map, being invariant under a one parameter group of ambient isometries, being isotropic, being pseudo umbilical. Finally, we provide examples of constant Gaussian curvature marginally trapped surfaces and state some open questions.


ExplAIn Explanatory Artificial Intelligence for Diabetic Retinopathy Diagnosis. In recent years, Artificial Intelligence (AI) has proven its relevance for medical decision support. However, the "black box" nature of successful AI algorithms still holds back their wide spread deployment. In this paper, we describe an eXplanatory Artificial Intelligence (XAI) that reaches the same level of performance as black box AI, for the task of classifying Diabetic Retinopathy (DR) severity using Color Fundus Photography (CFP). This algorithm, called ExplAIn, learns to segment and categorize lesions in images the final image level classification directly derives from these multivariate lesion segmentations. The novelty of this explanatory framework is that it is trained from end to end, with image supervision only, just like black box AI algorithms the concepts of lesions and lesion categories emerge by themselves. For improved lesion localization, foreground background separation is trained through self supervision, in such a way that occluding foreground pixels transforms the input image into a healthy looking image. The advantage of such an architecture is that automatic diagnoses can be explained simply by an image and or a few sentences. ExplAIn is evaluated at the image level and at the pixel level on various CFP image datasets. We expect this new framework, which jointly offers high classification performance and explainability, to facilitate AI deployment.


Zero shot Dependency Parsing with Pre trained Multilingual Sentence Representations. We investigate whether off the shelf deep bidirectional sentence representations trained on a massively multilingual corpus (multilingual BERT) enable the development of an unsupervised universal dependency parser. This approach only leverages a mix of monolingual corpora in many languages and does not require any translation data making it applicable to low resource languages. In our experiments we outperform the best CoNLL 2018 language specific systems in all of the shared task's six truly low resource languages while using a single system. However, we also find that (i) parsing accuracy still varies dramatically when changing the training languages and (ii) in some target languages zero shot transfer fails under all tested conditions, raising concerns on the 'universality' of the whole approach.


Uncertainty aware demand management of water distribution networks in deregulated energy markets. We present an open source solution for the operational control of drinking water distribution networks which accounts for the inherent uncertainty in water demand and electricity prices in the day ahead market of a volatile deregulated economy. As increasingly more energy markets adopt this trading scheme, the operation of drinking water networks requires uncertainty aware control approaches that mitigate the effect of volatility and result in an economic and safe operation of the network that meets the consumers' need for uninterrupted water supply. We propose the use of scenario based stochastic model predictive control an advanced control methodology which comes at a considerable computation cost which is overcome by harnessing the parallelization capabilities of graphics processing units (GPUs) and using a massively parallelizable algorithm based on the accelerated proximal gradient method.


Road Curb Detection and Localization with Monocular Forward view Vehicle Camera. We propose a robust method for estimating road curb 3D parameters (size, location, orientation) using a calibrated monocular camera equipped with a fisheye lens. Automatic curb detection and localization is particularly important in the context of Advanced Driver Assistance System (ADAS), i.e. to prevent possible collision and damage of the vehicle's bumper during perpendicular and diagonal parking maneuvers. Combining 3D geometric reasoning with advanced vision based detection methods, our approach is able to estimate the vehicle to curb distance in real time with mean accuracy of more than 90 , as well as its orientation, height and depth. Our approach consists of two distinct components curb detection in each individual video frame and temporal analysis. The first part comprises of sophisticated curb edges extraction and parametrized 3D curb template fitting. Using a few assumptions regarding the real world geometry, we can thus retrieve the curb's height and its relative position w.r.t. the moving vehicle on which the camera is mounted. Support Vector Machine (SVM) classifier fed with Histograms of Oriented Gradients (HOG) is used for appearance based filtering out outliers. In the second part, the detected curb regions are tracked in the temporal domain, so as to perform a second pass of false positives rejection. We have validated our approach on a newly collected database of 11 videos under different conditions. We have used point wise LIDAR measurements and manual exhaustive labels as a ground truth.


To What Extent Does Downsampling, Compression, and Data Scarcity Impact Renal Image Analysis?. The condition of the Glomeruli, or filter sacks, in renal Direct Immunofluorescence (DIF) specimens is a critical indicator for diagnosing kidney diseases. A digital pathology system which digitizes a glass histology slide into a Whole Slide Image (WSI) and then automatically detects and zooms in on the glomeruli with a higher magnification objective will be extremely helpful for pathologists. In this paper, using glomerulus detection as the study case, we provide analysis and observations on several important issues to help with the development of Computer Aided Diagnostic (CAD) systems to process WSIs. Large image resolution, large file size, and data scarcity are always challenging to deal with. To this end, we first examine image downsampling rates in terms of their effect on detection accuracy. Second, we examine the impact of image compression. Third, we examine the relationship between the size of the training set and detection accuracy. To understand the above issues, experiments are performed on the state of the art detectors Faster R CNN, R FCN, Mask R CNN and SSD. Critical findings are observed (1) The best balance between detection accuracy, detection speed and file size is achieved at 8 times downsampling captured with a 40 times objective (2) compression which reduces the file size dramatically, does not necessarily have an adverse effect on overall accuracy (3) reducing the amount of training data to some extents causes a drop in precision but has a negligible impact on the recall (4) in most cases, Faster R CNN achieves the best accuracy in the glomerulus detection task. We show that the image file size of 40 times WSI images can be reduced by a factor of over 6000 with negligible loss of glomerulus detection accuracy.


Proof of the Erd H o s Simonovits conjecture on walks. Let G n be a graph on n vertices and let w k(G n) denote the number of walks of length k in G n divided by n . Erd H o s and Simonovits conjectured that w k(G n) t geq w t(G n) k when k geq t and both t and k are odd. We prove this conjecture.


The scattering matrix for 0th order pseudodifferential operators. We use microlocal radial estimates to prove the full limiting absorption principle for P , a self adjoint 0th order pseudodifferential operator satisfying hyperbolic dynamical assumptions as of Colin de Verdi ere and Saint Raymond. We define the scattering matrix for P omega with generic omega in mathbb R and show that the scattering matrix extends to a unitary operator on appropriate L 2 spaces. After conjugation with natural reference operators, the scattering matrix becomes a 0 th order Fourier integral operator with a canonical relation associated to the bicharacteristics of P omega . The operator P gives a microlocal model of internal waves in stratified fluids as illustrated in the paper of Colin de Verdi ere and Saint Raymond.


Well posedness for the Cauchy problem of the modified Zakharov Kuznetsov equation. This paper is concerned with the Cauchy problem of the modified Zakharov Kuznetsov equation on mathbb R d . If d 2 , we prove the sharp estimate which implies local in time well posedness in the Sobolev space H s( mathbb R 2) for s geq 1 4 . If d geq 3 , by employing U p and V p spaces, we establish the small data global well posedness in the scaling critical Sobolev space H s c ( mathbb R d) where s c d 2 1 .


Six constructions of asymptotically optimal codebooks via the character sums. In this paper, using additive characters of finite field, we find a codebook which is equivalent to the measurement matrix in 20 . The advantage of our construction is that it can be generalized naturally to construct the other five classes of codebooks using additive and multiplicative characters of finite field. We determine the maximal cross correlation amplitude of these codebooks by the properties of characters and character sums. We prove that all the codebooks we constructed are asymptotically optimal with respect to the Welch bound. The parameters of these codebooks are new.


Gradient Flow Approach to the Calculation of Stationary States on Nonlinear Quantum Graphs. We introduce and implement a method to compute stationary states of nonlinear Schr ''odinger equations on metric graphs. Stationary states are obtained as local minimizers of the nonlinear Schr ''odinger energy at fixed mass. Our method is based on a normalized gradient flow for the energy (i.e. a gradient flow projected on a fixed mass sphere) adapted to the context of nonlinear quantum graphs. We first prove that, at the continuous level, the normalized gradient flow is well posed, mass preserving, energy diminishing and converges (at least locally) towards stationary states. We then establish the link between the continuous flow and its discretized version. We conclude by conducting a series of numerical experiments in model situations showing the good performance of the discrete flow to compute stationary states. Further experiments as well as detailed explanation of our numerical algorithm are given in a companion paper.


Deep Just In Time Inconsistency Detection Between Comments and Source Code. Natural language comments convey key aspects of source code such as implementation, usage, and pre and post conditions. Failure to update comments accordingly when the corresponding code is modified introduces inconsistencies, which is known to lead to confusion and software bugs. In this paper, we aim to detect whether a comment becomes inconsistent as a result of changes to the corresponding body of code, in order to catch potential inconsistencies just in time, i.e., before they are committed to a code base. To achieve this, we develop a deep learning approach that learns to correlate a comment with code changes. By evaluating on a large corpus of comment code pairs spanning various comment types, we show that our model outperforms multiple baselines by significant margins. For extrinsic evaluation, we show the usefulness of our approach by combining it with a comment update model to build a more comprehensive automatic comment maintenance system which can both detect and resolve inconsistent comments based on code changes.


Simultaneous Consensus Maximization and Model Fitting. Maximum consensus (MC) robust fitting is a fundamental problem in low level vision to process raw data. Typically, it firstly finds a consensus set of inliers and then fits a model on the consensus set. This work proposes a new formulation to achieve simultaneous maximum consensus and model estimation (MCME), which has two significant features compared with traditional MC robust fitting. First, it takes fitting residual into account in finding inliers, hence its lowest achievable residual in model fitting is lower than that of MC robust fitting. Second, it has an unconstrained formulation involving binary variables, which facilitates the use of the effective semidefinite relaxation (SDR) method to handle the underlying challenging combinatorial optimization problem. Though still nonconvex after SDR, it becomes biconvex in some applications, for which we use an alternating minimization algorithm to solve. Further, the sparsity of the problem is exploited in combination with low rank factorization to develop an efficient algorithm. Experiments show that MCME significantly outperforms RANSAC and deterministic approximate MC methods at high outlier ratios. Besides, in rotation and Euclidean registration, it also compares favorably with state of the art registration methods, especially in high noise and outliers. Code is available at textit https github.com FWen mcme.git .


On the Free Jordan Algebras. A conjecture for the dimension and the character of the homogenous components of the free Jordan algebras is proposed. As a support of the conjecture, some numerical evidences are generated by a computer and some new theoretical results are proved. One of them is the cyclicity of the Jordan operad.


Into the Battlefield Quantifying and Modeling Intra community Conflicts in Online Discussion. In this work, we present a novel quantification of conflict in online discussion. Unlike previous studies on conflict dynamics, which model conflict as a binary phenomenon, our measure is continuous valued, which we validate with manually annotated ratings. We address a two way prediction task. Firstly, we predict the probable degree of conflict a news article will face from its audience. We employ multiple machine learning frameworks for this task using various features extracted from news articles. Secondly, given a pair of users and their interaction history, we predict if their future engagement will result in a conflict. We fuse textual and network based features together using a support vector machine which achieves an AUC of 0.89. Moreover, we implement a graph convolutional model which exploits engagement histories of users to predict whether a pair of users who never met each other before will have a conflicting interaction, with an AUC of 0.69. We perform our studies on a massive discussion dataset crawled from the Reddit news community, containing over 41k news articles and 5.5 million comments. Apart from the prediction tasks, our studies offer interesting insights on the conflict dynamics how users form clusters based on conflicting engagements, how different is the temporal nature of conflict over different online news forums, how is contribution of different language based features to induce conflict, etc. In short, our study paves the way towards new methods of exploration and modeling of conflict dynamics inside online discussion communities.


Towards Practical Multi Object Manipulation using Relational Reinforcement Learning. Learning robotic manipulation tasks using reinforcement learning with sparse rewards is currently impractical due to the outrageous data requirements. Many practical tasks require manipulation of multiple objects, and the complexity of such tasks increases with the number of objects. Learning from a curriculum of increasingly complex tasks appears to be a natural solution, but unfortunately, does not work for many scenarios. We hypothesize that the inability of the state of the art algorithms to effectively utilize a task curriculum stems from the absence of inductive biases for transferring knowledge from simpler to complex tasks. We show that graph based relational architectures overcome this limitation and enable learning of complex tasks when provided with a simple curriculum of tasks with increasing numbers of objects. We demonstrate the utility of our framework on a simulated block stacking task. Starting from scratch, our agent learns to stack six blocks into a tower. Despite using step wise sparse rewards, our method is orders of magnitude more data efficient and outperforms the existing state of the art method that utilizes human demonstrations. Furthermore, the learned policy exhibits zero shot generalization, successfully stacking blocks into taller towers and previously unseen configurations such as pyramids, without any further training.


Contingent Convertible Obligations and Financial Stability. This paper investigates whether a financial system can be made more stable if financial institutions share risk by exchanging contingent convertible (CoCo) debt obligations. The question is framed in a financial network model of debt and equity interlinkages with the addition of a variant of the CoCo that converts continuously when a bank's equity debt ratio drops to a trigger level. The main theoretical result is a complete characterization of the clearing problem for the interbank debt and equity at the maturity of the obligations. We then introduce stylized networks to study when introducing contingent convertible bonds improves financial stability, as well as specific networks for which contingent convertible bonds do not provide uniformly improved system performance. To return to the main question, we examine the EU financial network at the time of the 2011 EBA stress test to do comparative statics to study the implications of CoCo debt on financial stability. It is found that by replacing all unsecured interbank debt by standardized CoCo interbank debt securities, systemic risk in the EU will decrease and bank shareholder value will increase.


On the limit regularity in Sobolev and Besov scales related to approximation theory. We study the interrelation between the limit L p( Omega) Sobolev regularity overline s p of (classes of) functions on bounded Lipschitz domains Omega subseteq mathbb R d , d geq 2 , and the limit regularity overline alpha p within the corresponding adaptivity scale of Besov spaces B alpha tau, tau ( Omega) , where 1 tau alpha d 1 p and alpha 0 ( p 1 fixed). The former determines the convergence rate of uniform numerical methods, whereas the latter corresponds to the convergence rate of best N term approximation. We show how additional information on the Besov or Triebel Lizorkin regularity may be used to deduce upper bounds for overline alpha p in terms of overline s p simply by means of classical embeddings and the extension of complex interpolation to suitable classes of quasi Banach spaces due to Kalton, Mayboroda, and Mitrea (Contemp. Math. 445). The results are applied to the Poisson equation, to the p Poisson problem, and to the inhomogeneous stationary Stokes problem. In particular, we show that already established results on the Besov regularity for the Poisson equation are sharp. Keywords Non linear approximation, adaptive methods, Besov space, Triebel Lizorkin space, regularity of solutions, stationary Stokes equation, Poisson equation, p Poisson equation, Lipschitz domain.


Swarm based Drone as a Service (SDaaS) for Delivery. We propose a novel framework for composing Swarm based Drone as a Service (SDaaS) for delivery. Two composition approaches, i.e., sequential and parallel are designed considering the different behaviors of drone swarms. The proposed framework considers various constraints, e.g., recharging time and limited battery to meet delivery deadlines. We propose SDaaS composition algorithms using a modified A algorithm. A cooperative behavior model is incorporated to reduce recharging and waiting time in a delivery. Experimental results prove the efficiency of the proposed approach.


EdgeDASH Exploiting Network Assisted Adaptive Video Streaming for Edge Caching. While edge video caching has great potential to decrease the core network traffic as well as the users' experienced latency, it is often challenging to exploit the caches in current client driven video streaming solutions due to two key reasons. First, even those clients interested in the same content might request different quality levels as a video content is encoded into multiple qualities to match a wide range of network conditions and device capabilities. Second, the clients, who select the quality of the next chunk to request, are unaware of the cached content at the network edge. Hence, it becomes imperative to develop network side solutions to exploit caching. This can also mitigate some performance issues, in particular for the scenarios in which multiple video clients compete for some bottleneck capacity. In this paper, we propose a network side control logic running at a WiFi AP to facilitate the use of cached video content. In particular, an AP can assign a client station a different video quality than its request, in case the alternative quality provides a better utility. We formulate the quality assignment problem as an optimization problem and develop several heuristics with polynomial complexity. Compared to the baseline where the clients determine the quality adaptation, our proposals, referred to as EdgeDASH, offer higher video quality, higher cache hits, and lower stalling ratio which are essential for user's satisfaction. Our simulations show that EdgeDASH facilitates significant cache hits and decreases the buffer stalls only by changing the client's request by one quality level. Moreover, from our analysis, we conclude that the network assistance provides significant performance improvement, especially when the clients with identical interests compete for a bottleneck link's capacity.


Ability of the e TellTale sensor to detect flow features over wind turbine blades flow separation reattachment dynamics. Monitoring the flow features over wind turbine blades is a challenging task that has become more and more crucial. This paper is devoted to demonstrate the ability of the e TellTale sensor to detect the flow separation reattachment dynamics over wind turbine blades. This sensor is made of a strip with a strain gauge sensor at its base. The velocity field was acquired using TR PIV measurements over an oscillating thick blade section equipped with an e TellTale sensor. PIV images were post processed to detect movements of the strip, which was compared to movements of flow. Results show good agreement between the measured velocity field and movements of the strip regarding the separation reattachment dynamics.


Optimal order finite element approximations for variable order time fractional diffusion equations. We study a fully discrete finite element method for variable order time fractional diffusion equations with a time dependent variable order. Optimal convergence estimates are proved with the first order accuracy in time (and second order accuracy in space) under the uniform or graded temporal mesh without full regularity assumptions of the solutions. Numerical experiments are presented to substantiate the analysis.


Lifting Datalog Based Analyses to Software Product Lines. Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection of Product Line Engineering and software analysis. Different attempts have been made to "lift" particular product level analyses to run on the entire product line. In this paper, we tackle the class of Datalog based analyses (e.g., pointer and taint analyses), study the theoretical aspects of lifting Datalog inference, and implement a lifted inference algorithm inside the Souffl 'e Datalog engine. We evaluate our implementation on a set of benchmark product lines. We show significant savings in processing time and fact database size (billions of times faster on one of the benchmarks) compared to brute force analysis of each product individually.


Single Image Reflection Removal Exploiting Misaligned Training Data and Network Enhancements. Removing undesirable reflections from a single image captured through a glass window is of practical importance to visual computing systems. Although state of the art methods can obtain decent results in certain situations, performance declines significantly when tackling more general real world cases. These failures stem from the intrinsic difficulty of single image reflection removal the fundamental ill posedness of the problem, and the insufficiency of densely labeled training data needed for resolving this ambiguity within learning based neural network pipelines. In this paper, we address these issues by exploiting targeted network enhancements and the novel use of misaligned data. For the former, we augment a baseline network architecture by embedding context encoding modules that are capable of leveraging high level contextual clues to reduce indeterminacy within areas containing strong reflections. For the latter, we introduce an alignment invariant loss function that facilitates exploiting misaligned real world training data that is much easier to collect. Experimental results collectively show that our method outperforms the state of the art with aligned data, and that significant improvements are possible when using additional misaligned data.


Hierarchical Multitask Learning Approach for BERT. Recent works show that learning contextualized embeddings for words is beneficial for downstream tasks. BERT is one successful example of this approach. It learns embeddings by solving two tasks, which are masked language model (masked LM) and the next sentence prediction (NSP). The pre training of BERT can also be framed as a multitask learning problem. In this work, we adopt hierarchical multitask learning approaches for BERT pre training. Pre training tasks are solved at different layers instead of the last layer, and information from the NSP task is transferred to the masked LM task. Also, we propose a new pre training task bigram shift to encode word order information. We choose two downstream tasks, one of which requires sentence level embeddings (textual entailment), and the other requires contextualized embeddings of words (question answering). Due to computational restrictions, we use the downstream task data instead of a large dataset for the pre training to see the performance of proposed models when given a restricted dataset. We test their performance on several probing tasks to analyze learned embeddings. Our results show that imposing a task hierarchy in pre training improves the performance of embeddings.


On an inequality of Bushnell Henniart for Rankin Selberg conductors. We prove a division algebra analogue of an ultrametric inequality of Bushnell Henniart for Rankin Selberg conductors. Under the Jacquet Langlands correspondence, the two versions are equivalent.


Program Generation for Linear Algebra Using Multiple Layers of DSLs. Numerical software in computational science and engineering often relies on highly optimized building blocks from libraries such as BLAS and LAPACK, and while such libraries provide portable performance for a wide range of computing architectures, they still present limitations in terms of flexibility. We advocate a domain specific program generator capable of producing library routines tailored to the specific needs of the application in terms of sizes, interface, and target architecture.


SL1M Sparse L1 norm Minimization for contact planning on uneven terrain. One of the main challenges of planning legged locomotion in complex environments is the combinatorial contact selection problem. Recent contributions propose to use integer variables to represent which contact surface is selected, and then to rely on modern mixed integer (MI) optimization solvers to handle this combinatorial issue. To reduce the computational cost of MI, we exploit the sparsity properties of L1 norm minimization techniques to relax the contact planning problem into a feasibility linear program. Our approach accounts for kinematic reachability of the center of mass (COM) and of the contact effectors. We ensure the existence of a quasi static COM trajectory by restricting our plan to quasi flat contacts. For planning 10 steps with less than 10 potential contact surfaces for each phase, our approach is 50 to 100 times faster that its MI counterpart, which suggests potential applications for online contact re planning. The method is demonstrated in simulation with the humanoid robots HRP 2 and Talos over various scenarios.


Poissonian pair correlation on manifolds via the heat kernel. We define a notion of Poissonian pair correlation (PPC) for Riemannian manifolds without boundary and prove that PPC implies uniform distribution in this setting. This extends earlier work by Grepstad and Larcher, Aistleitner, Lachmann, and Pausinger, Steinerberger, and Marklof.


Amenable dynamical systems over locally compact groups. We establish several new characterizations of amenable W and C dynamical systems over arbitrary locally compact groups. In the W setting we show that amenability is equivalent to (1) a Reiter property and (2) the existence of a certain net of completely positive Herz Schur multipliers of (M,G, alpha) converging point weak to the identity of G bar ltimes M . In the C setting, we prove that amenability of (A,G, alpha) is equivalent to an analogous Herz Schur multiplier approximation of the identity of the reduced crossed product G ltimes A , as well as a particular case of the positive weak approximation property of B ' e dos and Conti (generalized the locally compact setting). When Z(A ) Z(A) , it follows that amenability is equivalent to the 1 positive approximation property of Exel and Ng. In particular, when A C 0(X) is commutative, amenability of (C 0(X),G, alpha) coincides with topological amenability the G space (G,X) . Our results answer 2 open questions from the literature one of Anantharaman Delaroche, and one from recent work of Buss Echterhoff Willett.


End to End Domain Adaptive Attention Network for Cross Domain Person Re Identification. Person re identification (re ID) remains challenging in a real world scenario, as it requires a trained network to generalise to totally unseen target data in the presence of variations across domains. Recently, generative adversarial models have been widely adopted to enhance the diversity of training data. These approaches, however, often fail to generalise to other domains, as existing generative person re identification models have a disconnect between the generative component and the discriminative feature learning stage. To address the on going challenges regarding model generalisation, we propose an end to end domain adaptive attention network to jointly translate images between domains and learn discriminative re id features in a single framework. To address the domain gap challenge, we introduce an attention module for image translation from source to target domains without affecting the identity of a person. More specifically, attention is directed to the background instead of the entire image of the person, ensuring identifying characteristics of the subject are preserved. The proposed joint learning network results in a significant performance improvement over state of the art methods on several benchmark datasets.


General Video Game Rule Generation. We introduce the General Video Game Rule Generation problem, and the eponymous software framework which will be used in a new track of the General Video Game AI (GVGAI) competition. The problem is, given a game level as input, to generate the rules of a game that fits that level. This can be seen as the inverse of the General Video Game Level Generation problem. Conceptualizing these two problems as separate helps breaking the very hard problem of generating complete games into smaller, more manageable subproblems. The proposed framework builds on the GVGAI software and thus asks the rule generator for rules defined in the Video Game Description Language. We describe the API, and three different rule generators a random, a constructive and a search based generator. Early results indicate that the constructive generator generates playable and somewhat interesting game rules but has a limited expressive range, whereas the search based generator generates remarkably diverse rulesets, but with an uneven quality.


Hamilton Jacobi equations for optimal control on multidimensional junctions with entry costs. We consider an infinite horizon control problem for dynamics constrained to remain on a multidimensional junction with entry costs. We derive the associated system of Hamilton Jacobi equations (HJ), prove the comparison principle and that the value function of the optimal control problem is the unique viscosity solution of the HJ system. This is done under the usual strong controllability assumption and also under a weaker condition, coined 'moderate controllability assumption'.


Binomial Edge Ideals of Generalized block graphs. We classify generalized block graphs whose binomial edge ideals admit a unique extremal Betti number. We prove that the Castelnuovo Mumford regularity of binomial edge ideals of generalized block graphs is bounded below by m(G) 1 , where m(G) is the number of minimal cut sets of the graph G and obtain an improved upper bound for the regularity in terms of the number of maximal cliques and pendant vertices of G .


Communication Lower Bounds for Distributed Memory Computations for Mass Spectrometry based Omics Data. Mass spectrometry (MS) based omics data analysis require significant time and resources. To date, few parallel algorithms have been proposed for deducing peptides from mass spectrometry based data. However, these parallel algorithms were designed, and developed when the amount of data that needed to be processed was smaller in scale. In this paper, we prove that the communication bound that is reached by the emph existing parallel algorithms is Omega(mn 2r frac q p ) , where m and n are the dimensions of the theoretical database matrix, q and r are dimensions of spectra, and p is the number of processors. We further prove that communication optimal strategy with fast memory sqrt M mn frac 2qr p can achieve Omega( frac 2mnq p ) but is not achieved by any existing parallel proteomics algorithms till date. To validate our claim, we performed a meta analysis of published parallel algorithms, and their performance results. We show that sub optimal speedups with increasing number of processors is a direct consequence of not achieving the communication lower bounds. We further validate our claim by performing experiments which demonstrate the communication bounds that are proved in this paper. Consequently, we assert that next generation of emph provable , and demonstrated superior parallel algorithms are urgently needed for MS based large systems biology studies especially for meta proteomics, proteogenomic, microbiome, and proteomics for non model organisms. Our hope is that this paper will excite the parallel computing community to further investigate parallel algorithms for highly influential MS based omics problems.


Wavefunctions from Energies Applications in simple potentials. A remarkable mathematical property somehow hidden and recently rediscovered allows obtaining the eigenvectors of a Hermitian matrix directly from their eigenvalues. That opens the possibility to get the wavefunctions from the spectrum, an elusive goal of many fields in physics. Here, the formula is assessed for simple potentials, recovering the theoretical wavefunctions within machine accuracy. A striking feature of this eigenvalue eigenvector relation is that it does not require knowing any of the entries of the working matrix. However, it requires the knowledge of the eigenvalues of the minor matrices (in which a row and a column have been deleted from the original matrix). We found a pattern in these sub matrices spectra, allowing to get the eigenvectors analytically. The physical information hidden behind this pattern is analyzed.


Is coding a relevant metaphor for building AI? A commentary on "Is coding a relevant metaphor for the brain?", by Romain Brette. Brette contends that the neural coding metaphor is an invalid basis for theories of what the brain does. Here, we argue that it is an insufficient guide for building an artificial intelligence that learns to accomplish short and long term goals in a complex, changing environment.


Industrial applications of digital rock technology. This article provides an overview of the current state of digital rock technology, with emphasis on industrial applications. We show how imaging and image analysis can be applied for rock typing and modeling of end point saturations. Different methods to obtain a digital model of the pore space from pore scale images are presented, and the strengths and weaknesses of the different methods are discussed. We also show how imaging bridges the different subjects of geology, petrophysics and reservoir simulations, by being a common denominator for results in all these subjects. Network modeling is compared to direct simulations on grid models, and their respective strengths are discussed. Finally we present an example of digital rock technology applied to a sandstone oil reservoir. Results from digital rock modeling are compared to results from traditional laboratory experiments. We highlight the mutual benefits from conducting both traditional experiments and digital rock modeling.


The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I the system without complete induction. In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system bf SN of constructive arithmetic with strong negation without complete induction, for which two types of cut elimination theorems hold. One is bf SN cut elimination theorem for the full system bf SN . The other is bf PCN cut elimination theorem for a proposed subsystem bf PCN of bf SN . The disjunction property and the E theorem (existence property) for bf SN are also proved. As a novelty, we shall give a simple proof of a restricted version of bf SN cut elimination theorem as an application of the disjunction property, using bf PCN cut elimination theorem.


Integral flow and cycle chip firing on graphs. Motivated by the notion of chip firing on the dual graph of a planar graph, we consider integral flow chip firing' on an arbitrary graph G . The chip firing rule is governed by mathcal L (G) , the dual Laplacian of G determined by choosing a basis for the lattice of integral flows on G . We show that any graph admits such a basis so that mathcal L (G) is an M matrix, leading to a firing rule on these basis elements that is avalanche finite. This follows from a more general result on bases of integral lattices that may be of independent interest. Our results provide a notion of z superstable flow configurations that are in bijection with the set of spanning trees of G . We show that for planar graphs, as well as for the graphs K 5 and K 3,3 , one can find such a flow M basis that consists of cycles of the underlying graph. We consider the question for arbitrary graphs and address some open questions.


Integrated photonic characterization of single photon detectors for use in neuromorphic synapses. We show several techniques for using integrated photonic waveguide structures to simultaneously characterize multiple waveguide integrated superconducting nanowire detectors with a single fiber input. The first set of structures allows direct comparison of detector performance of waveguide integrated detectors with various widths and lengths. The second type of demonstrated integrated photonic structure allows us to achieve detection with a high dynamic range. This device allows a small number of detectors to count photons across many orders of magnitude in count rate. However, we find a stray light floor of 30 dB limits the dynamic range to three orders of magnitude. To assess the utility of the detectors for use in synapses in spiking neural systems, we measured the response with average incident photon numbers ranging from less than 10 3 to greater than 10 . The detector response is identical across this entire range, indicating that synaptic responses based on these detectors will be independent of the number of incident photons in a communication pulse. Such a binary response is ideal for communication in neural systems. We further demonstrate that the response has a linear dependence of output current pulse height on bias current with up to a factor of 1.7 tunability in pulse height. Throughout the work, we compare room temperature measurements to cryogenic measurements. The agreement indicates room temperature measurements can be used to determine important properties of the detectors.


An Analysis of Blockchain Consistency in Asynchronous Networks Deriving a Neat Bound. Formal analyses of blockchain protocols have received much attention recently. Consistency results of Nakamoto's blockchain protocol are often expressed in a quantity c , which denotes the expected number of network delays before some block is mined. With mu (resp., nu ) denoting the fraction of computational power controlled by benign miners (resp., the adversary), where mu nu 1 , we prove for the first time that to ensure the consistency property of Nakamoto's blockchain protocol in an asynchronous network, it suffices to have c to be just slightly greater than frac 2 mu ln ( mu nu) . Such a result is both neater and stronger than existing ones. In the proof, we formulate novel Markov chains which characterize the numbers of mined blocks in different rounds.


Evaluation of Skid Steering Kinematic Models for Subarctic Environments. In subarctic and arctic areas, large and heavy skid steered robots are preferred for their robustness and ability to operate on difficult terrain. State estimation, motion control and path planning for these robots rely on accurate odometry models based on wheel velocities. However, the state of the art odometry models for skid steer mobile robots (SSMRs) have usually been tested on relatively lightweight platforms. In this paper, we focus on how these models perform when deployed on a large and heavy (590 kg) SSMR. We collected more than 2 km of data on both snow and concrete. We compare the ideal differential drive, extended differential drive, radius of curvature based, and full linear kinematic models commonly deployed for SSMRs. Each of the models is fine tuned by searching their optimal parameters on both snow and concrete. We then discuss the relationship between the parameters, the model tuning, and the final accuracy of the models.


Faster Neural Network Training with Data Echoing. In the twilight of Moore's law, GPUs and other specialized hardware accelerators have dramatically sped up neural network training. However, earlier stages of the training pipeline, such as disk I O and data preprocessing, do not run on accelerators. As accelerators continue to improve, these earlier stages will increasingly become the bottleneck. In this paper, we introduce "data echoing," which reduces the total computation used by earlier pipeline stages and speeds up training whenever computation upstream from accelerators dominates the training time. Data echoing reuses (or "echoes") intermediate outputs from earlier pipeline stages in order to reclaim idle capacity. We investigate the behavior of different data echoing algorithms on various workloads, for various amounts of echoing, and for various batch sizes. We find that in all settings, at least one data echoing algorithm can match the baseline's predictive performance using less upstream computation. We measured a factor of 3.25 decrease in wall clock time for ResNet 50 on ImageNet when reading training data over a network.


On the Potential of Lexico logical Alignments for Semantic Parsing to SQL Queries. Large scale semantic parsing datasets annotated with logical forms have enabled major advances in supervised approaches. But can richer supervision help even more? To explore the utility of fine grained, lexical level supervision, we introduce Squall, a dataset that enriches 11,276 WikiTableQuestions English language questions with manually created SQL equivalents plus alignments between SQL and question fragments. Our annotation enables new training possibilities for encoder decoder models, including approaches from machine translation previously precluded by the absence of alignments. We propose and test two methods (1) supervised attention (2) adopting an auxiliary objective of disambiguating references in the input queries to table columns. In 5 fold cross validation, these strategies improve over strong baselines by 4.4 execution accuracy. Oracle experiments suggest that annotated alignments can support further accuracy gains of up to 23.9 .


Slope Inequalities for fibrations of non maximal Albanese dimension. We study and obtain Slope inequalities for fibred irregular varieties of non maximal Albanese dimension. We give a comparison theorem between Clifford Severi and Slope inequalities for this type of fibrations. We also obtain a set of Slope inequalities considering the geometry of the Albanese map and the associated eventual maps.


A Global Compact Result for a Fractional Elliptic Problem with Hardy term and critical non linearity on the whole space. In this paper, we deal with a fractional elliptic equation with critical Sobolev nonlinearity and Hardy term ( Delta) alpha u mu frac u x 2 alpha a(x) u u 2 2 u k(x) u q 2 u u , in ,H alpha( mathbb R N), where 2 q 2 , 0 alpha 1 , N 4 alpha , 2 2N (N 2 alpha) is the critical Sobolev exponent, a(x),k(x) in C( mathbb R N) . Through a compactness analysis of the functional associated to ( ) , we obtain the existence of positive solutions for ( ) under certain assumptions on a(x),k(x) .


Dual cyclic polytopes of convex planar polygons with fixed vertex angles. If we fix the angles at the vertices of a convex planar n gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of n edge lengths form a convex polytope of dimension n 3 , each facet of which consists of those n gons in which the length of a particular edge has fallen to zero. Bavard and Ghys require unit area instead, which gives them a hyperbolic polytope. Those two polytopes are combinatorially equivalent, so either is fine for our purposes. Such a fixed angles polytope is combinatorially richer when the angles are well balanced. We say that fixed external angles are "majority dominant" when every consecutive string of more than half of them sums to more than pi . When n is odd, we show that the fixed angles polytope for any majority dominant angles is dual to the cyclic polytope C n 3 (n) . To extend that result to even n , we require that the angles also have "dipole tie breaking" None of the n strings of length n 2 sums to precisely pi , and the n 2 that sum to more than pi overlap as much as possible, all containing a particular angle. Fixing the vertex angles is uncommon, however people more often fix the edge lengths. That is harder, in part because fixed lengths n gons may not be convex, but mostly because fixing the lengths constrains the angles nonlinearly so the resulting moduli spaces, called "polygon spaces", are curved. Using Schwarz Christoffel maps, Kapovich and Millson show that the subset of that polygon space in which the n gons are convex and traversed counterclockwise is homeomorphic to the fixed angles polytope above, for those same fixed values. Each such subset is thus a topological polytope and it is dual cyclic whenever the fixed lengths are majority dominant and, for even n , have dipole tie breaking.


A traceability and auditing framework for electronic equipment reverse logistics based on blockchain the case of mobile phones. Human beings produce electronic waste (e waste) at an unprecedented pace. Mobile phones and other inter connected smart devices make a significant contribution to the generation of e waste. Reverse logistics (RL) activities play an essential role in managing mobile phones during their end of life. However, remanufacturing and or refurbishing of mobile phones might prove difficult not only from an operational point of view but also from a data management and privacy perspective (due to privacy related regulatory frameworks like the EU General Data Protection Regulation directive). In this paper, we propose a distributed trustless and secure framework for electronic equipment RL activities based on blockchain technology. We consider the remanufacturing refurbishing recovery option for mobile phones, and we develop an autonomous and effective back end data sharing architecture based on smart contracts blockchain technology for keeping track of all the remanufacturing refurbishing processes. For demonstrating the applicability of our approach, we develop a functional set of smart contracts and a local private blockchain. The benefits of our framework are further discussed, along with fruitful areas for future research.


Flux stability for conservation laws with discontinuous flux and convergence rates of the front tracking method. We prove that adapted entropy solutions of scalar conservation laws with discontinuous flux are stable with respect to changes in the flux under the assumption that the flux is strictly monotone in u and the spatial dependency is piecewise constant with finitely many discontinuities. We use this stability result to prove a convergence rate for the front tracking method a numerical method which is widely used in the field of conservation laws with discontinuous flux. To the best of our knowledge, both of these results are the first of their kind in the literature on conservation laws with discontinuous flux. We also present numerical experiments verifying the convergence rate results and comparing numerical solutions computed with the front tracking method to finite volume approximations.


Action angle coordinates on coadjoint orbits and multiplicity free spaces from partial tropicalization. Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin Sternberg construction of Gelfand Zeitlin integrable systems for the groups K U(n), SO(n) . Extending these results to groups of other types is one of the goals of this paper. Partial tropicalizations are Poisson spaces with constant Poisson bracket built using techniques of Poisson Lie theory and the geometric crystals of Berenstein Kazhdan. They provide a bridge between dual spaces of Lie algebras rm Lie (K) with linear Poisson brackets and polyhedral cones which parametrize the canonical bases of irreducible modules of G K mathbb C . We generalize the construction of partial tropicalizations to allow for arbitrary cluster charts, and apply it to questions in symplectic geometry. For each regular coadjoint orbit of a compact group K , we construct an exhaustion by symplectic embeddings of toric domains. As a by product we arrive at a conjectured formula for Gromov width of regular coadjoint orbits. We prove similar results for multiplicity free K spaces.


Siegel modular forms of degree three and invariants of ternary quartics. We determine the structure of the graded ring of Siegel modular forms of degree 3. It is generated by 19 modular forms, among which we identify a homogeneous system of parameters with 7 forms of weights 4, 12, 12, 14, 18, 20 and 30. We also give a complete dictionary between the Dixmier Ohno invariants of ternary quartics and the above generators.


Characterization of the new free air primary standard for medium energy X rays at CMI. In 2011 a decision was made by Czech Metrology Institute to build a free air ionization chamber (FAC) intended to be used as a primary standard of air kerma rate for medium energy X rays (photon energy from 40 to 300 keV, including mammography X ray qualities) in order to replace currently used secondary ionization chamber and to decrease the uncertainty of air kerma reference value. In period of 2013 2017, the FAC has been designed, manufactured and put into operation. Correction factors were measured or calculated by a Monte Carlo method. FAC performance was preliminary tested using a calibrated secondary chamber. Physical characteristics of the FAC are described and a summary of the correction factors with the uncertainty budget is presented.


Products and Polarizations of Super Isolated Abelian Varieties. In this paper we study super isolated abelian varieties, that is, abelian varieties over finite fields whose isogeny class contains a single isomorphism class. The goal of this paper is to (1) characterize whether a product of super isolated varieties is super isolated, and (2) characterize which super isolated abelian varieties admit principal polarizations, and how many up to polarized isomorphisms.


Non planar sensing skins for structural health monitoring based on electrical resistance tomography. Electrical resistance tomography (ERT) based distributed surface sensing systems, or sensing skins, offer alternative sensing techniques for structural health monitoring, providing capabilities for distributed sensing of, for example, damage, strain and temperature. Currently, however, the computational techniques utilized for sensing skins are limited to planar surfaces. In this paper, to overcome this limitation, we generalize the ERT based surface sensing to non planar surfaces covering arbitrarily shaped three dimensional structures We construct a framework in which we reformulate the image reconstruction problem of ERT using techniques of Riemannian geometry, and solve the resulting problem numerically. We test this framework in series of numerical and experimental studies. The results demonstrate that the feasibility of the proposed formulation and the applicability of ERT based sensing skins for non planar geometries.


The Impact of Public Safety Measures on the Spread of COVID 19 in the United States Assessed By Causal Model Based Projections of the Pandemic. The novel coronavirus, SARS CoV 2, and the disease it causes, COVID 19 was declared a pandemic on March 11, 2020 by the World Health Organization. Since then, the disease has spread all over the world, with the United States becoming the country with the highest number of cases. Governments around the world have undertaken varying degrees of public safety measures, including recommendations and ad campaigns for improved hygiene practices, enacting social distancing requirements and limiting large public gatherings, and stay at home orders and lockdowns. In the United States, while the response has varied greatly from state to state, we clearly see that the effect of these public safety measures is significant and, if these measures continue to remain in effect, or are expanded to a nationwide lockdown, the pandemic can be controlled and the disease likely overcome with mitigated consequences. In this paper, we model the spread of the novel coronavirus using a causal model. We find that, with continued lockdown measures, the United States can, according to this model, limit the total number of infections to 1.35 million and the total number of deaths to 72 thousand. A 60 day lockdown can save countless lives.


Privacy Guidelines for Contact Tracing Applications. Contact tracing is a very powerful method to implement and enforce social distancing to avoid spreading of infectious diseases. The traditional approach of contact tracing is time consuming, manpower intensive, dangerous and prone to error due to fatigue or lack of skill. Due to this there is an emergence of mobile based applications for contact tracing. These applications primarily utilize a combination of GPS based absolute location and Bluetooth based relative location remitted from user's smartphone to infer various insights. These applications have eased the task of contact tracing however, they also have severe implication on user's privacy, for example, mass surveillance, personal information leakage and additionally revealing the behavioral patterns of the user. This impact on user's privacy leads to trust deficit in these applications, and hence defeats their purpose. In this work we discuss the various scenarios which a contact tracing application should be able to handle. We highlight the privacy handling of some of the prominent contact tracing applications. Additionally, we describe the various threat actors who can disrupt its working, or misuse end user's data, or hamper its mass adoption. Finally, we present privacy guidelines for contact tracing applications from different stakeholder's perspective. To best of our knowledge, this is the first generic work which provides privacy guidelines for contact tracing applications.


Manipulation of Articulated Objects using Dual arm Robots via Answer Set Programming. The manipulation of articulated objects is of primary importance in Robotics, and can be considered as one of the most complex manipulation tasks. Traditionally, this problem has been tackled by developing ad hoc approaches, which lack flexibility and portability. In this paper we present a framework based on Answer Set Programming (ASP) for the automated manipulation of articulated objects in a robot control architecture. In particular, ASP is employed for representing the configuration of the articulated object, for checking the consistency of such representation in the knowledge base, and for generating the sequence of manipulation actions. The framework is exemplified and validated on the Baxter dual arm manipulator in a first, simple scenario. Then, we extend such scenario to improve the overall setup accuracy, and to introduce a few constraints in robot actions execution to enforce their feasibility. The extended scenario entails a high number of possible actions that can be fruitfully combined together. Therefore, we exploit macro actions from automated planning in order to provide more effective plans. We validate the overall framework in the extended scenario, thereby confirming the applicability of ASP also in more realistic Robotics settings, and showing the usefulness of macro actions for the robot based manipulation of articulated objects. Under consideration in Theory and Practice of Logic Programming (TPLP).


Optimization Based Motion Planning for Multi Limbed Vertical Climbing Robots. Motion planning trajectories for a multi limbed robot to climb up walls requires a unique combination of constraints on torque, contact force, and posture. This paper focuses on motion planning for one particular setup wherein a six legged robot braces itself between two vertical walls and climbs vertically with end effectors that only use friction. Instead of motion planning with a single nonlinear programming (NLP) solver, we decoupled the problem into two parts with distinct physical meaning torso postures and contact forces. The first part can be formulated as either a mixed integer convex programming (MICP) or NLP problem, while the second part is formulated as a series of standard convex optimization problems. Variants of the two wall climbing problem e.g., obstacle avoidance, uneven surfaces, and angled walls, help verify the proposed method in simulation and experimentation.


Spectral Norm and Nuclear Norm of a Third Order Tensor. The spectral norm and the nuclear norm of a third order tensor play an important role in the tensor completion and recovery problem. We show that the spectral norm of a third order tensor is equal to the square root of the spectral norm of three positive semi definite biquadratic tensors, and the square roots of the nuclear norms of those three positive semi definite biquadratic tensors are lower bounds of the nuclear norm of that third order tensor. This provides a way to estimate and to evaluate the spectral norm and the nuclear norm of that third order tensor. Some upper and lower bounds for the spectral norm and nuclear norm of a third order tensor, by spectral radii and nuclear norms of some symmetric matrices, are presented.


Beyond Human Level Accuracy Computational Challenges in Deep Learning. Deep learning (DL) research yields accuracy and product improvements from both model architecture changes and scale larger data sets and models, and more computation. For hardware design, it is difficult to predict DL model changes. However, recent prior work shows that as dataset sizes grow, DL model accuracy and model size grow predictably. This paper leverages the prior work to project the dataset and model size growth required to advance DL accuracy beyond human level, to frontier targets defined by machine learning experts. Datasets will need to grow 33 971 times , while models will need to grow 6.6 456 times to achieve target accuracies. We further characterize and project the computational requirements to train these applications at scale. Our characterization reveals an important segmentation of DL training challenges for recurrent neural networks (RNNs) that contrasts with prior studies of deep convolutional networks. RNNs will have comparatively moderate operational intensities and very large memory footprint requirements. In contrast to emerging accelerator designs, large scale RNN training characteristics suggest designs with significantly larger memory capacity and on chip caches.


Examples of finite dimensional pointed Hopf algebras in positive characteristic. We present new examples of finite dimensional Nichols algebras over fields of positive characteristic. The corresponding braided vector spaces are not of diagonal type, admit a realization as Yetter Drinfeld modules over finite abelian groups and are analogous to braidings over fields of characteristic zero whose Nichols algebras have finite Gelfand Kirillov dimension described in arXiv 1606.02521. We obtain nex examples of finite dimensional pointed Hopf algebras by bosonization with group algebras of suitable finite abelian groups.


How semantic and geometric information mutually reinforce each other in ToF object localization. We propose a novel approach to localize a 3D object from the intensity and depth information images provided by a Time of Flight (ToF) sensor. Our method uses two CNNs. The first one uses raw depth and intensity images as input, to segment the floor pixels, from which the extrinsic parameters of the camera are estimated. The second CNN is in charge of segmenting the object of interest. As a main innovation, it exploits the calibration estimated from the prediction of the first CNN to represent the geometric depth information in a coordinate system that is attached to the ground, and is thus independent of the camera elevation. In practice, both the height of pixels with respect to the ground, and the orientation of normals to the point cloud are provided as input to the second CNN. Given the segmentation predicted by the second CNN, the object is localized based on point cloud alignment with a reference model. Our experiments demonstrate that our proposed two step approach improves segmentation and localization accuracy by a significant margin compared to a conventional CNN architecture, ignoring calibration and height maps, but also compared to PointNet .


Me Love (SYN )Cookies SYN Flood Mitigation in Programmable Data Planes. The SYN flood attack is a common attack strategy on the Internet, which tries to overload services with requests leading to a Denial of Service (DoS). Highly asymmetric costs for connection setup putting the main burden on the attackee make SYN flooding an efficient and popular DoS attack strategy. Abusing the widely used TCP as an attack vector complicates the detection of malicious traffic and its prevention utilizing naive connection blocking strategies. Modern programmable data plane devices are capable of handling traffic in the 10 Gbit s range without overloading. We discuss how we can harness their performance to defend entire networks against SYN flood attacks. Therefore, we analyze different defense strategies, SYN authentication and SYN cookie, and discuss implementation difficulties when ported to different target data planes software, network processors, and FPGAs. We provide prototype implementations and performance figures for all three platforms. Further, we fully disclose the artifacts leading to the experiments described in this work.


Natural language technology and query expansion issues, state of the art and perspectives. The availability of an abundance of knowledge sources has spurred a large amount of effort in the development and enhancement of Information Retrieval techniques. Users information needs are expressed in natural language and successful retrieval is very much dependent on the effective communication of the intended purpose. Natural language queries consist of multiple linguistic features which serve to represent the intended search goal. Linguistic characteristics that cause semantic ambiguity and misinterpretation of queries as well as additional factors such as the lack of familiarity with the search environment affect the users ability to accurately represent their information needs, coined by the concept intention gap. The latter directly affects the relevance of the returned search results which may not be to the users satisfaction and therefore is a major issue impacting the effectiveness of information retrieval systems. Central to our discussion is the identification of the significant constituents that characterize the query intent and their enrichment through the addition of meaningful terms, phrases or even latent representations, either manually or automatically to capture their intended meaning. Specifically, we discuss techniques to achieve the enrichment and in particular those utilizing the information gathered from statistical processing of term dependencies within a document corpus or from external knowledge sources such as ontologies. We lay down the anatomy of a generic linguistic based query expansion framework and propose its module based decomposition, covering topical issues from query processing, information retrieval, computational linguistics and ontology engineering. For each of the modules we review state of the art solutions in the literature categorized and analyzed under the light of the techniques used.


Online Peer Assessment Datasets. Peer assessment experiments were conducted among first and second year students at the University of Trento. The experiments spanned an entire semester and were conducted in five computer science courses between 2013 and 2016. Peer assessment tasks included question and answer submission as well as answer evaluation tasks. The peer assessment datasets are complimented by the final scores of participating students for each course. Teachers were involved in filtering out questions submitted by students on a weekly basis. Selected questions were then used in subsequent peer assessment tasks. However, expert ratings are not included in the dataset. A major reason for this decision was that peer assessment tasks were designed with minimal teacher supervision in mind. Arguments in favour of this approach are presented. The datasets are designed in a manner that would allow their utilization in a variety of experiments. They are reported as parsable data structures that, with intermediate processing, can be moulded into NLP or ML ready datasets. Potential applications of interest include performance prediction and text similarity tasks.


Optimising energy and overhead for large parameter space simulations. Many systems require optimisation over multiple objectives, where objectives are characteristics of the system such as energy consumed or increase in time to perform the work. Optimisation is performed by selecting the best' set of input parameters to elicit the desired objectives. However, the parameter search space can often be far larger than can be searched in a reasonable time. Additionally, the objectives are often mutually exclusive leading to a decision being made as to which objective is more important or optimising over a combination of the objectives. This work is an application of a Genetic Algorithm to identify the Pareto frontier for finding the optimal parameter sets for all combinations of objectives. A Pareto frontier can be used to identify the sets of optimal parameters for which each is the best' for a given combination of objectives thus allowing decisions to be made with full knowledge. We demonstrate this approach for the HTC Sim simulation system in the case where a Reinforcement Learning scheduler is tuned for the two objectives of energy consumption and task overhead. Demonstrating that this approach can reduce the energy consumed by 36 over previously published work without significantly increasing the overhead.


Differential equations in a tangent category I Complete vector fields, flows, and exponentials. This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number object. A curve object is a preinitial object for dynamical systems dynamical systems may, in turn, be viewed as determining systems of differential equations. The unique map from the curve object to a dynamical system is a solution of the system, and a dynamical system is said to be complete when for all initial conditions there is a solution. A subtle issue concerns the question of when a dynamical system is complete, and the paper provides abstract conditions for this. This abstract formulation also allows new perspectives on topics such as commutative vector fields and flows. In addition, the stronger notion of a differential curve object, which is the centrepiece of the last section of the paper, has exponential maps and forms a differential exponential rig. This rig then, somewhat surprisingly, has an action on every differential object and bundle in the setting. In this manner, in a very strong sense, such a curve object plays the role of the real numbers in standard differential geometry.


Probability of consensus in spatial opinion models with confidence threshold. This paper gives lower bounds for the probability of consensus for two spatially explicit stochastic opinion models. Both processes are characterized by two finite connected graphs, that we call respectively the spatial graph and the opinion graph. The former represents the social network describing how individuals interact, while the latter represents the topological structure of the opinion space. The representation of the opinions as a graph induces a distance between opinions which we use to measure disagreements. Individuals can only interact with their neighbors on the spatial graph, and each interaction results in a local change of opinion only if the two interacting individuals do not disagree too much, which is quantified using a confidence threshold. In the first model, called the imitation process, an update results in both neighbors having the exact same opinion, whereas in the second model, called the attraction process, an update results in the neighbors' opinions getting one unit closer. For both models, we derive a lower bound for the probability of consensus that holds for any finite connected spatial graph. For the imitation process, the lower bound for the probability of consensus also holds for any finite connected opinion graph, whereas for the attraction process, the lower bound only holds for a certain class of opinion graphs that includes finite integer lattices, regular trees and star like graphs.


Invariant escaping Fatou components with two rank 1 limit functions for automorphisms of mathbb C 2 . We construct automorphisms of mathbb C 2 , and more precisely transcendental H 'enon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank 1. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form F(z,w) (g(z,w),z) with g(z,w) mathbb C 2 rightarrow mathbb C holomorphic.


Regularity of a gradient flow generated by the anisotropic Landau de Gennes energy with a singular potential. In this paper we study a gradient flow generated by the Landau de Gennes free energy that describes nematic liquid crystal configurations in the space of Q tensors. This free energy density functional is composed of three quadratic terms as the elastic energy density part, and a singular potential in the bulk part that is considered as a natural enforcement of a physical constraint on the eigenvalues of Q . The system is a non diagonal parabolic system with a singular potential which trends to infinity logarithmically when the eigenvalues of Q approaches the physical boundary. We give a rigorous proof that for rather general initial data with possibly infinite free energy, the system has a unique strong solution after any positive time t 0 . Furthermore, this unique strong solution detaches from the physical boundary after a sufficiently large time T 0 . We also give estimate of the Hausdorff measure of the set where the solution touches the physical boundary and thus prove a partial regularity result of the solution in the intermediate stage (0,T 0) .


Geodesic lines in Nearly K "ahler S 3 timesS 3. A nearly K "ahler manifold is an almost Hermitian manifold with the weakened K "ahler condition, that is, instead of being zero, the covariant derivative of the almost complex structure is skew symmetric. We give the explicit parameterization of geodesic lines on the nearly K "ahler S 3 timesS 3.