Data fusion strategies for energy efficiency in buildings Overview, challenges and novel orientations. Recently, tremendous interest has been devoted to develop data fusion strategies for energy efficiency in buildings, where various kinds of information can be processed. However, applying the appropriate data fusion strategy to design an efficient energy efficiency system is not straightforward it requires a priori knowledge of existing fusion strategies, their applications and their properties. To this regard, seeking to provide the energy research community with a better understanding of data fusion strategies in building energy saving systems, their principles, advantages, and potential applications, this paper proposes an extensive survey of existing data fusion mechanisms deployed to reduce excessive consumption and promote sustainability. We investigate their conceptualizations, advantages, challenges and drawbacks, as well as performing a taxonomy of existing data fusion strategies and other contributing factors. Following, a comprehensive comparison of the state of the art data fusion based energy efficiency frameworks is conducted using various parameters, including data fusion level, data fusion techniques, behavioral change influencer, behavioral change incentive, recorded data, platform architecture, IoT technology and application scenario. Moreover, a novel method for electrical appliance identification is proposed based on the fusion of 2D local texture descriptors, where 1D power signals are transformed into 2D space and treated as images. The empirical evaluation, conducted on three real datasets, shows promising performance, in which up to 99.68 accuracy and 99.52 F1 score have been attained. In addition, various open research challenges and future orientations to improve data fusion based energy efficiency ecosystems are explored.


Spatiotemporal Imaging with Diffeomorphic Optimal Transportation. We propose a variational model with diffeomorphic optimal transportation for joint image reconstruction and motion estimation. The proposed model is a production of assembling the Wasserstein distance with the Benamou Brenier formula in optimal transportation and the flow of diffeomorphisms involved in large deformation diffeomorphic metric mapping, which is suitable for the scenario of spatiotemporal imaging with large diffeomorphic and mass preserving deformations. Specifically, we first use the Benamou Brenier formula to characterize the optimal transport cost among the flow of mass preserving images, and restrict the velocity field into the admissible Hilbert space to guarantee the generated deformation flow being diffeomorphic. We then gain the ODE constrained equivalent formulation for Benamou Brenier formula. We finally obtain the proposed model with ODE constraint following the framework that presented in our previous work. We further get the equivalent PDE constrained optimal control formulation. The proposed model is compared against several existing alternatives theoretically. The alternating minimization algorithm is presented for solving the time discretized version of the proposed model with ODE constraint. Several important issues on the proposed model and associated algorithms are also discussed. Particularly, we present several potential models based on the proposed diffeomorphic optimal transportation. Under appropriate conditions, the proposed algorithm also provides a new scheme to solve the models using quadratic Wasserstein distance. The performance is finally evaluated by several numerical experiments in space time tomography, where the data is measured from the concerned sequential images with sparse views and or various noise levels.


Age structured SIR model for the spread of infectious diseases through indirect contacts. In this article, we discuss an age structured SIR model in which disease not only spread through direct person to person contacts for e.g. infection due to surface contamination but it can also spread through indirect contacts. It is evident that age also plays a crucial role in SARS virus infection including COVID 19 infection. We formulate our model as an abstract semilinear Cauchy problem in an appropriate Banach space to show the existence of solution and also show the existence of steady states. It is assumed in this work that the population is in a demographic stationary state and show that there is no disease free equilibrium point as long as there is a transmission of infection due to the indirect contacts in the environment.


Incentive Mechanism Design for Distributed Coded Machine Learning. A distributed machine learning platform needs to recruit many heterogeneous worker nodes to finish computation simultaneously. As a result, the overall performance may be degraded due to straggling workers. By introducing redundancy into computation, coded machine learning can effectively improve the runtime performance by recovering the final computation result through the first k (out of the total n ) workers who finish computation. While existing studies focus on designing efficient coding schemes, the issue of designing proper incentives to encourage worker participation is still under explored. This paper studies the platform's optimal incentive mechanism for motivating proper workers' participation in coded machine learning, despite the incomplete information about heterogeneous workers' computation performances and costs. A key contribution of this work is to summarize workers' multi dimensional heterogeneity as a one dimensional metric, which guides the platform's efficient selection of workers under incomplete information with a linear computation complexity. Moreover, we prove that the optimal recovery threshold k is linearly proportional to the participator number n if we use the widely adopted MDS (Maximum Distance Separable) codes for data encoding. We also show that the platform's increased cost due to incomplete information disappears when worker number is sufficiently large, but it does not monotonically decrease in worker number.


A flexible space variant anisotropic regularisation for image restoration with automated parameter selection. We propose a new space variant anisotropic regularisation term for variational image restoration, based on the statistical assumption that the gradients of the target image distribute locally according to a bivariate generalised Gaussian distribution. The highly flexible variational structure of the corresponding regulariser encodes several free parameters which hold the potential for faithfully modelling the local geometry in the image and describing local orientation preferences. For an automatic estimation of such parameters, we design a robust maximum likelihood approach and report results on its reliability on synthetic data and natural images. For the numerical solution of the corresponding image restoration model, we use an iterative algorithm based on the Alternating Direction Method of Multipliers (ADMM). A suitable preliminary variable splitting together with a novel result in multivariate non convex proximal calculus yield a very efficient minimisation algorithm. Several numerical results showing significant quality improvement of the proposed model with respect to some related state of the art competitors are reported, in particular in terms of texture and detail preservation.


The Witten deformation of the Dolbeault complex. We introduce a Witten Novikov type perturbation bar partial bar omega of the Dolbeault complex of any complex K "ahler manifold, defined by a form omega of type (1,0) with partial omega 0 . We give an explicit description of the associated index density which shows that it exhibits a nontrivial dependence on omega . The heat invariants of lower order are shown to be zero.


On the rigidity of Souslin trees and their generic branches. We show it is consistent that there is a Souslin tree S such that after forcing with S , S is Kurepa and for all clubs C subset omega 1 , S upharpoonright C is rigid. This answers Fuchs's questions in Club degrees of rigidity and almost Kurepa trees. Moreover, we show it is consistent with diamondsuit that for every Souslin tree there is a dense X subset S which does not have a copy of S . This is related to a question due to Baumgartner.


Counting embeddings of rooted trees into families of rooted trees. The number of embeddings of a partially ordered set S in a partially ordered set T is the number of subposets of T isomorphic to S . If both, S and T , have only one unique maximal element, we define good embeddings as those in which the maximal elements of S and T overlap. We investigate the number of good and all embeddings of a rooted poset S in the family of all binary trees on n elements considering two cases plane (when the order of descendants matters) and non plane. Furthermore, we study the number of embeddings of a rooted poset S in the family of all planted plane trees of size n . We derive the asymptotic behaviour of good and all embeddings in all cases and we prove that the ratio of good embeddings to all is of the order Theta(1 sqrt n ) in all cases, where we provide the exact constants. Furthermore, we show that this ratio is non decreasing with S in the plane binary case and asymptotically non decreasing with S in the non plane binary case and in the planted plane case. Finally, we comment on the case when S is disconnected.


Extension, embedding and global stability in two dimensional monotone maps. We consider the general second order difference equation x n 1 F(x n,x n 1 ) in which F is continuous and of mixed monotonicity in its arguments. In equations with negative terms, a persistent set can be a proper subset of the positive orthant, which motivates studying global stability with respect to compact invariant domains. In this paper, we assume that F has a semi convex compact invariant domain, then make an extension of F on a rectangular domain that contains the invariant domain. The extension preserves the continuity and monotonicity of F. Then we use the embedding technique to embed the dynamical system generated by the extended map into a higher dimensional dynamical system, which we use to characterize the asymptotic dynamics of the original system. Some illustrative examples are given at the end.


Decision Procedure for the Existence of Two Channel Prefix Free Codes. The Kraft inequality gives a necessary and sufficient condition for the existence of a single channel prefix free code. However, the multichannel Kraft inequality does not imply the existence of a multichannel prefix free code in general. It is natural to ask whatever there exists an efficient decision procedure for the existence of multichannel prefix free codes. In this paper, we tackle the two channel case of the above problem by relating it to a constrained rectangle packing problem. Although a general rectangle packing problem is NP complete, the extra imposed constraints allow us to propose an algorithm which can solve the problem efficiently.


JGR P2O Joint Graph Reasoning based Pixel to Offset Prediction Network for 3D Hand Pose Estimation from a Single Depth Image. State of the art single depth image based 3D hand pose estimation methods are based on dense predictions, including voxel to voxel predictions, point to point regression, and pixel wise estimations. Despite the good performance, those methods have a few issues in nature, such as the poor trade off between accuracy and efficiency, and plain feature representation learning with local convolutions. In this paper, a novel pixel wise prediction based method is proposed to address the above issues. The key ideas are two fold a) explicitly modeling the dependencies among joints and the relations between the pixels and the joints for better local feature representation learning b) unifying the dense pixel wise offset predictions and direct joint regression for end to end training. Specifically, we first propose a graph convolutional network (GCN) based joint graph reasoning module to model the complex dependencies among joints and augment the representation capability of each pixel. Then we densely estimate all pixels' offsets to joints in both image plane and depth space and calculate the joints' positions by a weighted average over all pixels' predictions, totally discarding the complex postprocessing operations. The proposed model is implemented with an efficient 2D fully convolutional network (FCN) backbone and has only about 1.4M parameters. Extensive experiments on multiple 3D hand pose estimation benchmarks demonstrate that the proposed method achieves new state of the art accuracy while running very efficiently with around a speed of 110fps on a single NVIDIA 1080Ti GPU.


Retrieval Augmented Generation for Knowledge Intensive NLP Tasks. Large pre trained language models have been shown to store factual knowledge in their parameters, and achieve state of the art results when fine tuned on downstream NLP tasks. However, their ability to access and precisely manipulate knowledge is still limited, and hence on knowledge intensive tasks, their performance lags behind task specific architectures. Additionally, providing provenance for their decisions and updating their world knowledge remain open research problems. Pre trained models with a differentiable access mechanism to explicit non parametric memory can overcome this issue, but have so far been only investigated for extractive downstream tasks. We explore a general purpose fine tuning recipe for retrieval augmented generation (RAG) models which combine pre trained parametric and non parametric memory for language generation. We introduce RAG models where the parametric memory is a pre trained seq2seq model and the non parametric memory is a dense vector index of Wikipedia, accessed with a pre trained neural retriever. We compare two RAG formulations, one which conditions on the same retrieved passages across the whole generated sequence, the other can use different passages per token. We fine tune and evaluate our models on a wide range of knowledge intensive NLP tasks and set the state of the art on three open domain QA tasks, outperforming parametric seq2seq models and task specific retrieve and extract architectures. For language generation tasks, we find that RAG models generate more specific, diverse and factual language than a state of the art parametric only seq2seq baseline.


Algorithm Selection for Image Quality Assessment. Subjective perceptual image quality can be assessed in lab studies by human observers. Objective image quality assessment (IQA) refers to algorithms for estimation of the mean subjective quality ratings. Many such methods have been proposed, both for blind IQA in which no original reference image is available as well as for the full reference case. We compared 8 state of the art algorithms for blind IQA and showed that an oracle, able to predict the best performing method for any given input image, yields a hybrid method that could outperform even the best single existing method by a large margin. In this contribution we address the research question whether established methods to learn such an oracle can improve blind IQA. We applied AutoFolio, a state of the art system that trains an algorithm selector to choose a well performing algorithm for a given instance. We also trained deep neural networks to predict the best method. Our results did not give a positive answer, algorithm selection did not yield a significant improvement over the single best method. Looking into the results in depth, we observed that the noise in images may have played a role in why our trained classifiers could not predict the oracle. This motivates the consideration of noisiness in IQA methods, a property that has so far not been observed and that opens up several interesting new research questions and applications.


An Empirical Study of GraphQL Schemas. GraphQL is a query language for APIs and a runtime to execute queries. Using GraphQL queries, clients define precisely what data they wish to retrieve or mutate on a server, leading to fewer round trips and reduced response sizes. Although interest in GraphQL is on the rise, with increasing adoption at major organizations, little is known about what GraphQL interfaces look like in practice. This lack of knowledge makes it hard for providers to understand what practices promote idiomatic, easy to use APIs, and what pitfalls to avoid. To address this gap, we study the design of GraphQL interfaces in practice by analyzing their schemas the descriptions of their exposed data types and the possible operations on the underlying data. We base our study on two novel corpuses of GraphQL schemas, one of 16 commercial GraphQL schemas and the other of 8,399 GraphQL schemas mined from GitHub projects. We make both corpuses available to other researchers. Using these corpuses, we characterize the size of schemas and their use of GraphQL features and assess the use of both prescribed and organic naming conventions. We also report that a majority of APIs are susceptible to denial of service through complex queries, posing real security risks previously discussed only in theory. We also assess ways in which GraphQL APIs attempt to address these concerns.


Fine Grained Vehicle Perception via 3D Part Guided Visual Data Augmentation. Holistically understanding an object and its 3D movable parts through visual perception models is essential for enabling an autonomous agent to interact with the world. For autonomous driving, the dynamics and states of vehicle parts such as doors, the trunk, and the bonnet can provide meaningful semantic information and interaction states, which are essential to ensuring the safety of the self driving vehicle. Existing visual perception models mainly focus on coarse parsing such as object bounding box detection or pose estimation and rarely tackle these situations. In this paper, we address this important autonomous driving problem by solving three critical issues. First, to deal with data scarcity, we propose an effective training data generation process by fitting a 3D car model with dynamic parts to vehicles in real images before reconstructing human vehicle interaction (VHI) scenarios. Our approach is fully automatic without any human interaction, which can generate a large number of vehicles in uncommon states (VUS) for training deep neural networks (DNNs). Second, to perform fine grained vehicle perception, we present a multi task network for VUS parsing and a multi stream network for VHI parsing. Third, to quantitatively evaluate the effectiveness of our data augmentation approach, we build the first VUS dataset in real traffic scenarios (e.g., getting on out or placing removing luggage). Experimental results show that our approach advances other baseline methods in 2D detection and instance segmentation by a big margin (over 8 ). In addition, our network yields large improvements in discovering and understanding these uncommon cases. Moreover, we have released the source code, the dataset, and the trained model on Github (https github.com zongdai EditingForDNN).


A Note on Residual Variables of an Affine Fibration. In a recent paper El 13 , M.E. Kahoui has shown that if R is a polynomial ring over mathbb C , A an mathbb A 3 fibration over R , and W a residual variable of A then A is stably polynomial over R W . In this article we show that the above result holds over any Noetherian domain R provided the module of differentials Omega R(A) of the affine fibration A (which is necessarily a projective A module by a theorem of Asanuma) is a stably free A module.


SoftWear Software Only In Memory Wear Leveling for Non Volatile Main Memory. Several emerging technologies for byte addressable non volatile memory (NVM) have been considered to replace DRAM as the main memory in computer systems during the last years. The disadvantage of a lower write endurance, compared to DRAM, of NVM technologies like Phase Change Memory (PCM) or Ferroelectric RAM (FeRAM) has been addressed in the literature. As a solution, in memory wear leveling techniques have been proposed, which aim to balance the wear level over all memory cells to achieve an increased memory lifetime. Generally, to apply such advanced aging aware wear leveling techniques proposed in the literature, additional special hardware is introduced into the memory system to provide the necessary information about the cell age and thus enable aging aware wear leveling decisions. This paper proposes software only aging aware wear leveling based on common CPU features and does not rely on any additional hardware support from the memory subsystem. Specifically, we exploit the memory management unit (MMU), performance counters, and interrupts to approximate the memory write counts as an aging indicator. Although the software only approach may lead to slightly worse wear leveling, it is applicable on commonly available hardware. We achieve page level coarse grained wear leveling by approximating the current cell age through statistical sampling and performing physical memory remapping through the MMU. This method results in non uniform memory usage patterns within a memory page. Hence, we further propose a fine grained wear leveling in the stack region of C C compiled software. By applying both wear leveling techniques, we achieve up to 78.43 of the ideal memory lifetime, which is a lifetime improvement of more than a factor of 900 compared to the lifetime without any wear leveling.


Surface expression of a wall fountain application to subglacial discharge plumes. We use laboratory experiments and theoretical modeling to investigate the surface expression of a subglacial discharge plume, as occurs at many fjords around Greenland. The experiments consider a fountain that is released vertically into a homogeneous fluid, adjacent either to a vertical or a sloping wall, that then spreads horizontally at the free surface before sinking back to the bottom. We present a model that separates the fountain into two separate regions a vertical fountain and a horizontal, negatively buoyant jet. The model is compared to laboratory experiments that are conducted over a range of volume fluxes, density differences, and ambient fluid depths. It is shown that the non dimensionalised length, width, and aspect ratio of the surface expression are dependent on the Froude number, calculated at the start of the negatively buoyant jet. The model is applied to observations of the surface expression from a Greenland subglacial discharge plume. In the case where the discharge plume reaches the surface with negative buoyancy the model can be used to estimate the discharge properties at the base of the glacier.


A Progressive Visual Analytics Tool for Incremental Experimental Evaluation. This paper presents a visual tool, AVIATOR, that integrates the progressive visual analytics paradigm in the IR evaluation process. This tool serves to speed up and facilitate the performance assessment of retrieval models enabling a result analysis through visual facilities. AVIATOR goes one step beyond the common "compute wait visualize" analytics paradigm, introducing a continuous evaluation mechanism that minimizes human and computational resource consumption.


Ginkgo A Math Library designed for Platform Portability. The first associations to software sustainability might be the existence of a continuous integration (CI) framework the existence of a testing framework composed of unit tests, integration tests, and end to end tests and also the existence of software documentation. However, when asking what is a common deathblow for a scientific software product, it is often the lack of platform and performance portability. Against this background, we designed the Ginkgo library with the primary focus on platform portability and the ability to not only port to new hardware architectures, but also achieve good performance. In this paper we present the Ginkgo library design, radically separating algorithms from hardware specific kernels forming the distinct hardware executors, and report our experience when adding execution backends for NVIDIA, AMD, and Intel GPUs. We also comment on the different levels of performance portability, and the performance we achieved on the distinct hardware backends.


Balance of the vorticity direction and the vorticity magnitude in 3D fractional Navier Stokes equations. Fractional Navier Stokes equations featuring a fractional Laplacian provide a bridge' between the Euler equations (zero diffusion) and the Navier Stokes equations (full diffusion). The problem of whether an initially smooth flow can spontaneously develop a singularity is a fundamental problem in mathematical physics, open for the full range of models from Euler to Navier Stokes. The purpose of this work is to present a hybrid, geometric analytic regularity criterion for solutions to the 3D fractional Navier Stokes equations expressed as a balance in the average sense between the vorticity direction and the vorticity magnitude, key geometric and analytic descriptors of the flow, respectively.


Function as a Service Performance Evaluation A Multivocal Literature Review. Function as a Service (FaaS) is one form of the serverless cloud computing paradigm and is defined through FaaS platforms (e.g., AWS Lambda) executing event triggered code snippets (i.e., functions). Many studies that empirically evaluate the performance of such FaaS platforms have started to appear but we are currently lacking a comprehensive understanding of the overall domain. To address this gap, we conducted a multivocal literature review (MLR) covering 112 studies from academic (51) and grey (61) literature. We find that existing work mainly studies the AWS Lambda platform and focuses on micro benchmarks using simple functions to measure CPU speed and FaaS platform overhead (i.e., container cold starts). Further, we discover a mismatch between academic and industrial sources on tested platform configurations, find that function triggers remain insufficiently studied, and identify HTTP API gateways and cloud storages as the most used external service integrations. Following existing guidelines on experimentation in cloud systems, we discover many flaws threatening the reproducibility of experiments presented in the surveyed studies. We conclude with a discussion of gaps in literature and highlight methodological suggestions that may serve to improve future FaaS performance evaluation studies.


The role of bipartite structure in R D collaboration networks. A number of real world networks are, in fact, one mode projections of bipartite networks comprised of two types of nodes. For institutions engaging in collaboration for technological innovation, the underlying network is bipartite with institutions (agents) linked to the patents they have filed (artifacts), while the projection is the co patenting network. Projected network topology is highly affected by the underlying bipartite structure, hence a lack of understanding of the bipartite network has consequences for the information that might be drawn from the one mode co patenting network. Here, we create an empirical bipartite network using data from 2.7 million patents. We project this network onto the agents (institutions) and look at properties of both the bipartite and projected networks that may play a role in knowledge sharing and collaboration. We compare these empirical properties to those of synthetic bipartite networks and their projections in order to understand the processes that might operate in the network formation. A good understanding of the topology is critical for investigating the potential flow of technological knowledge. We show how degree distributions and small cycles affect the topology of the one mode projected network specifically degree and clustering distributions, and assortativity. We propose new network based metrics to quantify how collaborative agents are in the co patenting network. We find that several large corporations that are the most collaborative agents in the network, however such organisations tend to have a low diversity of collaborators. In contrast, the most prolific institutions tend to collaborate relatively little but with a diverse set of collaborators. This indicates that they concentrate the knowledge of their core technical research, while seeking specific complementary knowledge via collaboration with smaller companies.


Reducing Isotropy and Volume to KLS An O(n 3 psi 2) Volume Algorithm. We show that the the volume of a convex body in mathbb R n in the general membership oracle model can be computed with widetilde O (n 3 psi 2 varepsilon 2 ) oracle queries, where psi is the KLS constant ( widetilde O suppresses polylogarithmic terms. O suppresses dependence on error parameters as well as polylogarithmic terms.). With the current bound of psi lesssim n frac 1 4 , this gives an widetilde O (n 3.5 varepsilon 2 ) algorithm, the first general improvement on the Lov ' a sz Vempala widetilde O (n 4 varepsilon 2 ) algorithm from 2003. The main new ingredient is emph an widetilde O (n 3 psi 2 ) algorithm for isotropic transformation, following which we can apply the widetilde O (n 3 varepsilon 2 ) volume algorithm of Cousins and Vempala for well rounded convex bodies. A positive resolution of the KLS conjecture would imply an widetilde O (n 3 epsilon 2 ) volume algorithm. We also give an efficient implementation of the new algorithm for convex polytopes defined by m inequalities in mathbb R n polytope volume can be estimated in time widetilde O (mn c varepsilon 2 ) where c 3.7 depends on the current matrix multiplication exponent and improves on the the previous best bound.


PCA RECT An Energy efficient Object Detection Approach for Event Cameras. We present the first purely event based, energy efficient approach for object detection and categorization using an event camera. Compared to traditional frame based cameras, choosing event cameras results in high temporal resolution (order of microseconds), low power consumption (few hundred mW) and wide dynamic range (120 dB) as attractive properties. However, event based object recognition systems are far behind their frame based counterparts in terms of accuracy. To this end, this paper presents an event based feature extraction method devised by accumulating local activity across the image frame and then applying principal component analysis (PCA) to the normalized neighborhood region. Subsequently, we propose a backtracking free k d tree mechanism for efficient feature matching by taking advantage of the low dimensionality of the feature representation. Additionally, the proposed k d tree mechanism allows for feature selection to obtain a lower dimensional dictionary representation when hardware resources are limited to implement dimensionality reduction. Consequently, the proposed system can be realized on a field programmable gate array (FPGA) device leading to high performance over resource ratio. The proposed system is tested on real world event based datasets for object categorization, showing superior classification performance and relevance to state of the art algorithms. Additionally, we verified the object detection method and real time FPGA performance in lab settings under non controlled illumination conditions with limited training data and ground truth annotations.


Synergistic CPU FPGA Acceleration of Sparse Linear Algebra. This paper describes REAP, a software hardware approach that enables high performance sparse linear algebra computations on a cooperative CPU FPGA platform. REAP carefully separates the task of organizing the matrix elements from the computation phase. It uses the CPU to provide a first pass re organization of the matrix elements, allowing the FPGA to focus on the computation. We introduce a new intermediate representation that allows the CPU to communicate the sparse data and the scheduling decisions to the FPGA. The computation is optimized on the FPGA for effective resource utilization with pipelining. REAP improves the performance of Sparse General Matrix Multiplication (SpGEMM) and Sparse Cholesky Factorization by 3.2X and 1.85X compared to widely used sparse libraries for them on the CPU, respectively.


Entropy driven cell decision making predicts fluid to solid transition in multicellular systems. Cellular decision making allows cells to assume functionally different phenotypes in response to microenvironmental cues, without genetic change. It is an open question, how individual cell decisions influence the dynamics at the tissue level. Here, we study spatio temporal pattern formation in a population of cells exhibiting phenotypic plasticity, which is a paradigm of cell decision making. We focus on the migration resting and the migration proliferation plasticity which underly the epithelial mesenchymal transition (EMT) and the go or grow dichotomy. We assume that cells change their phenotype in order to minimize their microenvironmental entropy (LEUP Least microEnvironmental Uncertainty Principle) and study the impact of the LEUP driven migration resting and migration proliferation plasticity on the corresponding multicellular spatio temporal dynamics with a stochastic cell based mathematical model for the spatio temporal dynamics of the cell phenotypes. In the case of the go or rest plasticity, a corresponding mean field approximation allows to identify a bistable switching mechanism between a diffusive (fluid) and an epithelial (solid) tissue phase which depends on the sensitivity of the phenotypes to the environment. For the go or grow plasticity, we show the possibility of Turing pattern formation for the "solid" tissue phase and its relation with the parameters of the LEUP driven cell decisions.


Topological entropy of the set of generic points for ( alpha beta) shifts. We prove that all ( alpha beta ) shifts with 0 le alpha 1 and beta 2 are saturated, that is, for any invariant measure, the topological entropy of the set of generic points coincides with the metric entropy.


Comparison Principles for nonlocal Hamilton Jacobi equations. We prove the comparison principle for viscosity sub and super solutions of degenerate nonlocal operators with general nonlocal gradient nonlinearities. The proofs apply to purely Hamilton Jacobi equations of order 0 s 1 .


Lower bounds of certain general local cohomology modules. Let R be a commutative Noetherian ring, Phi a system of ideals of R , fa in Phi , M an arbitrary R module and t a non negative integer. Let mathcal S be a Melkersson subcategory of R modules. Among other things, we prove that if lc i Phi(M) is in mathcal S for all i t then lc i fa(M) is in mathcal S for all i t and for all fa in Phi . If mathcal S is the class of R modules N with dim N leq k where k geq 1 , is an integer, then lc i Phi(M) is in mathcal S for all i t (if and only if) lc i fa(M) is in mathcal S for all i t and for all fa in Phi . As consequences we study and compare vanishing, Artinianness and support of general local cohomology and ordinary local cohomology supported at ideals of its system of ideals at initial points i t . We show that Supp R ( lc dim M 1 Phi (M)) is not necessarily finite whenever (R, fm) is local and M a finitely generated R module.


Power Hadamard matrices and Plotkin optimal p k ary codes. A power Hadamard matrix H(x) is a square matrix of dimension n with entries from Laurent polynomial ring L mathbb Q x,x 1 such that H(x)H(x 1 ) T nI mod f(x) , where f is some Laurent polynomial of degree greater than 0 . In the first part of this work, some new results on power Hadamard matrices are studied, where we mainly entend the work of Craigen and Woodford. In the second part, codes obtained from Butson Hadamard matrices are discussed and some bounds on the minimum distance of these codes are proved. In particular, we show that the code obtained from a Butson Hadamard matrix meets the Plotkin bound under a non homegeneous weight.


Converging outer approximations to global attractors using semidefinite programming. This paper develops a method for obtaining guaranteed outer approximations for global attractors of continuous and discrete time nonlinear dynamical systems. The method is based on a hierarchy of semidefinite programming problems of increasing size with guaranteed convergence to the global attractor. The approach taken follows an established line of reasoning, where we first characterize the global attractor via an infinite dimensional linear programming problem (LP) in the space of Borel measures. The dual to this LP is in the space of continuous functions and its feasible solutions provide guaranteed outer approximations to the global attractor. For systems with polynomial dynamics, a hierarchy of finite dimensional sum of squares tightenings of the dual LP provides a sequence of outer approximations to the global attractor with guaranteed convergence in the sense of volume discrepancy tending to zero. The method is very simple to use and based purely on convex optimization. Numerical examples with the code available online demonstrate the method.


Ahab's Arithmetic or, the mathematics of Moby Dick. Herman Melville's novel Moby Dick contains a surprising number of mathematical allusions. In this article we explore some of these, as well as discussing the questions that naturally follow why did Melville choose to use so much mathematical imagery? How did Melville come to acquire the level of mathematical knowledge shown in the novel? And is it commensurate with the general level of mathematical literacy at that time?


Kahler Einstein Metrics and Eigenvalue Gaps. The existence of Kahler Einstein metrics on a Fano manifold is characterized in terms of a uniform gap between 0 and the first positive eigenvalue of the Cauchy Riemann operator on smooth vector fields. It is also characterized by a similar gap between 0 and the first positive eigenvalue for Hamiltonian vector fields. The underlying tool is a compactness criterion for suitably bounded subsets of the space of Kahler potentials which implies a positive gap.


Equiprobable mappings in weighted constraint grammars. We show that MaxEnt is so rich that it can distinguish between any two different mappings there always exists a nonnegative weight vector which assigns them different MaxEnt probabilities. Stochastic HG instead does admit equiprobable mappings and we give a complete formal characterization of them. We compare these different predictions of the two frameworks on a test case of Finnish stress.


Can Neural Networks Learn Symbolic Rewriting?. This work investigates if the current neural architectures are adequate for learning symbolic rewriting. Two kinds of data sets are proposed for this research one based on automated proofs and the other being a synthetic set of polynomial terms. The experiments with use of the current neural machine translation models are performed and its results are discussed. Ideas for extending this line of research are proposed, and its relevance is motivated.


Weighted distribution approach to gradient estimates for quasilinear elliptic double obstacle problems in Orlicz spaces. We construct an efficient approach to deal with the global regularity estimates for a class of elliptic double obstacle problems in Lorentz and Orlicz spaces. The motivation of this paper comes from the study on an abstract result in the viewpoint of the fractional maximal distributions and this work also extends some regularity results proved in cite PN dist by using the weighted fractional maximal distributions (WFMDs). We further investigate a pointwise estimates of the gradient of weak solutions via fractional maximal operators and Riesz potential of data. Moreover, in the setting of the paper, we are led to the study of problems with nonlinearity is supposed to be partially weak BMO condition (is measurable in one fixed variable and only satisfies locally small BMO seminorms in the remaining variables).


Statistical properties of color matching functions. In trichromats, color vision entails the projection of an infinite dimensional space (the one containing all possible electromagnetic power spectra) onto the 3 dimensional space that modulates the activity of the three types of cones. This drastic reduction in dimensionality gives rise to metamerism, that is, the perceptual chromatic equivalence between two different light spectra. The classes of equivalence of metamerism are revealed by color matching experiments, in which observers adjust the intensity of three monochromatic light beams of three pre set wavelengths (the primaries) to produce a mixture that is perceptually equal to a given monochromatic target stimulus. Here we use the linear relation between the color matching functions and the absorption probabilities of each type of cone to find particularly useful triplets of primaries. As a second goal, we also derive an analytical description of the trial to trial variability and the correlations of color matching functions stemming from Poissonian noise in photon capture. We analyze how the statistical properties of the responses to color matching experiments vary with the retinal composition and the wavelengths of peak absorption probability, and compare them with experimental data on subject to subject variability obtained previously.


Schools on different corners An investigation into the effects of ethnicity and socioeconomic status on physics offerings in Northern California public high schools. In the spring of 2018 the Northern California Nevada section of the American Association of Physics Teachers was alerted to a local high school's plans to eliminate physics for the following school year. As part of the campaign to support the school's efforts to sustain physics in the following year, the physics offerings from the surrounding schools in that district were compiled. It appeared that the demographics of the student population in the district played a role in the number of different physics courses offered within that district, particularly the percentage of Hispanic students ( Hispanic) and percentage of socioeconomically disadvantaged ( SED) students at each school. Concerned that this trend was more widespread, physics course offerings were reviewed for Northern California public high schools to determine if there were correlations between the amount of different physics class offerings and these populations. It was found that Hispanic and SED are strongly correlated in California public schools, and along with number of students, could be used as statistically significant predictors of a school's physics offerings.


Graph based Modeling of Online Communities for Fake News Detection. Over the past few years, there has been a substantial effort towards automated detection of fake news on social media platforms. Existing research has modeled the structure, style, content, and patterns in dissemination of online posts, as well as the demographic traits of users who interact with them. However, no attention has been directed towards modeling the properties of online communities that interact with the posts. In this work, we propose a novel social context aware fake news detection framework, SAFER, based on graph neural networks (GNNs). The proposed framework aggregates information with respect to 1) the nature of the content disseminated, 2) content sharing behavior of users, and 3) the social network of those users. We furthermore perform a systematic comparison of several GNN models for this task and introduce novel methods based on relational and hyperbolic GNNs, which have not been previously used for user or community modeling within NLP. We empirically demonstrate that our framework yields significant improvements over existing text based techniques and achieves state of the art results on fake news datasets from two different domains.


Sanguine Visual Analysis for Patient Blood Management. Blood transfusion is a frequently performed medical procedure in surgical and nonsurgical contexts. Although it is frequently necessary or even life saving, it has been identified as one of the most overused procedures in hospitals. Unnecessary transfusions not only waste resources but can also be detrimental to patient outcomes. Patient blood management (PBM) is the clinical practice of optimizing transfusions and associated outcomes. In this paper, we introduce Sanguine, a visual analysis tool for transfusion data and related patient medical records. Sanguine was designed with two user groups in mind PBM experts and clinicians who conduct transfusions. PBM experts use Sanguine to explore and analyze transfusion practices and its associated medical outcomes. They can compare individual surgeons, or compare outcomes or time periods, such as before and after an intervention regarding transfusion practices. PBM experts then curate and annotate views for communication with clinicians, with the goal of improving their transfusion practices. Such a review session could be in person or through a shared link. We validate the utility and effectiveness of Sanguine through case studies.


Human towers or castells modelling. 158th European Study Groups with Industry (long report). Human towers or castells are human structures played in festivals mainly in Catalonia. These unique cultural and traditional displays have become very popular in the last years, but they date from the XVIII century. On 2010 they became part of the Unesco Representative List of the Intangible Cultural Heritage of Humanity. Safety is very important in the performance of castells. To this end, it is crucial to understand the mechanisms that allow a castell to be built and, more importantly, the factors that may cause its collapse. This work is focused on the mechanical aspects that make a pilar (the simplest structure in the castells) to stand. We suggest three different but complementary approaches for the running stage of a pilar (stage where it has been built and has not yet collapsed) the N link pendulum as a first dynamical model, the response of the castellers as a control problem, and a static analysis to capture the feasibility of a given configuration. We include some preliminary simulations to better understand the previous approaches, which seem to match with qualitative perceptions that castellers have of a castell. Possible future developments are also discussed. To our knowledge, this work represents the first one to study the castells from a mechanical point of view.


Do Authors Deposit on Time? Tracking Open Access Policy Compliance. Recent years have seen fast growth in the number of policies mandating Open Access (OA) to research outputs. We conduct a large scale analysis of over 800 thousand papers from repositories around the world published over a period of 5 years to investigate a) if the time lag between the date of publication and date of deposit in a repository can be effectively tracked across thousands of repositories globally, and b) if introducing deposit deadlines is associated with a reduction of time from acceptance to public availability of research outputs. We show that after the introduction of the UK REF 2021 OA policy, this time lag has decreased significantly in the UK and that the policy introduction might have accelerated the UK's move towards immediate OA compared to other countries. This supports the argument for the inclusion of a time limited deposit requirement in OA policies.


Embedding based Scientific Literature Discovery in a Text Editor Application. Each claim in a research paper requires all relevant prior knowledge to be discovered, assimilated, and appropriately cited. However, despite the availability of powerful search engines and sophisticated text editing software, discovering relevant papers and integrating the knowledge into a manuscript remain complex tasks associated with high cognitive load. To define comprehensive search queries requires strong motivation from authors, irrespective of their familiarity with the research field. Moreover, switching between independent applications for literature discovery, bibliography management, reading papers, and writing text burdens authors further and interrupts their creative process. Here, we present a web application that combines text editing and literature discovery in an interactive user interface. The application is equipped with a search engine that couples Boolean keyword filtering with nearest neighbor search over text embeddings, providing a discovery experience tuned to an author's manuscript and his interests. Our application aims to take a step towards more enjoyable and effortless academic writing. The demo of the application (https SciEditorDemo2020.herokuapp.com ) and a short video tutorial (https youtu.be pkdVU60IcRc) are available online.


Why I killed my copper Highlights about the FTTO in the ESR. FTTO means Fiber To The Office, in reference to FTTH (Fibre To The Home), deployed in France for individuals. The principle of FTTO is to cable a building totally in fibre optic, to remove as much copper cabling as possible and install microswitches in each office (duct or adjacent), as near the machines as possible. Users are still connected with standard RJ45 copper wiring. Through questions and answers, we will highlight the reasons why FFTO is a controlled and future oriented technology.Over the last six years, several building projects within the perimeter of Higher Education and Research have chosen this technology and have seen or will see the light of day. Depending on the project, different topologies and technologies are possible. What is the feedback after these years? Is the result as expected? How is the solution experienced on a day to day basis? What security, how is a large switch assembly configured and maintained, what high availability is possible? How is Wi Fi, IP telephony and all PoE devices integrated? Does FTTO contribute to eco consumption? How can a FTTO call for tender be set up for a project, what are the essential elements to be included and what are the errors to be avoided at all costs? In the future, what is the life expectancy for its infrastructure and what speeds can be envisaged? The RESINFO FTTO Group is working to provide clear answers to all these questions and to share its experience with the community.


Manipulating emotions for ground truth emotion analysis. Text data are being used as a lens through which human cognition can be studied at a large scale. Methods like emotion analysis are now in the standard toolkit of computational social scientists but typically rely on third person annotation with unknown validity. As an alternative, this paper introduces online emotion induction techniques from experimental behavioural research as a method for text based emotion analysis. Text data were collected from participants who were randomly allocated to a happy, neutral or sad condition. The findings support the mood induction procedure. We then examined how well lexicon approaches can retrieve the induced emotion. All approaches resulted in statistical differences between the true emotion conditions. Overall, only up to one third of the variance in emotion was captured by text based measurements. Pretrained classifiers performed poorly on detecting true emotions. The paper concludes with limitations and suggestions for future research.


A Principled Approach to Design Using High Fidelity Fluid Structure Interaction Simulations. A high fidelity fluid structure interaction simulation may require many days to run, on hundreds of cores. This poses a serious burden, both in terms of time and economic considerations, when repetitions of such simulations may be required (e.g. for the purpose of design optimization). In this paper we present strategies based on (constrained) Bayesian optimization (BO) to alleviate this burden. BO is a numerical optimization technique based on Gaussian processes (GP) that is able to efficiently (with minimal calls to the expensive FSI models) converge towards some globally optimal design, as gauged using a black box objective function. In this study we present a principled design evolution that moves from FSI model verification, through a series of Bridge Simulations (bringing the verification case incrementally closer to the application), in order that we may identify material properties for an underwater, unmanned, autonomous vehicle (UUAV) sail plane. We are able to achieve fast convergence towards an optimal design, using a small number of FSI simulations (a dozen at most), even when selecting over several design parameters, and while respecting optimization constraints.


Space curves on surfaces with ordinary singularities. We show that smooth curves in the same biliaison class on a hypersurface in mathbf P 3 with ordinary singularities are linearly equivalent. We compute the invariants h 0( mathscr I C(d)) , h 1( mathscr I C(d)) and h 1( mathscr O C(d)) of a curve C on such a surface X in terms of the cohomologies of divisors on the normalization of X . We then study general projections in mathbf P 3 of curves lying on the rational normal scroll S(a,b) subset mathbf P a b 1 . If we vary the curves in a linear system on S(a,b) as well as the projections, we obtain a family of curves in mathbf P 3 . We compute the dimension of the space of deformations of these curves in mathbf P 3 as well as the dimension of the family. We show that the difference is a linear function in a and b which does not depend on the linear system. Finally, we classify maximal rank curves on ruled cubic surfaces in mathbf P 3 . We prove that the general projections of all but finitely many classes of projectively normal curves on S(1,2) subset mathbf P 4 fail to have maximal rank in mathbf P 3 . These give infinitely many classes of counter examples to a question of Hartshorne.


Conf Net Toward High Confidence Dense 3D Point Cloud with Error Map Prediction. This work proposes a method for depth completion of sparse LiDAR data using a convolutional neural network which can be used to generate semi dense depth maps and "almost" full 3D point clouds with significantly lower root mean squared error (RMSE) over state of the art methods. We add an "Error Prediction" unit to our network and present a novel and simple end to end method that learns to predict an error map of depth regression task. An "almost" dense high confidence low variance point cloud is more valuable for safety critical applications specifically real world autonomous driving than a full point cloud with high error rate and high error variance. Using our predicted error map, we demonstrate that by up filling a LiDAR point cloud from 18,000 points to 285,000 points, versus 300,000 points for full depth, we can reduce the RMSE error from 1004 to 399. This error is approximately 60 less than the state of the art and 50 less than the state of the art with RGB guidance (we did not use RGB guidance in our algorithm). In addition to analyzing our results on Kitti depth completion dataset, we also demonstrate the ability of our proposed method to extend to new tasks by deploying our "Error Prediction" unit to improve upon the state of the art for monocular depth estimation. Codes and demo videos are available at http github.com hekmak Conf net.


Tiling proofs of Jacobi triple product and Rogers Ramanujan identities. We use the method of tiling to give elementary combinatorial proofs of some celebrated q series identities, such as Jacobi triple product identity, Rogers Ramanujan identities, and some identities of Rogers. We give a tiling proof of the q binomial theorem and a tiling interpretation of the q binomial coefficients. A new generalized k product q series identity is also obtained by employing the tiling method', wherein the generating function of the set of all possible tilings of a rectangular board is computed in two different ways to obtain the desired q series identity. Several new recursive q series identities were also established. The tiling method' holds promise for giving an aesthetically pleasing approach to prove old and new q series identities.


Visor Privacy Preserving Video Analytics as a Cloud Service. Video analytics as a service is becoming an important offering for cloud providers. A key concern in such services is privacy of the videos being analyzed. While trusted execution environments (TEEs) are promising options for preventing the direct leakage of private video content, they remain vulnerable to side channel attacks. We present Visor, a system that provides confidentiality for the user's video stream as well as the ML models in the presence of a compromised cloud platform and untrusted co tenants. Visor executes video pipelines in a hybrid TEE that spans both the CPU and GPU. It protects the pipeline against side channel attacks induced by data dependent access patterns of video modules, and also addresses leakage in the CPU GPU communication channel. Visor is up to 1000 times faster than na "ive oblivious solutions, and its overheads relative to a non oblivious baseline are limited to 2 times 6 times .


Bochner Riesz operators in Grand Lebesgue spaces. We provide the conditions for the boundedness of the Bochner Riesz operator acting between two different Grand Lebesgue Spaces. Moreover we obtain a lower estimate for the constant appearing in the Lebesgue Riesz norm estimation of the Bochner Riesz operator and we investigate the convergence of the Bochner Riesz approximation in Lebesgue Riesz spaces.


Differential Harnack Inequalities on Path Space. Recall that if (M n,g) satisfies mathrm Ric geq 0 , then the Li Yau Differential Harnack Inequality tells us for each nonnegative f M to mathbb R , with f t its heat flow, that frac Delta f t f t frac nabla f t 2 f t 2 frac n 2t geq 0. Our main result will be to generalize this to path space P xM of the manifold. A key point is that instead of considering infinite dimensional gradients and Laplacians on P xM we will consider a family of finite dimensional gradients and Laplace operators. Namely, for each H 1 0 function varphi mathbb R to mathbb R we will define the varphi gradient nabla varphi F P xM to T xM and the varphi Laplacian Delta varphi F text tr varphi mathrm Hess F P xM to mathbb R , where mathrm Hess F is the Markovian Hessian and both the gradient and the varphi trace are induced by n vector fields naturally associated to varphi under stochastic parallel translation. Now let (M n,g) satisfy mathrm Ric 0 , then for each nonnegative F P xM to mathbb R we will show the inequality frac E x Delta varphi F E x F frac E x nabla varphi F 2 E x F 2 frac n 2 varphi 2 geq 0 for each varphi , where E x denotes the expectation with respect to the Wiener measure on P xM . By applying this to the simplest functions on path space, namely cylinder functions of one variable F( gamma) equiv f( gamma(t)) , we will see we recover the classical Li Yau Harnack inequality exactly. We have similar estimates for Einstein manifolds, with errors depending only on the Einstein constant, as well as for general manifolds, with errors depending on the curvature. Finally, we derive generalizations of Hamilton's Matrix Harnack inequality on path space P xM . It is our understanding that these estimates are new even on the path space of mathbb R n .


PolyAdd Polynomial Formal Verification of Adder Circuits. Only by formal verification approaches functional correctness can be ensured. While for many circuits fast verification is possible, in other cases the approaches fail. In general no efficient algorithms can be given, since the underlying verification problem is NP complete. In this paper we prove that for different types of adder circuits polynomial verification can be ensured based on BDDs. While it is known that the output functions for addition are polynomially bounded, we show in the following that the entire construction process can be carried out in polynomial time. This is shown for the simple Ripple Carry Adder, but also for fast adders like the Conditional Sum Adder and the Carry Look Ahead Adder. Properties about the adder function are proven and the core principle of polynomial verification is described that can also be extended to other classes of functions and circuit realizations.


Blockchain Based Differential Privacy Cost Management System. Privacy preservation is a big concern for various sectors. To protect individual user data, one emerging technology is differential privacy. However, it still has limitations for datasets with frequent queries, such as the fast accumulation of privacy cost. To tackle this limitation, this paper explores the integration of a secured decentralised ledger, blockchain. Blockchain will be able to keep track of all noisy responses generated with differential privacy algorithm and allow for certain queries to reuse old responses. In this paper, a demo of a proposed blockchain based privacy management system is designed as an interactive decentralised web application (DApp). The demo created illustrates that leveraging on blockchain will allow the total privacy cost accumulated to decrease significantly.


Denseness of intermediate pressures for systems with the Climenhaga Thompson structures. We show that systems with the structure introduced by Climenhaga and Thompson have dense intermediate pressures and dense intermediate entropies of ergodic measures. The result applies to the Ma n 'e diffeomorphisms.


A Passage Based Approach to Learning to Rank Documents. According to common relevance judgments regimes, such as TREC's, a document can be deemed relevant to a query even if it contains a very short passage of text with pertinent information. This fact has motivated work on passage based document retrieval document ranking methods that induce information from the document's passages. However, the main source of passage based information utilized was passage query similarities. We address the challenge of utilizing richer sources of passage based information to improve document retrieval effectiveness. Specifically, we devise a suite of learning to rank based document retrieval methods that utilize an effective ranking of passages produced in response to the query the passage ranking is also induced using a learning to rank approach. Some of the methods quantify the ranking of the passages of a document. Others utilize the feature based representation of passages used for learning a passage ranker. Empirical evaluation attests to the clear merits of our methods with respect to highly effective baselines. Our best performing method is based on learning a document ranking function using document query features and passage query features of the document's passage most highly ranked.


How carrier memory enters the Haus master equation of mode locking. We present a generalization of the Haus master equation in which a dynamical boundary condition allows to describe complex pulse trains such as the Q switched and harmonic transitions of passive mode locking as well as the weak interactions between localized states. As an example, we investigate the influence of group velocity dispersion on the stability boundaries of the Q switched regime. We compare our results with that of a time delayed system.


Avoiding a star of three term arthmetic progressions. We provide an upper bound of the size of a subset A of F p n that does not admit a k star of 3 APs (three term arithmetic progressions). Namely, the subset A is assumed to contain no configuration of k 3 APs, sharing the middle term, such that all 2k 1 terms are distinct. In the proof, we adapt a new method in the recent work of Sauermann.


Learning to Compare Relation Semantic Alignment for Few Shot Learning. Few shot learning is a fundamental and challenging problem since it requires recognizing novel categories from only a few examples. The objects for recognition have multiple variants and can locate anywhere in images. Directly comparing query images with example images can not handle content misalignment. The representation and metric for comparison are critical but challenging to learn due to the scarcity and wide variation of the samples in few shot learning. In this paper, we present a novel semantic alignment model to compare relations, which is robust to content misalignment. We propose to add two key ingredients to existing few shot learning frameworks for better feature and metric learning ability. First, we introduce a semantic alignment loss to align the relation statistics of the features from samples that belong to the same category. And second, local and global mutual information maximization is introduced, allowing for representations that contain locally consistent and intra class shared information across structural locations in an image. Thirdly, we introduce a principled approach to weigh multiple loss functions by considering the homoscedastic uncertainty of each stream. We conduct extensive experiments on several few shot learning datasets. Experimental results show that the proposed method is capable of comparing relations with semantic alignment strategies, and achieves state of the art performance.


On a class of Burch ideals and a conjecture of Huneke and Wiegand. In this paper we are concerned with a long standing conjecture of Huneke and Wiegand. We introduce a new class of ideals and prove thateach ideal from such class satisfies the conclusion of the conjecture in question. We also study the relation between the class of Burch ideals and that of the ideals we define, and construct several examples that corroborate our results.


Connecting the time evolution of the turbulence interface to coherent structures. The surface area of turbulent non turbulent interfaces (TNTIs) is continuously produced and destroyed via stretching and curvature propagation effects. Here, the mechanisms responsible for TNTI area growth and destruction are investigated in a turbulent flow with and without stable stratification through the time evolution equation of the TNTI area. We show that both terms have broad distributions and may locally contribute to either production or destruction. On average, however, the area growth is driven by stretching, which is approximately balanced by destruction by the curvature propagation term. To investigate the contribution of different length scales to these processes, we apply spatial filtering to the data. In doing so, we find that the averages of the stretching and the curvature propagation terms balance out across spatial scales of TNTI wrinkles and this scale by scale balance is consistent with an observed scale invariance of the nearby coherent vortices. Through a conditional analysis, we demonstrate that the TNTI area production (destruction) localizes at the front (lee) edge of the vortical structures in the interface proximity. Finally, we show that while basic mechanisms remain the same, increasing stratification reduces the rates at which TNTI surface area is produced as well as destroyed. We provide evidence that this reduction is largely connected to a change in the multiscale geometry of the interface, which tends to flatten in the wall normal direction at all active length scales of the TNTI.


Bringing Stories Alive Generating Interactive Fiction Worlds. World building forms the foundation of any task that requires narrative intelligence. In this work, we focus on procedurally generating interactive fiction worlds text based worlds that players "see" and "talk to" using natural language. Generating these worlds requires referencing everyday and thematic commonsense priors in addition to being semantically consistent, interesting, and coherent throughout. Using existing story plots as inspiration, we present a method that first extracts a partial knowledge graph encoding basic information regarding world structure such as locations and objects. This knowledge graph is then automatically completed utilizing thematic knowledge and used to guide a neural language generation model that fleshes out the rest of the world. We perform human participant based evaluations, testing our neural model's ability to extract and fill in a knowledge graph and to generate language conditioned on it against rule based and human made baselines. Our code is available at https github.com rajammanabrolu WorldGeneration.


Radar based Dynamic Occupancy Grid Mapping and Object Detection. Environment modeling utilizing sensor data fusion and object tracking is crucial for safe automated driving. In recent years, the classical occupancy grid map approach, which assumes a static environment, has been extended to dynamic occupancy grid maps, which maintain the possibility of a low level data fusion while also estimating the position and velocity distribution of the dynamic local environment. This paper presents the further development of a previous approach. To the best of the author's knowledge, there is no publication about dynamic occupancy grid mapping with subsequent analysis based only on radar data. Therefore in this work, the data of multiple radar sensors are fused, and a grid based object tracking and mapping method is applied. Subsequently, the clustering of dynamic areas provides high level object information. For comparison, also a lidar based method is developed. The approach is evaluated qualitatively and quantitatively with real world data from a moving vehicle in urban environments. The evaluation illustrates the advantages of the radar based dynamic occupancy grid map, considering different comparison metrics.


Nonholonomic Yaw Control of an Underactuated Flying Robot with Model based Reinforcement Learning. Nonholonomic control is a candidate to control nonlinear systems with path dependant states. We investigate an underactuated flying micro aerial vehicle, the ionocraft, that requires nonholonomic control in the yaw direction for complete attitude control. Deploying an analytical control law involves substantial engineering design and is sensitive to inaccuracy in the system model. With specific assumptions on assembly and system dynamics, we derive a Lie bracket for yaw control of the ionocraft. As a comparison to the significant engineering effort required for an analytic control law, we implement a data driven model based reinforcement learning yaw controller in a simulated flight task. We demonstrate that a simple model based reinforcement learning framework can match the derived Lie bracket control (in yaw rate and chosen actions) in a few minutes of flight data, without a pre defined dynamics function. This paper shows that learning based approaches are useful as a tool for synthesis of nonlinear control laws previously only addressable through expert based design.


Fractional Lotka Volterra model with time delay and delayed controller for a bioreactor. In this paper, a fractional Lotka Volterra mathematical model for a bioreactor is proposed and used to fit the data provided by a bioprocess known as continuous fermentation of Zymomonas mobilis. The model contemplates a time delay tau due to the dead time in obtaining the measurement of biomass x(t) . A Hopf bifurcation analysis is performed to characterize the inherent self oscillatory experimental bioprocess response. As consequence, stability conditions for the equilibrium point together with conditions for limit cycles using the delay tau as bifurcation parameter are obtained. Under the assumptions that the use of observers, estimators or extra laboratory measurements are avoided to prevent the rise of computational or monetary costs, for the purpose of control, we will only consider the measurement of the biomass. A simple controller that can be employed is the proportional action controller u(t) k px(t) , which is shown to fail to stabilize the obtained model under the proposed analysis. Another suitable choice is the use of a delayed controller u(t) k rx(t h) which successfully stabilizes the model even when it is unstable. Finally, the proposed theoretical results are corroborated through numerical simulations.


Ground states of semilinear elliptic equations. We study solutions of Delta u F'(u) 0 , where the potential F can have an arbitrary number of wells at arbitrary heights, including bottomless wells with subcritical decay. In our setting, ground state solutions correspond to unstable solutions of least energy. We show that in convex domains of mathbb R N and manifolds with operatorname Ric geq 0 , ground states are always of mountain pass type and have Morse index 1. In addition, we prove symmetry of the ground states if the domain is either an Euclidean ball or the entire sphere S N . For the Allen Cahn equation varepsilon 2 Delta u W'(u) 0 on S N , we prove the ground state is unique up to rotations and corresponds to the equator as a minimal hypersurface. We also study bifurcation at the energy level of the ground state as varepsilon to 0 , showing that the first N 1 min max Allen Cahn widths of S N are ground states, and we prove a gap theorem for the corresponding (N 2) th min max solution.


A Dehn type quantity for Riemannian manifolds. We look at the functional Y(M) int M K(x) dV(x) for compact Riemannian 2d manifolds M, where K(x) (2d)! (d!) 1 (4pi) d int T prod k 1 d K t 2k,t 2k 1(x) dt involves products of d sectional curvatures K ij(x) averaged over the space T sim O(2d) of all orthonormal frames t (t 1, ... ,t 2d). A discrete version Y disc(M) with K d(x) (d!) 1 (4pi) d sum sigma prod k 1 d K sigma(2k 1),sigma(2k) sums over all permutations sigma of 1,..,2d. Unlike Euler characteristic which by Gauss Bonnet Chern is int M K GBC dV X(M), the quantities Y or Y disc are in general metric dependent. We are interested in Y(M) X(M) because if M has curvature sign e, then Y(M) e d and Y disc(M) are positive while X(M) e d 0 is only conjectured. We compute Y disc in a few concrete examples like 2d spheres, the 4 manifold CP 2, the 6 manifold SO(4) or the 8 manifold SU(3).


Do Influencers Influence? Analyzing Players' Activity in an Online Multiplayer Game. In social and online media, influencers have traditionally been understood as highly visible individuals. Recent outcomes suggest that people are likely to mimic influencers' behavior, which can be exploited, for instance, in marketing strategies. Also in the Games User Research field, the interest in studying player social networks has emerged due to the heavy reliance on online influencers in marketing campaigns for games, as well as in keeping players engaged. Despite the inherent value of those individuals, it is still difficult to identify influencers, as the definition of influencers is a debated topic. Thus, how can we identify influencers, and are they indeed the individuals impacting others' behavior? In this work, we focus on influence in retention to verify whether central players impacted others' permanence in the game. We identified the central players in the social network built from the competitive player vs player (PvP) multiplayer (Crucible) matches in the online shooter Destiny. Then, we computed influence scores for each player evaluating the increase in similarity over time between two connected individuals. In this paper, we were able to show the first indications that the traditional metrics for influencers do not necessarily apply for games. On the contrary, we found that the group of central players was distinct from the group of influential players, defined as the individuals with the highest influence scores. Then, we provide an analysis of the two groups.


Symbolic dynamics in mean dimension theory. Furstenberg (1967) calculated the Hausdorff and Minkowski dimensions of one sided subshifts in terms of topological entropy. We generalize this to mathbb Z 2 subshifts. Our generalization involves mean dimension theory. We calculate the metric mean dimension and mean Hausdorff dimension of mathbb Z 2 subshifts with respect to a subaction of mathbb Z . The resulting formula is quite analogous to Furstenberg's theorem. We also calculate the rate distortion dimension of mathbb Z 2 subshifts in terms of Kolmogorov Sinai entropy.


Perspective consistent multifocus multiview 3D reconstruction of small objects. Image based 3D reconstruction or 3D photogrammetry of small scale objects including insects and biological specimens is challenging due to the use of high magnification lens with inherent limited depth of field, and the object's fine structures and complex surface properties. Due to these challenges, traditional 3D reconstruction techniques cannot be applied without suitable image pre processings. One such preprocessing technique is multifocus stacking that combines a set of partially focused images captured from the same viewing angle to create a single in focus image. Traditional multifocus image capture uses a camera on a macro rail. Furthermore, the scale and shift are not properly considered by multifocus stacking techniques. As a consequence, the resulting in focus images contain artifacts that violate perspective image formation. A 3D reconstruction using such images will fail to produce an accurate 3D model of the object. This paper shows how this problem can be solved effectively by a new multifocus stacking procedure which includes a new Fixed Lens Multifocus Capture and camera calibration for image scale and shift. Initial experimental results are presented to confirm our expectation and show that the camera poses of fixed lens images are at least 3 times less noisy than those of conventional moving lens images.


State complexity of halting, returning and reversible graph walking automata. Graph walking automata (GWA) traverse graphs by moving between the nodes following the edges, using a finite state control to decide where to go next. It is known that every GWA can be transformed to a GWA that halts on every input, to a GWA returning to the initial node in order to accept, and to a reversible GWA. This paper establishes lower bounds on the state blow up of these transformations, as well as closely matching upper bounds. It is shown that making an n state GWA traversing k ary graphs halt on every input requires at most 2nk 1 states and at least 2(n 1)(k 3) states in the worst case making a GWA return to the initial node before acceptance takes at most 2nk n and at least 2(n 1)(k 3) states in the worst case Automata satisfying both properties at once have at most 4nk 1 and at least 4(n 1)(k 3) states in the worst case. Reversible automata have at most 4nk 1 and at least 4(n 1)(k 3) 1 states in the worst case.


SLIM A Well Conditioned Single Source Boundary Element Method for Modeling Lossy Conductors in Layered Media. The boundary element method (BEM) enables the efficient electromagnetic modelling of lossy conductors with a surface based discretization. Existing BEM techniques for conductor modelling require either expensive dual basis functions or the use of both single and double layer potential operators to obtain a well conditioned system matrix. The associated computational cost is particularly significant when conductors are embedded in stratified media, and the expensive multilayer Green's function (MGF) must be invoked. In this work, a novel single source BEM formulation is proposed, which leads to a well conditioned system matrix without the need for dual basis functions. The proposed single layer impedance matrix (SLIM) formulation does not require the double layer potential to model the background medium, which reduces the cost associated with the MGF. The accuracy and efficiency of the proposed method is demonstrated through realistic examples drawn from different applications.


On the challenges of data provenance in the Internet of Things. The IoT is described as a smart interactive environment where devices communicate together ubiquitously sometimes in the background, performing functions on behalf of the users and offering many advanced services to them. Examples range from simple smart home applications such as ambient intelligence and remote controlling functionalities to more advanced smart cities setups. A smart IoT city for instance will encompass a network of many interconnected networks where various sensors and actuators distributed across many areas of the city share information, create knowledge and trigger actuation events. In such a dynamic and rich environment, it is vital for security to trace the source of data and verify its origin. This where data provenance in the IoT come to play. This work attempts to explore requirements and applications of data provenance in the IoT and the challenges pertaining to its realisation.


Denoising Pre Training and Data Augmentation Strategies for Enhanced RDF Verbalization with Transformers. The task of verbalization of RDF triples has known a growth in popularity due to the rising ubiquity of Knowledge Bases (KBs). The formalism of RDF triples is a simple and efficient way to store facts at a large scale. However, its abstract representation makes it difficult for humans to interpret. For this purpose, the WebNLG challenge aims at promoting automated RDF to text generation. We propose to leverage pre trainings from augmented data with the Transformer model using a data augmentation strategy. Our experiment results show a minimum relative increases of 3.73 , 126.05 and 88.16 in BLEU score for seen categories, unseen entities and unseen categories respectively over the standard training.


String Sanitization Under Edit Distance Improved and Generalized. Let W be a string of length n over an alphabet Sigma , k be a positive integer, and mathcal S be a set of length k substrings of W . The ETFS problem asks us to construct a string X mathrm ED such that (i) no string of mathcal S occurs in X mathrm ED (ii) the order of all other length k substrings over Sigma is the same in W and in X mathrm ED and (iii) X mathrm ED has minimal edit distance to W . When W represents an individual's data and mathcal S represents a set of confidential patterns, the ETFS problem asks for transforming W to preserve its privacy and its utility Bernardini et al., ECML PKDD 2019 . ETFS can be solved in mathcal O (n 2k) time Bernardini et al., CPM 2020 . The same paper shows that ETFS cannot be solved in mathcal O (n 2 delta ) time, for any delta 0 , unless the Strong Exponential Time Hypothesis (SETH) is false. Our main results can be summarized as follows (i) an mathcal O (n 2 log 2k) time algorithm to solve ETFS and (ii) an mathcal O (n 2 log 2n) time algorithm to solve AETFS, a generalization of ETFS in which the elements of mathcal S can have arbitrary lengths. Our algorithms are thus optimal up to polylogarithmic factors, unless SETH fails. Let us also stress that our algorithms work under edit distance with arbitrary weights at no extra cost. As a bonus, we show how to modify some known techniques, which speed up the standard edit distance computation, to be applied to our problems. Beyond string sanitization, our techniques may inspire solutions to other problems related to regular expressions or context free grammars.


Tent pitching and Trefftz DG method for the acoustic wave equation. We present a space time Trefftz discontinuous Galerkin method for approximating the acoustic wave equation semi explicitly on tent pitched meshes. DG Trefftz methods use discontinuous test and trial functions, which solve the wave equation locally. Tent pitched meshes allow to solve the equation elementwise, allowing locally optimal advances in time. The method is implemented in NGSolve, solving the space time elements in parallel, whenever possible. Insights into the implementational details are given, including the case of propagation in heterogeneous media.


A note on images of cover relations. For a category mathbb C , a small category mathbb I , and a pre cover relation sqsubset on mathbb C we prove, under certain completeness assumptions on mathbb C , that a morphism g B to C in the functor category mathbb C mathbb I admits an image with respect to the pre cover relation on mathbb C mathbb I induced by sqsubset as soon as each component of g admits an image with respect to sqsubset . We then apply this to show that if a pointed category mathbb C is (i) algebraically cartesian closed (ii) exact protomodular and action accessible or (iii) admits normalizers, then the same is true of each functor category mathbb C mathbb I with mathbb I finite. In addition, our results give explicit constructions of images in functor categories using limits and images in the underlying category. In particular, they can be used to give explicit constructions of both centralizers and normalizers in functor categories using limits and centralizers or normalizers (respectively) in the underlying category.


CLEVRER CoLlision Events for Video REpresentation and Reasoning. The ability to reason about temporal and causal events from videos lies at the core of human intelligence. Most video reasoning benchmarks, however, focus on pattern recognition from complex visual and language input, instead of on causal structure. We study the complementary problem, exploring the temporal and causal structures behind videos of objects with simple visual appearance. To this end, we introduce the CoLlision Events for Video REpresentation and Reasoning (CLEVRER), a diagnostic video dataset for systematic evaluation of computational models on a wide range of reasoning tasks. Motivated by the theory of human casual judgment, CLEVRER includes four types of questions descriptive (e.g., "what color"), explanatory ("what is responsible for"), predictive ("what will happen next"), and counterfactual ("what if"). We evaluate various state of the art models for visual reasoning on our benchmark. While these models thrive on the perception based task (descriptive), they perform poorly on the causal tasks (explanatory, predictive and counterfactual), suggesting that a principled approach for causal reasoning should incorporate the capability of both perceiving complex visual and language inputs, and understanding the underlying dynamics and causal relations. We also study an oracle model that explicitly combines these components via symbolic representations.


Submodules in polydomains and noncommutative varieties. Tensor product of Fock spaces is analogous to the Hardy space over the unit polydisc. This plays an important role in the development of noncommutative operator theory and function theory in the sense of noncommutative polydomains and noncommutative varieties. In this paper we study joint invariant subspaces of tensor product of full Fock spaces and noncommutative varieties. We also obtain, in particular, by using techniques of noncommutative varieties, a classification of joint invariant subspaces of n fold tensor products of Drury Arveson spaces.


Spaces of embeddings Nonsingular bilinear maps, chirality, and their generalizations. Given a space X we study the topology of the space of embeddings of X into mathbb R d through the combinatorics of triangulations of X. We give a simple combinatorial formula for upper bounds for the largest dimension of a sphere that antipodally maps into the space of embeddings. This result summarizes and extends results about the nonembeddability of complexes into mathbb R d , the nonexistence of nonsingular bilinear maps, and the study of embeddings into mathbb R d up to isotopy, such as the chirality of spatial graphs.


Hardware Memory Management for Future Mobile Hybrid Memory Systems. The current mobile applications have rapidly growing memory footprints, posing a great challenge for memory system design. Insufficient DRAM main memory will incur frequent data swaps between memory and storage, a process that hurts performance, consumes energy and deteriorates the write endurance of typical flash storage devices. Alternately, a larger DRAM has higher leakage power and drains the battery faster. Further, DRAM scaling trends make further growth of DRAMin the mobile space prohibitive due to cost. Emerging non volatile memory (NVM) has the potential to alleviate these issues due to its higher capacity per cost than DRAM and mini mal static power. Recently, a wide spectrum of NVM technologies, including phase change memories (PCM), memristor, and 3D XPoint have emerged. Despite the mentioned advantages, NVM has longer access latency compared to DRAMand NVM writes can incur higher latencies and wear costs. Therefore integration of these new memory technologies in the memory hierarchy requires a fundamental rearchitect ing of traditional system designs. In this work, we propose a hardware accelerated memory manager (HMMU) that addresses both types of memory in a flat space address space. We design a set of data placement and data migration policies within this memory manager, such that we may exploit the advantages of each memory technology. By augmenting the system with this HMMU, we reduce the overall memory latency while also reducing writes to the NVM. Experimental results show that our design achieves a 39 reduction in energy consumption with only a 12 performance degradation versus an all DRAM baseline that is likely untenable in the future.


Template co updating in multi modal human activity recognition systems. Multi modal systems are quite common in the context of human activity recognition widely used RGB D sensors (Kinect is the most prominent example) give access to parallel data streams, typically RGB images, depth data, skeleton information. The richness of multimodal information has been largely exploited in many works in the literature, while an analysis of their effectiveness for incremental template updating has not been investigated so far. This paper is aimed at defining a general framework for unsupervised template updating in multi modal systems, where the different data sources can provide complementary information, increasing the effectiveness of the updating procedure and reducing at the same time the probability of incorrect template modifications.


Hausdorff dimension of a set in the theory of continued fractions. In this article we calculate the Hausdorff dimension of the set begin equation mathcal F ( Phi ) left x in lbrack 0,1) begin aligned a n 1 (x)a n(x) geq Phi(n) rm for infinitely many n in mathbb N rm and a n 1 (x) Phi(n) rm for all sufficiently large n in mathbb N end aligned right end equation where Phi mathbb N rightarrow (1, infty) is any function with lim n to infty Phi(n) infty. This in turn contributes to the metrical theory of continued fractions as well as gives insights about the set of Dirichlet non improvable numbers.


Optimizing Information Freshness Through Computation Transmission Tradeoff and Queue Management in Edge Computing. Edge computing applications typically require generated data to be preprocessed at the source and then transmitted to an edge server. In such cases, transmission time and preprocessing time are coupled, yielding a tradeoff between them to achieve the targeted objective. This paper presents analysis of such a system with the objective of optimizing freshness of received data at the edge server. We model this system as two queues in tandem whose service times are independent over time but the transmission service time is monotonically dependent on the computation service time in mean value. This dependence captures the natural decrease in transmission time due to lower offloaded computation. We analyze various queue management schemes in this tandem queue where the first queue has a single server, Poisson packet arrivals, general independent service and no extra buffer to save incoming status update packets. The second queue has a single server receiving packets from the first queue and service is memoryless. We consider the second queue in two forms (i) No data buffer and (ii) One unit data buffer and last come first serve with discarding. We analyze various non preemptive as well as preemptive cases. We perform stationary distribution analysis and obtain closed form expressions for average age of information (AoI) and average peak AoI. Our numerical results illustrate analytical findings on how computation and transmission times could be traded off to optimize AoI and reveal a consequent tradeoff between average AoI and average peak AoI.


A fully coupled computational framework for large scale simulation of fluid driven fracture propagation on parallel computers. The propagation of cracks driven by a pressurized fluid emerges in several areas of engineering, including structural, geotechnical, and petroleum engineering. We present a robust numerical framework to simulate fluid driven fracture propagation that addresses the challenges emerging in the simulation of this complex coupled nonlinear hydro mechanical response. We observe that the numerical difficulties stem from the strong nonlinearities present in the fluid equations as well as those associated with crack propagation, from the quasi static nature of the problem, and from the a priori unknown and potentially intricate crack geometries that may arise. An additional challenge is the need for large scale simulation owing to the mesh resolution requirements and the expected 3D character of the problem in practical applications. To address these challenges we model crack propagation with a high order hybrid discontinuous Galerkin cohesive zone model framework, which has proven massive scalability properties, and we model the lubrication flow inside the propagating cracks using continuous finite elements, furnishing a fully coupled discretization of the solid and fluid equations. The parallel approach for solving the linearized coupled problem consists of standard iterative solvers based on domain decomposition. The resulting computational approach provides the ability to conduct highly resolved and quasi static simulations of fluid driven fracture propagation with unspecified crack path. We conduct a series of numerical tests to verify the computational framework against known analytical solutions in the toughness and viscosity dominated regimes and we demonstrate its performance in terms of robustness and parallel scalability, enabling simulations of several million degrees of freedom on hundreds of processors.


Ribbonness of a stable ribbon surface link, II. General case. It is shown that a handle irreducible summand of every stable ribbon surface link is a unique ribbon surface link up to equivalences. This is a generalization of the result for the case of a stably trivial surface link previously observed.


A note on a quantization via the Ran space. In a present note we give a new proof of Etingof Kazhdan quantization theorem.


The importance of phase in complex compressive sensing. We consider the question of estimating a real low complexity signal (such as a sparse vector or a low rank matrix) from the phase of complex random measurements. We show that in this "phase only compressive sensing" (PO CS) scenario, we can perfectly recover such a signal with high probability and up to global unknown amplitude if the sensing matrix is a complex Gaussian random matrix and if the number of measurements is large compared to the complexity level of the signal space. Our approach proceeds by recasting the (non linear) PO CS scheme as a linear compressive sensing model built from a signal normalization constraint, and a phase consistency constraint imposing any signal estimate to match the observed phases in the measurement domain. Practically, stable and robust signal direction estimation is achieved from any "instance optimal" algorithm of the compressive sensing literature (such as basis pursuit denoising). This is ensured by proving that the matrix associated with this equivalent linear model satisfies with high probability the restricted isometry property under the above condition on the number of measurements. We finally observe experimentally that robust signal direction recovery is reached at about twice the number of measurements needed for signal recovery in compressive sensing.


Distribution of interseismic coupling along the North and East Anatolian Faults inferred from InSAR and GPS data. The North Anatolian Fault (NAF) has produced numerous major earthquakes. After decades of quiescence, the rm M w 6.8 Elaz i u g earthquake (January 24, 2020) has recently reminded us that the East Anatolian Fault (EAF) is also capable of producing significant earthquakes. To better estimate the seismic hazard associated with these two faults, we jointly invert Interferometric Synthetic Aperture Radar (InSAR) and GPS data to image the spatial distribution of interseismic coupling along the eastern part of both the North and East Anatolian Faults. We perform the inversion in a Bayesian framework, enabling to estimate uncertainties on both long term relative plate motion and coupling. We find that coupling is high and deep (0 20 km) on the NAF and heterogeneous and superficial (0 5 km) on the EAF. Our model predicts that the Elaz i u g earthquake released between 200 and 250 years of accumulated moment, suggesting a bi centennial recurrence time.


Neumaier graphs with few eigenvalues. A Neumaier graph is a non complete edge regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue 2.


An enriched count of the bitangents to a smooth plane quartic curve. Recent work of Kass Wickelgren gives an enriched count of the 27 lines on a smooth cubic surface over arbitrary fields. Their approach using mathbb A 1 enumerative geometry suggests that other classical enumerative problems should have similar enrichments, when the answer is computed as the degree of the Euler class of a relatively orientable vector bundle. Here, we consider the closely related problem of the 28 bitangents to a smooth plane quartic. However, it turns out the relevant vector bundle is not relatively orientable and new ideas are needed to produce enriched counts. We introduce a fixed "line at infinity," which leads to enriched counts of bitangents that depend on their geometry relative to the quartic and this distinguished line.