On rearrangement inequalities for multiple sequences. The classical rearrangement inequality provides bounds for the sum of products of two sequences under permutations of terms and show that similarly ordered sequences provide the largest value whereas opposite ordered sequences provide the smallest value. This has been generalized to multiple sequences to show that similarly ordered sequences provide the largest value. However, the permutations of the sequences that result in the smallest value are generally not known. We show a variant of the rearrangement inequality for which a lower bound can be obtained and conditions for which this bound is achieved for a sequence of permutations. We also study a generalization of the rearrangement inequality and a variation where the permutations of terms can be across the various sequences. For this variation, we can also find the minimizing and maximizing sequences under certain conditions. Finally, we also look at rearrangement inequalities of other objects that can be ordered such as functions and matrices.


A note on the action of Hecke groups on subsets of quadratic fields. We study the action of the groups H( lambda) generated by the linear fractional transformations x z mapsto frac 1 z text and w z mapsto z lambda , where lambda is a positive integer, on the subsets mathbb Q ( sqrt n ) frac a sqrt n c a,b frac a 2 n c ,c in mathbb Z , where n is a square free integer. We prove that this action has a finite number of orbits if and only if lambda 1 or lambda 2 , and we give an upper bound for the number of orbits for lambda 2 .


A Practical Solution to Yao's Millionaires' Problem and Its Application in Designing Secure Combinatorial Auction. The emergence of e commerce and e voting platforms has resulted in the rise in the volume of sensitive information over the Internet. This has resulted in an increased demand for secure and private means of information computation. Towards this, the Yao's Millionaires' problem, i.e., to determine the richer among two millionaires' securely, finds an application. In this work, we present a new solution to the Yao's Millionaires' problem namely, Privacy Preserving Comparison (PPC). We show that PPC achieves this comparison in constant time as well as in one execution. PPC uses semi honest third parties for the comparison who do not learn any information about the values. Further, we show that PPC is collusion resistance. To demonstrate the significance of PPC, we present a secure, approximate single minded combinatorial auction, which we call TPACAS, i.e., Truthful, Privacy preserving Approximate Combinatorial Auction for Single minded bidders. We show that TPACAS, unlike previous works, preserves the following privacies relevant to an auction agent privacy, the identities of the losing bidders must not be revealed to any other agent except the auctioneer (AU), bid privacy, the bid values must be hidden from the other agents as well as the AU and bid topology privacy, the items for which the agents are bidding must be hidden from the other agents as well as the AU. We demonstrate the practicality of TPACAS through simulations. Lastly, we also look at TPACAS' implementation over a publicly distributed ledger, such as the Ethereum blockchain.


Accessibility in 360 degree video players. Any media experience must be fully inclusive and accessible to all users regardless of their ability. With the current trend towards immersive experiences, such as Virtual Reality (VR) and 360 degree video, it becomes key that these environments are adapted to be fully accessible. However, until recently the focus has been mostly on adapting the existing techniques to fit immersive displays, rather than considering new approaches for accessibility designed specifically for these increasingly relevant media experiences. This paper surveys a wide range of 360 degree video players and examines the features they include for dealing with accessibility, such as Subtitles, Audio Description, Sign Language, User Interfaces, and other interaction features, like voice control and support for multi screen scenarios. These features have been chosen based on guidelines from standardization contributions, like in the World Wide Web Consortium (W3C) and the International Communication Union (ITU), and from research contributions for making 360 degree video consumption experiences accessible. The in depth analysis has been part of a research effort towards the development of a fully inclusive and accessible 360 degree video player. The paper concludes by discussing how the newly developed player has gone above and beyond the existing solutions and guidelines, by providing accessibility features that meet the expectations for a widely used immersive medium, like 360 degree video.


MEMS actuated Metasurface Alvarez Lens. Miniature lenses with tunable focus are essential components for many modern applications involving compact optical systems. While several tunable lenses have been reported with various tuning mechanisms, they often still face challenges in power consumption, tuning speed, fabrication cost, or production scalability. In this work, we have adapted the mechanism of an Alvarez lens a varifocal composite lens in which lateral shifts of two optical elements with cubic phase surfaces give rise to a change in optical power to construct a miniature, MEMS actuated metasurface Alvarez lens. The implementation based on electrostatic microelectromechanical systems (MEMS) generates fast and controllable actuation with low power consumption. The utilization of metasurfaces, ultrathin and subwavelength patterned diffractive optics, as the optical elements greatly reduces the device volume compared to systems using conventional freeform lenses. The entire MEMS Alvarez metalens is fully compatible with modern semiconductor fabrication technologies, granting it the potential to be mass produced at a low unit cost. In the reported prototype to operate at 1550 nm wavelength, a total uniaxial displacement of 6.3 um is achieved in the Alvarez metalens with direct current (DC) voltage application up to 20 V, modulating the focal position within a total tuning range of 68 um, producing more than an order of magnitude change in focal length and 1460 diopters change in optical power. The MEMS Alvarez metalens has a robust design that can potentially generate a much larger tuning range without substantially increasing device volume or energy consumption, making it desirable for a wide range of imaging and display applications.


Non trivial higher Massey products in moment angle complexes. As part of various obstruction theories, non trivial Massey products have been studied in symplectic and complex geometry, commutative algebra and topology for a long time. We introduce a general approach to constructing non trivial Massey products in the cohomology of moment angle complexes, using homotopy theoretical and combinatorial methods. Our approach sets a unifying way of constructing higher Massey products of arbitrary cohomological classes and generalises all existing examples of non trivial Massey products in moment angle complexes. As a result, we obtain explicit constructions of infinitely many non formal manifolds that appear in topology, complex geometry and algebraic geometry.


In situ analysis of small microplastics in coastal surface water samples of the subtropical island of Okinawa, Japan. Marine plastic debris is widely recognized as a global environmental issue. Sun micron plastic particles, with an upper size limit of 20 um, have been identified as having the highest potential for causing damage to marine ecosystems. Having accurate methods for quantifying the abundance of such particles in a natural environment is essential for defining the extent of the problem they pose. Using an optical micro Raman tweezers setup, we have identified the composition of particles trapped in marine aggregates collected from the coastal surface waters around the subtropical island of Okinawa. Chemical composition analysis at the single particle level indicates dominance by low density polyethylene, which accounted for 75 of the total sub micron plastics analyzed. Our results show the occurrence of plastics at all test sites, with the highest concentration in areas with high human activities. The average, smallest sub micron plastics size is (2.53 0.85)um for polystyrene. We also observed additional Raman peaks on the plastics spectrum with decreasing debris size which could be related to structural modification due to weathering or embedding in organic matter. By single particle level sub micron plastics identification, we can begin to understand their dispersion in the ocean and define their toxicity and impacts on marine biodiversity and food chain.


Memory Efficient Hierarchical Neural Architecture Search for Image Restoration. Recently, much attention has been spent on neural architecture search (NAS), aiming to outperform those manually designed neural architectures on high level vision recognition tasks. Inspired by the success, here we attempt to leverage NAS techniques to automatically design efficient network architectures for low level image restoration tasks. In particular, we propose a memory efficient hierarchical NAS (termed HiNAS) and apply it to two such tasks image denoising and image super resolution. HiNAS adopts gradient based search strategies and builds a flexible hierarchical search space, including the inner search space and outer search space. They are in charge of designing cell architectures and deciding cell widths, respectively. For the inner search space, we propose a layer wise architecture sharing strategy (LWAS), resulting in more flexible architectures and better performance. For the outer search space, we design a cell sharing strategy to save memory, and considerably accelerate the search speed. The proposed HiNAS method is both memory and computation efficient. With a single GTX1080Ti GPU, it takes only about 1 hour for searching for denoising network on the BSD 500 dataset and 3.5 hours for searching for the super resolution structure on the DIV2K dataset. Experiments show that the architectures found by HiNAS have fewer parameters and enjoy a faster inference speed, while achieving highly competitive performance compared with state of the art methods. Code is available at https github.com hkzhang91 HiNAS


The intermittent excitation of geodesic acoustic mode by nonlinear Instanton of electron drift wave envelope in L mode discharge near tokamak edge. There are two distinct phases in the evolution of drift wave envelope in the presence of zonal flow. A long lived standing wave phase, which we call the Caviton, and a short lived traveling wave phase (in radial direction) we call the Instanton. For drift wave turbulence driven by ion temperature gradient mode (ITG), these two stages of dynamics were displayed in Zhang Y Z, Liu Z Y, Xie T, Mahajan S M and Liu J 2017 Physics of Plasmas 24 122304 . In this paper we show that the dynamical attributes of ITG turbulence are readily replicated when the turbulence rotates in the electron direction our model calculation deals specifically with the toroidal electron drift waves (EDW) in the well known delta e model. While the basic calculations are presented in parallel to the ITG counterpart, more emphasis is laid here on the motion of Instanton several abrupt phenomena observed in tokamaks, such as intermittent excitation of geodesic acoustic mode (GAM) shown in this paper, could be attributed to the sudden and fast radial motion of Instanton. The calculation brings out the defining characteristics of the Instanton it begins as a linear traveling wave right after the transition. Then, it evolves to a nonlinear stage with increasing frequency all the way to 20 kHz. The modulation to Reynolds stress in zonal flow equation will cause resonant excitation to GAM. The intermittency is shown due to the random phase mixing between multiple central rational surfaces in the reaction region.


Efficacy of Hydroxychloroquine as Prophylaxis for Covid 19. Limitations in the design of the experiment of Boulware et al 1 are considered in Cohen 2 . They are not subject to correction but they are reported for readers' consideration. However, they made an analysis for the incidence based on Fisher's hypothesis test for means while they published detailed time dependent data which were not analyzed, disregarding an important information. Here we make the analyses with this time dependent data adopting a simple regression analysis. We conclude their randomized, double blind, placebo controlled trial presents statistical evidence, at 99 confidence level, that the treatment of Covid 19 patients with hydroxychloroquine is effective in reducing the appearance of symptoms if used before or right after exposure to the virus. For 0 to 2 days after exposure to virus, the estimated relative reduction in symptomatic outcomes is 72 after 0 days, 48.9 after 1 day and 29.3 after 2 days. For 3 days after exposure, the estimated relative reduction is 15.7 but results are not statistically conclusive and for 4 or more days after exposure there is no statistical evidence that hydroxychloroquine is effective in reducing the appearance of symptoms. Our results show that the time elapsed between infection and the beginning of treatment is crucial for the efficacy of hydroxychloroquine as a treatment to Covid 19.


A Privacy Preserving, Accountable and Spam Resilient Geo Marketplace. Mobile devices with rich features can record videos, traffic parameters or air quality readings along user trajectories. Although such data may be valuable, users are seldom rewarded for collecting them. Emerging digital marketplaces allow owners to advertise their data to interested buyers. We focus on geo marketplaces, where buyers search data based on geo tags. Such marketplaces present significant challenges. First, if owners upload data with revealed geo tags, they expose themselves to serious privacy risks. Second, owners must be accountable for advertised data, and must not be allowed to subsequently alter geo tags. Third, such a system may be vulnerable to intensive spam activities, where dishonest owners flood the system with fake advertisements. We propose a geo marketplace that addresses all these concerns. We employ searchable encryption, digital commitments, and blockchain to protect the location privacy of owners while at the same time incorporating accountability and spam resilience mechanisms. We implement a prototype with two alternative designs that obtain distinct trade offs between trust assumptions and performance. Our experiments on real location data show that one can achieve the above design goals with practical performance and reasonable financial overhead.


Detecting Missing Dependencies and Notifiers in Puppet Programs. Puppet is a popular computer system configuration management tool. It provides abstractions that enable administrators to setup their computer systems declaratively. Its use suffers from two potential pitfalls. First, if ordering constraints are not specified whenever an abstraction depends on another, the non deterministic application of abstractions can lead to race conditions. Second, if a service is not tied to its resources through notification constructs, the system may operate in a stale state whenever a resource gets modified. Such faults can degrade a computing infrastructure's availability and functionality. We have developed an approach that identifies these issues through the analysis of a Puppet program and its system call trace. Specifically, we present a formal model for traces, which allows us to capture the interactions of Puppet abstractions with the file system. By analyzing these interactions we identify (1) abstractions that are related to each other (e.g., operate on the same file), and (2) abstractions that should act as notifiers so that changes are correctly propagated. We then check the relationships from the trace's analysis against the program's dependency graph a representation containing all the ordering constraints and notifications declared in the program. If a mismatch is detected, our system reports a potential fault. We have evaluated our method on a large set of Puppet modules, and discovered 57 previously unknown issues in 30 of them. Benchmarking further shows that our approach can analyze in minutes real world configurations with a magnitude measured in thousands of lines and millions of system calls.


Social media data reveals signal for public consumer perceptions. Researchers have used social media data to estimate various macroeconomic indicators about public behaviors, mostly as a way to reduce surveying costs. One of the most widely cited economic indicator is consumer confidence index (CCI). Numerous studies in the past have focused on using social media, especially Twitter data, to predict CCI. However, the strong correlations disappeared when those models were tested with newer data according to a recent comprehensive survey. In this work, we revisit this problem of assessing the true potential of using social media data to measure CCI, by proposing a robust non parametric Bayesian modeling framework grounded in Gaussian Process Regression (which provides both an estimate and an uncertainty associated with it). Integral to our framework is a principled experimentation methodology that demonstrates how digital data can be employed to reduce the frequency of surveys, and thus periodic polling would be needed only to calibrate our model. Via extensive experimentation we show how the choice of different micro decisions, such as the smoothing interval, various types of lags etc. have an important bearing on the results. By using decadal data (2008 2019) from Reddit, we show that both monthly and daily estimates of CCI can, indeed, be reliably estimated at least several months in advance, and that our model estimates are far superior to those generated by the existing methods.


Topology of symplectomorphism groups and ball swappings. In this survey article, we summarize some recent progress and problems on the symplectomorphism groups, with an emphasis on the connection to the space of ball packings.


HypoNLI Exploring the Artificial Patterns of Hypothesis only Bias in Natural Language Inference. Many recent studies have shown that for models trained on datasets for natural language inference (NLI), it is possible to make correct predictions by merely looking at the hypothesis while completely ignoring the premise. In this work, we manage to derive adversarial examples in terms of the hypothesis only bias and explore eligible ways to mitigate such bias. Specifically, we extract various phrases from the hypotheses (artificial patterns) in the training sets, and show that they have been strong indicators to the specific labels. We then figure out hard' and easy' instances from the original test sets whose labels are opposite to or consistent with those indications. We also set up baselines including both pretrained models (BERT, RoBERTa, XLNet) and competitive non pretrained models (InferSent, DAM, ESIM). Apart from the benchmark and baselines, we also investigate two debiasing approaches which exploit the artificial pattern modeling to mitigate such hypothesis only bias down sampling and adversarial training. We believe those methods can be treated as competitive baselines in NLI debiasing tasks.


Plastic systemic inhibition controls amplitude while allowing phase pattern in a stochastic neural field model. Oscillatory phase pattern formation and amplitude control for a linearized stochastic neuron field model was investigated by simulating coupled stochastic processes defined by stochastic differential equations. It was found, for several choices of parameters, that pattern formation in the phases of these processes occurred if and only if the amplitudes were allowed to grow large. Stimulated by recent work on homeostatic inhibitory plasticity, we introduced static and plastic (adaptive) systemic inhibitory mechanisms to keep the amplitudes stochastically bounded in subsequent simulations. The systems with static systemic inhibition exhibited bounded amplitudes but no sustained phase patterns, whereas the systems with plastic systemic inhibition exhibited both bounded amplitudes and sustained phase patterns. These results demonstrate that plastic inhibitory mechanisms in neural field models can stochastically control amplitudes while allowing patterns of phase synchronization to develop. Similar mechanisms of plastic systemic inhibition could play a role in regulating oscillatory functioning in the brain.


DeepMeshFlow Content Adaptive Mesh Deformation for Robust Image Registration. Image alignment by mesh warps, such as meshflow, is a fundamental task which has been widely applied in various vision applications(e.g., multi frame HDR denoising, video stabilization). Traditional mesh warp methods detect and match image features, where the quality of alignment highly depends on the quality of image features. However, the image features are not robust in occurrence of low texture and low light scenes. Deep homography methods, on the other hand, are free from such problem by learning deep features for robust performance. However, a homography is limited to plane motions. In this work, we present a deep meshflow motion model, which takes two images as input and output a sparse motion field with motions located at mesh vertexes. The deep meshflow enjoys the merics of meshflow that can describe nonlinear motions while also shares advantage of deep homography that is robust against challenging textureless scenarios. In particular, a new unsupervised network structure is presented with content adaptive capability. On one hand, the image content that cannot be aligned under mesh representation are rejected by our learned mask, similar to the RANSAC procedure. On the other hand, we learn multiple mesh resolutions, combining to a non uniform mesh division. Moreover, a comprehensive dataset is presented, covering various scenes for training and testing. The comparison between both traditional mesh warp methods and deep based methods show the effectiveness of our deep meshflow motion model.


FaceShapeGene A Disentangled Shape Representation for Flexible Face Image Editing. Existing methods for face image manipulation generally focus on editing the expression, changing some predefined attributes, or applying different filters. However, users lack the flexibility of controlling the shapes of different semantic facial parts in the generated face. In this paper, we propose an approach to compute a disentangled shape representation for a face image, namely the FaceShapeGene. The proposed FaceShapeGene encodes the shape information of each semantic facial part separately into a 1D latent vector. On the basis of the FaceShapeGene, a novel part wise face image editing system is developed, which contains a shape remix network and a conditional label to face transformer. The shape remix network can freely recombine the part wise latent vectors from different individuals, producing a remixed face shape in the form of a label map, which contains the facial characteristics of multiple subjects. The conditional label to face transformer, which is trained in an unsupervised cyclic manner, performs part wise face editing while preserving the original identity of the subject. Experimental results on several tasks demonstrate that the proposed FaceShapeGene representation correctly disentangles the shape features of different semantic parts. In addition, we test our system on several novel part wise face editing tasks. Comparisons to existing methods demonstrate the superiority of the proposed method on accomplishing novel face editing tasks.


Getting to Know One Another Calibrating Intent, Capabilities and Trust for Human Robot Collaboration. Common experience suggests that agents who know each other well are better able to work together. In this work, we address the problem of calibrating intention and capabilities in human robot collaboration. In particular, we focus on scenarios where the robot is attempting to assist a human who is unable to directly communicate her intent. Moreover, both agents may have differing capabilities that are unknown to one another. We adopt a decision theoretic approach and propose the TICC POMDP for modeling this setting, with an associated online solver. Experiments show our approach leads to better team performance both in simulation and in a real world study with human subjects.


A new bound for smooth spline spaces. For a planar simplicial complex Delta contained in R 2, Schumaker proved that a lower bound on the dimension of the space C r k(Delta) of planar splines of smoothness r and polynomial degree at most k on Delta is given by a polynomial P Delta(r,k), and Alfeld Schumaker showed this polynomial gives the correct dimension when k 4r 1. Examples due to Morgan Scott, Tohaneanu, and Yuan show that the equality dim C r k(Delta) P Delta(r,k) can fail when k 2r or 2r 1. We prove that the equality dim C r k(Delta) P Delta(r,k) cannot hold in general for k (22r 7) 10.


Towards a Security Cost Model for Cyber Physical Systems. In times of Industry 4.0 and cyber physical systems (CPS) providing security is one of the biggest challenges. A cyber attack launched at a CPS poses a huge threat, since a security incident may affect both the cyber and the physical world. Since CPS are very flexible systems, which are capable of adapting to environmental changes, it is important to keep an overview of the resulting costs of providing security. However, research regarding CPS currently focuses more on engineering secure systems and does not satisfactorily provide approaches for evaluating the resulting costs. This paper presents an interaction based model for evaluating security costs in a CPS. Furthermore, the paper demonstrates in a use case driven study, how this approach could be used to model the resulting costs for guaranteeing security.


Subjective Equilibria under Beliefs of Exogenous Uncertainty. We present a subjective equilibrium notion (called "subjective equilibrium under beliefs of exogenous uncertainty (SEBEU)" for stochastic dynamic games in which each player chooses its decisions under the (incorrect) belief that a stochastic environment process driving the system is exogenous whereas in actuality this process is a solution of closed loop dynamics affected by each individual player. Players observe past realizations of the environment variables and their local information. At equilibrium, if players are given the full distribution of the stochastic environment process as if it were an exogenous process, they would have no incentive to unilaterally deviate from their strategies. This notion thus generalizes what is known as the price taking equilibrium in prior literature to a stochastic and dynamic setup. We establish existence of SEBEU, study various properties and present explicit solutions. We obtain the epsilon Nash equilibrium property of SEBEU when there are many players.


Cross domain Detection via Graph induced Prototype Alignment. Applying the knowledge of an object detector trained on a specific domain directly onto a new domain is risky, as the gap between two domains can severely degrade model's performance. Furthermore, since different instances commonly embody distinct modal information in object detection scenario, the feature alignment of source and target domain is hard to be realized. To mitigate these problems, we propose a Graph induced Prototype Alignment (GPA) framework to seek for category level domain alignment via elaborate prototype representations. In the nutshell, more precise instance level features are obtained through graph based information propagation among region proposals, and, on such basis, the prototype representation of each class is derived for category level domain alignment. In addition, in order to alleviate the negative effect of class imbalance on domain adaptation, we design a Class reweighted Contrastive Loss to harmonize the adaptation training process. Combining with Faster R CNN, the proposed framework conducts feature alignment in a two stage manner. Comprehensive results on various cross domain detection tasks demonstrate that our approach outperforms existing methods with a remarkable margin. Our code is available at https github.com ChrisAllenMing GPA detection.


Some remarks regarding finite bounded commutative BCK algebras. In this chapter, starting from some results obtained in the papers FV 19 , FHSV 19 , we provide some examples of finite bounded commutative BCK algebras, using the Wajsberg algebra associated to a bounded commutative BCK algebra. This method is an alternative to the Iseki's construction, since by Iseki's extension some properties of the obtained algebras are lost.


Non cognitive abilities of exceptional software engineers a Delphi study. Important building blocks of software engineering concepts are without a doubt technical. During the last decade, research and practical interest for non technicalities has grown, revealing the building blocks to be various skills and abilities beside pure technical knowledge. Multiple attempts to categorise these blocks have been made, but so far little international studies have been performed that identify skills by asking experts from both the industrial and academic world which abilities are needed for a developer to excel in the software engineering industry? To answer this question, we performed a Delphi study, inviting 36 experts from 11 different countries world wide, affiliated with 21 internationally renowned institutions. This study presents the 55 identified and ranked skills as classified in four major areas communicative skills (empathy, actively listening, etc.), collaborative skills (sharing responsibility, learning from each other, etc.), problem solving skills (verifying assumptions, solution oriented thinking, etc.), and personal skills (curiosity, being open to ideas, etc.), of which a comparison has been made between opinions of technical experts, business experts, and academics. We hope this work inspires educators and practitioners to adjust their training programs, mitigating the gap between the industry and the academic world.


Patterns of Effort Contribution and Demand and User Classification based on Participation Patterns in NPM Ecosystem. Background Open source requires participation of volunteer and commercial developers (users) in order to deliver functional high quality components. Developers both contribute effort in the form of patches and demand effort from the component maintainers to resolve issues reported against it. Aim Identify and characterize patterns of effort contribution and demand throughout the open source supply chain and investigate if and how these patterns vary with developer activity identify different groups of developers and predict developers' company affiliation based on their participation patterns. Method 1,376,946 issues and pull requests created for 4433 NPM packages with over 10,000 monthly downloads and full (public) commit activity data of the 272,142 issue creators is obtained and analyzed and dependencies on NPM packages are identified. Fuzzy c means clustering algorithm is used to find the groups among the users based on their effort contribution and demand patterns, and Random Forest is used as the predictive modeling technique to identify their company affiliations. Result Users contribute and demand effort primarily from packages that they depend on directly with only a tiny fraction of contributions and demand going to transitive dependencies. A significant portion of demand goes into packages outside the users' respective supply chains (constructed based on publicly visible version control data). Three and two different groups of users are observed based on the effort demand and effort contribution patterns respectively. The Random Forest model used for identifying the company affiliation of the users gives a AUC ROC value of 0.68. Conclusion Our results give new insights into effort demand and supply at different parts of the supply chain of the NPM ecosystem and its users and suggests the need to increase visibility further upstream.


Equivalence bundles over a finite group and strong Morita equivalence for unital inclusions of unital C algebras. Let mathcal A A t t in G and mathcal B B t t in G be C algebraic bundles over a finite group G . Let C oplus t in G A t and D oplus t in G B t . Also, let A A e and B B e , where e is the unit element in G . We suppose that C and D are unital and A and B have the unit elements in C and D , respectively. In this paper, we shall show that if there is an equivalence mathcal A mathcal B bundle over G with some properties, then the unital inclusions of unital C algebras A subset C and B subset D induced by mathcal A and mathcal B are strongly Morita equivalent. Also, we suppose that mathcal A and mathcal B are saturated and that A' cap C mathbf C 1 . We shall show that if A subset C and B subset D are strongly Morita equivalent, then there are an automorphism f of G and an equivalence bundle mathcal A mathcal B f bundle over G with the some properties, where mathcal B f is the C algebraic bundle induced by mathcal B and f , which is defined by mathcal B f B f(t) t in G . Furthermore, we shall give an application.


Asymptotic Independence ex machina Extreme Value Theory for the Diagonal BEKK ARCH(1) Model. We consider multivariate stationary processes ( boldsymbol X t) satisfying a stochastic recurrence equation of the form boldsymbol X t mathbb M t boldsymbol X t 1 boldsymbol Q t, where ( boldsymbol Q t) are iid random vectors and mathbb M t mathrm Diag (b 1 c 1 M t, dots, b d c d M t) are iid diagonal matrices and (M t) are iid random variables. We obtain a full characterization of the multivariate regular variation properties of ( boldsymbol X t) , proving that coordinates X t,i and X t,j are asymptotically independent even though all coordinates rely on the same random input (M t) . We describe extremal properties of ( boldsymbol X t) in the framework of vector scaling regular variation. Our results are applied to some multivariate autoregressive conditional heteroskedasticity (BEKK ARCH and CCC GARCH) processes.


Usability in the Larger Reality A Contrarian Argument for the Importance of Social and Political Considerations. Usability engineering is situated in a much larger social and institutional context than is usually acknowledged by usability professionals in the way that they define their field. The definitions and processes used in the improvement of user interfaces are subordinate to interests that often have narrow goals, having adverse effects on user awareness and autonomy that have further adverse effects on society as a whole. These effects are brought about by the way that knowledge about systems is limited by the design of the interface that limits the user to tasks and goals defined by organizations, often commercial ones. It is the point at which the structures of the user interface are defined by usability professionals that sources of the limitation of knowledge can be identified. These sources are defined by their reliance on a construction of the user's wants and needs that cyclically reinforce, through the actual use of the interface, the user's own construction of her wants and needs. To alleviate this, it is necessary to come up with new processes of user interface design that do not make assumptions about the user that tend to subordinate the user, and it is also necessary to reconstruct the user as a participant in the interface. NOTE This article was written in 2003 as a final project for a Master's course in human computer interaction at the University of Ottawa. The author attempted to publish it at the time, but did not really understand the process. The ideas stand up fairly well, however, and he would like to contribute it as a comment on the current state of affairs. It is only lightly edited for format.


Sideband cooling of molecules in optical traps. Sideband cooling is a popular method for cooling atoms to the ground state of an optical trap. Applying the same method to molecules requires a number of challenges to be overcome. Strong tensor Stark shifts in molecules cause the optical trapping potential, and corresponding trap frequency, to depend strongly on rotational, hyperfine and Zeeman state. Consequently, transition frequencies depend on the motional quantum number and there are additional heating mechanisms, either of which can be fatal for an effective sideband cooling scheme. We develop the theory of sideband cooling in state dependent potentials, and derive an expression for the heating due to photon scattering. We calculate the ac Stark shifts of molecular states in the presence of a magnetic field, and for any polarization. We show that the complexity of sideband cooling can be greatly reduced by applying a large magnetic field to eliminate electron and nuclear spin degrees of freedom from the problem. We consider how large the magnetic field needs to be, show that heating can be managed sufficiently well, and present a simple recipe for cooling to the ground state of motion.


A free boundary problem arising from a multi state regime switching stock trading model. In this paper, we study a free boundary problem, which arises from an optimal trading problem of a stock that is driven by a uncertain market status process. The free boundary problem is a variational inequality system of three functions with a degenerate operator. The main contribution of this paper is that we not only prove all the four switching free boundaries are no overlapping, monotonic and C infty smooth, but also completely determine their relative localities and provide the optimal trading strategies for the stock trading problem.


Spatial Deconvolution of Aerial Radiometric Survey and its application to the Fallout from a Radiological Dispersal Device. Mapping radioactive contamination using aerial survey measurements is an area under active investigation today. The radiometric aerial survey technique has been extensively applied following reactor accidents and also would provide a key tool for response to a malicious radiological or nuclear incident. Methods exist to calibrate the aerial survey system for quantification of the concentration of natural radionuclides, which can provide guidance. However, these methods have anticipated a spatial distribution of the source which is large in comparison to the survey altitude. In rapid emergency response aerial surveys of areas of safety concern, deposits of relatively small spatial extent may be expected. The activity of such spatially restricted hot spots is underestimated using the traditional methods. We present here a spatial deconvolution method which can recover some of the variation smoothed out by the averaging due to survey at altitude. We show that the method can recover the true spatial distribution of concentration of a synthetic source. We then apply the method to real aerial survey data collected following detonation of a radiological dispersal device. The findings and implications of the deconvolution are then discussed by reference to a groundbased truckborne survey over the same contamination.


Effective model for elastic waves propagating in a substrate supporting a dense array of plates beams with flexural resonances. We consider the effect of an array of plates or beams over a semi infinite elastic ground on the propagation of elastic waves hitting the interface. The plates beams are slender bodies with flexural resonances at low frequencies able to perturb significantly the propagation of waves in the ground. An effective model is obtained using asymptotic analysis and homogenization techniques, which can be expressed in terms of the ground alone with effective dynamic (frequency dependent) boundary conditions of the Robin's type. For an incident plane wave at oblique incidence, the displacement fields and the reflection coefficients are obtained in closed forms and their validity is inspected by comparison with direct numerics in a two dimensional setting.


Lower bound of Schr "o dinger operators on Riemannian manifolds. We show that a weighted manifold which admits a relative Faber Krahn inequality admits the Fefferman Phong inequality V psi , psi le CV psi 2 , with the constant depending on a Morrey norm of V , and we deduce from it a condition for a L 2 Hardy inequality to holds, as well as conditions for Schr "o dinger operators to be positive. We also obtain an estimate on the bottom of the spectrum for Schr "o dinger operators.


A global local approach for hydraulic phase field fracture in poroelastic media. In this work, phase field modeling of hydraulic fractures in porous media is extended towards a global local approach. Therein, the failure behavior is solely analyzed in a (small) local domain. In the surrounding medium, a simplified and linearized system of equations is solved. Both domains are coupled by Robin type interface conditions. The fracture(s) inside the local domain are allowed to propagate and consequently both subdomains change within time. Here, a predictor corrector strategy is adopted in which the local domain is dynamically adjusted to the current fracture pattern. The resulting framework is algorithmically described in detail and substantiated with some numerical tests.


On eigenfunction expansions of differential equations with degenerating weight. Let A be a symmetric operator. By using the method of boundary triplets we parameterize in terms of a Nevanlinna parameter tau all exit space extensions wt A wt A of A with the discrete spectrum s( wt A) and characterize the Shtraus family of wt A in terms of abstract boundary conditions. Next we apply these results to the eigenvalue problem for the 2r th order differential equation l y l D(x)y on an interval a,b), infty a b leq infty, subject to l depending separated boundary conditions with entire operator functions C 0( l) and C 1( l) , which form a Nevanlinna pair (C 0,C 1) . The weight D(x) is nonnegative and may vanish on some intervals ( a, b) subset cI . We show that in the case when the minimal operator of the equation has the discrete spectrum (in particular, in the case of the quasiregular equation) the set of eigenvalues of the eigenvalue problem is an infinite subset of bR without finite limit points and each function y in LI admits the eigenfunction expansion y(x) sum k 1 infty y k (x) converging in LI . Moreover, we give an explicit method for calculation of eigenfunctions y k in this expansion and specify boundary conditions on y implying the uniform convergence of the eigenfunction expansion of y. These results develop the known ones obtained for the case of the positive weight D and the more restrictive class of l depending boundary conditions.


I like fish, especially dolphins Addressing Contradictions in Dialogue Modeling. To quantify how well natural language understanding models can capture consistency in a general conversation, we introduce the DialoguE COntradiction DEtection task (DECODE) and a new conversational dataset containing both human human and human bot contradictory dialogues. We then compare a structured utterance based approach of using pre trained Transformer models for contradiction detection with the typical unstructured approach. Results reveal that (i) our newly collected dataset is notably more effective at providing supervision for the dialogue contradiction detection task than existing NLI data including those aimed to cover the dialogue domain (ii) the structured utterance based approach is more robust and transferable on both analysis and out of distribution dialogues than its unstructured counterpart. We also show that our best contradiction detection model correlates well with human judgments and further provide evidence for its usage in both automatically evaluating and improving the consistency of state of the art generative chatbots.


The Minimum Dominating Set problem is polynomial for (claw, P8) free graphs. We prove that the Minimum Dominating Set problem is polynomial for the class of (claw, P8) free graphs.


A Quantum inspired Similarity Measure for the Analysis of Complete Weighted Graphs. We develop a novel method for measuring the similarity between complete weighted graphs, which are probed by means of discrete time quantum walks. Directly probing complete graphs using discrete time quantum walks is intractable due to the cost of simulating the quantum walk. We overcome this problem by extracting a commute time minimum spanning tree from the complete weighted graph. The spanning tree is probed by a discrete time quantum walk which is initialised using a weighted version of the Perron Frobenius operator. This naturally encapsulates the edge weight information for the spanning tree extracted from the original graph. For each pair of complete weighted graphs to be compared, we simulate a discrete time quantum walk on each of the corresponding commute time minimum spanning trees, and then compute the associated density matrices for the quantum walks. The probability of the walk visiting each edge of the spanning tree is given by the diagonal elements of the density matrices. The similarity between each pair of graphs is then computed using either a) the inner product or b) the negative exponential of the Jensen Shannon divergence between the probability distributions. We show that in both cases the resulting similarity measure is positive definite and therefore corresponds to a kernel on the graphs. We perform a series of experiments on publicly available graph datasets from a variety of different domains, together with time varying financial networks extracted from data for the New York Stock Exchange. Our experiments demonstrate the effectiveness of the proposed similarity measures.


Towards Highly Efficient Polymer Fiber Laser Sources for Integrated Photonic Sensors. Lab on a Chip (LoC) devices combining microfluidic analyte provision with integrated optical analysis are highly desirable for several applications in biological oder medical sciences. While the microfluidic approach is already broadly adressed, yet some work needs to be done regarding the integrated optics, especially provision of highly integrable laser sources. Polymer optical fiber (POF) lasers represent an alignment free, rugged and flexible technology platform. Additionally, POFs are intrinsically compatible to polymer microfluidic devices. Home made Rhodamine B (RB) doped POFs were characterized with experimental and numerical parameter studies on their lasing potential. High output energies of 1.65mJ, high slope efficiencies of 56 and 50 lifetimes of 900 k shots were extracted from RB POFs. Furthermore, RB POFs show broad spectral tunability over several tens of nanometers. A route to optimize polymer fiber lasers is revealed providing functionality for a broad range of LoC devices. Spectral tunability, high efficiencies and output energies enable a broad field of LoC applications.


The Connection Between Burnout and Personality Types in Software Developers. This paper examines the connection between the Five Factor Model personality traits and burnout in software developers. This study aims to validate generalizations of findings in other fields. An online survey consisting of a miniaturized International Personality Item Pool questionnaire for measuring the Five Factor Model personality traits, and the Shirom Melamed Burnout Measure for measuring burnout, were distributed to open source developer mailing lists, obtaining 47 valid responses. The results from a Bayesian Linear Regression analysis indicate a strong link between neuroticism and burnout confirming previous work, while the other Five Factor Model traits were not adding power to the model. It is important to note that we did not investigate the quality of work in connection to personality, nor did we take any other confounding factors into account like, for example, teamwork. Nonetheless, employers could be aware of, and support, software developers with high neuroticism.


On the uncertainty of real time predictions of epidemic growths a COVID 19 case study for China and Italy. While COVID 19 is rapidly propagating around the globe, the need for providing real time forecasts of the epidemics pushes fits of dynamical and statistical models to available data beyond their capabilities. Here we focus on statistical predictions of COVID 19 infections performed by fitting asymptotic distributions to actual data. By taking as a case study the epidemic evolution of total COVID 19 infections in Chinese provinces and Italian regions, we find that predictions are characterized by large uncertainties at the early stages of the epidemic growth. Those uncertainties significantly reduce after the epidemics peak is reached. Differences in the uncertainty of the forecasts at a regional level can be used to highlight the delay in the spread of the virus. Our results warn that long term extrapolation of epidemics counts must be handled with extreme care as they crucially depend not only on the quality of data, but also on the stage of the epidemics, due to the intrinsically non linear nature of the underlying dynamics. These results suggest that real time epidemiological projections should include wide uncertainty ranges and urge for the needs of compiling high quality datasets of infections counts, including asymptomatic patients.


An adaptive algorithm for embedding information into compressed JPEG images using the QIM method. The widespread use of JPEG images makes them good covers for secret messages storing and transmitting. This paper proposes a new algorithm for embedding information in JPEG images based on the steganographic QIM method. The main problem of such embedding is the vulnerability to statistical steganalysis. To solve this problem, it is proposed to use a variable quantization step, which is adaptively selected for each block of the JPEG cover image. Experimental results show that the proposed approach successfully increases the security of embedding.


Graph inverse semigroups and Leavitt path algebras. We study two classes of inverse semigroups built from directed graphs, namely graph inverse semigroups and a new class of semigroups that we refer to as Leavitt inverse semigroups. These semigroups are closely related to graph C algebras and Leavitt path algebras. We provide a topological characterization of the universal groups of the local submonoids of these inverse semigroups. We study the relationship between the graph inverse semigroups of two graphs when there is a directed immersion between the graphs. We describe the structure of graphs that admit a directed cover or directed immersion into a circle and we provide structural information about graph inverse semigroups of finite graphs that admit a directed cover onto a bouquet of circles. We also find necessary and sufficient conditions for a homomorphic image of a graph inverse semigroup to be another graph inverse semigroup. We find a presentation for the Leavitt inverse semigroup of a graph in terms of generators and relations. We describe the structure of the Leavitt inverse semigroup and the Leavitt path algebra of a graph that admits a directed immersion into a circle. We show that two graphs that have isomorphic Leavitt inverse semigroups have isomorphic Leavitt path algebras and we classify graphs that have isomorphic Leavitt inverse semigroups. As a consequence, we show that Leavitt path algebras are 0 retracts of certain matrix algebras.


A new anisotropic mesh adaptation method based upon hierarchical a posteriori error estimates. A new anisotropic mesh adaptation strategy for finite element solution of elliptic differential equations is presented. It generates anisotropic adaptive meshes as quasi uniform ones in some metric space, with the metric tensor being computed based on hierarchical a posteriori error estimates. A global hierarchical error estimate is employed in this study to obtain reliable directional information of the solution. Instead of solving the global error problem exactly, which is costly in general, we solve it iteratively using the symmetric Gauss Seidel (GS) method. Numerical results show that a few GS iterations are sufficient for obtaining a reasonably good approximation to the error for use in anisotropic mesh adaptation. The new method is compared with several strategies using local error estimators or recovered Hessians. Numerical results are presented for a selection of test examples and a mathematical model for heat conduction in a thermal battery with large orthotropic jumps in the material coefficients.


Simplicial equations for the moduli space of stable rational curves. In this, largely expository, note, we show how the simplicial structure of the moduli spaces of stable rational curves with marked points allows to produce explicit equations for these spaces. The key argument is an elementary combinatorial statement about the sets of trees with marked leaves.


Micro architectural Analysis of OLAP Limitations and Opportunities. Understanding micro architectural behavior is profound in efficiently using hardware resources. Recent work has shown that, despite being aggressively optimized for modern hardware, in memory online transaction processing (OLTP) systems severely underutilize their core micro architecture resources 25 . Online analytical processing (OLAP) workloads, on the other hand, exhibit a completely different computing pattern. OLAP workloads are read only, bandwidth intensive and include various data access patterns including both sequential and random data accesses. In addition, with the rise of column stores, they run on high performance engines that are tightly optimized for the efficient use of modern hardware. Hence, the micro architectural behavior of modern OLAP systems remains unclear. This work presents the micro architectural analysis of a breadth of OLAP systems. We examine CPU cycles and memory bandwidth utilization. The results show that, unlike the traditional, commercial OLTP systems, traditional, commercial OLAP systems do not suffer from instruction cache misses. Nevertheless, they suffer from their large instruction footprint resulting in slow response times. High performance OLAP engines execute tight instruction streams however, they spend 25 to 82 of the CPU cycles on stalls regardless of the workload being sequential or random access heavy. In addition, high performance OLAP engines underutilize the multi core CPU or memory bandwidth resources due to their disproportional compute and memory demands. Hence, analytical processing engines should carefully assign their compute and memory resources for efficient multi core micro architectural utilization.


Multilevel Particle Filters for the Non Linear Filtering Problem in Continuous Time. In the following article we consider the numerical approximation of the non linear filter in continuous time, where the observations and signal follow diffusion processes. Given access to high frequency, but discrete time observations, we resort to a first order time discretization of the non linear filter, followed by an Euler discretization of the signal dynamics. In order to approximate the associated discretized non linear filter, one can use a particle filter (PF). Under assumptions, this can achieve a mean square error of mathcal O ( epsilon 2) , for epsilon 0 arbitrary, such that the associated cost is mathcal O ( epsilon 4 ) . We prove, under assumptions, that the multilevel particle filter (MLPF) of Jasra et al (2017) can achieve a mean square error of mathcal O ( epsilon 2) , for cost mathcal O ( epsilon 3 ) . This is supported by numerical simulations in several examples.


A Fast Matrix Completion Based Approach for Recommendation Systems. Matrix completion is widely used in machine learning, engineering control, image processing, and recommendation systems. Currently, a popular algorithm for matrix completion is Singular Value Threshold (SVT). In this algorithm, the singular value threshold should be set first. However, in a recommendation system, the dimension of the preference matrix keeps changing. Therefore, it is difficult to directly apply SVT. In addition, what the users of a recommendation system need is a sequence of personalized recommended results rather than the estimation of their scores. According to the above ideas, this paper proposes a novel approach named probability completion model (PCM). By reducing the data dimension, the transitivity of the similar matrix, and singular value decomposition, this approach quickly obtains a completion matrix with the same probability distribution as the original matrix. The approach greatly reduces the computation time based on the accuracy of the sacrifice part, and can quickly obtain a low rank similarity matrix with data trend approximation properties. The experimental results show that PCM can quickly generate a complementary matrix with similar data trends as the original matrix. The LCS score and efficiency of PCM are both higher than SVT.


Batch Group Normalization. Deep Convolutional Neural Networks (DCNNs) are hard and time consuming to train. Normalization is one of the effective solutions. Among previous normalization methods, Batch Normalization (BN) performs well at medium and large batch sizes and is with good generalizability to multiple vision tasks, while its performance degrades significantly at small batch sizes. In this paper, we find that BN saturates at extreme large batch sizes, i.e., 128 images per worker, i.e., GPU, as well and propose that the degradation saturation of BN at small extreme large batch sizes is caused by noisy confused statistic calculation. Hence without adding new trainable parameters, using multiple layer or multi iteration information, or introducing extra computation, Batch Group Normalization (BGN) is proposed to solve the noisy confused statistic calculation of BN at small extreme large batch sizes with introducing the channel, height and width dimension to compensate. The group technique in Group Normalization (GN) is used and a hyper parameter G is used to control the number of feature instances used for statistic calculation, hence to offer neither noisy nor confused statistic for different batch sizes. We empirically demonstrate that BGN consistently outperforms BN, Instance Normalization (IN), Layer Normalization (LN), GN, and Positional Normalization (PN), across a wide spectrum of vision tasks, including image classification, Neural Architecture Search (NAS), adversarial learning, Few Shot Learning (FSL) and Unsupervised Domain Adaptation (UDA), indicating its good performance, robust stability to batch size and wide generalizability. For example, for training ResNet 50 on ImageNet with a batch size of 2, BN achieves Top1 accuracy of 66.512 while BGN achieves 76.096 with notable improvement.


3D Point Cloud Generative Adversarial Network Based on Tree Structured Graph Convolutions. In this paper, we propose a novel generative adversarial network (GAN) for 3D point clouds generation, which is called tree GAN. To achieve state of the art performance for multi class 3D point cloud generation, a tree structured graph convolution network (TreeGCN) is introduced as a generator for tree GAN. Because TreeGCN performs graph convolutions within a tree, it can use ancestor information to boost the representation power for features. To evaluate GANs for 3D point clouds accurately, we develop a novel evaluation metric called Frechet point cloud distance (FPD). Experimental results demonstrate that the proposed tree GAN outperforms state of the art GANs in terms of both conventional metrics and FPD, and can generate point clouds for different semantic parts without prior knowledge.


Classification results for three dimensional (para)contact metric and almost (para)cosymplectic ( kappa, mu) spaces. It is provided an overview of existed results concerning classification of contact metric, almost cosymplectic and almost Kenmotsu ( kappa, mu) manifolds. In the case of dimension three it is described in full details structure of contact metric or almost cosymplectic ( kappa, mu) spaces. The second part of the paper addresses three dimensional paracontact metric and almost paracosymplectic ( kappa, mu) spaces. There is obtained local classification of paracontact metric ( kappa, mu) spaces, and almost paracosymplectic ( kappa, mu) spaces, for every possible value of kappa .


An Averaging Formula for Nielsen numbers on Infra Solvmanifolds. Until now only for special classes of infra solvmanifolds, namely infra nilmanifolds and infra solvmanifolds of type (R), there was a formula available for computing the Nielsen number of a self map on those manifolds. In this paper, we provide a general averaging formula which works for all self maps on all possible infra solvmanifolds and which reduces to the old formulas in the case of infra nilmanifolds or infra solvmanifolds of type (R). Moreover, when viewing an infra solvmanifold as a polynomial manifold, we recall that any map is homotopic to a polynomial map and we show how our formula can be translated in terms of the Jacobian of that polynomial map.


JS son A Lean, Extensible JavaScript Agent Programming Library. A multitude of agent oriented software engineering frameworks exist, most of which are developed by the academic multi agent systems community. However, these frameworks often impose programming paradigms on their users that are challenging to learn for engineers who are used to modern high level programming languages such as JavaScript and Python. To show how the adoption of agent oriented programming by the software engineering mainstream can be facilitated, we provide a lean JavaScript library prototype for implementing reasoning loop agents. The library focuses on core agent programming concepts and refrains from imposing further restrictions on the programming approach. To illustrate its usefulness, we show how the library can be applied to multi agent systems simulations on the web, deployed to cloud hosted function as a service environments, and embedded in Python based data science tools.


Uncovering the Dynamics of Correlation Structures Relative to the Collective Market Motion. The measured correlations of financial time series in subsequent epochs change considerably as a function of time. When studying the whole correlation matrices, quasi stationary patterns, referred to as market states, are seen by applying clustering methods. They emerge, disappear or reemerge, but they are dominated by the collective motion of all stocks. In the jargon, one speaks of the market motion, it is always associated with the largest eigenvalue of the correlation matrices. Thus the question arises, if one can extract more refined information on the system by subtracting the dominating market motion in a proper way. To this end we introduce a new approach by clustering reduced rank correlation matrices which are obtained by subtracting the dyadic matrix belonging to the largest eigenvalue from the standard correlation matrices. We analyze daily data of 262 companies of the S P 500 index over a period of almost 15 years from 2002 to 2016. The resulting dynamics is remarkably different, and the corresponding market states are quasi stationary over a long period of time. Our approach adds to the attempts to separate endogenous from exogenous effects.


Dynamics for a Ratio dependent Prey predator Model with Different Free Boundaries. In this paper, we study the dynamics of the ratio dependent type prey predator model with different free boundaries. The two free boundaries, determined by prey and predator respectively, implying that they may intersect each other as time evolves, are used to describe the spreading of prey and predator. We mainly investigate the longtime behaviors of predator and prey. Then some sufficient conditions for spreading and vanishing are given. In addition, when spreading occurs, some estimates of asymptotic spreading speeds of u, v and asymptotic speeds of h, g are provided.


Machine Learning for Nonintrusive Model Order Reduction of the Parametric Inviscid Transonic Flow past an airfoil. Fluid flow in the transonic regime finds relevance in aerospace engineering, particularly in the design of commercial air transportation vehicles. Computational fluid dynamics models of transonic flow for aerospace applications are computationally expensive to solve because of the high degrees of freedom as well as the coupled nature of the conservation laws. While these issues pose a bottleneck for the use of such models in aerospace design, computational costs can be significantly minimized by constructing special, structure preserving surrogate models called reduced order models. Such models are known to incur huge off line costs, however, which can sometimes outweigh their potential benefits. Furthermore, their prediction accuracy is known to be poor under transonic flow conditions. In this work, we propose a machine learning method to construct reduced order models via deep neural networks, and we demonstrate its ability to preserve accuracy with significantly lower offline and online costs. In addition, our machine learning methodology is physics informed and constrained through the utilization of an interpretable encoding by way of proper orthogonal decomposition. Application to the inviscid transonic flow past the RAE2822 airfoil under varying freestream Mach numbers and angles of attack, as well as airfoil shape parameters with a deforming mesh, shows that the proposed approach adapts to high dimensional parameter variation well. Notably, the proposed framework precludes knowledge of numerical operators utilized in the data generation phase, thereby demonstrating its potential utility in fast exploration of design space for diverse engineering applications.


Supertagging based Parsing with Linear Context free Rewriting Systems. We present the first supertagging based parser for LCFRS. It utilizes neural classifiers and tremendously outperforms previous LCFRS based parsers in both accuracy and parsing speed. Moreover, our results keep up with the best (general) discontinuous parsers, particularly the scores for discontinuous constitutents are excellent. The heart of our approach is an efficient lexicalization procedure which induces a lexical LCFRS from any discontinuous treebank. It is an adaptation of previous work by M "orbitz and Ruprecht (2020). We also describe a modification to usual chart based LCFRS parsing that accounts for supertagging and introduce a procedure for the transformation of lexical LCFRS derivations into equivalent parse trees of the original treebank. Our approach is implemented and evaluated on the English Discontinuous Penn Treebank and the German corpora NeGra and Tiger.


Free pre Lie family algebras. In this paper, we first define the pre Lie family algebra associated to a dendriform family algebra in the case of a commutative semigroup. Then we construct a pre Lie family algebra via typed decorated rooted trees, and we prove the freeness of this pre Lie family algebra. We also construct pre Lie family operad in terms of typed labeled rooted trees, and we obtain that the operad of pre Lie family algebras is isomorphic to the operad of typed labeled rooted trees, which generalizes the result of F. Chapoton and M. Livernet. In the end, we construct Zinbiel and pre Poisson family algebras and generalize results of M. Aguiar.


Robust GNSS Denied Localization for UAV Using Particle Filter and Visual Odometry. Conventional autonomous Unmanned Air Vehicle (abbr. UAV) autopilot systems use Global Navigation Satellite System (abbr. GNSS) signal for navigation. However, autopilot systems fail to navigate due to lost or jammed GNSS signal. To solve this problem, information from other sensors such as optical sensors are used. Monocular Simultaneous Localization and Mapping algorithms have been developed over the last few years and achieved state of the art accuracy. Also, map matching localization approaches are used for UAV localization relatively to imagery from static maps such as Google Maps. Unfortunately, the accuracy and robustness of these algorithms are very dependent on up to date maps. The purpose of this research is to improve the accuracy and robustness of map relative Particle Filter based localization using a downward facing optical camera mounted on an autonomous aircraft. This research shows how image similarity to likelihood conversion function impacts the results of Particle Filter localization algorithm. Two parametric image similarity to likelihood conversion functions (logistic and rectifying) are proposed. A dataset of simulated aerial imagery is used for experiments. The experiment results are shown, that the Particle Filter localization algorithm using the logistic function was able to surpass the accuracy of state of the art ORB SLAM2 algorithm by 2.6 times. The algorithm is shown to be able to navigate using up to date maps more accurately and with an average decrease of precision by 30 using out of date maps.


Numerical stability of time dependent coupled cluster methods for many electron dynamics in intense laser pulses. We investigate the numerical stability of time dependent coupled cluster theory for many electron dynamics in intense laser pulses, comparing two coupled cluster formulations with full configuration interaction theory. Our numerical experiments show that orbital adaptive time dependent coupled cluster doubles (OATDCCD) theory offers significantly improved stability compared with the conventional Hartree Fock based time dependent coupled cluster singles and doubles (TDCCSD) formulation. The improved stability stems from greatly reduced oscillations in the doubles amplitudes, which, in turn, can be traced to the dynamic biorthonormal reference determinants of OATDCCD theory. As long as these are good approximations to the Brueckner determinant, OATDCCD theory is numerically stable. We propose the reference weight as a diagnostic quantity to identify situations where the TDCCSD and OATDCCD theories become unstable.


The friendship paradox in real and model networks. The friendship paradox is the observation that the degrees of the neighbors of a node in any network will, on average, be greater than the degree of the node itself. In common parlance, your friends have more friends than you do. In this paper we develop the mathematical theory of the friendship paradox, both in general as well as for specific model networks, focusing not only on average behavior but also on variation about the average and using generating function methods to calculate full distributions of quantities of interest. We compare the predictions of our theory with measurements on a large number of real world network data sets and find remarkably good agreement. We also develop equivalent theory for the generalized friendship paradox, which compares characteristics of nodes other than degree to those of their neighbors.


Independent sets in the hypercube revisited. We revisit Sapozhenko's classic proof on the asymptotics of the number of independent sets in the discrete hypercube 0,1 d and Galvin's follow up work on weighted independent sets. We combine Sapozhenko's graph container methods with the cluster expansion and abstract polymer models, two tools from statistical physics, to obtain considerably sharper asymptotics and detailed probabilistic information about the typical structure of (weighted) independent sets in the hypercube. These results refine those of Korshunov and Sapozhenko and Galvin, and answer several questions of Galvin.


All optical nanoscale heating and thermometry with resonant dielectric nanoparticles for photoinduced tumor treatment. All dielectric nanophotonics becomes a versatile tool for various optical applications, including nanothermometry and optical heating. Its general concept includes excitation of Mie resonances in nonplasmonic nanoparticles. However, the potential of resonant dielectric nanoparticles in drug delivery applications still have not been fully realized. Here, optically resonant dielectric iron oxide nanoparticles ( alpha Fe 2 O 3 NPs) are employed for remote rupture of microcontainers used as drug delivery platform. It is theoretically and experimentally demonstrated, that alpha Fe 2 O 3 NPs has several advantages in light to heat energy conversion comparing to previously used materials, such as noble metals and silicon, due to the broader spectral range of efficient optical heating, and in enhancement of thermally sensitive Raman signal. The alpha Fe 2 O 3 NPs embedded into the wall of universal drug carriers, polymer capsules, are used to experimentally determine the local temperature of the capsule rupture upon laser irradiation (170 o C). As a proof of principle, we successfully show the delivery and remote release of anticancer drug vincristine upon lowered laser irradiation (4.0 times 10 4 W cm 2 ) using polymer capsules modified with the alpha Fe 2 O 3 NPs. The biological tests were performed on two primary cell types (i) carcinoma cells, as an example of malignant tumor, and (ii) human stem cells, as a model of healthy cells. The developed delivery system consisting of polymer capsules modified with the dielectric nanoparticles provides multifunctional platform for remote drug release and temperature detection.


Generalized Intransitive Dice II Partition Constructions. A generalized N sided die is a random variable D on a sample space of N equally likely outcomes taking values in the set of positive integers. We say of independent N sided dice D i, D j that D i beats D j , written D i to D j , if Prob(D i D j) frac 1 2 . A collection of dice D i i 1, dots, n models a tournament on the set n 1, 2, dots, n , i.e. a complete digraph with n vertices, when D i to D j if and only if i to j in the tournament. By using n fold partitions of the set Nn with each set of size N we can model an arbitrary tournament on n . A bound on the required size of N is obtained by examples with N 3 n 2 .


Aggressive Local Search for Constrained Optimal Control Problems with Many Local Minima. This paper is concerned with numerically finding a global solution of constrained optimal control problems with many local minima. The focus is on the optimal decentralized control (ODC) problem, whose feasible set is recently shown to have an exponential number of connected components and consequently an exponential number of local minima. The rich literature of numerical algorithms for nonlinear optimization suggests that if a local search algorithm is initialized in an arbitrary connected component of the feasible set, it would search only within that component and find a stationary point there. This is based on the fact that numerical algorithms are designed to generate a sequence of points (via searching for descent directions and adjusting the step size), whose corresponding continuous path is trapped in a single connected component. In contrast with this perception rooted in convex optimization, we numerically illustrate that local search methods for non convex constrained optimization can obliviously jump between different connected components to converge to a global minimum, via an aggressive step size adjustment using backtracking and the Armijio rule. To support the observations, we prove that from almost every arbitrary point in any connected component of the feasible set, it is possible to generate a sequence of points using local search to jump to different components and converge to a global solution. However, due to the NP hardness of the problem, such fine tuning of the parameters of a local search algorithm may need prior knowledge or be time consuming. This paper offers the first result on escaping non global local solutions of constrained optimal control problems with complicated feasible sets.


Write head design for effective curvature reduction in heat assisted magnetic recording by topology optimization. The reduction of the transition curvature of written bits in heat assisted magnetic recording (HAMR) is expected to play an important role for the future areal density increase of hard disk drives. Recently a write head design with flipped write and return poles was proposed. In this design a large spatial field gradient of the write head was the key to significantly reduce the transition curvature. In this work we optimized the write pole of a heat assisted magnetic recording head in order to produce large field gradients as well as large fields in the region of the heat pulse. This is done by topology optimization. The simulations are performed with dolfin adjoint. For the maximum field gradients of 8.1 , mT nm, 8.6 , mT nm and 11.8 , mT nm, locally resolved footprints of an FePt like hard magnetic recording medium are computed with a coarse grained Landau Lifshitz Bloch (LLB) model and the resulting transition curvature is analysed. Additional simulations with a bilayer structure with 50 hard and 50 soft magnetic material are computed. The results show that for both recording media, the optimized head design does not lead to any significant improvement of the written track. Thus, we analyse the transition curvature for the optimized write heads theoretically with an effective recording time window (ERTW) model. Moreover, we check how higher field gradients influence the curvature reduction. The results show that a simple optimization of the conventional head design design is not sufficient for effective curvature reduction. Instead, new head concepts will be needed to reduce transition curvature.


Alternative to Morse Novikov Theory for a closed 1 form (II). This paper is a continuation of Alternative to Morse Novikov Theory for a closed 1 form(I), where the configurations delta omega and gamma omega were defined, and establishes a refinement of Poincar 'e duality to an equality between the configurations BM delta omega and delta omega resp. BM gamma omega and gamma omega in complementary dimensions, the stability property for the configurations delta omega r, a collection of additional results needed for the proof of Theorems 1.2 and 1.3 in the paper mentioned above.


SIGMORPHON 2020 Shared Task 0 Typologically Diverse Morphological Inflection. A broad goal in natural language processing (NLP) is to develop a system that has the capacity to process any natural language. Most systems, however, are developed using data from just one language such as English. The SIGMORPHON 2020 shared task on morphological reinflection aims to investigate systems' ability to generalize across typologically distinct languages, many of which are low resource. Systems were developed using data from 45 languages and just 5 language families, fine tuned with data from an additional 45 languages and 10 language families (13 in total), and evaluated on all 90 languages. A total of 22 systems (19 neural) from 10 teams were submitted to the task. All four winning systems were neural (two monolingual transformers and two massively multilingual RNN based models with gated attention). Most teams demonstrate utility of data hallucination and augmentation, ensembles, and multilingual training for low resource languages. Non neural learners and manually designed grammars showed competitive and even superior performance on some languages (such as Ingrian, Tajik, Tagalog, Zarma, Lingala), especially with very limited data. Some language families (Afro Asiatic, Niger Congo, Turkic) were relatively easy for most systems and achieved over 90 mean accuracy while others were more challenging.


Sharp Bounds for Genetic Drift in EDAs. Estimation of Distribution Algorithms (EDAs) are one branch of Evolutionary Algorithms (EAs) in the broad sense that they evolve a probabilistic model instead of a population. Many existing algorithms fall into this category. Analogous to genetic drift in EAs, EDAs also encounter the phenomenon that updates of the probabilistic model not justified by the fitness move the sampling frequencies to the boundary values. This can result in a considerable performance loss. This paper proves the first sharp estimates of the boundary hitting time of the sampling frequency of a neutral bit for several univariate EDAs. For the UMDA that selects mu best individuals from lambda offspring each generation, we prove that the expected first iteration when the frequency of the neutral bit leaves the middle range tfrac 14, tfrac 34 and the expected first time it is absorbed in 0 or 1 are both Theta( mu) . The corresponding hitting times are Theta(K 2) for the cGA with hypothetical population size K . This paper further proves that for PBIL with parameters mu , lambda , and rho , in an expected number of Theta( mu rho 2) iterations the sampling frequency of a neutral bit leaves the interval Theta( rho mu),1 Theta( rho mu) and then always the same value is sampled for this bit, that is, the frequency approaches the corresponding boundary value with maximum speed. For the lower bounds implicit in these statements, we also show exponential tail bounds. If a bit is not neutral, but neutral or has a preference for ones, then the lower bounds on the times to reach a low frequency value still hold. An analogous statement holds for bits that are neutral or prefer the value zero.


emph cm SalGAN RGB D Salient Object Detection with Cross View Generative Adversarial Networks. Image salient object detection (SOD) is an active research topic in computer vision and multimedia area. Fusing complementary information of RGB and depth has been demonstrated to be effective for image salient object detection which is known as RGB D salient object detection problem. The main challenge for RGB D salient object detection is how to exploit the salient cues of both intra modality (RGB, depth) and cross modality simultaneously which is known as cross modality detection problem. In this paper, we tackle this challenge by designing a novel cross modality Saliency Generative Adversarial Network ( emph cm SalGAN). emph cm SalGAN aims to learn an optimal view invariant and consistent pixel level representation for RGB and depth images via a novel adversarial learning framework, which thus incorporates both information of intra view and correlation information of cross view images simultaneously for RGB D saliency detection problem. To further improve the detection results, the attention mechanism and edge detection module are also incorporated into emph cm SalGAN. The entire emph cm SalGAN can be trained in an end to end manner by using the standard deep neural network framework. Experimental results show that emph cm SalGAN achieves the new state of the art RGB D saliency detection performance on several benchmark datasets.


The Pentagon Lattice as a Substructure Lattice of Models of Peano Arithmetic. If M prec N are models of Peano Arithmetic and Lt (N M) is the pentagon lattice N 5 , then N is either a cofinal or an end extension of M . In contrast, there are M prec N that are models of PA (PA in a language with countably many new predicate symbols) such that Lt (N M) cong N 5 and N is neither a cofinal nor an end extension of M .


Model comparison of DBD PA induced body force in quiescent air and separated flow over NACA0015. Numerical simulations of plasma flow induced by dielectric barrier discharge plasma actuators (DBD PA) are conducted with two different body force models Suzen Huang (S H) model and drift diffusion (D D) model. The induced flow generated in quiescent air over a flat plate in continuous actuation and the PA based flow control effect with burst actuation in separated flow over NACA0015 is studied. In the comparative study, the body force field and the induced velocity field are firstly investigated in the quiescent field to see the spatial difference and the temporal difference in a single discharge cycle. The D D body force is computed with flush mounted and bulge configuration of the exposed electrode, which is operated at the peak to peak AC voltage of 7kV and 10kV. The D D models generate momentarily higher body force in the positive going phase of the AC power, but activate a smaller flow region than the S H model with Dc 0.0117, which is given by the experiment beforehand at 7kV. The local induced velocity of the D D bulge case at 7kV measured in the downstream flow has the best agreement with the experimental result. The maximum wall parallel induced velocity in the S H case with Dc 0.0117 is consistent with that in the experiment, however, the local induced velocity is relatively high with different flow structures. In the post stall flow over the airfoil at the angle of attack of 12 degrees and Reynolds number of 63000, the D D bulge model at 7kV has approximately the same effect of leading edge suction enhancement and reattachment promotion as the S H model with Dc 0.16, which was previously proved to be sufficiently high to achieve the control performance.


Cost sensitive Regularization for Label Confusion aware Event Detection. In supervised event detection, most of the mislabeling occurs between a small number of confusing type pairs, including trigger NIL pairs and sibling sub types of the same coarse type. To address this label confusion problem, this paper proposes cost sensitive regularization, which can force the training procedure to concentrate more on optimizing confusing type pairs. Specifically, we introduce a cost weighted term into the training loss, which penalizes more on mislabeling between confusing label pairs. Furthermore, we also propose two estimators which can effectively measure such label confusion based on instance level or population level statistics. Experiments on TAC KBP 2017 datasets demonstrate that the proposed method can significantly improve the performances of different models in both English and Chinese event detection.


Functional calculus and multi analytic models on regular Lambda polyballs. The goal of the present paper is to introduce and study noncommutative Hardy spaces associated with the regular Lambda polyball, to develop a functional calculus on noncommutative Hardy spaces for the completely non coisometric (c.n.c.) k tuples in bf B Lambda(H) , and to study the characteristic functions and the associated multi analytic models for the c.n.c. elements in the regular Lambda polyball. In addition, we show that the characteristic function is a complete unitary invariant for the class of c.n.c. k tuples in bf B Lambda(H) . These results extend the corresponding classical results of Sz. Nagy Foia c s for contractions and the noncommutative versions for row contractions. In the particular case when n 1 cdots n k 1 and Lambda ij 1 , we obtain a functional calculus and operator model theory in terms of characteristic functions for k tuples of contractions satisfying Brehmer condition.


Optimizing Data Freshness in Time Varying Wireless Networks with Imperfect Channel State. We consider a scenario where a base station (BS) attempts to collect fresh information from power constrained sensors over time varying band limited wireless channels. We characterize the data freshness through the recently proposed metric the Age of Information. We consider a time varying channel model with power adaptation. Unlike previous work, packet loss may happen due to imperfect channel estimation or decoding error. We propose an asymptotic optimal scheduling algorithm minimizing AoI performance and satisfying both bandwidth and power constraint in such networks. Numerical simulations show that the proposed policy outperforms the greedy one, and we observe that sensors with poor channels are scheduled at higher AoI in order to limit the packet loss.


Vertical mixing in oil spill modelling. The main focus of marine oil spill modelling is often on where the oil will end up, i.e., on the horizontal transport. However, due to current shear, wind drag, and the different physical, chemical and biological processes that affect oil differently on the surface and in the water column, modelling the vertical distribution of the oil is essential for modelling the horizontal transport. In this work, we review and present models for a number of physical processes that influence the vertical transport of oil, including wave entrainment, droplet rise, vertical turbulent mixing, and surfacing. We aim to provide enough detail for the reader to be able to understand and implement the models, and to provide references to further reading. Mathematical and numerical details are included, particularly on the advection and diffusion of particles. We also present and discuss some common numerical pitfalls that may be a bit subtle, but which can cause significant errors.


Topology optimization for 3D thin walled structures with adaptive meshing. This paper presents a density based topology optimization method for designing 3D thin walled structures with adaptive meshing. Uniform wall thickness is achieved by simultaneously constraining the minimum and maximum feature sizes using Helmholtz partial differential equations (PDE). The PDE based constraints do not require information about neighbor cells and therefore can readily be integrated with an adaptive meshing scheme. This effectively enables the 3D topology optimization of thin walled structures with a desktop PC, by significantly reducing computation in large void regions that appear during optimization. The uniform feature size constraint, when applied to 3D structures, can produce thin walled geometries with branches and holes, which have previously been difficult to obtain via topology optimization. The resulting thin walled structures can provide valuable insights for designing thin walled lightweight structures made of stamping, investment casting and composite manufacturing.


Formulation, analysis and computation of an optimization based local to nonlocal coupling method. We present an optimization based coupling method for local and nonlocal continuum models. Our approach couches the coupling of the models into a control problem where the states are the solutions of the nonlocal and local equations, the objective is to minimize their mismatch on the overlap of the local and nonlocal problem domains, and the virtual controls are the nonlocal volume constraint and the local boundary condition. We present the method in the context of Local to Nonlocal diffusion coupling. Numerical examples illustrate the theoretical properties of the approach.


A new Diffuse interface approximation of the Willmore flow. Standard diffuse approximations of the Willmore flow often lead to intersecting phase boundaries that in many cases do not correspond to the intended sharp interface evolution. Here we introduce a new two variable diffuse approximation that includes a rather simple but efficient penalization of the deviation from a quasi one dimensional structure of the phase fields. We justify the approximation property by a Gamma convergence result for the energies and a matched asymptotic expansion for the flow. Ground states of the energy are shown to be one dimensional, in contrast to the presence of saddle solutions for the usual diffuse approximation. Finally we present numerical simulations that illustrate the approximation property and apply our new approach to problems where the usual approach leads to an undesired behavior.


Smart Attendance System Usign CNN. The research on the attendance system has been going for a very long time, numerous arrangements have been proposed in the last decade to make this system efficient and less time consuming, but all those systems have several flaws. In this paper, we are introducing a smart and efficient system for attendance using face detection and face recognition. This system can be used to take attendance in colleges or offices using real time face recognition with the help of the Convolution Neural Network(CNN). The conventional methods like Eigenfaces and Fisher faces are sensitive to lighting, noise, posture, obstruction, illumination etc. Hence, we have used CNN to recognize the face and overcome such difficulties. The attendance records will be updated automatically and stored in an excel sheet as well as in a database. We have used MongoDB as a backend database for attendance records.


Abstract Cauchy problems for the generalized fractional calculus. We focus on eventually non linear abstract Cauchy problems with a generalized fractional derivative in time. First we prove a local existence and uniqueness result, then we focus on a generalized Gr "onwall inequality. Before addressing the inequality, we study some properties of eigenvalues and eigenfunctions of the generalized fractional derivatives. Finally, we prove some consequences of the generalized Gr "onwall inequality.


A Tridomain Model for Potassium Clearance in Optic Nerve of Necturus. The accumulation of potassium in the narrow space outside nerve cells is a classical subject of biophysics that has received much attention recently. It may be involved in potassium accumulation textcolor black including spreading depression, perhaps migraine and some kinds of epilepsy, even (speculatively) learning. Quantitative analysis is likely to help evaluate the role of potassium clearance from the extracellular space after a train of action potentials. Clearance involves three structures that extend down the length of the nerve glia, extracellular space, and axon and so need to be described as systems distributed in space in the tradition used for electrical potential in the cable equations' of nerve since the work of Hodgkin in 1937. A three compartment model is proposed here for the optic nerve and is used to study the accumulation of potassium and its clearance. The model allows the convection, diffusion, and electrical migration of water and ions. We depend on the data of Orkand et al to ensure the relevance of our model and align its parameters with the anatomy and properties of membranes, channels, and transporters our model fits their experimental data quite well. The aligned model shows that glia has an important role in buffering potassium, as expected. The model shows that potassium is cleared mostly by convective flow through the syncytia of glia driven by osmotic pressure differences. A simplified model might be possible, but it must involve flow down the length of the optic nerve. It is easy for compartment models to neglect this flow. Our model can be used for structures quite different from the optic nerve that might have different distributions of channels and transporters in its three compartments. It can be generalized to include a fourth (distributed) compartment representing blood vessels to deal with the glymphatic flow into the circulatory system.


Exploring Intensity Invariance in Deep Neural Networks for Brain Image Registration. Image registration is a widely used technique in analysing large scale datasets that are captured through various imaging modalities and techniques in biomedical imaging such as MRI, X Rays, etc. These datasets are typically collected from various sites and under different imaging protocols using a variety of scanners. Such heterogeneity in the data collection process causes inhomogeneity or variation in intensity (brightness) and noise distribution. These variations play a detrimental role in the performance of image registration, segmentation and detection algorithms. Classical image registration methods are computationally expensive but are able to handle these artifacts relatively better. However, deep learning based techniques are shown to be computationally efficient for automated brain registration but are sensitive to the intensity variations. In this study, we investigate the effect of variation in intensity distribution among input image pairs for deep learning based image registration methods. We find a performance degradation of these models when brain image pairs with different intensity distribution are presented even with similar structures. To overcome this limitation, we incorporate a structural similarity based loss function in a deep neural network and test its performance on the validation split separated before training as well as on a completely unseen new dataset. We report that the deep learning models trained with structure similarity based loss seems to perform better for both datasets. This investigation highlights a possible performance limiting factor in deep learning based registration models and suggests a potential solution to incorporate the intensity distribution variation in the input image pairs. Our code and models are available at https github.com hassaanmahmood DeepIntense.


Concept Embedding for Information Retrieval. Concepts are used to solve the term mismatch problem. However, we need an effective similarity measure between concepts. Word embedding presents a promising solution. We present in this study three approaches to build concepts vectors based on words vectors. We use a vector based measure to estimate inter concepts similarity. Our experiments show promising results. Furthermore, words and concepts become comparable. This could be used to improve conceptual indexing process.


Nutritional Profile Estimation in Cooking Recipes. The availability of an accurate nutrition profile of recipes is an important feature for food databases with several applications including nutritional assistance, recommendation systems, and dietary analytics. Often in online databases, recipes are obtained from diverse sources in an attempt to maximize the number of recipes and variety of the dataset. This leads to an incomplete and often unreliable set of nutritional details. We propose a scalable method for nutritional profile estimation of recipes from their ingredients section using a standard reliable database for the nutritional values. Previous studies have testified the efficiency of string matching methods on small datasets. To demonstrate the effectiveness of our procedure, we apply the proposed method on a large dataset, RecipeDB, which contains recipes from multiple data sources, using the United States Department of Agriculture Standard Reference (USDA SR) Database as a reference for computing nutritional profiles. We evaluate our method by calculating the average error across our database of recipes (36 calories per serving) which is well within the range of errors attributable to physical variations.


Korteweg de Vries limit for the Fermi Pasta Ulam system. In this paper, we develop dispersive PDE techniques for the Fermi Pasta Ulam (FPU) system with infinitely many oscillators, and we show that general solutions to the infinite FPU system can be approximated by counter propagating waves governed by the Korteweg de Vries (KdV) equation as the lattice spacing approaches zero. Our result not only simplifies the hypotheses but also reduces the regularity requirement in the previous study 45 .