POTUS Predictive Online Tuple Scheduling for Data Stream Processing Systems. Most online service providers deploy their own data stream processing systems in the cloud to conduct large scale and real time data analytics. However, such systems, e.g., Apache Heron, often adopt naive scheduling schemes to distribute data streams (in the units of tuples) among processing instances, which may result in workload imbalance and system disruption. Hence, there still exists a mismatch between the temporal variations of data streams and such inflexible scheduling scheme designs. Besides, the fundamental benefits of predictive scheduling to data stream processing systems also remain unexplored. In this paper, we focus on the problem of tuple scheduling with predictive service in Apache Heron. With a careful choice in the granularity of system modeling and decision making, we formulate the problem as a stochastic network optimization problem and propose POTUS, an online predictive scheduling scheme that aims to minimize the response time of data stream processing by steering data streams in a distributed fashion. Theoretical analysis and simulation results show that POTUS achieves an ultra low response time with queue stability guarantee. Moreover, POTUS only requires mild value of future information to effectively reduce the response time, even with mis prediction.


Performance Evaluation of Differential Privacy Mechanisms in Blockchain based Smart Metering. The concept of differential privacy emerged as a strong notion to protect database privacy in an untrusted environment. Later on, researchers proposed several variants of differential privacy in order to preserve privacy in certain other scenarios, such as real time cyber physical systems. Since then, differential privacy has rigorously been applied to certain other domains which has the need of privacy preservation. One such domain is decentralized blockchain based smart metering, in which smart meters acting as blockchain nodes sent their real time data to grid utility databases for real time reporting. This data is further used to carry out statistical tasks, such as load forecasting, demand response calculation, etc. However, in case if any intruder gets access to this data it can leak privacy of smart meter users. In this context, differential privacy can be used to protect privacy of this data. In this chapter, we carry out comparison of four variants of differential privacy (Laplace, Gaussian, Uniform, and Geometric) in blockchain based smart metering scenario. We test these variants on smart metering data and carry out their performance evaluation by varying different parameters. Experimental outcomes shows at low privacy budget ( varepsilon ) and at low reading sensitivity value ( delta ), these privacy preserving mechanisms provide high privacy by adding large amount of noise. However, among these four privacy preserving parameters Geometric parameters is more suitable for protecting high peak values and Laplace mechanism is more suitable for protecting low peak values at ( varepsilon 0.01).


On Duistermaat Heckman measure for filtered linear series. We revisit work of S. Boucksom, C. Favre, and M. Jonsson (J. Algebraic Geom. textbf 18 (2009), no. 2, 279 308) Boucksom and H. Chen (Compos. Math. textbf 147 (2011), no. 4, 1205 1229) and S. Boucksom, A. K " u ronya, C. Maclean, and T. Szemberg (Math. Ann. textbf 361 (2015), no. 3 4, 811 834). The key point is to associate a Duistermaat Heckman measure to a filtered big linear series on a given projective variety. The expectation of the measure admits a description via the theory of Newton Okounkov bodies. Such considerations have origins in symplectic geometry. They have applications for mathrm K stability and Diophantine arithmetic geometry of projective varieties.


A High Order Flux Reconstruction Interface Tracking Method Using Preconditioned Phase Field. This paper presents a simple and highly accurate method for capturing sharp interfaces moving in divergence free velocity fields using the high order Flux Reconstruction approach on unstructured grids. A well known limitation of high order methods is their susceptibility to the Gibbs phenomenon the appearance of spurious oscillations in the vicinity of discontinuities and steep gradients makes it difficult to accurately resolve shocks or sharp interfaces. In order to address this issue in the context of sharp interface capturing, a novel, preconditioned and localized phase field method is developed in this work. The numerical accuracy of interface normal vectors is improved by utilizing a preconditioning procedure based on the level set method with localized artificial viscosity stabilization. The developed method was implemented in the framework of the multi platform Flux Reconstruction open source code PyFR. Numerical tests in 2D and 3D conducted on different mesh types showed that the preconditioning procedure significantly improves accuracy. The results demonstrate the conservativeness of the proposed method and its ability to capture highly distorted interfaces with superior accuracy when compared to conventional and high order VOF and level set methods. The high accuracy and locality of the proposed method offer a promising route to carrying out massively parallel, high accuracy simulations of multi phase, incompressible phenomena.


Simultaneous Detection and Removal of Dynamic Objects in Multi view Images. Consider a set of images of a scene consisting of moving objects captured using a hand held camera. In this work, we propose an algorithm which takes this set of multi view images as input, detects the dynamic objects present in the scene, and replaces them with the static regions which are being occluded by them. The proposed algorithm scans the reference image in the row major order at the pixel level and classifies each pixel as static or dynamic. During the scan, when a pixel is classified as dynamic, the proposed algorithm replaces that pixel value with the corresponding pixel value of the static region which is being occluded by that dynamic region. We show that we achieve artifact free removal of dynamic objects in multi view images of several real world scenes. To the best of our knowledge, we propose the first method which simultaneously detects and removes the dynamic objects present in multi view images.


A General Multi Task Learning Framework to Leverage Text Data for Speech to Text Tasks. Attention based sequence to sequence modeling provides a powerful and elegant solution for applications that need to map one sequence to a different sequence. Its success heavily relies on the availability of large amounts of training data. This presents a challenge for speech applications where labelled speech data is very expensive to obtain, such as automatic speech recognition (ASR) and speech translation (ST). In this study, we propose a general multi task learning framework to leverage text data for ASR and ST tasks. Two auxiliary tasks, a denoising autoencoder task and machine translation task, are proposed to be co trained with ASR and ST tasks respectively. We demonstrate that representing text input as phoneme sequences can reduce the difference between speech and text inputs, and enhance the knowledge transfer from text corpora to the speech to text tasks. Our experiments show that the proposed method achieves a relative 10 15 word error rate reduction on the English Librispeech task compared with our baseline, and improves the speech translation quality on the MuST C tasks by 3.6 9.2 BLEU.


IIRC Incremental Implicitly Refined Classification. We introduce the "Incremental Implicitly Refined Classi fication (IIRC)" setup, an extension to the class incremental learning setup where the incoming batches of classes have two granularity levels. i.e., each sample could have a high level (coarse) label like "bear" and a low level (fine) label like "polar bear". Only one label is provided at a time, and the model has to figure out the other label if it has already learnfed it. This setup is more aligned with real life scenarios, where a learner usually interacts with the same family of entities multiple times, discovers more granularity about them, while still trying not to forget previous knowledge. Moreover, this setup enables evaluating models for some important lifelong learning challenges that cannot be easily addressed under the existing setups. These challenges can be motivated by the example "if a model was trained on the class bear in one task and on polar bear in another task, will it forget the concept of bear, will it rightfully infer that a polar bear is still a bear? and will it wrongfully associate the label of polar bear to other breeds of bear?". We develop a standardized benchmark that enables evaluating models on the IIRC setup. We evaluate several state of the art lifelong learning algorithms and highlight their strengths and limitations. For example, distillation based methods perform relatively well but are prone to incorrectly predicting too many labels per image. We hope that the proposed setup, along with the benchmark, would provide a meaningful problem setting to the practitioners


L infty structure on Barzdell's complex for monomial algebras. Let A be a monomial associative finite dimensional algebra over a field Bbbk of characteristic zero. It is well known that the Hochschild cohomology of A can be computed using Bardzell's complex B(A) . The aim of this article is to describe an explict L infty structure on B(A) that induces a weak equivalence of L infty algebras between B(A) and the Hochschild complex C(A) of A . This allows us to describe the Maurer Cartan equation in terms of elements of degree 2 in B(A) . Finally, we make concrete computations when A is a truncated algebra, and we prove that Bardzell's complex for radical square zero algebras is in fact a dg Lie algebra.


Deep Visual City Recognition Visualization. Understanding how cities visually differ from each others is interesting for planners, residents, and historians. We investigate the interpretation of deep features learned by convolutional neural networks (CNNs) for city recognition. Given a trained city recognition network, we first generate weighted masks using the known Grad CAM technique and to select the most discriminate regions in the image. Since the image classification label is the city name, it contains no information of objects that are class discriminate, we investigate the interpretability of deep representations with two methods. (i) Unsupervised method is used to cluster the objects appearing in the visual explanations. (ii) A pretrained semantic segmentation model is used to label objects in pixel level, and then we introduce statistical measures to quantitatively evaluate the interpretability of discriminate objects. The influence of network architectures and random initializations in training, is studied on the interpretability of CNN features for city recognition. The results suggest that network architectures would affect the interpretability of learned visual representations greater than different initializations.


Support varieties and modules of finite projective dimension for modular Lie superalgebras (with an appendix on homological dimensions over Noether Algebras by Luchezar L. Avramov and Srikanth B. Iyengar). We investigate cohomological support varieties for finite dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of B o gvad, showing that if a finite dimensional Lie superalgebra over a field of odd characteristic is absolutely torsion free, then its enveloping algebra is of finite global dimension.


Nonexistence of Invariant Tori Transverse to Foliations An Application of Converse KAM Theory. Invariant manifolds are of fundamental importance to the qualitative understanding of dynamical systems. In this work, we explore and extend MacKay's converse KAM condition to obtain a sufficient condition for the nonexistence of invariant surfaces that are transverse to a chosen 1D foliation. We show how useful foliations can be constructed from approximate integrals of the system. This theory is implemented numerically for two models, a particle in a two wave potential and a Beltrami flow studied by Zaslavsky (Q flows). These are both 3D volume preserving flows, and they exemplify the dynamics seen in time dependent Hamiltonian systems and incompressible fluids, respectively. Through both numerical and theoretical considerations, it is revealed how to choose foliations that capture the nonexistence of invariant tori with varying homologies.


Multi Modality Cascaded Fusion Technology for Autonomous Driving. Multi modality fusion is the guarantee of the stability of autonomous driving systems. In this paper, we propose a general multi modality cascaded fusion framework, exploiting the advantages of decision level and feature level fusion, utilizing target position, size, velocity, appearance and confidence to achieve accurate fusion results. In the fusion process, dynamic coordinate alignment(DCA) is conducted to reduce the error between sensors from different modalities. In addition, the calculation of affinity matrix is the core module of sensor fusion, we propose an affinity loss that improves the performance of deep affinity network(DAN). Last, the proposed step by step cascaded fusion framework is more interpretable and flexible compared to the end toend fusion methods. Extensive experiments on Nuscenes 2 dataset show that our approach achieves the state of theart performance.dataset show that our approach achieves the state of the art performance.


Brain experiments imply adaptation mechanisms which outperform common AI learning algorithms. Attempting to imitate the brain functionalities, researchers have bridged between neuroscience and artificial intelligence for decades however, experimental neuroscience has not directly advanced the field of machine learning. Here, using neuronal cultures, we demonstrate that increased training frequency accelerates the neuronal adaptation processes. This mechanism was implemented on artificial neural networks, where a local learning step size increases for coherent consecutive learning steps and tested on a simple dataset of handwritten digits, MNIST. Based on our online learning results with a few handwriting examples, success rates for brain inspired algorithms substantially outperform the commonly used machine learning algorithms. We speculate this emerging bridge from slow brain function to machine learning will promote ultrafast decision making under limited examples, which is the reality in many aspects of human activity, robotic control, and network optimization.


A Pub Sub SDN Integrated Framework for IoT Traffic Orchestration. The Internet of Things (IoT) is advancing and the adoption of internet connected devices in everyday use is constantly growing. This increase not only affects the traffic from other sources in the network, but also the communication quality requirements, like Quality of Service (QoS), for the IoT devices and applications. With the rise of dynamic network management and dynamic network programming technologies like Software Defined Networking (SDN), traffic management and communication quality requirements can be tailored to fit niche use cases and characteristics. We propose a publish subscribe QoS aware framework (PSIoT SDN) that orchestrates IoT traffic and mediates the allocation of network resources between IoT data aggregators and pub sub consumers. The PSIoT framework allows edge level QoS control using the features of publish subscribe orchestrator at IoT aggregators and, in addition, allows network level QoS control by incorporating SDN features coupled with a bandwidth allocation model for networkwide IoT traffic management. The integration of the framework with SDN allows it to dynamically react to bandwidth sharing enabled by the SDN controller, resulting in better bandwidth distribution and higher link utilization for IoT traffic.


Automatically Learning Construction Injury Precursors from Text. In light of the increasing availability of digitally recorded safety reports in the construction industry, it is important to develop methods to exploit these data to improve our understanding of safety incidents and ability to learn from them. In this study, we compare several approaches to automatically learn injury precursors from raw construction accident reports. More precisely, we experiment with two state of the art deep learning architectures for Natural Language Processing (NLP), Convolutional Neural Networks (CNN) and Hierarchical Attention Networks (HAN), and with the established Term Frequency Inverse Document Frequency representation (TF IDF) Support Vector Machine (SVM) approach. For each model, we provide a method to identify (after training) the textual patterns that are, on average, the most predictive of each safety outcome. We show that among those pieces of text, valid injury precursors can be found. The proposed methods can also be used by the user to visualize and understand the models' predictions.


Full Laplace spectrum of distance spheres in symmetric spaces of rank one. We use Lie theoretic methods to explicitly compute the full spectrum of the Laplace Beltrami operator on homogeneous spheres which occur as geodesic distance spheres in (compact or noncompact) symmetric spaces of rank one, and provide a single unified formula for all cases. As an application, we find all resonant radii for distance spheres in the compact case, i.e., radii where there is bifurcation of embedded constant mean curvature spheres, and show that distance spheres are stable and locally rigid in the noncompact case.


Breast Cancer Detection Using Convolutional Neural Networks. Breast cancer is prevalent in Ethiopia that accounts 34 among women cancer patients. The diagnosis technique in Ethiopia is manual which was proven to be tedious, subjective, and challenging. Deep learning techniques are revolutionizing the field of medical image analysis and hence in this study, we proposed Convolutional Neural Networks (CNNs) for breast mass detection so as to minimize the overheads of manual analysis. CNN architecture is designed for the feature extraction stage and adapted both the Region Proposal Network (RPN) and Region of Interest (ROI) portion of the faster R CNN for the automated breast mass abnormality detection. Our model detects mass region and classifies them into benign or malignant abnormality in mammogram(MG) images at once. For the proposed model, MG images were collected from different hospitals, locally.The images were passed through different preprocessing stages such as gaussian filter, median filter, bilateral filters and extracted the region of the breast from the background of the MG image. The performance of the model on test dataset is found to be detection accuracy 91.86 , sensitivity of 94.67 and AUC ROC of 92.2 .


The Hitchin Kobayashi Correspondence for Quiver Bundles over Generalized K "ahler Manifolds. In this paper, we establish the Hitchin Kobayashi correspondence for the I pm holomorphic quiver bundle mathcal E (E, phi) over a compact generalized K " a hler manifold (X, I ,I ,g, b) such that g is Gauduchon with respect to both I and I , namely mathcal E is ( alpha, sigma, tau) polystable if and only if mathcal E admits an ( alpha, sigma, tau) Hermitian Einstein metric.


The generating pairs of the 2 transitive groups. Given a finite group G . The generating pair (H,a) of G , that is, H G and a in G such that langle a,H rangle G . In this paper, we introduce the definition of FF subgroup to characterize the generating pairs of the symmetric groups, alternating groups and projective groups PSL(2,q) . This gives a partial answer to an open problem of J. Andr 'e and J. Ara 'ujo and P. J. Cameron.


Point estimates, Simpson's paradox and nonergodicity in biological sciences. Modern biomedical, behavioral and psychological inference about cause effect relationships respects an ergodic assumption, that is, that mean response of representative samples allow predictions about individual members of those samples. Recent empirical evidence in all of the same fields indicates systematic violations of the ergodic assumption. Indeed, violation of ergodicity in biomedical, behavioral and psychological causes is precisely the inspiration behind our research inquiry. Here, we review the long term costs to scientific progress in these domains and a practical way forward. Specifically, we advocate the use of statistical measures that can themselves encode the degree and type of non ergodicity in measurements. Taking such steps will lead to a paradigm shift, allowing researchers to investigate the nonstationary, far from equilibrium processes that characterize the creativity and emergence of biological and psychological behavior.


Disagreeing about Crocs and socks Creating profoundly ambiguous color displays. There is an increasing interest in the systematic disagreement about profoundly ambiguous stimuli in the color domain. However, this research has been hobbled by the fact that we could not create such stimuli at will. Here, we describe a design principle that allows the creation of such stimuli and apply this principle to create one such stimulus set the crocs and socks. Using this set, we probed the color perception of a large sample of observers, showing that these stimuli are indeed categorically ambiguous and that we can predict the percept from fabric priors resulting from experience. We also relate the perception of these crocs to other color ambiguous stimuli the dress and the sneaker and conclude that differential priors likely underlie polarized disagreement in cognition more generally.


Integrated optically pumped magnetometer for measurements within Earth's magnetic field. We present a portable optically pumped magnetometer instrument for ultra sensitive measurements within the Earth's magnetic field. The central part of the system is a sensor head operating a MEMS based Cs vapor cell in the light shift dispersed Mz mode. It is connected to a compact, battery driven electronics module by a flexible cable. We briefly review the working principles of the device and detail on the realization of both, sensor head and electronics. We show shielded and unshielded measurements within a static magnetic field amplitude of 50 uT demonstrating a noise level of the sensor system down to 140 fT sqrt Hz and a sensor bandwidth of several 100 Hz. In a detailed analysis of sensor noise we reveal the system to be limited by technical sources with straightforward strategies for further improvement towards its fundamental noise limit of 12 fT sqrt Hz . We assess the parameters defining the sensor bandwidth by theoretical modeling based on the Bloch equations. Finally, we compare our sensors' performance to a commercial SQUID system in a measurement environment typical for geomagnetic observatory practice and geomagnetic prospection.


Cutoff for a One sided Transposition Shuffle. We introduce a new type of card shuffle called one sided transpositions. At each step a card is chosen uniformly from the pack and then transposed with another card chosen uniformly from below it. This defines a random walk on the symmetric group generated by a distribution which is non constant on the conjugacy class of transpositions. Nevertheless, we provide an explicit formula for all eigenvalues of the shuffle by demonstrating a useful correspondence between eigenvalues and standard Young tableaux. This allows us to prove the existence of a total variation cutoff for the one sided transposition shuffle at time n log n . We also study a weighted generalisation of the shuffle which, in particular, allows us to recover the well known mixing time of the classical random transposition shuffle.


G invariant Hilbert Schemes on Abelian Surfaces and Enumerative Geometry of the Orbifold Kummer Surface. For an Abelian surface A with a symplectic action by a finite group G , one can define the partition function for G invariant Hilbert schemes Z A, G (q) sum d 0 infty e( text Hilb d (A) G )q d . We prove the reciprocal Z A,G 1 is a modular form of weight frac 1 2 e(A G) for the congruence subgroup Gamma 0 ( G ) , and give explicit expressions in terms of eta products. Refined formulas for the chi y genera of text Hilb (A) G are also given. For the group generated by the standard involution tau A to A , our formulas arise from the enumerative geometry of the orbifold Kummer surface A tau . We prove that a virtual count of curves in the stack is governed by chi y ( text Hilb (A) tau ) . Moreover, the coefficients of Z A, tau are true (weighted) counts of rational curves, consistent with hyperelliptic counts of Bryan, Oberdieck, Pandharipande, and Yin.


Weil descent and cryptographic trilinear maps. It has recently been shown that cryptographic trilinear maps are sufficient for achieving indistinguishability obfuscation. In this paper we develop a method for constructing such maps on the Weil descent (restriction) of abelian varieties over finite fields, including the Jacobian varieties of hyperelliptic curves and elliptic curves. The security of these candidate cryptographic trilinear maps raises several interesting questions, including the computational complexity of a trapdoor discrete logarithm problem.


Circles are like Ellipses, or Ellipses are like Circles? Measuring the Degree of Asymmetry of Static and Contextual Embeddings and the Implications to Representation Learning. Human judgments of word similarity have been a popular method of evaluating the quality of word embedding. But it fails to measure the geometry properties such as asymmetry. For example, it is more natural to say "Ellipses are like Circles" than "Circles are like Ellipses". Such asymmetry has been observed from a psychoanalysis test called word evocation experiment, where one word is used to recall another. Although useful, such experimental data have been significantly understudied for measuring embedding quality. In this paper, we use three well known evocation datasets to gain insights into asymmetry encoding of embedding. We study both static embedding as well as contextual embedding, such as BERT. Evaluating asymmetry for BERT is generally hard due to the dynamic nature of embedding. Thus, we probe BERT's conditional probabilities (as a language model) using a large number of Wikipedia contexts to derive a theoretically justifiable Bayesian asymmetry score. The result shows that contextual embedding shows randomness than static embedding on similarity judgments while performing well on asymmetry judgment, which aligns with its strong performance on "extrinsic evaluations" such as text classification. The asymmetry judgment and the Bayesian approach provides a new perspective to evaluate contextual embedding on intrinsic evaluation, and its comparison to similarity evaluation concludes our work with a discussion on the current state and the future of representation learning.


Offline state estimation for hybrid systems via nonsmooth variable projection. A hybrid dynamical system switches between dynamic regimes at time or state triggered events. We propose an offline algorithm that simultaneously estimates discrete and continuous components of a hybrid system's state. We formulate state estimation as a continuous optimization problem by relaxing the discrete component and use a robust loss function to accommodate large changes in the continuous component during switching events. Subsequently, we develop a novel nonsmooth variable projection algorithm with Gauss Newton updates to solve the state estimation problem and prove the algorithm's global convergence to stationary points. We demonstrate the effectiveness of our approach on simple piecewise linear and nonlinear mechanical systems undergoing intermittent impact.


Reducing subspaces of C 00 contractions. Using the Sz. Nagy Foias theory of contractions, we obtain general results about reducibility for a class of completely nonunitary contractions. These are applied to certain truncated Toeplitz operators, previously considered by Li Yang Lu and Gu. In particular, a negative answer is given to a conjecture stated by the latter.


A Geometric Perspective on Visual Imitation Learning. We consider the problem of visual imitation learning without human supervision (e.g. kinesthetic teaching or teleoperation), nor access to an interactive reinforcement learning (RL) training environment. We present a geometric perspective to derive solutions to this problem. Specifically, we propose VGS IL (Visual Geometric Skill Imitation Learning), an end to end geometry parameterized task concept inference method, to infer globally consistent geometric feature association rules from human demonstration video frames. We show that, instead of learning actions from image pixels, learning a geometry parameterized task concept provides an explainable and invariant representation across demonstrator to imitator under various environmental settings. Moreover, such a task concept representation provides a direct link with geometric vision based controllers (e.g. visual servoing), allowing for efficient mapping of high level task concepts to low level robot actions.


Parity Check Codes for Second Order Diversity. Block codes are typically not used for fading channels as soft decision decoding is computationally intensive and hard decision decoding results in performance loss. In this paper we propose a diversity preserving hard decision decoding scheme for parity check codes (PCC) over Rayleigh fading channels. The proposed flip decoding scheme has linear complexity in the block length. Theoretical analysis and simulation results verify the correctness of the proposed detection scheme.


physics.app-ph physics.ed-ph physics.ins-det physics.plasm-ph

Understanding the working of a B dot probe. Magnetic pickup loops or B dot probes are one of the oldest known sensors of time varying magnetic fields. The operating principle is based on Faraday's law of electromagnetic induction. However, obtaining accurate measurements of time varying magnetic fields using these kinds of probes is a challenging task. A B dot probe and its associated circuit are prone to electrical oscillations. As a result, the measured signal may not faithfully represent the magnetic field sampled by the B dot probe. In this paper, we have studied the transient response of a B dot probe and its associated circuit to a time varying magnetic field. Methods of removing the oscillations pertaining to the detector structure are described. After removing the source of the oscillatory signal, we have shown that the time integrated induced emf measured by the digitiser is linearly proportional to the magnetic field sampled by the B dot probe, thus verifying the faithfulness of the measured signal.


Aging study of Gd concentration in LAB based Gd loaded liquid scintillator exposed to passivated stainless steel. Stainless steel is a candidate of the inner surface of the storage container for LAB based Gadolinium loaded liquid scintillator (Gd LS) to be used in the JSNS 2 neutrino detector. Aging effect on Gd concentration of Gd LS was investigated with the Gd LS sample stored in the passivated stainless steel bottle in two independent methods. The direct comparison of the neutron capture time measurement showed that there is no significant degradation of the capture time after 602 days aging. Titration was performed to measure Gd concentration, and the result after 466 days aging is consistent with the result before aging within the uncertainty of the measurement. The upper limit of degradation of Gd concentration in 21 kL tank case is estimated as 0.5 for 10 years of storage. Both results lead to a conclusion that stainless steel is usable for Gd LS storage for JSNS 2 experiment.


Deep controlled learning of dynamic policies with an application to lost sales inventory control. Recent literature established that neural networks can represent good policies across a range of stochastic dynamic models in supply chain and logistics. We propose a new algorithm that incorporates variance reduction techniques, to overcome limitations of algorithms typically employed in literature to learn such neural network policies. For the classical lost sales inventory model, the algorithm learns neural network policies that are vastly superior to those learned using model free algorithms, while outperforming the best heuristic benchmarks by an order of magnitude. The algorithm is an interesting candidate to apply to other stochastic dynamic problems in supply chain and logistics, because the ideas in its development are generic.


Modularity allows classification of human brain networks during music and speech perception. We investigate the use of modularity as a quantifier of whole brain functional networks. Brain networks are constructed from functional magnetic resonance imaging while subjects listened to auditory pieces that varied in emotivity and cultural familiarity. The results of our analysis reveal high and low modularity groups based on the network configuration during a subject's favorite song, and this classification can predict network reconfiguration during the other auditory pieces. In particular, subjects in the low modularity group show significant brain network reconfiguration during both familiar and unfamiliar pieces. In contrast, the high modularity brain networks appear more robust and only exhibit significant changes during the unfamiliar music and speech. We also find differences in the stability of module composition for the two groups during each auditory piece. Our results suggest that the modularity of the whole brain network plays a significant role in the way the network reconfigures during varying auditory processing demands, and it may therefore contribute to individual differences in neuroplasticity capability during therapeutic music engagement.


Pixels to Plans Learning Non Prehensile Manipulation by Imitating a Planner. We present a novel method enabling robots to quickly learn to manipulate objects by leveraging a motion planner to generate "expert" training trajectories from a small amount of human labeled data. In contrast to the traditional sense plan act cycle, we propose a deep learning architecture and training regimen called PtPNet that can estimate effective end effector trajectories for manipulation directly from a single RGB D image of an object. Additionally, we present a data collection and augmentation pipeline that enables the automatic generation of large numbers (millions) of training image and trajectory examples with almost no human labeling effort. We demonstrate our approach in a non prehensile tool based manipulation task, specifically picking up shoes with a hook. In hardware experiments, PtPNet generates motion plans (open loop trajectories) that reliably (89 success over 189 trials) pick up four very different shoes from a range of positions and orientations, and reliably picks up a shoe it has never seen before. Compared with a traditional sense plan act paradigm, our system has the advantages of operating on sparse information (single RGB D frame), producing high quality trajectories much faster than the "expert" planner (300ms versus several seconds), and generalizing effectively to previously unseen shoes.


Explicitly correlated coupled cluster method for accurate treatment of open shell molecules with hundreds of atoms. We present a near linear scaling formulation of the explicitly correlated coupled cluster singles and doubles with perturbative triples method (CCSD(T) overline text F12 ) for high spin states of open shell species. The approach is based on the conventional open shell CCSD formalism M. Saitow et al., J. Chem. Phys. 146, 164105 (2017) utilizing the domain local pair natural orbitals (DLPNO) framework. The use of spin independent set of pair natural orbitals ensures exact agreement with the closed shell formalism reported previously, with only marginally impact on the cost (e.g. the open shell formalism is only 1.5 times slower than the closed shell counterpart for the text C text 160 text H text 322 n alkane, with the measured size complexity of approx1.2 ). Evaluation of coupled cluster energies near the complete basis set (CBS) limit for open shell systems with more than 550 atoms and 5000 basis functions is feasible on a single multi core computer in less than 3 days. The aug cc pVTZ DLPNO CCSD(T) overline text F12 contribution to the heat of formation for the 50 largest molecules among the 348 core combustion species benchmark set J. Klippenstein et al., J. Phys. Chem. A 121, 6580 (2017) had root mean square deviation (RMSD) from the extrapolated CBS CCSD(T) reference values of 0.3 kcal mol. For a more challenging set of 50 reactions involving small closed and open shell molecules G. Knizia et al., J. Chem. Phys. 130, 054104 (2009) the aug cc pVQ( d)Z DLPNO CCSD(T) overline text F12 yielded a RMSD of sim 0.4 kcal mol with respect to the CBS CCSD(T) estimate.


PrivFL Practical Privacy preserving Federated Regressions on High dimensional Data over Mobile Networks. Federated Learning (FL) enables a large number of users to jointly learn a shared machine learning (ML) model, coordinated by a centralized server, where the data is distributed across multiple devices. This approach enables the server or users to train and learn an ML model using gradient descent, while keeping all the training data on users' devices. We consider training an ML model over a mobile network where user dropout is a common phenomenon. Although federated learning was aimed at reducing data privacy risks, the ML model privacy has not received much attention. In this work, we present PrivFL, a privacy preserving system for training (predictive) linear and logistic regression models and oblivious predictions in the federated setting, while guaranteeing data and model privacy as well as ensuring robustness to users dropping out in the network. We design two privacy preserving protocols for training linear and logistic regression models based on an additive homomorphic encryption (HE) scheme and an aggregation protocol. Exploiting the training algorithm of federated learning, at the core of our training protocols is a secure multiparty global gradient computation on alive users' data. We analyze the security of our training protocols against semi honest adversaries. As long as the aggregation protocol is secure under the aggregation privacy game and the additive HE scheme is semantically secure, PrivFL guarantees the users' data privacy against the server, and the server's regression model privacy against the users. We demonstrate the performance of PrivFL on real world datasets and show its applicability in the federated learning system.


Building oscillatory chemical reaction networks by adding reversible reactions. We show that if a chemical reaction network (CRN) admits nondegenerate (resp., linearly stable) oscillation, and we add new reversible reactions involving new species to this CRN, then the new CRN so created also admits nondegenerate (resp., linearly stable) oscillation provided certain mild and easily checked conditions are met. This claim that the larger CRN "inherits" oscillation from the smaller one, provided it is built from the smaller CRN in an appropriate way, follows an analogous result involving multistationarity. It also adds to a number of prior results on the inheritance of oscillation these collectively often allow us to determine the capacity of a given network for oscillation based on an analysis of its subnetworks.


Characterizations of plurisubharmonic functions. We give characterizations of (quasi )plurisubharmonic functions in terms of L p estimates of bar partial and L p extensions of holomorphic functions.


Faltings Heights, Igusa Local Zeta Functions, and the Stability Conjectures in Kahler Geometry I. Let (X,L) be a polarized manifold. Assume that the automorphism group is finite. If the height discrepancy of (X,L) is O(d 2) then (X,L) admits a csck metric in the first chern class of L if and only if (X,L) is asymptotically stable.


Convergence for a planar elliptic problem with large exponent Neumann data. We study positive solutions u p of the nonlinear Neumann elliptic problem Delta u u in Omega , partial u partial nu u p 1 u on partial Omega , where Omega is a bounded open smooth domain in mathbb R 2 . We investigate the asymptotic behavior of families of solutions u p satisfying an energy bound condition when the exponent p is getting large. Inspired by the work of Davila del Pino Musso cite DavilaDM , we prove that u p is developing m peaks x i in partial Omega , in the sense u p p int partial Omega u p p approaches the sum of m Dirac masses at the boundary and we determine the localization of these concentration points.


Finite dimensional control of linear discrete time fractional order systems. This paper addresses the design of finite dimensional feedback control laws for linear discrete time fractional order systems with additive state disturbance. A set of sufficient conditions are provided to guarantee convergence of the state trajectories to an ultimate bound around the origin with size increasing with the magnitude of the disturbances. Performing a suitable change of coordinates, the latter result can be used to design a controller that is able to track reference trajectories that are solutions of the unperturbed fractional order system. To overcome the challenges associated with the generation of such solutions, we address the practical case where the references to be tracked are generated as a solution of a specific finite dimensional approximation of the original fractional order system. In this case, the tracking error trajectory is driven to an asymptotic bound that is increasing with the magnitude of the disturbances and decreases with the increment in the accuracy of the approximation. The proposed controllers are finite dimensional, in the sense that the computation of the control input only requires a finite number of previous state and input vectors of the system. Numerical simulations illustrate the proposed design methods in different scenarios.


Confluence in Labeled Chip Firing. In 2016, Hopkins, McConville, and Propp proved that labeled chip firing on a line always leaves the chips in sorted order if the number of chips is even. We present a novel proof of this result. We then apply our methods to resolve a number of related conjectures concerning the confluence of labeled chip firing systems.


Multipliers for nonlinearities with monotone bounds. We consider Lurye (sometimes written Lur'e) systems whose nonlinear operator is characterised by a possibly multivalued nonlinearity that is bounded above and below by monotone functions. Stability can be established using a sub class of the Zames Falb multipliers. The result generalises similar approaches in the literature. Appropriate multipliers can be found using convex searches. Because the multipliers can be used for multivalued nonlinearities they can be applied after loop transformation. We illustrate the power of the new mutlipliers with two examples, one in continuous time and one in discrete time in the first the approach is shown to outperform available stability tests in the literature in the second we focus on the special case for asymmetric saturation with important consequences for systems with non zero steady state exogenous signals.


Protecting points from operator pencils. We classify all sets of the form bigcup t in mathbb R mathrm spec (A tB) where A and B are self adjoint operators and B is bounded, non negative, and non zero. We show that these sets are exactly the complements of discrete subsets of mathbb R , that is, of at most countable subsets of mathbb R that contain none of their accumulation points.


Effects of thermal inversion induced air pollution on COVID 19. Air pollution is a threat to human health, in particular since it aggravates respiratory diseases. Early COVID 19 outbreaks in Wuhan, China and Lombardy, Italy coincided with high levels of air pollution drawing attention to a potential role of particulate matter and other pollutants in infections and more severe outcomes of the new lung disease. Both air pollution and COVID 19 outcomes are driven by human mobility and economic activity leading to spurious correlations in regression estimates. We use district level panel data from Belgium, Brazil, Germany, Italy, the UK, and the US to estimate the impact of daily variation in air pollution levels on COVID 19 infections and deaths. Using random variation in air pollution generated by thermal inversions, we rule out that changes in mobility and economic activity are driving the results. We find that a 1 increase in air pollution levels over the three preceding weeks leads to a 1.5 increase in weekly cases. A 1 increase in air pollution over four weeks leads to 5.1 more COVID 19 deaths. These results indicate that short term measures to reduce air pollution can help mitigate the health damages of the virus.


Note on Generalized Cuckoo Hashing with a Stash. Cuckoo hashing is a common hashing technique, guaranteeing constant time lookups in the worst case. Adding a stash was proposed by Kirsch, Mitzenmacher, and Wieder at SICOMP 2010, as a way to reduce the probability of rehash. It has since become a standard technique in areas such as cryptography, where a superpolynomially low probability of rehash is often required. Another extension of cuckoo hashing is to allow multiple items per bucket, improving the load factor. That extension was also analyzed by Kirsch et al. in the presence of a stash. The purpose of this note is to repair a bug in that analysis. Letting d be the number of items per bucket, and s be the stash size, the original claim was that the probability that a valid cuckoo assignment fails to exist is O(n (1 d)(s 1) ) . We point to an error in the argument, and show that it is Theta(n d s ) .


Multi Dimensional Event Data in Graph Databases. Process event data is usually stored either in a sequential process event log or in a relational database. While the sequential, single dimensional nature of event logs aids querying for (sub)sequences of events based on temporal relations such as "directly eventually follows", it does not support querying multi dimensional event data of multiple related entities. Relational databases allow storing multi dimensional event data but existing query languages do not support querying for sequences or paths of events in terms of temporal relations. In this paper, we propose a general data model for multi dimensional event data based on labeled property graphs that allows storing structural and temporal relations in a single, integrated graph based data structure in a systematic way. We provide semantics for all concepts of our data model, and generic queries for modeling event data over multiple entities that interact synchronously and asynchronously . The queries allow for efficiently converting large real life event data sets into our data model and we provide 5 converted data sets for further research. We show that typical and advanced queries for retrieving and aggregating such multidimensional event data can be formulated and executed efficiently in the existing query language Cypher, giving rise to several new research questions. Specifically aggregation queries on our data model enable process mining over multiple interrelated entities using off the shelf technology.


Physical Layer Security in Cooperative NOMA Hybrid VLC RF Systems. Integrating visible light communication (VLC) and radio frequency (RF) networks can improve the performance of communication systems in terms of coverage and data rates. However, adding RF links to VLC networks weakens the secrecy performance due to the broadcast and ubiquitous nature of RF links. This paper studies the physical layer security (PLS) in cooperative non orthogonal multiple access (CoNOMA) hybrid VLC RF systems. Consider a VLC system, where two entrusted users close to a VLC access point (AP) help an out of coverage legitimate user using RF signals in the presence of an eavesdropper. The AP transmits data to both entrusted users and the legitimate user using the principle of NOMA, where the entrusted users harvest energy from the received light intensity, decode the legitimate user's message, forward it using a RF link, and then decode their messages. It is required to maximize the secrecy rate at the legitimate user under quality of service (QoS) constraints using beamforming and DC bias and power allocation. Different solutions are proposed for both active and passive eavesdropper cases, using semidefinite relaxation, zero forcing, beamforming, and jamming. Numerical results compare between the different proposed approaches and show how the proposed approaches contribute in improving the secrecy performance of the proposed model.


CD SEIZ Cognition Driven SEIZ Compartmental Model for the Prediction of Information Cascades on Twitter. Information spreading social media platforms has become ubiquitous in our lives due to viral information propagation regardless of its veracity. Some information cascades turn out to be viral since they circulated rapidly on the Internet. The uncontrollable virality of manipulated or disorientated true information (fake news) might be quite harmful, while the spread of the true news is advantageous, especially in emergencies. We tackle the problem of predicting information cascades by presenting a novel variant of SEIZ (Susceptible Exposed Infected Skeptics) model that outperforms the original version by taking into account the cognitive processing depth of users. We define an information cascade as the set of social media users' reactions to the original content which requires at least minimal physical and cognitive effort therefore, we considered retweet reply quote (mention) activities and tested our framework on the Syrian White Helmets Twitter data set from April 1st, 2018 to April 30th, 2019. In the prediction of cascade pattern via traditional compartmental models, all the activities are grouped, and their summation is taken into account however, transition rates between compartments should vary according to the activity type since their requirements of physical and cognitive efforts are not same. Based on this assumption, we design a cognition driven SEIZ (CD SEIZ) model in the prediction of information cascades on Twitter. We tested SIS, SEIZ, and CD SEIZ models on 1000 Twitter cascades and found that CD SEIZ has a significantly low fitting error and provides a statistically more accurate estimation.


Disconnected Character graphs and odd Dominating sets. Suppose Gamma is a finite simple graph. If D is a dominating set of Gamma such that each x in D is contained in the set of vertices of an odd cycle of Gamma , then we say that D is an odd dominating set for Gamma . For a finite group G , let Delta(G) denote the character graph built on the set of degrees of the irreducible complex characters of G . In this paper, we show that the complement of Delta(G) contains an odd dominating set, if and only if Delta(G) is a disconnected graph with non bipartite complement.


An idelic quotient related to Weil reciprocity and the Picard group. This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown how it encodes arithmetic properties of the base field and of the Picard group of the curve. These results are applied to study extensions of the function field.


Irrationality and monodromy for cubic threefolds. We show the cohomological monodromy for the universal family of smooth cubic threefolds does not factor through the genus five mapping class group. This gives a geometric group theory perspective on the well known irrationality of cubic threefolds.


Mathematical Modeling of Flash Boiling Phenomena in Superheated Sprays at low Degree of Superheat using Dirichlet Hyperboloids. The depressurization of the surrounding chamber or superheating of the injected liquid is responsible for the flashing of the sprays, which promotes micro explosion of many bubbles near free surface and thereby leading to primary atomization of sprays. In this work, we propose a mathematical model, and the Dirichlet hyperboloids are used to explain the micro explosion process while the external flashing phenomenon is observed in superheated liquid jets. The developed mathematical model is implemented in the Lagrangian framework to study the spray structure, and the results of numerical simulations are found to be in good agreement with the experimental results from the literature. In the onset region of a fully flashing regime, the bell shaped spray structure becomes eminent due to increased drag on the high radial velocity ejected droplets. However, at a lower degree of superheat, the droplet size is found to increase with a decrease in ambient pressure. Whereas the opposite trend is observed at a higher degree of superheat.


Cooperative Cooling in a 1D Chain of Optically Bound Cold Atoms. We discuss theoretically the optical binding of one dimensional chains of cold atoms shone by a transverse pump, where particles self organize to a distance close to an optical wavelength. As the number of particles is increased, the trapping potential increases logarithmically as the contributions from all atoms add up constructively. We identify a cooperative cooling mechanism, due to the mutual exchange of photons between atoms, which can beat the spontaneous emission for chains that are long enough. Surprisingly, the cooling is optimal very close to the resonance. This peculiar cooling mechanism thus gives new insights into the cooperative physics of low dimensional cold atom systems.


Online Trainable Wireless Link Quality Prediction System using Camera Imagery. Machine learning based prediction of future wireless link quality is an emerging technique that can potentially improve the reliability of wireless communications, especially at higher frequencies (e.g., millimeter wave and terahertz technologies), through predictive handover and beamforming to solve line of sight (LOS) blockage problem. In this study, a real time online trainable wireless link quality prediction system was proposed the system was implemented with commercially available laptops. The proposed system collects datasets, updates a model, and infers the received power in real time. The experimental evaluation was conducted using 5 GHz Wi Fi, where received signal strength could be degraded by 10 dB when the LOS path was blocked by large obstacles. The experimental results demonstrate that the prediction model is updated in real time, adapts to the change in environment, and predicts the time varying Wi Fi received power accurately.


On self conjugate (s, s 1, ldots, s k) core partitions. Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of (s,t) core partitions. Amdeberhan and Leven showed that the number of (s,s 1, ldots, s k) core partitions is equal to the number of (s, k) Dyck paths. In this paper, we prove that self conjugate (s,s 1, ldots, s k) core partitions are equinumerous with symmetric (s, k) Dyck paths, confirming a conjecture posed by Cho, Huh and Sohn.


Torsion points of Drinfeld modules over large algebraic extensions of finitely generated function fields. Geyer and Jarden proved several results for torsion points of elliptic curves defined over the fixed field by finitely many elements in the absolute Galois group of a finitely generated field over the prime field in its algebraic closure. As an analogue of these results, this paper studies torsion points of Drinfeld modules defined over the fixed field by finitely many elements in the absolute Galois group of a finitely generated function field in its algebraic closure. We prove some results which are similar to those of Geyer and Jarden.


Keeping Community in the Loop Understanding Wikipedia Stakeholder Values for Machine Learning Based Systems. On Wikipedia, sophisticated algorithmic tools are used to assess the quality of edits and take corrective actions. However, algorithms can fail to solve the problems they were designed for if they conflict with the values of communities who use them. In this study, we take a Value Sensitive Algorithm Design approach to understanding a community created and maintained machine learning based algorithm called the Objective Revision Evaluation System (ORES) a quality prediction system used in numerous Wikipedia applications and contexts. Five major values converged across stakeholder groups that ORES (and its dependent applications) should (1) reduce the effort of community maintenance, (2) maintain human judgement as the final authority, (3) support differing peoples' differing workflows, (4) encourage positive engagement with diverse editor groups, and (5) establish trustworthiness of people and algorithms within the community. We reveal tensions between these values and discuss implications for future research to improve algorithms like ORES.


Wavelet based Edge Multiscale Finite Element Method for Helmholtz problems in perforated domains. We introduce a new efficient algorithm for Helmholtz problems in perforated domains with the design of the scheme allowing for possibly large wavenumbers. Our method is based upon the Wavelet based Edge Multiscale Finite Element Method (WEMsFEM) as proposed recently in 14 . For a regular coarse mesh with mesh size H, we establish O(H) convergence of this algorithm under the resolution assumption, and with the level parameter being sufficiently large. The performance of the algorithm is demonstrated by extensive 2 dimensional numerical tests including those motivated by photonic crystals.


Triangles and subgraph probabilities in random regular graphs. We improve the estimates of the subgraph probabilities in a random regular graph. Using the improved results, we further improve the limiting distribution of the number of triangles in random regular graphs.


Pattern Views Concept and Tooling for Interconnected Pattern Languages. Patterns describe proven solutions for recurring problems. Typically, patterns in a particular domain are interrelated and organized in pattern languages. As real world problems often require patterns of multiple domains, different pattern languages have to be considered to address these problems. However, cross domain knowledge about how patterns of different languages relate to each other is either hidden in individual pattern descriptions or not documented at all. This makes it difficult to identify relevant patterns across pattern languages. Therefore, we introduce a concept and tooling that enables to capture patterns and their relations across pattern languages for a particular problem context.


Fibers of rational maps and Rees algebras of their base ideals. We consider a rational map phi mathbb P k m dashrightarrow mathbb P k n that is a parameterization of an m dimensional variety. Our main goal is to study the (m 1) dimensional fibers of phi in relation to the m th local cohomology modules of the Rees algebra of its base ideal.


Visual Recognition of Great Ape Behaviours in the Wild. We propose a first great ape specific visual behaviour recognition system utilising deep learning that is capable of detecting nine core ape behaviours.


Structured beams invariant to coherent diffusion. Bessel beams are renowned members of a wide family of non diffracting (propagation invariant) fields. We report on experiments showing that non diffracting fields are also immune to diffusion. We map the phase and magnitude of structured laser fields onto the spatial coherence between two internal states of warm atoms undergoing diffusion. We measure the field after a controllable, effective, diffusion time by continuously generating light from the spatial coherence. The coherent diffusion of Bessel Gaussian fields and more intricate, non diffracting fields is quantitatively analyzed and directly compared to that of diffracting fields. To elucidate the origin of diffusion invariance, we show results for non diffracting fields whose phase pattern we flatten.


Fractional elliptic problems with nonlinear gradient sources and measures. In this manuscript we deal with existence uniqueness and regularity issues of suitable weak solutions to nonlocal problems driven by fractional Laplace type operators. Different from previous researches, in our approach we consider gradient non linearity sources with subcritical growth, as well as appropriated measures as sources and boundary datum. We provide an in depth discussion on the notions of solutions involved together with existence uniqueness results in different regimes and for different boundary value problems. Finally, this work extends previous ones by dealing with more general nonlocal operators, source terms and boundary data.


An approach to parameter identifiability for a class of nonlinear models represented in LPV form. In several model based system maintenance problems, parameters are used to represent unknown characteristics of a component, equipment degradation, etc. This allows for modelling constant, slow varying terms. The identifiability of these parameters is an important condition to estimate them. Linear Parameter Varying (LPV) models are being increasingly used in the industries as a bridge between linear and nonlinear models. Techniques exist that can rewrite some nonlinear models in LPV form. However, the problem of identifiability of these models is still at a nascent stage. In this paper, we propose an approach to verify identifiability of unknown parameters for LPV state space models. It makes use of a parity space like formulation to eliminate the states of the model. The resulting input output parameter equation is analysed to verify the identifiability of the original model or a subset of unknown parameters. This approach provides a framework for both continuous time and discrete time models and we illustrate it using examples.


Do Explanations Reflect Decisions? A Machine centric Strategy to Quantify the Performance of Explainability Algorithms. There has been a significant surge of interest recently around the concept of explainable artificial intelligence (XAI), where the goal is to produce an interpretation for a decision made by a machine learning algorithm. Of particular interest is the interpretation of how deep neural networks make decisions, given the complexity and black box' nature of such networks. Given the infancy of the field, there has been very limited exploration into the assessment of the performance of explainability methods, with most evaluations centered around subjective visual interpretation of the produced interpretations. In this study, we explore a more machine centric strategy for quantifying the performance of explainability methods on deep neural networks via the notion of decision making impact analysis. We introduce two quantitative performance metrics i) Impact Score, which assesses the percentage of critical factors with either strong confidence reduction impact or decision changing impact, and ii) Impact Coverage, which assesses the percentage coverage of adversarially impacted factors in the input. A comprehensive analysis using this approach was conducted on several state of the art explainability methods (LIME, SHAP, Expected Gradients, GSInquire) on a ResNet 50 deep convolutional neural network using a subset of ImageNet for the task of image classification. Experimental results show that the critical regions identified by LIME within the tested images had the lowest impact on the decision making process of the network ( 38 ), with progressive increase in decision making impact for SHAP ( 44 ), Expected Gradients ( 51 ), and GSInquire ( 76 ). While by no means perfect, the hope is that the proposed machine centric strategy helps push the conversation forward towards better metrics for evaluating explainability methods and improve trust in deep neural networks.


The periodic integral orbits of polynomial recursions with integer coefficients. We show that polynomial recursions x n 1 x n m k where k,m are integers and m is positive have no nontrivial periodic integral orbits for m geq3 . If m 2 then the recursion has integral two cycles for infinitely many values of k but no higher period orbits. We also show that these statements are true for all quadratic recursions.


Mean value iterations for nonlinear elliptic Cauchy problems. We investigate the Cauchy problem for a class of nonlinear elliptic operators with C infty coefficients at a regular set Omega subset R n . The Cauchy data are given at a manifold Gamma subset partial Omega and our goal is to reconstruct the trace of the H 1( Omega) solution of a nonlinear elliptic equation at partial Omega Gamma . We propose two iterative methods based on the segmenting Mann iteration applied to fixed point equations, which are closely related to the original problem. The first approach consists in obtaining a corresponding linear Cauchy problem and analyzing a linear fixed point equation a convergence proof is given and convergence rates are obtained. On the second approach a nonlinear fixed point equation is considered and a fully nonlinear iterative method is investigated some preliminary convergence results are proven and a numerical analysis is provided.


Lamellar phase solutions for diblock copolymers with nonlocal diffusions. For a diblock copolymer with total chain length gamma 0 and mass ratio m in( 1,1) , we consider the problem of minimizing the doubly nonlocal free energy mathcal E varepsilon (u) mathcal H (u) frac 1 varepsilon 2s int Omega W(u) ,dx frac 1 2 int Omega left ( gamma 2 Delta) frac 1 2 (u m) right 2 ,dx in a domain Omega , where mathcal H (u) is a fractional H s norm with s in(0, frac12) , and W is a double well potential. This arises in the study of micro phase separation phenomena for diblock copolymers with nonlocal diffusions. On the unit interval, we identify the Gamma limit as varepsilon to0 , and also find explicit isolated local minimizers associated the lamellar morphology phase in the case m 0 , provided that the chain is sufficiently short or the nonlocal interaction is sufficiently strong (i.e. as s to0 ). We stress that such extra condition is new for the nonlocal case and is not present in the classical model. The proof, while elementary, requires a careful analysis of the nonlocal integrals.


Rydberg level shift due to the electric field generated by Rydberg atom collision induced ionization in cesium atomic ensemble. We experimentally studied the Rydberg level shift caused by the electric field, which is generated by Rydberg atom collision induced ionization in a cesium atomic ensemble. The density of charged particles caused by collisions between Rydberg atoms is changed by controlling the ground state atomic density and optical excitation process. We measured the Rydberg level shift using Rydberg electromagnetically induced transparency (EIT) spectroscopy, and interpreted the physical origin using a semi classical model. The experimental results are in good agreement with the numerical simulation. These energy shifts are important for the self calibrated sensing of microwave field by the employing of Rydberg EIT. Moreover, in contrast to the resonant excitation case, narrow linewidth spectroscopy with high signal to noise ratio would be useful for high precision measurements.


Locus LiDAR based Place Recognition using Spatiotemporal Higher Order Pooling. Place Recognition enables the estimation of a globally consistent map and trajectory by providing non local constraints in Simultaneous Localisation and Mapping (SLAM). This paper presents Locus, a novel place recognition method using 3D LiDAR point clouds in large scale environments. We propose a method for extracting and encoding topological and temporal information related to components in a scene and demonstrate how the inclusion of this auxiliary information in place description leads to more robust and discriminative scene representations. Second order pooling along with a non linear transform is used to aggregate these multi level features to generate a fixed length global descriptor, which is invariant to the permutation of input features. The proposed method outperforms state of the art methods on the KITTI dataset. Furthermore, Locus is demonstrated to be robust across several challenging situations such as occlusions and viewpoint changes in 3D LiDAR point clouds. The open source implementation is available at https github.com csiro robotics locus .


Tableau formulas for skew Schubert polynomials. The skew Schubert polynomials are those which are indexed by skew elements of the Weyl group, in the sense of arXiv 0812.0639. We obtain tableau formulas for the double versions of these polynomials in all four classical Lie types, where the tableaux used are fillings of the associated skew Young diagram. These are the first such theorems for symplectic and orthogonal Schubert polynomials, even in the single case. We also deduce tableau formulas for double Schur, double theta, and double eta polynomials, in their specializations as double Grassmannian Schubert polynomials. The latter results generalize the tableau formulas for symmetric (and single) Schubert polynomials due to Littlewood (in type A) and the author (in types B, C, and D).


Tracking Mixed Bitcoins. Mixer services purportedly remove all connections between the input (deposited) Bitcoins and the output (withdrawn) mixed Bitcoins, seemingly rendering taint analysis tracking ineffectual. In this paper, we introduce and explore a novel tracking strategy, called emph Address Taint Analysis , that adapts from existing transaction based taint analysis techniques for tracking Bitcoins that have passed through a mixer service. We also investigate the potential of combining address taint analysis with address clustering and backward tainting. We further introduce a set of filtering criteria that reduce the number of false positive results based on the characteristics of withdrawn transactions and evaluate our solution with verifiable mixing transactions of nine mixer services from previous reverse engineering studies. Our finding shows that it is possible to track the mixed Bitcoins from the deposited Bitcoins using address taint analysis and the number of potential transaction outputs can be significantly reduced with the filtering criteria.


Notes on Chow rings of G B and BG. Let G be a compact Lie group and T its maximal torus. The composition of maps H (BG) to H (BT) to H (G T) is zero for positive degree, while it is far from exact. We change H (G T) by Chow ring CH (X) for X some twisted form of G T , and change H (BG) by CH (BG) . Then we see that it becomes near to exact but still not exact, in general. We also see that the difference for exactness relates to the generalized Rost motive in X .


Solving the Travelling Thief Problem based on Item Selection Weight and Reverse Order Allocation. The Travelling Thief Problem (TTP) is a challenging combinatorial optimization problem that attracts many scholars. The TTP interconnects two well known NP hard problems the Travelling Salesman Problem (TSP) and the 0 1 Knapsack Problem (KP). Increasingly algorithms have been proposed for solving this novel problem that combines two interdependent sub problems. In this paper, TTP is investigated theoretically and empirically. An algorithm based on the score value calculated by our proposed formulation in picking items and sorting items in the reverse order in the light of the scoring value is proposed to solve the problem. Different approaches for solving the TTP are compared and analyzed the experimental investigations suggest that our proposed approach is very efficient in meeting or beating current state of the art heuristic solutions on a comprehensive set of benchmark TTP instances.


Automatic Programming of Cellular Automata and Artificial Neural Networks Guided by Philosophy. Many computer models such as cellular automata and artificial neural networks have been developed and successfully applied. However, in some cases, these models might be restrictive on the possible solutions or their solutions might be difficult to interpret. To overcome this problem, we outline a new approach, the so called allagmatic method, that automatically programs and executes models with as little limitations as possible while maintaining human interpretability. Earlier we described a metamodel and its building blocks according to the philosophical concepts of structure (spatial dimension) and operation (temporal dimension). They are entity, milieu, and update function that together abstractly describe cellular automata, artificial neural networks, and possibly any kind of computer model. By automatically combining these building blocks in an evolutionary computation, interpretability might be increased by the relationship to the metamodel, and models might be translated into more interpretable models via the metamodel. We propose generic and object oriented programming to implement the entities and their milieus as dynamic and generic arrays and the update function as a method. We show two experiments where a simple cellular automaton and an artificial neural network are automatically programmed, compiled, and executed. A target state is successfully evolved and learned in the cellular automaton and artificial neural network, respectively. We conclude that the allagmatic method can create and execute cellular automaton and artificial neural network models in an automated manner with the guidance of philosophy.


An Introduction to Quaternion Valued Recurrent Projection Neural Networks. Hypercomplex valued neural networks, including quaternion valued neural networks, can treat multi dimensional data as a single entity. In this paper, we introduce the quaternion valued recurrent projection neural networks (QRPNNs). Briefly, QRPNNs are obtained by combining the non local projection learning with the quaternion valued recurrent correlation neural network (QRCNNs). We show that QRPNNs overcome the cross talk problem of QRCNNs. Thus, they are appropriate to implement associative memories. Furthermore, computational experiments reveal that QRPNNs exhibit greater storage capacity and noise tolerance than their corresponding QRCNNs.


Implementing evaluation strategies for continuous real functions. We give a technical overview of our exact real implementation of various representations of the space of continuous unary real functions over the unit domain and a family of associated (partial) operations, including integration, range computation, as well as pointwise addition, multiplication, division, sine, cosine, square root and maximisation. We use several representations close to the usual theoretical model, based on an oracle that evaluates the function at a point or over an interval. We also include several representations based on an oracle that computes a converging sequence of rigorous (piecewise or one piece) polynomial and rational approximations over the whole unit domain. Finally, we describe "local" representations that combine both approaches, i.e. oracle like representations that return a rigorous symbolic approximation of the function over a requested interval sub domain with a requested effort. See also our paper "Representations and evaluation strategies for feasibly approximable functions" which compares the efficiency of these representations and algorithms and also formally describes and analyses one of the key algorithms, namely a polynomial time division of functions in a piecewise polynomial representation. We do not reproduce this division algorithm here.


Total Variation Distance Based Performance Analysis of Covert Communication over AWGN Channels in Non asymptotic Regime. This paper investigates covert communication over an additive white Gaussian noise (AWGN) channel in finite block length regime on the assumption of Gaussian codebooks. We first review some achievability and converse bounds on the throughput under maximal power constraint. From these bounds and the analysis of TVD at the adversary, the first and second asymptotics of covert communication are investigated by the help of some divergences inequalities. Furthermore, the analytic solution of TVD, and approximation expansions which can be easily evaluated with given snr (signal noise ratio) are presented. In this way, the proper power level for covert communication can be approximated with given covert constraint of TVD, which leads to more accurate estimation of the power compared with preceding bounds. Further elaboration on the effect of such asymptotic characteristics on the primary channels's throughput in finite block regime is also provided. The results will be very helpful for understanding the behavior of the total variation distance and practical covert communication.


Preprints as accelerator of scholarly communication An empirical analysis in Mathematics. In this study we analyse the key driving factors of preprints in enhancing scholarly communication. To this end we use four groups of metrics, one referring to scholarly communication and based on bibliometric indicators (Web of Science and Scopus citations), while the others reflect usage (usage counts in Web of Science), capture (Mendeley readers) and social media attention (Tweets). Hereby we measure two effects associated with preprint publishing publication delay and impact. We define and use several indicators to assess the impact of journal articles with previous preprint versions in arXiv. In particular, the indicators measure several times characterizing the process of arXiv preprints publishing and the reviewing process of the journal versions, and the ageing patterns of citations to preprints. In addition, we compare the observed patterns between preprints and non OA articles without any previous preprint versions in arXiv. We could observe that the "early view" and "open access" effects of preprints contribute to a measurable citation and readership advantage of preprints. Articles with preprint versions are more likely to be mentioned in social media and have shorter Altmetric attention delay. Usage and capture prove to have only moderate but stronger correlation with citations than Tweets. The different slopes of the regression lines between the different indicators reflect different order of magnitude of usage, capture and citation data.


Trajectory Prediction in Autonomous Driving with a Lane Heading Auxiliary Loss. Predicting a vehicle's trajectory is an essential ability for autonomous vehicles navigating through complex urban traffic scenes. Bird's eye view roadmap information provides valuable information for making trajectory predictions, and while state of the art models extract this information via image convolution, auxiliary loss functions can augment patterns inferred from deep learning by further encoding common knowledge of social and legal driving behaviors. Since human driving behavior is inherently multimodal, models which allow for multimodal output tend to outperform single prediction models on standard metrics. We propose a loss function which enhances such models by enforcing expected driving rules on all predicted modes. Our contribution to trajectory prediction is twofold we propose a new metric which addresses failure cases of the off road rate metric by penalizing trajectories that oppose the ascribed heading (flow direction) of a driving lane, and we show this metric to be differentiable and therefore suitable as an auxiliary loss function. We then use this auxiliary loss to extend the the standard multiple trajectory prediction (MTP) and MultiPath models, achieving improved results on the nuScenes prediction benchmark by predicting trajectories which better conform to the lane following rules of the road.


Formula Derivation and Analysis of the VINS Mono. The VINS Mono is a monocular visual inertial 6 DOF state estimator proposed by Aerial Robotics Group of HKUST in 2017. It can be performed on MAVs, smartphones and many other intelligent platforms. Because of the excellent robustness, accuracy and scalability, it has gained extensive attention worldwide. In this manuscript, the main equations including IMU pre integration, visual inertial co initialization and tightly coupled nonlinear optimization are derived and analyzed.


Spatial Transformer Point Convolution. Point clouds are unstructured and unordered in the embedded 3D space. In order to produce consistent responses under different permutation layouts, most existing methods aggregate local spatial points through maximum or summation operation. But such an aggregation essentially belongs to the isotropic filtering on all operated points therein, which tends to lose the information of geometric structures. In this paper, we propose a spatial transformer point convolution (STPC) method to achieve anisotropic convolution filtering on point clouds. To capture and represent implicit geometric structures, we specifically introduce spatial direction dictionary to learn those latent geometric components. To better encode unordered neighbor points, we design sparse deformer to transform them into the canonical ordered dictionary space by using direction dictionary learning. In the transformed space, the standard image like convolution can be leveraged to generate anisotropic filtering, which is more robust to express those finer variances of local regions. Dictionary learning and encoding processes are encapsulated into a network module and jointly learnt in an end to end manner. Extensive experiments on several public datasets (including S3DIS, Semantic3D, SemanticKITTI) demonstrate the effectiveness of our proposed method in point clouds semantic segmentation task.


A family of non weight modules over the super Virasoro algebras. In this paper, we construct a family of non weight modules over the super Virasoro algebras. Those modules when regarded as modules of the Ramond algebra and further restricted as modules over the Cartan subalgebra mathfrak h are free of rank 1 , while when regarded as modules of the Neveu Schwarz algebra and further restricted as modules over the Cartan subalgebra mathfrak H are free of rank 2 . We obtain a sufficient and necessary condition for such modules to be simple. Moreover, we determine the isomorphism classes of these modules. Finally, we show that these modules constitute a complete classification of free U( mathfrak h ) modules of rank 1 over the super Virasoro algebra of Ramond type, and also constitute a complete classification of free U( mathfrak H ) modules of rank 2 over the super Virasoro algebra of Neveu Schwarz type.


Mathematical model for autoregulated miRNA biogenesis. MicroRNAs are small non coding nucleotide sequences that regulate target protein expression at post transcriptional levels. Biogenesis of microRNA is a highly regulated multi step pathway. Regulation of miRNA biogenesis can be caused directly by the components of the biogenesis pathway or indirectly by other regulators. In this study, we have built a detailed mathematical model of microRNA biogenesis to investigate the regulatory role of biogenesis pathway components. We extended a previous model to incorporate Microprocessor regulation of DGCR8 synthesis, exportin mediated transport to the cytoplasm, and positive auto regulation catalysed by mature miRNA translocation into the nucleus. Our simulation results lead to three hypotheses (i) Biogenesis is robust to Dicer protein levels at higher Exportin protein levels (ii) Higher miRNA transcript formation may lead to lower RISC levels an optimal level of both precursor miRNA and Dicer is required for optimal miRNA formation at lower levels of Exportin protein and (iii) The positive auto regulation by mature miRNA translocation into the nucleus can decrease the net functional cytoplasmic miRNA. Wherever possible, we compare these results to experimental observations not used in the model construction or calibration.


The S 3 bfw Sasaki Join Construction. The main purpose of this work is to generalize the S 3 bfw Sasaki join construction M star bfl S 3 bfw described in cite BoTo14a when the Sasakian structure on M is regular, to the general case where the Sasakian structure is only quasi regular. This gives one of the main results, Theorem 3.2, which describes an inductive procedure for constructing Sasakian metrics of constant scalar curvature. In the Gorenstein case ( c 1( cald) 0 ) we construct a polynomial whose coeffients are linear in the components of bfw and whose unique root in the interval (1, infty) completely determines the Sasaki Einstein metric. In the more general case we apply our results to prove that there exists infinitely many smooth 7 manifolds each of which admit infinitely many inequivalent contact structures of Sasaki type admitting constant scalar curvature Sasaki metrics (see Corollary 6.15). We also discuss the relationship with a recent paper cite ApCa18 of Apostolov and Calderbank as well as the relation with K stability.


mathbb Q curves over odd degree number fields. By reformulating and extending results of Elkies, we prove some results on mathbb Q curves over number fields of odd degree. We show that, over such fields, the only prime isogeny degrees ell which an elliptic curve without CM may have are those degrees which are already possible over mathbb Q itself (in particular, ell le37 ), and we show the existence of a bound on the degrees of cyclic isogenies between mathbb Q curves depending only on the degree of the field. We also prove that the only possible torsion groups of mathbb Q curves over number fields of degree not divisible by a prime ell leq 7 are the 15 groups that appear as torsion groups of elliptic curves over mathbb Q . Complementing these theoretical results we give an algorithm for establishing whether any given elliptic curve E is a mathbb Q curve, which involves working only over mathbb Q(j(E)) .


Performance of Network Assisted Full Duplex for Cell Free Massive MIMO. Network assisted full duplex (NAFD) is a spatial division duplex technique for future wireless networks with cell free massive multiple input multiple output (CF massive MIMO) network, where a large number of remote antenna units (RAUs), either using half duplex or full duplex, jointly support truly flexible duplex including time division duplex, frequency division duplex and full duplex on demand of uplink and downlink traffic by using network MIMO methods. With NAFD, bi directional data rates of the wireless network could be increased and end to end delay could be reduced. In this paper, the spectral efficiency of NAFD communications in CF massive MIMO network with imperfect channel state information (CSI) is investigated under spatial correlated channels. Based on large dimensional random matrix theory, the deterministic equivalents for the uplink sum rate with minimum mean square error (MMSE) receiver as well as the downlink sum rate with zero forcing (ZF) and regularized zero forcing (RZF) beamforming are derived. Numerical results show that under various environmental settings, the deterministic equivalents are accurate in both a large scale system and system with a finite number of antennas. It is also shown that with the downlink to uplink interference cancellation, the uplink spectral efficiency of CF massive MIMO with NAFD could be improved. The spectral efficiencies of NAFD with different duplex configurations such as in band full duplex, and half duplex are compared. With the same total numbers of transmit and receive antennas, NAFD with half duplex RAUs offers a higher spectral efficiency. To alleviate the uplink to downlink interference, a novel genetic algorithm based user scheduling strategy (GAS) is proposed. Simulation results show that the achievable downlink sum rate by using the GAS is greatly improved compared to that by using the random user scheduling.


MXE A package for simulating long term diffusive mass transport phenomena in nanoscale systems. We present a package to simulate long term diffusive mass transport in systems with atomic scale resolution. The implemented framework is based on a non equilibrium statistical thermo chemo mechanical formulation of atomic systems where effective transport rates are computed by using kinematic diffusion laws. Our implementation is built as an add on to the Large scale Atomic Molecular Massively Parallel Simulator (LAMMPS) code. It is compatible with other LAMMPS' functionalities, and shows a good parallel scalability and efficiency. In applications involving mass transport, our framework is able to simulate problems of technological interest for exceedingly large time scales using an atomistic description, which are not reachable with the emph state of the art molecular dynamics techniques. To validate the implementation, we investigated vacancy diffusion, vacancy assisted dislocation climb in metals at high temperatures, segregation of solutes in free surfaces, diffusion of solutes to grain boundaries, and Hydrogen diffusion in Palladium nanowires. These examples were validated against known theories, methodologies or experimental results when possible, showing good agreement in all cases.


Learned Critical Probabilistic Roadmaps for Robotic Motion Planning. Sampling based motion planning techniques have emerged as an efficient algorithmic paradigm for solving complex motion planning problems. These approaches use a set of probing samples to construct an implicit graph representation of the robot's state space, allowing arbitrarily accurate representations as the number of samples increases to infinity. In practice, however, solution trajectories only rely on a few critical states, often defined by structure in the state space (e.g., doorways). In this work we propose a general method to identify these critical states via graph theoretic techniques (betweenness centrality) and learn to predict criticality from only local environment features. These states are then leveraged more heavily via global connections within a hierarchical graph, termed Critical Probabilistic Roadmaps. Critical PRMs are demonstrated to achieve up to three orders of magnitude improvement over uniform sampling, while preserving the guarantees and complexity of sampling based motion planning. A video is available at https youtu.be AYoD pGd9ms.


Catastrophic phase inversion in high Reynolds number turbulent Taylor Couette flow. Emulsions are omnipresent in the food industry, health care, and chemical synthesis. In this Letter the dynamics of meta stable oil water emulsions in highly turbulent ( 10 11 leq text Ta leq 3 times 10 13 ) Taylor Couette flow, far from equilibrium, is investigated. By varying the oil in water void fraction, catastrophic phase inversion between oil in water and water in oil emulsions can be triggered, changing the morphology, including droplet sizes, and rheological properties of the mixture, dramatically. The manifestation of these different states is exemplified by combining global torque measurements and local in situ laser induced fluorescence (LIF) microscopy imaging. Despite the turbulent state of the flow and the dynamic equilibrium of the oil water mixture, the global torque response of the system is found to be as if the fluid were Newtonian, and the effective viscosity of the mixture was found to be several times bigger or smaller than either of its constituents.


Mining Hidden Populations through Attributed Search. Researchers often query online social platforms through their application programming interfaces (API) to find target populations such as people with mental illness cite De Choudhury2017 and jazz musicians cite heckathorn2001finding . Entities of such target population satisfy a property that is typically identified using an oracle (human or a pre trained classifier). When the property of the target entities is not directly queryable via the API, we refer to the property as hidden' and the population as a hidden population. Finding individuals who belong to these populations on social networks is hard because they are non queryable, and the sampler has to explore from a combinatorial query space within a finite budget limit. By exploiting the correlation between queryable attributes and the population of interest and by hierarchically ordering the query space, we propose a Decision tree based Thompson sampler ( texttt DT TMP ) that efficiently discovers the right combination of attributes to query. Our proposed sampler outperforms the state of the art samplers in online experiments, for example by 54 on Twitter. When the number of matching entities to a query is known in offline experiments, texttt DT TMP performs exceedingly well by a factor of 0.9 1.5 times over the baseline samplers. In the future, we wish to explore the option of finding hidden populations by formulating more complex queries.


Unsupervised Deep Features for Privacy Image Classification. Sharing images online poses security threats to a wide range of users due to the unawareness of privacy information. Deep features have been demonstrated to be a powerful representation for images. However, deep features usually suffer from the issues of a large size and requiring a huge amount of data for fine tuning. In contrast to normal images (e.g., scene images), privacy images are often limited because of sensitive information. In this paper, we propose a novel approach that can work on limited data and generate deep features of smaller size. For training images, we first extract the initial deep features from the pre trained model and then employ the K means clustering algorithm to learn the centroids of these initial deep features. We use the learned centroids from training features to extract the final features for each testing image and encode our final features with the triangle encoding. To improve the discriminability of the features, we further perform the fusion of two proposed unsupervised deep features obtained from different layers. Experimental results show that the proposed features outperform state of the art deep features, in terms of both classification accuracy and testing time.


Ramsey upper density of infinite graphs. For a fixed infinite graph H , we study the largest density of a monochromatic subgraph isomorphic to H that can be found in every two coloring of the edges of K mathbb N . This is called the Ramsey upper density of H , and was introduced by Erd H o s and Galvin. Recently, the Ramsey upper density of the infinite path was determined. Here, we find the value of this density for all locally finite graphs H up to a factor of 2, answering a question of DeBiasio and McKenney. We also find the exact density for a wide class of bipartite graphs, including all locally finite forests. Our approach relates this problem to the solution of an optimization problem for continuous functions. We show that, under certain conditions, the density depends only on the chromatic number of H , the number of components of H , and the expansion ratio N(I) I of the independent sets of H .


Optical brain imaging using a semi transparent organic light emitting diode. We report optical brain imaging using a semi transparent organic light emitting diode (OLED) based on the orange light emitting polymer (LEP) Livilux PDO 124. The OLED serves as a compact, extended light source which is capable of uniformly illuminating the cortical surface when placed across a burr hole in the skull. Since all layers of the OLED are substantially transparent to photons with energies below the optical gap of the LEP, light emitted or reflected by the cortical surface may be efficiently transmitted through the OLED and into the objective lens of a low magnification microscope ('macroscope'). The OLED may be placed close to the cortical surface, providing efficient coupling of incident light into the brain cavity furthermore, the macroscope may be placed close to the upper surface of the OLED, enabling efficient collection of reflected emitted light from the cortical surface. Hence the use of a semi transparent OLED simplifies the optical setup, while at the same time maintaining high sensitivity. The OLED is applied here to one of the most demanding forms of optical brain imaging, namely extrinsic optical imaging involving a voltage sensitive dye (VSD). Specifically, we carry out functional imaging of the primary visual cortex (V1) of a rat, using the voltage sensitive dye RH 1691 as a reporter. Imaging through the OLED light source, we are able to resolve small ( 0.1 ) changes in the fluorescence intensity of the dye due to changes in the neuronal membrane potential following a visual stimulus. Results are obtained on a single trial basis i.e. without averaging over multiple measurements with a time resolution of ten milliseconds.


Logistic equation and COVID 19. The generalized logistic equation is used to interpret the COVID 19 epidemic data in several countries Austria, Switzerland, the Netherlands, Italy, Turkey and South Korea. The model coefficients are calculated the growth rate and the expected number of infected people, as well as the exponent indexes in the generalized logistic equation. It is shown that the dependence of the number of the infected people on time is well described on average by the logistic curve (within the framework of a simple or generalized logistic equation) with a determination coefficient exceeding 0.8. At the same time, the dependence of the number of the infected people per day on time has a very uneven character and can be described very roughly by the logistic curve. To describe it, it is necessary to take into account the dependence of the model coefficients on time or on the total number of cases. Variations, for example, of the growth rate can reach 60 . The variability spectra of the coefficients have characteristic peaks at periods of several days, which corresponds to the observed serial intervals. The use of the stochastic logistic equation is proposed to estimate the number of probable peaks in the coronavirus incidence.