title: The model structure for chain complexes

abstract: Let $\text{Ch}$ be the category of (possibly unbounded) chain complexes of abelian groups. In this note we construct the standard Quillen model structure on $\text{Ch}$, by a method that is somewhat different from the standard one. Essentially, we use a functorial two-stage projective resolution for abelian groups, and build everything directly from that. This has the advantage of being very concrete, explicit and functorial. It does not rely on the small object argument, or make any explicit use of transfinite induction. On the other hand, it is not so conceptual, and it does use the fact that subgroups of free abelian groups are free, so it does not generalise to many rings other than $\mathbb{Z}$. We do not claim any great technical benefit for this approach, but it seems like an interesting alternative, and may be pedagogically useful.


title: Online Resource Procurement and Allocation in a Hybrid Edge-Cloud Computing System

abstract: By acquiring cloud-like capacities at the edge of a network, edge computing is expected to significantly improve user experience. In this paper, we formulate a hybrid edge-cloud computing system where an edge device with limited local resources can rent more from a cloud node and perform resource allocation to serve its users. The resource procurement and allocation decisions depend not only on the cloud's multiple rental options but also on the edge's local processing cost and capacity. We first propose an offline algorithm whose decisions are made with full information of future demand. Then, an online algorithm is proposed where the edge node makes irrevocable decisions in each timeslot without future information of demand. We show that both algorithms have constant performance bounds from the offline optimum. Numerical results acquired with Google cluster-usage traces indicate that the cost of the edge node can be substantially reduced by using the proposed algorithms, up to $80\%$ in comparison with baseline algorithms. We also observe how the cloud's pricing structure and edge's local cost influence the procurement decisions.


title: An Explicit Local and Global Representation Disentanglement Framework with Applications in Deep Clustering and Unsupervised Object Detection

abstract: Visual data can be understood at different levels of granularity, where global features correspond to semantic-level information and local features correspond to texture patterns. In this work, we propose a framework, called SPLIT, which allows us to disentangle local and global information into two separate sets of latent variables within the variational autoencoder (VAE) framework. Our framework adds generative assumption to the VAE by requiring a subset of the latent variables to generate an auxiliary set of observable data. This additional generative assumption primes the latent variables to local information and encourages the other latent variables to represent global information. We examine three different flavours of VAEs with different generative assumptions. We show that the framework can effectively disentangle local and global information within these models leads to improved representation, with better clustering and unsupervised object detection benchmarks. Finally, we establish connections between SPLIT and recent research in cognitive neuroscience regarding the disentanglement in human visual perception. The code for our experiments is at https://github.com/51616/split-vae .


title: Modeling neutrino-nucleus interaction at intermediate energies

abstract: We present the current status of the research activities of the Ghent group on neutrino-nucleus interactions. These consist in the modeling of some of the relevant neutrino-nucleus reaction channels at intermediate energies: low-energy nuclear excitations, quasielastic scattering, two-nucleon knockout processes and single-pion production. The low-energy nuclear excitations and the quasielastic peak are described using a Hartree-Fock-CRPA (continuum random phase approximation) model that takes into account nuclear long-range correlations as well as the distortion of the outgoing nucleon wave function. We include two-body current mechanisms through short-range correlations and meson-exchange currents. Their influence on one- and two-nucleon knockout responses is computed. Bound and outgoing nucleons are treated within the same mean-field framework. Finally, for modeling of the neutrino-induced single-pion production, we use a low-energy model that contains resonances and the background contributions required by chiral symmetry. This low-energy model is combined with a Regge approach into a Hybrid model, which allows us to make predictions beyond the resonance region.


title: Stationary analysis of certain Markov-modulated reflected random walks in the quarter plane

abstract: In this work, we focus on the stationary analysis of a specific class of continuous time Markov-modulated reflected random walks in the quarter plane with applications in the modelling of two-node Markov-modulated queueing networks with coupled queues. The transition rates of the two-dimensional process depend on the state of a finite state Markovian background process. Such a modulation is space homogeneous in the set of inner states of the two-dimensional lattice but may be different in the set of states at its boundaries. To obtain the stationary distribution, we apply the power series approximation method, and the theory of Riemann boundary value problems. We also obtain explicit expressions for the first moments of the stationary distribution under some symmetry assumptions. An application in the modelling of a priority retrial system with coupled orbit queues is also presented. Using a queueing network example, we numerically validated the theoretical findings.


title: Unsupervised Learning Methods for Visual Place Recognition in Discretely and Continuously Changing Environments

abstract: Visual place recognition in changing environments is the problem of finding matchings between two sets of observations, a query set and a reference set, despite severe appearance changes. Recently, image comparison using CNN-based descriptors showed very promising results. However, existing experiments from the literature typically assume a single distinctive condition within each set (e.g., reference: day, query: night). We demonstrate that as soon as the conditions change within one set (e.g., reference: day, query: traversal daytime-dusk-night-dawn), different places under the same condition can suddenly look more similar than same places under different conditions and state-of-the-art approaches like CNN-based descriptors fail. This paper discusses this practically very important problem of in-sequence condition changes and defines a hierarchy of problem setups from (1) no in-sequence changes, (2) discrete in-sequence changes, to (3) continuous in-sequence changes. We will experimentally evaluate the effect of these changes on two state-of-the-art CNN-descriptors. Our experiments emphasize the importance of statistical standardization of descriptors and shows its limitations in case of continuous changes. To address this practically most relevant setup, we investigate and experimentally evaluate the application of unsupervised learning methods using two available PCA-based approaches and propose a novel clustering-based extension of the statistical normalization.


title: Joint Geographical and Temporal Modeling based on Matrix Factorization for Point-of-Interest Recommendation

abstract: With the popularity of Location-based Social Networks, Point-of-Interest (POI) recommendation has become an important task, which learns the users' preferences and mobility patterns to recommend POIs. Previous studies show that incorporating contextual information such as geographical and temporal influences is necessary to improve POI recommendation by addressing the data sparsity problem. However, existing methods model the geographical influence based on the physical distance between POIs and users, while ignoring the temporal characteristics of such geographical influences. In this paper, we perform a study on the user mobility patterns where we find out that users' check-ins happen around several centers depending on their current temporal state. Next, we propose a spatio-temporal activity-centers algorithm to model users' behavior more accurately. Finally, we demonstrate the effectiveness of our proposed contextual model by incorporating it into the matrix factorization model under two different settings: i) static and ii) temporal. To show the effectiveness of our proposed method, which we refer to as STACP, we conduct experiments on two well-known real-world datasets acquired from Gowalla and Foursquare LBSNs. Experimental results show that the STACP model achieves a statistically significant performance improvement, compared to the state-of-the-art techniques. Also, we demonstrate the effectiveness of capturing geographical and temporal information for modeling users' activity centers and the importance of modeling them jointly.


title: Negative delta-$T$ noise in the Fractional Quantum Hall effect

abstract: We study the current correlations of fractional quantum Hall edges at the output of a quantum point contact (QPC) subjected to a temperature gradient. This out-of-equilibrium situation gives rise to a form of temperature-activated shot noise, dubbed delta-$T$ noise. We show that the tunneling of Laughlin quasiparticles leads to a negative delta-$T$ noise, in stark contrast with electron tunneling. Moreover, varying the transmission of the QPC or applying a voltage bias across the Hall bar may flip the sign of this noise contribution, yielding signatures which can be accessed experimentally.


title: Intelligent Reflecting Surface Assisted Secure Wireless Communications with Multiple-Transmit and Multiple-Receive Antennas

abstract: In this paper, we propose intelligent reflecting surfaces (IRS) assisted secure wireless communications with multi-input and multi-output antennas (IRS-MIMOME). The considered scenario is an access point (AP) equipped with multiple antennas communicates with a multi-antenna enabled legitimate user in the downlink at the present of an eavesdropper configured with multiple antennas. Particularly, the joint optimization of the transmit covariance matrix at the AP and the reflecting coefficients at the IRS to maximize the secrecy rate for the IRS-MIMOME system is investigated, with two different assumptions on the phase shifting capabilities at the IRS, i.e., the IRS has the continuous reflecting coefficients and the IRS has the discrete reflecting coefficients. For the former case, due to the non-convexity of the formulated problem, an alternating optimization (AO)-based algorithm is proposed, i.e., for given the reflecting coefficients at the IRS, the successive convex approximation (SCA)-based algorithm is used to solve the transmit covariance matrix optimization, while given the transmit covariance matrix at the AP, alternative optimization is used again in individually optimizing of each reflecting coefficient at the IRS with other fixed reflecting coefficients. For the individual reflecting coefficient optimization, the close-form or an interval of the optimal solution is provided. Then, the proposed algorithm is extended to the discrete reflecting coefficient model at the IRS. Finally, some numerical simulations have been done to demonstrate that the proposed algorithm outperforms other benchmark schemes.


title: Force on a neutron quantised vortex pinned to proton fluxoids in the superfluid core of cold neutron stars

abstract: The superfluid and superconducting core of a cold rotating neutron star is expected to be threaded by a tremendous number of neutron quantised vortices and proton fluxoids. Their interactions are unavoidable and may have important astrophysical implications. In this paper, the various contributions to the force acting on a single vortex to which fluxoids are pinned are clarified. The general expression of the force is derived by applying the variational multifluid formalism developed by Carter and collaborators. Pinning to fluxoids leads to an additional Magnus type force due to proton circulation around the vortex. Pinning in the core of a neutron star may thus have a dramatic impact on the vortex dynamics, and therefore on the magneto-rotational evolution of the star.


title: New Physics Signals of the Electroweak Chiral Lagrangian in Vector Boson Scattering at the LHC

abstract: The Standard Model of fundamental interactions, albeit an incredibly elegant and successful theory, lacks explanations for some experimental and theoretical open questions. Interestingly, many of these problems seem to be related to the electroweak symmetry breaking sector of the theory, whose dynamical generation is still unknown. Important questions such as what is the true nature of the Higgs boson, why is its mass so light and so close to that of the electroweak gauge bosons or whether the properties of this particle are the ones predicted in the Standard Model remain unanswered. The LHC is our tool to unveil these mysteries and vector boson scattering processes are the perfect window to access them, since they are considered as the most sensitive observables to new physics in the electroweak symmetry breaking sector. In this Thesis we employ the effective electroweak chiral Lagrangian with a light Higgs, which assumes a strongly interacting electroweak symmetry breaking sector, to perform a model independent analysis of the phenomenology of vector boson scattering processes at the LHC as well as to present quantitative predictions for the sensitivity to possible beyond the Standard Model physics scenarios.


title: Design optimisation of a multi-mode wave energy converter

abstract: A wave energy converter (WEC) similar to the CETO system developed by Carnegie Clean Energy is considered for design optimisation. This WEC is able to absorb power from heave, surge and pitch motion modes, making the optimisation problem nontrivial. The WEC dynamics is simulated using the spectral-domain model taking into account hydrodynamic forces, viscous drag, and power take-off forces. The design parameters for optimisation include the buoy radius, buoy height, tether inclination angles, and control variables (damping and stiffness). The WEC design is optimised for the wave climate at Albany test site in Western Australia considering unidirectional irregular waves. Two objective functions are considered: (i) maximisation of the annual average power output, and (ii) minimisation of the levelised cost of energy (LCoE) for a given sea site. The LCoE calculation is approximated as a ratio of the produced energy to the significant mass of the system that includes the mass of the buoy and anchor system. Six different heuristic optimisation methods are applied in order to evaluate and compare the performance of the best known evolutionary algorithms, a swarm intelligence technique and a numerical optimisation approach. The results demonstrate that if we are interested in maximising energy production without taking into account the cost of manufacturing such a system, the buoy should be built as large as possible (20 m radius and 30 m height). However, if we want the system that produces cheap energy, then the radius of the buoy should be approximately 11-14~m while the height should be as low as possible. These results coincide with the overall design that Carnegie Clean Energy has selected for its CETO 6 multi-moored unit. However, it should be noted that this study is not informed by them, so this can be seen as an independent validation of the design choices.


title: Propagating magnetic droplet solitons as moveable nanoscale spin-wave sources with tunable direction of emission

abstract: Magnetic droplets are strongly nonlinear and localized spin-wave solitons that can be formed in current-driven nanocontacts. Here, we propose a simple way to launch droplets in an inhomogeneous nanoscopic waveguide. We use the drift motion of a droplet and show that in a system with broken translational symmetry, the droplet acquires a linear momentum and propagates. We find that the droplet velocity can be tuned via the strength of the break in symmetry and the size of the nanocontact. In addition, we demonstrate that the launched droplet can propagate up to several micrometers in a realistic system with reasonable damping. Finally, we demonstrate how an annihilating droplet delivers its momentum to a highly nonreciprocal spin-wave burst with a tunable wave vector with nanometer wavelengths. Such a propagating droplet can be used as a moveable spin-wave source in nanoscale magnonic networks. The presented method enables full control of the spin-wave emission direction, which can largely extend the freedom to design integrated magnonic circuits with a single spin-wave source.


title: AC magnetic response of highly nonlinear soliton lattice in a monoaxial chiral helimagnet

abstract: We present the theory of nonlinear ac magnetic response for the highly nonlinear regime of the chiral soliton lattice. Increasing of the dc magnetic field perpendicularly to the chiral axis results in crossover inside the phase, when nearly isolated $2\pi$-kinks are partitioned by vast ferromagnetic domains. Assuming that each of the kink reacts independently from the other ones to the external ac field, we demonstrate that internal deformations of such a kink give rise to the nonlinear response.


title: Physical properties of Taurid meteoroids of various sizes

abstract: The origin of the Taurid complex is still debated. In addition to comet 2P/Encke, various asteroids were proposed to be members of the complex and thus possible parent bodies of Taurid meteoroids. Studies of physical properties of Taurid meteoroids can provide constrains on their source. We used a well defined orbital sample of 16 Taurid fireballs with detailed radiometric light curves. The sample represented meteoroids of initial masses from 8 grams to 650 kg (diameters 1 - 70 cm). The semi-empirical fragmentation model was used to study their atmospheric fragmentation and derive strength distribution within the meteoroids. It was found that small meteoroids are stronger than large ones. When considering Taurid material as a whole, the majority has a very low strength of less than 0.01 MPa and a density less than 1000 kg/m3. The low strength material exists mostly as large bodies (>10 cm). If encountered in smaller bodies, it forms only a minor part. Stronger materials up to 0.3 MPa exist in Taurids as well, but the stronger material the rarer it is. Strong material forms small inclusions in large bodies or exists as small (cm-sized) separate bodies. These properties strongly suggest cometary origin of Taurids.


title: Mass transport in multicomponent compressible fluids: Local and global well-posedness in classes of strong solutions for general class-one models

abstract: We consider a system of partial differential equations describing mass transport in a multicomponent isothermal compressible fluid. The diffusion fluxes obey the Fick-Onsager or Maxwell-Stefan closure approach. Mechanical forces result into one single convective mixture velocity, the barycentric one, which obeys the Navier-Stokes equations. The thermodynamic pressure is defined by the Gibbs-Duhem equation. Chemical potentials and pressure are derived from a thermodynamic potential, the Helmholtz free energy, with a bulk density allowed to be a general convex function of the mass densities of the constituents. The resulting PDEs are of mixed parabolic--hyperbolic type. We prove two theoretical results concerning the well-posedness of the model in classes of strong solutions: 1. The solution always exists and is unique for short--times and 2. If the initial data are sufficiently near to an equilibrium solution, the well-posedness is valid on arbitrary large, but finite time intervals. Both results rely on a contraction principle valid for systems of mixed type that behave like the compressible Navier-Stokes equations. The linearised parabolic part of the operator possesses the self map property with respect to some closed ball in the state space, while being contractive in a lower order norm only. In this paper, we implement these ideas by means of precise a priori estimates in spaces of exact regularity.


title: Confounder selection strategies targeting stable treatment effect estimators

abstract: Inferring the causal effect of a treatment on an outcome in an observational study requires adjusting for observed baseline confounders to avoid bias. However, adjusting for all observed baseline covariates, when only a subset are confounders of the effect of interest, is known to yield potentially inefficient and unstable estimators of the treatment effect. Furthermore, it raises the risk of finite-sample bias and bias due to model misspecification. For these stated reasons, confounder (or covariate) selection is commonly used to determine a subset of the available covariates that is sufficient for confounding adjustment. In this article, we propose a confounder selection strategy that focuses on stable estimation of the treatment effect. In particular, when the propensity score model already includes covariates that are sufficient to adjust for confounding, then the addition of covariates that are associated with either treatment or outcome alone, but not both, should not systematically change the effect estimator. The proposal, therefore, entails first prioritizing covariates for inclusion in the propensity score model, then using a change-in-estimate approach to select the smallest adjustment set that yields a stable effect estimate. The ability of the proposal to correctly select confounders, and to ensure valid inference of the treatment effect following data-driven covariate selection, is assessed empirically and compared with existing methods using simulation studies. We demonstrate the procedure using three different publicly available datasets commonly used for causal inference.


title: SOLAR: Second-Order Loss and Attention for Image Retrieval

abstract: Recent works in deep-learning have shown that second-order information is beneficial in many computer-vision tasks. Second-order information can be enforced both in the spatial context and the abstract feature dimensions. In this work, we explore two second-order components. One is focused on second-order spatial information to increase the performance of image descriptors, both local and global. It is used to re-weight feature maps, and thus emphasise salient image locations that are subsequently used for description. The second component is concerned with a second-order similarity (SOS) loss, that we extend to global descriptors for image retrieval, and is used to enhance the triplet loss with hard-negative mining. We validate our approach on two different tasks and datasets for image retrieval and image matching. The results show that our two second-order components complement each other, bringing significant performance improvements in both tasks and lead to state-of-the-art results across the public benchmarks. Code available at: http://github.com/tonyngjichun/SOLAR


title: A continuum limit for the PageRank algorithm

abstract: Semi-supervised and unsupervised machine learning methods often rely on graphs to model data, prompting research on how theoretical properties of operators on graphs are leveraged in learning problems. While most of the existing literature focuses on undirected graphs, directed graphs are very important in practice, giving models for physical, biological, or transportation networks, among many other applications. In this paper, we propose a new framework for rigorously studying continuum limits of learning algorithms on directed graphs. We use the new framework to study the PageRank algorithm, and show how it can be interpreted as a numerical scheme on a directed graph involving a type of normalized graph Laplacian. We show that the corresponding continuum limit problem, which is taken as the number of webpages grows to infinity, is a second-order, possibly degenerate, elliptic equation that contains reaction, diffusion, and advection terms. We prove that the numerical scheme is consistent and stable and compute explicit rates of convergence of the discrete solution to the solution of the continuum limit PDE. We give applications to proving stability and asymptotic regularity of the PageRank vector. Finally, we illustrate our results with numerical experiments and explore an application to data depth.


title: Copper Thin Film Deposition by An Indigenous Unbalanced Type DC Magnetron Sputtering System

abstract: Copper deposition has been carried out at various time span on glass slide and silicon substrate by using indigenously developed unbalanced type DC magnetron sputtering system. The main objective of this work is to study the crystalline structure of the deposited materials and also to calculate the crystallite grain size. As a transition metal, Copper nano-particles and structures have several utilities in the field of photo-catalytic and sensor applications. Such structures are utilized to provide free electrons that enhance optical and electrical properties of the photo-catalytic sensor mate-rials. These nano-catalysts enhance deposition rate and nucleation of graphitic Carbon Nitride, a popular photo-catalyst. In this work, synthesized Copper thin film has been characterized by using X-Ray Fluorescence and X-Ray Diffractometer.


abstract: The Bayesian approach to feature extraction, known as factor analysis (FA), has been widely studied in machine learning to obtain a latent representation of the data. An adequate selection of the probabilities and priors of these bayesian models allows the model to better adapt to the data nature (i.e. heterogeneity, sparsity), obtaining a more representative latent space. The objective of this article is to propose a general FA framework capable of modelling any problem. To do so, we start from the Bayesian Inter-Battery Factor Analysis (BIBFA) model, enhancing it with new functionalities to be able to work with heterogeneous data, include feature selection, and handle missing values as well as semi-supervised problems. The performance of the proposed model, Sparse Semi-supervised Heterogeneous Interbattery Bayesian Analysis (SSHIBA) has been tested on 4 different scenarios to evaluate each one of its novelties, showing not only a great versatility and an interpretability gain, but also outperforming most of the state-of-the-art algorithms.


title: Polarimetric Guided Nonlocal Means Covariance Matrix Estimation for Defoliation Mapping

abstract: In this study we investigate the potential for using synthetic aperture radar (SAR) data to provide high resolution defoliation and regrowth mapping of trees in the tundra-forest ecotone. Using aerial photographs, four areas with live forest and four areas with dead trees were identified. Quad-polarimetric SAR data from RADARSAT-2 was collected from the same area, and the complex multilook polarimetric covariance matrix was calculated using a novel extension of guided nonlocal means speckle filtering. The nonlocal approach allows us to preserve the high spatial resolution of single-look complex data, which is essential for accurate mapping of the sparsely scattered trees in the study area. Using a standard random forest classification algorithm, our filtering results in over $99.7 \%$ classification accuracy, higher than traditional speckle filtering methods, and on par with the classification accuracy based on optical data.


title: Fixed-parameter tractable algorithms for Tracking Shortest Paths

abstract: We consider the parameterized complexity of the problem of tracking shortest s-t paths in graphs, motivated by applications in security and wireless networks. Given an undirected and unweighted graph with a source s and a destination t, Tracking Shortest Paths asks if there exists a k-sized subset of vertices (referred to as tracking set) that intersects each shortest s-t path in a distinct set of vertices. We first generalize this problem for set systems, namely Tracking Set System, where given a family of subsets of a universe, we are required to find a subset of elements from the universe that has a unique intersection with each set in the family. Tracking Set System is shown to be fixed-parameter tractable due to its relation with a known problem, Test Cover. By a reduction to the well-studied d-hitting set problem, we give a polynomial (with respect to k) kernel for the case when the set sizes are bounded by d. This also helps solving Tracking Shortest Paths when the input graph diameter is bounded by d. While the results for Tracking Set System help to show that Tracking Shortest Paths is fixed-parameter tractable, we also give an independent algorithm by using some preprocessing rules, resulting in an improved running time.


title: Symplectic hats

abstract: We study relative symplectic cobordisms between contact submanifolds, and in particular relative symplectic cobordisms to the empty set, that we call hats. While we make some observations in higher dimensions, we focus on the case of transverse knots in the standard 3-sphere, and hats in blow-ups of the (punctured) complex projective planes. We apply the construction to give constraints on the algebraic topology of fillings of double covers of the 3-sphere branched over certain transverse quasipositive knots.


title: Forecasting NIFTY 50 benchmark Index using Seasonal ARIMA time series models

abstract: This paper analyses how Time Series Analysis techniques can be applied to capture movement of an exchange traded index in a stock market. Specifically, Seasonal Auto Regressive Integrated Moving Average (SARIMA) class of models is applied to capture the movement of Nifty 50 index which is one of the most actively exchange traded contracts globally [1]. A total of 729 model parameter combinations were evaluated and the most appropriate selected for making the final forecast based on AIC criteria [8]. NIFTY 50 can be used for a variety of purposes such as benchmarking fund portfolios, launching of index funds, exchange traded funds (ETFs) and structured products. The index tracks the behaviour of a portfolio of blue chip companies, the largest and most liquid Indian securities and can be regarded as a true reflection of the Indian stock market [2].


title: Machine Learning and value generation in Software Development: a survey

abstract: Machine Learning (ML) has become a ubiquitous tool for predicting and classifying data and has found application in several problem domains, including Software Development (SD). This paper reviews the literature between 2000 and 2019 on the use the learning models that have been employed for programming effort estimation, predicting risks and identifying and detecting defects. This work is meant to serve as a starting point for practitioners willing to add ML to their software development toolbox. It categorises recent literature and identifies trends and limitations. The survey shows as some authors have agreed that industrial applications of ML for SD have not been as popular as the reported results would suggest. The conducted investigation shows that, despite having promising findings for a variety of SD tasks, most of the studies yield vague results, in part due to the lack of comprehensive datasets in this problem domain. The paper ends with concluding remarks and suggestions for future research.


title: Variants of Partial Update Augmented CLMS Algorithm and Their Performance Analysis

abstract: Naturally complex-valued information or those presented in complex domain are effectively processed by an augmented complex least-mean-square (ACLMS) algorithm. In some applications, the ACLMS algorithm may be too computationally- and memory-intensive to implement. In this paper, a new algorithm, termed partial-update ACLMS (PU-ACLMS) algorithm is proposed, where only a fraction of the coefficient set is selected to update at each iteration. Doing so, two types of partial-update schemes are presented referred to as the sequential and stochastic partial-updates, to reduce computational load and power consumption in the corresponding adaptive filter. The computational cost for full-update PU-ACLMS and its partial-update implementations are discussed. Next, the steady-state mean and mean-square performance of PU-ACLMS for non-circular complex signals are analyzed and closed-form expressions of the steady-state excess mean-square error (EMSE) and mean-square deviation (MSD) are given. Then, employing the weighted energy-conservation relation, the EMSE and MSD learning curves are derived. The simulation results are verified and compared with those of theoretical predictions through numerical examples.


title: Circuit-Difference Matroids

abstract: One characterization of binary matroids is that the symmetric difference of every pair of intersecting circuits is a disjoint union of circuits. This paper considers circuit-difference matroids, that is, those matroids in which the symmetric difference of every pair of intersecting circuits is a single circuit. Our main result shows that a connected regular matroid is circuit-difference if and only if it contains no pair of skew circuits. Using a result of Pfeil, this enables us to explicitly determine all regular circuit-difference matroids. The class of circuit-difference matroids is not closed under minors, but it is closed under series minors. We characterize the infinitely many excluded series minors for the class.


title: A Formal Development Cycle for Security Engineering in Isabelle

abstract: In this paper, we show a security engineering process based on a formal notion of refinement fully formalized in the proof assistant Isabelle. This Refinement-Risk Cycle focuses on attack analysis and security refinement supported by interactive theorem proving. Since we use a fully formalized model of infrastructures with actors and policies we can support a novel way of formal security refinement for system specifications. This formal process is built practically as an extension to the Isabelle Infrastructure framework with attack trees. We define a formal notion of refinement on infrastructure models. Thanks to the formal foundation of Kripke structures and branching time temporal logic in the Isabelle Infrastructure framework, these stepwise transformations can be interleaved with attack tree analysis thus providing a fully formal security engineering framework. The process is illustrated on an IoT healthcare case study introducing GDPR requirements and blockchain.


title: Smoothing and growth bound of periodic generalized Korteweg-de Vries equation

abstract: For generalized KdV models with polynomial nonlinearity, we establish nonlinear smoothing property in $H^s$ for $s>\frac{1}{2}$. Such smoothing effect persists globally, provided that the $H^1$ norm does not blow up in finite time. More specifically, we show that a translate of the nonlinear part of the solution gains $\min(2s-1,1)-$ derivatives for $s>\frac{1}{2}$. Following a new simple method, which is of independent interest, we establish that, for $s>1$, $H^s$ norm of a solution grows at most by $\langle t\rangle^{s-1+}$ if $H^1$ norm is a priori controlled.


title: Identification of Chimera using Machine Learning

abstract: Chimera state refers to coexistence of coherent and non-coherent phases in identically coupled dynamical units found in various complex dynamical systems. Identification of Chimera, on one hand is essential due to its applicability in various areas including neuroscience, and on other hand is challenging due to its widely varied appearance in different systems and the peculiar nature of its profile. Therefore, a simple yet universal method for its identification remains an open problem. Here, we present a very distinctive approach using machine learning techniques to characterize different dynamical phases and identify the chimera state from given spatial profiles generated using various different models. The experimental results show that the performance of the classification algorithms varies for different dynamical models. The machine learning algorithms, namely random forest, oblique random forest based on tikhonov, parallel-axis split and null space regularization achieved more than $96\% $ accuracy for the Kuramoto model. For the logistic-maps, random forest and tikhonov regularization based oblique random forest showed more than $90\%$ accuracy, and for the H\'enon-Map model, random forest, null-space and axis-parallel split regularization based oblique random forest achieved more than $80\%$ accuracy. The oblique random forest with null space regularization achieved consistent performance (more than $83\%$ accuracy) across different dynamical models while the auto-encoder based random vector functional link neural network showed relatively lower performance. This work provides a direction for employing machine learning techniques to identify dynamical patterns arising in coupled non-linear units on large-scale, and for characterizing complex spatio-temporal patterns in real-world systems for various applications.


title: Endo-microscopy beyond the Abbe and Nyquist limits

abstract: For several centuries, far-field optical microscopy has remained a key instrument in many scientific disciplines including physical, chemical and biomedical research. Nonetheless, far-field imaging has many limitations: the spatial resolution is controlled by the diffraction of light and the imaging speed follows Nyquist-Shannon sampling theorem. The recent development of super-resolution techniques has pushed the limits of spatial resolution. However, these methods typically require complicated setups, long acquisition time and are still not applicable for deep-tissue bioimaging. Here we report imaging through an ultra-thin fiber probe with a spatial resolution beyond the Abbe limit and a temporal resolution beyond the Nyquist limit simultaneously in a simple and compact setup. We use the random nature of mode coupling in a multimode fiber, the sparsity constraint and compressive sensing reconstruction. The new approach of super-resolution endo-microscopy does not use any specific properties of the fluorescent label such as depletion or stochastic activation of the molecular fluorescent state and therefore could be used for label-free imaging. We demonstrate a spatial resolution more than 2 times better than the diffraction limit and an imaging speed 20 times faster than the Nyquist limit. The proposed approach could significantly expand the realm of the application of nanoscopy for bioimaging.


title: Rate-dependent tipping-delay phenomenon in a thermoacoustic system with colored noise

abstract: Tipping is a phenomenon in multistable systems where small changes in inputs cause huge changes in outputs. When the parameter varies within a certain time scale, the rate will affect the tipping behaviors. These behaviors are undesirable in thermoacoustic systems, which are widely used in aviation, power generation and other industries. Thus, this paper aims at considering the tipping behaviors of the thermoacoustic system with the time-varying parameters and the combined excitations of additive and multiplicative colored noises. Transient dynamical behaviors for the proposed thermoacoustic model are implemented through the reduced Fokker-Planck-Kolmogorov equation derived by a standard stochastic averaging method. Then, the tipping problems of the rate-dependent thermoacoustic systems with random fluctuations are studied by virtue of the obtained probability density functions. Our results show that the rate delays the value of the tipping parameter compared to the one with the quasi-steady assumption, which is called as a rate-dependent tipping-delay phenomenon. Besides, the influences of the initial values, the rate, the changing time of the parameters, and the correlation time of the noises on the rate-dependent tipping-delay phenomenon are analyzed in detail. These results are of great significance for research in related fields such as aviation and land gas turbines.


title: Towards a Framework for the Design, Implementation and Reporting of Methodology Scoping Reviews

abstract: Background: In view of the growth of published papers, there is an increasing need for studies that summarise scientific research. An increasingly common review is a 'Methodology scoping review', which provides a summary of existing analytical methods, techniques and software, proposed or applied in research articles, which address an analytical problem or further an analytical approach. However, guidelines for their design, implementation and reporting are limited. Methods: Drawing on the experiences of the authors, which were consolidated through a series of face-to-face workshops, we summarise the challenges inherent in conducting a methodology scoping review and offer suggestions of best practice to promote future guideline development. Results: We identified three challenges of conducting a methodology scoping review. First, identification of search terms; one cannot usually define the search terms a priori and the language used for a particular method can vary across the literature. Second, the scope of the review requires careful consideration since new methodology is often not described (in full) within abstracts. Third, many new methods are motivated by a specific clinical question, where the methodology may only be documented in supplementary materials. We formulated several recommendations that build upon existing review guidelines. These recommendations ranged from an iterative approach to defining search terms through to screening and data extraction processes. Conclusion: Although methodology scoping reviews are an important aspect of research, there is currently a lack of guidelines to standardise their design, implementation and reporting. We recommend a wider discussion on this topic.


title: Generalized Realizability and Basic Logic

abstract: Let V be a set of number-theoretical functions. We define a notion of absolute V-realizability for predicate formulas and sequents in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier. In this paper we prove that Basic Logic is sound with respect to the semantics of absolute V-realizability if V satisfies some natural conditions.


title: Role of interaction on electrical conductivity of QGP in presence of magnetic field

abstract: Effect of quantum chromodynamics (QCD) interaction in quark-gluon plasma on electrical conductivity is studied, where lattice quantum chromodynamics (LQCD) results are mapped through quark and gluon degeneracy.


title: Causal aspects of effective QCD models

abstract: Here we studied the possible diffusion speed for relativistic fluid in different effective quantum chromodynamics models: Nambu-Jona-Lasinio (NJL), Polyakov loop extended NJL, entangled PNJL (EPNJL) model.


title: Virtualized C-RAN Orchestration with Docker, Kubernetes and OpenAirInterface

abstract: Virtualization is a key feature in Cloud Radio Access Network (C-RAN). It can help to save costs since it allows the use of virtualized base stations instead of physically deployment in different areas. However, the creation and management of virtual base stations pools is not trivial and introduces new challenges to C-RAN deployment. This paper reports a method to orchestrate and manage a container-based C-RAN. We used several instances of the OpenAirInterface software running on Docker containers, and orchestrated them using Kubernetes. We demonstrate that using Kubernetes it is possible to dynamically scale remote radio heads (RRHs) and baseband units (BBUs) according to requirements of the network and parameters such as the server resources usage.


title: A Framework for Cloud Security Risk Management Based on the Business Objectives of Organizations

abstract: Security is considered one of the top ranked risks of Cloud Computing (CC) due to the outsourcing of sensitive data onto a third party. In addition, the complexity of the cloud model results in a large number of heterogeneous security controls that must be consistently managed. Hence, no matter how strongly the cloud model is secured, organizations continue suffering from lack of trust on CC and remain uncertain about its security risk consequences. Traditional risk management frameworks do not consider the impact of CC security risks on the business objectives of the organizations. In this paper, we propose a novel Cloud Security Risk Management Framework (CSRMF) that helps organizations adopting CC identify, analyze, evaluate, and mitigate security risks in their Cloud platforms. Unlike traditional risk management frameworks, CSRMF is driven by the business objectives of the organizations. It allows any organization adopting CC to be aware of cloud security risks and align their low-level management decisions according to high-level business objectives. In essence, it is designed to address impacts of cloud-specific security risks into business objectives in a given organization. Consequently, organizations are able to conduct a cost-value analysis regarding the adoption of CC technology and gain an adequate level of confidence in Cloud technology. On the other hand, Cloud Service Providers (CSP) are able to improve productivity and profitability by managing cloud-related risks. The proposed framework has been validated and evaluated through a use-case scenario.


title: Zero-crossing magnetic field modulation at high frequency for triaxial-vectorial SERF atomic magnetometer

abstract: The triaxial-vectorial magnetic field measurement method based on the quasi-steady-state solution of Bloch equation for SERF atomic magnetometry is firstly proposed by S. Seltzer and M. Romalis in 2004, which introduces dual-axis zero-crossing magnetic fields modulation. The modulation frequency must be slow enough that the quasi-steady-state solution is valid, otherwise the measurement accuracy will be seriously degraded. Thus the bandwidth of the system is greatly limited. In order to enhance the bandwidth constricted by the range of modulation frequency, we investigate the response of alkali-atomic spin to high-frequency modulation field by solving the Bloch equation in a time-dependence manner.


title: Peculiarity of the $^{12}$C$(0^+)$ and $^{12}$C$(2^+)$ energy spectrum in a 3$\alpha$ model

abstract: Lowest energy spectrum of the $^{12}$C nucleus is analyzed in the 3$\alpha$ cluster model with a deep $\alpha\alpha$-potential of Buck, Friedrich and Wheatley with Pauli forbidden states in the $S$ and $D$ waves. The direct orthogonalization method is applied for the elimination of the 3$\alpha$-Pauli forbidden states. The effects of possible first order quantum phase transition are shown in the lowest $^{12}$C($0_1^+)$ and $^{12}$C($2_1^+)$ states from weakly bound phase to a deep phase. The ground and lowest $2^+$ states of the $^{12}$C nucleus in the deep phase are created by the critical eigen states of the Pauli projector for the $0^+$ and $2^+$ three-alpha functional spaces, respectively.


title: Mechanism Design for Multi-Party Machine Learning

abstract: In a multi-party machine learning system, different parties cooperate on optimizing towards better models by sharing data in a privacy-preserving way. A major challenge in learning is the incentive issue. For example, if there is competition among the parties, one may strategically hide his data to prevent other parties from getting better models. In this paper, we study the problem through the lens of mechanism design and incorporate the features of multi-party learning in our setting. First, each agent's valuation has externalities that depend on others' types and actions. Second, each agent can only misreport a type lower than his true type, but not the other way round. We call this setting interdependent value with type-dependent action spaces. We provide the optimal truthful mechanism in the quasi-monotone utility setting. We also provide necessary and sufficient conditions for truthful mechanisms in the most general case. Finally, we show the existence of such mechanisms is highly affected by the market growth rate and provide empirical analysis.


title: Effectively Trainable Semi-Quantum Restricted Boltzmann Machine

abstract: We propose a novel quantum model for the restricted Boltzmann machine (RBM), in which the visible units remain classical whereas the hidden units are quantized as noninteracting fermions. The free motion of the fermions is parametrically coupled to the classical signal of the visible units. This model possesses a quantum behaviour such as coherences between the hidden units. Numerical experiments show that this fact makes it more powerful than the classical RBM with the same number of hidden units. At the same time, a significant advantage of the proposed model over the other approaches to the Quantum Boltzmann Machine (QBM) is that it is exactly solvable and efficiently trainable on a classical computer: there is a closed expression for the log-likelihood gradient with respect to its parameters. This fact makes it interesting not only as a model of a hypothetical quantum simulator, but also as a quantum-inspired classical machine-learning algorithm.


title: LaFurca: Iterative Refined Speech Separation Based on Context-Aware Dual-Path Parallel Bi-LSTM

abstract: Deep neural network with dual-path bi-directional long short-term memory (BiLSTM) block has been proved to be very effective in sequence modeling, especially in speech separation, e.g. DPRNN-TasNet \cite{luo2019dual}. In this paper, we propose several improvements of dual-path BiLSTM based network for end-to-end approach to monaural speech separation. Firstly a dual-path network with intra-parallel BiLSTM and inter-parallel BiLSTM components is introduced to reduce performance sub-variances among different branches. Secondly, we propose to use global context aware inter-intra cross-parallel BiLSTM to further perceive the global contextual information. Finally, a spiral multi-stage dual-path BiLSTM is proposed to iteratively refine the separation results of the previous stages. All these networks take the mixed utterance of two speakers and map it to two separate utterances, where each utterance contains only one speaker's voice. For the objective, we propose to train the network by directly optimizing the utterance level scale-invariant signal-to-distortion ratio (SI-SDR) in a permutation invariant training (PIT) style. Our experiments on the public WSJ0-2mix data corpus results in 20.55dB SDR improvement, 20.35dB SI-SDR improvement, 3.69 of PESQ, and 94.86\% of ESTOI, which shows our proposed networks can lead to performance improvement on the speaker separation task. We have open-sourced our re-implementation of the DPRNN-TasNet in https://github.com/ShiZiqiang/dual-path-RNNs-DPRNNs-based-speech-separation, and our LaFurca is realized based on this implementation of DPRNN-TasNet, it is believed that the results in this paper can be reproduced with ease.


title: SAT-hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain

abstract: State-of-the-art attacks against cyclic logic obfuscation use satisfiability solvers that are equipped with a set of cycle avoidance clauses. These cycle avoidance clauses are generated in a pre-processing step and define various key combinations that could open or close cycles without making the circuit oscillating or stateful. In this paper, we show that this pre-processing step has to generate cycle avoidance conditions on all cycles in a netlist, otherwise, a missing cycle could trap the solver in an infinite loop or make it exit with an incorrect key. Then, we propose several techniques by which the number of cycles is exponentially increased as a function of the number of inserted feedbacks. We further illustrate that when the number of feedbacks is increased, the pre-processing step of the attack faces an exponential increase in complexity and runtime, preventing the correct composition of cycle avoidance clauses in a reasonable time. On the other hand, if the pre-processing is not concluded, the attack formulated by the satisfiability solver will either get stuck or exit with an incorrect key. Hence, when the cyclic obfuscation under the conditions proposed in this paper is implemented, it would impose an exponentially difficult problem for the satisfiability solver based attacks.


title: Optimal error estimate of the finite element approximation of second order semilinear non-autonomous parabolic PDEs

abstract: In this work, we investigate the numerical approximation of the second order non-autonomous semilnear parabolic partial differential equation (PDE) using the finite element method. To the best of our knowledge, only the linear case is investigated in the literature. Using an approach based on evolution operator depending on two parameters, we obtain the error estimate of the scheme toward the mild solution of the PDE under polynomial growth condition of the nonlinearity. Our convergence rate are obtain for smooth and non-smooth initial data and is similar to that of the autonomous case. Our convergence result for smooth initial data is very important in numerical analysis. For instance, it is one step forward in approximating non-autonomous stochastic partial differential equations by the finite element method. In addition, we provide realistic conditions on the nonlinearity, appropriated to achieve optimal convergence rate without logarithmic reduction by exploiting the smooth properties of the two parameters evolution operator.


title: MagNet: Discovering Multi-agent Interaction Dynamics using Neural Network

abstract: We present the MagNet, a neural network-based multi-agent interaction model to discover the governing dynamics and predict evolution of a complex multi-agent system from observations. We formulate a multi-agent system as a coupled non-linear network with a generic ordinary differential equation (ODE) based state evolution, and develop a neural network-based realization of its time-discretized model. MagNet is trained to discover the core dynamics of a multi-agent system from observations, and tuned on-line to learn agent-specific parameters of the dynamics to ensure accurate prediction even when physical or relational attributes of agents, or number of agents change. We evaluate MagNet on a point-mass system in two-dimensional space, Kuramoto phase synchronization dynamics and predator-swarm interaction dynamics demonstrating orders of magnitude improvement in prediction accuracy over traditional deep learning models.


title: Stochastic homogenization of multicontinuum heterogeneous flows

abstract: We consider a multicontinuum model in porous media applications, which is described as a system of coupled flow equations. The coupling between different continua depends on many factors and its modeling is important for porous media applications. The coefficients depend on particle deposition that is described in term of a stochastic process solution of an SDE. The stochastic process is considered to be faster than the flow motion and we introduce time-space scales to model the problem. Our goal is to pass to the limit in time and space and to find an associated averaged system. This is an averaging-homogenization problem, where the averages are computed in terms of the invariant measure associated to the fast motion and the spatial variable. We use the techniques developed in our previous paper to model the interactions between the continua and derive the averaged model problem that can be used in many applications.


title: Time and Observables in Covariant Quantum Theory

abstract: A modification of the covariant theory is proposed in which the self-energy of the system, corresponding to time-like degrees of freedom in the configuration space, preserves the classical law of change in quantum theory. As a result, proper time in covariant quantum theory takes on a dynamic meaning. As applications of the new formalism, a modification of the relativistic quantum mechanics of a scalar particle and a homogeneous model of the universe is considered.


title: New unitals in projective planes of order 16

abstract: In this study we performed a computer search for unitals in planes of order 16. Some new unitals were found and we show that some unitals can be embedded in two or more different planes.


title: Theoretically Expressive and Edge-aware Graph Learning

abstract: We propose a new Graph Neural Network that combines recent advancements in the field. We give theoretical contributions by proving that the model is strictly more general than the Graph Isomorphism Network and the Gated Graph Neural Network, as it can approximate the same functions and deal with arbitrary edge values. Then, we show how a single node information can flow through the graph unchanged.


title: Twenty Years of Network Science: A Bibliographic and Co-Authorship Network Analysis

abstract: Two decades ago three pioneering papers turned the attention to complex networks and initiated a new era of research, establishing an interdisciplinary field called network science. Namely, these highly-cited seminal papers were written by Watts&Strogatz, Barab\'asi&Albert, and Girvan&Newman on small-world networks, on scale-free networks and on the community structure of complex networks, respectively. In the past 20 years - due to the multidisciplinary nature of the field - a diverse but not divided network science community has emerged. In this paper, we investigate how this community has evolved over time with respect to speed, diversity and interdisciplinary nature as seen through the growing co-authorship network of network scientists (here the notion refers to a scholar with at least one paper citing at least one of the three aforementioned milestone papers). After providing a bibliographic analysis of 31,763 network science papers, we construct the co-authorship network of 56,646 network scientists and we analyze its topology and dynamics. We shed light on the collaboration patterns of the last 20 years of network science by investigating numerous structural properties of the co-authorship network and by using enhanced data visualization techniques. We also identify the most central authors, the largest communities, investigate the spatiotemporal changes, and compare the properties of the network to scientometric indicators.


title: Reactive Navigation under Non-Parametric Uncertainty through Hilbert Space Embedding of Probabilistic Velocity Obstacles

abstract: The probabilistic velocity obstacle (PVO) extends the concept of velocity obstacle (VO) to work in uncertain dynamic environments. In this paper, we show how a robust model predictive control (MPC) with PVO constraints under non-parametric uncertainty can be made computationally tractable. At the core of our formulation is a novel yet simple interpretation of our robust MPC as a problem of matching the distribution of PVO with a certain desired distribution. To this end, we propose two methods. Our first baseline method is based on approximating the distribution of PVO with a Gaussian Mixture Model (GMM) and subsequently performing distribution matching using Kullback Leibler (KL) divergence metric. Our second formulation is based on the possibility of representing arbitrary distributions as functions in Reproducing Kernel Hilbert Space (RKHS). We use this foundation to interpret our robust MPC as a problem of minimizing the distance between the desired distribution and the distribution of the PVO in the RKHS. Both the RKHS and GMM based formulation can work with any uncertainty distribution and thus allowing us to relax the prevalent Gaussian assumption in the existing works. We validate our formulation by taking an example of 2D navigation of quadrotors with a realistic noise model for perception and ego-motion uncertainty. In particular, we present a systematic comparison between the GMM and the RKHS approach and show that while both approaches can produce safe trajectories, the former is highly conservative and leads to poor tracking and control costs. Furthermore, RKHS based approach gives better computational times that are up to one order of magnitude lesser than the computation time of the GMM based approach.


title: Test the Weak Cosmic Censorship Conjecture in Torus-Like Black Hole under Charged Scalar Field

abstract: We investigate weak cosmic censorship conjecture in charged torus-like black hole by the complex scalar field scattering. Using the relation between the conserved quantities of a black hole and the scalar field, we can calculate the change of the energy and charge within the infinitesimal time. The change of the enthalpy is connected to the change of energy, then we use those results to test whether the first law, the second law as well as the weak cosmic censorship conjecture are valid. In the normal phase space, the first law of thermodynamics and the weak cosmic censorship conjecture are valid, and the second law of thermodynamics is not violated. For the specific black hole under scalar field scattering we consider, in the extend phase space, the first law of thermodynamics and the weak cosmic censorship conjecture are valid. However, the second law of thermodynamics is violated when the black hole's initial charge reaches a certain value.


title: Numerator polynomials of the Riordan matrices

abstract: Riordan matrices are infinite lower triangular matrices corresponding to the certain operators in the space of formal power series. Generalized Euler polynomials ${{g}_{n}}\left( x \right)={{\left( 1-x \right)}^{n+1}}\sum\nolimits_{m=0}^{\infty }{{{p}_{n}}}\left( m \right){{x}^{m}}$, where ${{p}_{n}}\left( m \right)$ is the polynomial of degree $\le n$, are the numerator polynomials of the generating functions of diagonals of the ordinary Riordan matrices. Generalized Narayana polynomials ${{h}_{n}}\left( x \right)={{\left( 1-x \right)}^{2n+1}}\sum\nolimits_{m=0}^{\infty }{\left( m+1 \right)...\left( m+n \right){{p}_{n}}}\left( m \right){{x}^{m}}$ are the numerator polynomials of the generating functions of diagonals of the exponential Riordan matrices. In paper, the properties of these two types of numerator polynomials and the constructive relationships between them are considered. Separate attention is paid to the numerator polynomials of Riordan matrices associated with the family of series $_{\left( \beta \right)}a\left( x \right)=a\left( x{}_{\left( \beta \right)}{{a}^{\beta }}\left( x \right) \right)$.


title: The impact on mathematics of the paper ''Oscillation and Chaos in Physiological Control Systems'' by Mackey and Glass in Science, 1977

abstract: The note describes the role of the Mackey-Glass equation and of a similar equation due to Lasota in the study of nonlinear delay differential equations between 1977 and 2012, as far as rigorous mathematical results are concerned, and from the very personal point of view of the author's involvement.


title: Ownership preserving AI Market Places using Blockchain

abstract: We present a blockchain based system that allows data owners, cloud vendors, and AI developers to collaboratively train machine learning models in a trustless AI marketplace. Data is a highly valued digital asset and central to deriving business insights. Our system enables data owners to retain ownership and privacy of their data, while still allowing AI developers to leverage the data for training. Similarly, AI developers can utilize compute resources from cloud vendors without loosing ownership or privacy of their trained models. Our system protocols are set up to incentivize all three entities - data owners, cloud vendors, and AI developers to truthfully record their actions on the distributed ledger, so that the blockchain system provides verifiable evidence of wrongdoing and dispute resolution. Our system is implemented on the Hyperledger Fabric and can provide a viable alternative to centralized AI systems that do not guarantee data or model privacy. We present experimental performance results that demonstrate the latency and throughput of its transactions under different network configurations where peers on the blockchain may be spread across different datacenters and geographies. Our results indicate that the proposed solution scales well to large number of data and model owners and can train up to 70 models per second on a 12-peer non optimized blockchain network and roughly 30 models per second in a 24 peer network.


title: Proximity in Triangulations and Quadrangulations

abstract: Let $ G $ be a connected graph. If $\bar{\sigma}(v)$ denotes the arithmetic mean of the distances from $v$ to all other vertices of $G$, then the proximity, $\pi(G)$, of $G$ is defined as the smallest value of $\bar{\sigma}(v)$ over all vertices $v$ of $G$. We give upper bounds for the proximity of simple triangulations and quadrangulations of given order and connectivity. We also construct simple triangulations and quadrangulations of given order and connectivity that match the upper bounds asymptotically and are likely optimal.


title: Inexact Relative Smoothness and Strong Convexity for Optimization and Variational Inequalities by Inexact Model

abstract: In this paper, we propose a general algorithmic framework for first-order methods in optimization in a broad sense, including minimization problems, saddle-point problems, and variational inequalities. This framework allows obtaining many known methods as a special case, the list including accelerated gradient method, composite optimization methods, level-set methods, Bregman proximal methods. The idea of the framework is based on constructing an inexact model of the main problem component, i.e. objective function in optimization or operator in variational inequalities. Besides reproducing known results, our framework allows constructing new methods, which we illustrate by constructing a universal conditional gradient method and a universal method for variational inequalities with a composite structure. This method works for smooth and non-smooth problems with optimal complexity without a priori knowledge of the problem's smoothness. As a particular case of our general framework, we introduce relative smoothness for operators and propose an algorithm for variational inequalities (VIs) with such operators. We also generalize our framework for relatively strongly convex objectives and strongly monotone variational inequalities. This paper is an extended and updated version of [arXiv:1902.00990]. In particular, we add an extension of relative strong convexity for optimization and variational inequalities.


title: The identification problem for BSDEs driven by possibly non quasi-left-continuous random measures

abstract: In this paper we focus on the so called identification problem for a backward SDE driven by a continuous local martingale and a possibly non quasi-left-continuous random measure. Supposing that a solution (Y, Z, U) of a backward SDE is such that $Y(t) = v(t, X(t))$ where X is an underlying process and v is a deterministic function, solving the identification problem consists in determining Z and U in term of v. We study the over-mentioned identification problem under various sets of assumptions and we provide a family of examples including the case when X is a non-semimartingale jump process solution of an SDE with singular coefficients.


title: Inspection plan prediction for multi-repairable component systems using neural network

abstract: Implementing an appropriate maintenance policy would help us to have a more reliable system and reduce the total costs. In this paper, a dynamic maintenance plan is proposed for repairable multi-component systems, where each component is subject to two competing failure processes of degradation and random shock. For systems with individually repairable components, it is not economical to replace the whole system if it fails. At any inspection time, the failed components can be detected and replaced with a new one and the other components continue functioning; therefore, the initial age of each component at any inspection time is different from other components. Different initial ages have an effect on the optimal time that the whole system should be inspected. The optimal inspection time should be calculated dynamically considering the initial age of all the components and their configuration within the system. In this paper, a neural network method is used to predict the next optimal inspection time for systems considering the initial age of components at the beginning of the inspection. System reliability and cost rate function are formulated and used to train the prediction model. The proposed maintenance plan is demonstrated by numerical examples


title: TADPOLE Challenge: Accurate Alzheimer's disease prediction through crowdsourced forecasting of future data

abstract: The TADPOLE Challenge compares the performance of algorithms at predicting the future evolution of individuals at risk of Alzheimer's disease. TADPOLE Challenge participants train their models and algorithms on historical data from the Alzheimer's Disease Neuroimaging Initiative (ADNI) study. Participants are then required to make forecasts of three key outcomes for ADNI-3 rollover participants: clinical diagnosis, ADAS-Cog 13, and total volume of the ventricles -- which are then compared with future measurements. Strong points of the challenge are that the test data did not exist at the time of forecasting (it was acquired afterwards), and that it focuses on the challenging problem of cohort selection for clinical trials by identifying fast progressors. The submission phase of TADPOLE was open until 15 November 2017; since then data has been acquired until April 2019 from 219 subjects with 223 clinical visits and 150 Magnetic Resonance Imaging (MRI) scans, which was used for the evaluation of the participants' predictions. Thirty-three teams participated with a total of 92 submissions. No single submission was best at predicting all three outcomes. For diagnosis prediction, the best forecast (team Frog), which was based on gradient boosting, obtained a multiclass area under the receiver-operating curve (MAUC) of 0.931, while for ventricle prediction the best forecast (team EMC1), which was based on disease progression modelling and spline regression, obtained mean absolute error of 0.41% of total intracranial volume (ICV). For ADAS-Cog 13, no forecast was considerably better than the benchmark mixed effects model (BenchmarkME), provided to participants before the submission deadline. Further analysis can help understand which input features and algorithms are most suitable for Alzheimer's disease prediction and for aiding patient stratification in clinical trials.


title: Discrete graphical models -- an optimization perspective

abstract: This monograph is about discrete energy minimization for discrete graphical models. It considers graphical models, or, more precisely, maximum a posteriori inference for graphical models, purely as a combinatorial optimization problem. Modeling, applications, probabilistic interpretations and many other aspects are either ignored here or find their place in examples and remarks only. It covers the integer linear programming formulation of the problem as well as its linear programming, Lagrange and Lagrange decomposition-based relaxations. In particular, it provides a detailed analysis of the polynomially solvable acyclic and submodular problems, along with the corresponding exact optimization methods. Major approximate methods, such as message passing and graph cut techniques are also described and analyzed comprehensively. The monograph can be useful for undergraduate and graduate students studying optimization or graphical models, as well as for experts in optimization who want to have a look into graphical models. To make the monograph suitable for both categories of readers we explicitly separate the mathematical optimization background chapters from those specific to graphical models.


title: Are Distributed Ledger Technologies Ready for Smart Transportation Systems?

abstract: The aim of this paper is to understand whether Distributed Ledger Technologies (DLTs) are ready to support complex services, such as those related to Intelligent Transportation Systems (ITS). In smart transportation services, a huge amount of sensed data is generated by a multitude of vehicles. While DLTs provide very interesting features, such as immutability, traceability and verifiability of data, some doubts on the scalability and responsiveness of these technologies appear to be well-founded. We propose an architecture for ITS that resorts to DLT features. Moreover, we provide experimental results of a real test-bed over IOTA, a promising DLT for IoT. Results clearly show that, while the viability of the proposal cannot be rejected, further work is needed on the responsiveness of DLT infrastructures.


title: Deuteron-induced reactions on manganese at low energies

abstract: The scarce data systematics and complexity of deuteron interactions demand the update of both the experimental database and theoretical frame of deuteron activation cross sections. Various reactions induced by neutrons and protons following the deuteron breakup (BU) should be also taken into account. On the other hand, deuteron reaction cross sections recommended recently for high-priority elements are still based on data fit without predictive power. Purpose: Accurate new measurements of low-energy deuteron-induced reaction cross sections for monoisotopic (55Mn) natural manganese target enhance the related database as well as the opportunity of an unitary and consistent account of the related reaction mechanisms. Method: Activation cross sections of 54,56Mn, and 51Cr nuclei by deuterons on $^{55}$Mn were measured at energies <20 MeV by the stacked-foil technique and high resolution gamma spectrometry at the U-120M cyclotron of CANAM, NPI CAS. Then all available data for deuterons on 55Mn up to 50 MeV are analyzed paying particular attention to BU and direct reaction (DR) mechanisms. Results: Newly measured activation cross sections strengthen the deuteron database at low energies, at once with a consistent account for the first time of all available data. Conclusions: Due account of deuteron-induced reactions on 55Mn, including particularly the new experimental data at low energies, is provided by a suitable BU and DR assessment.


title: \nu \bar{\nu} -Pair Synchrotron Emission in Neutron-Star Matter based on a Relativistic Quantum Approach

abstract: We study the neutrino anti-neutrino pair synchrotron emission from electrons and protons in a relativistic quantum approach. This process occurs only under a strong magnetic field, and it is considered to be one of effective processes for neutron star cooling. In this work we calculate the luminosity of the neutrino anti-neutrino pairs emitted from neutron-star-matter with a magnetic field of about 10^{15} G. We find that the energy loss is much larger than that of the modified Urca process. The neutrino anti-neutrino pair emission processes in strong magnetic fields is expected to contribute significantly to the cooling of the magnetars.


title: Dense Residual Network: Enhancing Global Dense Feature Flow for Character Recognition

abstract: Deep Convolutional Neural Networks (CNNs), such as Dense Convolutional Networks (DenseNet), have achieved great success for image representation by discovering deep hierarchical information. However, most existing networks simply stacks the convolutional layers and hence failing to fully discover local and global feature information among layers. In this paper, we mainly explore how to enhance the local and global dense feature flow by exploiting hierarchical features fully from all the convolution layers. Technically, we propose an efficient and effective CNN framework, i.e., Fast Dense Residual Network (FDRN), for text recognition. To construct FDRN, we propose a new fast residual dense block (f-RDB) to retain the ability of local feature fusion and local residual learning of original RDB, which can reduce the computing efforts at the same time. After fully learning local residual dense features, we utilize the sum operation and several f-RDBs to define a new block termed global dense block (GDB) by imitating the construction of dense blocks to learn global dense residual features adaptively in a holistic way. Finally, we use two convolution layers to construct a down-sampling block to reduce the global feature size and extract deeper features. Extensive simulations show that FDRN obtains the enhanced recognition results, compared with other related models.


title: How anisotropic mixed smoothness affects the decay of singular numbers of Sobolev embeddings

abstract: We continue the research on the asymptotic and preasymptotic decay of singular numbers for tensor product Hilbert-Sobolev type embeddings in high dimensions with special emphasis on the influence of the underlying dimension $d$. The main focus in this paper lies on tensor products involving univariate Sobolev type spaces with different smoothness. We study the embeddings into $L_2$ and $H^1$. In other words, we investigate the worst-case approximation error measured in $L_2$ and $H^1$ when only $n$ linear samples of the function are available. Recent progress in the field shows that accurate bounds on the singular numbers are essential for recovery bounds using only function values. The asymptotic bounds in our setting are known for a long time. In this paper we contribute the correct asymptotic constant and explicit bounds in the preasymptotic range for $n$. We complement and improve on several results in the literature. In addition, we refine the error bounds coming from the setting where the smoothness vector is moderately increasing, which has been already studied by Papageorgiou and Wo{\'z}niakowski.


title: Latest results on the production of hadronic resonances in ALICE at the LHC

abstract: Measurement of short-lived hadronic resonances are used to study different aspects of particle production and collision dynamics in pp, p-A and relativistic heavy-ion collisions. The yields of resonances are sensitive to the competing processes of hadron rescattering and regeneration, thus making these particles unique probes of the properties of the late hadronic phase. Measurements of resonances with different masses and quantum numbers also provide insight into strangeness production and processes that determine the shapes of particle momentum spectra at intermediate transverse momenta, as well as the species dependence of hadron suppression at high momentum. We present the comprehensive set of results in the ALICE experiment with unprecedented precision for $\rho(770)^{0}$, K$^{*}(892)$, $\phi(1020)$, $\Sigma(1385)^{\pm}$, $\Lambda(1520)$, and $\Xi(1530)^{0}$ production in pp, p-Pb, Xe-Xe and Pb-Pb collisions in the energy range $\sqrt{s_{\rm NN}}$ = 2.76-13 TeV, including the latest measurements from LHC Run 2. The obtained results are used to study the system-size and collision-energy evolution of transverse momentum spectra, particle ratios and nuclear modification factors and to search for the onset of collectivity in small collision systems. We compare these results to lower energy measurements and model calculations where available.


title: Deterministic equivalence for noisy perturbations

abstract: We prove a quantitative deterministic equivalence theorem for the logarithmic potentials of deterministic complex $N\times N$ matrices subject to small random perturbations. We show that with probability close to $1$ this log-potential is, up to a small error, determined by the singular values of the unperturbed matrix which are larger than some small $N$-dependent cut-off parameter.


title: Passivation mechanisms and pre-oxidation effects on model surfaces of FeCrNi austenitic stainless steel

abstract: Passivation mechanisms were investigated on (100)-oriented Fe-18Cr-13Ni surfaces with direct transfer between surface preparation and analysis by X-ray photoelectron spectroscopy and scanning tunneling microscopy and electrochemical characterization. Starting from oxide-free surfaces, pre-oxidation at saturation under ultra-low pressure (ULP) oxygen markedly promotes the oxide film Cr(III) enrichment and hinders/delays subsequent iron oxidation in water-containing environment. Exposure to sulfuric acid at open circuit potential causes preferential dissolution of oxidized iron species. Anodic passivation forces oxide film re-growth, Cr(III) dehydroxylation and further enrichment. ULP pre-oxidation promotes Cr(III) hydroxide formation at open circuit potential, compactness of the nanogranular oxide film and corrosion protection.


title: In-situ high resolution TEM observation of Aluminum solid-state diffusion in Germanium nanowires: fabricating sub-10 nm Ge quantum dots

abstract: Aluminum-germanium nanowires (NWs) thermal activated solid state reaction is a promising system as very sharp and well defined one dimensional contacts can be created between a metal and a semiconductor, that can become a quantum dot if the size becomes sufficiently small. In the search for high performance devices without variability, it is of high interest to allow deterministic fabrication of nanowire quantum dots, avoiding sample variability and obtaining atomic scale precision on the fabricated dot size. In this paper, we present a reliable fabrication process to produce sub-10 nm Ge quantum dots (QDs), using a combination of ex-situ thermal annealing via rapid thermal annealing (RTA) and in-situ Joule heating technique in a transmission electron microscope (TEM). First we present in-situ direct joule heating experiments showing how the heating electrode could be damaged due to the formation of Al crystals and voids at the vicinity of the metal/NW contact, likely related with electro-migration phenomena. We show that the contact quality can be preserved by including an additional ex-situ RTA step prior to the in-situ heating. The in-situ observations also show in real-time how the exchange reaction initiates simultaneously from several locations underneath the Al contact pad, and the Al crystal grows gradually inside the initial Ge NW with the growth interface along a Ge(111) lattice plane. Once the reaction front moves out from underneath the contact metal, two factors jeopardize an atomically accurate control of the Al/Ge reaction interface. We observed a local acceleration of the reaction interface due to the electron beam irradiation in the transmission electron microscope as well as the appearance of large jumps of the interface in unpassivated Ge wires while a smooth advancement of the reaction interface was observed in wires with an Al2O3 protecting shell on the surface. Carefully controlling all aspects of the exchange reaction, we demonstrate a fabrication process combining ex-situ and in-situ heating techniques to precisely control and produce axial Al/Ge/Al NW heterostructures with an ultra-short Ge segment down to 8 nanometers. Practically, the scaling down of Ge segment length is only limited by the microscope resolution.


title: Weakly Supervised Learning Meets Ride-Sharing User Experience Enhancement

abstract: Weakly supervised learning aims at coping with scarce labeled data. Previous weakly supervised studies typically assume that there is only one kind of weak supervision in data. In many applications, however, raw data usually contains more than one kind of weak supervision at the same time. For example, in user experience enhancement from Didi, one of the largest online ride-sharing platforms, the ride comment data contains severe label noise (due to the subjective factors of passengers) and severe label distribution bias (due to the sampling bias). We call such a problem as "compound weakly supervised learning". In this paper, we propose the CWSL method to address this problem based on Didi ride-sharing comment data. Specifically, an instance reweighting strategy is employed to cope with severe label noise in comment data, where the weights for harmful noisy instances are small. Robust criteria like AUC rather than accuracy and the validation performance are optimized for the correction of biased data label. Alternating optimization and stochastic gradient methods accelerate the optimization on large-scale data. Experiments on Didi ride-sharing comment data clearly validate the effectiveness. We hope this work may shed some light on applying weakly supervised learning to complex real situations.


title: Quantum transport in topological surface states of Bi$_2$Te$_3$ nanoribbons

abstract: Quasi-1D nanowires of topological insulators are emerging candidate structures in superconductor hybrid architectures for the realization of Majorana fermion based quantum computation schemes. It is however technically difficult to both fabricate as well as identify the 1D limit of topological insulator nanowires. Here, we investigated selectively-grown Bi$_2$Te$_3$ topological insulator nanoribbons and nano Hall bars at cryogenic temperatures for their topological properties. The Hall bars are defined in deep-etched Si$_3$N$_4$/SiO$_2$ nano-trenches on a silicon (111) substrate followed by a selective area growth process via molecular beam epitaxy. The selective area growth is beneficial to the device quality, as no subsequent fabrication needs to be performed to shape the nanoribbons. Transmission line measurements are performed to evaluate contact resistances of Ti/Au contacts applied as well as the specific resistance of the Bi$_2$Te$_3$ binary topological insulator. In the diffusive transport regime of these unintentionally $n$-doped Bi$_2$Te$_3$ topological insulator nano Hall bars, we identify distinguishable electron trajectories by analyzing angle-dependent universal conductance fluctuation spectra. When the sample is tilted from a perpendicular to a parallel magnetic field orientation, these high frequent universal conductance fluctuations merge with low frequent Aharonov-Bohm type oscillations originating from the topologically protected surface states encircling the nanoribbon cross section. For 500 nm wide Hall bars we also identify low frequent Shubnikov-de Haas oscillations in the perpendicular field orientation, that reveal a topological high-mobility 2D transport channel, partially decoupled from the bulk of the material.


title: Rewriting Structured Cospans

abstract: To foster the study of networks on an abstract level, we further study the formalism of structured cospans. We define a topos of structured cospans and establish its theory of rewriting. For the rewrite relation, we propose a double categorical semantics to encode the compositionality of the structure cospans. For an application, we generalize the inductive viewpoint of graph rewriting to rewriting in a wider class of topoi.


title: Bounds for the capacity error function for unidirectional channels with noiseless feedback

abstract: In digital systems such as fiber optical communications, the ratio between probability of errors of type $1\to 0$ and $0 \to 1$ can be large. Practically, one can assume that only one type of error can occur. These errors arecalled asymmetric. Unidirectional errors differ from asymmetric type of errors; here both $1 \to 0$ and $0 \to 1$ type of errors are possible, but in any submittedcodeword all the errors are of the same type. This can be generalized for the $q$-ary case. We consider $q$-ary unidirectional channels with feedback and give bounds for the capacity error function. It turns out that the bounds depend on the parity of the alphabet $q$. Furthermore, we show that for feedback, the capacity error function for the binary asymmetric channel is different from the symmetric channel. This is in contrast to the behavior of the function without feedback.


title: Soft nanobubbles can deform rigid glasses

abstract: Confined glasses and their anomalous interfacial rheology raise important questions in fundamental research and numerous practical applications. In this Letter, we study the influence of interfacial air nanobubbles on the free surface of ultrathin high-molecular-weight glassy polystyrene films immersed in water, in ambient conditions. In particular, we reveal the counterintuitive fact that a soft nanobubble is able to deform the surface of a rigid glass, forming a nanocrater with a depth that increases with time. By combining in-situ atomic-force-microscopy measurements and a modified lubrication model for the liquid-like layer at the free surface of the glass, we demonstrate that the capillary pressure in the nanobubble together with the liquid-like layer at the free surface of the glass determine the spatiotemporal growth of the nanocraters. Finally, from the excellent agreement between the experimental profiles and the numerical solutions of the governing glassy thin-film equation, we are able to precisely extract the surface mobility of the glass. In addition to revealing and quantifying how surface nanobubbles deform immersed glasses, until the latter eventually dewet from their substrates, our work provides a novel, precise, and simple measurement of the surface nanorheology of glasses.


title: Limits on Gradient Compression for Stochastic Optimization

abstract: We consider stochastic optimization over $\ell_p$ spaces using access to a first-order oracle. We ask: {What is the minimum precision required for oracle outputs to retain the unrestricted convergence rates?} We characterize this precision for every $p\geq 1$ by deriving information theoretic lower bounds and by providing quantizers that (almost) achieve these lower bounds. Our quantizers are new and easy to implement. In particular, our results are exact for $p=2$ and $p=\infty$, showing the minimum precision needed in these settings are $\Theta(d)$ and $\Theta(\log d)$, respectively. The latter result is surprising since recovering the gradient vector will require $\Omega(d)$ bits.


title: Deterministic all-optical magnetization writing facilitated by non-local transfer of spin angular momentum

abstract: Ever since the discovery of all-optical magnetization switching (AOS) around a decade ago, this phenomenon of manipulating magnetization using only femtosecond laser pulses has promised a large potential for future data storage and logic devices. Two distinct mechanisms have been observed, where the final magnetization state is either defined by the helicity of many incoming laser pulses, or toggled by a single pulse. What has thus far been elusive, yet essential for applications, is the deterministic writing of a specific magnetization state with a single laser pulse. In this work we experimentally demonstrate such a mechanism by making use of a spin polarized current which is optically generated in a ferromagnetic reference layer, assisting or hindering switching in an adjacent Co/Gd bilayer. We show deterministic writing of an 'up' and 'down' state using a sequence of 1 or 2 pulses, respectively. Moreover, we demonstrate the non-local origin of the effect by varying the magnitude of the generated spin current. Our demonstration of deterministic magnetization writing could provide an essential step towards the implementation of future optically addressable spintronic memory devices.


title: A New Meshless "Fragile Points Method" and A Local Variational Iteration Method for General Transient Heat Conduction in Anisotropic Nonhomogeneous Media

abstract: A new and effective computational approach is presented for analyzing transient heat conduction problems. The approach consists of a meshless Fragile Points Method (FPM) being utilized for spatial discretization, and a Local Variational Iteration (LVI) scheme for time discretization. Anisotropy and nonhomogeneity do not give rise to any difficulties in the present implementation. The meshless FPM is based on a Galerkin weak-form formulation and thus leads to symmetric matrices. Local, very simple, polynomial and discontinuous trial and test functions are employed. In the meshless FPM, Interior Penalty Numerical Fluxes are introduced to ensure the consistency of the method. The LVIM in the time domain is generated as a combination of the Variational Iteration Method (VIM) applied over a large time interval and numerical algorithms. A set of collocation nodes are employed in each finitely large time interval. The FPM + LVIM approach is capable of solving transient heat transfer problems in complex geometries with mixed boundary conditions, including pre-existing cracks. Numerical examples are presented in 2D and 3D domains. Both functionally graded materials and composite materials are considered. It is shown that, with suitable computational parameters, the FPM + LVIM approach is not only accurate, but also efficient, and has reliable stability under relatively large time intervals. The present methodology represents a considerable improvement to the current state of science in computational transient heat conduction in anisotropic nonhomogeneous media.


title: Shape coexistence in the neutron-deficient $^{188}$Hg investigated via lifetime measurements

abstract: Shape coexistence in the $Z \approx 82$ region has been established in mercury, lead and polonium isotopes. Even-even mercury isotopes with $100 \leq N \leq 106$ present multiple fingerprints of this phenomenon, which seems to be no longer present for $N \geq 110$. According to a number of theoretical calculations, shape coexistence is predicted in the $^{188}$Hg isotope. The $^{188}$Hg nucleus was populated using two different fusion-evaporation reactions with two targets, $^{158}$Gd and $^{160}$Gd, and a beam of $^{34}$S, provided by the Tandem-ALPI accelerators complex at the Laboratori Nazionali di Legnaro. The channels of interest were selected using the information from the Neutron Wall array, while the $\gamma$ rays were detected using the GALILEO $\gamma$-ray array. The lifetimes of the excited states were determined using the Recoil Distance Doppler-Shift method, employing the dedicated GALILEO plunger device. Using the two-bands mixing and rotational models, the deformation of the pure configurations was obtained from the experimental results. The extracted transition strengths were compared with those calculated with the state-of-the-art symmetry-conserving configuration-mixing (SCCM) and five-dimentional collective Hamiltonian (5DCH) approaches in order to shed light on the nature of the observed structures in the $^{188}$Hg nucleus. An oblate, a normal- and a super-deformed prolate bands were predicted and their underlying shell structure was also discussed.


title: Optimal Design for Probit Choice Models with Dependent Utilities

abstract: In this paper we derive locally D-optimal designs for discrete choice experiments based on multinomial probit models. These models include several discrete explanatory variables as well as a quantitative one. The commonly used multinomial logit model assumes independent utilities for different choice options. Thus, D-optimal optimal designs for such multinomial logit models may comprise choice sets, e.g., consisting of alternatives which are identical in all discrete attributes but different in the quantitative variable. Obviously such designs are not appropriate for many empirical choice experiments. It will be shown that locally D-optimal designs for multinomial probit models supposing independent utilities consist of counterintuitive choice sets as well. However, locally D-optimal designs for multinomial probit models allowing for dependent utilities turn out to be reasonable for analyzing decisions using discrete choice studies.


title: SquidLab -- a user-friendly program for background subtraction and fitting of magnetization data

abstract: We present an open-source program free to download for academic use with full user-friendly graphical interface for performing flexible and robust background subtraction and dipole fitting on magnetization data. For magnetic samples with small moment sizes or sample environments with large or asymmetric magnetic backgrounds, it can become necessary to separate background and sample contributions to each measured raw voltage measurement before fitting the dipole signal to extract magnetic moments. Originally designed for use with pressure cells on a Quantum Design MPMS3 SQUID magnetometer, SquidLab is a modular object-oriented platform implemented in Matlab with a range of importers for different widely-available magnetometer systems (including MPMS, MPMS-XL, MPMS-IQuantum, MPMS3 and S700X models), and has been tested with a broad variety of background and signal types. The software allows background subtraction of baseline signals, signal preprocessing, and performing fits to dipole data using Levenberg-Marquadt non-linear least squares, or a singular value decomposition linear algebra algorithm which excels at picking out noisy or weak dipole signals. A plugin system allows users to easily extend the built-in functionality with their own importers, processes or fitting algorithms. SquidLab can be downloaded, under Academic License, from the University of Warwick depository (wrap.warwick.ac.uk/129665).