title: Connect Everywhere: Wireless Connectivity in Protected Areas

abstract: Mobile connectivity has become more important, especially for visitors to parks and protected areas. However, governments' policies prohibit cable wiring in these areas in order to preserve the beauty and protect the historical interest of the landscape. Through observed practices from other countries, mobile network operators and other licensed service providers can cooperate with the administrators of such protected areas in order to provide mobile connectivity without disturbing the environment. However, the most pervasive problem is the high energy consumption of the wireless systems and it becomes expensive to power them using the electricity grid. One attractive solution is to make use of green energy to power the communication systems and then share the base station (BS) infrastructure that is co-located with the edge server, an entity responsible for computing the offloaded delay-sensitive workloads. To alleviate this problem, this paper offers a resource management solution that seeks to minimize the energy consumption per communication site through (i) BS infrastructure and resource sharing, and (ii) assisted (peer-to-peer) computation offloading for the energy-constrained communication sites, within a protected area. Using this resource management strategy guarantees a Quality of Service (QoS). The performance evaluation conducted through simulations validates our analysis as the prediction variations observed shows greater accuracy between the harvested energy and the traffic load. Towards energy savings, the proposed algorithm achieves a 52 % energy savings when compared with the 46 % obtained by our benchmark algorithm. The energy savings that can be achieved decreases as the QoS is prioritized, within each communication site, and when the number of active computing resources increases.


title: System Security Assurance: A Systematic Literature Review

abstract: System security assurance provides the confidence that security features, practices, procedures, and architecture of software systems mediate and enforce the security policy and are resilient against security failure and attacks. Alongside the significant benefits of security assurance, the evolution of new information and communication technology (ICT) introduces new challenges regarding information protection. Security assurance methods based on the traditional tools, techniques, and procedures may fail to account new challenges due to poor requirement specifications, static nature, and poor development processes. The common criteria (CC) commonly used for security evaluation and certification process also comes with many limitations and challenges. In this paper, extensive efforts have been made to study the state-of-the-art, limitations and future research directions for security assurance of the ICT and cyber-physical systems (CPS) in a wide range of domains. We conducted a systematic review of requirements, processes, and activities involved in system security assurance including security requirements, security metrics, system and environments and assurance methods. We highlighted the challenges and gaps that have been identified by the existing literature related to system security assurance and corresponding solutions. Finally, we discussed the limitations of the present methods and future research directions.


title: High-quality strong lens candidates in the final Kilo Degree survey footprint

abstract: We present 97 new high-quality strong lensing candidates found in the final $\sim 350\,\rm deg^2$, that completed the full $\sim 1350\,\rm deg^2$ area of the Kilo-Degree Survey (KiDS). Together with our previous findings, the final list of high-quality candidates from KiDS sums up to 268 systems. The new sample is assembled using a new Convolutional Neural Network (CNN) classifier applied to $r$-band (best seeing) and $g,~r,~i$ color-composited images separately. This optimizes the complementarity of the morphology and color information on the identification of strong lensing candidates. We apply the new classifiers to a sample of luminous red galaxies (LRGs) and a sample of bright galaxies (BGs) and select candidates that received a high probability to be a lens from the CNN ($P_{\rm CNN}$). In particular, setting $P_{\rm CNN}>0.8$ for the LRGs, the $1$-band CNN predicts 1213 candidates, while the $3$-band classifier yields 1299 candidates, with only $\sim$30\% overlap. For the BGs, in order to minimize the false positives, we adopt a more conservative threshold, $P_{\rm CNN} >0.9$, for both CNN classifiers. This results in 3740 newly selected objects. The candidates from the two samples are visually inspected by 7 co-authors to finally select 97 "high-quality" lens candidates which received mean scores larger than 6 (on a scale from 0 to 10). We finally discuss the effect of the seeing on the accuracy of CNN classification and possible avenues to increase the efficiency of multi-band classifiers, in preparation of next-generation surveys from ground and space.


title: Circuit realization of tilted Dirac cone: A platform for fabrication of curved spacetime geometry on a chip

abstract: We present a LC circuit model that supports tilted {\it Dirac cone} in its spectrum. The tilt of the Dirac cone is specified by the parameters of the model consisting of mutual inductance between the neighboring sites and a capacitance C0 at every lattice site. These parameters can be completely measured by impedance spectroscopy. Given that a tilted Dirac cone can be described by a background spacetime metric, the impedance spectroscopy can perfectly provide (local) information about the metric of the spacetime. Non-uniform spatial dependence of the mutual inductance or capacitance induces non-trivial geometrical structure on the emergent spacetime.

categories: cond-mat.str-el cond-mat.dis-nn gr-qc hep-lat hep-th


title: Spin-1 resonances

abstract: Spin-1 resonances are naturally present in composite Higgs frameworks. We first review a model independent approach to parametrize a single additional heavy triplet and then we consider more realistic models arising in composite Higgs scenarios where a larger number of spin-1 resonances is expected. In these cases, finite width and interference effects can heavily affect the bounds extracted from the data.


title: Measuring titanium isotope ratios in exoplanet atmospheres

abstract: [abridged] Measurements of relative isotope abundances can provide unique insights into the formation and evolution histories of celestial bodies. The five stable isotopes of titanium are used to study the early history of the solar system and constrain Galactic chemical models. The minor isotopes of titanium are relatively abundant compared to those of other elements, making them more accessible for challenging observations. We assessed the feasibility of performing titanium isotope measurements in exoplanet atmospheres, and in particular, whether processing techniques used for high-resolution spectroscopy affect the derived isotope ratios. We used an archival high-dispersion CARMENES spectrum of the M-dwarf GJ 1002 as a proxy for an exoplanet observed at very high signal-to-noise. Spectral retrievals using petitRADTRANS models were performed on both narrow (7045-7090 {\AA}) and wide (7045-7500 {\AA}) wavelength regions, resulting in isotope ratios and uncertainties. These retrievals were repeated on the spectrum with its continuum removed to mimic typical high-dispersion exoplanet observations. The relative abundances of all minor Ti isotopes are found to be slightly enhanced compared to terrestrial values. Loss of continuum information from broadband spectral filtering has little effect on the isotope ratios. The CARMENES spectrum was subsequently degraded by adding varying levels of Gaussian noise to estimate the signal-to-noise requirements for future exoplanet atmospheric observations. For the wide wavelength range, a spectrum with signal-to-noise of 5 is required to determine the isotope ratios with relative errors $\lesssim$10%. Super Jupiters at large angular separations from their host star are the most accessible exoplanets, requiring about an hour of observing time on 8-meter-class telescopes, and less than a minute of observing time with the future Extremely Large Telescope.


title: A Table-Based Representation for Probabilistic Logic: Preliminary Results

abstract: We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision logic, which intends to be user-friendly and low in complexity. pDMN extends DMN with probabilistic reasoning, predicates, functions, quantification, and a new hit policy. At the same time, it aims to retain DMN's user-friendliness to allow its usage by domain experts without the help of IT staff. pDMN models can be unambiguously translated into ProbLog programs to answer user queries. ProbLog is a probabilistic extension of Prolog flexibly enough to model and reason over any pDMN model.


title: Remote and Rural Connectivity: Infrastructure and Resource Sharing Principles

abstract: As Mobile Networks (MNs) are advancing towards meeting mobile users requirements, the rural-urban divide still remains a major challenge. While areas within the urban space (metropolitan mobile space) are being developed, rural areas are left behind. Due to challenges of low population density, low income, difficult terrain, non-existent infrastructure, lack of power grid, remote areas have low digital penetration. This situation makes remote areas less attractive towards investments and to operate connectivity networks, thus failing to achieve universal access to the Internet. In addressing this issue, this paper proposes a new BS deployment and resource management method for remote and rural areas. Here, two MN operators share their resources towards the procurement and deployment of green energy-powered BSs equipped with computing capabilities. Then, the network infrastructure is shared between the mobile operators, with the main goal of enabling energy-efficient infrastructure sharing, i.e., BS and its co-located computing platform. Using this resource management strategy in rural communication sites guarantees a Quality of Service (QoS) comparable to that of urban communication sites. The performance evaluation conducted through simulations validates our analysis as the prediction variations observed shows greater accuracy between the harvested energy and the traffic load. Also, the energy savings decrease as the number of mobile users (50 users in our case) connected to the remote site increases. Lastly, the proposed algorithm achieves 51% energy savings when compared with the 43% obtained by our benchmark algorithm. The proposed method demonstrates superior performance over the benchmark algorithm as it uses foresighted optimization where the harvested energy and the expected load are predicted over a given short-term horizon.


title: The large-$N$ limit of 4d superconformal indices for general BPS charges

abstract: We study the superconformal index of $\mathcal N=1$ quiver theories at large-$N$ for general values of electric charges and angular momenta, using both the Bethe Ansatz formulation and the more recent elliptic extension method. We are particularly interested in the case of unequal angular momenta, $J_1\ne J_2$, which has only been partially considered in the literature. We revisit the previous computation with the Bethe Ansatz formulation with generic angular momenta and extend it to encompass a large class of competing exponential terms. In the process, we also provide a simplified derivation of the original result. We consider the newly-developed elliptic extension method as well; we apply it to the $J_1\ne J_2$ case, finding a good match with the Bethe Ansatz results. We also investigate the relation between the two different approaches, finding in particular that for every saddle of the elliptic action there are corresponding terms in the Bethe Ansatz formula that match it at large-$N$.


title: Classification of uniconnected involutive solutions of the Yang-Baxter equation with odd size and a Z-group permutation group

abstract: In the first part of this paper, we investigate the retraction of finite uniconnected involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation by means of left braces, giving a precise description in some cases. In the core of the paper, we also use left braces to classify all the uniconnected involutive non-degenerate set-theoretic solutions having odd size and a Z-group permutation group. As an application, we classify all the uniconnected involutive non-degenerate solutions having odd square-free size.


title: Segre-Driven Radicality Testing

abstract: We present a probabilistic algorithm to test if a homogeneous polynomial ideal $I$ defining a scheme $X$ in $\mathbb{P}^n$ is radical using Segre classes and other geometric notions from intersection theory. Its worst case complexity depends on the geometry of $X$. If the scheme $X$ has reduced isolated primary components and no embedded components supported the singular locus of $X_{\rm red}=V(\sqrt{I})$, then the worst case complexity is doubly exponential in $n$; in all the other cases the complexity is singly exponential. The realm of the ideals for which our radical testing procedure requires only single exponential time includes examples which are often considered pathological, such as the ones drawn from the famous Mayr-Meyer set of ideals which exhibit doubly exponential complexity for the ideal membership problem.


title: Approximate Schreier decorations and approximate K\H{o}nig's line coloring Theorem

abstract: Following recent result of L. M. T\' oth [arXiv:1906.03137] we show that every $2\Delta$-regular Borel graph $\mathcal{G}$ with a (not necessarily invariant) Borel probability measure admits approximate Schreier decoration. In fact, we show that both ingredients from the analogous statements for finite graphs have approximate counterparts in the measurable setting, i.e., approximate K\H{o}nig's line coloring Theorem for Borel graphs without odd cycles and approximate balanced orientation for even degree Borel graphs.


title: Pilot Decontamination Processing in Cell-Free Massive MIMO

abstract: This letter focuses on the pilot contamination problem in the uplink and downlink of cell-free massive multiple-input multiple-output networks with different degrees of cooperation between access points. The optimum minimum mean square error processing can take advantage of large-scale fading coefficients for canceling the interference of pilot-sharing user-equipments and thus achieves asymptotically unbounded capacity. However, it is computationally demanding and can only be implemented in a fully centralized network. Here, sub-optimal schemes are derived that provide unbounded capacity with linear-growing complexity and using only local channel estimates but global channel statistics. This makes them suited for both centralized and distributed networks. In this latter case, the best performance is achieved with a generalized maximum ratio combiner that maximizes a capacity bound based on channel statistics only.


title: New partial resummation of the QED effective action

abstract: We explain a conjecture which states that the proper-time series expansion of the one-loop effective Lagrangian of quantum electrodynamics can be partially summed in all terms containing the field-strength invariants $\mathcal{F} = \frac{1}{4} F_{\mu\nu}F^{\mu\nu} (x)$, $\mathcal{G}= \frac{1}{4} \tilde F_{\mu\nu}F^{\mu\nu}(x)$. This summation is encapsulated in a factor with the same form as the (spacetime-dependent) Heisenberg-Euler Lagrangian density. We also discuss some implications and a possible extension in presence of gravity. We will focus on the scalar field case.


title: Quantitative weighted estimates for harmonic analysis operators in the Bessel setting by using sparse domination

abstract: In this paper we obtain quantitative weighted $L^p$-inequalities for some operators involving Bessel convolutions. We consider maximal operators, Littlewood-Paley functions and variational operators. We obtain $L^p(w)$-operator norms in terms of the $A_p$-characteristic of the weight $w$. In order to do this we show that the operators under consideration are dominated by a suitable family of sparse operators in the space of homogeneous type $((0,\infty),|\cdot |,x^{2\lambda }dx)$.


title: Algebraic connectivity: local and global maximizer graphs

abstract: Algebraic connectivity is one way to quantify graph connectivity, which in turn gauges robustness as a network. In this paper, we consider the problem of maximising algebraic connectivity both local and globally over all simple, undirected, unweighted graphs with a given number of vertices and edges. We pursue this optimization by equivalently minimizing the largest eigenvalue of the Laplacian of the 'complement graph'. We establish that the union of complete subgraphs are largest eigenvalue "local" minimizer graphs. Further, under sufficient conditions satisfied by the edge/vertex counts we prove that this union of complete components graphs are, in fact, Laplacian largest eigenvalue "global" maximizers; these results generalize the ones in the literature that are for just two components. These sufficient conditions can be viewed as quantifying situations where the component sizes are either 'quite homogeneous' or some of them are relatively 'negligibly small', and thus generalize known results of homogeneity of components. We finally relate this optimization with the Discrete Fourier Transform (DFT) and circulant graphs/matrices.


title: RapidAI4EO: A Corpus for Higher Spatial and Temporal Reasoning

abstract: Under the sponsorship of the European Union Horizon 2020 program, RapidAI4EO will establish the foundations for the next generation of Copernicus Land Monitoring Service (CLMS) products. The project aims to provide intensified monitoring of Land Use (LU), Land Cover (LC), and LU change at a much higher level of detail and temporal cadence than it is possible today. Focus is on disentangling phenology from structural change and in providing critical training data to drive advancement in the Copernicus community and ecosystem well beyond the lifetime of this project. To this end we are creating the densest spatiotemporal training sets ever by fusing open satellite data with Planet imagery at as many as 500,000 patch locations over Europe and delivering high resolution daily time series at all locations. We plan to open source these datasets for the benefit of the entire remote sensing community.


title: Investigating the effects of nanoparticles and surfactants on heat transfer performance of water in nucleate pool boiling experiment

abstract: The main objective of the present study is to investigate the effect of adding nanoparticles at different concentrations and sizes to boiling distilled water on the nucleate pool boiling heat transfer performance. The major studied parameters are the effects of wall heat flux, type of nanoparticles, particle size, and its concentration in aqueous solutions. The tested nanoparticles are silica (SiO2) and alumina (Al2O3) nanoparticles at 0.001, 0.002, 0.003, 0.005, and 0.01 vol% concentrations, and particle sizes of 10, 20, and 50nm. A pool boiling test rig is designed and constructed to conduct heat transfer experiments with Arudino Control System and eight Type-K thermocouples for temperature measurements. The experimental investigations showed that adding definite amounts of nanoparticles to the water at a particular concentration and size improves its physical and thermal properties and consequently improves the heat transfer coefficient in percentages reaching 70% for SiO2. For Al2O3, it showed noticeable lower values compared to Al2O3; however, equal to distilled water. Furthermore, the surfactants showed slightly better HTC values than distilled water which diminishes at high heat flux values.


title: Towards optimal quality requirement documentation in agile software development: a multiple case study

abstract: Context-Agile software development (ASD) promotes minimal documentation and often prioritizes functional requirements over quality requirements (QRs). The minimal documentation emphasis may be beneficial in reducing time-to-market for software. However, it can also be a concern, especially with QRs, since they are challenging to specify and document and are crucial for software success. Therefore, understanding how practitioners perceive the importance of QR documentation is valuable because it can provide insight into how they approach this task. It also helps in developing models and guidelines that support the documentation of QRs in ASD, which is a research gap. Objective: We aim to understand practitioners' perceptions of QR documentation and factors influencing this task to derive a model that supports optimal QR documentation in ASD. Method: We conducted a multiple case study involving 12 participants from three cases that apply ASD. Please refer to the document to read the full version of the abstract.


title: A note on the complete characterizations of hyperbolic Coxeter groups with Sierpi\'nski curve boundary and with Menger curve boundary

abstract: We give complete characterizations (in terms of nerves) of those word hyperbolic Coxeter groups whose Gromov boundary is homeomorphic to the Sierpi\'nski curve and to the Menger curve, respectively. The justification is mostly an appropriate combination of various results from the literature.


title: Robust censored regression with l1-norm regularization

abstract: This paper considers inference in a linear regression model with random right censoring and outliers. The number of outliers can grow with the sample size while their proportion goes to zero. The model is semiparametric and we make only very mild assumptions on the distribution of the error term, contrary to most other existing approaches in the literature. We propose to penalize the estimator proposed by Stute for censored linear regression by the l1-norm. We derive rates of convergence and establish asymptotic normality of the estimator of the regression coefficients. Our estimator has the same asymptotic variance as Stute's estimator in the censored linear model without outliers. Hence, there is no loss of efficiency as a result of robustness. Tests and confidence sets can therefore rely on the theory developed by Stute. The outlined procedure is also computationally advantageous, since it amounts to solving a convex optimization program. We also propose a second estimator which uses the proposed penalized Stute estimator as a first step to detect outliers. It has similar theoretical properties but better performance in finite samples as assessed by simulations.


title: Exploring the substructure of nucleons and nuclei with machine learning

abstract: Perturbative quantum chromodynamics (QCD) ceases to be applicable at low interaction energies due to the rapid increase of the strong coupling. In that limit, the non-perturbative regime determines the properties of quarks and gluons (partons) in terms of parton distribution functions (PDFs) or nuclear PDFs, based on whether they are confined within nucleons or nuclei respectively. Related non-perturbative dynamics describe the hadronisation of partons into hadrons and are encoded by the fragmentation functions (FFs). This thesis focuses on the detailed study of PDFs in protons and nuclei as well as the charged pions FFs by means of a statistical framework based on machine learning algorithms. The key ingredients are the Monte Carlo method for error propagation as well as artificial neural networks that act as universal unbiased interpolators. The main topics addressed are the inference of proton PDFs with theoretical uncertainties and the impact on the gluon PDF from dijet cross-sections; a global determination of nuclear PDFs exploiting the constraints from proton-lead collisions at the LHC and using for the first time NNLO calculations; a new determination of FFs from single-inclusive annihilation and semi-inclusive deep-inelastic scattering data; and a quantitative assessment of the impact of future colliders such as the High-Luminosity LHC and the Electron-Ion Collider on the proton and nuclear PDFs.


title: Journalists' ego networks in Twitter: invariant and distinctive structural features

abstract: Ego networks have proved to be a valuable tool for understanding the relationships that individuals establish with their peers, both in offline and online social networks. Particularly interesting are the cognitive constraints associated with the interactions between the ego and the members of their ego network, which limit individuals to maintain meaningful interactions with no more than 150 people, on average, and to arrange such relationships along concentric circles of decreasing engagement. In this work, we focus on the ego networks of journalists on Twitter, considering 17 different countries, and we investigate whether they feature the same characteristics observed for other relevant classes of Twitter users, like politicians and generic users. Our findings are that journalists are generally more active and interact with more people than generic users, regardless of their country. Their ego network structure is very aligned with reference models derived in anthropology and observed in general human ego networks. Remarkably, the similarity is even higher than the one of politicians and generic users ego networks. This may imply a greater cognitive involvement with Twitter for journalists than for other user categories. From a dynamic perspective, journalists have stable short-term relationships that do not change much over time. In the longer term, though, ego networks can be pretty dynamic, especially in the innermost circles. Moreover, the ego-alter ties of journalists are often information-driven, as they are mediated by hashtags both at their inception and during their lifetime. Finally, we found that relationships between journalists are assortative in popularity: journalists tend to engage with other journalists of similar popularity, in all layers but especially in their innermost ones.


title: Improved Reinforcement Learning Coordinated Control of a Mobile Manipulator using Joint Clamping

abstract: Many robotic path planning problems are continuous, stochastic, and high-dimensional. The ability of a mobile manipulator to coordinate its base and manipulator in order to control its whole-body online is particularly challenging when self and environment collision avoidance is required. Reinforcement Learning techniques have the potential to solve such problems through their ability to generalise over environments. We study joint penalties and joint limits of a state-of-the-art mobile manipulator whole-body controller that uses LIDAR sensing for obstacle collision avoidance. We propose directions to improve the reinforcement learning method. Our agent achieves significantly higher success rates than the baseline in a goal-reaching environment and it can solve environments that require coordinated whole-body control which the baseline fails.


title: LogDP: Combining Dependency and Proximity for Log-based Anomaly Detection

abstract: Log analysis is an important technique that engineers use for troubleshooting faults of large-scale service-oriented systems. In this study, we propose a novel semi-supervised log-based anomaly detection approach, LogDP, which utilizes the dependency relationships among log events and proximity among log sequences to detect the anomalies in massive unlabeled log data. LogDP divides log events into dependent and independent events, then learns normal patterns of dependent events using dependency and independent events using proximity. Events violating any normal pattern are identified as anomalies. By combining dependency and proximity, LogDP is able to achieve high detection accuracy. Extensive experiments have been conducted on real-world datasets, and the results show that LogDP outperforms six state-of-the-art methods.


title: Time Encoding Quantization of Bandlimited and Finite-Rate-of-Innovation Signals

abstract: This paper studies the impact of quantization in integrate-and-fire time encoding machine (IF-TEM) sampler used for bandlimited (BL) and finite-rate-of-innovation (FRI) signals. An upper bound is derived for the mean squared error (MSE) of IF-TEM sampler and is compared against that of classical analog-to-digital converters (ADCs) with uniform sampling and quantization. The interplay between a signal's energy, bandwidth, and peak amplitude is used to identify how the MSE of IF-TEM sampler with quantization is influenced by these parameters. More precisely, the quantization step size of the IF-TEM sampler can be reduced when the maximum frequency of a bandlimited signal or the number of pulses of an FRI signal is increased. Leveraging this insight, specific parameter settings are identified for which the quantized IF-TEM sampler achieves an MSE bound that is roughly 8 dB lower than that of a classical ADC with the same number of bits. Experimental results validate the theoretical conclusions.


title: Data-driven Nonlinear Model Reduction to Spectral Submanifolds in Mechanical Systems

abstract: While data-driven model reduction techniques are well-established for linearizable mechanical systems, general approaches to reducing non-linearizable systems with multiple coexisting steady states have been unavailable. In this paper, we review such a data-driven nonlinear model reduction methodology based on spectral submanifolds (SSMs). As input, this approach takes observations of unforced nonlinear oscillations to construct normal forms of the dynamics reduced to very low dimensional invariant manifolds. These normal forms capture amplitude-dependent properties and are accurate enough to provide predictions for non-linearizable system response under the additions of external forcing. We illustrate these results on examples from structural vibrations, featuring both synthetic and experimental data.


title: CNN-based Human Detection for UAVs in Search and Rescue

abstract: The use of Unmanned Aerial Vehicles (UAVs) as a substitute for ordinary vehicles in applications of search and rescue is being studied all over the world due to its flexible mobility and less obstruction, including two main tasks: search and rescue. This paper proposes an approach for the first task of searching and detecting victims using a type of convolutional neural network technique, the Single Shot Detector (SSD) model, with the Quadcopter hardware platform, a type of UAVs. The model used in the research is a pre-trained model and is applied to test on a Raspberry Pi model B, which is attached on a Quadcopter, while a single camera is equipped at the bottom of the Quadcopter to look from above for search and detection. The Quadcopter in this research is a DIY hardware model that uses accelerometer and gyroscope sensors and ultrasonic sensor as the essential components for balancing control, however, these sensors are susceptible to noise caused by the driving forces on the model, such as the vibration of the motors, therefore, the issues about the PID controller, noise processing for the sensors are also mentioned in the paper. Experimental results proved that the Quadcopter is able to stably flight and the SSD model works well on the Raspberry Pi model B with a processing speed of 3 fps and produces the best detection results at the distance of 1 to 20 meters to objects.


title: Anchor-free Oriented Proposal Generator for Object Detection

abstract: Oriented object detection is a practical and challenging task in remote sensing image interpretation. Nowadays, oriented detectors mostly use horizontal boxes as intermedium to derive oriented boxes from them. However, the horizontal boxes are inclined to get small Intersection-over-Unions (IoUs) with ground truths, which may have some undesirable effects, such as introducing redundant noise, mismatching with ground truths, detracting from the robustness of detectors, etc. In this paper, we propose a novel Anchor-free Oriented Proposal Generator (AOPG) that abandons horizontal box-related operations from the network architecture. AOPG first produces coarse oriented boxes by a Coarse Location Module (CLM) in an anchor-free manner and then refines them into high-quality oriented proposals. After AOPG, we apply a Fast R-CNN head to produce the final detection results. Furthermore, the shortage of large-scale datasets is also a hindrance to the development of oriented object detection. To alleviate the data insufficiency, we release a new dataset on the basis of our DIOR dataset and name it DIOR-R. Massive experiments demonstrate the effectiveness of AOPG. Particularly, without bells and whistles, we achieve the accuracy of 64.41%, 75.24% and 96.22% mAP on the DIOR-R, DOTA and HRSC2016 datasets respectively. Code and models are available at https://github.com/jbwang1997/AOPG.


title: A 0.4 V, 19 pW Subthreshold Voltage Reference Generator Using Separate Line Sensitivity and Temperature Coefficient Correction Stages

abstract: Sensor nodes and IoT systems require blocks that not only consume low power but also have good accuracy. Voltage reference generators are also considered important building blocks in sensor interface circuits. This paper presents a solution to increase the accuracy of low power subthreshold voltage generators by lowering the circuit sensitivity to temperature and supply voltage variations. The enhancement is achieved by using two separate stages for temperature coefficient (TC) and line sensitivity (LS) correction. A 0.18 {\mu}m standard CMOS process has been used for the proposed structure. The effects of parameter variations in the fabrication process are investigated using post-layout simulation and Monte Carlo analysis. In the supply voltage of 0.4 V to 2 V, an LS of 143.8 ppm/V is obtained. In typical corner conditions, the achieved TC is 7.45 ppm/{\circ}C over the temperature range of 0{\circ}C to 80{\circ}C. Due to process changes, and mainly affected by threshold voltage variations, the average TC can change to 39.2 ppm/{\circ}C. The minimum power consumption at 0{\circ}C and at a supply voltage of 0.4 V is 3.25 pW while the power consumption increases to 2.84 nW in 80{\circ}C and at the maximum supply voltage of 2 V.


title: Nonadiabatic geometric quantum computation with cat qubits via invariant-based reverse engineering

abstract: We propose a protocol to realize nonadiabatic geometric quantum computation of small-amplitude Schr\"odinger cat qubits via invariant-based reverse engineering. We consider a system with a two-photon driven Kerr nonlinearity, which provides a pair of dressed even and odd coherent states, i.e., Schr\"odinger cat states for fault-tolerant quantum computations. An additional coherent field is applied to linearly drive a cavity mode, to induce oscillations between dressed cat states. By designing this linear drive with invariant-based reverse engineering, nonadiabatic geometric quantum computation with cat qubits can be implemented. The performance of the protocol is estimated by taking into account the influence of systematic errors, additive white Gaussian noise, and decoherence including photon loss and dephasing. Numerical results demonstrate that our protocol is robust against these negative factors. Therefore, this protocol may provide a feasible method for nonadiabatic geometric quantum computation in bosonic systems.


title: On analytic contravariant functors on free groups

abstract: Working over a field $k$ of characteristic zero, the category of analytic contravariant functors on the category of finitely-generated free groups is shown to be equivalent to the category of representations of the $k$-linear category associated to the Lie operad. Two proofs are given of this result. The first uses the original Ginzburg-Kapranov approach to Koszul duality of binary quadratic operads and the fact that the category of analytic contravariant functors is Koszul. The second proof proceeds by making the equivalence explicit using the $k$-linear category associated to the operad encoding unital associative algebras, which provides the `twisting bimodule'. A key ingredient is the Poincar\'e-Birkhoff-Witt theorem. Using the explicit formulation, it is shown how this equivalence reflects the tensor product on the category of analytic contravariant functors, relating this to the convolution product for representations of the category associated to the Lie operad.


title: Rapidly quenched galaxies in the Simba cosmological simulation and observations

abstract: A wide range of mechanisms have been put forward to explain the quenching of star formation in galaxies with cosmic time, however, the true balance of responsible mechanisms remains unknown. The identification and study of galaxies that have shut down their star formation on different timescales might elucidate which mechanisms dominate at different epochs and masses. Here we study the population of rapidly quenched galaxies (RQGs) in the SIMBA cosmological hydrodynamic simulation at $0.5<z<2$, comparing directly to observational post-starburst galaxies in the UKIDSS Ultra Deep Survey via their colour distributions and mass functions. We find that the fraction of quiescent galaxies that are rapidly quenched in SIMBA is 59% (or 48% in terms of stellar mass), which is higher than observed. A similar "downsizing" of RQGs is observed in both SIMBA and the UDS, with RQGs at higher redshift having a higher average mass. However, SIMBA produces too many RQGs at $1<z_q<1.5$ and too few low mass RQGs at $0.5<z_q<1$. The precise colour distribution of SIMBA galaxies compared to the observations also indicates various inconsistencies in star formation and chemical enrichment histories, including an absence of short, intense starbursts. Our results will help inform the next generation of galaxy evolution models, particularly with respect to the quenching mechanisms employed.


title: Local certification of MSO properties for bounded treedepth graphs

abstract: The graph model checking problem consists in testing whether an input graph satisfies a given logical formula. In this paper, we study this problem in a distributed setting, namely local certification. The goal is to assign labels to the nodes of a network to certify that some given property is satisfied, in such a way that the labels can be checked locally. We first investigate which properties can be locally certified with small certificates. Not surprisingly, this is almost never the case, except for not very expressive logic fragments. Following the steps of Courcelle-Grohe, we then look for meta-theorems explaining what happens when we parameterize the problem by some standard measures of how simple the graph classes are. In that direction, our main result states that any MSO formula can be locally certified on graphs with bounded treedepth with a logarithmic number of bits per node, which is the golden standard in certification.


title: Nanopore-Based DNA Sequencing Sensors and CMOS Readout Approaches

abstract: Purpose Nanopore-based molecular sensing and measurement, specifically Deoxyribonucleic acid (DNA) sequencing, is advancing at a fast pace. Some embodiments have matured from coarse particle counters to enabling full human genome assembly. This evolution has been powered not only by improvements in the sensors themselves, but also in the assisting microelectronic Complementary Metal Oxide Semiconductor (CMOS) readout circuitry closely interfaced to them. In this light, this paper reviews established and emerging nanopore-based sensing modalities considered for DNA sequencing and CMOS microelectronic methods currently being used. Design/methodology/approach Readout and amplifier circuits which are potentially appropriate for conditioning and conversion of nanopore signals for downstream processing are studied. Furthermore, arrayed CMOS readout implementations are focused on and the relevant status of the nanopore sensor technology is reviewed as well. Findings Ion channel nanopore devices have properties unique compared with other electrochemical cells. Currently biological nanopores are the only variants reported which can be used for actual DNA sequencing. The translocation rate of DNA through such pores, the current range at which these cells operate on and the cell capacitance effect, all impose the necessity of using low noise circuits in the process of signal detection. The requirement of using in-pixel low noise circuits in turn tends to impose challenges in the implementation of large size arrays. Originality/value The study presents an overview on the readout circuits used for signal acquisition in electrochemical cell arrays and investigates the specific requirements necessary for implementation of nanopore type electrochemical cell amplifiers and their associated readout electronics.


title: Sicilian Translator: A Recipe for Low-Resource NMT

abstract: With 17,000 pairs of Sicilian-English translated sentences, Arba Sicula developed the first neural machine translator for the Sicilian language. Using small subword vocabularies, we trained small Transformer models with high dropout parameters and achieved BLEU scores in the upper 20s. Then we supplemented our dataset with backtranslation and multilingual translation and pushed our scores into the mid 30s. We also attribute our success to incorporating theoretical information in our dataset. Prior to training, we biased the subword vocabulary towards the desinences one finds in a textbook. And we included textbook exercises in our dataset.


title: Double Encoder-Decoder Networks for Gastrointestinal Polyp Segmentation

abstract: Polyps represent an early sign of the development of Colorectal Cancer. The standard procedure for their detection consists of colonoscopic examination of the gastrointestinal tract. However, the wide range of polyp shapes and visual appearances, as well as the reduced quality of this image modality, turn their automatic identification and segmentation with computational tools into a challenging computer vision task. In this work, we present a new strategy for the delineation of gastrointestinal polyps from endoscopic images based on a direct extension of common encoder-decoder networks for semantic segmentation. In our approach, two pretrained encoder-decoder networks are sequentially stacked: the second network takes as input the concatenation of the original frame and the initial prediction generated by the first network, which acts as an attention mechanism enabling the second network to focus on interesting areas within the image, thereby improving the quality of its predictions. Quantitative evaluation carried out on several polyp segmentation databases shows that double encoder-decoder networks clearly outperform their single encoder-decoder counterparts in all cases. In addition, our best double encoder-decoder combination attains excellent segmentation accuracy and reaches state-of-the-art performance results in all the considered datasets, with a remarkable boost of accuracy on images extracted from datasets not used for training.


title: Fessonia: a Method for Real-Time Estimation of Human Operator Workload Using Behavioural Entropy

abstract: This paper addresses the problem of the human operator cognitive workload estimation while controlling a robot. Being capable of assessing, in real-time, the operator's workload could help prevent calamitous events from occurring. This workload estimation could enable an AI to make informed decisions to assist or advise the operator, in an advanced human-robot interaction framework. We propose a method, named Fessonia, for real-time cognitive workload estimation from multiple parameters of an operator's driving behaviour via the use of behavioural entropy. Fessonia is comprised of: a method to calculate the entropy (i.e. unpredictability) of the operator driving behaviour profile; the Driver Profile Update algorithm which adapts the entropy calculations to the evolving driving profile of individual operators; and a Warning And Indication System that uses workload estimations to issue advice to the operator. Fessonia is evaluated in a robot teleoperation scenario that incorporated cognitively demanding secondary tasks to induce varying degrees of workload. The results demonstrate the ability of Fessonia to estimate different levels of imposed workload. Additionally, it is demonstrated that our approach is able to detect and adapt to the evolving driving profile of the different operators. Lastly, based on data obtained, a decrease in entropy is observed when a warning indication is issued, suggesting a more attentive approach focused on the primary navigation task.


title: Single-shot framing integration photography with high spatial resolution at 5.3*1012 frames per second by an inversed 4f system

abstract: We present a framing integration ultrafast photography (FIP), which integrates the framing structure, codes a dynamic event by an inversed 4f system (I4F) and decodes regionally with high spatial resolution. In the experiment about laser-induced plasma, FIP achieved a framing rate of 5.3*1012 frames per second (fps) and an intrinsic spatial resolution of 110.4 lp/mm. It has an excellent spatio-temporal resolution and a compact and flexible structure. Hence, it can probe unrepeatable ultrafast intra- and inter-atomic/molecular dynamics, different in size and duration with high-quality. Besides, FIP can lay a foundation for integrating and simplifying ultrafast photography instruments. Here the minimum framing time (temporal resolution) is limited by only the laser pulse duration; be sure, attosecond laser technology may further increase framing rates by several orders of magnitude.


title: A signed pulse-train based image processor-array for parallel kernel convolution in vision sensors

abstract: Purpose- High speed image processing is a challenging task for real-time applications such as product quality control of manufacturing lines. Smart image sensors use an array of in-pixel processors to facilitate high-speed real-time image processing. These sensors are usually used to perform the initial low-level bulk image filtering and enhancement. Design- In this paper, using pulse-width modulated signals and regular nearest neighbor interconnections, a convolution image processor is presented. The presented processor is not only capable of processing arbitrary size kernels, but the kernel coefficients can be any arbitrary positive or negative floating number. Findings- The performance of the proposed architecture is evaluated on a FPGA platform. The peak signal-to-noise ratio (PSNR) metric is used to measure the computation error for different images, filters, and illuminations. Finally, the power consumption of the circuit in different operation conditions is presented. Originality/Value- The presented processor array can be used for high speed kernel convolution image processing tasks including arbitrary size edge detection and sharpening functions which require negative and fractional kernel values.


title: Exponential decay of random correlations for random Anosov systems mixing on fibers

abstract: In this paper, we study the statistical property of Anosov systems on surface driven by an external force. By utilizing the Birkhoff cone method, we show that if the systems on surface satisfying the Anosov and topological mixing on fibers property, then the quenched random correlation for Holder observables with respect to the unique random SRB measures decays exponentially.


title: Convectively-coupled High-frequency Atmospheric waves triggered Kerala floods in 2018 and 2019

abstract: Floods have repeatedly battered the South Indian state, Kerala, as a result of the unprecedented heavy rainfall during Boreal Summers, in recent years. The state witnessed large departures from normal rainfall in 2018 and 2019. Previous studies have seldom adopted a systematic approach to understand the phenomenon responsible for the recurrent extreme events. Hence, this study, based on spectral methods, identifies a characteristic propagation of high-frequency equatorial waves in the atmosphere, which travelled from near tropical west Pacific to the east coast of Africa. These waves stimulated intense convection and ensured sufficient availability of moisture over the state, and are hence responsible for Kerala Floods.


title: A Review of Brown 1971 (in)admissibility results under scale mixtures of Gaussian priors

abstract: Brown's 1971 paper "Admissible estimators, recurrent diffusions and insoluble boundary value problems" is a landmark in the admissibility literature. It nearly completely settles the issue of admissibility/inadmissibility for estimating the mean of a multivariate normal distribution with identity covariance under sum of squared error loss. We revisit this wonderful tour de force on its 50th anniversary and present an alternative and more direct proof of the result for generalized Bayes estimators corresponding to priors which are a subclass of scale mixtures of spherical normals.


title: Exact and Approximate Mean First Passage Times on Trees and other Necklace Structures: a Local Equilibrium Approach

abstract: In this work we propose a novel method to calculate mean first-passage times (MFPTs) for random walks on graphs, based on a dimensionality reduction technique for Markov State Models, known as local-equilibrium (LE). We show that for a broad class of graphs, which includes trees, LE coarse-graining preserves the MFPTs between certain nodes, upon making a suitable choice of the coarse-grained states (or clusters). We prove that this relation is exact for graphs that can be coarse-grained into a one-dimensional lattice where each cluster connects to the lattice only through a single node of the original graph. A side result of the proof generalises the well-known essential edge lemma (EEL), which is valid for reversible random walks, to irreversible walkers. Such a generalised EEL leads to explicit formulae for the MFPTs between certain nodes in this class of graphs. For graphs that do not fall in this class, the generalised EEL provides useful approximations if the graph allows a one-dimensional coarse-grained representation and the clusters are sparsely interconnected. We first demonstrate our method for the simple random walk on the $c$-ary tree, then we consider other graph structures and more general random walks, including irreversible random walks.

categories: cond-mat.stat-mech math-ph math.MP math.ST q-bio.QM stat.TH


title: Main-Group Metal Elements as Promising Active Centers for Single-Atom Catalysts

abstract: Current research efforts on single-atom catalysts (SACs) exclusively focus on nonmetal or transition-metal atoms as active centers, while employing main-group metal elements is seemingly excluded because their delocalized s/p-bands are prone to yield a broadened resonance for the interaction with adsorbates. Here, we use high-throughput first-principles calculations to investigate the possible incorporation of Mg, Al and Ga to form graphene-based SACs for NO reduction reaction (NORR) toward NH3. 51 SAC candidates with different metal coordination environment have been computationally screened employing a rationally designed four-step process, yielding six SACs with high catalytic activity and NORR selectivity. The performance is rationalized by the modulation of s/p-band filling of the main-group metals. The adsorption free energy of NO is identified as efficient descriptor for such SACs. The underlying physical mechanism is revealed and generally applicable to other main group metal SACs. These fundamental insights extend SACs to main-group metal elements.


title: AraCOVID19-SSD: Arabic COVID-19 Sentiment and Sarcasm Detection Dataset

abstract: Coronavirus disease (COVID-19) is an infectious respiratory disease that was first discovered in late December 2019, in Wuhan, China, and then spread worldwide causing a lot of panic and death. Users of social networking sites such as Facebook and Twitter have been focused on reading, publishing, and sharing novelties, tweets, and articles regarding the newly emerging pandemic. A lot of these users often employ sarcasm to convey their intended meaning in a humorous, funny, and indirect way making it hard for computer-based applications to automatically understand and identify their goal and the harm level that they can inflect. Motivated by the emerging need for annotated datasets that tackle these kinds of problems in the context of COVID-19, this paper builds and releases AraCOVID19-SSD a manually annotated Arabic COVID-19 sarcasm and sentiment detection dataset containing 5,162 tweets. To confirm the practical utility of the built dataset, it has been carefully analyzed and tested using several classification models.


title: Nonuniversal large-size asymptotics of the Lyapunov exponent in turbulent globally coupled maps

abstract: Globally coupled maps (GCMs) are prototypical examples of high-dimensional dynamical systems. Interestingly, GCMs formed by an ensemble of weakly coupled identical chaotic units generically exhibit a hyperchaotic 'turbulent' state. A decade ago, Takeuchi et al. [Phys. Rev. Lett. 107, 124101 (2011)] theorized that in turbulent GCMs the largest Lyapunov exponent (LE), $\lambda(N)$, depends logarithmically on the system size $N$: $\lambda_\infty-\lambda(N)\simeq c/\ln N$. We revisit the problem and analyze, by means of analytical and numerical techniques, turbulent GCMs with positive multipliers to show that there is a remarkable lack of universality, in conflict with the previous prediction. In fact, we find a power-law scaling $\lambda_\infty-\lambda(N)\simeq c/N^{\gamma}$, where $\gamma$ is a parameter-dependent exponent in the range $0<\gamma\le1$. However, for strongly dissimilar multipliers, the LE varies with $N$ in a slower fashion, which is here numerically explored. Although our analysis is only valid for GCMs with positive multipliers, it suggests that a universal convergence law for the LE cannot be taken for granted in general GCMs.


title: Classification of high-dimensional data with spiked covariance matrix structure

abstract: We study the classification problem for high-dimensional data with $n$ observations on $p$ features where the $p \times p$ covariance matrix $\Sigma$ exhibits a spiked eigenvalues structure and the vector $\zeta$, given by the difference between the whitened mean vectors, is sparse with sparsity at most $s$. We propose an adaptive classifier (adaptive with respect to the sparsity $s$) that first performs dimension reduction on the feature vectors prior to classification in the dimensionally reduced space, i.e., the classifier whitened the data, then screen the features by keeping only those corresponding to the $s$ largest coordinates of $\zeta$ and finally apply Fisher linear discriminant on the selected features. Leveraging recent results on entrywise matrix perturbation bounds for covariance matrices, we show that the resulting classifier is Bayes optimal whenever $n \rightarrow \infty$ and $s \sqrt{n^{-1} \ln p} \rightarrow 0$. Experimental results on real and synthetic data sets indicate that the proposed classifier is competitive with existing state-of-the-art methods while also selecting a smaller number of features.


title: Multi-Objective Few-shot Learning for Fair Classification

abstract: In this paper, we propose a general framework for mitigating the disparities of the predicted classes with respect to secondary attributes within the data (e.g., race, gender etc.). Our proposed method involves learning a multi-objective function that in addition to learning the primary objective of predicting the primary class labels from the data, also employs a clustering-based heuristic to minimize the disparities of the class label distribution with respect to the cluster memberships, with the assumption that each cluster should ideally map to a distinct combination of attribute values. Experiments demonstrate effective mitigation of cognitive biases on a benchmark dataset without the use of annotations of secondary attribute values (the zero-shot case) or with the use of a small number of attribute value annotations (the few-shot case).


title: The early evolution of the random graph process in planar graphs and related classes

abstract: We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. They studied the number of edges added up to step $t$ for 'large' $t=\omega (n)$. In this paper we extend their results by determining the asymptotic number of edges added up to step $t$ in the early evolution of the process when $t=O(n)$. We also show that this result holds for a much more general class of graphs, including outerplanar graphs, planar graphs, and graphs on surfaces.


title: A new derivation of the Henon's isochrone potentials

abstract: We revisit in this note the H\'enon's isochrone problem. By using the standard Abel inversion technique for one-dimensional motion, we recover in a simple way the H\'enon's parabolae and get all isochrone central potentials under mild smoothness assumptions on the potential function. Our approach also allows us to conclude that isochronous radial periods with explicit energy dependence are necessarily Keplerian, i.e., $T^{2}\propto|E|^{-3}$, and that their corresponding orbits can be easily integrated by mapping them into the usual Kepler problem. It can also be employed to study some other inverse central-force problems and, in particular, it provides a proof of Bertrand's theorem.


title: Continuous-Time Fitted Value Iteration for Robust Policies

abstract: Solving the Hamilton-Jacobi-Bellman equation is important in many domains including control, robotics and economics. Especially for continuous control, solving this differential equation and its extension the Hamilton-Jacobi-Isaacs equation, is important as it yields the optimal policy that achieves the maximum reward on a give task. In the case of the Hamilton-Jacobi-Isaacs equation, which includes an adversary controlling the environment and minimizing the reward, the obtained policy is also robust to perturbations of the dynamics. In this paper we propose continuous fitted value iteration (cFVI) and robust fitted value iteration (rFVI). These algorithms leverage the non-linear control-affine dynamics and separable state and action reward of many continuous control problems to derive the optimal policy and optimal adversary in closed form. This analytic expression simplifies the differential equations and enables us to solve for the optimal value function using value iteration for continuous actions and states as well as the adversarial case. Notably, the resulting algorithms do not require discretization of states or actions. We apply the resulting algorithms to the Furuta pendulum and cartpole. We show that both algorithms obtain the optimal policy. The robustness Sim2Real experiments on the physical systems show that the policies successfully achieve the task in the real-world. When changing the masses of the pendulum, we observe that robust value iteration is more robust compared to deep reinforcement learning algorithm and the non-robust version of the algorithm. Videos of the experiments are shown at https://sites.google.com/view/rfvi


title: Distribution Mismatch Correction for Improved Robustness in Deep Neural Networks

abstract: Deep neural networks rely heavily on normalization methods to improve their performance and learning behavior. Although normalization methods spurred the development of increasingly deep and efficient architectures, they also increase the vulnerability with respect to noise and input corruptions. In most applications, however, noise is ubiquitous and diverse; this can often lead to complete failure of machine learning systems as they fail to cope with mismatches between the input distribution during training- and test-time. The most common normalization method, batch normalization, reduces the distribution shift during training but is agnostic to changes in the input distribution during test time. This makes batch normalization prone to performance degradation whenever noise is present during test-time. Sample-based normalization methods can correct linear transformations of the activation distribution but cannot mitigate changes in the distribution shape; this makes the network vulnerable to distribution changes that cannot be reflected in the normalization parameters. We propose an unsupervised non-parametric distribution correction method that adapts the activation distribution of each layer. This reduces the mismatch between the training and test-time distribution by minimizing the 1-D Wasserstein distance. In our experiments, we empirically show that the proposed method effectively reduces the impact of intense image corruptions and thus improves the classification performance without the need for retraining or fine-tuning the model.


title: Impurity-like solutions in vortex systems coupled to a neutral field

abstract: In this work, a Maxwell-Higgs system is coupled to a neutral scalar field that engenders $Z_2$ symmetry. At critical coupling, the resulting field equations may be identified with those of a Maxwell-Higgs model doped with an impurity whose form changes according to properties of the neutral scalar field, such as the topological sector and position of its zeros. This allows for an interpretation of parameters appearing in impurity models in terms of properties of the kink-like defect, and provides a convenient way to understand and generate impurities. By solving the first order equations, we found vortices with a novel internal structure in relation to standard solutions. The procedure was also adapted to generate impurities for Chern-Simons-Higgs theory.


title: Fully Self-Supervised Class Awareness in Dense Object Descriptors

abstract: We address the problem of inferring self-supervised dense semantic correspondences between objects in multi-object scenes. The method introduces learning of class-aware dense object descriptors by providing either unsupervised discrete labels or confidence in object similarities. We quantitatively and qualitatively show that the introduced method outperforms previous techniques with more robust pixel-to-pixel matches. An example robotic application is also shown~- grasping of objects in clutter based on corresponding points.


title: Using Elasticsearch for entity recognition in affiliation disambiguation

abstract: Automatic recognition of affiliations in the metadata of scholarly publications is a key point for monitoring and analyzing trends in scientific production, especially in an open science context. We propose an automatic alignment method on registries, based on Elasticsearch. The proposed method is modular and leaves the choice of the alignment criteria to the user, allowing him to keep control over the precision and recall of the method. An implementation is proposed for an automatic alignment on three registries: countries, GRID.ac and RNSR (research laboratory directory in France) on the Github https://github.com/dataesr/matcher and the performances are analyzed in this paper.


title: Calculations for nuclear matter and finite nuclei within and beyond energy--density--functional theories through interactions guided by effective field theory

abstract: We propose a novel idea to construct an effective interaction under energy-density-functional (EDF) theories which is adaptive to the enlargement of the model space. Guided by effective field theory principles, iterations of interactions as well as enlargements of the model space through particle-hole excitations are carried out for infinite nuclear matter and selected closed-shell nuclei ($^4$He, $^{16}$O, $^{40}$Ca, $^{56}$Ni and $^{100}$Sn) up to next-to-leading order. Our approach provides a new way for handling the nuclear matter and finite nuclei within the same scheme, with advantages from both EDF and ab initio approaches.


title: Energy-based survival modelling using harmoniums

abstract: Survival analysis concerns the study of timeline data where the event of interest may remain unobserved (i.e., censored). Studies commonly record more than one type of event, but conventional survival techniques focus on a single event type. We set out to integrate both multiple independently censored time-to-event variables as well as missing observations. An energy-based approach is taken with a bi-partite structure between latent and visible states, known as harmoniums (or restricted Boltzmann machines). The present harmonium is shown, both theoretically and experimentally, to capture non-linearly separable patterns between distinct time recordings. We illustrate on real world data that, for a single time-to-event variable, our model is on par with established methods. In addition, we demonstrate that discriminative predictions improve by leveraging an extra time-to-event variable. In conclusion, multiple time-to-event variables can be successfully captured within the harmonium paradigm.


title: Quantum point defects in 2D materials: The QPOD database

abstract: Atomically thin two-dimensional (2D) materials are ideal hosts of quantum defects as they offer easier control, manipulation and read-out of defect states compared to bulk systems. Here we introduce the Quantum Point Defect (QPOD) database of more than 1900 defect systems with 503 unique intrinsic point defects (vacancies and antisites) in 82 2D insulators. The Atomic Simulation Recipes (ASR) workflow framework was used to perform density functional theory (DFT) calculations of defect formation energies, charge transition levels, Fermi level positions, equilibrium defect and carrier concentrations, transition dipole moments, hyperfine coupling, and zero-field splitting. Excited states and photoluminescence spectra were calculated for selected high-spin defects. In this paper we describe the calculations and workflow behind the QPOD database, present an overview of its content, and discuss some general trends and correlations in the data. We analyse the degree of defect tolerance as well as intrinsic dopability of the host materials and identify promising defects for quantum technological applications. The database is freely available and can be browsed via a web-app interlinked with the Computational 2D Materials Database (C2DB).


title: Gender Bias in Remote Pair Programming among Software Engineering Students: The twincode Exploratory Study

abstract: Context. Pair programming (PP) has been found to increase student interest in Computer Science, particularly so for women, and would therefore appear to be a way to help remedy their under-representation, which could be partially motivated by gender stereotypes applied to software engineers, assuming that men perform better than their women peers. If this same bias is present in pair programming, it could work against the goal of improving gender balance. Objective. In a remote setting in which students cannot directly observe their peers, we aim to explore whether they behave differently when the perceived gender of their remote PP partners changes, searching for differences in (i) the perceived productivity compared to solo programming; (ii) the partner's perceived technical competency compared to their own; (iii) the partner's perceived skill level; (iv) the interaction behavior, such as the frequency of source code additions, deletions, etc.; and (v) the type and relative frequencies of dialog messages in a chat window. Method. Using the twincode platform, several behaviors are automatically measured during the remote PP process, together with two questionnaires and a semantic tagging of the pairs' chats. A series of experiments to identify the effect, if any, of possible gender bias shall be performed. The control group will have no information about their partner's gender, whereas the treatment group will receive such information but will be selectively deceived about their partner's gender. For each response variable we will (i) compare control and experimental groups for the score distance between two in-pair tasks; then, using the data from the experimental group only, we will (ii) compare scores using the partner's perceived gender as a within-subjects variable; and (iii) analyze the interaction between the partner's perceived gender and the subject's gender.


title: Multimodal datasets: misogyny, pornography, and malignant stereotypes

abstract: We have now entered the era of trillion parameter machine learning models trained on billion-sized datasets scraped from the internet. The rise of these gargantuan datasets has given rise to formidable bodies of critical work that has called for caution while generating these large datasets. These address concerns surrounding the dubious curation practices used to generate these datasets, the sordid quality of alt-text data available on the world wide web, the problematic content of the CommonCrawl dataset often used as a source for training large language models, and the entrenched biases in large-scale visio-linguistic models (such as OpenAI's CLIP model) trained on opaque datasets (WebImageText). In the backdrop of these specific calls of caution, we examine the recently released LAION-400M dataset, which is a CLIP-filtered dataset of Image-Alt-text pairs parsed from the Common-Crawl dataset. We found that the dataset contains, troublesome and explicit images and text pairs of rape, pornography, malign stereotypes, racist and ethnic slurs, and other extremely problematic content. We outline numerous implications, concerns and downstream harms regarding the current state of large scale datasets while raising open questions for various stakeholders including the AI community, regulators, policy makers and data subjects.


title: Deductive Verification of Programs with Underspecified Semantics by Model Extraction

abstract: We present a novel and well automatable approach to formal verification of programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain evaluations. First, we reduce this problem to non-determinism of distributed systems, automatically extracting a distributed Active Object model from underspecified, sequential C code. This translation process provides a fully formal semantics for the considered C subset. In the extracted model every non-deterministic choice corresponds to one possible evaluation order. This step also automatically translates specifications in the ANSI/ISO C Specification Language (ACSL) into method contracts and object invariants for Active Objects. We then perform verification on the specified Active Objects model. For this we have implemented a theorem prover Crowbar based on the Behavioral Program Logic (BPL), which verifies the extracted model with respect to the translated specification and ensures the original property of the C code for all possible evaluation orders. By using model extraction, we can use standard tools, without designing a new complex program logic to deal with underspecification. The case study used is highly underspecified and cannot be verified with existing tools for C.


title: Timelike Loxodromes on Lorentzian Helicoidal Surfaces in Minkowski n--Space

abstract: In this paper, we examine timelike loxodromes on three kinds of Lorentzian helicoidal surfaces in Minkowski $n$--space. First, we obtain the first order ordinary differential equations which determine timelike loxodromes on the Lorentzian helicoidal surfaces in $\mathbb{E}^n_1$ according to the causal characters of their meridian curves. Then, by finding general solutions, we get the explicit parametrizations of such timelike loxodromes. In particular, we investigate the timelike loxodromes on the three kinds of Lorentzian right helicoidal surfaces in $\mathbb{E}^n_1$. Finally, we give an example to visualize the results.


title: Higher derivatives of the end-point map of a linear control system via adapted coordinates

abstract: We study the end-point map of a control-linear system in a neighborhood of an arbitrarily chosen trajectory. In particular, we want to calculate the $k$-th order derivative of this map in a given direction. A priori it is a solution of a quite complicated ODE depending on all derivatives of order less or equal $k$. We prove that there exists a special coordinate system adapted to the geometry of the problem, which changes the system of ODEs describing all derivatives of the end-point map up to order $k$ to equations of a control-affine (non-autonomous control-linear) system, with the direction of derivation playing the role of the new control. As an application we study controllability criteria for this system, obtaining first and second-order necessary optimality conditions of sub-Riemannian geodesics. In particular, for the case of an abnormal minimizer we can interpret \emph{Goh conditions} as non-controllability conditions of this control-affine system for $k=2$. We make a hypothesis that for higher $k$'s its non-controllability corresponds to recently obtained higher-order analogs of the Goh conditions [Boarotto, Monti, Palmurella, 2020], [Boarotto, Monti, a Socionovo, 2022].


title: Season-invariant GNSS-denied visual localization for UAVs

abstract: Localization without Global Navigation Satellite Systems (GNSS) is a critical functionality in autonomous operations of unmanned aerial vehicles (UAVs). Vision-based localization on a known map can be an effective solution, but it is burdened by two main problems: places have different appearance depending on weather and season, and the perspective discrepancy between the UAV camera image and the map make matching hard. In this work, we propose a localization solution relying on matching of UAV camera images to georeferenced orthophotos with a trained convolutional neural network model that is invariant to significant seasonal appearance difference (winter-summer) between the camera image and map. We compare the convergence speed and localization accuracy of our solution to six reference methods. The results show major improvements with respect to reference methods, especially under high seasonal variation. We finally demonstrate the ability of the method to successfully localize a real UAV, showing that the proposed method is robust to perspective changes.


title: Missing $g$-mass: Investigating the Missing Parts of Distributions

abstract: Estimating the underlying distribution from \textit{iid} samples is a classical and important problem in statistics. When the alphabet size is large compared to number of samples, a portion of the distribution is highly likely to be unobserved or sparsely observed. The missing mass, defined as the sum of probabilities $\text{Pr}(x)$ over the missing letters $x$, and the Good-Turing estimator for missing mass have been important tools in large-alphabet distribution estimation. In this article, given a positive function $g$ from $[0,1]$ to the reals, the missing $g$-mass, defined as the sum of $g(\text{Pr}(x))$ over the missing letters $x$, is introduced and studied. The missing $g$-mass can be used to investigate the structure of the missing part of the distribution. Specific applications for special cases such as order-$\alpha$ missing mass ($g(p)=p^{\alpha}$) and the missing Shannon entropy ($g(p)=-p\log p$) include estimating distance from uniformity of the missing distribution and its partial estimation. Minimax estimation is studied for order-$\alpha$ missing mass for integer values of $\alpha$ and exact minimax convergence rates are obtained. Concentration is studied for a class of functions $g$ and specific results are derived for order-$\alpha$ missing mass and missing Shannon entropy. Sub-Gaussian tail bounds with near-optimal worst-case variance factors are derived. Two new notions of concentration, named strongly sub-Gamma and filtered sub-Gaussian concentration, are introduced and shown to result in right tail bounds that are better than those obtained from sub-Gaussian concentration.


title: The $W^{s,p}$-boundedness of stationary wave operators for the Schr\"odinger operator with inverse-square potential

abstract: In this paper, we investigate the $W^{s,p}$-boundedness for stationary wave operators of the Schr\"odinger operator with inverse-square potential $$\mathcal L_a=-\Delta+\tfrac{a}{|x|^2}, \quad a\geq -\tfrac{(d-2)^2}{4},$$ in dimension $d\geq 2$. We construct the stationary wave operators in terms of integrals of Bessel functions and spherical harmonics, and prove that they are $W^{s,p}$-bounded for certain $p$ and $s$ which depend on $a$. As corollaries, we solve some open problems associated with the operator $\mathcal L_a$, which include the dispersive estimates and the local smoothing estimates in dimension $d\geq 2$. We also generalize some known results such as the uniform Sobolev inequalities, the equivalence of Sobolev norms and the Mikhlin multiplier theorem, to a larger range of indices. These results are important in the description of linear and nonlinear dynamics for dispersive equations with inverse-square potential.


title: Evaluating Tooling and Methodology when Analysing Bitcoin Mixing Services After Forensic Seizure

abstract: Little or no research has been directed to analysis and researching forensic analysis of the Bitcoin mixing or 'tumbling' service themselves. This work is intended to examine effective tooling and methodology for recovering forensic artifacts from two privacy focused mixing services namely Obscuro which uses the secure enclave on intel chips to provide enhanced confidentiality and Wasabi wallet which uses CoinJoin to mix and obfuscate crypto currencies. These wallets were set up on VMs and then several forensic tools used to examine these VM images for relevant forensic artifacts. These forensic tools were able to recover a broad range of forensic artifacts and found both network forensics and logging files to be a useful source of artifacts to deanonymize these mixing services.


title: Cohomology of morphism Lie algebras and some applications

abstract: A morphism Lie algebra is a triple $(\mathfrak{g}, \mathfrak{h}, \phi)$ consisting of two Lie algebras $\mathfrak{g}, \mathfrak{h}$ and a Lie algebra homomorphism $\phi : \mathfrak{g} \rightarrow \mathfrak{h}$. We define representations and cohomology of morphism Lie algebras. As applications of our cohomology, we study some aspects of deformations, abelian extensions of morphism Lie algebras and classify skeletal morphism sh Lie algebras. Finally, we consider the cohomology of morphism Lie groups and find a relation with the cohomology of morphism Lie algebras.


title: Axion emission from supernova with axion-pion-nucleon contact interaction

abstract: We examine the axion emission from supernovae with a complete set of relevant axion couplings including the axion-pion-nucleon contact interaction which was ignored in the previous studies. Two processes are affected by the axion-pion-nucleon contact interaction, $\pi^-+p \rightarrow n + a$ and $n+p\rightarrow n+p+a$, and these processes can be the dominant source of axions for some region in the axion parameter space or in astrophysical conditions encountered inside supernovae. We find that the contact interaction can enhance the axion emissivity of $\pi^-+p \rightarrow n + a$ by a factor of $2-4$, while the effect on $n+p\rightarrow n+p+a$ is not significant. We also discuss the relative importance of other pion-induced processes such as $\pi^0+n\rightarrow n+a$ and $\pi^-+\pi^0\rightarrow \pi^-+a$.


title: Asymptotically Optimal prepare-measure Quantum Key Distribution Protocol

abstract: Quantum key distribution (QKD) could be the most significant application of quantum information theory. In nearly four decades, although substantial QKD protocols are developed, the BB84 protocol and its variants are still the most researched ones. It is well-known that the secure bound of qubit error rate (QBER) of BB84 protocol is about 11$\%$ while it can be increased to 12.6$\%$ by six-state protocol. It would not be surprising that employing more basis could increase the bound. However, what is the optimal protocol, and how to analyze it? In this paper, investigations of asymptotically optimal QKD protocols are proposed. Precisely, We present an abstraction of prepare-measure QKD protocols and investigate two special cases which are optimal among all protocols coding by the same states. Our analysis demonstrates that the asymptotically optimal QBER bounds coding by orthogonal qubits are about 27.28$\%$ for both memory C-NOT attacks and memoryless C-NOT attacks while the bounds coding by non-orthogonal states in two mutually unbiased bases are about 22.73$\%$ for memory and 28.69$\%$ for memoryless C-NOT attacks. The protocols are idealized but might be asymptotically realized while their optimality indicates the ultimate potential of QKD protocols. Although the analysis only contains a special kind of attack, it provides a framework for investigating such protocols.


title: Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers

abstract: Cyber-Physical Systems (CPSs) such as those found within autonomous vehicles are increasingly adopting Artificial Neural Network (ANN)-based controllers. To ensure the safety of these controllers, there is a spate of recent activity to formally verify the ANN-based designs. There are two challenges with these approaches: (1) The verification of such systems is difficult and time consuming. (2) These verified controllers are not able to adapt to frequent requirements changes, which are typical in situations like autonomous driving. This raises the question: how can trained and verified controllers, which have gone through expensive training and verification processes, be re-used to deal with requirement changes? This paper addresses this challenge for the first time by proposing a new framework that is capable of dealing with requirement changes at runtime through a mechanism we term runtime interchange. Our approach functions via a continual exchange and selection process of multiple pre-verified controllers. It represents a key step on the way to component-oriented engineering for intelligent designs, as it preserves the behaviours of the original controllers while introducing additional functionality. To demonstrate the efficacy of our approach we utilise an existing autonomous driving case study as well as a set of smaller benchmarks. These show that introduced overheads are extremely minimal and that the approach is very scalable.


title: Polarized muons and the origin of biological homochirality

abstract: While biologists have not yet reached a consensus on the definition of life, homochirality - the specific molecular handedness of biomolecules - is a phenomenon only produced by life. The unraveling of its origin requires interdisciplinary research, by exploring fundamental physics, chemistry, astrophysics and biology. Here, we consider the origin of biological homochirality in the context of astrophysics and particle physics. The weak force, one of the fundamental forces operating in nature, is parity-violating. On Earth, at ground level, most of our cosmic radiation dose comes from polarized muons formed in a decay involving the weak force. We discuss how the magnetic polarization is transmitted in cosmic showers within several different environments which are prime targets in the search for the origin of life. We consider how this polarization could have induced a biological preference for one type of chirality over the other, and discuss the implications for the search of life in other worlds.


title: Bridging the neuroscience and physics of time

abstract: As a neuroscientist and a theoretical physicist, both working on time, we have decided to open a direct dialogue to examine if the apparent discrepancies regarding the nature of time can be composed.


title: Analytic scattering parameters at low energies

abstract: The scattering of two and more particles at low energies is described by the so called effective-range expansion. The leading terms of this expansion are the scattering length and effective range. The analytic expressions for both of the aforementioned scattering parameters are presented for the inverse-power potential and the Woods-Saxon potential. A technique for calculating the approximate scattering parameters is proposed. Approximate analytic formulas representing the scattering length and effective range are obtained for the Yukawa potential. The corresponding figures demonstrate a few interesting features of the effective range. All analytic formulas, both exact and approximate, were verified by comparing with the corresponding results obtained by direct numerical calculations. Wolfram Mathematica is heavily used. The presented results can be used with advantage in the fields of nuclear physics, atomic and molecular physics, quantum chemistry and many others.

categories: nucl-th math-ph math.MP physics.atom-ph physics.chem-ph physics.optics


title: Periodic waves for the cubic-quintic non-linear Schr\"odinger equation: existence and orbital stability

abstract: In this paper, we prove existence and orbital stability results of periodic standing waves for the cubic-quintic nonlinear Schr\"odinger equation. We use the implicit function theorem to construct a smooth curve of explicit periodic waves with \textit{dnoidal} profile and such construction can be used to prove that the associated period map is strictly increasing in terms of the energy levels. The monotonicity is also useful to obtain the behaviour of the non-positive spectrum for the associated linearized operator around the wave. Concerning the stability, we prove that the dnoidal waves are orbitally stable in the energy space restricted to the even functions.


title: Measurement-Device-Independenization of Quantum Key Distribution Protocols

abstract: Quantum key distribution(QKD) allows the legitimate partner to establish a secret key whose security only depends on physical laws. In recent years, research on QKD by employing insecure measurement devices, namely measurement-device-independent QKD (MDI-QKD) is increased. MDI-QKD removes all attacks on measurement devices and thus an untrusted third party can be employed for measuring. However, a weakness of previous MDI-QKD protocols is the need for joint measurements such as Bell measurements whose efficiency is low in practice. On the other hand, can all QKD protocols become measurement-device-independent remains a problem. In this paper, we present a scheme making prepare-measure QKD protocols become MDI-QKD protocols, called $'measurement-device-independenization'$, which does not need to employ joint measurements and could be efficiently implemented by weak coherence sources. The protocol might look like the detector-device-independent(DDI) protocols but it is also secure under the Trojan horse attack. To illustrate this, we investigate the photon-number-adding(PNA) attack and present a scheme, called $'photon-number-purification'$, which can also be employed to close loopholes for previous protocols such as DDI and plug-and-play ones.


title: An alternative to test experimentally Everett's theory

abstract: It is generally accepted that Everett's theory of quantum mechanics cannot be experimentally tested as such experiment would involve operations on the observer which are beyond our current technology. We propose an alternative to test Everett's theory which does not involve any operation on the observer. If we assume that the observer is of finite dimension, it is shown that Everett's theory leads to distinctive properties for the system being observed, and that such difference can be experimentally tested.


title: Metameric Varifocal Holography

abstract: Computer-Generated Holography (CGH) offers the potential for genuine, high-quality three-dimensional visuals. However, fulfilling this potential remains a practical challenge due to computational complexity and visual quality issues. We propose a new CGH method that exploits gaze-contingency and perceptual graphics to accelerate the development of practical holographic display systems. Firstly, our method infers the user's focal depth and generates images only at their focus plane without using any moving parts. Second, the images displayed are metamers; in the user's peripheral vision, they need only be statistically correct and blend with the fovea seamlessly. Unlike previous methods, our method prioritises and improves foveal visual quality without causing perceptually visible distortions at the periphery. To enable our method, we introduce a novel metameric loss function that robustly compares the statistics of two given images for a known gaze location. In parallel, we implement a model representing the relation between holograms and their image reconstructions. We couple our differentiable loss function and model to metameric varifocal holograms using a stochastic gradient descent solver. We evaluate our method with an actual proof-of-concept holographic display, and we show that our CGH method leads to practical and perceptually three-dimensional image reconstructions.


title: Modelling and Differential Costs Evaluation of a Two Echelons Repair System through Infinite Servers Nodes Queuing Networks

abstract: After a short report of results on infinite servers queues systems, focusing on its busy period, using networks of queues with infinite servers nodes a model is constructed to study a two echelons repair system. These repair systems may be useful, for instance, in the operation of a fleet of aircraft, of shipping or of trucks. Additionally, it is shown how this model may be used in the evaluation of differential costs.


title: Exponential confidence region based on the projection density estimate. Recursivity of these estimations

abstract: We investigate the famous Tchentzov's projection density statistical estimation in order to deduce the exponential decreasing tail of distribution for the natural normalized deviation. We modify these estimations assuming the square integrability of estimated function, to make it recursive form, which is more convenient for applications, however they have at the same speed of convergence as the for the classical ones in the composite Hilbert space norm.


title: Dirichlet Mechanism for Differentially Private KL Divergence Minimization

abstract: Given an empirical distribution $f(x)$ of sensitive data $x$, we consider the task of minimizing $F(y) = D_{\text{KL}} (f(x)\Vert y)$ over a probability simplex, while protecting the privacy of $x$. We observe that, if we take the exponential mechanism and use the KL divergence as the loss function, then the resulting algorithm is the Dirichlet mechanism that outputs a single draw from a Dirichlet distribution. Motivated by this, we propose a R\'enyi differentially private (RDP) algorithm that employs the Dirichlet mechanism to solve the KL divergence minimization task. In addition, given $f(x)$ as above and $\hat{y}$ an output of the Dirichlet mechanism, we prove a probability tail bound on $D_{\text{KL}} (f(x)\Vert \hat{y})$, which is then used to derive a lower bound for the sample complexity of our RDP algorithm. Experiments on real-world datasets demonstrate advantages of our algorithm over Gaussian and Laplace mechanisms in supervised classification and maximum likelihood estimation.


title: Testing the validity of random-singlet state for long-range hopping models through the scaling of entanglement entropy

abstract: We consider a sublattice-symmetric free-fermion model on a one-dimensional lattice with random hopping amplitudes decaying with the distance as $|t_l|\sim l^{-\alpha}$, and address the question how far an analogue of the random-singlet state (RSS) conceived originally for describing the ground state of certain random spin chains is valid for this model. For this purpose, we study the effective central charge characterizing the logarithmic divergence of the entanglement entropy (EE) and the prefactor of the distribution of distances between localization centers on the two sublattices, which must fulfill a consistency relation for a RSS. For $\alpha>1$, we find by exact diagonalization an overall logarithmic divergence of the entanglement entropy with an effective central charge varying with $\alpha$. The large $\alpha$ limit of the effective central charge is found to be different from that of the nearest-neighbor hopping model. The consistency relation of RSS is violated for $\alpha\le 2$, while for $\alpha>2$ it is possibly valid, but this conclusion is hampered by a crossover induced by the short-range fixed point. The EE is also calculated by the strong-disorder renormalization group (SDRG) method numerically. Besides the traditional scheme, we construct and apply a more efficient minimal SDRG scheme having a linear (nearest-neighbor) structure, which turns out to be an accurate approximation of the full SDRG scheme for not too small $\alpha$. The SDRG method is found to provide systematically lower effective central charges than exact diagonalization does, nevertheless it becomes more and more accurate for increasing $\alpha$. Furthermore, as opposed to nearest-neighbor models, it indicates a weak dependence on the disorder distribution.


title: The role of attraction in the phase diagrams and melting scenarios of generalized 2D Lennard-Jones systems

abstract: Monolayer and two-dimensional (2D) systems exhibit rich phase behavior, compared with 3D systems, in particular, due to the hexatic phase playing a central role in melting scenarios. The attraction range is known to affect critical gas-liquid behavior (liquid-liquid in protein and colloidal systems), but the effect of attraction on melting in 2D systems remains unstudied systematically. Here, we reveal how the attraction range affects the phase diagrams and melting scenarios in a 2D system. Using molecular dynamics simulations we considered the generalized Lennard-Jones system with a fixed repulsion branch and different power indices of attraction, from long-range dipolar to short-range sticky-spheres-like. A drop in the attraction range has been found to reduce the temperature of the gas-liquid critical point, bringing it closer to the gas-liquid-solid triple point. At high-temperatures, attraction does not affect the melting scenario that proceeds through the cascade of solid-hexatic (Berezinski-Kosterlitz-Thouless) and hexatic-liquid (first-order) phase transitions. In the case of dipolar attraction, we observed \emph{two triple points}, inherent in a 2D system: hexatic-liquid-gas and crystal-hexatic-gas, the temperature of the crystal-hexatic-gas triple point is \emph{below} the hexatic-liquid-gas triple point. This observation may have far-reaching consequences for future studies, since phase diagrams determine possible routes of self-assembly in molecular, protein, and colloidal systems, whereas the attraction range can be adjusted with complex solvents and external electric or magnetic fields. The results obtained may be widely used in condensed matter, chemical physics, materials science, and soft matter.


title: Replenishment Cost of a Storage System Modelled through a Defective Renewal Equation

abstract: A storage system where a k units stock is replaced instantaneously, when required,is presented in this work. It is also supposed a Poisson demand. It is proved that the storage system replenishment cost expected present value function fulfills a defective renewal equation, being proposed for it an asymptotic expression.


title: Numerical Simulation of Superparamagnetic Nanoparticle Motion in Blood Vessels for Magnetic Drug Delivery

abstract: A numerical model is developed for the motion of superparamagnetic nanoparticles in a non-Newtonian blood flow under the influence of a magnetic field. The rheological properties of blood are modeled by the Carreau flow and viscosity, and the stochastic effects of Brownian motion and red blood cell collisions are considered. The model is validated with existing data and good agreement with experimental results is shown. The effectiveness of magnetic drug delivery in various blood vessels is assessed and found to be most successful in arterioles and capillaries. A range of magnetic field strengths are modeled using equations for both a bar magnet and a point dipole: it is shown that the bar magnet is effective at capturing nanoparticles in limited cases while the point dipole is highly effective across a range of conditions. A parameter study is conducted to show the effects of changing the dipole moment, the distance from the magnet to the blood vessel, and the initial release point of the nanoparticles. The distance from the magnet to the blood vessel is shown to play a significant role in determining nanoparticle capture rate. The optimal initial release position is found to be located within the tumor radius in capillaries and arterioles to prevent rapid diffusion to the edges of the blood vessel prior to arriving at the tumor, and near the edge of the magnet when a bar magnet is used.