On chip ultra narrow linewidth single mode microlaser on lithium niobate on insulator. We report an on chip single mode microlaser with low threshold fabricated on Erbium doped lithium niobate on insulator (LNOI). The single mode laser emission at 1550.5 nm wavelength is generated in a coupled photonic molecule, which is facilitated by Vernier effect when pumping the photonic molecule at 970 nm. A threshold pump power as low as 200 uW is demonstrated thanks to the high quality factor above 10 6. Moreover, the linewidth of the microlaser reaches 4 kHz, which is the best result in LNOI microlasers. Such single mode micro laser lithographically fabricated on chip is highly in demand by photonic community.


Custom Distribution for Sampling Based Motion Planning. Sampling based motion planning algorithms are widely used in robotics because they are very effective in high dimensional spaces. However, the success rate and quality of the solutions are determined by an adequate selection of their parameters such as the distance between states, the local planner, and the sampling distribution. For robots with large configuration spaces or dynamic restrictions, selecting these parameters is a challenging task. This paper proposes a method for improving the performance to a set of the most popular sampling based algorithms, the Rapidly exploring Random Trees (RRTs) by adjusting the sampling method. The idea is to replace the uniform probability density function (U PDF) with a custom distribution (C PDF) learned from previously successful queries in similar tasks. With a few samples, our method builds a custom distribution that allows the RRT to grow to promising states that will lead to a solution. We tested our method in several autonomous driving tasks such as parking maneuvers, obstacle clearance and under narrow passages scenarios. The results show that the proposed method outperforms the original RRT and several improved versions in terms of success rate, tree density and computation time. In addition, the proposed method requires a relatively small set of examples, unlike current deep learning techniques that require a vast amount of examples.


A comparative study of neural network techniques for automatic software vulnerability detection. Software vulnerabilities are usually caused by design flaws or implementation errors, which could be exploited to cause damage to the security of the system. At present, the most commonly used method for detecting software vulnerabilities is static analysis. Most of the related technologies work based on rules or code similarity (source code level) and rely on manually defined vulnerability features. However, these rules and vulnerability features are difficult to be defined and designed accurately, which makes static analysis face many challenges in practical applications. To alleviate this problem, some researchers have proposed to use neural networks that have the ability of automatic feature extraction to improve the intelligence of detection. However, there are many types of neural networks, and different data preprocessing methods will have a significant impact on model performance. It is a great challenge for engineers and researchers to choose a proper neural network and data preprocessing method for a given problem. To solve this problem, we have conducted extensive experiments to test the performance of the two most typical neural networks (i.e., Bi LSTM and RVFL) with the two most classical data preprocessing methods (i.e., the vector representation and the program symbolization methods) on software vulnerability detection problems and obtained a series of interesting research conclusions, which can provide valuable guidelines for researchers and engineers. Specifically, we found that 1) the training speed of RVFL is always faster than BiLSTM, but the prediction accuracy of Bi LSTM model is higher than RVFL 2) using doc2vec for vector representation can make the model have faster training speed and generalization ability than using word2vec and 3) multi level symbolization is helpful to improve the precision of neural network models.


Philosophical Specification of Empathetic Ethical Artificial Intelligence. In order to construct an ethical artificial intelligence (AI) two complex problems must be overcome. Firstly, humans do not consistently agree on what is or is not ethical. Second, contemporary AI and machine learning methods tend to be blunt instruments which either search for solutions within the bounds of predefined rules, or mimic behaviour. An ethical AI must be capable of inferring unspoken rules, interpreting nuance and context, possess and be able to infer intent, and explain not just its actions but its intent. Using enactivism, semiotics, perceptual symbol systems and symbol emergence, we specify an agent that learns not just arbitrary relations between signs but their meaning in terms of the perceptual states of its sensorimotor system. Subsequently it can learn what is meant by a sentence and infer the intent of others in terms of its own experiences. It has malleable intent because the meaning of symbols changes as it learns, and its intent is represented symbolically as a goal. As such it may learn a concept of what is most likely to be considered ethical by the majority within a population of humans, which may then be used as a goal. The meaning of abstract symbols is expressed using perceptual symbols of raw sensorimotor stimuli as the weakest (consistent with Ockham's Razor) necessary and sufficient concept, an intensional definition learned from an ostensive definition, from which the extensional definition or category of all ethical decisions may be obtained. Because these abstract symbols are the same for both situation and response, the same symbol is used when either performing or observing an action. This is akin to mirror neurons in the human brain. Mirror symbols may allow the agent to empathise, because its own experiences are associated with the symbol, which is also associated with the observation of another agent experiencing something that symbol represents.


Learning by Distillation A Self Supervised Learning Framework for Optical Flow Estimation. We present DistillFlow, a knowledge distillation approach to learning optical flow. DistillFlow trains multiple teacher models and a student model, where challenging transformations are applied to the input of the student model to generate hallucinated occlusions as well as less confident predictions. Then, a self supervised learning framework is constructed confident predictions from teacher models are served as annotations to guide the student model to learn optical flow for those less confident predictions. The self supervised learning framework enables us to effectively learn optical flow from unlabeled data, not only for non occluded pixels, but also for occluded pixels. DistillFlow achieves state of the art unsupervised learning performance on both KITTI and Sintel datasets. Our self supervised pre trained model also provides an excellent initialization for supervised fine tuning, suggesting an alternate training paradigm in contrast to current supervised learning methods that highly rely on pre training on synthetic data. At the time of writing, our fine tuned models ranked 1st among all monocular methods on the KITTI 2015 benchmark, and outperform all published methods on the Sintel Final benchmark. More importantly, we demonstrate the generalization capability of DistillFlow in three aspects framework generalization, correspondence generalization and cross dataset generalization.


Input Augmentation Improves Constrained Beam Search for Neural Machine Translation NTT at WAT 2021. This paper describes our systems that were submitted to the restricted translation task at WAT 2021. In this task, the systems are required to output translated sentences that contain all given word constraints. Our system combined input augmentation and constrained beam search algorithms. Through experiments, we found that this combination significantly improves translation accuracy and can save inference time while containing all the constraints in the output. For both En Ja and Ja En, our systems obtained the best evaluation performances in automatic evaluation.


L 2 stability analysis for Gabor phase retrieval. We consider the problem of reconstructing the missing phase information from spectrogram data mathcal G f , with mathcal G f(x,y) int mathbb R f(t) e pi(t x) 2 e 2 pi i t y dt, the Gabor transform of a signal f in L 2( mathbb R ) . More specifically, we are interested in domains Omega subseteq mathbb R 2 , which allow for stable local reconstruction, that is mathcal G g approx mathcal G f quad text in Omega quad Longrightarrow quad exists tau in mathbb T quad mathcal G g approx tau mathcal G f quad text in Omega. In recent work P. Grohs and M. Rathmair. Stable Gabor Phase Retrieval and Spectral Clustering. Comm. Pure Appl. Math. (2019) and P. Grohs and M. Rathmair. Stable Gabor phase retrieval for multivariate functions. J. Eur. Math. Soc. (2021) we established a characterization of the stability of this phase retrieval problem in terms of the connectedness of the observed measurements. The main downside of the aforementioned results is that the similarity of two spectrograms is measured w.r.t. a first order weighted Sobolev norm. In this article we remove this flaw and essentially show that the Sobolev norm may be replaced by the L 2 norm. Using this result allows us to show that it suffices to sample the spectrogram on suitable discrete sampling sets a property of crucial importance for practical applications.


Local assortativity affects the synchronizability of scale free network. Synchronization is critical for system level behaviour in physical, chemical, biological and social systems. Empirical evidence has shown that the network topology strongly impacts the synchronizablity of the system, and the analysis of their relationship remains an open challenge. We know that the eigenvalue distribution determines a network's synchronizability, but analytical expressions that connect network topology and all relevant eigenvalues (e.g., the extreme values) remain elusive. Here, we accurately determine its synchronizability by proposing an analytical method to estimate the extreme eigenvalues using perturbation theory. Our analytical method exposes the role global and local topology combine to influence synchronizability. We show that the smallest non zero eigenvalue which determines synchronizability is estimated by the smallest degree augmented by the inverse degree difference in the least connected nodes. From this, we can conclude that there exists a clear negative relationship between the smallest non zero eigenvalue and the local assortativity of nodes with smallest degree values. We validate the accuracy of our framework within the setting of a Scale free (SF) network and can be driven by commonly used ODEs (e.g., 3 dimensional Rosler or Lorenz dynamics). From the results, we demonstrate that the synchronizability of the network can be tuned by rewiring the connections of these particular nodes while maintaining the general degree profile of the network.


Linear Computation Coding. We introduce the new concept of computation coding. Similar to how rate distortion theory is concerned with the lossy compression of data, computation coding deals with the lossy computation of functions. Particularizing to linear functions, we present an algorithm to reduce the computational cost of multiplying an arbitrary given matrix with an unknown column vector. The algorithm decomposes the given matrix into the product of codebook wiring matrices whose entries are either zero or signed integer powers of two. For a typical implementation of deep neural networks, the proposed algorithm reduces the number of required addition units several times. To achieve the accuracy of 16 bit signed integer arithmetic for 4k vectors, no multipliers and only 1.5 adders per matrix entry are needed.


A Peek Into the Reasoning of Neural Networks Interpreting with Structural Visual Concepts. Despite substantial progress in applying neural networks (NN) to a wide variety of areas, they still largely suffer from a lack of transparency and interpretability. While recent developments in explainable artificial intelligence attempt to bridge this gap (e.g., by visualizing the correlation between input pixels and final outputs), these approaches are limited to explaining low level relationships, and crucially, do not provide insights on error correction. In this work, we propose a framework (VRX) to interpret classification NNs with intuitive structural visual concepts. Given a trained classification model, the proposed VRX extracts relevant class specific visual concepts and organizes them using structural concept graphs (SCG) based on pairwise concept relationships. By means of knowledge distillation, we show VRX can take a step towards mimicking the reasoning process of NNs and provide logical, concept level explanations for final model decisions. With extensive experiments, we empirically show VRX can meaningfully answer "why" and "why not" questions about the prediction, providing easy to understand insights about the reasoning process. We also show that these insights can potentially provide guidance on improving NN's performance.


Average reduced model to simulate solutions for heat and mass transfer through porous material. The design of numerical tools to model the behavior of building materials is a challenging task. The crucial point is to save computational cost and maintain high accuracy of predictions. There are two main limitations on the time scale choice, which put an obstacle to solve the above issues. First one is the numerical restriction. A number of research is dedicated to overcome this limitation and it is shown that it can be relaxed with innovative numerical schemes. The second one is the physical restriction. It is imposed by properties of a material, phenomena itself and corresponding boundary conditions. This work is focused on the study of a methodology that enables to overcome the physical restriction on the time grid. So called Average Reduced Model (ARM) is suggested. It is based on smoothing the time dependent boundary conditions. Besides, the approximate solution is decomposed into average and fluctuating components. The primer is obtained by integrating the equations over time, whereas the latter is an user defined empirical model. The methodology is investigated for both heat diffusion and coupled heat and mass transfer. It is demonstrated that the signal core of the boundary conditions is preserved and the physical restriction can be relaxed. The model proved to be reliable, accurate and efficient also in comparison with the experimental data of two years. The implementation of the scarce time step of 1 , sf h is justified. It is shown, that by maintaining the tolerable error it is possible to cut computational effort up to almost four times in comparison with the complete model with the same time grid.


Equilibrium States for Center Isometries. We develop a geometric method to establish existence of equilibrium states associated to H "older potentials for center isometries (as are regular elements of Anosov actions), in particular the entropy maximizing measure and the SRB measure. In these cases it is established the uniqueness, and it is given a characterization of the equilibrium states in terms in terms of their disintegrations along stable and unstable foliations. It is proven also that the resulting system is isomorphic to a Bernoulli scheme.


Hybrid Encoder Towards Efficient and Precise Native AdsRecommendation via Hybrid Transformer Encoding Networks. Transformer encoding networks have been proved to be a powerful tool of understanding natural languages. They are playing a critical role in native ads service, which facilitates the recommendation of appropriate ads based on user's web browsing history. For the sake of efficient recommendation, conventional methods would generate user and advertisement embeddings independently with a siamese transformer encoder, such that approximate nearest neighbour search (ANN) can be leveraged. Given that the underlying semantic about user and ad can be complicated, such independently generated embeddings are prone to information loss, which leads to inferior recommendation quality. Although another encoding strategy, the cross encoder, can be much more accurate, it will lead to huge running cost and become infeasible for realtime services, like native ads recommendation. In this work, we propose hybrid encoder, which makes efficient and precise native ads recommendation through two consecutive steps retrieval and ranking. In the retrieval step, user and ad are encoded with a siamese component, which enables relevant candidates to be retrieved via ANN search. In the ranking step, it further represents each ad with disentangled embeddings and each user with ad related embeddings, which contributes to the fine grained selection of high quality ads from the candidate set. Both steps are light weighted, thanks to the pre computed and cached intermedia results. To optimize the hybrid encoder's performance in this two stage workflow, a progressive training pipeline is developed, which builds up the model's capability in the retrieval and ranking task step by step. The hybrid encoder's effectiveness is experimentally verified with very little additional cost, it outperforms the siamese encoder significantly and achieves comparable recommendation quality as the cross encoder.


PGGANet Pose Guided Graph Attention Network for Person Re identification. Person re identification (reID) aims at retrieving a person from images captured by different cameras. For deep learning based reID methods, it has been proved that using local features together with global feature could help to give robust representation for person retrieval. Human pose information could provide the locations of human skeleton to effectively guide the network to pay more attention on these key areas and could also help to reduce the noise distractions from background or occlusion. However, methods proposed by previous pose based works might not be able to fully exploit the benefits of pose information and few of them take into consideration the different contributions of separate local features. In this paper, we propose a pose guided graph attention network, a multi branch architecture consisting of one branch for global feature, one branch for mid granular body features and one branch for fine granular key point features. We use a pre trained pose estimator to generate the key point heatmaps for local feature learning and carefully design a graph attention convolution layer to re assign the contribution weights of extracted local features by modeling the similarities relations. Experiment results demonstrate the effectiveness of our approach on discriminative feature learning and we show that our model achieves state of the art performances on several mainstream evaluation datasets. We also conduct a plenty of ablation studies and design different kinds of comparison experiments for our network to prove its effectiveness and robustness, including occluded experiments and cross domain tests.


Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto Bisimulation of a Fuzzy Graph Based Structure. Fuzzy graph based structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models, fuzzy social networks and fuzzy interpretations in fuzzy description logics are useful in various applications. Given two states, two actors or two individuals x and x' in such structures G and G' , respectively, the similarity degree between them can be defined to be Z(x,x') , where Z is the greatest fuzzy bisimulation between G and G' w.r.t. some t norm based fuzzy logic. Such a similarity measure has the Hennessy Milner property of fuzzy bisimulations as a strong logical foundation. A fuzzy bisimulation between a fuzzy structure G and itself is called a fuzzy auto bisimulation of G . The greatest fuzzy auto bisimulation of an image finite fuzzy graph based structure is a fuzzy equivalence relation. It is useful for classification and clustering. In this paper, we design an efficient algorithm with the complexity O((m log l n) log n ) for computing the fuzzy partition corresponding to the greatest fuzzy auto bisimulation of a finite fuzzy labeled graph G under the G "odel semantics, where n , m and l are the number of vertices, the number of non zero edges and the number of different fuzzy degrees of edges of G , respectively. Our notion of fuzzy partition is novel, defined only for finite sets with respect to the G "odel t norm, with the aim to facilitate the computation of the greatest fuzzy auto bisimulation. By using that algorithm, we also provide an algorithm with the complexity O(m cdot log l cdot log n n 2) for computing the greatest fuzzy bisimulation between two finite fuzzy labeled graphs under the G "odel semantics. This latter algorithm is better (has a lower complexity order) than the previously known algorithms for the considered problem. Our algorithms can be restated for the other mentioned fuzzy graph based structures.


Flag Hardy space theory on Heisenberg groups and applications. We establish a complete theory of the flag Hardy space on the Heisenberg group mathbb H n with characterisations via atomic decompositions, area functions, square functions, maximal functions and singular integrals. We introduce several new techniques to overcome the difficulties caused by the noncommutative Heisenberg group multiplication, and the lack of a suitable Fourier transformation and Cauchy Riemann type equations. Applications include the boundedness from the flag Hardy space to L 1( mathbb H n) of various singular integral operators that arise in complex analysis, a sharp boundedness result on the flag Hardy space of the Marcinkiewicz type multipliers introduced by M "uller, Ricci and Stein, and the decomposition of flag BMO space via singular integrals.


The Fourier Transform of the Stiefelian Surface Measure. Let operatorname St n k subset mathbb R n times k be the set of all n times k matrices whose columns are mutually orthogonal and of unit Euclidean length, and let mu n,k be the surface measure corresponding to this embedding. We calculate the first term of the asymptotic expansion of the Fourier transform of mu n,k for most directions, using the method of stationary phase. The asymptotic behavior near the remaining directions is unknown. We note some interesting connections to trace moments of orthogonal matrices, discrete random walks, Bessel functions, and pose some questions.


Singularities of inverse functions. A survey of general results on the singularities of inverses to meromorphic functions is given, with applications to holomorphic dynamics. This is a lecture delivered at the workshop "The role of complex analysis in complex dynamics" in Edinburgh on May 22 2013, with corrected mistakes and updated references.


May I Take Your Order? On the Interplay Between Time and Order in Process Mining. Process mining starts from event data. The ordering of events is vital for the discovery of process models. However, the timestamps of events may be unreliable or imprecise. To further complicate matters, also causally unrelated events may be ordered in time. The fact that one event is followed by another does not imply that the former causes the latter. This paper explores the relationship between time and order. Moreover, it describes an approach to preprocess event data having timestamp related problems. This approach avoids using accidental or unreliable orders and timestamps, creates partial orders to capture uncertainty, and allows for exploiting domain knowledge to (re)order events. Optionally, the approach also generates interleavings to be able to use existing process mining techniques that cannot handle partially ordered event data. The approach has been implemented using ProM and can be applied to any event log.


Stochastic modeling of stratospheric temperature. This study suggests a stochastic model for time series of daily zonal (circumpolar) mean stratospheric temperature at a given pressure level. It can be seen as an extension of previous studies which have developed stochastic models for surface temperatures. The proposed model is a sum of a deterministic seasonality function and a L 'evy driven multidimensional Ornstein Uhlenbeck process, which is a mean reverting stochastic process. More specifically, the deseasonalized temperature model is an order 4 continuous time autoregressive model, meaning that the stratospheric temperature is modeled to be directly dependent on the temperature over four preceding days, while the model's longer range memory stems from its recursive nature. This study is based on temperature data from the European Centre for Medium Range Weather Forecasts ERA Interim reanalysis model product. The residuals of the autoregressive model are well represented by normal inverse Gaussian distributed random variables scaled with a time dependent volatility function. A monthly variability in speed of mean reversion of stratospheric temperature is found, hence suggesting a generalization of the 4th order continuous time autoregressive model. A stochastic stratospheric temperature model, as proposed in this paper, can be used in geophysical analyses to improve the understanding of stratospheric dynamics. In particular, such characterizations of stratospheric temperature may be a step towards greater insight in modeling and prediction of large scale middle atmospheric events, such as for example sudden stratospheric warmings. Through stratosphere troposphere coupling, the stratosphere is hence a source of extended tropospheric predictability at weekly to monthly timescales, which is of great importance in several societal and industry sectors.


Actions of automorphisms of pure braid groups on homotopy groups of two sphere. We examine the Moore complex of the Delta group structure related to the pure braid groups and introduced by Berrick, Cohen, Wong, and Wu. We prove that the cycle and the boundary groups are invariant under all automorphisms of the pure braid groups, by that we extend the results of Li and Wu on the reflection automorphism. We conclude that there is an induced action of all automorphisms of the pure braid groups on the homotopy groups. Besides, we show that this action is non trivial for the small number of strands.


Effect of shaping plate apparatus on mechanical properties of 3D printed cement based materials Experimental and numerical studies. Precisely controlling the shape of the printed layers, eliminating the curved sides and internal stress concentration, and increasing the mechanical properties are essential to guarantee the quality of 3D printed cement based structures. This work aims at achieving the above mentioned targets through a specially designed shaping plate apparatus. The pressure (stress) distribution in the printed structure with a shaping plate apparatus (SP 3DPC), and the cross sectional shape, microstructure and mechanical properties of SP 3DPC were systematically investigated. Results indicate that using the shaping plate apparatus may slightly reduce the printing speed, but it can effectively constrain the free expansion of extrudate, control its cross sectional geometry, and improve the surface finish quality and mechanical properties of the printed structure. This study provides a theoretical basis and technical guidance for the design and application of the shaping plate apparatus.


Analysis of Testbeam Data Recorded with the Large CALICE AHCAL Technological Prototype. The Analog Hadron Calorimeter (AHCAL) concept developed by the CALICE collaboration is a highly granular sampling calorimeter with SI 3x3 square centi meter plastic scintillator tiles individually read out by silicon photomultipliers (SiPMs) as active material. We have built a large scalable engineering prototype with 38 layers in a steel absorber structure with a thickness of 4 interaction length. The prototype was exposed to electron, muon and hadron beams at the DESY and CERN testbeam facilities in 2018. The high granularity of the detector allows detailed studies of shower shapes and shower separation with the PandoraPFA particle flow algorithm as well as studies of hit times. The large amount of information is also an ideal place for the application of machine learning algorithms. This article provides an overview of the ongoing analyses.


Generating Hypothetical Events for Abductive Inference. Abductive reasoning starts from some observations and aims at finding the most plausible explanation for these observations. To perform abduction, humans often make use of temporal and causal inferences, and knowledge about how some hypothetical situation can result in different outcomes. This work offers the first study of how such knowledge impacts the Abductive NLI task which consists in choosing the more likely explanation for given observations. We train a specialized language model LMI that is tasked to generate what could happen next from a hypothetical scenario that evolves from a given event. We then propose a multi task model MTL to solve the Abductive NLI task, which predicts a plausible explanation by a) considering different possible events emerging from candidate hypotheses events generated by LMI and b) selecting the one that is most similar to the observed outcome. We show that our MTL model improves over prior vanilla pre trained LMs fine tuned on Abductive NLI. Our manual evaluation and analysis suggest that learning about possible next events from different hypothetical scenarios supports abductive inference.


Warp Consistency for Unsupervised Learning of Dense Correspondences. The key challenge in learning dense correspondences lies in the lack of ground truth matches for real image pairs. While photometric consistency losses provide unsupervised alternatives, they struggle with large appearance changes, which are ubiquitous in geometric and semantic matching tasks. Moreover, methods relying on synthetic training pairs often suffer from poor generalisation to real data. We propose Warp Consistency, an unsupervised learning objective for dense correspondence regression. Our objective is effective even in settings with large appearance and view point changes. Given a pair of real images, we first construct an image triplet by applying a randomly sampled warp to one of the original images. We derive and analyze all flow consistency constraints arising between the triplet. From our observations and empirical results, we design a general unsupervised objective employing two of the derived constraints. We validate our warp consistency loss by training three recent dense correspondence networks for the geometric and semantic matching tasks. Our approach sets a new state of the art on several challenging benchmarks, including MegaDepth, RobotCar and TSS. Code and models are at github.com PruneTruong DenseMatching.


A characterization of 4 chi rho (vertex )critical graphs. Given a graph G , a function c V(G) longrightarrow 1, ldots,k with the property that c(u) c(v) i implies that the distance between u and v is greater than i , is called a k packing coloring of G . The smallest integer k for which there exists a k packing coloring of G is called the packing chromatic number of G , and is denoted by chi rho . Packing chromatic vertex critical graphs are the graphs G for which chi rho(G x) chi rho(G) holds for every vertex x of G . A graph G is called a packing chromatic critical graph if for every proper subgraph H of G , chi rho(H) chi rho(G) . Both of the mentioned variations of critical graphs with respect to the packing chromatic number have already been studied. All packing chromatic (vertex )critical graphs G with chi rho(G) 3 were characterized, while there were known only partial results for graphs G with chi rho(G) 4 . In this paper, we provide characterizations of all packing chromatic vertex critical graphs G with chi rho(G) 4 and all packing chromatic critical graphs G with chi rho(G) 4 .


CellProfiler Analyst 3.0 Accessible data exploration and machine learning for image analysis. Image based experiments can yield many thousands of individual measurements describing each object of interest, such as cells in microscopy screens. CellProfiler Analyst is a free, open source software package designed for the exploration of quantitative image derived data and the training of machine learning classifiers with an intuitive user interface. We have now released CellProfiler Analyst 3.0, which in addition to enhanced performance adds support for neural network classifiers, identifying rare object subsets, and direct transfer of objects of interest from visualisation tools into the Classifier tool for use as training data. This release also increases interoperability with the recently released CellProfiler 4, making it easier for users to detect and measure particular classes of objects in their analyses.


Root Radii and Subdivision for Polynomial Root Finding. We depart from our approximation of 2000 of all root radii of a polynomial, which has readily extended Sch "o nhage's efficient algorithm of 1982 for a single root radius. We revisit this extension, advance it, based on our simple but novel idea, and yield significant practical acceleration of the known near optimal subdivision algorithms for complex and real root finding of user's choice. We achieve this by means of significant saving of exclusion tests and Taylor's shifts, which are the bottleneck of subdivision root finders. This saving relies on our novel recipes for the initialization of root finding iterations of independent interest. We demonstrate our practical progress with numerical tests, provide extensive analysis of the resulting algorithms, and show that, like the preceding subdivision root finders, they support near optimal Boolean complexity bounds.


Conditional Training with Bounding Map for Universal Lesion Detection. Universal Lesion Detection (ULD) in computed tomography plays an essential role in computer aided diagnosis. Promising ULD results have been reported by coarse to fine two stage detection approaches, but such two stage ULD methods still suffer from issues like imbalance of positive v.s. negative anchors during object proposal and insufficient supervision problem during localization regression and classification of the region of interest (RoI) proposals. While leveraging pseudo segmentation masks such as bounding map (BM) can reduce the above issues to some degree, it is still an open problem to effectively handle the diverse lesion shapes and sizes in ULD. In this paper, we propose a BM based conditional training for two stage ULD, which can (i) reduce positive vs. negative anchor imbalance via BM based conditioning (BMC) mechanism for anchor sampling instead of traditional IoU based rule and (ii) adaptively compute size adaptive BM (ABM) from lesion bounding box, which is used for improving lesion localization accuracy via ABMsupervised segmentation. Experiments with four state of the art methods show that the proposed approach can bring an almost free detection accuracy improvement without requiring expensive lesion mask annotations.


Rate distortion comparison of a few gradient quantizers. This article is in the context of gradient compression. Gradient compression is a popular technique for mitigating the communication bottleneck observed when training large machine learning models in a distributed manner using gradient based methods such as stochastic gradient descent. In this article, assuming a Gaussian distribution for the components in gradient, we find the rate distortion trade off of gradient quantization schemes such as Scaled sign and Top K, and compare with the Shannon rate distortion limit. A similar comparison with vector quantizers also is presented.


Decay of scalar curvature on uniformly contractible manifolds with finite asymptotic dimension. Gromov proved a quadratic decay inequality of scalar curvature for a class of complete manifolds. In this paper, we prove that for any uniformly contractible manifold with finite asymptotic dimension, its scalar curvature decays to zero at a rate depending only on the contractibility radius of the manifold and the diameter control of the asymptotic dimension. We construct examples of uniformly contractible manifolds with finite asymptotic dimension whose scalar curvature functions decay arbitrarily slowly. This shows that our result is the best possible. We prove our result by studying the index pairing between Dirac operators and compactly supported vector bundles with Lipschitz control. A key technical ingredient for the proof of our main result is a Lipschitz control for the topological K theory of finite dimensional simplicial complexes.


Total value adjustment of Bermudan option valuation under pure jump L 'evy fluctuations. During the COVID 19 pandemic, many institutions have announced that their counterparties are struggling to fulfill contracts.Therefore, it is necessary to consider the counterparty default risk when pricing options. After the 2008 financial crisis, a variety of value adjustments have been emphasized in the financial industry. The total value adjustment (XVA) is the sum of multiple value adjustments, which is also investigated in many stochastic models such as Heston and Bates models. In this work, a widely used pure jump L 'evy process, the CGMY process has been considered for pricing a Bermudan option with various value adjustments. Under a pure jump L 'evy process, the value of derivatives satisfies a fractional partial differential equation(FPDE). Therefore, we construct a method which combines Monte Carlo with finite difference of FPDE (MC FF) to find the numerical approximation of exposure, and compare it with the benchmark Monte Carlo COS (MC COS) method. We use the discrete energy estimate method, which is different with the existing works, to derive the convergence of the numerical scheme.Based on the numerical results, the XVA is computed by the financial


Generalizable Multi Camera 3D Pedestrian Detection. We present a multi camera 3D pedestrian detection method that does not need to train using data from the target scene. We estimate pedestrian location on the ground plane using a novel heuristic based on human body poses and person's bounding boxes from an off the shelf monocular detector. We then project these locations onto the world ground plane and fuse them with a new formulation of a clique cover problem. We also propose an optional step for exploiting pedestrian appearance during fusion by using a domain generalizable person re identification model. We evaluated the proposed approach on the challenging WILDTRACK dataset. It obtained a MODA of 0.569 and an F score of 0.78, superior to state of the art generalizable detection techniques.


Investigating Critical Risk Factors in Liver Cancer Prediction. We exploit liver cancer prediction model using machine learning algorithms based on epidemiological data of over 55 thousand peoples from 2014 to the present. The best performance is an AUC of 0.71. We analyzed model parameters to investigate critical risk factors that contribute the most to prediction.


Incidence Monoids Automorphisms and Complexity. The algebraic monoid structure of an incidence algebra is investigated. We show that the multiplicative structure alone determines the algebra automorphisms of the incidence algebra. We present a formula that expresses the complexity of the incidence monoid with respect to the two sided action of its maximal torus in terms of the zeta polynomial of the poset. In addition, we characterize the finite (connected) posets whose incidence monoids have complexity leq 1 . Finally, we determine the covering relations of the adherence order on the incidence monoid of a star poset.


Optimal Fees for Geometric Mean Market Makers. Constant Function Market Makers (CFMMs) are a family of automated market makers that enable censorship resistant decentralized exchange on public blockchains. Arbitrage trades have been shown to align the prices reported by CFMMs with those of external markets. These trades impose costs on Liquidity Providers (LPs) who supply reserves to CFMMs. Trading fees have been proposed as a mechanism for compensating LPs for arbitrage losses. However, large fees reduce the accuracy of the prices reported by CFMMs and can cause reserves to deviate from desirable asset compositions. CFMM designers are therefore faced with the problem of how to optimally select fees to attract liquidity. We develop a framework for determining the value to LPs of supplying liquidity to a CFMM with fees when the underlying process follows a general diffusion. Focusing on a popular class of CFMMs which we call Geometric Mean Market Makers (G3Ms), our approach also allows one to select optimal fees for maximizing LP value. We illustrate our methodology by showing that an LP with mean variance utility will prefer a G3M over all alternative trading strategies as fees approach zero.


Can Fortran's 'do concurrent' replace directives for accelerated computing?. Recently, there has been growing interest in using standard language constructs (e.g. C 's Parallel Algorithms and Fortran's do concurrent) for accelerated computing as an alternative to directive based APIs (e.g. OpenMP and OpenACC). These constructs have the potential to be more portable, and some compilers already (or have plans to) support such standards. Here, we look at the current capabilities, portability, and performance of replacing directives with Fortran's do concurrent using a mini app that currently implements OpenACC for GPU acceleration and OpenMP for multi core CPU parallelism. We replace as many directives as possible with do concurrent, testing various configurations and compiler options within three major compilers GNU's gfortran, NVIDIA's nvfortran, and Intel's ifort. We find that with the right compiler versions and flags, many directives can be replaced without loss of performance or portability, and, in the case of nvfortran, they can all be replaced. We discuss limitations that may apply to more complicated codes and future language additions that may mitigate them. The software and Singularity containers are publicly provided to allow the results to be reproduced.


OSKR OKAI Systematic Optimization of Key Encapsulation Mechanisms from Module Lattice. In this work, we make emph systematic optimizations of key encapsulation mechanisms (KEM) based on module learning with errors (MLWE), covering algorithmic design, fundamental operation of number theoretic transform (NTT), approaches to expanding encapsulated key size, and optimized implementation coding. We focus on Kyber (now in the Round 3 finalist of NIST PQC standardization) and Aigis (a variant of Kyber proposed at PKC 2020). By careful analysis, we first observe that the algorithmic design of Kyber and Aigis can be optimized by the mechanism of asymmetric key consensus with noise (AKCN) proposed in cite JZ16,JZ19 . Specifically, the decryption process can be simplified with AKCN, leading to a both faster and less error prone decryption process. Moreover, the AKCN based optimized version has perfect compatibility with the deployment of Kyber Aigis in reality, as they can run on the same parameters, the same public key, and the same encryption process. We make a systematic study of the variants of NTT proposed in recent years for extending its applicability scope, make concrete analysis of their exact computational complexity, and in particular show their equivalence. We then present a new variant named hybrid NTT (H NTT), combining the advantages of existing NTT methods, and derive its optimality in computational complexity. The H NTT technique not only has larger applicability scope but also allows for modular and unified implementation codes of NTT operations even with varying module dimensions. We analyze and compare the different approaches to expand the size of key to be encapsulated (specifically, 512 bit key for dimension of 1024), and conclude with the most economic approach. To mitigate the compatibility issue in implementations we adopt the proposed H NTT method.


ViT Cane Visual Assistant for the Visually Impaired. Blind and visually challenged face multiple issues with navigating the world independently. Some of these challenges include finding the shortest path to a destination and detecting obstacles from a distance. To tackle this issue, this paper proposes ViT Cane, which leverages a vision transformer model in order to detect obstacles in real time. Our entire system consists of a Pi Camera Module v2, Raspberry Pi 4B with 8GB Ram and 4 motors. Based on tactile input using the 4 motors, the obstacle detection model is highly efficient in helping visually impaired navigate unknown terrain and is designed to be easily reproduced. The paper discusses the utility of a Visual Transformer model in comparison to other CNN based models for this specific application. Through rigorous testing, the proposed obstacle detection model has achieved higher performance on the Common Object in Context (COCO) data set than its CNN counterpart. Comprehensive field tests were conducted to verify the effectiveness of our system for holistic indoor understanding and obstacle avoidance.


Floer Homology From Generalized Morse Smale Dynamical Systems to Forman's Combinatorial Vector Fields. We construct a Floer type boundary operator for generalised Morse Smale dynamical systems on compact smooth manifolds by counting the number of suitable flow lines between closed (both homoclinic and periodic) orbits and isolated critical points. The same principle works for the discrete situation of general combinatorial vector fields, defined by Forman, on CW complexes. We can thus recover the mathbb Z 2 homology of both smooth and discrete structures directly from the flow lines (V paths) of our vector field.


Noncommutative resolutions and intersection cohomology for quotient singularities. For a large class of good moduli spaces X of symmetric stacks mathcal X , we define noncommutative motives mathbb D text nc (X) which can be regarded as categorifications of the intersection cohomology of X . These motives are summands of noncommutative resolutions of singularities mathbb D (X) subset D b( mathcal X ) of X . The category mathbb D (X) is a global analogue of the noncommutative resolutions of singularities of V G for V a symmetric representation of a reductive group G constructed by v S penko Van den Bergh.


Zero Time Waste Recycling Predictions in Early Exit Neural Networks. The problem of reducing processing time of large deep learning models is a fundamental challenge in many real world applications. Early exit methods strive towards this goal by attaching additional Internal Classifiers (ICs) to intermediate layers of a neural network. ICs can quickly return predictions for easy examples and, as a result, reduce the average inference time of the whole model. However, if a particular IC does not decide to return an answer early, its predictions are discarded, with its computations effectively being wasted. To solve this issue, we introduce Zero Time Waste (ZTW), a novel approach in which each IC reuses predictions returned by its predecessors by (1) adding direct connections between ICs and (2) combining previous outputs in an ensemble like manner. We conduct extensive experiments across various datasets and architectures to demonstrate that ZTW achieves a significantly better accuracy vs. inference time trade off than other recently proposed early exit methods.


On the equivalence of certain quasi Hermitian varieties. In A. Aguglia, A. Cossidente, G. Korchmaros, "On quasi Hermitian varieties", J. Comb. Des. 20 (2012), 433 447 new quasi Hermitian varieties mathcal M alpha, beta in mathrm PG (r,q 2) depending on a pair of parameters alpha, beta from the underlying field mathrm GF (q 2) have been constructed. In the present paper we determine the projective equivalence classes of such varieties for r 3 and q odd.


Long Time Behavior of the Half Wave Trace and Weyl Remainders. Given a compact Riemannian manifold (M,g) , Chazarain, H "ormander, Duistermaat, and Guillemin study the half wave trace operatorname HWT M,g ( tau) in mathscr S '( mathbb R tau) . From the regularity of the half wave trace near tau 0 , H "ormander deduces the standard remainder smash O( sigma d 1 ) O( lambda d 2 1 2 ) in Weyl's law, where d dim M . From the assumption of global qualitative regularity, Duistermaat and Guillemin improve this to o( sigma d 1 ) . We show using a modification of Newman's proof of Ingham's Tauberian theorem that even fairly bad Sobolev bounds on operatorname HWT M,g ( tau) yield further improved error terms. In particular, if the (d 1) fold regularized half wave trace langle D tau rangle 1 d operatorname HWT M,g ( tau) is in smash L 1,1 mathrm loc ( mathbb R backslash 0 ) (in particular ruling out the case of Zoll manifolds) (per Duistermaat Guillemin, this holds "generically" for d geq 3 ) and if smash lVert langle D tau rangle 1 d operatorname HWT M,g ( tau) rVert L 1,1 T, T backslash ( 1, 1) grows at most as fast as a polynomial (of whatever degree) as T to infty , then Weyl's law (possibly with subleading polynomial corrections to the leading order polynomial asymptotics) holds with an O( sigma d 1 epsilon ) remainder, for some specifiable epsilon 0 .


DEGREE A Data Efficient Generation Based Event Extraction Model. Event extraction requires high quality expert human annotations, which are usually expensive. Therefore, learning a data efficient event extraction model that can be trained with only a few labeled examples has become a crucial challenge. In this paper, we focus on low resource end to end event extraction and propose DEGREE, a data efficient model that formulates event extraction as a conditional generation problem. Given a passage and a manually designed prompt, DEGREE learns to summarize the events mentioned in the passage into a natural sentence that follows a predefined pattern. The final event predictions are then extracted from the generated sentence with a deterministic algorithm. DEGREE has three advantages to learn well with less training data. First, our designed prompts provide semantic guidance for DEGREE to leverage DEGREE and thus better capture the event arguments. Moreover, DEGREE is capable of using additional weakly supervised information, such as the description of events encoded in the prompts. Finally, DEGREE learns triggers and arguments jointly in an end to end manner, which encourages the model to better utilize the shared knowledge and dependencies among them. Our experimental results demonstrate the strong performance of DEGREE for low resource event extraction.


A wavelength tunable mode locked Yb doped fiber laser based on nonlinear Kerr beam clean up effect. We demonstrate a novel approach to achieve wavelength tunable ultrashort pulses from an all fiber mode locked laser with a saturable absorber based on nonlinear Kerr beam clean up effect. This saturable absorber was formed by a single mode fiber spliced to a graded index multimode fiber, and its tunable band pass filter effect is studied by a numerical model. By adjusting the bending condition of graded index multimode fiber, the laser could produce dissipative soliton pulses with their central wavelength tunable from1040 nm to 1063 nm. The pulse width of output laser could be compressed externally to 791 fs, and the signal to noise ratio of its radio frequency spectrum was measured to be 75.5 dB. This work provides a new idea for the design of wavelength tunable mode locked laser which can be used as an attractive light source in communication system.


Rainbow spanning trees in random edge colored graphs. A well known result of Erd H o s and R 'enyi states that if p frac c log n n and G is a random graph constructed from G(n,p) , G is a.a.s. disconnected when c 1 , and G is a.a.s. connected when c 1 . When c 1 , we may equivalently say that G a.a.s. contains a spanning tree. We find analogous thresholds in the setting of random edge colored graphs. Specifically, we consider a family mathcal G of n 1 graphs on a common set X of n vertices, each of a different color, and each randomly chosen from G(n,p) , with p frac c log n n 2 . We show that when c 2 , there a.a.s. exists a spanning tree on X using exactly one edge of each color, and we show that such a spanning tree a.a.s. does not exist when c 2 .


Generically, Arnold Liouville Systems Cannot be Bi Hamiltonian. We state and prove that a certain class of smooth functions said to be BH separable is a meagre subset for the Fr 'echet topology. Because these functions are the only admissible Hamiltonians for Arnold Liouville systems admitting a bi Hamiltonian structure, we get that, generically, Arnold Liouville systems cannot be bi Hamiltonian. At the end of the paper, we determine, both as a concrete representation of our general result and as an illustrative list, which polynomial Hamiltonians H of the form H(x,y) xy ax 3 bx 2y cxy 2 dy 3 are BH separable.


Zero and Non zero Sum Risk sensitive Semi Markov Games. In this article we consider zero and non zero sum risk sensitive average criterion games for semi Markov processes with a finite state space. For the zero sum case, under suitable assumptions we show that the game has a value. We also establish the existence of a stationary saddle point equilibrium. For the non zero sum case, under suitable assumptions we establish the existence of a stationary Nash equilibrium.


Gromov Wasserstein Distances between Gaussian Distributions. The Gromov Wasserstein distances were proposed a few years ago to compare distributions which do not lie in the same space. In particular, they offer an interesting alternative to the Wasserstein distances for comparing probability measures living on Euclidean spaces of different dimensions. In this paper, we focus on the Gromov Wasserstein distance with a ground cost defined as the squared Euclidean distance and we study the form of the optimal plan between Gaussian distributions. We show that when the optimal plan is restricted to Gaussian distributions, the problem has a very simple linear solution, which is also solution of the linear Gromov Monge problem. We also study the problem without restriction on the optimal plan, and provide lower and upper bounds for the value of the Gromov Wasserstein distance between Gaussian distributions.


New Fixed Figure Results with the Notion of k Ellipse. In this paper, as a geometric approach to the fixed point theory, we prove new fixed figure results using the notion of k ellipse on a metric space. For this purpose, we are inspired by the Caristi type contraction, Kannan type contraction, Chatterjea type contraction and ' C iri ' c type contraction. After that, we give some existence and uniqueness theorems of a fixed k ellipse. We also support our obtained results with illustrative examples. Finally, we present a new application to the S Shaped Rectified Linear Activation Unit ( SReLU ) to show the importance of our theoretical results.


Collision Avoidance Using Spherical Harmonics. In this paper, we propose a novel optimization based trajectory planner that utilizes spherical harmonics to estimate the collision free solution space around an agent. The space is estimated using a constrained over determined least squares estimator to determine the parameters that define a spherical harmonic approximation at a given time step. Since spherical harmonics produce star convex shapes, the planner can consider all paths that are in line of sight for the agent within a given radius. This contrasts with other state of the art planners that generate trajectories by estimating obstacle boundaries with rough approximations and using heuristic rules to prune a solution space into one that can be easily explored. Those methods cause the trajectory planner to be overly conservative in environments where an agent must get close to obstacles to accomplish a goal. Our method is shown to perform on par with other path planners and surpass these planners in certain environments. It generates feasible trajectories while still running in real time and guaranteeing safety when a valid solution exists.


Embedding Code Contexts for Cryptographic API Suggestion New Methodologies and Comparisons. Despite recent research efforts, the vision of automatic code generation through API recommendation has not been realized. Accuracy and expressiveness challenges of API recommendation needs to be systematically addressed. We present a new neural network based approach, Multi HyLSTM for API recommendation targeting cryptography related code. Multi HyLSTM leverages program analysis to guide the API embedding and recommendation. By analyzing the data dependence paths of API methods, we train embedding and specialize a multi path neural network architecture for API recommendation tasks that accurately predict the next API method call. We address two previously unreported programming language specific challenges, differentiating functionally similar APIs and capturing low frequency long range influences. Our results confirm the effectiveness of our design choices, including program analysis guided embedding, multi path code suggestion architecture, and low frequency long range enhanced sequence learning, with high accuracy on top 1 recommendations. We achieve a top 1 accuracy of 91.41 compared with 77.44 from the state of the art tool SLANG. In an analysis of 245 test cases, compared with the commercial tool Codota, we achieve a top 1 recommendation accuracy of 88.98 , which is significantly better than Codota's accuracy of 64.90 . We publish our data and code as a large Java cryptographic code dataset.


Estimates for the entropy numbers of the Nikol'skii Besov classes of periodic functions of many variables in the space of quasi continuous functions. We obtained exact order estimates for the entropy numbers of the Nikol'skii Besov classes B boldsymbol r p, theta of periodic functions of many variables in the metric of the space of quasi continuous functions.


Disjoint spread systems and fault location. When k factors each taking one of v levels may affect the correctness or performance of a complex system, a test is selected by setting each factor to one of its levels and determining whether the system functions as expected (passes the test) or not (fails). In our setting, each test failure can be attributed to at least one faulty (factor, level) pair. A nonadaptive test suite is a selection of such tests to be executed in parallel. One goal is to minimize the number of tests in a test suite from which we can determine which (factor, level) pairs are faulty, if any. In this paper, we determine the number of tests needed to locate faults when exactly one (or at most one) pair is faulty. To do this, we address an equivalent problem, to determine how many set partitions of a set of size N exist in which each partition contains v classes and no two classes in the partitions are equal.


Contextualized Spatio Temporal Contrastive Learning with Self Supervision. Modern self supervised learning algorithms typically enforce persistency of instance representations across views. While being very effective on learning holistic image and video representations, such an objective becomes sub optimal for learning spatio temporally fine grained features in videos, where scenes and instances evolve through space and time. In this paper, we present Contextualized Spatio Temporal Contrastive Learning (ConST CL) to effectively learn spatio temporally fine grained video representations via self supervision. We first design a region based pretext task which requires the model to transform in stance representations from one view to another, guided by context features. Further, we introduce a simple network design that successfully reconciles the simultaneous learning process of both holistic and local representations. We evaluate our learned representations on a variety of downstream tasks and show that ConST CL achieves competitive results on 6 datasets, including Kinetics, UCF, HMDB, AVA Kinetics, AVA and OTB.


Comparison Analysis of Facebook's Prophet, Amazon's DeepAR and CNN QR Algorithms for Successful Real World Sales Forecasting. By successfully solving the problem of forecasting, the processes in the work of various companies are optimized and savings are achieved. In this process, the analysis of time series data is of particular importance. Since the creation of Facebook's Prophet, and Amazon's DeepAR and CNN QR forecasting models, algorithms have attracted a great deal of attention. The paper presents the application and comparison of the above algorithms for sales forecasting in distribution companies. A detailed comparison of the performance of algorithms over real data with different lengths of sales history was made. The results show that Prophet gives better results for items with a longer history and frequent sales, while Amazon's algorithms show superiority for items without a long history and items that are rarely sold.


Ap 'ery Type Series and Colored Multiple Zeta Values. In this paper, we introduce and study new classes of Ap 'ery type series involving the multiple t harmonic sums by combining the methods of iterated integral and Fourier Legendre series expansions, where the multiple t harmonic sums are a variation of multiple harmonic sums in which all the summation indices are restricted to odd numbers only. Our approach also enables us to generalize some old classes of Ap 'ery type series involving harmonic sums to those with products of harmonic sums and multiple t harmonic sums. In all of these series, the central binomial coefficients appear as a n pm 1 or a n pm 2 where a n binom 2n n 4 n . We show that every such series can be expressed as either the real or the imaginary part of a mathbb Q linear combination of colored multiple zeta values of level 4.


On the Robustness of "Robust reversible data hiding scheme based on two layer embedding strategy". In the paper "Robust reversible data hiding scheme based on two layer embedding strategy" published in INS recently, Kumar et al. proposed a robust reversible data hiding (RRDH) scheme based on two layer embedding. Secret data was embedded into the most significant bit (MSB) planes to increase robustness, and a sorting strategy based on local complexity was adopted to reduce distortion. However, Kumar et al.'s reversible data hiding (RDH) scheme is not as robust against joint photographic experts group (JPEG) compression as stated and can not be called RRDH. This comment first gives a brief description of their RDH scheme, then analyses their scheme's robustness from the perspective of JPEG compression principles. JPEG compression will change pixel values, thereby destroying auxiliary information and pixel value ordering required to extract secret data correctly, making their scheme not robust. Next, the changes in both bit plane and pixel value ordering after JPEG compression are shown and analysed by different robustness testing experiments. Finally, some suggestions are given to improve the robustness.


Multi label Classification via Adaptive Resonance Theory based Clustering. This paper proposes a multi label classification algorithm capable of continual learning by applying an Adaptive Resonance Theory (ART) based clustering algorithm and the Bayesian approach for label probability computation. The ART based clustering algorithm adaptively and continually generates prototype nodes corresponding to given data, and the generated nodes are used as classifiers. The label probability computation independently counts the number of label appearances for each class and calculates the Bayesian probabilities. Thus, the label probability computation can cope with an increase in the number of labels. Experimental results with synthetic and real world multi label datasets show that the proposed algorithm has competitive classification performance to other well known algorithms while realizing continual learning.


Fundamental Constructs in Programming Languages. Specifying the semantics of a programming language formally can have many benefits. However, it can also require a huge effort. The effort can be significantly reduced by translating language syntax to so called fundamental constructs (funcons). A translation to funcons is easy to update when the language evolves, and it exposes relationships between individual language constructs. The PLanCompS project has developed an initial collection of funcons (primarily for translation of functional and imperative languages). The behaviour of each funcon is defined, once and for all, using a modular variant of structural operational semantics. The definitions are available online. This paper introduces and motivates funcons. It illustrates translation of language constructs to funcons, and how funcons are defined. It also relates funcons to notation used in previous frameworks, including monadic semantics and action semantics.


The critical point and the p norm of A s and C matrices. The L matrix A s 1 (n s) was introduced in cite MRtmp . As a surprising property, we showed that its 2 norm is constant for s geq s 0 , where the critical point s 0 is unknown but relies in the interval (1 4,1 2) . In this note, using some delicate calculations we sharpen this result by improving the upper and lower bounds of the interval surrounding s 0 . Moreover, we show that the same property persists for the p norm of A s matrices. We also obtain the 2 norm of a family of C matrices with lacunary sequences.


Improved Automated Machine Learning from Transfer Learning. In this paper, we propose a neural architecture search framework based on a similarity measure between some baseline tasks and a target task. We first define the notion of the task similarity based on the log determinant of the Fisher Information matrix. Next, we compute the task similarity from each of the baseline tasks to the target task. By utilizing the relation between a target and a set of learned baseline tasks, the search space of architectures for the target task can be significantly reduced, making the discovery of the best candidates in the set of possible architectures tractable and efficient, in terms of GPU days. This method eliminates the requirement for training the networks from scratch for a given target task as well as introducing the bias in the initialization of the search space from the human domain.


UnsupervisedR R Unsupervised Point Cloud Registration via Differentiable Rendering. Aligning partial views of a scene into a single whole is essential to understanding one's environment and is a key component of numerous robotics tasks such as SLAM and SfM. Recent approaches have proposed end to end systems that can outperform traditional methods by leveraging pose supervision. However, with the rising prevalence of cameras with depth sensors, we can expect a new stream of raw RGB D data without the annotations needed for supervision. We propose UnsupervisedR R an end to end unsupervised approach to learning point cloud registration from raw RGB D video. The key idea is to leverage differentiable alignment and rendering to enforce photometric and geometric consistency between frames. We evaluate our approach on indoor scene datasets and find that we outperform existing traditional approaches with classic and learned descriptors while being competitive with supervised geometric point cloud registration approaches.


Towards A Simple and Efficient VDTN Routing Protocol for Data Collection in Smart Cities. Smart cities today can utilize Vehicular Delay Tolerant Networks (VDTN) to collect data from connected objects in the environment for various delay tolerant applications. They can take advantage of the available Intelligent Transportation Systems (ITS) infrastructures to deliver data to the central server. The system can also exploit multiple and diverse mobility patterns found in cities, such as privately owned cars, taxis, public buses, and trams, along with their Vehicle to Everything (V2X) communications capabilities. In the envisioned convergence between the ITS and V2X, we believe that a simple and efficient routing protocol can be deployed for the delay tolerant data delivery, contrary to the implementation of optimized solutions that might be resource demanding and difficult to standardize. In this paper, we analyzed the performances of four baseline VDTN routing protocols, namely Direct Delivery, First Contact, Epidemic, and Spray Wait, to understand their strengths and weaknesses. Our simulation results highlighted the trade off between distinct approaches used by those protocols and pointed out some gaps that can be refined. This study provides new interesting ideas and arguments towards developing a simple, efficient, and high performing routing protocol for data collection in smart cities.


Spatial Graph Attention and Curiosity driven Policy for Antiviral Drug Discovery. We developed Distilled Graph Attention Policy Network (DGAPN), a reinforcement learning model to generate novel graph structured chemical representations that optimize user defined objectives by efficiently navigating a physically constrained domain. The framework is examined on the task of generating molecules that are designed to bind, noncovalently, to functional sites of SARS CoV 2 proteins. We present a spatial Graph Attention (sGAT) mechanism that leverages self attention over both node and edge attributes as well as encoding the spatial structure this capability is of considerable interest in synthetic biology and drug discovery. An attentional policy network is introduced to learn the decision rules for a dynamic, fragment based chemical environment, and state of the art policy gradient techniques are employed to train the network with stability. Exploration is driven by the stochasticity of the action space design and the innovation reward bonuses learned and proposed by random network distillation. In experiments, our framework achieved outstanding results compared to state of the art algorithms, while reducing the complexity of paths to chemical synthesis.


Quantitative assessment of fitting errors associated with streak camera noise in Thomson scattering data analysis. Thomson scattering measurements in High Energy Density experiments are often recorded using optical streak cameras. In the low signal regime, noise introduced by the streak camera can become an important and sometimes the dominate source of measurement uncertainty. In this paper we present a formal method of accounting for the presence of streak camera noise in our measurements. We present a phenomenological description of the noise generation mechanisms and present a statistical model that may be used to construct the covariance matrix associated with a given measurement. This model is benchmarked against simulations of streak camera images. We demonstrate how this covariance may then be used to weight fitting of the data and provide quantitative assessments of the uncertainty in the fitting parameters determined by the best fit to the data. These methods will have general applicability to other measurements made using optical streak cameras.


Solving an inverse elliptic coefficient problem by convex non linear semidefinite programming. Several applications in medical imaging and non destructive material testing lead to inverse elliptic coefficient problems, where an unknown coefficient function in an elliptic PDE is to be determined from partial knowledge of its solutions. This is usually a highly non linear ill posed inverse problem, for which unique reconstructability results, stability estimates and global convergence of numerical methods are very hard to achieve. The aim of this note is to point out a new connection between inverse coefficient problems and semidefinite programming that may help addressing these challenges. We show that an inverse elliptic Robin transmission problem with finitely many measurements can be equivalently rewritten as a uniquely solvable convex non linear semidefinite optimization problem. This allows to explicitly estimate the number of measurements that is required to achieve a desired resolution, to derive an error estimate for noisy data, and to overcome the problem of local minima that usually appears in optimization based approaches for inverse coefficient problems.


Determinisability of register and timed automata. The deterministic membership problem for timed automata asks whether the timed language given by a nondeterministic timed automaton can be recognised by a deterministic timed automaton. An analogous problem can be stated in the setting of register automata. We draw the complete decidability complexity landscape of the deterministic membership problem, in the setting of both register and timed automata. For register automata, we prove that the deterministic membership problem is decidable when the input automaton is a nondeterministic one register automaton (possibly with epsilon transitions) and the number of registers of the output deterministic register automaton is fixed. This is optimal We show that in all the other cases the problem is undecidable, i.e., when either 1) the input nondeterministic automaton has two registers or more (even without epsilon transitions), or 2) it uses guessing, or 3) the number of registers of the output deterministic automaton is not fixed. The landscape for timed automata follows a similar pattern. We show that the problem is decidable when the input automaton is a one clock nondeterministic timed automaton without epsilon transitions and the number of clocks of the output deterministic timed automaton is fixed. Again, this is optimal We show that the problem in all the other cases is undecidable, i.e., when either 1) the input nondeterministic timed automaton has two clocks or more, or 2) it uses epsilon transitions, or 3) the number of clocks of the output deterministic automaton is not fixed.


A microsimulation of spatial inequality in energy access A Bayesian multi level modelling approach for urban India. Access to sustained clean cooking in India is essential to addressing the health burden of indoor air pollution from biomass fuels, but spatial inequality in cities can adversely affect uptake and effectiveness of policies amongst low income households. Limited data exists on the spatial distribution of energy use in Indian cities, particularly amongst low income households, and most quantitative studies focus primarily on the effect of economic determinants. A microsimulation approach is proposed, using publicly available data and a Bayesian multi level model to account for effects of current cooking practices, local socio cultural context, and spatial effects. This approach offers previously unavailable insight into the spatial distribution of fuel use and residential energy transition within Indian cities. Uncertainty in the modelled effects is propagated through to fuel use estimates. The model is applied to four cities in the south Indian states of Kerala and Tamil Nadu, and comparison against ward level survey data shows consistency with the model estimates. Ward level effects exemplify how wards compare to the city average and to other urban area in the state, which can help stakeholders design and implement clean cooking interventions tailored to the needs of households.


Evaluation of Account Recovery Strategies with FIDO2 based Passwordless Authentication. Threats to passwords are still very relevant due to attacks like phishing or credential stuffing. One way to solve this problem is to remove passwords completely. User studies on passwordless FIDO2 authentication using security tokens demonstrated the potential to replace passwords. However, widespread acceptance of FIDO2 depends, among other things, on how user accounts can be recovered when the security token becomes permanently unavailable. For this reason, we provide a heuristic evaluation of 12 account recovery mechanisms regarding their properties for FIDO2 passwordless authentication. Our results show that the currently used methods have many drawbacks. Some even rely on passwords, taking passwordless authentication ad absurdum. Still, our evaluation identifies promising account recovery solutions and provides recommendations for further studies.


Natural transformations between induction and restriction on iterated wreath product of symmetric group of order 2 . Let mathbb C A n mathbb C S 2 wr S 2 wr cdots wr S 2 be the group algebra of n step iterated wreath product. We prove some structural properties of A n such as their centers, centralizers, right and double cosets. We apply these results to explicitly write down Mackay theorem for groups A n and give a partial description of the natural transformations between induction and restriction functors on the representations of the iterated wreath product tower by computing certain hom spaces of the category of displaystyle bigoplus m geq 0 (A m,A n) bimodules. A complete description of the category is an open problem.


Drift ion acoustic waves in a nonuniform rotating magnetoplasma with two temperature superthermal electrons. The theory of low frequency (in comparison with the ion cyclotron frequency), long wavelength, electrostatic drift ion acoustic waves (IAWs) is studied in a nonuniform rotating magnetoplasma with two temperature superthermal electrons. In the linear limit, the coupling of IAWs and drift waves by the density inhomogeneity is shown to produce a new wave mode which typically depends on the density gradient, the rotational frequency and the spectral indexes of superthermal electrons. In the nonlinear regime, an evolution equation for the drift IAWs is derived by the dispersion approach, and using the Jacobi elliptic function expansion technique its exact solitary and periodic wave solutions (namely, cnoidal and dnoidal) are also obtained. The properties of these solutions are numerically examined and it is found that they are significantly modified by the effects of the background density gradient, the superthermality of electrons and the Coriolis force associated with the rotational motion of ions.


Optical resonances in silica nanosphere dimers and trimers probed with high energy electrons at the nanoscale. Optical dielectric resonances have the ability to modulate optical energy, and by coupling multiple resonators into photonic molecules, new opportunities emerge in spectral engineering. Using electron beam spectroscopy, in a 300 keV scanning transmission electron microscope, we probe optical modes of photonic molecules at the nanometer scale. Monochromated electron energy loss spectra of 400nm silica sphere monomers, dimers and trimers display series of sharp peaks in the ultraviolet region. For monomers, the peaks are assigned to low angular number optical whispering gallery modes. For dimers and trimers, experimental observations, supported by simulations, reveal energy shifts and peak broadening resulting from coupling between spherical modes. Variations in spectra for different electron probe positions demonstrate the possibility to extract information on local photonic density of states at the nanometer scale.


Deformations of mathrm G 2 instantons on nearly mathrm G 2 manifolds. We study the deformation theory of mathrm G 2 instantons on nearly mathrm G 2 manifolds. There is a one to one correspondence between nearly parallel mathrm G 2 structures and real Killing spinors, thus the deformation theory can be formulated in terms of spinors and Dirac operators. We prove that the space of infinitesimal deformations of an instanton is isomorphic to the kernel of an elliptic operator. Using this formulation we prove that abelian instantons are rigid. Then we apply our results to describe the deformation space of the canonical connection on the four normal homogeneous nearly mathrm G 2 manifolds.


Fully kinetic model of plasma expansion in a magnetic nozzle. A self consistent model is presented for performing steady state fully kinetic Particle in Cell simulations of magnetised plasma plumes. An energy based electron reflection prevents the numerical pump instability associated with a typical open outflow boundary, and is shown to be sufficiently general that both the plume kinetics and plasma potential demonstrate domain independence (within 4 ). This is upheld by non stationary Robin type boundary conditions on the Poisson's equation, coupled to a capacitive circuit that allows physical evolution of the downstream potential drop in the transient. The method has been validated against experiments, providing results that fall within the uncertainty of measurements. Simulations are then carried out to study collisional xenon discharges into axisymmetric diverging magnetic nozzles. Particular discussion is given to the identification of a potential well arising from charge separation at the edge of the plume, the role of ion neutral charge exchange, and a three region piecewise polytropic cooling regime for electrons. The polytropic index is shown to depend on the degree of magnetisation. Specifically, in the region near the thruster outlet, the plume is weakly magnetised due to the cross field diffusion of electron heavy particle collisions. Downstream, a strongly magnetised region of near isothermal expansion occurs. Finally, in the detached region, the polytropic index tends to that of a more adiabatic unmagnetised case. With an increasing magnetic nozzle field strength, an inferior limit is found to the average polytropic index of bar gamma e sim1.16 .


Use of Honey Bee Mating Optimization Algorithm to Design Water Distribution Network in Gurudeniya Service Zone, Gurudeniya, Sri Lanka. Water distribution network (WDN) is a highly complex urban infrastructure that is intended to supply water from source node to consumer nodes. As far as the components of an infrastructure are concerned, the interconnecting pipes that transport water from source node to the demand nodes account for the major fraction of the capital cost. Therefore, when designing WDN, the primary concern is on finding the optimal combination of pipe diameters that satisfies the hydraulichead requirements at minimum cost. More recent methodologies employ direct heuristic and stochastic heuristic algorithms for the design of WDN. In this study, the use of Honey Bee Mating Optimization (HBMO) stochastic algorithm for the design of WDN in the Gurudeniya Service Zone, Gurudeniya, Sri Lanka, has been examined. In built hydraulic constraints have enabled the algorithm to deliver results without needing a separate hydraulic simulation software in this design. The solutions given by HBMO algorithm and the solution implemented by National Water Supply and Drainage Board, Sri Lanka have been compared. From the implementation of the HBMO algorithm, results show that the HBMO algorithm is successful in addressing the WDN design problem with given hydraulic constraints for Gurudeniya Service Zone


Cohomology and deformations of O operators on Hom associative algebras. In this paper, we introduce the cohomology theory of mathcal O operators on Hom associative algebras. This cohomology can also be viewed as the Hochschild cohomology of a certain Hom associative algebra with coefficients in a suitable bimodule. Next, we study infinitesimal and formal deformations of an mathcal O operator and show that they are governed by the above defined cohomology. Furthermore, the notion of Nijenhuis elements associated with an mathcal O operator is introduced to characterize trivial infinitesimal deformations.


Monte Carlo based estimation of patient absorbed dose in 99mTc DMSA, MAG3, and DTPA SPECT imaging using the University of Florida (UF) phantoms. SPECT imaging is one of the common modalities used to examine kidney disease. The radiopharmaceuticals such as 99mTc MAG3, 99mTc DTPA, and 99mTc DMSA are commonly employed for pediatric patients. It is generally accepted that children organs are more sensitive to radiation than adults, due to their growth rate. Therefore, evaluating the absorbed dose in children to avoid irrecoverable damage is highly crucial. In this work, absorbed dose by different organs of children within the SPECT imaging for the above mentioned radiopharmaceuticals were estimated through the use of Monte Carlo simulation for patients at the ages of 4, 8, 11, and 14 years old. The patients absorbed dose was estimated based on the specific radiopharmaceutical uptake patterns and the age related human body models. To this end, we used the University of Florida (UF) voxel wise baby phantoms and the Monte Carlo simulation for the pediatric patients at 4, 8, 11, and 14 years of age. The accuracy of the dosimetric outcomes was evaluated versus the ICRP 128 data. The highest and lowest doses absorbed by the kidneys were 0.48 mGy MBq and 0.0042 mGy MBq obtained for 4 year old and 14 year old children using 99mTc DMSA and 99mTc MAG3 radiopharmaceuticals, respectively. Moreover, in these cases, the relative errors of simulation results compared to the reference ICRP data were 12.1 and 0.95 , respectively. The simulation results were in good agreement with the ICRP 128 data. The results showed that the highest absorbed dose was by kidneys and when 99mTc DMSA was used. The highest and lowest absorbed dose in the organs occurs when 99mTc DMSA and 99mTc MAG3 (in normal renal function) are used, respectively. On the other hand, the results indicated that the dose received by the organs decreases with age.


Secure domination number of k subdivision of graphs. Let G (V,E) be a simple graph. A dominating set of G is a subset D subseteq V such that every vertex not in D is adjacent to at least one vertex in D . The cardinality of a smallest dominating set of G , denoted by gamma(G) , is the domination number of G . A dominating set D is called a secure dominating set of G , if for every u in V D , there exists a vertex v in D such that uv in E and D v cup u is a dominating set of G . The cardinality of a smallest secure dominating set of G , denoted by gamma s(G) , is the secure domination number of G . For any k in mathbb N , the k subdivision of G is a simple graph G frac 1 k which is constructed by replacing each edge of G with a path of length k . In this paper, we study the secure domination number of k subdivision of G .


Reconstructing High resolution Turbulent Flows Using Physics Guided Neural Networks. Direct numerical simulation (DNS) of turbulent flows is computationally expensive and cannot be applied to flows with large Reynolds numbers. Large eddy simulation (LES) is an alternative that is computationally less demanding, but is unable to capture all of the scales of turbulent transport accurately. Our goal in this work is to build a new data driven methodology based on super resolution techniques to reconstruct DNS data from LES predictions. We leverage the underlying physical relationships to regularize the relationships amongst different physical variables. We also introduce a hierarchical generative process and a reverse degradation process to fully explore the correspondence between DNS and LES data. We demonstrate the effectiveness of our method through a single snapshot experiment and a cross time experiment. The results confirm that our method can better reconstruct high resolution DNS data over space and over time in terms of pixel wise reconstruction error and structural similarity. Visual comparisons show that our method performs much better in capturing fine level flow dynamics.


Experiments in Artificial Culture from noisy imitation to storytelling robots. This paper presents a series of experiments in collective social robotics, spanning more than 10 years, with the long term aim of building embodied models of (aspects) of cultural evolution. Initial experiments demonstrated the emergence of behavioural traditions in a group of social robots programmed to imitate each other's behaviours (we call these Copybots). These experiments show that the noisy (i.e. less than perfect fidelity) imitation that comes for free with real physical robots gives rise naturally to variation in social learning. More recent experimental work extends the robots' cognitive capabilities with simulation based internal models, equipping them with a simple artificial theory of mind. With this extended capability we explore, in our current work, social learning not via imitation but robot robot storytelling, in an effort to model this very human mode of cultural transmission. In this paper we give an account of the methods and inspiration for these experiments, the experiments and their results, and an outline of possible directions for this programme of research. It is our hope that this paper stimulates not only discussion but suggestions for hypotheses to test with the Storybots.


On strengthenings of the intersecting shadow theorem. Let n k t geq j geq 1 be integers. Let X be an n element set, X choose k the collection of its k subsets. A family mathcal F subset X choose k is called t intersecting if F cap F' geq t for all F, F' in mathcal F . The j 'th shadow partial j mathcal F is the collection of all (k j) subsets that are contained in some member of mathcal F . Estimating partial j mathcal F as a function of mathcal F is a widely used tool in extremal set theory. A classical result of the second author (Theorem ref th 1.3 ) provides such a bound for t intersecting families. It is best possible for mathcal F 2k t choose k . Our main result is Theorem ref th 1.4 which gives an asymptotically optimal bound on partial j mathcal F mathcal F for mathcal F slightly larger, e.g., mathcal F frac32 2k t choose k . We provide further improvements for mathcal F very large as well.


The k Colorable Unit Disk Cover Problem. In this article, we consider colorable variations of the Unit Disk Cover ( it UDC ) problem as follows. it k Colorable Discrete Unit Disk Cover ( it k CDUDC ) Given a set P of n points, and a set D of m unit disks (of radius 1), both lying in the plane, and a parameter k , the objective is to compute a set D' subseteq D such that every point in P is covered by at least one disk in D' and there exists a function chi D' rightarrow C that assigns colors to disks in D' such that for any d and d' in D' if d cap d' neq emptyset , then chi(d) neq chi(d') , where C denotes a set containing k distinct colors. For the it k CDUDC problem, our proposed algorithms approximate the number of colors used in the coloring if there exists a k colorable cover. We first propose a 4 approximation algorithm in O(m 7k n log k) time for this problem and then show that the running time can be improved by a multiplicative factor of m k , where a positive integer k denotes the cardinality of a color set. The previous best known result for the problem when k 3 is due to the recent work of Biedl et al., (2021), who proposed a 2 approximation algorithm in O(m 25 n) time. For k 3 , our algorithm runs in O(m 18 n) time, faster than the previous best algorithm, but gives a 4 approximate result. We then generalize our approach to exhibit a O((1 lceil frac 2 tau rceil) 2) approximation algorithm in O(m ( lfloor frac 4 pi 8 tau tau 2 sqrt 12 rfloor)k n log k) time for a given 1 leq tau leq 2 . We also extend our algorithm to solve the it k Colorable Line Segment Disk Cover ( it k CLSDC ) and it k Colorable Rectangular Region Cover ( it k CRRC ) problems, in which instead of the set P of n points, we are given a set S of n line segments, and a rectangular region cal R , respectively.


The Young matroid A multiset extension of the Catalan matroid to arbitrary Young diagrams. Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from (0,0) to (n,n) . Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases.


Selective MPC Distributed Computation of Differentially Private Key Value Statistics. An increasingly popular method for computing aggregate statistics while preserving users' privacy is local differential privacy (LDP). Under this model, users perturb their data before sending it to an untrusted central party to be processed. Key value data is a naturally occurring data type that has not been thoroughly investigated in the local trust model. Existing LDP solutions for computing statistics over key value data suffer from the inherent accuracy limitations of each user adding their own noise. Multi party computation (MPC) is a common alternative to LDP that removes the requirement for a trusted central party while maintaining accuracy however, naively applying MPC to key value data results in prohibitively expensive computation costs. In this work, we present selective multi party computation, a novel approach to distributed computation that leverages DP leakage to efficiently and accurately compute statistics over key value data. We show that our protocol satisfies pure DP and is provably secure in the combined DP MPC model. Our empirical evaluation demonstrates that we can compute statistics over 10,000 keys in 20 seconds and can scale up to 30 servers while obtaining results for a single key in under a second.


Minimization and Canonization of GFG Transition Based Automata. While many applications of automata in formal methods can use nondeterministic automata, some applications, most notably synthesis, need deterministic or good for games(GFG) automata. The latter are nondeterministic automata that can resolve their nondeterministic choices in a way that only depends on the past. The minimization problem for deterministic B "uchi and co B "uchi word automata is NP complete. In particular, no canonical minimal deterministic automaton exists, and a language may have different minimal deterministic automata. We describe a polynomial minimization algorithm for GFG co B "uchi word automata with transition based acceptance. Thus, a run is accepting if it traverses a set alpha of designated transitions only finitely often. Our algorithm is based on a sequence of transformations we apply to the automaton, on top of which a minimal quotient automaton is defined. We use our minimization algorithm to show canonicity for transition based GFG co B "uchi word automata all minimal automata have isomorphic safe components (namely components obtained by restricting the transitions to these not in alpha ) and once we saturate the automata with alpha transitions, we get full isomorphism.


Solution Regularity of k partite Linear Systems A Variant of Rado's Theorem. A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to have a monochromatic solution whenever the positive integers are finitely colored. In this paper, we provide a variant of this theorem. For k ge 2 , we give some necessary and sufficient conditions such that, when the set of variables is partitioned into k subsets, there is a solution such that the variables of each subset are monochromatic, which we call a semi monochromatic solution. We adopt the smod p coloring from GRS90 but turn the existence of semi monochromatic solution into the existence of common roots of linear polynomials. With such algebraic tools, this idea can be generalized to systems of higher degree polynomial equations.


Boost AI Power Data Augmentation Strategies with unlabelled Data and Conformal Prediction, a Case in Alternative Herbal Medicine Discrimination with Electronic Nose. Electronic nose has been proven to be effective in alternative herbal medicine classification, but due to the nature of supervised learning, previous research heavily relies on the labelled training data, which are time costly and labor intensive to collect. To alleviate the critical dependency on the training data in real world applications, this study aims to improve classification accuracy via data augmentation strategies. The effectiveness of five data augmentation strategies under different training data inadequacy are investigated in two scenarios the noise free scenario where different availabilities of unlabelled data were considered, and the noisy scenario where different levels of Gaussian noises and translational shifts were added to represent sensor drifts. The five augmentation strategies, namely noise adding data augmentation, semi supervised learning, classifier based online learning, Inductive Conformal Prediction (ICP) online learning and our novel ensemble ICP online learning proposed in this study, are experimented and compared against supervised learning baseline, with Linear Discriminant Analysis (LDA) and Support Vector Machine (SVM) as the classifiers. Our novel strategy, ensemble ICP online learning, outperforms the others by showing non decreasing classification accuracy on all tasks and a significant improvement on most simulated tasks (25out of 36 tasks,p 0.05). Furthermore, this study provides a systematic analysis of different augmentation strategies. It shows at least one strategy significantly improved the classification accuracy with LDA (p 0.05) and non decreasing classification accuracy with SVM in each task. In particular, our proposed strategy demonstrated both effectiveness and robustness in boosting the classification model generalizability, which can be employed in other machine learning applications.