Critical ride comfort detection for automated vehicles. In a future connected vehicle environment, an optimized route and motion planning should not only fulfill efficiency and safety constraints but also minimize vehicle motions and oscillations, causing poor ride comfort perceived by passengers. This work provides a framework for a large scale and cost efficient evaluation to address AV's ride comfort and allow the comparison of different comfort assessment strategies. The proposed tool also gives insights to comfort data, allowing for the development of novel algorithms, guidelines, or motion planning systems incorporating passenger comfort. A vehicle road simulation framework utilizable to assess the most common ride comfort determination strategies based on vehicle dynamics data is presented. The developed methodology encompasses a road surface model, a non linear vehicle model optimization, and Monte Carlo simulations to allow for an accurate and cost efficient generation of virtual chassis acceleration data. Ride comfort is determined by applying a commonly used threshold method and an analysis based on ISO 2631. The two methods are compared against comfort classifications based on empirical measurements of the International Roughness Index (IRI). A case study with three road sites in Austria demonstrates the framework's practical application with real data and achieves high resolution ride comfort classifications. The results highlight that ISO 2631 comfort estimates are most similar to IRI classifications and that the thresholding procedure detects preventable situations but also over or underestimates ride comfort. Hence, the work shows the potential risk of negative ride comfort of AVs using simple threshold values and stresses the importance of a robust comfort evaluation method for enhancing AVs' path and motion planning with maximal ride comfort.


Exponential Ergodicity for Singular Reflecting McKean Vlasov SDEs. By refining a recent result of Xie and Zhang, we prove the exponential ergodicity under a weighted variation norm for singular SDEs with drift containing a local integrable term and a coercive term. This result is then extended to singular reflecting SDEs as well as singular McKean Vlasov SDEs with or without reflection. We also present the exponential ergodicity in the relative entropy and (weighted) Wasserstein distances for reflecting McKean Vlasov SDEs under the dissipative, partially dissipative and non dissipative conditions respectively. The main results are illustrated by non symmetric singular granular media equations.


Handling Mobility in Low Power Wide Area Network. Despite the proliferation of mobile devices in various wide area Internet of Things applications (e.g., smart city, smart farming), current Low Power Wide Area Networks (LPWANs) are not designed to effectively support mobile nodes. In this paper, we propose to handle mobility in SNOW (Sensor Network Over White spaces), an LPWAN that operates in the TV white spaces. SNOW supports massive concurrent communication between a base station (BS) and numerous low power nodes through a distributed implementation of OFDM. In SNOW, inter carrier interference (ICI) is more pronounced under mobility due to its OFDM based design. Geospatial variation of white spaces also raises challenges in both intra and inter network mobility as the low power nodes are not equipped to determine white spaces. To handle mobility impacts on ICI, we propose a dynamic carrier frequency offset estimation and compensation technique which takes into account Doppler shifts without requiring to know the speed of the nodes. We also propose to circumvent the mobility impacts on geospatial variation of white space through a mobility aware spectrum assignment to nodes. To enable mobility of the nodes across different SNOWs, we propose an efficient handoff management through a fast and energy efficient BS discovery and quick association with the BS by combining time and frequency domain energy sensing. Experiments through SNOW deployments in a large metropolitan city and indoors show that our proposed approaches enable mobility across multiple different SNOWs and provide robustness in terms of reliability, latency, and energy consumption under mobility.


Metodi Iterativi per Sistemi Lineari. These are the lecture notes (in Italian) of a course held in Perugia, Italy, during the summer 2002. They concern the basic facts on the iterative solution of linear systems. The course is self contained and requires only basic knowledge of numerical linear algebra. This is a corrected version of the original lecture notes, and are dedicated to the memory of Cecilia Magherini.


Personalized Retrogress Resilient Framework for Real World Medical Federated Learning. Nowadays, deep learning methods with large scale datasets can produce clinically useful models for computer aided diagnosis. However, the privacy and ethical concerns are increasingly critical, which make it difficult to collect large quantities of data from multiple institutions. Federated Learning (FL) provides a promising decentralized solution to train model collaboratively by exchanging client models instead of private data. However, the server aggregation of existing FL methods is observed to degrade the model performance in real world medical FL setting, which is termed as retrogress. To address this problem, we propose a personalized retrogress resilient framework to produce a superior personalized model for each client. Specifically, we devise a Progressive Fourier Aggregation (PFA) at the server to achieve more stable and effective global knowledge gathering by integrating client models from low frequency to high frequency gradually. Moreover, with an introduced deputy model to receive the aggregated server model, we design a Deputy Enhanced Transfer (DET) strategy at the client and conduct three steps of Recover Exchange Sublimate to ameliorate the personalized local model by transferring the global knowledge smoothly. Extensive experiments on real world dermoscopic FL dataset prove that our personalized retrogress resilient framework outperforms state of the art FL methods, as well as the generalization on an out of distribution cohort. The code and dataset are available at https github.com CityU AIM Group PRR FL.


Reliable Shot Identification for Complex Event Detection via Visual Semantic Embedding. Multimedia event detection is the task of detecting a specific event of interest in an user generated video on websites. The most fundamental challenge facing this task lies in the enormously varying quality of the video as well as the high level semantic abstraction of event inherently. In this paper, we decompose the video into several segments and intuitively model the task of complex event detection as a multiple instance learning problem by representing each video as a "bag" of segments in which each segment is referred to as an instance. Instead of treating the instances equally, we associate each instance with a reliability variable to indicate its importance and then select reliable instances for training. To measure the reliability of the varying instances precisely, we propose a visual semantic guided loss by exploiting low level feature from visual information together with instance event similarity based high level semantic feature. Motivated by curriculum learning, we introduce a negative elastic net regularization term to start training the classifier with instances of high reliability and gradually taking the instances with relatively low reliability into consideration. An alternative optimization algorithm is developed to solve the proposed challenging non convex non smooth problem. Experimental results on standard datasets, i.e., TRECVID MEDTest 2013 and TRECVID MEDTest 2014, demonstrate the effectiveness and superiority of the proposed method to the baseline algorithms.


Investigating Value of Curriculum Reinforcement Learning in Autonomous Driving Under Diverse Road and Weather Conditions. Applications of reinforcement learning (RL) are popular in autonomous driving tasks. That being said, tuning the performance of an RL agent and guaranteeing the generalization performance across variety of different driving scenarios is still largely an open problem. In particular, getting good performance on complex road and weather conditions require exhaustive tuning and computation time. Curriculum RL, which focuses on solving simpler automation tasks in order to transfer knowledge to complex tasks, is attracting attention in RL community. The main contribution of this paper is a systematic study for investigating the value of curriculum reinforcement learning in autonomous driving applications. For this purpose, we setup several different driving scenarios in a realistic driving simulator, with varying road complexity and weather conditions. Next, we train and evaluate performance of RL agents on different sequences of task combinations and curricula. Results show that curriculum RL can yield significant gains in complex driving tasks, both in terms of driving performance and sample complexity. Results also demonstrate that different curricula might enable different benefits, which hints future research directions for automated curriculum training.


A unified approach to hypergraph stability. We present a method which provides a unified framework for most stability theorems that have been proved in graph and hypergraph theory. Our main result reduces stability for a large class of hypergraph problems to the simpler question of checking that a hypergraph mathcal H with large minimum degree that omits the forbidden structures is vertex extendable. This means that if v is a vertex of mathcal H and mathcal H v is a subgraph of the extremal configuration(s), then mathcal H is also a subgraph of the extremal configuration(s). In many cases vertex extendability is quite easy to verify. We illustrate our approach by giving new short proofs of hypergraph stability results of Pikhurko, Hefetz Keevash, Brandt Irwin Jiang, Bene Watts Norin Yepremyan and others. Since our method always yields minimum degree stability, which is the strongest form of stability, in some of these cases our stability results are stronger than what was known earlier. Along the way, we clarify the different notions of stability that have been previously studied.


Partitions into Piatetski Shapiro sequences. Let kappa be a positive real number and m in mathbb N cup infty be given. Let p kappa, m (n) denote the number of partitions of n into the parts from the Piatestki Shapiro sequence ( lfloor ell kappa rfloor) ell in mathbb N with at most m times (repetition allowed). In this paper we establish asymptotic formulas of Hardy Ramanujan type for p kappa, m (n) , by employing a framework of asymptotics of partitions established by Roth Szekeres in 1953, as well as some results on equidistribution.


Discrete Frechet distance for closed curves. The paper presents a discrete variation of the Frechet distance between closed curves, which can be seen as an approximation of the continuous measure. A rather straightforward approach to compute the discrete Frechet distance between two closed sequences of m and n points using binary search takes O(mn log mn) time. We present an algorithm that takes O(mn log mn) time, where log is the iterated logarithm.


Volumetric Propagation Network Stereo LiDAR Fusion for Long Range Depth Estimation. Stereo LiDAR fusion is a promising task in that we can utilize two different types of 3D perceptions for practical usage dense 3D information (stereo cameras) and highly accurate sparse point clouds (LiDAR). However, due to their different modalities and structures, the method of aligning sensor data is the key for successful sensor fusion. To this end, we propose a geometry aware stereo LiDAR fusion network for long range depth estimation, called volumetric propagation network. The key idea of our network is to exploit sparse and accurate point clouds as a cue for guiding correspondences of stereo images in a unified 3D volume space. Unlike existing fusion strategies, we directly embed point clouds into the volume, which enables us to propagate valid information into nearby voxels in the volume, and to reduce the uncertainty of correspondences. Thus, it allows us to fuse two different input modalities seamlessly and regress a long range depth map. Our fusion is further enhanced by a newly proposed feature extraction layer for point clouds guided by images FusionConv. FusionConv extracts point cloud features that consider both semantic (2D image domain) and geometric (3D domain) relations and aid fusion at the volume. Our network achieves state of the art performance on the KITTI and the Virtual KITTI datasets among recent stereo LiDAR fusion methods.


A Graph Decomposition motivated by the Geometry of Randomized Rounding. We introduce a graph decomposition which exists for all simple, connected graphs G (V,E) . The decomposition V A cup B cup C is such that each vertex in A has more neighbors in B than in A and vice versa. C is balanced' each v in C has the same number of neighbours in A and B . These decompositions arise naturally from the behavior of an associated dynamical system ( Randomized Rounding') on ( mathbb S 1) V . Connections to judicious partitions and the textsc MaxCut problem (in particular the Burer Monteiro Zhang heuristic) are being discussed.


A Survey on Reinforcement Learning Aided Caching in Mobile Edge Networks. Mobile networks are experiencing tremendous increase in data volume and user density. An efficient technique to alleviate this issue is to bring the data closer to the users by exploiting the caches of edge network nodes, such as fixed or mobile access points and even user devices. Meanwhile, the fusion of machine learning and wireless networks offers a viable way for network optimization as opposed to traditional optimization approaches which incur high complexity, or fail to provide optimal solutions. Among the various machine learning categories, reinforcement learning operates in an online and autonomous manner without relying on large sets of historical data for training. In this survey, reinforcement learning aided mobile edge caching is presented, aiming at highlighting the achieved network gains over conventional caching approaches. Taking into account the heterogeneity of sixth generation (6G) networks in various wireless settings, such as fixed, vehicular and flying networks, learning aided edge caching is presented, departing from traditional architectures. Furthermore, a categorization according to the desirable performance metric, such as spectral, energy and caching efficiency, average delay, and backhaul and fronthaul offloading is provided. Finally, several open issues are discussed, targeting to stimulate further interest in this important research field.


Multi modal Transformers Excel at Class agnostic Object Detection. What constitutes an object? This has been a long standing question in computer vision. Towards this goal, numerous learning free and learning based approaches have been developed to score objectness. However, they generally do not scale well across new domains and for unseen objects. In this paper, we advocate that existing methods lack a top down supervision signal governed by human understandable semantics. To bridge this gap, we explore recent Multi modal Vision Transformers (MViT) that have been trained with aligned image text pairs. Our extensive experiments across various domains and novel objects show the state of the art performance of MViTs to localize generic objects in images. Based on these findings, we develop an efficient and flexible MViT architecture using multi scale feature processing and deformable self attention that can adaptively generate proposals given a specific language query. We show the significance of MViT proposals in a diverse range of applications including open world object detection, salient and camouflage object detection, supervised and self supervised detection tasks. Further, MViTs offer enhanced interactability with intelligible text queries. Code https git.io J1HPY.


Intraoperative time out to promote the implementation of the critical view of safety in laparoscopic cholecystectomy a video based assessment of 343 procedures. Background The critical view of safety (CVS) is poorly adopted in surgical practices although it is ubiquitously recommended to prevent major bile duct injuries during laparoscopic cholecystectomy (LC). This study aims to determine whether performing a short intraoperative time out can improve CVS implementation. Methods Surgeons performing LCs at an academic centre were invited to perform a 5 second long time out to verify CVS before dividing the cystic duct (5 second rule). The primary endpoint was to compare the rate of CVS achievement between LCs performed in the year before and the year after the 5 second rule. The CVS achievement rate was computed using the mediated video based assessment of two independent reviewers. Clinical outcomes, LC workflows, and postoperative reports were also compared. Results Three hundred and forty three (171 before and 172 after the 5 second rule) of the 381 LCs performed over the 2 year study were analysed. After the implementation of the 5 second rule, the rate of CVS achievement increased significantly (15.9 vs 44.1 P 0.001) as well as the rate of bailout procedures (8.2 vs 15.7 P 0.045), the median time to clip the cystic duct or artery (17 26 interquartile range 16 46 vs 23 12 17 16 minutes P 0.007), and the rate of postoperative CVS reporting (1.3 vs 28.8 P 0.001). Morbidity was comparable (1.75 vs 2.33 before and after the 5 second rule respectively P 0.685). Conclusion Performing a short intraoperative time out improves CVS implementation during LC. Systematic intraoperative cognitive aids should be studied to sustain the uptake of guidelines.


Manifold aware Synthesis of High resolution Diffusion from Structural Imaging. The physical and clinical constraints surrounding diffusion weighted imaging (DWI) often limit the spatial resolution of the produced images to voxels up to 8 times larger than those of T1w images. Thus, the detailed information contained in T1w imagescould help in the synthesis of diffusion images in higher resolution. However, the non Euclidean nature of diffusion imaging hinders current deep generative models from synthesizing physically plausible images. In this work, we propose the first Riemannian network architecture for the direct generation of diffusion tensors (DT) and diffusion orientation distribution functions (dODFs) from high resolution T1w images. Our integration of the Log Euclidean Metric into a learning objective guarantees, unlike standard Euclidean networks, the mathematically valid synthesis of diffusion. Furthermore, our approach improves the fractional anisotropy mean squared error (FA MSE) between the synthesized diffusion and the ground truth by more than 23 and the cosine similarity between principal directions by almost 5 when compared to our baselines. We validate our generated diffusion by comparing the resulting tractograms to our expected real data. We observe similar fiber bundles with streamlines having less than 3 difference in length, less than 1 difference in volume, and a visually close shape. While our method is able to generate high resolution diffusion images from structural inputs in less than 15 seconds, we acknowledge and discuss the limits of diffusion inference solely relying on T1w images. Our results nonetheless suggest a relationship between the high level geometry of the brain and the overall white matter architecture.


GAN pretraining for deep convolutional autoencoders applied to Software based Fingerprint Presentation Attack Detection. The need for reliable systems to determine fingerprint presentation attacks grows with the rising use of the fingerprint for authentication. This work presents a new approach to single class classification for software based fingerprint presentation attach detection. The described method utilizes a Wasserstein GAN to apply transfer learning to a deep convolutional autoencoder. By doing so, the autoencoder could be pretrained and finetuned on the LivDet2021 Dermalog sensor dataset with only 1122 bona fide training samples. Without making use of any presentation attack samples, the model could archive an average classification error rate of 16.79 . The Wasserstein GAN implemented to pretrain the autoencoders weights can further be used to generate realistic looking artificial fingerprint patches. Extensive testing of different autoencoder architectures and hyperparameters led to coarse architectural guidelines as well as multiple implementations which can be utilized for future work.


Highway Efficient Consensus with Flexible Finality. There has been recently a lot of progress in designing efficient partially synchronous BFT consensus protocols that are meant to serve as core consensus engines for Proof of Stake blockchain systems. While the state of the art solutions attain virtually optimal performance under this theoretical model, there is still room for improvement, as several practical aspects of such systems are not captured by this model. Most notably, during regular execution, due to financial incentives in such systems, one expects an overwhelming fraction of nodes to honestly follow the protocol rules and only few of them to be faulty, most likely due to temporary network issues. Intuitively, the fact that almost all nodes behave honestly should result in stronger confidence in blocks finalized in such periods, however it is not the case under the classical model, where finality is binary. We propose Highway, a new consensus protocol that is safe and live in the classical partially synchronous BFT model, while at the same time offering practical improvements over existing solutions. Specifically, block finality in Highway is not binary but is expressed by fraction of nodes that would need to break the protocol rules in order for a block to be reverted. During periods of honest participation finality of blocks might reach well beyond 1 3 (as what would be the maximum for classical protocols), up to even 1 (complete certainty). Having finality defined this way, Highway offers flexibility with respect to the configuration of security thresholds among nodes running the protocol, allowing nodes with lower thresholds to reach finality faster than the ones requiring higher levels of confidence.


Emoji Based Transfer Learning for Sentiment Tasks. Sentiment tasks such as hate speech detection and sentiment analysis, especially when performed on languages other than English, are often low resource. In this study, we exploit the emotional information encoded in emojis to enhance the performance on a variety of sentiment tasks. This is done using a transfer learning approach, where the parameters learned by an emoji based source task are transferred to a sentiment target task. We analyse the efficacy of the transfer under three conditions, i.e. i) the emoji content and ii) label distribution of the target task as well as iii) the difference between monolingually and multilingually learned source tasks. We find i.a. that the transfer is most beneficial if the target task is balanced with high emoji content. Monolingually learned source tasks have the benefit of taking into account the culturally specific use of emojis and gain up to F1 0.280 over the baseline.


Precision calculation of hyperfine constants for extracting nuclear moments of 229Th. Determination of nuclear moments for many nuclei relies on the computation of hyperfine constants, with theoretical uncertainties directly affecting the resulting uncertainties of the nuclear moments. In this work we improve the precision of such method by including for the first time an iterative solution of equations for the core triple cluster amplitudes into the relativistic coupled cluster method, with large scale complete basis sets. We carried out calculations of the energies and magnetic dipole and electric quadrupole hyperfine structure constants for the low lying states of 229Th (3 ) in the framework of such relativistic coupled cluster single double triple (CCSDT) method. We present a detailed study of various corrections to all calculated properties. Using the theory results and experimental data we found the nuclear magnetic dipole and electric quadrupole moments to be mu 0.366(6) mu N and Q 3.11(2) eb, and reducing the uncertainty of the quadrupole moment by a factor of three. The Bohr Weisskopf effect of the finite nuclear magnetization is investigated, with bounds placed on the deviation of the magnetization distribution from the uniform one.


Gradient estimates for singular p Laplace type equations with measure data. We are concerned with interior and global gradient estimates for solutions to a class of singular quasilinear elliptic equations with measure data, whose prototype is given by the p Laplace equation Delta p u mu with p in (1,2) . The cases when p in big(2 frac 1 n,2 big) and p in big( frac 3n 2 2n 1 ,2 frac 1 n big were studied in 9 and 22 , respectively. In this paper, we improve the results in 22 and address the open case when p in big(1, frac 3n 2 2n 1 big . Interior and global modulus of continuity estimates of the gradients of solutions are also established.


Stochastic maximal L p(L q) regularity for second order systems with periodic boundary conditions. In this paper we consider an SPDE where the leading term is a second order systems with periodic boundary conditions with measurable coefficients in (t, omega) and H " o lder continuous coefficients in space. Assuming stochastic parabolicity conditions, we prove L p((0,T), t kappa dt H sigma,q ( mathbb T d)) estimates. The main novelty is that we do not require p q . Moreover, we allow arbitrary sigma in mathbb R and weights in time. Such mixed regularity estimates play a crucial role in applications to nonlinear SPDEs which is clear from our previous work, and will be further applied in forthcoming papers on reaction diffusion equations and Navier Stokes equations. To prove our main results we develop a general perturbation theory for SPDEs. Moreover, we prove a new result on pointwise multiplication in spaces with fractional smoothness.


The Symmetry between Arms and Knapsacks A Primal Dual Approach for Bandits with Knapsacks. In this paper, we study the bandits with knapsacks (BwK) problem and develop a primal dual based algorithm that achieves a problem dependent logarithmic regret bound. The BwK problem extends the multi arm bandit (MAB) problem to model the resource consumption associated with playing each arm, and the existing BwK literature has been mainly focused on deriving asymptotically optimal distribution free regret bounds. We first study the primal and dual linear programs underlying the BwK problem. From this primal dual perspective, we discover symmetry between arms and knapsacks, and then propose a new notion of sub optimality measure for the BwK problem. The sub optimality measure highlights the important role of knapsacks in determining algorithm regret and inspires the design of our two phase algorithm. In the first phase, the algorithm identifies the optimal arms and the binding knapsacks, and in the second phase, it exhausts the binding knapsacks via playing the optimal arms through an adaptive procedure. Our regret upper bound involves the proposed sub optimality measure and it has a logarithmic dependence on length of horizon T and a polynomial dependence on m (the numbers of arms) and d (the number of knapsacks). To the best of our knowledge, this is the first problem dependent logarithmic regret bound for solving the general BwK problem.


Visual Semantics Allow for Textual Reasoning Better in Scene Text Recognition. Existing Scene Text Recognition (STR) methods typically use a language model to optimize the joint probability of the 1D character sequence predicted by a visual recognition (VR) model, which ignore the 2D spatial context of visual semantics within and between character instances, making them not generalize well to arbitrary shape scene text. To address this issue, we make the first attempt to perform textual reasoning based on visual semantics in this paper. Technically, given the character segmentation maps predicted by a VR model, we construct a subgraph for each instance, where nodes represent the pixels in it and edges are added between nodes based on their spatial similarity. Then, these subgraphs are sequentially connected by their root nodes and merged into a complete graph. Based on this graph, we devise a graph convolutional network for textual reasoning (GTR) by supervising it with a cross entropy loss. GTR can be easily plugged in representative STR models to improve their performance owing to better textual reasoning. Specifically, we construct our model, namely S GTR, by paralleling GTR to the language model in a segmentation based STR baseline, which can effectively exploit the visual linguistic complementarity via mutual learning. S GTR sets new state of the art on six challenging STR benchmarks and generalizes well to multi linguistic datasets. Code is available at https github.com adeline cs GTR.


Finding Efficient Trade offs in Multi Fidelity Response Surface Modeling. In the context of optimization approaches to engineering applications, time consuming simulations are often utilized which can be configured to deliver solutions for various levels of accuracy, commonly referred to as different fidelity levels. It is common practice to train hierarchical surrogate models on the objective functions in order to speed up the optimization process. These operate under the assumption that there is a correlation between the high and low fidelity versions of the problem that can be exploited to cheaply gain information. In the practical scenario where the computational budget has to be allocated between multiple fidelities, limited guidelines are available to help make that division. In this paper we evaluate a range of different choices for a two fidelity setup that provide helpful intuitions about the trade off between evaluating in high or low fidelity. We present a heuristic method based on subsampling from an initial Design of Experiments (DoE) to find a suitable division of the computational budget between the fidelity levels. This enables the setup of multi fidelity optimizations which utilize the available computational budget efficiently, independent of the multi fidelity model used.


A Survey on Scenario Based Testing for Automated Driving Systems in High Fidelity Simulation. Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is the closest to real world and desirable approach, but it is incredibly costly. Also, it is infeasible to cover rare corner cases using such real world testing. Thus, a popular alternative is to evaluate an ADS's performance in some well designed challenging scenarios, a.k.a. scenario based testing. High fidelity simulators have been widely used in this setting to maximize flexibility and convenience in testing what if scenarios. Although many works have been proposed offering diverse frameworks methods for testing specific systems, the comparisons and connections among these works are still missing. To bridge this gap, in this work, we provide a generic formulation of scenario based testing in high fidelity simulation and conduct a literature review on the existing works. We further compare them and present the open challenges as well as potential future research directions.


Feature matching for multi epoch historical aerial images. Historical imagery is characterized by high spatial resolution and stereo scopic acquisitions, providing a valuable resource for recovering 3D land cover information. Accurate geo referencing of diachronic historical images by means of self calibration remains a bottleneck because of the difficulty to find sufficient amount of feature correspondences under evolving landscapes. In this research, we present a fully automatic approach to detecting feature correspondences between historical images taken at different times (i.e., inter epoch), without auxiliary data required. Based on relative orientations computed within the same epoch (i.e., intra epoch), we obtain DSMs (Digital Surface Model) and incorporate them in a rough to precise matching. The method consists of (1) an inter epoch DSMs matching to roughly co register the orientations and DSMs (i.e, the 3D Helmert transformation), followed by (2) a precise inter epoch feature matching using the original RGB images. The innate ambiguity of the latter is largely alleviated by narrowing down the search space using the co registered data. With the inter epoch features, we refine the image orientations and quantitatively evaluate the results (1) with DoD (Difference of DSMs), (2) with ground check points, and (3) by quantifying ground displacement due to an earthquake. We demonstrate that our method (1) can automatically georeference diachronic historical images (2) can effectively mitigate systematic errors induced by poorly estimated camera parameters (3) is robust to drastic scene changes. Compared to the state of the art, our method improves the image georeferencing accuracy by a factor of 2. The proposed methods are implemented in MicMac, a free, open source photogrammetric software.


On the topology of the atmosphere advected by a periodic array of axisymmetric thin cored vortex rings. The fluid motion produced by a periodic array of identical, axisymmetric, thin cored vortex rings is investigated. It is well known that such an array moves uniformly without change of shape or form in the direction of the central axis of symmetry, and is therefore an equilibrium solution of Euler's equations. In a frame of reference moving with the system of vortex rings, the motion of passive fluid particles is investigated as a function of the two non dimensional parameters that define this system varepsilon a R , the ratio of minor radius to major radius of the torus shaped vortex rings, and lambda L R , the separation of the vortex rings normalized by their radii. Two bifurcations in the streamline topology are found that depend significantly on varepsilon and lambda these bifurcations delineate three distinct shapes of the 'atmosphere' of fluid particles that move together with the vortex ring for all time. Analogous to the case of an isolated vortex ring, the atmospheres can be 'thin bodied' or 'thick bodied'. Additionally, we find the occurrence of a 'connected' system, in which the atmospheres of neighboring rings touch at an invariant ring of fluid particles that is stationary in a frame of reference moving with the rings.


Social Processes Self Supervised Meta Learning over Conversational Groups for Forecasting Nonverbal Social Cues. The default paradigm in the forecasting of human behavior in social conversations, involves selecting specific future semantic events of interest (e.g. speaker turn changes, group leaving) and then identifying their relationships to low level nonverbal cues. A common hurdle in such top down approaches is the limited availability of event labeled data for supervised learning, stemming from the infrequency of such events. To tackle this challenge, we propose to cast forecasting into a novel bottom up self supervised problem to leverage the larger amount of low level behavior cues. We formalize the task of Social Cue Forecasting (SCF), and characterize the specific modeling challenges involved. To address these we build upon key observations from social science literature and propose the Social Process (SP) models socially aware sequence to sequence models that view each conversation group as a meta learning task to account for group specific dynamics. Our SP models learn event agnostic representations of future cues for each participant, while capturing global uncertainty by jointly reasoning about the future for all members of the group. For this novel task of SCF, improved empirical performance over non meta learning models on real world behavior data validates our meta learning approach. Moreover, ablations and comparison against meta learning models with similar assumptions validate our specific modeling choices for this task.


Unit Ball Model for Embedding Hierarchical Structures in the Complex Hyperbolic Space. Learning the representation of data with hierarchical structures in the hyperbolic space attracts increasing attention in recent years. Due to the constant negative curvature, the hyperbolic space resembles tree metrics and captures the tree like properties naturally, which enables the hyperbolic embeddings to improve over traditional Euclidean models. However, many real world hierarchically structured data such as taxonomies and multitree networks have varying local structures and they are not trees, thus they do not ubiquitously match the constant curvature property of the hyperbolic space. To address this limitation of hyperbolic embeddings, we explore the complex hyperbolic space, which has the variable negative curvature, for representation learning. Specifically, we propose to learn the embeddings of hierarchically structured data in the unit ball model of the complex hyperbolic space. The unit ball model based embeddings have a more powerful representation capacity to capture a variety of hierarchical structures. Through experiments on synthetic and real world data, we show that our approach improves over the hyperbolic embedding models significantly. We also explore the competence of complex hyperbolic geometry on the multitree structure and 1 N structure.


PHP code smells in web apps survival and anomalies. Context Code smells are considered symptoms of poor design, leading to future problems, such as reduced maintainability. Except for anecdotal cases (e. g. code dropout), a code smell survives until it gets explicitly refactored or removed. This paper presents a longitudinal study on the survival of code smells for web apps built with PHP. Objectives RQ (i) code smells survival depends on their scope? (ii) practitioners attitudes towards code smells removal in web apps have changed throughout time? (iii) how long code smells survive in web applications? (iv) are there sudden variations (anomalies) in the density of code smells through the evolution of web apps? Method We analyze the evolution of 6 code smells in 8 web applications written in PHP at the server side, across several years, using the survival analysis technique. We classify code smells according to scope in two categories scattered and localized. Scattered code smells are expected to be more harmful since their influence is not circumscribed as in localized code smells. We split the observations for each web app into two equal and consecutive timeframes, to test the hypothesis that code smells awareness has increased throughout time. As for the anomalies, we standardize their detection criteria. Results We present some evidence that code smells survival depends on their scope the average survival rate decreases in some of them, while the opposite is observed for the remainder. The survival of localized code smells is around 4 years, while the scattered ones live around 5 years. Around 60 of the smells are removed, and some live through all the application life. We also show how a graphical representation of anomalies found in the evolution of code smells allows unveiling the story of a development project and make managers aware of the need for enforcing regular refactoring practices.


Stein's density method for multivariate continuous distributions. This paper provides a general framework for Stein's density method for multivariate continuous distributions. The approach associates to any probability density function a canonical operator and Stein class, as well as an infinite collection of operators and classes which we call standardizations. These in turn spawn an entire family of Stein identities and characterizations for any continuous distribution on mathbb R d , among which we highlight those based on the score function and the Stein kernel. A feature of these operators is that they do not depend on normalizing constants. A new definition of Stein kernel is introduced and examined integral formulas are obtained through a connection with mass transport, as well as ready to use explicit formulas for elliptical distributions. The flexibility of the kernels is used to compare in Stein discrepancy (and therefore 2 Wasserstein distance) between two normal distributions, Student and normal distributions, as well as two normal gamma distributions. Upper and lower bounds on the 1 Wasserstein distance between continuous distributions are provided, and computed for a variety of examples comparison between different normal distributions (improving on existing bounds in some regimes), posterior distributions with different priors in a Bayesian setting (including logistic regression), centred Azzalini Dalla Valle distributions. Finally the notion of weak Stein equation and weak Stein factors is introduced, and new bounds are obtained for Lipschitz test functions if the distribution admits a Poincar 'e constant, which we use to compare in 1 Wasserstein distance between different copulas on the unit square.


Quantum projective measurements and the CHSH inequality in Isabelle HOL. We present a formalization in Isabelle HOL of quantum projective measurements, a class of measurements involving orthogonal projectors that is frequently used in quantum computing. We also formalize the CHSH inequality, a result that holds on arbitrary probability spaces, which can used to disprove the existence of a local hidden variable theory for quantum mechanics.


ASCEND A Spontaneous Chinese English Dataset for Code switching in Multi turn Conversation. Code switching is a speech phenomenon occurring when a speaker switches language during a conversation. Despite the spontaneous nature of code switching in conversational spoken language, most existing works collect code switching data from read speech instead of spontaneous speech. ASCEND (A Spontaneous Chinese English Dataset) is a high quality Mandarin Chinese English code switching corpus built on spontaneous multi turn conversational dialogue sources collected in Hong Kong. We report ASCEND's design and procedure for collecting the speech data, including annotations. ASCEND consists of 10.62 hours of clean speech, collected from 23 bilingual speakers of Chinese and English. Furthermore, we conduct baseline experiments using pre trained wav2vec 2.0 models, achieving a best performance of 22.69 character error rate and 27.05 mixed error rate.


Behavioral Priors and Dynamics Models Improving Performance and Domain Transfer in Offline RL. Offline Reinforcement Learning (RL) aims to extract near optimal policies from imperfect offline data without additional environment interactions. Extracting policies from diverse offline datasets has the potential to expand the range of applicability of RL by making the training process safer, faster, and more streamlined. We investigate how to improve the performance of offline RL algorithms, its robustness to the quality of offline data, as well as its generalization capabilities. To this end, we introduce Offline Model based RL with Adaptive Behavioral Priors (MABE). Our algorithm is based on the finding that dynamics models, which support within domain generalization, and behavioral priors, which support cross domain generalization, are complementary. When combined together, they substantially improve the performance and generalization of offline RL policies. In the widely studied D4RL offline RL benchmark, we find that MABE achieves higher average performance compared to prior model free and model based algorithms. In experiments that require cross domain generalization, we find that MABE outperforms prior methods. Our website is available at https sites.google.com berkeley.edu mabe .


The Quasi Zariski topology on the graded quasi primary spectrum of a graded module over a graded commutative ring. Let G be a group with identity e . Let R be a G graded commutative ring and M a graded R module. A proper graded submodule Q of M is called a graded quasi primary submodule if whenever r in h(R) and m in h(M) with rm in Q , then either r in Gr((Q R M)) or m in Gr M (Q) . The graded quasi primary spectrum qp.Spec g (M) is defined to be the set of all graded quasi primary submodules of M . In this paper, we introduce and study a topology on qp.Spec g (M) , called the Quasi Zariski Topology, and investigate properties of this topology and some conditions under which ( qp.Spec g (M) , q. tau g ) is a Noetherian, spctral space.


Weight Distributions of Two Classes of Linear Codes with Five or Six Weights. In this paper, based on the theory of defining sets, two classes of five weight or six weight linear codes over Fp are constructed. The weight distributions of the linear codes are determined by means of Weil sums and a new type of exponential sums. In some case, there is an almost optimal code with respect to Griesmer bound, which is also an optimal one according to the online code table.


Category measures, the dual of C(K) delta and hyper Stonean spaces. For a compact Hausdorff space K , we give descriptions of the dual of C(K) delta , the Dedekind completion of the Banach lattice C(K) of continuous, real valued functions on K . We characterize those functionals which are sigma order continuous and order continuous, respectively, in terms of Oxtoby's category measures. This leads to a purely topological characterization of hyper Stonean spaces.


Field Based Plot Extraction Using UAV RGB Images. Unmanned Aerial Vehicles (UAVs) have become popular for use in plant phenotyping of field based crops, such as maize and sorghum, due to their ability to acquire high resolution data over field trials. Field experiments, which may comprise thousands of plants, are planted according to experimental designs to evaluate varieties or management practices. For many types of phenotyping analysis, we examine smaller groups of plants known as "plots." In this paper, we propose a new plot extraction method that will segment a UAV image into plots. We will demonstrate that our method achieves higher plot extraction accuracy than existing approaches.


Is Bitcoin really a currency? A viewpoint of a stochastic volatility model. Using the asymmetric stochastic volatility model, this study investigates the day of the week and holiday effects on the returns and volatility of Bitcoin from January 1, 2013 to August 31, 2019 in this context, we also discuss the characteristics of Bitcoin as a financial asset. The results of the estimation are threefold. First, the finding shows a small day of the week effect in volatility on Saturday and Sunday than in the rest of the week. Second, although the holiday effects are examined in active trading countries, namely Japan, China, Germany, and the United States, the positive post holiday effect on the returns and weak positive pre holiday effect on the volatility are only observed in the United States. Finally, the asymmetry effect is not observed. A comparison of Bitcoin to several assets such as stock, currency, and gold shows Bitcoin's positioning between stock, currency, and gold in relation to the week and holiday effects, its reaction to federal funds and medium of exchange characteristics, and the lack of asymmetry effect.


On the lambda stability of p class groups along cyclic p towers of a number field. Let k be a number field, p ge 2 a prime and S a set of tame or wild finite places of k. We call K k a totally S ramified cyclic p tower if Gal(K k) Z p NZ and if S non empty is totally ramified. Using analogues of Chevalley's formula (Gras, Proc. Math. Sci. 127(1) (2017)),we give an elementary proof of a stability theorem (Theorem 3.1 for generalized p class groups X n of the layers k n le K let lambda max(0, S 1 rho ) given in Definition 1.1 then X n X 0 x p lambda n for all n in 0,N , if and only if X 1 X 0 x p lambda . This improves the case lambda 0 of Fukuda (1994), Li Ouyang Xu Zhang (2020), Mizusawa Yamamoto (2020),whose techniques are based on Iwasawa's theory or Galois theory of pro p groups. We deduce capitulation properties of X 0 in the tower (e.g. Conjecture 4.1). Finally we apply our principles to the torsion groups T n of abelian p ramification theory. Numerical examples are given.


Spectral description of non commutative local systems on surfaces and non commutative cluster varieties. Let R be a non commutative field. We prove that generic triples of flags in an m dimensional R vector space are described by flat R line bundles on the honeycomb graph with (m 1)(m 2) 2 holes. Generalising this, we prove that non commutative stacks X(m,S) of framed rank m flat R vector bundles of on decorated surfaces S are birationally identified with the moduli spaces of flat line bundles on a spectral surface assigned to certain bipartite graphs on S. We introduce non commutative cluster Poisson varieties related to bipartite ribbon graphs. They carry canonical non commutative Poisson structure. The space X(m,S) has a structure of a non commutative cluster Poisson variety, equivariant under the action of the mapping class group. For bipartite graphs on a torus, we get the non commutative dimer cluster integrable system. We define non commutative cluster A varieties related to bipartite ribbon graphs. They carry canonical non commutative 2 form. The non commutative stack A(m,S) of twisted decorated local systems on S carries a cluster A variety structure, equivariant under the action of the mapping class group. The non commutative cluster A coordinates on the space A(m,S) are ratios of Gelfand Retakh quasideterminants. In the case m 2 this recovers the Berenstein Retakh non commutative cluster algebras related to surfaces. We introduce stacks of admissible dg sheaves, and use them to give an alternative proof of main results. We show that any stack of Stokes data is a stack of admissible dg sheaves of certain type. Using this we prove that all stacks of framed Stokes data carry a cluster Poisson structure, equivariant under the wild mapping class group. Therefore they can be equivariantly quantized. Similar stacks of decorated Stokes data carry an equivariant cluster A variety structure.


Stability of fixed points in an approximate solution of the spring mass running model. We consider a classical spring mass model of human running which is built upon an inverted elastic pendulum. Based on our previous results concerning asymptotic solutions for large spring constant (or small angle of attack), we construct analytical approximations of solutions in the considered model. The model itself consists of two sets of differential equations one set describes the motion of the centre of mass of a runner in contact with the ground (support phase), and the second set describes the phase of no contact with the ground (flight phase). By appropriately concatenating asymptotic solutions for the two phases we are able to reduce the dynamics to a one dimensional apex to apex return map. We find sufficient conditions for this map to have a unique stable fixed point. By numerical continuation of fixed points with respect to energy, we find a transcritical bifurcation in our model system.


A Domain Theoretic Approach to Statistical Programming Languages. We give a domain theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkably, our monad of minimal valuations is commutative, which allows for program transformations that permute the order of independent random draws, as one would expect. A similar property is not known for Jones and Plotkin' s monad of continuous valuations. Instead of working with true real numbers, we work with exact real arithmetic, providing a bridge towards possible implementations. (Implementations by themselves are not addressed here.) Rather remarkably, we show that restricting ourselves to minimal valuations does not restrict us much all measures on the real line can be modeled by minimal valuations on the domain mathbf I mathbb R bot of exact real arithmetic. We give three operational semantics for our language, and we show that they are all adequate with respect to the denotational semantics. We also explore quite a few examples in order to demonstrate that our semantics computes exactly as one would expect, and in order to debunk the myth that a semantics based on continuous maps would not be expressive enough to encode measures with non compact support using only measures with compact support, or to encode measures via non continuous density functions, for instance. Our examples also include some useful, non trivial cases of distributions on higher order objects.


Iterating the minimum modulus functions of order half, minimal type. For a transcendental entire function f , the property that there exists r 0 such that m n(r) to infty as n to infty , where m(r) min f(z) z r , is related to conjectures of Eremenko and of Baker, for both of which order 1 2 minimal type is a significant rate of growth. We show that this property holds for functions of order 1 2 minimal type if the maximum modulus of f has sufficiently regular growth and we give examples to show the sharpness of our results by using a recent generalisation of Kjellberg's method of constructing entire functions of small growth, which allows rather precise control of m(r) .


Generative Zero shot Network Quantization. Convolutional neural networks are able to learn realistic image priors from numerous training samples in low level image generation and restoration. We show that, for high level image recognition tasks, we can further reconstruct "realistic" images of each category by leveraging intrinsic Batch Normalization (BN) statistics without any training data. Inspired by the popular VAE GAN methods, we regard the zero shot optimization process of synthetic images as generative modeling to match the distribution of BN statistics. The generated images serve as a calibration set for the following zero shot network quantizations. Our method meets the needs for quantizing models based on sensitive information, textit e.g., due to privacy concerns, no data is available. Extensive experiments on benchmark datasets show that, with the help of generated data, our approach consistently outperforms existing data free quantization methods.


NVIDIA NeMo Neural Machine Translation Systems for English German and English Russian News and Biomedical Tasks at WMT21. This paper provides an overview of NVIDIA NeMo's neural machine translation systems for the constrained data track of the WMT21 News and Biomedical Shared Translation Tasks. Our news task submissions for English German (En De) and English Russian (En Ru) are built on top of a baseline transformer based sequence to sequence model. Specifically, we use a combination of 1) checkpoint averaging 2) model scaling 3) data augmentation with backtranslation and knowledge distillation from right to left factorized models 4) finetuning on test sets from previous years 5) model ensembling 6) shallow fusion decoding with transformer language models and 7) noisy channel re ranking. Additionally, our biomedical task submission for English Russian uses a biomedically biased vocabulary and is trained from scratch on news task data, medically relevant text curated from the news task dataset, and biomedical data provided by the shared task. Our news system achieves a sacreBLEU score of 39.5 on the WMT'20 En De test set outperforming the best submission from last year's task of 38.8. Our biomedical task Ru En and En Ru systems reach BLEU scores of 43.8 and 40.3 respectively on the WMT'20 Biomedical Task Test set, outperforming the previous year's best submissions.


Broadband Digital Over the Air Computation for Asynchronous Federated Edge Learning. This paper presents the first broadband digital over the air computation (AirComp) system for phase asynchronous OFDM based federated edge learning systems. Existing analog AirComp systems often assume perfect phase alignment via channel precoding and utilize uncoded analog modulation for model aggregation. In contrast, our digital AirComp system leverages digital modulation and channel codes to overcome phase asynchrony, thereby achieving accurate model aggregation in the asynchronous multi user OFDM systems. To realize a digital AirComp system, we propose a non orthogonal multiple access protocol that allows simultaneous transmissions from multiple edge devices, and present a joint channel decoding and aggregation (Jt CDA) decoder (i.e., full state joint decoder). To reduce the computation complexity, we further present a reduced complexity Jt CDA decoder (i.e., reduced state joint decoder), and its arithmetic sum bit error rate performance is similar to that of the full state joint decoder for most signal to noise ratio (SNR) regimes. Simulation results on test accuracy (of CIFAR10 dataset) versus SNR show that 1) analog AirComp systems are sensitive to phase asynchrony under practical setup, and the test accuracy performance exhibits an error floor even at high SNR regime 2) our digital AirComp system outperforms an analog AirComp system by at least 1.5 times when SNR 9dB, demonstrating the advantage of digital AirComp in asynchronous multi user OFDM systems.


How and Why to Manipulate Your Own Agent. We consider strategic settings where several users engage in a repeated online interaction, assisted by regret minimizing learning agents that repeatedly play a "game" on their behalf. We study the dynamics and average outcomes of the repeated game of the agents, and propose to view it as inducing a "meta game" between the users. Our main focus is on whether users can benefit in this meta game from "manipulating" their own agents by misreporting their parameters to them. We formally define the model of these meta games between the users for general games and analyze the equilibria induced on the users in two classes of games in which the time average of all regret minimizing dynamics converge to a single equilibrium.


Balancing the Spread of Two Opinions in Sparse Social Networks. Inspired by the famous Target Set Selection problem, we propose a new discrete model for simultaneously spreading several opinions within a social network and perform an initial study of its complexity. Here, we are given a social network, a seed set of agents for each opinion, and two thresholds for each agent. The first threshold represents the willingness of an agent to adopt an opinion if the agent has no opinion at all, while the second threshold states for willingness to acquire second opinion. The goal is to add as few agents as possible to the initial seed sets such that, once the process started with these seed sets stabilizes, each agent has either both opinions or none. We show that the problem is NP hard. Further, we investigate the complexity from the parameterized point of view. The problem is W 1 hard with respect to the solution size. The problem remains W 1 hard even for the combination of parameters the solution size and treewidth of the network even if all thresholds are at most 3, or the activation process stabilizes within 4 rounds. On the other hand, the problem is FPT when parameterized by the number of rounds, maximum threshold, and treewidth. This algorithm applies also for combined parameter treedepth and maximum threshold. Finally, we show that the problem is FPT when parameterized by vertex cover number of the input network alone. Our results also imply that the original Target Set Selection problem is FPT when parameterized by 3 PVC.


Explainability Pitfalls Beyond Dark Patterns in Explainable AI. To make Explainable AI (XAI) systems trustworthy, understanding harmful effects is just as important as producing well designed explanations. In this paper, we address an important yet unarticulated type of negative effect in XAI. We introduce explainability pitfalls(EPs), unanticipated negative downstream effects from AI explanations manifesting even when there is no intention to manipulate users. EPs are different from, yet related to, dark patterns, which are intentionally deceptive practices. We articulate the concept of EPs by demarcating it from dark patterns and highlighting the challenges arising from uncertainties around pitfalls. We situate and operationalize the concept using a case study that showcases how, despite best intentions, unsuspecting negative effects such as unwarranted trust in numerical explanations can emerge. We propose proactive and preventative strategies to address EPs at three interconnected levels research, design, and organizational.


Transient Execution of Non Canonical Accesses. Recent years have brought microarchitectural security intothe spotlight, proving that modern CPUs are vulnerable toseveral classes of microarchitectural attacks. These attacksbypass the basic isolation primitives provided by the CPUs process isolation, memory permissions, access checks, andso on. Nevertheless, most of the research was focused on In tel CPUs, with only a few exceptions. As a result, few vulner abilities have been found in other CPUs, leading to specula tions about their immunity to certain types of microarchi tectural attacks. In this paper, we provide a black box anal ysis of one of these under explored areas. Namely, we inves tigate the flaw of AMD CPUs which may lead to a transientexecution hijacking attack. Contrary to nominal immunity,we discover that AMD Zen family CPUs exhibit transient ex ecution patterns similar for Meltdown MDS. Our analysisof exploitation possibilities shows that AMDs design deci sions indeed limit the exploitability scope comparing to In tel CPUs, yet it may be possible to use them to amplify othermicroarchitectural attacks.


Meta Arcade A Configurable Environment Suite for Meta Learning. Most approaches to deep reinforcement learning (DRL) attempt to solve a single task at a time. As a result, most existing research benchmarks consist of individual games or suites of games that have common interfaces but little overlap in their perceptual features, objectives, or reward structures. To facilitate research into knowledge transfer among trained agents (e.g. via multi task and meta learning), more environment suites that provide configurable tasks with enough commonality to be studied collectively are needed. In this paper we present Meta Arcade, a tool to easily define and configure custom 2D arcade games that share common visuals, state spaces, action spaces, game components, and scoring mechanisms. Meta Arcade differs from prior environments in that both task commonality and configurability are prioritized entire sets of games can be constructed from common elements, and these elements are adjustable through exposed parameters. We include a suite of 24 predefined games that collectively illustrate the possibilities of this framework and discuss how these games can be configured for research applications. We provide several experiments that illustrate how Meta Arcade could be used, including single task benchmarks of predefined games, sample curriculum based approaches that change game parameters over a set schedule, and an exploration of transfer learning between games.


Exploring Avenues Beyond Revised DSD Functionals I. range separation, with xDSD as a special case. We have explored the use of range separation as a possible avenue for further improvement on our revDSD minimally empirical double hybrid functionals. Such omega DSD functionals encompass the XYG3 type of double hybrid (i.e., xDSD) as a special case for omega 0. As in our previous studies, the large and chemically diverse GMTKN55 benchmark suite was used for evaluation. Especially when using the D4 rather than D3BJ dispersion model, xDSD has a slight performance advantage in WTMAD2. As found previously, PBEP86 is the winning combination for the semilocal parts. xDSDn PBEP86 D4 marginally outperforms the previous 'best in class' omega B97M(2) Berkeley double hybrid, but without range separation and using fewer than half the number of empirical parameters. Range separation turns out to offer only marginal further improvements on GMTKN55 itself. While omega B97M(2) still yields better performance for small molecule thermochemistry, this is outweighed in WTMAD2 by superior performance of the new functionals for conformer equilibria. Results for two external test sets with pronounced static correlation effects may indicate that range separated double hybrids are more resilient to such effects.


GyroFlow Gyroscope Guided Unsupervised Optical Flow Learning. Existing optical flow methods are erroneous in challenging scenes, such as fog, rain, and night because the basic optical flow assumptions such as brightness and gradient constancy are broken. To address this problem, we present an unsupervised learning approach that fuses gyroscope into optical flow learning. Specifically, we first convert gyroscope readings into motion fields named gyro field. Second, we design a self guided fusion module to fuse the background motion extracted from the gyro field with the optical flow and guide the network to focus on motion details. To the best of our knowledge, this is the first deep learning based framework that fuses gyroscope data and image content for optical flow learning. To validate our method, we propose a new dataset that covers regular and challenging scenes. Experiments show that our method outperforms the state of art methods in both regular and challenging scenes. Code and dataset are available at https github.com megvii research GyroFlow.


Singular perturbation results for linear partial differential algebraic equations of hyperbolic type. We consider constrained partial differential equations of hyperbolic type with a small parameter varepsilon 0 , which turn parabolic in the limit case, i.e., for varepsilon 0 . The well posedness of the resulting systems is discussed and the corresponding solutions are compared in terms of the parameter varepsilon . For the analysis, we consider the system equations as partial differential algebraic equation based on the variational formulation of the problem. For a particular choice of the initial data, we reach first and second order estimates. For general initial data, lower order estimates are proven and their optimality is shown numerically.


News Information Decoupling An Information Signature of Catastrophes in Legacy News Media. Content alignment in news media was an observable information effect of Covid 19's initial phase. During the first half of 2020, legacy news media became "corona news" following national outbreak and crises management patterns. While news media are neither unbiased nor infallible as sources of events, they do provide a window into socio cultural responses to events. In this paper, we use legacy print media to empirically derive the principle News Information Decoupling (NID) that functions as an information signature of culturally significant catastrophic event. Formally, NID can provide input to change detection algorithms and points to several unsolved research problems in the intersection of information theory and media studies.


Dodging Attack Using Carefully Crafted Natural Makeup. Deep learning face recognition models are used by state of the art surveillance systems to identify individuals passing through public areas (e.g., airports). Previous studies have demonstrated the use of adversarial machine learning (AML) attacks to successfully evade identification by such systems, both in the digital and physical domains. Attacks in the physical domain, however, require significant manipulation to the human participant's face, which can raise suspicion by human observers (e.g. airport security officers). In this study, we present a novel black box AML attack which carefully crafts natural makeup, which, when applied on a human participant, prevents the participant from being identified by facial recognition models. We evaluated our proposed attack against the ArcFace face recognition model, with 20 participants in a real world setup that includes two cameras, different shooting angles, and different lighting conditions. The evaluation results show that in the digital domain, the face recognition system was unable to identify all of the participants, while in the physical domain, the face recognition system was able to identify the participants in only 1.22 of the frames (compared to 47.57 without makeup and 33.73 with random natural makeup), which is below a reasonable threshold of a realistic operational environment.


Physical drivers of ocean wave attenuation in the marginal ice zone. Despite a recent resurgence of observational studies attempting to quantify the ice induced attenuation of ocean waves in polar oceans, the physical processes governing this wave attenuation phenomenon are still poorly understood. Most analyses have attempted to relate the spatial rate of wave attenuation to wave frequency, but have not considered how this relationship depends on ice, wave and atmospheric conditions. An in depth analysis of the wave buoy data collected during the 2017 PIPERS programme in the Ross Sea is conducted. Standard techniques are used to estimate the spatial rate of wave attenuation alpha and the influence of a number of potential physical drivers on its dependence on wave period T is investigated. A power law is shown to consistently describe the alpha(T) relationship, in line with other recent analyses. The two parameters describing this relationship are found to depend significantly on sea ice concentration, mean wave period and wind direction, however. Looking at cross correlations between these physical drivers, three regimes of ice induced wave attenuation are identified, which characterise different ice, wave and wind conditions, and very possibly different processes causing this observed attenuation. This analysis suggests that parametrisations of ice induced wave decay in spectral wave models should be piecewise, so their dependence on local ice, wave and wind conditions is described in some way.


Boltzmann to Landau from the Gradient Flow Perspective. We revisit the grazing collision limit connecting the Boltzmann equation to the Landau( Fokker Planck) equation from their recent reinterpretations as gradient flows. Our results are in the same spirit as the Gamma convergence of gradient flows technique introduced by Sandier and Serfaty. In this setting, the grazing collision limit reduces to showing the lower semi continuous convergence of the Boltzmann entropy dissipation to the Landau entropy dissipation.


Stanford Pupper A Low Cost Agile Quadruped Robot for Benchmarking and Education. We present Stanford Pupper, an easily replicated open source quadruped robot designed specifically as a benchmark platform for legged robotics research. The robot features torque controllable brushless motors with high specific power that enable testing of impedance and torque based machine learning and optimization control approaches. Pupper can be built from the ground up in under 8 hours for a total cost under 2000, with all components either easily purchased or 3D printed. To rigorously compare control approaches, we introduce two benchmarks, Sprint and Scramble with a leader board maintained by Stanford Student Robotics. These benchmarks test high speed dynamic locomotion capability, and robustness to unstructured terrain. We provide a reference controller with dynamic, omnidirectional gaits that serves as a baseline for comparison. Reproducibility is demonstrated across multiple institutions with robots made independently. All material is available at https stanfordstudentrobotics.org quadruped benchmark.


Optimal control strategies to tailor antivirals for acute infectious diseases in the host. Several mathematical models in SARS CoV 2 have shown how target cell model can help to understand the spread of the virus in the host and how potential candidates of antiviral treatments can help to control the virus. Concepts as equilibrium and stability show to be crucial to qualitatively determine the best alternatives to schedule drugs, according to effectivity in inhibiting the virus infection and replication rates. Important biological events such as rebounds of the infections (when antivirals are incorrectly interrupted) can also be explained by means of a dynamic study of the target cell model. In this work, a full characterization of the dynamical behavior of the target cell models under control actions is made and, based on this characterization, the optimal fixed dose antiviral schedule that produces the smallest amount of dead cells (without viral load rebounds) is computed. Several simulation results performed by considering real patient data show the potential benefits of both, the model characterization and the control strategy.


Self distillation with Batch Knowledge Ensembling Improves ImageNet Classification. The recent studies of knowledge distillation have discovered that ensembling the "dark knowledge" from multiple teachers or students contributes to creating better soft targets for training, but at the cost of significantly more computations and or parameters. In this work, we present BAtch Knowledge Ensembling (BAKE) to produce refined soft targets for anchor images by propagating and ensembling the knowledge of the other samples in the same mini batch. Specifically, for each sample of interest, the propagation of knowledge is weighted in accordance with the inter sample affinities, which are estimated on the fly with the current network. The propagated knowledge can then be ensembled to form a better soft target for distillation. In this way, our BAKE framework achieves online knowledge ensembling across multiple samples with only a single network. It requires minimal computational and memory overhead compared to existing knowledge ensembling methods. Extensive experiments demonstrate that the lightweight yet effective BAKE consistently boosts the classification performance of various architectures on multiple datasets, e.g., a significant 0.7 gain of Swin T on ImageNet with only 1.5 computational overhead and zero additional parameters. BAKE does not only improve the vanilla baselines, but also surpasses the single network state of the arts on all the benchmarks.


Deep Contextual Learners for Protein Networks. Spatial context is central to understanding health and disease. Yet reference protein interaction networks lack such contextualization, thereby limiting the study of where protein interactions likely occur in the human body and how they may be altered in disease. Contextualized protein interactions could better characterize genes with disease specific interactions and elucidate diseases' manifestation in specific cell types. Here, we introduce AWARE, a graph neural message passing approach to inject cellular and tissue context into protein embeddings. AWARE optimizes for a multi scale embedding space, whose structure reflects network topology at a single cell resolution. We construct a multi scale network of the Human Cell Atlas and apply AWARE to learn protein, cell type, and tissue embeddings that uphold cell type and tissue hierarchies. We demonstrate AWARE's utility on the novel task of predicting whether a protein is altered in disease and where that association most likely manifests in the human body. To this end, AWARE outperforms generic embeddings without contextual information by at least 12.5 , showing AWARE's potential to reveal context dependent roles of proteins in disease.


An Efficient Finite Element Iterative Method for Solving a Nonuniform Size Modified Poisson Boltzmann Ion Channel Model. In this paper, a nonuniform size modified Poisson Boltzmann ion channel (nuSMPBIC) model is presented as a nonlinear system of an electrostatic potential and multiple ionic concentrations. It mixes nonlinear algebraic equations with a Poisson boundary value problem involving Dirichlet Neumann mixed boundary value conditions and a membrane surface charge density to reflect the effects of ion sizes and membrane charges on electrostatics and ionic concentrations. To overcome the difficulties of strong singularities and exponential nonlinearities, it is split into three submodels with a solution of Model 1 collecting all the singular points and Models 2 and 3 much easier to solve numerically than the original nuSMPBIC model. A damped two block iterative method is then presented to solve Model 3, along with a novel modified Newton iterative scheme for solving each related nonlinear algebraic system. To this end, an effective nuSMPBIC finite element solver is derived and then implemented as a program package that works for an ion channel protein with a three dimensional molecular structure and a mixture solution of multiple ionic species. Numerical results for a voltage dependent anion channel (VDAC) in a mixture of four ionic species demonstrate a fast convergence rate of the damped two block iterative method, the high performance of the software package, and the importance of considering nonuniform ion sizes. Moreover, the nuSMPBIC model is validated by the anion selectivity property of VDAC.


Stabilized finite element methods for a fully implicit logarithmic reformulation of the Oldroyd B constitutive law. Logarithmic conformation reformulations for viscoelastic constitutive laws have alleviated the high Weissenberg number problem, and the exploration of highly elastic flows became possible. However, stabilized formulations for logarithmic conformation reformulations in the context of finite element methods have not yet been widely studied. We present stabilized formulations for the logarithmic reformulation of the Oldroyd B model by Saramito (2014) based on the Variational Multiscale framework and Galerkin Least Squares method. The reformulation allows the use of Newton's method due to its fully implicit nature for solving the steady state problem directly. The proposed stabilization methods cure instabilities of convection and compatibility while preserving a three field problem. The spatial accuracy of the formulations is assessed with the four roll periodic box, revealing comparable accuracy between the methods. The formulations are validated with benchmark flows past a cylinder and through a 4 1 contraction. We found an excellent agreement to benchmark results in the literature. The algebraic sub grid scale method is highly robust, indicated by the high limiting Weissenberg numbers in the benchmark flows.


Propagation fronts in a simplified model of tumor growth with degenerate cross dependent self diffusivity. Motivated by tumor growth in Cancer Biology, we provide a complete analysis of existence and non existence of invasive fronts for the reduced Gatenby Gawlinski model partial t U U f(U) dV , qquad partial t V partial x f(U) , partial x V r V f(V), where f(u) 1 u and the parameters d,r are positive. Denoting by ( mathcal U , mathcal V ) the traveling wave profile and by ( mathcal U pm, mathcal V pm) its asymptotic states at pm infty , we investigate existence in the regimes i) d 1 (homogeneous invasion) ( mathcal U , mathcal V ) (0,1) , ( mathcal U , mathcal V ) (1,0) ii) d 1 (heterogeneous invasion) ( mathcal U , mathcal V ) (1 d,1) , ( mathcal U , mathcal V ) (1,0) . In both cases, we prove that a propagating front exists whenever the speed parameter c is strictly positive. We also derive an accurate approximation of the front profile in the singular limit c to 0 .


Statistical learning method for predicting density matrix based electron dynamics. We develop a statistical method to learn a molecular Hamiltonian matrix from a time series of electron density matrices. We extend our previous method to larger molecular systems by incorporating physical properties to reduce dimensionality, while also exploiting regularization techniques like ridge regression for addressing multicollinearity. With the learned Hamiltonian we can solve the Time Dependent Hartree Fock (TDHF) equation to propagate the electron density in time, and predict its dynamics for field free and field on scenarios. We observe close quantitative agreement between the predicted dynamics and ground truth for both field off trajectories similar to the training data, and field on trajectories outside of the training data.


The Koopman representation for self similar groupoid actions. We introduce the C algebra C ( kappa) generated by the Koopman representation kappa of an 'etale groupoid G acting on a measure space (X, mu) . We prove that for a level transitive self similar action (G,E) with E finite and uE 1 constant, there is an invariant measure nu on X E infty and that C ( kappa) is residually finite dimensional with a normalized self similar trace. We also discus p fold similarities of Hilbert spaces in connection to representations of the graph algebra C (E) and self similar representations of G in connection to the Cuntz Pimsner algebra C (G,E) .


Human robot collaborative object transfer using human motion prediction based on Cartesian pose Dynamic Movement Primitives. In this work, the problem of human robot collaborative object transfer to unknown target poses is addressed. The desired pattern of the end effector pose trajectory to a known target pose is encoded using DMPs (Dynamic Movement Primitives). During transportation of the object to new unknown targets, a DMP based reference model and an EKF (Extended Kalman Filter) for estimating the target pose and time duration of the human's intended motion is proposed. A stability analysis of the overall scheme is provided. Experiments using a Kuka LWR4 robot equipped with an ATI sensor at its end effector validate its efficacy with respect to the required human effort and compare it with an admittance control scheme.


Continuous Tasks and the Chromatic Simplicial Approximation Theorem. The celebrated 1999 Asynchronous Computability Theorem (ACT) of Herlihy and Shavit characterized the distributed tasks that are wait free solvable, and thus uncovered a deep connection with algebraic topology. We present a novel interpretation of this theorem, through the notion of continuous task, defined by an input output specification that is a continuous function. To do so, we introduce a chromatic version of a foundational result for algebraic topology the simplicial approximation theorem. In addition to providing a different proof of the ACT, the notion of continuous task seems interesting in itself. Indeed, besides the fact that certain distributed problems are naturally specified by continuous functions, continuous tasks have an expressive power that also allows to specify the density of desired outputs for each combination of possible inputs,for example.


On the number of critical points of stable solutions in bounded strip like domains. In this paper we show that there exists a family of domains Omega varepsilon subseteq mathbb R N with N ge2 , such that the stable solution of the problem begin cases Delta u g(u) hbox in Omega varepsilon u 0 hbox in Omega varepsilon u 0 hbox on partial Omega varepsilon end cases admits k critical points with k ge2 . Moreover the sets Omega varepsilon's are star shaped and "close" to a strip as varepsilon to0 . Next, if g(u) equiv1 and N ge3 we exhibit a family of domain Omega varepsilon's with positive mean curvature and solutions u varepsilon which have k critical points with k ge2 . In this case, the domains Omega varepsilon turn out to be "close" to a cylinder as varepsilon to0 .


A Moving Embedded Boundary Approach For The Compressible Navier Stokes Equations In A Block Structured Adaptive Refinement Framework. A computational technique has been developed to perform compressible flow simulations involving moving boundaries using an embedded boundary approach within the block structured adaptive mesh refinement framework of AMReX. A conservative, unsplit, cut cell approach is utilized and a ghost cell approach is developed for computing the flux on the moving, embedded boundary faces. Various test cases are performed to validate the method, and compared with analytical, experimental, and other numerical results in literature. Inviscid and viscous test cases are performed that span a wide regime of flow speeds acoustic (harmonically pulsating sphere), smooth flows (expansion fan created by a receding piston) and flows with shocks (shock cylinder interaction, shock wedge interaction, pitching NACA 0012 airfoil and shock cone interaction). A closed system with moving boundaries an oscillating piston in a cylinder, showed that the percentage error in mass within the system decreases with refinement, demonstrating the conservative nature of the moving boundary algorithm. Viscous test cases involve that of a horizontally moving cylinder at Re 40 , an inline oscillating cylinder at Re 100 , and a transversely oscillating cylinder at Re 185 . The judicious use of adaptive mesh refinement with appropriate refinement criteria to capture the regions of interest leads to well resolved flow features, and good quantitative comparison is observed with the results available in literature.


On Generalizations of Graded 2 absorbing and Graded 2 absorbing primary submodules. Let R be a graded commutative ring with non zero unity 1 and M be a graded unitary R module. In this article, we introduce the concepts of graded phi 2 absorbing and graded phi 2 absorbing primary submodules as generalizations of the concepts of graded 2 absorbing and graded 2 absorbing primary submodules. Let GS(M) be the set of all graded R submodules of M and phi GS(M) rightarrow GS(M) bigcup emptyset be a function. A proper graded R submodule K of M is said to be a graded phi 2 absorbing R submodule of M if whenever x, y are homogeneous elements of R and m is a homogeneous element of M with xym in K phi(K) , then xm in K or ym in K or xy in (K R M) , and K is said to be a graded phi 2 absorbing primary R submodule of M if whenever x, y are homogeneous elements of R and m is a homogeneous element of M with xym in K phi(K) , then xm or ym is in the graded radical of K or xy in (K R M) . We investigate several properties of these new types of graded submodules.


A posteriori error estimates for domain decomposition methods. Nowadays, a posteriori error control methods have formed a new important part of the numerical analysis. Their purpose is to obtain computable error estimates in various norms and error indicators that show distributions of global and local errors of a particular numerical solution. In this paper, we focus on a particular class of domain decomposition methods (DDM), which are among the most efficient numerical methods for solving PDEs. We adapt functional type a posteriori error estimates and construct a special form of error majorant which allows efficient error control of approximations computed via these DDM by performing only subdomain wise computations. The presented guaranteed error bounds use an extended set of admissible fluxes which arise naturally in DDM.


When is it permissible for artificial intelligence to lie? A trust based approach. Conversational Artificial Intelligence (AI) used in industry settings can be trained to closely mimic human behaviors, including lying and deception. However, lying is often a necessary part of negotiation. To address this, we develop a normative framework for when it is ethical or unethical for a conversational AI to lie to humans, based on whether there is what we call "invitation of trust" in a particular scenario. Importantly, cultural norms play an important role in determining whether there is invitation of trust across negotiation settings, and thus an AI trained in one culture may not be generalizable to others. Moreover, individuals may have different expectations regarding the invitation of trust and propensity to lie for human vs. AI negotiators, and these expectations may vary across cultures as well. Finally, we outline how a conversational chatbot can be trained to negotiate ethically by applying autoregressive models to large dialog and negotiations datasets.


Diversity by Design Balancing Protection and Inclusion in Social Networks. The unreflected promotion of diversity as a value in social interactions including technology mediated ones risks emphasizing the benefits of inclusion at the cost of not recognizing the potential harm from failing to protect stigmatized or marginalized individuals. Adopting the stance that technology is not value neutral, we attempt to answer the question of how technology mediated social platforms could accommodate emph diversity by design , by balancing the often competing values of protection and inclusion. This short paper presents our research agenda as well as initial analysis and outcomes. Building on approaches from scenario planning and the methodology of Value Sensitive Design, we identify ethical principles and arguments on how to curate diversity, which we seek to operationalize through formal argumentation.


Towards Domain Independent and Real Time Gesture Recognition Using mmWave Signal. Human gesture recognition using millimeter wave (mmWave) signals provides attractive applications including smart home and in car interface. While existing works achieve promising performance under controlled settings, practical applications are still limited due to the need of intensive data collection, extra training efforts when adapting to new domains (i.e. environments, persons and locations) and poor performance for real time recognition. In this paper, we propose DI Gesture, a domain independent and real time mmWave gesture recognition system. Specifically, we first derive the signal variation corresponding to human gestures with spatial temporal processing. To enhance the robustness of the system and reduce data collecting efforts, we design a data augmentation framework based on the correlation between signal patterns and gesture variations. Furthermore, we propose a dynamic window mechanism to perform gesture segmentation automatically and accurately, thus enable real time recognition. Finally, we build a lightweight neural network to extract spatial temporal information from the data for gesture classification. Extensive experimental results show DI Gesture achieves an average accuracy of 97.92 , 99.18 and 98.76 for new users, environments and locations, respectively. In real time scenario, the accuracy of DI Gesutre reaches over 97 with average inference time of 2.87ms, which demonstrates the superior robustness and effectiveness of our system.


Hyperbolically Discounted Reinforcement Learning on Reward Punishment Framework. This paper proposes a new reinforcement learning with hyperbolic discounting. Combining a new temporal difference error with the hyperbolic discounting in recursive manner and reward punishment framework, a new scheme to learn the optimal policy is derived. In simulations, it is found that the proposal outperforms the standard reinforcement learning, although the performance depends on the design of reward and punishment. In addition, the averages of discount factors w.r.t. reward and punishment are different from each other, like a sign effect in animal behaviors.


Double Similarity Distillation for Semantic Image Segmentation. The balance between high accuracy and high speed has always been a challenging task in semantic image segmentation. Compact segmentation networks are more widely used in the case of limited resources, while their performances are constrained. In this paper, motivated by the residual learning and global aggregation, we propose a simple yet general and effective knowledge distillation framework called double similarity distillation (DSD) to improve the classification accuracy of all existing compact networks by capturing the similarity knowledge in pixel and category dimensions, respectively. Specifically, we propose a pixel wise similarity distillation (PSD) module that utilizes residual attention maps to capture more detailed spatial dependencies across multiple layers. Compared with exiting methods, the PSD module greatly reduces the amount of calculation and is easy to expand. Furthermore, considering the differences in characteristics between semantic segmentation task and other computer vision tasks, we propose a category wise similarity distillation (CSD) module, which can help the compact segmentation network strengthen the global category correlation by constructing the correlation matrix. Combining these two modules, DSD framework has no extra parameters and only a minimal increase in FLOPs. Extensive experiments on four challenging datasets, including Cityscapes, CamVid, ADE20K, and Pascal VOC 2012, show that DSD outperforms current state of the art methods, proving its effectiveness and generality. The code and models will be publicly available.


Local Lipschitz continuity for energy integrals with slow growth. We consider some energy integrals under slow growth and we prove that the local minimizers are locally Lipschitz continuous. Many examples are given, either with subquadratic p,q growth and or anisotropic growth.


A sufficient condition for existence of iterative roots of PM functions without the characteristic endpoints condition. For PM functions of height 1, the existence of continuous iterative roots of any order was obtained under the characteristic endpoints condition. This raises an open problem about iterative roots without this condition, called characteristic endpoints problem. This problem is solved almost completely when the number of forts is equal to or less than the order. In this paper, we study the case that the number of forts is greater than the order and give a sufficient condition for existence of continuous iterative roots of order 2 with height 2, answering the characteristic endpoints problem partially.


Lectures on Nonnegative Polynomials and Sums of Squares. These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic geometry and commutative algebra. We briefly discuss the connection to semidefinite programming and applications. We expect the reader to be familiar with algebra and fundamentals of algebraic geometry, on the level of a graduate course, and know basic facts about positive semidefinite matrices.


An implementation of flow calculus for complexity analysis (tool paper). Abstract. We present a tool to automatically perform the data size analysis of imperative programs written in C. This tool, called pymwp, is inspired by a classical work on complexity analysis 10 , and allows to certify that the size of the values computed by a program will be bounded by a polynomial in the program's inputs. Strategies to provide meaningful feedback on non polynomial programs and to tame'' the non determinism of the original analysis were implemented following recent progresses 3 , but required particular care to accommodate the growing complexity of the analysis. The Python source code is intensively documented, and our numerous example files encompass the original examples as well as multiple test cases. A pip package should make it easy to install pymwp on any plat form, but an on line demo is also available for convenience.


On the Hierarchy of Natural Theories. It is a well known empirical phenomenon that natural axiomatic theories are pre well ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will discuss the significance of this problem and survey some strategies that have recently been developed for addressing it. These strategies emphasize the role of reflection principles and ordinal analysis and draw on analogies with research in recursion theory. We will conclude with a discussion of open problems and directions for future research.


A Two Population Mortality Model to Assess Longevity Basis Risk. Index based hedging solutions are used to transfer the longevity risk to the capital markets. However, mismatches between the liability of the hedger and the hedging instrument cause longevity basis risk. Therefore, an appropriate two population model to measure and assess the longevity basis risk is required. In this paper, we aim to construct a two population mortality model to provide an effective hedge against the longevity basis risk. The reference population is modelled by using the Lee Carter model with the renewal process and exponential jumps proposed by "Ozen and c S ahin (2020) and the dynamics of the book population are specified. The analysis based on the UK mortality data indicates that the proposed model for the reference population and the common age effect model for the book population provide a better fit compared to the other models considered in the paper. Different two population models are used to investigate the impact of the sampling risk on the index based hedge as well as to analyse the risk reduction regarding hedge effectiveness. The results show that the proposed model provides a significant risk reduction when mortality jumps and the sampling risk are taken into account.


OpenFish Biomimetic Design of a Soft Robotic Fish for High Speed Locomotion. We present OpenFish an open source soft robotic fish which is optimized for speed and efficiency. The soft robotic fish uses a combination of an active and passive tail segment to accurately mimic the thunniform swimming mode. Through the implementation of a novel propulsion system that is capable of achieving higher oscillation frequencies with a more sinusoidal waveform, the open source soft robotic fish was capable of achieving a top speed of 0.85 m s. Hereby, it outperforms the previously reported fastest soft robotic fish by 27 . Besides the propulsion system, the optimization of the fish morphology played a crucial role in achieving this speed. In this work, a comprehensive overview of the optimization of the soft robotic fish through experimental, numerical and theoretical investigation into oscillating propulsion is presented. Hereby, we hope this open source design will accelerate future research and developments in soft robotic fish.