A Data Fusion Platform for Supporting Bridge Deck Condition Monitoring by Merging Aerial and Ground Inspection Imagery. UAVs showed great efficiency on scanning bridge decks surface by taking a single shot or through stitching a couple of overlaid still images. If potential surface deficits are identified through aerial images, subsequent ground inspections can be scheduled. This two phase inspection procedure showed great potentials on increasing field inspection productivity. Since aerial and ground inspection images are taken at different scales, a tool to properly fuse these multi scale images is needed for improving the current bridge deck condition monitoring practice. In response to this need a data fusion platform is introduced in this study. Using this proposed platform multi scale images taken by different inspection devices can be fused through geo referencing. As part of the platform, a web based user interface is developed to organize and visualize those images with inspection notes under users queries. For illustration purpose, a case study involving multi scale optical and infrared images from UAV and ground inspector, and its implementation using the proposed platform is presented.


Teaching Performance Modeling in the era of millennials. Performance Modeling (PM) teaching started in the early 70s and reached its peak in the 80s. From those years and until today computing systems have deeply changed. Moreover, in the last two decades an economical crisis has involved the educational system, while the new generations show new learning modes. In this time, new literature has developed about learning and teaching. Rarely highlighting the critical issues. Higher learning is changing its role maybe unawares. In this paper, the author starts from a close examination of the state of the art of PM courses in Universities around the world and tries to highlight the main critical issues of teaching nowadays. The paper has not the aim to give answers but mainly that to open the way to reflections and discussions.


Lp strong solution to fluid rigid body interaction system with Navier slip boundary condition. We study a fluid structure interaction problem describing movement of a rigid body inside a bounded domain filled by a viscous fluid. The fluid is modelled by the generalized incompressible Naiver Stokes equations which include cases of Newtonian and non Newtonian fluids. The fluid and the rigid body are coupled via the Navier slip boundary conditions and balance of forces at the fluid rigid body interface. Our analysis also includes the case of the nonlinear slip condition. The main results assert the existence of strong solutions, in an L p L q setting, globally in time, for small data in the Newtonian case, while existence of strong solutions in L p spaces, locally in time, is obtained for non Newtonian case. The proof for the Newtonian fluid essentially uses the maximal regularity property of the associated linear system which is obtained by proving the mathcal R sectoriality of the corresponding operator. The existence and regularity result for the general non Newtonian fluid solid system then relies upon the previous case. Moreover, we also prove the exponential stability of the system in the Newtonian case.


Limit polygons of convex domains in the projective plane. For any sequence of properly convex domains in the real projective plane such that the zeros of Pick differentials have bounded multiplicity and get further and further apart, we determined all Hausdorff limit domains that one can obtain after normalizing each member of the sequence by a projective transformation. We then show that the result can be applied to convex domains generated by projective triangular reflection groups.


Advancing computerized cognitive training for early Alzheimer's disease in a Covid 19 pandemic and post pandemic world. The COVID 19 pandemic has transformed mobile health applications and telemedicine from nice to have tools into essential healthcare infrastructure. This need is particularly great for the elderly who, due to their greater risk for infection, may avoid medical facilities or be required to self isolate. These are also the very groups at highest risk for cognitive decline. For example, during the COVID 19 pandemic artificially intelligent conversational agents were employed by hospitals and government agencies (such as the CDC) to field queries from patients about symptoms and treatments. Digital health tools also proved invaluable to provide neuropsychiatric and psychological self help to people isolated at home or in retirement centers and nursing homes.


Regular Random Sections of Convex Bodies and the Random Quotient of Subspace Theorem. It was shown by G. Pisier that any finite dimensional normed space admits an alpha regular M position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit ball and its dual. We revisit Pisier's argument and show the existence of a emph different position, which guarantees the same estimates for emph randomly sampled sections emph with high probability . As an application, we obtain a emph random version of V. Milman's Quotient of Subspace Theorem, asserting that in the above position, emph typical quotients of subspaces are isomorphic to Euclidean, with a distance estimate which matches the best known deterministic one (and beating all prior estimates which hold with high probability). Our main novel ingredient is a new position of convex bodies, whose existence we establish by using topological arguments and a fixed point theorem.


Modeling Tumor Angiogenesis with Cellular Automata. Angiogenesis is the formation of new blood vessels from the existing vessels. During tumour angiogenesis, tumour cells secret a number of chemical substrates called tumour angiogenic factors (TAFs). These factors diffuse through the extracellular matrix (ECM) and degrade the basement membrane of nearby vasculature. The TAFs also disrupt the corresponding endothelial cell receptors and form finger like capillary sprouts. These factors also create a chemical gradient (chemotaxis) between the tumour and the surrounding blood vessels. Due to the chemotactic force, the capillary sprouts migrate towards the tumour. On the other hand, a haptotactic force generated due to fibronectin which is secreted by the endothelial cell, also acts on these sprouts. These sprouts grow through the proliferation of recruited endothelial cells from the parent vessels. Tumour angiogenesis is not fully understood yet. In this paper, we use 2 D cellular automata (CA) model to study the behavior of tumour angiogenesis using both Moore and von Neumann neighborhood. The CA model also mimics capillary sprout branching and the fusion of two adjacent sprout tips (anastomoses). In this simulation, a couple of important points are noted a) no two capillary sprouts are generated from adjacent locations b) as the sprouts approach closer to the tumour, its branching tendency increases c) chemotaxis is the most effective driving force for angiogenesis.


Large Steklov eigenvalues via homogenisation on manifolds. Using methods in the spirit of deterministic homogenisation theory we obtain convergence of the Steklov eigenvalues of a sequence of domains in a Riemannian manifold to weighted Laplace eigenvalues of that manifold. The domains are obtained by removing small geodesic balls that are asymptotically densely uniformly distributed as their radius tends to zero. We use this relationship to construct manifolds that have large Steklov eigenvalues. In dimension two, and with constant weight equal to 1, we prove that Kokarev's upper bound of 8 pi for the first nonzero normalised Steklov eigenvalue on orientable surfaces of genus 0 is saturated. For other topological types and eigenvalue indices, we also obtain lower bounds on the best upper bound for the eigenvalue in terms of Laplace maximisers. For the first two eigenvalues, these lower bounds become equalities. A surprising consequence is the existence of free boundary minimal surfaces immersed in the unit ball by first Steklov eigenfunctions and with area strictly larger than 2 pi . This was previously thought to be impossible. We provide numerical evidence that some of the already known examples of free boundary minimal surfaces have these properties and also exhibit simulations of new free boundary minimal surfaces of genus 0 in the unit ball with even larger area. The first nonzero Steklov eigenvalue of all these examples is equal to 1, as a consequence of their symmetries and topology, so that they verify a general conjecture by Fraser and Li. In dimension three and larger, we prove that the isoperimetric inequality of Colbois El Soufi Girouard is sharp and implies an upper bound for weighted Laplace eigenvalues. We also show that in any manifold with a fixed metric, one can construct by varying the weight a domain with connected boundary whose first nonzero normalised Steklov eigenvalue is arbitrarily large.


Parallel Minimum Spanning Tree Algorithms and Evaluation. Minimum Spanning Tree (MST) is an important graph algorithm that has wide ranging applications in the areas of computer networks, VLSI routing, wireless communications among others. Today virtually every computer is built out of multi core processors. Hence it is important to take advantage of such parallel computing power by parallelizing existing algorithms and applications. Most of the earlier work on parallelizing MST focused on algorithms for PRAM models. There are two limitations to such studies. First, PRAM models assume infinite memory bandwidth which is unrealistic. Second, PRAM model based algorithms require at least O(n) processors where n being total number of vertices. For large graphs this is infeasible. There are very few implementations which target real systems. In this paper I present and evaluate two new parallel MST algorithms that are a variant of Parallel Boruvka algorithms i) First algorithm uses lock variables without spin locks ii) Second algorithm uses only atomic compare and swap (CAS) primitive. I evaluated the performance of these algorithms on a six core, 12 thread Intel system on various input graphs of sizes up to 1 million vertices. First algorithm showed a speedup of up to1.94 over an un optimized sequential algorithm and a speedup of up to 1.4 over an optimized sequential algorithm. Second algorithm showed a speedup of up to 2.03 over an un optimized sequential algorithm and a speedup of up to 1.403 over an optimized sequential algorithm. When second algorithm using CAS is compared with the first algorithm second algorithm is found to be up to 1.15 times better than the first algorithm at four threads.


Wild Galois representations elliptic curves over a 2 adic field with non abelian inertia action. In this paper we present a description of the Galois representation attached to an elliptic curve defined over a 2 adic field K , in the case where the image of inertia is non abelian. There are two possibilities for the image of inertia, namely Q 8 and SL 2( mathbb F 3) , and in each case we need to distinguish whether the inertia degree of K over mathbb Q 2 is even or odd. The result presented here can be implemented in an algorithm to compute explicitly the Galois representation in these four cases.


When Euler (circle) meets Poncelet (Porism). We describe all triangles that shares the same circumcircle and Euler circle. Although this two circles do not form a poristic pair of circles, we find a poristic circle "in between" that enable to solve this problem using Poncelet porism.


Differentiability of relative volumes over an arbitrary non Archimedean field. Given an ample line bundle L on a geometrically reduced projective scheme defined over an arbitrary non Archimedean field, we establish a differentiability property for the relative volume of two continuous metrics on the Berkovich analytification of L , extending previously known results in the discretely valued case. As applications, we provide fundamental solutions to certain non Archimedean Monge Amp ere equations, and generalize an equidistribution result for Fekete points. Our main technical input comes from determinant of cohomology and Deligne pairings.


A Two stage Adaptive Knowledge Transfer Evolutionary Multi tasking Based on Population Distribution for Multi Many Objective Optimization. Multi tasking optimization can usually achieve better performance than traditional single tasking optimization through knowledge transfer between tasks. However, current multi tasking optimization algorithms have some deficiencies. For high similarity problems, the knowledge that can accelerate the convergence rate of tasks has not been fully taken advantages of. For low similarity problems, the probability of generating negative transfer is high, which may result in optimization performance degradation. In addition, some knowledge transfer methods proposed previously do not fully consider how to deal with the situation in which the population falls into local optimum. To solve these issues, a two stage adaptive knowledge transfer evolutionary multi tasking optimization algorithm based on population distribution, labeled as EMT PD, is proposed. EMT PD can accelerate and improve the convergence performance of tasks based on the knowledge extracted from the probability model that reflects the search trend of the whole population. At the first transfer stage, an adaptive weight is used to adjust the step size of individual's search, which can reduce the impact of negative transfer. At the second stage of knowledge transfer, the individual's search range is further adjusted dynamically, which can improve the diversity of population and be beneficial for jumping out of local optimum. Experimental results on multi tasking multi objective optimization test suites show that EMT PD is superior to other six state of the art evolutionary multi single tasking algorithms. To further investigate the effectiveness of EMT PD on many objective optimization problems, a multi tasking many objective test suite is also designed in this paper. The experimental results on the new test suite also demonstrate the competitiveness of EMT PD.


Fourier coefficients of the overconvergent generalized eigenform associated to a CM form. Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a formula for the Fourier coefficiets of this generalized Hecke eigenform. We also investigate the dimension of the generalized Hecke eigenspace of p adic overconvergent forms containing f.


Med7 a transferable clinical natural language processing model for electronic health records. The field of clinical natural language processing has been advanced significantly since the introduction of deep learning models. The self supervised representation learning and the transfer learning paradigm became the methods of choice in many natural language processing application, in particular in the settings with the dearth of high quality manually annotated data. Electronic health record systems are ubiquitous and the majority of patients' data are now being collected electronically and in particular in the form of free text. Identification of medical concepts and information extraction is a challenging task, yet important ingredient for parsing unstructured data into structured and tabulated format for downstream analytical tasks. In this work we introduced a named entity recognition model for clinical natural language processing. The model is trained to recognise seven categories drug names, route, frequency, dosage, strength, form, duration. The model was first self supervisedly pre trained by predicting the next word, using a collection of 2 million free text patients' records from MIMIC III corpora and then fine tuned on the named entity recognition task. The model achieved a lenient (strict) micro averaged F1 score of 0.957 (0.893) across all seven categories. Additionally, we evaluated the transferability of the developed model using the data from the Intensive Care Unit in the US to secondary care mental health records (CRIS) in the UK. A direct application of the trained NER model to CRIS data resulted in reduced performance of F1 0.762, however after fine tuning on a small sample from CRIS, the model achieved a reasonable performance of F1 0.944. This demonstrated that despite a close similarity between the data sets and the NER tasks, it is essential to fine tune on the target domain data in order to achieve more accurate results.


A Communication Centric Observability Selection for Post Silicon System on Chip Integration Debug. Reconstruction of how components communicate with each other during system execution is crucial for debugging system on chip designs. However, limited observability is the major obstacle to the efficient and accurate reconstruction in the post silicon validation stage. This paper addresses that problem by proposing several communication event selection methods guided by system level communication protocols. Such methods are optimized for on chip communication event tracing infrastructure to enhance observability. The effectiveness of these methods are demonstrated with experiments on a non trivial multicore SoC prototype. The results show that with the proposed method, more comprehensive information on system internal execution can be inferred from traces under limited observability.


Local and global analyticity for mu Camassa Holm equations. We solve Cauchy problems for some mu Camassa Holm integro partial differential equations in the analytic category. The equations to be considered are mu CH of Khesin Lenells Misio l ek, mu DP of Lenells Misio l ek Ti u g lay, the higher order mu CH of Wang Li Qiao and the non quasilinear version of Qu Fu Liu. We prove the unique local solvability of the Cauchy problems and provide an estimate of the lifespan of the solutions. Moreover, we show the existence of a unique global in time analytic solution for mu CH, mu DP and the higher order mu CH. The present work is the first result of such a global nature for these equations. AMS subject classification 35R09, 35A01, 35A10, 35G25


Dowker filters and Magidor forcing. We prove that the consistency of the existence of a Dowker filter at kappa along with 2 kappa kappa where kappa is regular and uncountable. Using Magidor forcing we also prove the consistency of the existence of a Dowker filter at mu where mu rm cf ( mu) omega .


Resolvent based design and experimental testing of porous materials for passive turbulence control. An extended version of the resolvent formulation is used to evaluate the use of anisotropic porous materials as passive flow control devices for turbulent channel flow. The effect of these porous substrates is introduced into the governing equations via a generalized version of Darcy's law. Model predictions show that materials with high streamwise permeability and low wall normal permeability ( phi xy k xx k yy gg1 ) can suppress resolvent modes resembling the energetic near wall cycle. Based on these predictions, two anisotropic porous substrates with phi xy 1 and phi xy 1 were designed and fabricated for experiments in a benchtop water channel experiment. Particle Image Velocimetry (PIV) measurements were used to compute mean turbulence statistics and to educe coherent structure via snapshot Proper Orthogonal Decomposition (POD). Friction velocity estimates based on the Reynolds shear stress profiles do not show evidence of discernible friction reduction (or increase) over the streamwise preferential substrate with phi xy 1 relative to a smooth wall flow at identical bulk Reynolds number. A significant increase in friction is observed over the substrate with phi xy 1 . This increase in friction is linked to the emergence of spanwise rollers resembling Kelvin Helmholtz vortices. Coherent structures extracted via POD analysis show qualitative agreement with model predictions.


Learning Strong Substitutes Demand via Queries. This paper addresses the computational challenges of learning strong substitutes demand when given access to a demand (or valuation) oracle. Strong substitutes demand generalises the well studied gross substitutes demand to a multi unit setting. Recent work by Baldwin and Klemperer shows that any such demand can be expressed in a natural way as a finite list of weighted bid vectors. A simplified version of this bidding language has been used by the Bank of England. Assuming access to a demand oracle, we provide an algorithm that computes the unique list of weighted bid vectors corresponding to a bidder's demand preferences. In the special case where their demand can be expressed using positive bids only, we have an efficient algorithm that learns this list in linear time. We also show super polynomial lower bounds on the query complexity of computing the list of bids in the general case where bids may be positive and negative. Our algorithms constitute the first systematic approach for bidders to construct a bid list corresponding to non trivial demand, allowing them to participate in product mix' auctions.


Bound state solutions for non autonomous fractional Schr " o dinger Poisson equations with critical exponent. In this paper, we study the fractional Schr " o dinger Poisson equation begin equation left begin aligned ( Delta) s u V(x)u K(x) phi u u 2 ast s 2 u, mbox in mathbb R 3 , ( Delta) s phi K(x)u 2 , mbox in mathbb R 3 , end aligned right. end equation where s in ( frac 3 4 ,1 , 2 ast s frac 6 3 2s is the fractional critical exponent, K in L frac 6 6s 3 ( mathbb R 3 ) and V in L frac 3 2s ( mathbb R 3 ) are nonnegative functions. If V frac 3 2s K frac 6 6s 3 is sufficiently small, we prove that the equation has at least one bound state solution.


Patch wise Perturbation for Adversarial Targeted Attacks. Although great progress has been made on adversarial attacks for deep neural networks (DNNs), their transferability is still unsatisfactory, especially for targeted attacks. There are two problems behind that have been long overlooked 1) the conventional setting of T iterations with the step size of epsilon T to comply with the epsilon constraint. In this case, most of the pixels are allowed to add very small noise, much less than epsilon and 2) usually manipulating pixel wise noise. However, features of a pixel extracted by DNNs are influenced by its surrounding regions, and different DNNs generally focus on different discriminative regions in recognition. To tackle these issues, our previous work proposes a patch wise iterative method (PIM) aimed at crafting adversarial examples with high transferability. Specifically, we introduce an amplification factor to the step size in each iteration, and one pixel's overall gradient overflowing the epsilon constraint is properly assigned to its surrounding regions by a project kernel. But targeted attacks aim to push the adversarial examples into the territory of a specific class, and the amplification factor may lead to underfitting. Thus, we introduce the temperature and propose a patch wise iterative method (PIM ) to further improve transferability without significantly sacrificing the performance of the white box attack. Our method can be generally integrated to any gradient based attack methods. Compared with the current state of the art attack methods, we significantly improve the success rate by 33.1 for defense models and 31.4 for normally trained models on average.


Electron Backscattering Assisted High Harmonic Generation from Bilayer Nanostructures. In the framework of time dependent density functional theory, we obtain high order harmonics of photon energies up to 10 Up from bilayer crystals with an interlayer spacing d 70 AA . At grazing incidence, a clear double plateau structure is observed in the harmonic spectrum. The photon energy of the second plateau far beyond atomic like harmonics can be well explained by the inclusion of backscattering of ionized electrons. Ab initio simulations reveal that the cutoff of the second plateau is continuously extended with an increasing d. Our classical calculations predict that the maximum electronic kinetic energy is linearly dependent on d over a wide range. Moreover, the harmonic yield in the second plateau is significantly enhanced by increases in the wavelength of the driving laser. Owing to the confined spreading of the electronic wave packet, a beneficial wavelength scaling of lambda 2.85 is obtained. This study therefore establishes a novel and efficient way of producing high energy light source based on layered nanostructures.


Extremum Seeking for Traffic Congestion Control with a Downstream Bottleneck. This paper develops boundary control for freeway traffic with a downstream bottleneck. Traffic on a freeway segment with capacity drop at outlet of the segment is a common phenomenon leading to traffic bottleneck problem. The capacity drop can be caused by lane drop, hills, tunnel, bridge or curvature on the road. If incoming traffic flow remains unchanged, traffic congestion forms upstream of the bottleneck due to outgoing traffic overflowing its capacity. Therefore, it is important for us to regulate the incoming traffic flow of the segment so that the outgoing traffic at the bottleneck can be discharged with the maximum flow rate. Traffic densities on the freeway segment are described with Lighthill Whitham Richards (LWR) macroscopic Partial Differential Equation (PDE) model. To prevent the traffic congestion forming upstream of the bottleneck, incoming flow at the inlet of the freeway segment is controlled so that the optimal density could be achieved to maximize the outgoing flow and not to surpass the capacity at outlet. The density and traffic flow relation, described with fundamental diagram, is assumed to be unknown at the bottleneck area. We tackle this problem using Extremum Seeking (ES) Control with delay compensation for LWR PDE. ES control, a non model based approach for real time optimization, is adopted to find the optimal density for the unknown fundamental diagram. A predictor feedback control design is proposed to compensate the delay effect of traffic dynamics in the freeway segment. In the end, simulation results validate a desired performance of the controller on the nonlinear LWR model with an unknown fundamental diagram.


On chip integrated laser driven particle accelerator. Particle accelerators represent an indispensable tool in science and industry. However, the size and cost of conventional radio frequency accelerators limit the utility and reach of this technology. Dielectric laser accelerators (DLAs) provide a compact and cost effective solution to this problem by driving accelerator nanostructures with visible or near infrared (NIR) pulsed lasers, resulting in a 10 4 reduction of scale. Current implementations of DLAs rely on free space lasers directly incident on the accelerating structures, limiting the scalability and integrability of this technology. Here we present the first experimental demonstration of a waveguide integrated DLA, designed using a photonic inverse design approach. These on chip devices accelerate sub relativistic electrons of initial energy 83.4 keV by 1.21 keV over 30 um, providing peak acceleration gradients of 40.3 MeV m. This progress represents a significant step towards a completely integrated MeV scale dielectric laser accelerator.


Implicitly Learning to Reason in First Order Logic. We consider the problem of answering queries about formulas of first order logic based on background knowledge partially represented explicitly as other formulas, and partially represented as examples independently drawn from a fixed probability distribution. PAC semantics, introduced by Valiant, is one rigorous, general proposal for learning to reason in formal languages although weaker than classical entailment, it allows for a powerful model theoretic framework for answering queries while requiring minimal assumptions about the form of the distribution in question. To date, however, the most significant limitation of that approach, and more generally most machine learning approaches with robustness guarantees, is that the logical language is ultimately essentially propositional, with finitely many atoms. Indeed, the theoretical findings on the learning of relational theories in such generality have been resoundingly negative. This is despite the fact that first order logic is widely argued to be most appropriate for representing human knowledge. In this work, we present a new theoretical approach to robustly learning to reason in first order logic, and consider universally quantified clauses over a countably infinite domain. Our results exploit symmetries exhibited by constants in the language, and generalize the notion of implicit learnability to show how queries can be computed against (implicitly) learned first order background knowledge.


The groupoids of adaptable separated graphs and their type semigroup. Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an E unitary inverse semigroup. As a consequence, the tight groupoid of this semigroup is a Hausdorff 'etale groupoid. We show that this groupoid is always amenable, and that the type semigroups of groupoids obtained from adaptable separated graphs in this way include all finitely generated conical refinement monoids. The first three named authors will utilize this construction in forthcoming work to solve the Realization Problem for von Neumann regular rings, in the finitely generated case.


A general approach to compute the relevance of middle level input features. This work proposes a novel general framework, in the context of eXplainable Artificial Intelligence (XAI), to construct explanations for the behaviour of Machine Learning (ML) models in terms of middle level features. One can isolate two different ways to provide explanations in the context of XAI low and middle level explanations. Middle level explanations have been introduced for alleviating some deficiencies of low level explanations such as, in the context of image classification, the fact that human users are left with a significant interpretive burden starting from low level explanations, one has to identify properties of the overall input that are perceptually salient for the human visual system. However, a general approach to correctly evaluate the elements of middle level explanations with respect ML model responses has never been proposed in the literature.


Automated Retrieval of ATT CK Tactics and Techniques for Cyber Threat Reports. Over the last years, threat intelligence sharing has steadily grown, leading cybersecurity professionals to access increasingly larger amounts of heterogeneous data. Among those, cyber attacks' Tactics, Techniques and Procedures (TTPs) have proven to be particularly valuable to characterize threat actors' behaviors and, thus, improve defensive countermeasures. Unfortunately, this information is often hidden within human readable textual reports and must be extracted manually. In this paper, we evaluate several classification approaches to automatically retrieve TTPs from unstructured text. To implement these approaches, we take advantage of the MITRE ATT CK framework, an open knowledge base of adversarial tactics and techniques, to train classifiers and label results. Finally, we present rcATT, a tool built on top of our findings and freely distributed to the security community to support cyber threat report automated analysis.


Finite difference scheme for two dimensional periodic nonlinear Schr "odinger equations. A nonlinear Schr "odinger equation (NLS) on a periodic box can be discretized as a discrete nonlinear Schr "odinger equation (DNLS) on a periodic cubic lattice, which is a system of finitely many ordinary differential equations. We show that in two spatial dimensions, solutions to the DNLS converge strongly in L 2 to those of the NLS as the grid size h 0 approaches zero. As a result, the effectiveness of the finite difference method (FDM) is justified for the two dimensional periodic NLS.


A local version of the Myers Steenrod Theorem. We prove the Myers Steenrod theorem for local topological groups of isometries acting on pointed mathcal C k, alpha Riemannian manifolds, with k alpha 0 . As an application, we infer a new regularity result for a certain class of locally homogeneous Riemannian metrics.


Workload Aware Opportunistic Energy Efficiency in Multi FPGA Platforms. The continuous growth of big data applications with high computational and scalability demands has resulted in increasing popularity of cloud computing. Optimizing the performance and power consumption of cloud resources is therefore crucial to relieve the costs of data centers. In recent years, multi FPGA platforms have gained traction in data centers as low cost yet high performance solutions particularly as acceleration engines, thanks to the high degree of parallelism they provide. Nonetheless, the size of data centers workloads varies during service time, leading to significant underutilization of computing resources while consuming a large amount of power, which turns out as a key factor of data center inefficiency, regardless of the underlying hardware structure. In this paper, we propose an efficient framework to throttle the power consumption of multi FPGA platforms by dynamically scaling the voltage and hereby frequency during runtime according to prediction of, and adjustment to the workload level, while maintaining the desired Quality of Service (QoS). This is in contrast to, and more efficient than, conventional approaches that merely scale (i.e., power gate) the computing nodes or frequency. The proposed framework carefully exploits a pre characterized library of delay voltage, and power voltage information of FPGA resources, which we show is indispensable to obtain the efficient operating point due to the different sensitivity of resources w.r.t. voltage scaling, particularly considering multiple power rails residing in these devices. Our evaluations by implementing state of the art deep neural network accelerators revealed that, providing an average power reduction of 4.0X, the proposed framework surpasses the previous works by 33.6 (up to 83 ).


Order Preserving Pattern Matching Indeterminate Strings. Given an indeterminate string pattern p and an indeterminate string text t , the problem of order preserving pattern matching with character uncertainties ( mu OPPM) is to find all substrings of t that satisfy one of the possible orderings defined by p . When the text and pattern are determinate strings, we are in the presence of the well studied exact order preserving pattern matching (OPPM) problem with diverse applications on time series analysis. Despite its relevance, the exact OPPM problem suffers from two major drawbacks 1) the inability to deal with indetermination in the text, thus preventing the analysis of noisy time series and 2) the inability to deal with indetermination in the pattern, thus imposing the strict satisfaction of the orders among all pattern positions. This paper provides the first polynomial algorithm to answer the mu OPPM problem when indetermination is observed on the pattern or text. Given two strings with length m and O(r) uncertain characters per string position, we show that the mu OPPM problem can be solved in O(mr lg r) time when one string is indeterminate and r in mathbb N . Mappings into satisfiability problems are provided when indetermination is observed on both the pattern and the text, and results concerning the general problem complexity are presented as well, with mu OPPM problem proved to be NP hard in general.


Argus Interactive a priori Power Analysis. A key challenge HCI researchers face when designing a controlled experiment is choosing the appropriate number of participants, or sample size. A prior power analysis examines the relationships among multiple parameters, including the complexity associated with human participants, e.g., order and fatigue effects, to calculate the statistical power of a given experiment design. We created Argus, a tool that supports interactive exploration of statistical power Researchers specify experiment design scenarios with varying confounds and effect sizes. Argus then simulates data and visualizes statistical power across these scenarios, which lets researchers interactively weigh various trade offs and make informed decisions about sample size. We describe the design and implementation of Argus, a usage scenario designing a visualization experiment, and a think aloud study.


Ulam's History dependent Random Adding Process. Ulam has defined a history dependent random sequence of integers by the recursion X n 1 X U(n) X V(n) , n geqslant r where U(n) and V(n) are independently and uniformly distributed on 1, dots,n , and the initial sequence, X 1 x 1, dots,X r x r , is fixed. We consider the asymptotic properties of this sequence as n to infty , showing, for example, that n 2 sum k 1 n X k converges to a non degenerate random variable. We also consider the moments and auto covariance of the process, showing, for example, that when the initial condition is x 1 1 with r 1 , then lim n to infty n 2 E X 2 n (2 pi) 1 sinh( pi) and that for large m n , we have (m n) 1 E X m X n doteq (3 pi) 1 sinh( pi). We further consider new random adding processes where changes occur independently at discrete times with probability p , or where changes occur continuously at jump times of an independent Poisson process. The processes are shown to have properties similar to those of the discrete time process with p 1 , and to be readily generalised to a wider range of related sequences.


On q nearly bent Boolean functions. For each non constant Boolean function q , Klapper introduced the notion of q transforms of Boolean functions. The em q transform of a Boolean function f is related to the Hamming distances from f to the functions obtainable from q by nonsingular linear change of basis. In this work we discuss the existence of q nearly bent functions, a new family of Boolean functions characterized by the q transform. Let q be a non affine Boolean function. We prove that any balanced Boolean functions (linear or non linear) are q nearly bent if q has weight one, which gives a positive answer to an open question (whether there exist non affine q nearly bent functions) proposed by Klapper. We also prove a necessary condition for checking when a function isn't q nearly bent.


Transition Potential Coupled Cluster. The problem of orbital relaxation in computational core hole spectroscopies, including x ray absorption and x ray photoionization, has long plagued linear response approaches, including equation of motion coupled cluster with singles and doubles (EOM CCSD). Instead of addressing this problem by including additional electron correlation, we propose an explicit treatment of orbital relaxation via the use of "transition potential" reference orbitals, leading to a transition potential coupled cluster (TP CC) family of methods. One member of this family in particular, TP CCSD(1 2), is found to essentially eliminate the orbital relaxation error and achieve the same level of accuracy for core hole spectra as is typically expected of EOM CCSD in the valence region. These results show that very accurate x ray absorption spectra for molecules with first row atoms can be computed at a cost essentially the same as that for EOM CCSD.


All secant varieties of the Chow variety are nondefective for cubics and quaternary forms. The Chow rank of a form is the length of its smallest decomposition into a sum of products of linear forms. For a generic form, this corresponds to finding the smallest secant variety of the Chow variety which fills the ambient space. We determine the Chow rank of generic cubics and quaternary forms by proving nondefectivity of all involved secant varieties. The main new ingredient in our proof is the generalization of a technique by Brambilla and Ottaviani, On the Alexander Hirschowitz theorem, J. Pure Appl. Algebra, 2008 that consists of employing Terracini's lemma and Newton's backward difference formula to compute the dimensions of secant varieties of arbitrary projective varieties. Via this inductive construction, the proof of nondefectivity ultimately reduces to proving a number of base cases. These are settled via a computer assisted proof because of the large dimensions of the spaces involved. The largest base case required in our proof consisted of computing the dimension of a vector space constructed from the 400 th secant variety of a degree 82 Chow variety embedded in mathbb P 98769 .


The Pluggable Distributed Resource Allocator (PDRA) a Middleware for Distributed Computing in Mobile Robotic Networks. We present the Pluggable Distributed Resource Allocator (PDRA), a middleware for distributed computing in heterogeneous mobile robotic networks. PDRA enables autonomous robotic agents to share computational resources for computationally expensive tasks such as localization and path planning. It sits between an existing single agent planner executor and existing computational resources (e.g. ROS packages), intercepts the executor's requests and, if needed, transparently routes them to other robots for execution. PDRA is pluggable it can be integrated in an existing single robot autonomy stack with minimal modifications. Task allocation decisions are performed by a mixed integer programming algorithm, solved in a shared world fashion, that models CPU resources, latency requirements, and multi hop, periodic, bandwidth limited network communications the algorithm can minimize overall energy usage or maximize the reward for completing optional tasks. Simulation results show that PDRA can reduce energy and CPU usage by over 50 in representative multi robot scenarios compared to a naive scheduler runs on embedded platforms and performs well in delay and disruption tolerant networks (DTNs). PDRA is available to the community under an open source license.


Failure Mode Reasoning in Model Based Safety Analysis. Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model based safety analysis methods, such as HiP HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP HOPS CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP HOPS CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.


Beyond Cats and Dogs Semi supervised Classification of fuzzy labels with overclustering. A long standing issue with deep learning is the need for large and consistently labeled datasets. Although the current research in semi supervised learning can decrease the required amount of annotated data by a factor of 10 or even more, this line of research still uses distinct classes like cats and dogs. However, in the real world we often encounter problems where different experts have different opinions, thus producing fuzzy labels. We propose a novel framework for handling semi supervised classifications of such fuzzy labels. Our framework is based on the idea of overclustering to detect substructures in these fuzzy labels. We propose a novel loss to improve the overclustering capability of our framework and show on the common image classification dataset STL 10 that it is faster and has better overclustering performance than previous work. On a real world plankton dataset, we illustrate the benefit of overclustering for fuzzy labels and show that we beat previous state of the art semisupervised methods. Moreover, we acquire 5 to 10 more consistent predictions of substructures.


Approximation Rates for Neural Networks with General Activation Functions. We prove some new results concerning the approximation rate of neural networks with general activation functions. Our first result concerns the rate of approximation of a two layer neural network with a polynomially decaying non sigmoidal activation function. We extend the dimension independent approximation rates previously obtained to this new class of activation functions. Our second result gives a weaker, but still dimension independent, approximation rate for a larger class of activation functions, removing the polynomial decay assumption. This result applies to any bounded, integrable activation function. Finally, we show that a stratified sampling approach can be used to improve the approximation rate for polynomially decaying activation functions under mild additional assumptions.


On generalized Inoue manifolds. This paper is about a generalization of famous Inoue's surfaces. Let M be a matrix in SL(2n 1, mathbb Z ) having only one real eigenvalue which is simple. We associate to M a complex manifold T M of complex dimension n 1 . This manifold fibers over S 1 with the fiber mathbb T 2n 1 and monodromy M top . Our construction is elementary and does not use algebraic number theory. We show that some of the Oeljeklaus Toma manifolds are biholomorphic to the manifolds of type T M . We prove that if M is not diagonalizable, then T M does not admit a K "ahler structure and is not homeomorphic to any of Oeljeklaus Toma manifolds.


Pattern recognition in micro trading behaviors before stock price jumps A framework based on multivariate time series analysis. Studying the micro trading behaviors before stock price jumps is an important problem for financial regulations and investment decisions. In this study, we provide a new framework to study pre jump trading behaviors based on multivariate time series analysis. Different from the existing literature, our methodology takes into account the temporal information embedded in the trading related attributes and can better evaluate and compare the abnormality levels of different attributes. Moreover, it can explore the joint informativeness of the attributes as well as select a subset of highly informative but minimally redundant attributes to analyze the homogeneous and idiosyncratic patterns in the pre jump trades of individual stocks. In addition, our analysis involves a set of technical indicators to describe micro trading behaviors. To illustrate the viability of the proposed methodology, an application case is conducted based on the level 2 data of 189 constituent stocks of the China Security Index 300. The individual and joint informativeness levels of the attributes in predicting price jumps are evaluated and compared. To this end, our experiment provides a set of jump indicators that can represent the pre jump trading behaviors in the Chinese stock market and have detected some stocks with extremely abnormal pre jump trades.


Localized Nonlinear Solution Strategies for Efficient Simulation of Unconventional Reservoirs. Accurate and efficient numerical simulation of unconventional reservoirs is challenging. Long periods of transient flow and steep potential gradients occur due to the extreme conductivity contrast between matrix and fracture. Detailed near well near fracture models are necessary to provide sufficient resolution, but they are computationally impractical for field cases with multiple fracture stages. Previous works in the literature of unconventional simulations mainly focus on gridding level that adapts to wells and fractures. Limited research has been conducted on nonlinear strategies that exploit locality across timesteps and nonlinear iterations. To perform localized computations, an a priori strategy is essential to first determine the active subset of simulation cells for the subsequent iteration. The active set flags the cells that will be updated, and then the corresponding localized linear system is solved. This work develops localization methods that are readily applicable to complex fracture networks and flow physics in unconventional reservoirs. By utilizing the diffusive nature of pressure updates, an adaptive algorithm is proposed to make adequate estimates for the active domains. In addition, we develop a localized solver based on nonlinear domain decomposition (DD). Comparing to a standard DD method, domain partitions are dynamically constructed. The new solver provides effective partitioning that adapts to flow dynamics and Newton updates. We evaluate the developed methods using several complex problems with discrete fracture networks. The results show that large degrees of solution locality present across timesteps and iterations. Comparing to a standard Newton solver, the new solvers enable superior computational performance. Moreover, Newton convergence behavior is preserved, without any impact on solution accuracy.


Numerical Considerations for Advection Diffusion Problems in Cardiovascular Hemodynamics. Numerical simulations of cardiovascular mass transport pose significant challenges due to the wide range of P 'eclet numbers and backflow at Neumann boundaries. In this paper we present and discuss several numerical tools to address these challenges in the context of a stabilized finite element computational framework. To overcome numerical instabilities when backflow occurs at Neumann boundaries, we propose an approach based on the prescription of the total flux. In addition, we introduce a "consistent flux" outflow boundary condition and demonstrate its superior performance over the traditional zero diffusive flux boundary condition. Lastly, we discuss discontinuity capturing (DC) stabilization techniques to address the well known oscillatory behavior of the solution near the concentration front in advection dominated flows.We present numerical examples in both idealized and patient specific geometries to demonstrate the efficacy of the proposed procedures. The three contributions dis cussed in this paper enable to successfully address commonly found challenges when simulating mass transport processes in cardiovascular flows.


Evolution toward a Nash equilibrium. In this paper, we study the dynamic behavior of Hedge, a well known algorithm in theoretical machine learning and algorithmic game theory. The empirical average (arithmetic mean) of the iterates Hedge generates is known to converge to a minimax equilibrium in zero sum games. We generalize that result to show convergence of the empirical average to Nash equilibrium in symmetric bimatrix games (that is bimatrix games where the payoff matrix of each player is the transpose of that of the other) in the sense that every limit point of the sequence of averages is an epsilon approximate symmetric equilibrium strategy for any desirable epsilon . Our analysis gives rise to a symmetric equilibrium fully polynomial time approximation scheme, implying P PPAD.


High performance integrated graphene electro optic modulator at cryogenic temperature. High performance integrated electro optic modulators operating at low temperature are critical for optical interconnects in cryogenic applications. Existing integrated modulators, however, suffer from reduced modulation efficiency or bandwidth at low temperatures because they rely on tuning mechanisms that degrade with decreasing temperature. Graphene modulators are a promising alternative, since graphene's intrinsic carrier mobility increases at low temperature. Here we demonstrate an integrated graphene based electro optic modulator whose 14.7 GHz bandwidth at 4.9 K exceeds the room temperature bandwidth of 12.6 GHz. The bandwidth of the modulator is limited only by high contact resistance, and its intrinsic RC limited bandwidth is 200 GHz at 4.9 K.


On weighted Hardy inequality with two dimensional rectangular operator extension of the E. Sawyer theorem. A characterization is obtained for those pairs of weights v and w on mathbb R 2 , for which the two dimensional rectangular integration operator is bounded from a weighted Lebesgue space L p v( mathbb R 2 ) to L q w( mathbb R 2 ) for 1 p not q infty , which is an essential complement to E. Sawyer's result cite Saw1 given for 1 p leq q infty . Besides, we declare that the E. Sawyer theorem is actual if p q only, for p q the criterion is less complicated. The case q p is new.


Unidirectional Maxwellian Spin Waves. We develop a unified perspective of unidirectional topological edge waves in non reciprocal media. We focus on the inherent role of photonic spin in non reciprocal gyroelectric media, ie. magnetized metals or magnetized insulators. We first review the concept of a Maxwell Hamiltonian in non reciprocal media, which immediately reveals that the gyrotropic coefficient behaves as a photon mass in two dimensions. Similar to the Dirac mass, this photonic mass opens bandgaps in the energy dispersion of bulk propagating waves. Within these bulk photonic bandgaps, three distinct classes of Maxwellian edge waves exist each arising from subtle differences in boundary conditions. On one hand, the edge wave solutions are rigorous photonic analogs of Jackiw Rebbi electronic edge states. On the other hand, for the exact same system, they can be high frequency photonic counterparts of the integer quantum Hall effect, familiar at zero frequency. Our Hamiltonian approach also predicts the existence of a third distinct class of Maxwellian edge wave exhibiting topological protection. The Maxwellian edge state in this unique textit quantum gyroelectric phase of matter necessarily requires a sign change in gyrotropy arising from non locality (spatial dispersion). A signature property of these topological electromagnetic edge states is that they are oblivious to the contacting medium, ie. they occur at the interface of the quantum gyroelectric phase and any medium (even vacuum). Furthermore, the Maxwellian spin waves exhibit photonic spin 1 quantization in exact analogy with their supersymmetric spin sfrac 1 2 counterparts. The goal of this paper is to discuss these three foundational classes of edge waves in a unified perspective while providing in depth derivations, taking into account non locality and various boundary conditions.


Forces from Lipids and Ionic Diffusion Probing lateral membrane effects by an optimized filter region of voltage dependent K channels. We investigate the possible influence of poly unsaturated fatty acids (PUFAs) in the lipid bilayer of cell membranes on the conduction properties of the selectivity filter of voltage gated ion channels. Any change of this conductivity can have major consequences on electrical signalling in brain and other cells. At the microscopic level a change in the concentration of PUFAs can cause a change in the pressure distribution within the lipid bilayer, and this in turn can lead to a change in the length of the selectivity filter. In order to estimate the consequences this might entail for the ion channel's conductivity we performed high resolution molecular dynamics (MD) simulations of the passage of K ions and H2O molecules through the selectivity filter of the KcsA potassium ion channel. Our results show that a change in length of the selectivity filter of as little as 4 , independent of whether the filter is made longer or shorter, will reduce the K ion current by around 50 . And further squeezing or stretching by about 10 can effectively stop the current. For instructive purposes and to facilitate further interpretation of the results, we give details of the force models employed in the MD simulations. We finally discuss the present results in the context of possible effects of membrane lipid compositions on Kv ion permeation.


Potential energy surface interpolation with neural networks for instanton rate calculations. Artificial neural networks are used to fit a potential energy surface. We demonstrate the benefits of using not only energies, but also their first and second derivatives as training data for the neural network. This ensures smooth and accurate Hessian surfaces, which are required for rate constant calculations using instanton theory. Our aim was a local, accurate fit rather than a global PES, because instanton theory requires information on the potential only in the close vicinity of the main tunneling path. Elongations along vibrational normal modes at the transition state are used as coordinates for the neural network. The method is applied to the hydrogen abstraction reaction from methanol, calculated on a coupled cluster level of theory. The reaction is essential in astrochemistry to explain the deuteration of methanol in the interstellar medium.


Shadowing and Stability in p adic dynamics. In this paper, we study dynamical properties as shadowing and structural stability for a class of dynamics on mathbb Z p and mathbb Q p , where p geq 2 is a prime number. In particular, we prove that if f mathbb Z p to mathbb Z p is a (p k ,p m ) ( 0 m leq k integers ) locally scaling map then f is shadowing and structurally stable. We also study the number of conjugacy classes of these maps and we consider the above properties for 1 Lipschitz maps of mathbb Z p and for extensions of the shift map, contractions and dilatations on mathbb Q p .


Semigroup fication of univalent self maps of the unit disc. Let f be a univalent self map of the unit disc. We introduce a technique, that we call sl semigroup fication , which allows to construct a continuous semigroup ( phi t) of holomorphic self maps of the unit disc whose time one map phi 1 is, in a sense, very close to f . The semigrup fication of f is of the same type as f (elliptic, hyperbolic, parabolic of positive step or parabolic of zero step) and there is a one to one correspondence between the set of boundary regular fixed points of f with a given multiplier and the corresponding set for phi 1 . Moreover, in case f (and hence phi 1 ) has no interior fixed points, the slope of the orbits converging to the Denjoy Wolff point is the same. The construction is based on holomorphic models, localization techniques and Gromov hyperbolicity. As an application of this construction, we prove that in the non elliptic case, the orbits of f converge non tangentially to the Denjoy Wolff point if and only if the Koenigs domain of f is "almost symmetric" with respect to vertical lines.


Non stationary normal forms for contracting extensions. We present the theory of non stationary normal forms for uniformly contracting smooth extensions with sufficiently narrow Mather spectrum. We give coherent proofs of existence, (non)uniqueness, and a description of the centralizer results. As a corollary, we obtain corresponding results for normal forms along an invariant contracting foliation. The main improvements over the previous results in the narrow spectrum setting include explicit description of non uniqueness and obtaining results in any regularity above the precise critical level, which is especially useful for the centralizer. In addition to sub resonance normal form, we also prove corresponding results for resonance normal form, which is new in the narrow spectrum setting.


Consistent Dynamic Mode Decomposition. We propose a new method for computing Dynamic Mode Decomposition (DMD) evolution matrices, which we use to analyze dynamical systems. Unlike the majority of existing methods, our approach is based on a variational formulation consisting of data alignment penalty terms and constitutive orthogonality constraints. Our method does not make any assumptions on the structure of the data or their size, and thus it is applicable to a wide range of problems including non linear scenarios or extremely small observation sets. In addition, our technique is robust to noise that is independent of the dynamics and it does not require input data to be sequential. Our key idea is to introduce a regularization term for the forward and backward dynamics. The obtained minimization problem is solved efficiently using the Alternating Method of Multipliers (ADMM) which requires two Sylvester equation solves per iteration. Our numerical scheme converges empirically and is similar to a provably convergent ADMM scheme. We compare our approach to various state of the art methods on several benchmark dynamical systems.


Deep learning based citation recommendation system for patents. In this study, we address the challenges in developing a deep learning based automatic patent citation recommendation system. Although deep learning based recommendation systems have exhibited outstanding performance in various domains (such as movies, products, and paper citations), their validity in patent citations has not been investigated, owing to the lack of a freely available high quality dataset and relevant benchmark model. To solve these problems, we present a novel dataset called PatentNet that includes textual information and metadata for approximately 110,000 patents from the Google Big Query service. Further, we propose strong benchmark models considering the similarity of textual information and metadata (such as cooperative patent classification code). Compared with existing recommendation methods, the proposed benchmark method achieved a mean reciprocal rank of 0.2377 on the test set, whereas the existing state of the art recommendation method achieved 0.2073.


Estimates of Dirichlet Eigenvalues for a Class of Sub elliptic Operators. Let Omega be a bounded connected open subset in mathbb R n with smooth boundary partial Omega . Suppose that we have a system of real smooth vector fields X (X 1 ,X 2 , cdots,X m ) defined on a neighborhood of overline Omega that satisfies the H " o rmander's condition. Suppose further that partial Omega is non characteristic with respect to X . For a self adjoint sub elliptic operator triangle X sum i 1 m X i X i on Omega , we denote its k th Dirichlet eigenvalue by lambda k . We will provide an uniform upper bound for the sub elliptic Dirichlet heat kernel. We will also give an explicit sharp lower bound estimate for lambda k , which has a polynomially growth in k of the order related to the generalized M ' e tivier index. We will establish an explicit asymptotic formula of lambda k that generalizes the M ' e tivier's results in 1976. Our asymptotic formula shows that under a certain condition, our lower bound estimate for lambda k is optimal in terms of the growth of k . Moreover, the upper bound estimate of the Dirichlet eigenvalues for general sub elliptic operators will also be given, which, in a certain sense, has the optimal growth order.


Logical Relations as Types Proof Relevant Parametricity for Program Modules. The theory of program modules is of interest to language designers not only for its practical importance to programming, but also because it lies at the nexus of three fundamental concerns in language design the phase distinction, computational effects, and type abstraction. We contribute a fresh "synthetic" take on program modules that treats modules as the fundamental constructs, in which the usual suspects of prior module calculi (kinds, constructors, dynamic programs) are rendered as derived notions in terms of a modal type theoretic account of the phase distinction. We simplify the account of type abstraction (embodied in the generativity of module functors) through a lax modality that encapsulates computational effects. Our main result is a (significant) proof relevant and phase sensitive generalization of the Reynolds abstraction theorem for a calculus of program modules, based on a new kind of logical relation called a parametricity structure. Parametricity structures generalize the proof irrelevant relations of classical parametricity to proof relevant families, where there may be non trivial evidence witnessing the relatedness of two programs simplifying the metatheory of strong sums over the collection of types, for although there can be no "relation classifying relations", one easily accommodates a "family classifying small families". Using the insight that logical relations parametricity is itself a form of phase distinction between the syntactic and the semantic, we contribute a new synthetic approach to phase separated parametricity based on the slogan "logical relations as types", iterating our modal account of the phase distinction. Then, to construct a simulation between two implementations of an abstract type, one simply programs a third implementation whose type component carries the representation invariant.


Differentiation of measures on complete Riemannian manifolds. In this note we give a new proof of a version of the Besicovitch covering theorem, given in cite EG1992 , cite Bogachev2007 and extended in cite Federer1969 , for locally finite Borel measures on finite dimensional complete Riemannian manifolds (M,g) . As a consequence, we prove a differentiation theorem for Borel measures on (M,g) , which gives a formula for the Radon Nikodym density of two nonnegative locally finite Borel measures nu 1, nu 2 on (M, g) such that nu 1 ll nu 2 , extending the known case when (M, g) is a standard Euclidean space.


Sketching for Motzkin's Iterative Method for Linear Systems. Projection based iterative methods for solving large over determined linear systems are well known for their simplicity and computational efficiency. It is also known that the correct choice of a sketching procedure (i.e., preprocessing steps that reduce the dimension of each iteration) can improve the performance of iterative methods in multiple ways, such as, to speed up the convergence of the method by fighting inner correlations of the system, or to reduce the variance incurred by the presence of noise. In the current work, we show that sketching can also help us to get better theoretical guarantees for the projection based methods. Specifically, we use good properties of Gaussian sketching to prove an accelerated convergence rate of the sketched relaxation (also known as Motzkin's) method. The new estimates hold for linear systems of arbitrary structure. We also provide numerical experiments in support of our theoretical analysis of the sketched relaxation method.


A new set of efficient SMP parallel 2D Fourier subroutines. Extensive set of tests on different platforms indicated that there is a performance drop of current standard de facto software library for the Discrete Fourier Transform (DFT) in case of large 2D array sizes (larger than 16384x16384). Parallel performance for Symmetric Multi Processor (SMP) systems was seriously affected. The remedy for this problem was proposed and implemented as a software library for 2D out of place complex to complex DFTs. Proposed library was thoroughly tested on different available architectures and hardware configurations and demonstrated significant (38 94 ) performance boost on vast majority of them. The new library together with the testing suite and results of all tests is published as a project on GitHub.com platform under free software license (GNU GPL v3). Comprehensive description of programming interface as well as provided testing programs is given.


The Quadratic Quadratic Regulator Problem Approximating feedback controls for quadratic in state nonlinear systems. Feedback control problems involving autonomous quadratic systems are prevalent, yet there are only a limited number of software tools available for approximating their solution due to the complexity of the problem. This paper represents a step forward in the special case where both the state equation and the control costs are quadratic. As it represents the natural extension of the linear quadratic regulator (LQR) problem, we describe this setting as the quadratic quadratic regulator (QQR) problem. This is significantly more challenging and holds the LQR as special case that must be solved along the way. We describe an algorithm that exploits the structure of the QQR problem that arises when implementing Al'Brekht's method. This approach is amenable to feedback laws with low degree polynomials but have a relatively modest model dimension that could be achieved by modern model reduction methods. This problem has an elegant formulation and a solution that introduces several linear systems where the structure suggests modern tensor based linear solvers. We demonstrate this algorithm on a suite of random test problems then apply it to a distributed parameter control problem that fits the QQR framework. Comparisons to linear feedback control laws show a modest benefit using the QQR formulation.


Heat transfer in rough wall turbulent thermal convection in the ultimate regime. Heat and momentum transfer in wall bounded turbulent flow, coupled with the effects of wall roughness, is one of the outstanding questions in turbulence research. In the standard Rayleigh B 'enard problem for natural thermal convection, it is notoriously difficult to reach the so called ultimate regime in which the near wall boundary layers are turbulent. Following the analyses proposed by Kraichnan Phys. Fluids vol 5., pp. 1374 1389 (1962) and Grossmann Lohse Phys. Fluids vol. 23, pp. 045108 (2011) , we instead utilize recent direct numerical simulations of forced convection over a rough wall in a minimal channel MacDonald, Hutchins Chung, J. Fluid Mech. vol. 861, pp. 138 162 (2019) to directly study these turbulent boundary layers. We focus on the heat transport (in dimensionless form, the Nusselt number Nu ) or equivalently the heat transfer coefficient (the Stanton number C h ). Extending the analyses of Kraichnan and Grossmann Lohse, we assume logarithmic temperature profiles with a roughness induced shift to predict an effective scaling of Nu sim Ra 0.42 , where Ra is the dimensionless temperature difference, corresponding to C h sim Re 0.16 , where Re is the centerline Reynolds number. This is pronouncedly different from the skin friction coefficient C f , which in the fully rough turbulent regime is independent of Re , due to the dominant pressure drag. In rough wall turbulence the absence of the analog to pressure drag in the temperature advection equation is the origin for the very different scaling properties of the heat transfer as compared to the momentum transfer. This analysis suggests that, unlike momentum transfer, the asymptotic ultimate regime, where Nu sim Ra 1 2 , will never be reached for heat transfer at finite Ra .


On regularity and mass concentration phenomena for the sign uncertainty principle. The sign uncertainty principle of Bourgain, Clozel Kahane asserts that if a function f mathbb R d to mathbb R and its Fourier transform widehat f are nonpositive at the origin and not identically zero, then they cannot both be nonnegative outside an arbitrarily small neighborhood of the origin. In this article, we establish some equivalent formulations of the sign uncertainty principle, and in particular prove that minimizing sequences exist within the Schwartz class when d 1 . We further address a complementary sign uncertainty principle, and show that corresponding near minimizers concentrate a universal proportion of their positive mass near the origin in all dimensions.


Nonlinear wakefields and electron injection in cluster plasma. Laser and beam driven wakefields promise orders of magnitude increases in electric field gradients for particle accelerators for future applications. Key areas to explore include the emittance properties of the generated beams and overcoming the dephasing limit in the plasma. In this paper, the first in depth study of the self injection mechanism into wakefield structures from non homogeneous cluster plasmas is provided using high resolution two dimensional particle in cell simulations. The clusters which are typical structures caused by ejection of gases from a high pressure gas jet have a diameter much smaller than the laser wavelength. Conclusive evidence is provided for the underlying mechanism that leads to particle trapping, comparing uniform and cluster plasma cases. The accelerated electron beam properties are found to be tunable by changing the cluster parameters. The mechanism explains enhanced beam charge paired with large transverse momentum and energy which has implications for the betatron x ray flux. Finally, the impact of clusters on the high power laser propagation behavior is discussed.


Scenic A Language for Scenario Specification and Data Generation. We propose a new probabilistic programming language for the design and analysis of cyber physical systems, especially those based on machine learning. Specifically, we consider the problems of training a system to be robust to rare events, testing its performance under different conditions, and debugging failures. We show how a probabilistic programming language can help address these problems by specifying distributions encoding interesting types of inputs, then sampling these to generate specialized training and test data. More generally, such languages can be used to write environment models, an essential prerequisite to any formal analysis. In this paper, we focus on systems like autonomous cars and robots, whose environment at any point in time is a 'scene', a configuration of physical objects and agents. We design a domain specific language, Scenic, for describing scenarios that are distributions over scenes and the behaviors of their agents over time. As a probabilistic programming language, Scenic allows assigning distributions to features of the scene, as well as declaratively imposing hard and soft constraints over the scene. We develop specialized techniques for sampling from the resulting distribution, taking advantage of the structure provided by Scenic's domain specific syntax. Finally, we apply Scenic in a case study on a convolutional neural network designed to detect cars in road images, improving its performance beyond that achieved by state of the art synthetic data generation methods.


Highly stable linearly polarized arbitrary temporal shaping of picosecond laser pulses. This paper reports the study and demonstration of a new variable temporal shaping method capable of generating linearly polarized picosecond laser pulses with arbitrary predefined shapes, which are highly desired by various applications including low emittance high brightness electron bunch generation in photocathode guns. It is found that both high transmittance and high stability of the shaped pulses can be achieved simultaneously when birefringent stages (BSs) are set at specific phase delay. Such variable temporal shaping technique may lead to new opportunities for many potential applications over a wide range of laser wavelengths, pulse repetition rates, time structures and power levels, etc. In addition, a new double pass variable temporal shaping method is also proposed and could significantly simplify the shaper structure and reduce the cost.


Duet at TREC 2019 Deep Learning Track. This report discusses three submissions based on the Duet architecture to the Deep Learning track at TREC 2019. For the document retrieval task, we adapt the Duet model to ingest a "multiple field" view of documents we refer to the new architecture as Duet with Multiple Fields (DuetMF). A second submission combines the DuetMF model with other neural and traditional relevance estimators in a learning to rank framework and achieves improved performance over the DuetMF baseline. For the passage retrieval task, we submit a single run based on an ensemble of eight Duet models.


From Big Step to Small Step Semantics and Back with Interpreter Specialisation. We investigate representations of imperative programs as constrained Horn clauses. Starting from operational semantics transition rules, we proceed by writing interpreters as constrained Horn clause programs directly encoding the rules. We then specialise an interpreter with respect to a given source program to achieve a compilation of the source language to Horn clauses (an instance of the first Futamura projection). The process is described in detail for an interpreter for a subset of C, directly encoding the rules of big step operational semantics for C. A similar translation based on small step semantics could be carried out, but we show an approach to obtaining a small step representation using a linear interpreter for big step Horn clauses. This interpreter is again specialised to achieve the translation from big step to small step style. The linear small step program can be transformed back to a big step non linear program using a third interpreter. A regular path expression is computed for the linear program using Tarjan's algorithm, and this regular expression then guides an interpreter to compute a program path. The transformation is realised by specialisation of the path interpreter. In all of the transformation phases, we use an established partial evaluator and exploit standard logic program transformation to remove redundant data structures and arguments in predicates and rename predicates to make clear their link to statements in the original source program.


Guided Mode Resonances in Flexible 2D THz Photonic Crystals. In terahertz (THz) photonics, there is an ongoing effort to develop thin, compact devices such as dielectric photonic crystal (PhC) slabs with desirable light matter interactions. However, previous works in THz PhC slabs are limited to rigid substrates with thicknesses sim 100s of micrometers. Dielectric PhC slabs have been shown to possess in plane modes that are excited by external radiation to produce sharp guided mode resonances with minimal absorption for applications in sensors, optics and lasers. Here, we confirm the existence of guided resonances in a membrane type THz PhC slab with subwavelength ( lambda 0 6 lambda 0 12) thicknesses of flexible dielectric polyimide films. The transmittance of the guided resonances was measured for different structural parameters of the unit cell. Furthermore, we exploited the flexibility of the samples to modulate the linewidth of the guided modes down to 1.5 GHz for bend angle of theta geq 5 circ confirmed experimentally by the suppression of these modes. The mechanical flexibility of the device allows for an additional degree of freedom in system design for optical components for high speed communications, soft wearable photonics and implantable medical devices.


Reversible perturbations of conservative H 'enon like maps. For area preserving H 'enon like maps and their compositions, we consider smooth perturbations that keep the reversibility of the initial maps but destroy their conservativity. For constructing such perturbations, we use two methods, the original method based on reversible properties of maps written in the so called cross form, and the classical Quispel Roberts method based on a variation of involutions of the initial map. We study symmetry breaking bifurcations of symmetric periodic points in reversible families containing quadratic conservative orientable and nonorientable H 'enon maps as well as the product of two asymmetric H 'enon maps (with the Jacobians b and b 1 ).


On the (in) approximability of Bayesian Revenue Maximization for a Combinatorial Buyer. We consider a revenue maximizing single seller with m items for sale to a single buyer whose value v( cdot) for the items is drawn from a known distribution D of support k . A series of works by Cai et al. establishes that when each v( cdot) in the support of D is additive or unit demand (or c demand), the revenue optimal auction can be found in operatorname poly (m,k) time. We show that going barely beyond this, even to matroid based valuations (a proper subset of Gross Substitutes), results in strong hardness of approximation. Specifically, even on instances with m items and k leq m valuations in the support of D , it is not possible to achieve a 1 m 1 varepsilon approximation for any varepsilon 0 to the revenue optimal mechanism for matroid based valuations in (randomized) poly time unless NP subseteq RP (note that a 1 k approximation is trivial). Cai et al.'s main technical contribution is a black box reduction from revenue maximization for valuations in class mathcal V to optimizing the difference between two values in class mathcal V . Our main technical contribution is a black box reduction in the other direction (for a wide class of valuation classes), establishing that their reduction is essentially tight.


Health threat from cosmic radiation during a manned mission to Mars. Cosmic radiation is a critical factor for astronauts' safety in the context of evaluating the prospect of future space exploration. The Radiation Assessment Detector (RAD) on board the Curiosity Rover launched by the Mars Scientific Laboratory mission collected valuable data to model the energetic particle radiation environment inside a spacecraft during travel from Earth to Mars, and is currently doing the same on the surface of Mars itself. The Martian Radiation Experiment (MARIE) on board the Mars Odyssey satellite provides estimates of the absorbed radiation dose in the Martian orbit, which are predicted to be similar to the radiation dose on Mars' surface. In combination, these data provide a reliable assessment of the radiation hazards for a manned mission to Mars. Using data from RAD and MARIE we reexamine the risks for a crew on a manned flight to Mars and discuss recent developments in space exploration.


Sentence Level BERT and Multi Task Learning of Age and Gender in Social Media. Social media currently provide a window on our lives, making it possible to learn how people from different places, with different backgrounds, ages, and genders use language. In this work we exploit a newly created Arabic dataset with ground truth age and gender labels to learn these attributes both individually and in a multi task setting at the sentence level. Our models are based on variations of deep bidirectional neural networks. More specifically, we build models with gated recurrent units and bidirectional encoder representations from transformers (BERT). We show the utility of multi task learning (MTL) on the two tasks and identify task specific attention as a superior choice in this context. We also find that a single task BERT model outperform our best MTL models on the two tasks. We report tweet level accuracy of 51.43 for the age task (three way) and 65.30 on the gender task (binary), both of which outperforms our baselines with a large margin. Our models are language agnostic, and so can be applied to other languages.


A Multistage Distributionally Robust Optimization Approach to Water Allocation under Climate Uncertainty. This paper investigates a Multistage Distributionally Robust Optimization (MDRO) approach to water allocation under climate uncertainty. The MDRO is formed by creating sets of conditional distributions (called conditional ambiguity sets) on a finite scenario tree. The distributions in the conditional ambiguity sets remain close to a nominal conditional distribution according a phi divergence (e.g., Kullback Liebler divergence, Hellinger distance, Burg entropy, etc.). The paper discusses a decomposition algorithm to solve the resulting MDRO and applies the modeling and solution techniques to allocate water in a rapidly developing area of Tucson, Arizona. Tucson, like many arid and semi arid regions around the world, faces considerable uncertainty in its ability to provide water for its citizens in the future. The primary sources of uncertainty in the Tucson region include (1) unpredictable population growth, (2) the availability of water from the Colorado River, and (3) the effects of climate variability on water consumption. This paper integrates forecasts for all these sources of uncertainty into a single optimization model for robust and sustainable water allocation. Then, it uses this model to analyze the value of constructing additional treatment facilities to reduce future water shortages. The results indicate that the MDRO approach can be very valuable for water managers by providing insights to minimize their risks and help them plan for the future.


Z knotted and Z homogeneous triangulations of surfaces. A triangulation is called z knotted if it has a single zigzag (up to reversing). A z orientation on a triangulation is a minimal collection of zigzags which double covers the set of edges. An edge is of type I if zigzags from the z orientation pass through it in different directions, otherwise this edge is of type II. If all zigzags from the z orientation contain precisely two edges of type I after any edge of type II, then the z oriented triangulation is said to be z homogeneous. We describe an algorithm transferring each z homogeneous trianguation to other z homogeneous triangulation which is also z knotted.


H principle for the 2D incompressible porous media equation with viscosity jump. In this work we extend the results in 6,32 on the 2D IPM system with constant viscosity (Atwood number A mu 0 ) to the case of viscosity jump ( A mu 1 ). We prove a h principle whereby (infinitely many) weak solutions in C tL w infty are recovered via convex integration whenever a subsolution is provided. As a first example, non trivial weak solutions with compact support in time are obtained. Secondly, we construct mixing solutions to the unstable Muskat problem with initial flat interface. As a byproduct, we check that the connection, established by Sz 'ekelyhidi for A mu 0 , between the subsolution and the Lagrangian relaxed solution of Otto, holds for A mu 1 too. For different viscosities, we show how a pinch singularity in the relaxation prevents the two fluids from mixing wherever there is neither Rayleigh Taylor nor vorticity at the interface.


Simultaneous approximations to p adic numbers and algebraic dependence via multidimensional continued fractions. Unlike the real case, there are not many studies and general techniques for providing simultaneous approximations in the field of p adic numbers mathbb Q p . Here, we study the use of multidimensional continued fractions (MCFs) in this context. MCFs were introduced in mathbb R by Jacobi and Perron as a generalization of continued fractions and they have been recently defined also in mathbb Q p . We focus on the dimension two and study the quality of the simultaneous approximation to two p adic numbers provided by p adic MCFs, where p is an odd prime. Moreover, given algebraically dependent p adic numbers, we see when infinitely many simultaneous approximations satisfy the same algebraic relation. This also allows to give a condition that ensures the finiteness of the p adic Jacobi Perron algorithm when it processes some kinds of mathbb Q linearly dependent inputs.


How mobility patterns drive disease spread A case study using public transit passenger card travel data. Outbreaks of infectious diseases present a global threat to human health and are considered a major health care challenge. One major driver for the rapid spatial spread of diseases is human mobility. In particular, the travel patterns of individuals determine their spreading potential to a great extent. These travel behaviors can be captured and modelled using novel location based data sources, e.g., smart travel cards, social media, etc. Previous studies have shown that individuals who cannot be characterized by their most frequently visited locations spread diseases farther and faster however, these studies are based on GPS data and mobile call records which have position uncertainty and do not capture explicit contacts. It is unclear if the same conclusions hold for large scale real world transport networks. In this paper, we investigate how mobility patterns impact disease spread in a large scale public transit network of empirical data traces. In contrast to previous findings, our results reveal that individuals with mobility patterns characterized by their most frequently visited locations and who typically travel large distances pose the highest spreading risk.


Towards Cognitive Routing based on Deep Reinforcement Learning. Routing is one of the key functions for stable operation of network infrastructure. Nowadays, the rapid growth of network traffic volume and changing of service requirements call for more intelligent routing methods than before. Towards this end, we propose a definition of cognitive routing and an implementation approach based on Deep Reinforcement Learning (DRL). To facilitate the research of DRL based cognitive routing, we introduce a simulator named RL4Net for DRL based routing algorithm development and simulation. Then, we design and implement a DDPG based routing algorithm. The simulation results on an example network topology show that the DDPG based routing algorithm achieves better performance than OSPF and random weight algorithms. It demonstrate the preliminary feasibility and potential advantage of cognitive routing for future network.


Distilling Programs to Prove Termination. The problem of determining whether or not any program terminates was shown to be undecidable by Turing, but recent advances in the area have allowed this information to be determined for a large class of programs. The classic method for deciding whether a program terminates dates back to Turing himself and involves finding a ranking function that maps a program state to a well order, and then proving that the result of this function decreases for every possible program transition. More recent approaches to proving termination have involved moving away from the search for a single ranking function and toward a search for a set of ranking functions this set is a choice of ranking functions and a disjunctive termination argument is used. In this paper, we describe a new technique for determining whether programs terminate. Our technique is applied to the output of the distillation program transformation that converts programs into a simplified form called distilled form. Programs in distilled form are converted into a corresponding labelled transition system and termination can be demonstrated by showing that all possible infinite traces through this labelled transition system would result in an infinite descent of well founded data values. We demonstrate our technique on a number of examples, and compare it to previous work.


Assessing Centrality Without Knowing Connections. We consider the privacy preserving computation of node influence in distributed social networks, as measured by egocentric betweenness centrality (EBC). Motivated by modern communication networks spanning multiple providers, we show for the first time how multiple mutually distrusting parties can successfully compute node EBC while revealing only differentially private information about their internal network connections. A theoretical utility analysis upper bounds a primary source of private EBC error private release of ego networks with high probability. Empirical results demonstrate practical applicability with a low 1.07 relative error achievable at strong privacy budget epsilon 0.1 on a Facebook graph, and insignificant performance degradation as the number of network provider parties grows.


VAIM Visual Analytics for Influence Maximization. In social networks, individuals' decisions are strongly influenced by recommendations from their friends and acquaintances. The influence maximization (IM) problem asks to select a seed set of users that maximizes the influence spread, i.e., the expected number of users influenced through a stochastic diffusion process triggered by the seeds. In this paper, we present VAIM, a visual analytics system that supports users in analyzing the information diffusion process determined by different IM algorithms. By using VAIM one can (i) simulate the information spread for a given seed set on a large network, (ii) analyze and compare the effectiveness of different seed sets, and (iii) modify the seed sets to improve the corresponding influence spread.


Faster Stochastic Quasi Newton Methods. Stochastic optimization methods have become a class of popular optimization tools in machine learning. Especially, stochastic gradient descent (SGD) has been widely used for machine learning problems such as training neural networks due to low per iteration computational complexity. In fact, the Newton or quasi newton methods leveraging second order information are able to achieve a better solution than the first order methods. Thus, stochastic quasi Newton (SQN) methods have been developed to achieve the better solution efficiently than the stochastic first order methods by utilizing approximate second order information. However, the existing SQN methods still do not reach the best known stochastic first order oracle (SFO) complexity. To fill this gap, we propose a novel faster stochastic quasi Newton method (SpiderSQN) based on the variance reduced technique of SIPDER. We prove that our SpiderSQN method reaches the best known SFO complexity of mathcal O (n n 1 2 epsilon 2 ) in the finite sum setting to obtain an epsilon first order stationary point. To further improve its practical performance, we incorporate SpiderSQN with different momentum schemes. Moreover, the proposed algorithms are generalized to the online setting, and the corresponding SFO complexity of mathcal O ( epsilon 3 ) is developed, which also matches the existing best result. Extensive experiments on benchmark datasets demonstrate that our new algorithms outperform state of the art approaches for nonconvex optimization.


Benchmarking Contemporary Deep Learning Hardware and Frameworks A Survey of Qualitative Metrics. This paper surveys benchmarking principles, machine learning devices including GPUs, FPGAs, and ASICs, and deep learning software frameworks. It also reviews these technologies with respect to benchmarking from the perspectives of a 6 metric approach to frameworks and an 11 metric approach to hardware platforms. Because MLPerf is a benchmark organization working with industry and academia, and offering deep learning benchmarks that evaluate training and inference on deep learning hardware devices, the survey also mentions MLPerf benchmark results, benchmark metrics, datasets, deep learning frameworks and algorithms. We summarize seven benchmarking principles, differential characteristics of mainstream AI devices, and qualitative comparison of deep learning hardware and frameworks.


Long Short Term Network Based Unobtrusive Perceived Workload Monitoring with Consumer Grade Smartwatches in the Wild. Continuous high perceived workload has a negative impact on the individual's well being. Prior works focused on detecting the workload with medical grade wearable systems in the restricted settings, and the effect of applying deep learning techniques for perceived workload detection in the wild settings is not investigated. We present an unobtrusive, comfortable, pervasive and affordable Long Short Term Memory Network based continuous workload monitoring system based on a smartwatch application that monitors the perceived workload of individuals in the wild. We make use of modern consumer grade smartwatches. We have recorded physiological data from daily life with perceived workload questionnaires from subjects in their real life environments over a month. The model was trained and evaluated with the daily life physiological data coming from different days which makes it robust to daily changes in the heart rate variability, that we use with accelerometer features to asses low and high workload. Our system has the capability of removing motion related artifacts and detecting perceived workload by using traditional and deep classifiers. We discussed the problems related to in the wild applications with the consumer grade smartwatches. We showed that Long Short Term Memory Network outperforms traditional classifiers on discrimination of low and high workload with smartwatches in the wild.


DPCP p A Distributed Locking Protocol for Parallel Real Time Tasks. Real time scheduling and locking protocols are fundamental facilities to construct time critical systems. For parallel real time tasks, predictable locking protocols are required when concurrent sub jobs mutually exclusive access to shared resources. This paper for the first time studies the distributed synchronization framework of parallel real time tasks, where both tasks and global resources are partitioned to designated processors, and requests to each global resource are conducted on the processor on which the resource is partitioned. We extend the Distributed Priority Ceiling Protocol (DPCP) for parallel tasks under federated scheduling, with which we proved that a request can be blocked by at most one lower priority request. We develop task and resource partitioning heuristics and propose analysis techniques to safely bound the task response times. Numerical evaluation (with heavy tasks on 8 , 16 , and 32 core processors) indicates that the proposed methods improve the schedulability significantly compared to the state of the art locking protocols under federated scheduling.


On the relation of the spectral test to isotropic discrepancy and L q approximation in Sobolev spaces. This paper is a follow up to the recent paper "A note on isotropic discrepancy and spectral test of lattice point sets" J. Complexity, 58 101441, 2020 . We show that the isotropic discrepancy of a lattice point set is at most d , 2 2(d 1) times its spectral test, thereby correcting the dependence on the dimension d and an inaccuracy in the proof of the upper bound in Theorem 2 of the mentioned paper. The major task is to bound the volume of the neighbourhood of the boundary of a convex set contained in the unit cube. Further, we characterize averages of the distance to a lattice point set in terms of the spectral test. As an application, we infer that the spectral test and with it the isotropic discrepancy is crucial for the suitability of the lattice point set for the approximation of Sobolev functions.