title: Scrambled Translation Problem: A Problem of Denoising UNMT

abstract: In this paper, we identify an interesting kind of error in the output of Unsupervised Neural Machine Translation (UNMT) systems like \textit{Undreamt}(footnote). We refer to this error type as \textit{Scrambled Translation problem}. We observe that UNMT models which use \textit{word shuffle} noise (as in case of Undreamt) can generate correct words, but fail to stitch them together to form phrases. As a result, words of the translated sentence look \textit{scrambled}, resulting in decreased BLEU. We hypothesise that the reason behind \textit{scrambled translation problem} is 'shuffling noise' which is introduced in every input sentence as a denoising strategy. To test our hypothesis, we experiment by retraining UNMT models with a simple \textit{retraining} strategy. We stop the training of the Denoising UNMT model after a pre-decided number of iterations and resume the training for the remaining iterations -- which number is also pre-decided -- using original sentence as input without adding any noise. Our proposed solution achieves significant performance improvement UNMT models that train conventionally. We demonstrate these performance gains on four language pairs, \textit{viz.}, English-French, English-German, English-Spanish, Hindi-Punjabi. Our qualitative and quantitative analysis shows that the retraining strategy helps achieve better alignment as observed by attention heatmap and better phrasal translation, leading to statistically significant improvement in BLEU scores.


title: Quantization due to the time evolution, with applications to Quantum Yang-Mills theory, Quantum Gravity and Classical Statistical Field Theory

abstract: Quantum Yang-Mills theory, Classical Statistical Field Theory (for Hamiltonians which are non-polynomial in the fields, e.g. General relativistic statistical mechanics) and Quantum Gravity all suffer from severe mathematical inconsistencies and produce unreliable predictions at best. We define with mathematical rigor, a class of statistical field theories in Minkowski space-time where the (classical) canonical coordinates when modified by a non-deterministic time evolution, verify the canonical commutation relations. We then extend these statistical field theories to include non-trivial gauge symmetries and show that these theories have all the features of a Quantum Yang-Mills theory in four-dimensional space-time. We generalize the Gaussian measure to allow for the definition of Hamiltonians which are non-polynomial in the fields, such as in Classical Statistical Field Theory and Quantum Gravity. Finally, we test the consistency of our formalism with the quantization of the free Electromagnetic field.


title: A Richly Annotated Corpus for Different Tasks in Automated Fact-Checking

abstract: Automated fact-checking based on machine learning is a promising approach to identify false information distributed on the web. In order to achieve satisfactory performance, machine learning methods require a large corpus with reliable annotations for the different tasks in the fact-checking process. Having analyzed existing fact-checking corpora, we found that none of them meets these criteria in full. They are either too small in size, do not provide detailed annotations, or are limited to a single domain. Motivated by this gap, we present a new substantially sized mixed-domain corpus with annotations of good quality for the core fact-checking tasks: document retrieval, evidence extraction, stance detection, and claim validation. To aid future corpus construction, we describe our methodology for corpus creation and annotation, and demonstrate that it results in substantial inter-annotator agreement. As baselines for future research, we perform experiments on our corpus with a number of model architectures that reach high performance in similar problem settings. Finally, to support the development of future models, we provide a detailed error analysis for each of the tasks. Our results show that the realistic, multi-domain setting defined by our data poses new challenges for the existing models, providing opportunities for considerable improvement by future systems.


title: Combining fiber Brillouin amplification with a repeater laser station for fiber-based optical frequency dissemination over 1400 km

abstract: We investigate optical frequency dissemination over a 1400 km long fiber link in looped configuration over a pair of underground fibers between Braunschweig and Strasbourg. This fiber link is the first to combine fiber Brillouin amplifiers with a repeater laser station. Phase-coherent operation over more than five days is demonstrated. We analyze the repeatability of the performance over four campaigns and present results of 65 days in total. The weighted mean of the fractional frequency offset of the transferred optical frequency over the complete data set is $(-1.1 \pm 0.4) \times 10^{-20}$. By analyzing the stabilization signals of the two individual fibers, the correlation of the phase noise on the two fibers is shown to be >98%.


title: Concentrated reaction terms on the boundary of rough domains for a quasilinear equation

abstract: In this work we analyze the solutions of a $p$-Laplacian equation with homogeneous Neumann boundary conditions set in a family of rough domains with a nonlinear term concentrated on the boundary. At the limit, we get a nonlinear boundary condition capturing the oscillatory geometry of the strip where the reactions take place.


title: Detect Toxic Content to Improve Online Conversations

abstract: Social media is filled with toxic content. The aim of this paper is to build a model that can detect insincere questions. We use the 'Quora Insincere Questions Classification' dataset for our analysis. The dataset is composed of sincere and insincere questions, with the majority of sincere questions. The dataset is processed and analyzed using Python and its libraries such as sklearn, numpy, pandas, keras etc. The dataset is converted to vector form using word embeddings such as GloVe, Wiki-news and TF-IDF. The imbalance in the dataset is handled by resampling techniques. We train and compare various machine learning and deep learning models to come up with the best results. Models discussed include SVM, Naive Bayes, GRU and LSTM.


title: Semi-Supervised Medical Image Segmentation via Learning Consistency under Transformations

abstract: The scarcity of labeled data often limits the application of supervised deep learning techniques for medical image segmentation. This has motivated the development of semi-supervised techniques that learn from a mixture of labeled and unlabeled images. In this paper, we propose a novel semi-supervised method that, in addition to supervised learning on labeled training images, learns to predict segmentations consistent under a given class of transformations on both labeled and unlabeled images. More specifically, in this work we explore learning equivariance to elastic deformations. We implement this through: 1) a Siamese architecture with two identical branches, each of which receives a differently transformed image, and 2) a composite loss function with a supervised segmentation loss term and an unsupervised term that encourages segmentation consistency between the predictions of the two branches. We evaluate the method on a public dataset of chest radiographs with segmentations of anatomical structures using 5-fold cross-validation. The proposed method reaches significantly higher segmentation accuracy compared to supervised learning. This is due to learning transformation consistency on both labeled and unlabeled images, with the latter contributing the most. We achieve the performance comparable to state-of-the-art chest X-ray segmentation methods while using substantially fewer labeled images.


title: Spectroscopic diagnostic of halos and elves detected from space-based photometers

abstract: In this work, we develop two spectroscopic diagnostic methods to derive the peak reduced electric field in Transient Luminous Events (TLEs) from their optical signals. These methods could be used to analyze the optical signature of TLEs reported by spacecraft such as ASIM (ESA) and the future TARANIS (CNES). As a first validation of these methods, we apply them to the predicted (synthetic) optical signatures of halos and elves, two type of TLEs, obtained from electrodynamical models. This procedure allows us to compare the inferred value of the peak reduced electric field with the value computed by halo and elve models. Afterward, we apply both methods to the analysis of optical signatures of elves and halos reported by GLIMS (JAXA) and ISUAL (NSPO) spacecraft, respectively. We conclude that the best emission ratios to estimate the maximum reduced electric field in halos and elves are the ratio of the Second Positive System (SPS) of N$_2$ to First Negative System (FNS) of N$_2^+$, the First Positive System (FPS) of N$_2$ to FNS of N$_2^+$ and the Lyman-Birge-Hopfield (LBH) band of N$_2$ to FNS of N$_2^+$. In the case of reduced electric fields below 150~Td, we found that the ratio of the SPS of N$_2$ to FPS of N$_2$ can also be used to reasonably estimate the value of the field. Finally, we show that the reported optical signals from elves can be treated following an inversion method in order to estimate some of the characteristics of the parent lightning.


title: Learning-based estimation of dielectric properties and tissue density in head models for personalized radio-frequency dosimetry

abstract: Radio-frequency dosimetry is an important process in human safety and for compliance of related products. Recently, computational human models generated from medical images have often been used for such assessment, especially to consider the inter-variability of subjects. However, the common procedure to develop personalized models is time consuming because it involves excessive segmentation of several components that represent different biological tissues, which limits the inter-variability assessment of radiation safety based on personalized dosimetry. Deep learning methods have been shown to be a powerful approach for pattern recognition and signal analysis. Convolutional neural networks with deep architecture are proven robust for feature extraction and image mapping in several biomedical applications. In this study, we develop a learning-based approach for fast and accurate estimation of the dielectric properties and density of tissues directly from magnetic resonance images in a single shot. The smooth distribution of the dielectric properties in head models, which is realized using a process without tissue segmentation, improves the smoothness of the specific absorption rate (SAR) distribution compared with that in the commonly used procedure. The estimated SAR distributions, as well as that averaged over 10-g of tissue in a cubic shape, are found to be highly consistent with those computed using the conventional methods that employ segmentation.


title: Numerical Range Inclusion, Dilation, and Operator Systems

abstract: Researchers have identified complex matrices $A$ such that a bounded linear operator $B$ acting on a Hilbert space will admit a dilation of the form $A \otimes I$ whenever the numerical range inclusion relation $W(B) \subseteq W(A)$ holds. Such an operator $A$ and the identity matrix will span a maximal operator system, i.e., every unital positive map from ${\rm span} \{I, A, A^*\}$ to ${\cal B}({\cal H})$, the algebra of bounded linear operators acting on a Hilbert space ${\cal H}$, is completely positive. In this paper, we identify $m$-tuple of matrices ${\bf A} = (A_1, \dots, A_m)$ such that any $m$-tuple of operators ${\bf B} = (B_1, \dots, B_m)$ satisfying the joint numerical range inclusion $W({\bf B}) \subseteq {\rm conv} W({\bf A})$ will have a joint dilation of the form $(A_1\otimes I, \dots, A_m\otimes I)$. Consequently, every unital positive map from ${\rm span} \{I, A_1, A_1^*, \dots, A_m, A_m^*\}$ to ${\cal B}({\cal H})$ is completely positive. New results and techniques are obtained relating to the study of numerical range inclusion, dilation, and maximal operator systems.


title: A self-similarity principle for the computation of rare event probability

abstract: The probability of rare and extreme events is an important quantity for design purposes. However, computing the probability of rare events can be expensive because only a few events, if any, can be observed. To this end, it is necessary to accelerate the observation of rare events using methods such as the importance splitting technique, which is the main focus here. In this work, it is shown how a genealogical importance splitting technique can be made more efficient if one knows how the rare event occurs in terms of the mean path followed by the observables. Using Monte Carlo simulations, it is shown that one can estimate this path using less rare paths. A self-similarity model is formulated and tested using an a priori and a posteriori analysis. The self-similarity principle is also tested on more complex systems including a turbulent combustion problem with $10^7$ degrees of freedom. While the self-similarity model is shown to not be strictly valid in general, it can still provide a good approximation of the rare mean paths and is a promising route for obtaining the statistics of rare events in chaotic high-dimensional systems.


title: Superpixel-Based Background Recovery from Multiple Images

abstract: In this paper, we propose an intuitive method to recover background from multiple images. The implementation consists of three stages: model initialization, model update, and background output. We consider the pixels whose values change little in all input images as background seeds. Images are then segmented into superpixels with simple linear iterative clustering. When the number of pixels labelled as background in a superpixel is bigger than a predefined threshold, we label the superpixel as background to initialize the background candidate masks. Background candidate images are obtained from input raw images with the masks. Combining all candidate images, a background image is produced. The background candidate masks, candidate images, and the background image are then updated alternately until convergence. Finally, ghosting artifacts is removed with the k-nearest neighbour method. An experiment on an outdoor dataset demonstrates that the proposed algorithm can achieve promising results.


title: Integrated Spectra of Milky Way Globular Cluster

abstract: Integrated spectra of Milky Way globular clusters (GCs) are reproduced by computing synthetic spectra taking into account individual element abundances. Five clusters were selected from their location in the Galactic bulge, for which integrated spectra were available in the WiFeS Atlas of Galactic Globular Cluster Spectra project. Our aim is to further study the oldest GC located in the Galactic bulge, with metallicity in the range $-$1.6$<$[Fe/H]$<$$-$0.7. We also include the halo cluster NGC 6752 for comparison purposes. We reproduce the full spectra in the range 4500-9000 $\mathring{A}$ available in these observed spectra, as well as individual lines of Na, Mg, Al, Si, Ca, Ti, Ba, and Eu. We report a list of lines that are suitable for abundance derivation, and by adopting these abundances we are able to fit the damping parameters that define the wings of strong lines of well-known triplets of Mg I and Ca II. Finally, the effect of multiple stellar populations through enhanced Na abundances is tested.


title: Fast Dimensional Analysis for Root Cause Investigation in a Large-Scale Service Environment

abstract: Root cause analysis in a large-scale production environment is challenging due to the complexity of services running across global data centers. Due to the distributed nature of a large-scale system, the various hardware, software, and tooling logs are often maintained separately, making it difficult to review the logs jointly for understanding production issues. Another challenge in reviewing the logs for identifying issues is the scale - there could easily be millions of entities, each described by hundreds of features. In this paper we present a fast dimensional analysis framework that automates the root cause analysis on structured logs with improved scalability. We first explore item-sets, i.e. combinations of feature values, that could identify groups of samples with sufficient support for the target failures using the Apriori algorithm and a subsequent improvement, FP-Growth. These algorithms were designed for frequent item-set mining and association rule learning over transactional databases. After applying them on structured logs, we select the item-sets that are most unique to the target failures based on lift. We propose pre-processing steps with the use of a large-scale real-time database and post-processing techniques and parallelism to further speed up the analysis and improve interpretability, and demonstrate that such optimization is necessary for handling large-scale production datasets. We have successfully rolled out this approach for root cause investigation purposes in a large-scale infrastructure. We also present the setup and results from multiple production use cases in this paper.


title: Human-centric Metric for Accelerating Pathology Reports Annotation

abstract: Pathology reports contain useful information such as the main involved organ, diagnosis, etc. These information can be identified from the free text reports and used for large-scale statistical analysis or serve as annotation for other modalities such as pathology slides images. However, manual classification for a huge number of reports on multiple tasks is labor-intensive. In this paper, we have developed an automatic text classifier based on BERT and we propose a human-centric metric to evaluate the model. According to the model confidence, we identify low-confidence cases that require further expert annotation and high-confidence cases that are automatically classified. We report the percentage of low-confidence cases and the performance of automatically classified cases. On the high-confidence cases, the model achieves classification accuracy comparable to pathologists. This leads a potential of reducing 80% to 98% of the manual annotation workload.


title: Computing Rational Generating Function of a Solution to the Initial Value Problem of Two-dimensional Difference Equation with Constant Coefficients

abstract: Algorithms for computing rational generating functions of solutions of one-dimensional difference equations are well-known and easy to implement. We propose an algorithm for computing rational generating functions of solutions of two-dimensional difference equations in terms of initial data of the corresponding initial value problems. The crucial part of the algorithm is the reconstruction of infinite one-dimensional initial data on the basis of finite input data. The proposed technique can be used for the development of similar algorithms in higher dimensions. We furnish examples of the implementation of the proposed algorithm.


title: Broadly tunable photon pair generation in a suspended-core fiber

abstract: Nowadays fiber biphoton sources are nearly as popular as crystal-based ones. They offer a single spatial mode and easy integrability into optical networks. However, fiber sources lack the broad tunability of crystals, which do not require a tunable pump. Here, we report a broadly tunable biphoton source based on a suspended core fiber. This is achieved by introducing pressurized gas into the fibers hollow channels, changing the step index. The mechanism circumvents the need for a tunable pump laser, making this a broadly tunable fiber biphoton source with a convenient tuning mechanism, comparable to crystals. We report a continuous shift of 0.30THz/bar of the sidebands, using up to 25bar of argon.


title: The relationship between stopping time and number of odd terms in Collatz sequences

abstract: The Collatz sequence for a given natural number $N$ is generated by repeatedly applying the map $N$ $\rightarrow$ $3N+1$ if $N$ is odd and $N$ $\rightarrow$ $N/2$ if $N$ is even. One elusive open problem in Mathematics is whether all such sequences end in 1 (Collatz conjecture), the alternative being the possibility of cycles or of unbounded sequences. In this paper, we present a formula relating the stopping time and the number of odd terms in a Collatz sequence, obtained numerically and tested for all numbers up to $10^7$ and for random numbers up to $2^{128.000}$. This result is presented as a conjecture, and with the hope that it could be useful for constructing a proof of the Collatz conjecture.


title: Source localization of the EEG human brainwaves activities via all the different mother wavelets families for stationary wavelet transform decomposition

abstract: The source localization of the human brain activities is an important resource for the recognition of cognitive state, medical disorders and a better understanding of the brain in general. In this study, we have compared 51 mother wavelets from 7 different wavelet families in a Stationary Wavelet transform (SWT) decomposition of an EEG signal. This process includes Haar, Symlets, Daubechies, Coiflets, Discrete Meyer, Biorthogonal and reverse Biorthogonal wavelet families in extracting five different brainwave sub-bands for a source localization. For this process, we used the Independent Component Analysis (ICA) for feature extraction followed by the Boundary Element Model (BEM) and the Equivalent Current Dipole (ECD) for the forward and inverse problem solutions. The evaluation results in investigating the optimal mother wavelet for source localization eventually identified the sym 20 mother wavelet as the best choice followed by bior 6.8 and coif 5.


title: Raft Consensus Algorithm: an Effective Substitute for Paxos in High Throughput P2P-based Systems

abstract: One of the significant problem in peer-to-peer databases is collision problem. These databases do not rely on a central leader that is a reason to increase scalability and fault tolerance. Utilizing these systems in high throughput computing cause more flexibility in computing system and meanwhile solve the problems in most of the computing systems which are depend on a central nodes. There are limited researches in this scope and they seem are not suitable for using in a large scale. In this paper, we used Cassandra which is a distributed database based on peer-to-peer network as a high throughput computing system. Cassandra uses Paxos to elect central leader by default that causes collision problem. Among existent consensus algorithms Raft separates the key elements of consensus, such as leader election, so enforces a stronger degree of coherency to reduce the number of states that must be considered, such as collision.


title: Global Occurrence and Chemical Impact of Stratospheric Blue Jets Modeled With WACCM4

abstract: In this work we present the first parameterizations of the global occurrence rate and chemical influence of Blue Jets, a type of Transient Luminous Event (TLE) taking place in the stratospheric region above thunderclouds. These parameterizations are directly coupled with five different lightning parameterizations implemented in the Whole Atmosphere Community Climate Model (WACCM4). We have obtained a maximum Blue Jet global occurrence rate of about 0.9 BJ per minute. The geographical occurrence of Blue Jets is closely related to the chosen lightning parameterization. Some previously developed local chemical models of Blue Jets predicted an important influence onto the stratospheric concentration of N$_2$O, NO$_x$ and O$_3$. We have used these results together with our global implementations of Blue Jets in WACCM4 to estimate their global chemical influence in the atmosphere. According to our results, Blue Jets can inject about 3.8 Tg N$_2$O-N yr$^{-1}$ and 0.07 Tg NO-N yr$^{-1}$ near the stratosphere, where N$_2$O-N and NO-N stand for the mass of nitrogen atoms in N$_2$O and NO molecules, respectively. These production rates of N$_2$O and NO$_x$ could have a direct impact on, for example, the acidity of rainwater or the greenhouse effect. We have found that Blue Jets could also slightly contribute to the depletion of stratospheric ozone. In particular, we have estimated that the maximum difference in the concentration of O$_3$ at 30 km of altitude between simulations with and without Blue Jets can be about -5 \% in Equatorial and Polar regions.


title: Asymptotic behavior of a matter filled universe with exotic topology

abstract: The ADM formalism together with a constant mean curvature (CMC) temporal gauge is used to derive the monotonic decay of a weak Lyapunov function of the Einstein dynamical equations in an expanding universe with a positive cosmological constant and matter sources satisfying suitable energy conditions. While such a Lyapunov function does not, in general, represent a true Hamiltonian of the matter-coupled gravity dynamics (unlike in the vacuum case when it does), it can nevertheless be used to study the asymptotic behavior of the spacetimes. The Lyapunov function attains its infimum only in the limit that the matter sources be `turned off` or, at least, become asymptotically negligible provided that the universe model does not re-collapse and form singularities. Later we specialize our result to the case of a perfect fluid which satisfies the desired energy conditions. However, even in this special case, we show using Shutz's velocity potential formalism cast into Hamiltonian form that unlike the vacuum spacetimes (with or without a positive cosmological constant), construction of a true Hamiltonian for the dynamics in constant mean curvature temporal gauge is difficult and therefore the Lyapunov function does not have a straightforward physical interpretation. Nevertheless, we show, for the fluid with equation of state $P=(\gamma-1)\rho$ ($1\leq\gamma\leq2$), that the general results obtained hold true and the infimum of the weak Lyapunov function can be related to the Sigma constant, a topological invariant of the manifold. Utilizing these results, some general conclusions are drawn regarding the asymptotic state of the universe and the dynamical control of the allowed spatial topologies in the cosmological models.


title: An Approximate Message Passing Algorithm for Rapid Parameter-Free Compressed Sensing MRI

abstract: For certain sensing matrices, the Approximate Message Passing (AMP) algorithm efficiently reconstructs undersampled signals. However, in Magnetic Resonance Imaging (MRI), where Fourier coefficients of a natural image are sampled with variable density, AMP encounters convergence problems. In response we present an algorithm based on Orthogonal AMP constructed specifically for variable density partial Fourier sensing matrices. For the first time in this setting a state evolution has been observed. A practical advantage of state evolution is that Stein's Unbiased Risk Estimate (SURE) can be effectively implemented, yielding an algorithm with no free parameters. We empirically evaluate the effectiveness of the parameter-free algorithm on simulated data and find that it converges over 5x faster and to a lower mean-squared error solution than Fast Iterative Shrinkage-Thresholding (FISTA).


title: Strategic API Analysis and Planning: APIS Technical Report

abstract: Traditionally, software APIs (application programming interfaces) have been viewed from a technical perspective, as a means to separate implementation from functional calls, and as a way to define a contract of software functionality. The technical benefits of APIs have been reported in numerous studies. Several reports from industry offer useful practical design considerations for APIs, including advice on collecting usage data, monetization strategies, and at what point to open an API to external parties. Although this advice can be useful, the focus is still often on the API, only without considering the role the API plays in the wider organization or how it fits into an organizational strategy. Our industrial experiences show that more information is needed about the challenges and best practices of API design and management in an organizational context. Furthermore, it has become apparent that APIs are able to play a key role as part of a strategic business plan for software-intensive companies. In this report, we present the results of our work with companies to build a framework that synthesizes and summarizes API strategies from several perspectives, including: strategic API lifecycle, lifecycle stage characteristics, lifecycle use cases and transition points, API layered architecture, BAPO, value modeling, ecosystem mapping with goal models, API metrics, goal models with metrics, and API governance guidance. Our research was carried out with an industry-academic collaboration. The framework was developed iteratively through workshops and discussions with company partners. We show how conceptual frameworks can be used to drive API strategy development, drawing on our research with several companies in practice.


title: Quantum State of Black-Holes Out of Equilibrium

abstract: We study the properties of black-holes (BHs) that are out of equilibrium about the Hartle-Hawking (HH) vacuum state. We show how gravitational perturbations excite the vacuum state, thus making it a superposition of states, which eventually leads to additional excitations. We examine the vacuum state structure in the presence of time-dependent gravitational perturbation. As a result, we determine the vacuum state evolution and calculate the semi-classical modifications to the particle occupation number of the emitted particles. We demonstrate that the quantum emission in BHs that are far away from equilibrium is comparable and even larger than the Hawking radiation.


title: Inhomogeneous spacetimes in Einstein-\ae ther Cosmology

abstract: We investigate the existence of inhomogeneous Szekeres spacetimes in Einstein-\ae ther theory. We show that inhomogeneous solutions which can be seen as extension of the Szekeres solutions existing in Einstein-\ae ther gravity only for a specific relation between the dimensionless coefficients which defines the coupling between the \ae ther filed with gravity. The two Szekeres classes of solutions are derived. Also a class of inhomogeneous FLRW-like spacetimes is allowed by the theory for arbitrary values of the dimensionless coefficients of the \ae ther field. The stability of the solutions obtained is performed from where we find that the field equations evolve more variously in Einstein-\ae ther than in General Relativity, where isotropic spacetimes and Kantowski-Sachs spacetimes are found to be attractors.


title: Controllability and Vector Potential: Six Lectures at Steklov

abstract: Kalman's fundamental notion of a controllable state space system, first described in Moscow in 1960, has been generalised to higher order systems by J.C.Willems, and further to distributed systems defined by partial differential equations. It turns out, that for systems defined in several important spaces of distributions, controllability is now identical to the notion of vector potential in physics, or of vanishing homology in mathematics. These lectures will explain this relationship, and a few of its consequences. It will also pose an important question: does a controllable system, in any space of distributions, always admit a vector potential? In other words, is Kalman's notion of a controllable system, suitably generalised, nothing more - nor less - than the possibility of describing the dynamics of the system by means of a vector potential?


title: Efficient Production of S$_8$ in Interstellar Ices: The effects of cosmic ray-driven radiation chemistry and non-diffusive bulk reactions

abstract: In this work, we reexamine sulfur chemistry occurring on and in the ice mantles of interstellar dust grains, and report the effects of two new modifications to standard astrochemical models; namely, (a) the incorporation of cosmic ray-driven radiation chemistry and (b) the assumption of fast, non-diffusive reactions for key radicals in the bulk. Results from our models of dense molecular clouds show that these changes can have a profound influence on the abundances of sulfur-bearing species in ice mantles, including a reduction in the abundance of solid-phase H$_2$S and HS, and a significant increase in the abundances of OCS, SO$_2$, as well as pure allotropes of sulfur, especially S$_8$. These pure-sulfur species - though nearly impossible to observe directly - have long been speculated to be potential sulfur reservoirs and our results represent possibly the most accurate estimates yet of their abundances in the dense ISM. Moreover, the results of these updated models are found to be in good agreement with available observational data. Finally, we examine the implications of our findings with regard to the as-yet-unknown sulfur reservoir thought to exist in dense interstellar environments.


title: Snakes partition their body to traverse large steps stably

abstract: Many snakes live in deserts, forests, and river valleys and traverse challenging 3-D terrain like rocks, felled trees, and rubble, with obstacles as large as themselves and variable surface properties. By contrast, apart from branch cantilevering, burrowing, swimming, and gliding, laboratory studies of snake locomotion focused on that on simple flat surfaces. Here, to begin to understand snake locomotion in complex 3-D terrain, we study how the variable kingsnake, a terrestrial generalist, traversed a large step of variable surface friction and step height (up to 30% snout-vent length). The snake traversed by partitioning its body into three sections with distinct functions. Body sections below and above the step oscillated laterally on horizontal surfaces for propulsion, while the body section in between cantilevered in a vertical plane to bridge the large height increase. As the animal progressed, these three sections traveled down its body, conforming overall body shape to the step. In addition, the snake adjusted the partitioned gait in response to increase in step height and decrease in surface friction, at the cost of reduced speed. As surface friction decreased, body movement below and above the step changed from a continuous lateral undulation with little slip to an intermittent oscillatory movement with much slip, and initial head lift-off became closer to the step. Given these adjustments, body partitioning allowed the snake to be always stable, even when initially cantilevering but before reaching the surface above. Such a partitioned gait may be generally useful for diverse, complex 3-D terrain.


title: Dynamical p-adaptivity for LES of compressible flows in a high order DG framework

abstract: We investigate the possibility of reducing the computational burden of LES models by employing locally and dynamically adaptive polynomial degrees in the framework of a high order DG method. A degree adaptation technique especially featured to be effective for LES applications, that was previously developed by the authors and tested in the statically adaptive case, is applied here in a dynamically adaptive fashion. Two significant benchmarks are considered, comparing the results of adaptive and non adaptive simulations. The proposed dynamically adaptive approach allows for a significant reduction of the computational cost of representative LES computation, while allowing to maintain the level of accuracy guaranteed by LES carried out with constant, maximum polynomial degree values.


title: Morita theory for non-commutative noetherian schemes

abstract: In this paper, we study equivalences between the categories of quasi-coherent sheaves on non-commutative noetherian schemes. In particular, give a new proof of Caldararu's conjecture about Morita equivalences of Azumaya algebras on noetherian schemes. Moreover, we derive necessary and sufficient condition for two reduced non-commutative curves to be Morita equivalent.


title: Effect of the electron redistribution on the nonlinear saturation of Alfv\'en eigenmodes and the excitation of zonal flows

abstract: Numerical simulations of Alfv\'en modes (AM) driven by energetic particles are performed with the GK global PIC code ORB5. A reversed shear equilibrium magnetic field is adopted. A simplified configuration with circular flux surfaces and large aspect ratio is considered. The nonlinear saturation of beta-induced Alfv\'en eigenmodes (BAE) is investigated. The roles of the wave-particle nonlinearity of the different species, i.e. thermal ions, electrons, and energetic ions are described, in particular for their role in the saturation of the BAE and the generation of zonal flows. The nonlinear redistribution of the electron population is found to be important in increasing the BAE saturation level and the zonal flow amplitude.


title: Emergent symmetries and coexisting orders in Dirac fermion systems

abstract: The quantum phase diagram and critical behavior of two-dimensional Dirac fermions coupled to two compatible order-parameter fields with $O(N_1)\oplus O(N_2)$ symmetry is investigated. Recent numerical studies of such systems have reported evidence for non-Landau-Ginzburg-Wilson transitions and emergent $O(N_1+N_2)$ symmetry between the two ordered states, which has been interpreted within a scenario of deconfined quantum criticality in (2+1)-dimensional Dirac materials. Here, we provide two theoretical approaches to refine the phase diagrams of such systems. In the immediate vicinity of the multicritical point between the ordered phases and the semimetallic phase, we employ a non-perturbative field-theoretical analysis based on the functional renormalization group. For the particular case of $N_1=3$, $N_2=1$, we perform a large-scale quantum Monte Carlo analysis of the strong-coupling region, where both orders meet. Our findings support the robust emergence of enhanced symmetry at the multicritical point and suggest the transition between the two ordered phases to take place via a sequence of continuous transitions. In particular, we find that intermediate regimes of coexistence are present in the phase diagram for all values of $N_1$ and $N_2$.


title: Current-driven skyrmion motion in granular films

abstract: Current-driven skyrmion motion in random granular films is investigated with interesting findings. For a given current, there exists a critical disorder strength below which its transverse motion could either be boosted below a critical damping or be hindered above the critical damping, resulting in current and disorder dependences of skyrmion Hall angle. The boosting comes mainly from the random force that is opposite to the driving force (current). The critical damping depends on the current density and disorder strength. However, the longitudinal motion of a skyrmion is always hindered by the disorder. Above the critical disorder strength, skyrmions are pinned. The disorder-induced random force on a skyrmion can be classified as static and kinetic ones, similar to the friction force in the Newtonian mechanics. In the pinning phase, the static (pinning) random force is transverse to the current density. The kinetic random force is opposite to the skyrmion velocity when skyrmions are in motion. Furthermore, we provide strong evidences that the Thiele equation can perfectly describe skyrmion dynamics in granular films. These findings provide insight to skyrmion motion and should be important for skyrmiontronics.


title: Rectangular SNAP microresonator fabricated with a femtosecond laser

abstract: SNAP microresonators, which are fabricated by nanoscale effective radius variation (ERV) of the optical fiber with sub-angstrom precision, can be potentially used as miniature classical and quantum signal processors, frequency comb generators, as well as ultraprecise microfluidic and environmental optical sensors. Many of these applications require the introduction of nanoscale ERV with a large contrast {\alpha} which is defined as the maximum shift of the fiber cutoff wavelength introduced per unit length of the fiber axis. The previously developed fabrication methods of SNAP structures, which used focused CO2 and femtosecond laser beams, achieved {\alpha} ~ 0.02 nm/um. Here we develop a new fabrication method of SNAP microresonators with a femtosecond laser which allows us to demonstrate a 50-fold improvement of previous results and achieve {\alpha} ~ 1 nm/um. Furthermore, our fabrication method enables the introduction of ERV which is several times larger than the maximum ERV demonstrated previously. As an example, we fabricate a rectangular SNAP resonator and investigate its group delay characteristics. Our experimental results are in good agreement with theoretical simulations. Overall, the developed approach allows us to reduce the axial scale of SNAP structures by an order of magnitude.


title: Steering of high energy electron beam in laser plasma accelerators

abstract: By using Dazzler system and tilting compressor grating, we provide an effective way of using the laser group delay dispersion (GDD) to continuously steer the high energy electron beam which is accelerated by asymmetric laser-wakefield. The deviation angle of electrons is as the same as the angular chirped laser pulse from its initial optical axis, which is determined by the laser pulse-front-tilt (PFT). This unique method can be continuously used to control over the pointing direction of electron-pulses to the requisite trajectories, especially for the alignment sensitive devices such as electron-positron collider or undulator. Besides, the effect of PFT on the qualities of electron beam has been investigated.


title: A Holistic Natural Language Generation Framework for the Semantic Web

abstract: With the ever-growing generation of data for the Semantic Web comes an increasing demand for this data to be made available to non-semantic Web experts. One way of achieving this goal is to translate the languages of the Semantic Web into natural language. We present LD2NL, a framework for verbalizing the three key languages of the Semantic Web, i.e., RDF, OWL, and SPARQL. Our framework is based on a bottom-up approach to verbalization. We evaluated LD2NL in an open survey with 86 persons. Our results suggest that our framework can generate verbalizations that are close to natural languages and that can be easily understood by non-experts. Therewith, it enables non-domain experts to interpret Semantic Web data with more than 91\% of the accuracy of domain experts.


title: AIM 2019 Challenge on Constrained Super-Resolution: Methods and Results

abstract: This paper reviews the AIM 2019 challenge on constrained example-based single image super-resolution with focus on proposed solutions and results. The challenge had 3 tracks. Taking the three main aspects (i.e., number of parameters, inference/running time, fidelity (PSNR)) of MSRResNet as the baseline, Track 1 aims to reduce the amount of parameters while being constrained to maintain or improve the running time and the PSNR result, Tracks 2 and 3 aim to optimize running time and PSNR result with constrain of the other two aspects, respectively. Each track had an average of 64 registered participants, and 12 teams submitted the final results. They gauge the state-of-the-art in single image super-resolution.


title: Domino tilings of the Aztec diamond with doubly periodic weightings

abstract: In this paper we consider domino tilings of the Aztec diamond with doubly periodic weightings. In particular a family of models which, for any $ k \in \mathbb{N} $, includes models with $ k $ smooth regions is analyzed as the size of the Aztec diamond tends to infinity. We use a non-intersecting paths formulation and give a double integral formula for the correlation kernel of the Aztec diamond of finite size. By a classical steepest descent analysis of the correlation kernel we obtain the local behavior in the smooth and rough regions as the size of the Aztec diamond tends to infinity. From the mentioned limit the macroscopic picture such as the arctic curves and in particular the number of smooth regions is deduced. Moreover we compute the limit of the height function and as a consequence we confirm, in the setting of this paper, that the limit in the rough region fulfills the complex Burgers' equation, as stated by Kenyon and Okounkov.


title: Cheating with (Recursive) Models

abstract: To what extent can agents with misspecified subjective models predict false correlations? We study an "analyst" who utilizes models that take the form of a recursive system of linear regression equations. The analyst fits each equation to minimize the sum of squared errors against an arbitrarily large sample. We characterize the maximal pairwise correlation that the analyst can predict given a generic objective covariance matrix, subject to the constraint that the estimated model does not distort the mean and variance of individual variables. We show that as the number of variables in the model grows, the false pairwise correlation can become arbitrarily close to one, regardless of the true correlation.


title: Dirichlet boundary value problem related to the $p(x)-$Laplacian with discontinuous nonlinearity

abstract: In this paper, we prove the existence of a weak solution for the Dirichlet boundary value problem related to the $p(x)-$Laplacian $$ -\mbox{div}(|\nabla u|^{p(x)-2}\nabla u)+u\in -[\underline{g}(x,u),\overline{g}(x,u)], $$ by using the degree theory after turning the problem into a Hammerstein equation. The right hand side $g$ is a possibly discontinuous function in the second variable satisfying some non-standard growth conditions..


title: Three particles on the lattice

abstract: I give a review of existing frameworks, which are designed to analyse lattice data in the three-particle sector. A particular emphasis is laid on the foundations of the theory, where the separation of the short- and long-range effects plays a central role. It is shown that the use of the effective field theory approach enables one to carry out this separation in a natural and efficient way. In conclusion, a few examples of the analysis of lattice data are considered for illustration.


title: Site-selective and real-time observation of bimolecular electron transfer during photocatalytic water splitting

abstract: Time-resolved X-ray absorption spectroscopy has been utilized to monitor the bimolecular electron transfer in a photocatalytic water splitting system for the first time. This has been possible by uniting the local probe and element specific character of X-ray transitions with insights from high-level ab initio calculations. The specific target has been a heteroleptic [Ir$^{\rm III}$(ppy)$_2$(bpy)]$^+$ photosensitizer, in combination with triethylamine as a sacrificial reductant and Fe$_3$(CO)$_{12}$ as a water reduction catalyst. The relevant molecular transitions have been characterized via high-resolution Ir L-edge X-ray absorption spectroscopy on the picosecond time scale. The present findings enhance our understanding of functionally relevant bimolecular electron transfer reactions and thus will pave the road to rational optimization of photocatalytic performance.


title: pyannote.audio: neural building blocks for speaker diarization

abstract: We introduce pyannote.audio, an open-source toolkit written in Python for speaker diarization. Based on PyTorch machine learning framework, it provides a set of trainable end-to-end neural building blocks that can be combined and jointly optimized to build speaker diarization pipelines. pyannote.audio also comes with pre-trained models covering a wide range of domains for voice activity detection, speaker change detection, overlapped speech detection, and speaker embedding -- reaching state-of-the-art performance for most of them.


title: A Novel Approach to Enhance the Performance of Semantic Search in Bengali using Neural Net and other Classification Techniques

abstract: Search has for a long time been an important tool for users to retrieve information. Syntactic search is matching documents or objects containing specific keywords like user-history, location, preference etc. to improve the results. However, it is often possible that the query and the best answer have no term or very less number of terms in common and syntactic search can not perform properly in such cases. Semantic search, on the other hand, resolves these issues but suffers from lack of annotation, absence of WordNet in case of low resource languages. In this work, we have demonstrated an end to end procedure to improve the performance of semantic search using semi-supervised and unsupervised learning algorithms. An available Bengali repository was chosen to have seven types of semantic properties primarily to develop the system. Performance has been tested using Support Vector Machine, Naive Bayes, Decision Tree and Artificial Neural Network (ANN). Our system has achieved the efficiency to predict the correct semantics using knowledge base over the time of learning. A repository containing around a million sentences, a product of TDIL project of Govt. of India, was used to test our system at first instance. Then the testing has been done for other languages. Being a cognitive system it may be very useful for improving user satisfaction in e-Governance or m-Governance in the multilingual environment and also for other applications.


title: Cross-Scale Residual Network for Multiple Tasks:Image Super-resolution, Denoising, and Deblocking

abstract: In general, image restoration involves mapping from low quality images to their high-quality counterparts. Such optimal mapping is usually non-linear and learnable by machine learning. Recently, deep convolutional neural networks have proven promising for such learning processing. It is desirable for an image processing network to support well with three vital tasks, namely, super-resolution, denoising, and deblocking. It is commonly recognized that these tasks have strong correlations. Therefore, it is imperative to harness the inter-task correlations. To this end, we propose the cross-scale residual network to exploit scale-related features and the inter-task correlations among the three tasks. The proposed network can extract multiple spatial scale features and establish multiple temporal feature reusage. Our experiments show that the proposed approach outperforms state-of-the-art methods in both quantitative and qualitative evaluations for multiple image restoration tasks.


title: SHARP: An Adaptable, Energy-Efficient Accelerator for Recurrent Neural Network

abstract: The effectiveness of Recurrent Neural Networks (RNNs) for tasks such as Automatic Speech Recognition has fostered interest in RNN inference acceleration. Due to the recurrent nature and data dependencies of RNN computations, prior work has designed customized architectures specifically tailored to the computation pattern of RNN, getting high computation efficiency for certain chosen model sizes. However, given that the dimensionality of RNNs varies a lot for different tasks, it is crucial to generalize this efficiency to diverse configurations. In this work, we identify adaptiveness as a key feature that is missing from today's RNN accelerators. In particular, we first show the problem of low resource-utilization and low adaptiveness for the state-of-the-art RNN implementations on GPU, FPGA and ASIC architectures. To solve these issues, we propose an intelligent tiled-based dispatching mechanism for increasing the adaptiveness of RNN computation, in order to efficiently handle the data dependencies. To do so, we propose Sharp as a hardware accelerator, which pipelines RNN computation using an effective scheduling scheme to hide most of the dependent serialization. Furthermore, Sharp employs dynamic reconfigurable architecture to adapt to the model's characteristics. Sharp achieves 2x, 2.8x, and 82x speedups on average, considering different RNN models and resource budgets, compared to the state-of-the-art ASIC, FPGA, and GPU implementations, respectively. Furthermore, we provide significant energy-reduction with respect to the previous solutions, due to the low power dissipation of Sharp (321 GFLOPS/Watt).


title: Giant fluctuations in the flow of fluidised soft glassy materials: an elasto-plastic modelling approach

abstract: In this work we study the rheological features of yield stress materials that exhibit non-homogeneous steady flows and that are subjected to an additional mechanical noise. Using a mesoscale elasto-plastic model accounting for a viscosity bifurcation in the flow response to an external shear stress, we find that additional sources of noise can lead to a fluidisation effect. As we increase the noise intensity we evidence a transition from a non-monotonic to a monotonic rheology, associated with giant fluctuations of the macroscopic shear rate and long-time correlated dynamics. Although distinct noise models can lead to different rheological behaviours in the low stress regime, we show that the noise-induced transition from shear-localised to homogeneous flow at higher stresses appears very generic. The observed features in the dynamics can be interpreted as a result of an out-of-equilibrium phase transition, for which we estimate the critical exponents that appear to be independent of the specific choice of the noise implementation for the microscopic dynamics.


title: The almost sure theory of finite metric spaces

abstract: We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$. More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $\sigma$ in the language of pure metric spaces and any $\epsilon>0$, the probability that the difference of the value of $\sigma$ in a random metric space of size $n$ and the value of $\sigma$ in any model of $T_{\mathrm{as}}$ is less than $\epsilon$ approaches $1$ as $n$ approaches infinity. We also establish some model-theoretic properties of the theory $T_{\mathrm{as}}$.


title: A Lorenz gauge formulation for TDDFT

abstract: We describe the inclusion of electrodynamic fields in Time-Dependent Density Functional Theory (TDDFT) by incorporating both the induced scalar and vector potentials within the time-dependent Kohn-Sham equation. The Hamiltonian is described in both the Coulomb and Lorenz gauges, and the advantages of the latter are outlined. Integral expressions are defined for the retarded potentials of each gauge and a methodological approach to evaluate these nontrivial expressions with low computational cost is adopted. Various molecular structures of relatively small sizes are studied, including water, benzene, and conductive carbon chains. Absorption cross sections resulting from both pulse and boost excitations suggest a preserved gauge-invariance of the proposed formal approach to TDDFT in the weak magnetic field limit.


title: Photon-Pressure Strong-Coupling between two Superconducting Circuits

abstract: The nonlinear, parametric coupling between two harmonic oscillators has been used in the field of optomechanics for breakthrough experiments regarding the control and detection of mechanical resonators. Although this type of interaction is an extremely versatile resource and not limited to coupling light fields to mechanical resonators, there have only been, very few reports of implementing it within other systems so far. Here, we present a device consisting of two superconducting LC circuits, parametrically coupled to each other by a magnetic flux-tunable photon-pressure interaction. We observe dynamical backaction between the two circuits, photon-pressure-induced transparency and absorption, and enter the parametric strong-coupling regime, enabling switchable and controllable coherent state transfer between the two modes. As result of the parametric interaction, we are also able to amplify and observe thermal current fluctuations in a radio-frequency LC circuit close to its quantum ground-state. Due to the high design flexibility and precision of superconducting circuits and the large single-photon coupling rate, our approach will enable new ways to control and detect radio-frequency photons and allow for experiments in parameter regimes not accessible to other platforms with photon-pressure interaction.


title: Scattering of spinon excitations by potentials in the 1D Heisenberg model

abstract: By a semi-analytical Bethe ansatz method and a T-matrix approach we study the scattering of a spinon, the elementary quantum many-body topological excitation in the 1D Heisenberg model, by local and phonon potentials. In particular, we contrast the scattering of a spinon to that of a free spinless fermion in the XY model to highlight the effect of strong correlations. For the one spinon scattering in an odd-site chain, we find a regular behavior of the scattering coefficients. In contrast, in an even-site chain there is a transfer of transmission probability between the two spinon branches that grows exponentially with system size. We link the exponent of the exponential behavior to the dressed charge that characterizes the critical properties of the 1D Heisenberg model, an interplay of topological and critical properties. The aim of this study is a microscopic understanding of spinon scattering by impurities, barriers or phonons, modeled as prototype potentials, an input in the analysis of quantum spin transport experiments.


title: Global Regularity and Individual Variability in Dynamic Behaviors of Human Communication

abstract: A new model, called "Human Dynamics", has been recently proposed that individuals execute activities based on a perceived priority of tasks, which can be characterized by a power-law distribution of waiting time between consecutive tasks (Barabasi, 2005). This power-law distribution has been found to exist in diverse human behaviors, such as mail correspondence, e-mail communication, webpage browsing, video-on-demand, and mobile phone calls. However, the pattern has been observed at the global (i.e., aggregated) level without considering individual differences. To guard against ecological fallacy, it is necessary to test the model at the individual level. The current study aims to address the following questions: Is the power-law uniform across individuals? What distribution do individual behaviors follow? We examine these questions with a client log file of nearly 4,000 Internet users' web browsing behavior and a server log file of 2,300,000 users' file-sharing behaviors in a P2P system. The results confirm the human dynamic model at the aggregate-level both in webpage browsing and P2P usage behavior. We have also found that there is detectable variability across the individuals in the decaying rate (i.e., the exponent gamma) of the power-law distribution, which follows well-known distributions (i.e., Gaussian, Weibull, and log-normal).


title: Analysis of a long-duration AR throughout five solar rotations: Magnetic properties and ejective events

abstract: Coronal mass ejections (CMEs), which are among the most magnificent solar eruptions, are a major driver of space weather and can thus affect diverse human technologies. Different processes have been proposed to explain the initiation and release of CMEs from solar active regions (ARs), without reaching consensus on which is the predominant scenario, and thus rendering impossible to accurately predict when a CME is going to erupt from a given AR. To investigate AR magnetic properties that favor CMEs production, we employ multi-spacecraft data to analyze a long duration AR (NOAA 11089, 11100, 11106, 11112 and 11121) throughout its complete lifetime, spanning five Carrington rotations from July to November 2010. We use data from the Solar Dynamics Observatory to study the evolution of the AR magnetic properties during the five near-side passages, and a proxy to follow the magnetic flux changes when no magnetograms are available, i.e. during far-side transits. We characterized the angular widths, speeds and masses of 108 CMEs that we associated to the AR, when examining a 124-day period. Such an ejectivity tracking was possible thanks to the multiviewpoint images provided by the STEREO and SOHO in a quasiquadrature configuration. We also inspected the X-ray flares registered by the GOES satellite and found 162 to be associated to the AR under study. Given the substantial number of ejections studied, we use a statistical approach instead of a single-event analysis. We found three well defined periods of very high CMEs activity and two periods with no mass ejections that are preceded or accompanied by characteristic changes in the AR magnetic flux, free magnetic energy and/or presence of electric currents. Our large sample of CMEs and long term study of a single AR, provide further evidence relating AR magnetic activity to CME and Flare production.


title: Supervised online diarization with sample mean loss for multi-domain data

abstract: Recently, a fully supervised speaker diarization approach was proposed (UIS-RNN) which models speakers using multiple instances of a parameter-sharing recurrent neural network. In this paper we propose qualitative modifications to the model that significantly improve the learning efficiency and the overall diarization performance. In particular, we introduce a novel loss function, we called Sample Mean Loss and we present a better modelling of the speaker turn behaviour, by devising an analytical expression to compute the probability of a new speaker joining the conversation. In addition, we demonstrate that our model can be trained on fixed-length speech segments, removing the need for speaker change information in inference. Using x-vectors as input features, we evaluate our proposed approach on the multi-domain dataset employed in the DIHARD II challenge: our online method improves with respect to the original UIS-RNN and achieves similar performance to an offline agglomerative clustering baseline using PLDA scoring.


title: Formal composition of hybrid systems

abstract: We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition. In our framework, hierarchies of hybrid systems correspond to template-anchor pairs, which we model as spans of subdividing and embedding semiconjugacies. Hierarchical composition of template-anchor pairs corresponds to the composition of spans via pullback. To model sequential composition, we introduce "directed hybrid systems," each of which flows from an initial subsystem to a final subsystem in a Conley-theoretic sense. Sequential composition of directed systems is given by a pushout of graph embeddings, rewriting the continuous dynamics of the overlapping subsystem to prioritize the second directed system. Independent parallel composition corresponds to a categorical product with respect to semiconjugacy. To formalize the compatibility of these three types of composition, we construct a vertically cartesian double category of hybrid systems where the vertical morphisms are semiconjugacies, and the horizontal morphisms are directed hybrid systems.


title: BIMC: The Bayesian Inverse Monte Carlo method for goal-oriented uncertainty quantification. Part II

abstract: In Part I (arXiv:1911.00619) of this article, we proposed an importance sampling algorithm to compute rare-event probabilities in forward uncertainty quantification problems. The algorithm, which we termed the "Bayesian Inverse Monte Carlo (BIMC) method", was shown to be optimal for problems in which the input-output operator is nearly linear. But applying the original BIMC to highly nonlinear systems can lead to several different failure modes. In this paper, we modify the BIMC method to extend its applicability to a wider class of systems. The modified algorithm, which we call "Adaptive-BIMC (A-BIMC)", has two stages. In the first stage, we solve a sequence of optimization problems to roughly identify those regions of parameter space which trigger the rare-event. In the second stage, we use the stage one results to construct a mixture of Gaussians that can be then used in an importance sampling algorithm to estimate rare event probability. We propose using a local surrogate that minimizes costly forward solves. The effectiveness of A-BIMC is demonstrated via several synthetic examples. Yet again, the modified algorithm is prone to failure. We systematically identify conditions under which it fails to lead to an effective importance sampling distribution.


title: Floquet engineering topological many-body localized systems

abstract: We show how second-order Floquet engineering can be employed to realize systems in which many-body localization coexists with topological properties in a driven system. This allows one to implement and dynamically control a topologically-protected qubit even at high energies. Floquet engineering - the idea that a periodically driven non-equilibrium system can effectively emulate the physics of a different Hamiltonian - is used to simulate an ffective three-body interaction among spins in one dimension, using time-dependent two-body interactions only. In the effective system emulated topology and disorder coexist which provides an intriguing inroad into the interplay of many-body localization, defying our standard understanding of thermodynamics, and topological phases of matter, which are of fundamental and technological importance. We demonstrate explicitly how combining Floquet engineering, topology and many-body localization allows one to harvest the advantages (time-dependent control, topological protection and reduction of heating, respectively) of each of these sub-fields while protecting from their disadvantages (heating, static control parameters and strong disorder).


title: Incremental extraction of a NoSQL database model using an MDA-based process

abstract: In recent years, the need to use NoSQL systems to store and exploit big data has been steadily increasing. Most of these systems are characterized by the property "schema less" which means absence of the data model when creating a database. This property brings an undeniable flexibility by allowing the evolution of the model during the exploitation of the base. However, the expression of queries requires a precise knowledge of this model. In this paper, we propose an incremental process to extract the model while operating the document-oriented NoSQL database. To do this, we use the Model Driven Architecture (MDA) that provides a formal framework for automatic model transformation. From the insert, delete and update queries executed on the database, we propose formal transformation rules with QVT to generate the physical model of the NoSQL database. An experimentation of the extraction process was performed on a medical application.


title: The Co-Evolution of Galaxies and the Cool Circumgalactic Medium Probed with the SDSS and DESI Legacy Imaging Surveys

abstract: We study the evolution of galaxies and the circumgalactic medium (CGM) through cosmic time by correlating $\sim50,000$ MgII absorbers, tracers of cool gas ($\sim10^{4}$~K), detected in the SDSS quasar spectra with galaxies detected in the DESI Legacy Imaging Surveys. By doing so, we extract the properties of galaxies associated with absorbers from redshift 0.4 to 1.3 with effectively $\sim 15,000$ pairs and explore the covering fraction of MgII absorbers as a function of galaxy type, stellar mass, impact parameter, and redshift. We find that the gas covering fraction increases with stellar mass of galaxies by $\sim M_{*}^{0.4}$. However, after we normalize the impact parameter by the virial radius of dark matter halos, the gas profiles around galaxies with masses ranging from $10^{9}$ to $10^{11} \, M_{\odot}$ become weakly dependent on stellar mass. In addition, the gas distribution depends on galaxy type: the covering fraction within $0.3 \, r_{vir}$ around star-forming galaxies is 2-4 times higher than that around passive galaxies at all redshifts. We find that the covering fraction of strong absorbers ($W_{\lambda2796}>1$ Angstrom) around both types of galaxies evolves significantly with redshift, similarly to the evolution of star-formation rate of galaxies, while such an evolution is not detected for weak absorbers ($W_{\lambda2796}<1$ Angstrom). We quantify the HI mass traced by strong absorbers and find that the gas mass around galaxies evolves consistently with the star-formation rate of galaxies. This result suggests that the properties of galaxies and their CGM co-evolve through cosmic time. Finally, we discuss the origins of strong absorbers around passive galaxies and argue that its redshift evolution may trace the star-formation activity of satellite galaxies.


title: iCurrency?

abstract: We discuss the idea of a purely algorithmic universal world iCurrency set forth in [Kakushadze and Liew, 2014] (https://ssrn.com/abstract=2542541) and expanded in [Kakushadze and Liew, 2017] (https://ssrn.com/abstract=3059330) in light of recent developments, including Libra. Is Libra a contender to become iCurrency? Among other things, we analyze the Libra proposal, including the stability and volatility aspects, and discuss various issues that must be addressed. For instance, one cannot expect a cryptocurrency such as Libra to trade in a narrow band without a robust monetary policy. The presentation in the main text of the paper is intentionally nontechnical. It is followed by an extensive appendix with a mathematical description of the dynamics of (crypto)currency exchange rates in target zones, mechanisms for keeping the exchange rate from breaching the band, the role of volatility, etc.


title: Data Preprocessing for Evaluation of Recommendation Models in E-Commerce

abstract: E-commerce businesses employ recommender models to assist in identifying a personalized set of products for each visitor. To accurately assess the recommendations' influence on customer clicks and buys, three target areas -- customer behavior, data collection, user-interface -- will be explored for possible sources of erroneous data. Varied customer behavior misrepresents the recommendations' true influence on a customer due to the presence of B2B interactions and outlier customers. Non-parametric statistical procedures for outlier removal are delineated and other strategies are investigated to account for the effect of a large percentage of new customers or high bounce rates. Subsequently, in data collection we identify probable misleading interactions in the raw data, propose a robust method of tracking unique visitors, and accurately attributing the buy influence for combo products. Lastly, user-interface issues discuss the possible problems caused due to the recommendation widget's positioning on the e-commerce website and the stringent conditions that should be imposed when utilizing data from the product listing page. This collective methodology results in an exact and valid estimation of the customer's interactions influenced by the recommendation model in the context of standard industry metrics, such as Click-through rates, Buy-through rates, and Conversion revenue.


title: Contextualization of Big Data Quality: A framework for comparison

abstract: With the advent of big data applications and the increasing amount of data being produced in these applications, the importance of efficient methods for big data analysis has become highly evident. However, the success of any such method will be hindered should the data lacks the required quality. Big data quality assessment is therefore a major requirement for any organization or business that use big data analytics for its decision making. On the other hand, using contextual information is advantageous in many analysis tasks in various domains, e.g. user behavior analysis in the social networks. However, the big data quality assessment has benefited less from this potential. There is a vast variety of data sources in the big data domain that can be utilized to improve the quality evaluation of big data. Including contextual information provided by these sources into the big data quality assessment process is an emerging trend towards more advanced techniques aimed at enhancing the performance and accuracy of quality assessment. This paper presents a context classification framework for big data quality, categorizing the context features into four primary dimensions: 1) context category, 2) data source type that contextual features come from, 3) discovery and extraction method of context, and 4) the quality factors affected by the contextual data. The proposed model introduces new context features and dimensions that need to be taken into consideration in quality assessment of big data. The initial evaluation demonstrates that the model is more understandable, more comprehensive, richer, and more useful compared to existing models.


title: Using Arabic Tweets to Understand Drug Selling Behaviors

abstract: Twitter is a popular platform for e-commerce in the Arab region including the sale of illegal goods and services. Social media platforms present multiple opportunities to mine information about behaviors pertaining to both illicit and pharmaceutical drugs and likewise to legal prescription drugs sold without a prescription, i.e., illegally. Recognized as a public health risk, the sale and use of illegal drugs, counterfeit versions of legal drugs, and legal drugs sold without a prescription constitute a widespread problem that is reflected in and facilitated by social media. Twitter provides a crucial resource for monitoring legal and illegal drug sales in order to support the larger goal of finding ways to protect patient safety. We collected our dataset using Arabic keywords. We then categorized the data using four machine learning classifiers. Based on a comparison of the respective results, we assessed the accuracy of each classifier in predicting two important considerations in analysing the extent to which drugs are available on social media: references to drugs for sale and the legality/illegality of the drugs thus advertised. For predicting tweets selling drugs, Support Vector Machine, yielded the highest accuracy rate (96%), whereas for predicting the legality of the advertised drugs, the Naive Bayes, classifier yielded the highest accuracy rate (85%).


title: Digital Twin: Enabling Technologies, Challenges and Open Research

abstract: Digital Twin technology is an emerging concept that has become the centre of attention for industry and, in more recent years, academia. The advancements in industry 4.0 concepts have facilitated its growth, particularly in the manufacturing industry. The Digital Twin is defined extensively but is best described as the effortless integration of data between a physical and virtual machine in either direction. The challenges, applications, and enabling technologies for Artificial Intelligence, Internet of Things (IoT) and Digital Twins are presented. A review of publications relating to Digital Twins is performed, producing a categorical review of recent papers. The review has categorised them by research areas: manufacturing, healthcare and smart cities, discussing a range of papers that reflect these areas and the current state of research. The paper provides an assessment of the enabling technologies, challenges and open research for Digital Twins.


title: Penerapan Knowledge Management System Sales and Customer Care pada PT Satria Medikantara Palembang

abstract: PT Satria Medikantara Palembang has a great desire to apply knowledge management system, therefore the documentation of knowledge and its utilization needs to be well managed in the context of performance improvement. The implementation of knowledge management in PT Satria Medikantara Palembang is considered very good and can have a positive impact for the quality of employees. Where every employee can store and document and share knowledge owned, so that other employees can access, even learn and discuss with other employees based on the knowledge posted. Then when needed a knowledge, it is very easy to find in the database searching feature in the web based knowledge management system at PT Satria Medikantara Palembang. The methodology used in this study refers to the methodology of knowledge management system life cycle developed by Awad and Ghaziri (2010), and this system will be based on web using PHP programming language.


title: Integrated approach for the identification of spatial patterns related to renewable energy potential in European territories

abstract: The study presents an effort to classify the territories of a specific area, according to similarities in the estimated potential of their renewable sources, considering also their economic and sociodemographic structure and their geographic features. Specifically, the paper focuses on the area of EU28 and Switzerland and uses as basis for the analysis, data estimating the potential of renewable energy sources collected and elaborated in the framework of the project HotMaps (Horizon 2020). The method used to group the territorial units is cluster analysis, and specifically the k-means algorithm. The data present some interesting patterns and the territories of EU28 and Switzerland at NUTS3 level are classified into 17 clusters. The analysis shows the presence of heterogeneity within national borders and among territories comprised in the macro regions target of specific EU programmes, specifically the Adriatic-Ionian region, the Alpine region, the Baltic Sea region and the Danube region. The results of this research are meant to be used by European policy makers in developing more focused transnational renewable energy policies and strategies.


title: Automated Smart Wick System-Based Microfarm Using Internet of Things

abstract: This paper presents a study conducted to allow urban farmers to remotely monitor their farm through the design and development of an Internet of Things-based (IoT) microfarm prototype which utilized wick system as planting method. The system involves the detection of three environmental parameters namely, light intensity, soil moisture and temperature through the use of respective sensors which were connected to the Arduino microcontroller, the sensor node of the system. Irregularities in the aforementioned parameters were neutralized through the use of parameter regulators such as LED growlight strips, water pump and air cooler. The data collected by these sensors were gathered by the Arduino microcontroller and were sent to the Web database through the IoT gateway which was the Raspberry Pi computer chip. These data were also sent to an Android unit installed with the Microfarm Companion application which was capable of monitoring and controlling the environmental parameters observed in the microfarm. The application allows the user to view the current value of the parameter involved and to choose whether to control the parameter regulators automatically or manually. The microfarm system runs autonomously which reduces the labor required to produce healthy plants and crops. Mustard greens samples were used in testing the system. After a month of monitoring the height of the samples, it was observed that the average height of the samples is about 0.23 cm taller than the standard height. The proponents has also tested the system functionality by evaluating the sensor data log that provides the values gathered by the sensors and the turn-on times of the parameter regulators. From these data, it can be observed that whenever the values obtained by the sensors fall outside the threshold range, the parameter regulators turns on, indicating that the system is working properly.


title: The Consistency of Trust-Sales Relationship in Latin-American E-commerce

abstract: Customer's trust in vendors' reputation is a key factor that facilitates economic transactions in e-commerce platforms. Although the trust-sales relationship is assumed robust and consistent, its empirical evidence remains neglected for Latin American countries. This work aims to provide a data-driven comprehensive framework for extracting valuable knowledge from public data available in the leading Latin American e-commerce platform with commercial operations in 18 countries. Only Argentina, Brasil, Chile, Colombia, Ecuador, Mexico, Uruguay, and Venezuela showed the highest trust indexes among all nations analyzed. The trust-sales relationship was statistically inconsistent across nations but worked as the most important predictor of sales, followed by purchase intention and price.


title: rIoT: Enabling Seamless Context-Aware Automation in the Internet of Things

abstract: Advances in mobile computing capabilities and an increasing number of Internet of Things (IoT) devices have enriched the possibilities of the IoT but have also increased the cognitive load required of IoT users. Existing context-aware systems provide various levels of automation in the IoT. Many of these systems adaptively take decisions on how to provide services based on assumptions made a priori. The approaches are difficult to personalize to an individual's dynamic environment, and thus today's smart IoT spaces often demand complex and specialized interactions with the user in order to provide tailored services. We propose rIoT, a framework for seamless and personalized automation of human-device interaction in the IoT. rIoT leverages existing technologies to operate across heterogeneous devices and networks to provide a one-stop solution for device interaction in the IoT. We show how rIoT exploits similarities between contexts and employs a decision-tree like method to adaptively capture a user's preferences from a small number of interactions with the IoT space. We measure the performance of rIoT on two real-world data sets and a real mobile device in terms of accuracy, learning speed, and latency in comparison to two state-of-the-art machine learning algorithms.


title: Mining Public Transit Ridership Flow and Origin-Destination Information from Wi-Fi and Bluetooth Sensing Data

abstract: Transit ridership flow and origin-destination (O-D) information is essential for enhancing transit network design, optimizing transit route and improving service. The effectiveness and preciseness of the traditional survey-based and smart card data-driven method for O-D information inference have multiple disadvantages due to the insufficient sample, the high time and energy cost, and the lack of inferring results validation. By considering the ubiquity of smart mobile devices in the world, several methods were developed for estimating the transit ridership flow from Wi-Fi and Bluetooth sensing data by filtering out the non-passenger MAC addresses based on the predefined thresholds. However, the accuracy of the filtering methods is still questionable for the indeterminate threshold values and the lack of quantitative results validation. By combining the consideration of the assumed overlapped feature space of passenger and non-passenger with the above concerns, a three steps data-driven method for estimating transit ridership flow and O-D information from Wi-Fi and Bluetooth sensing data is proposed in this paper. The observed ridership flow is used as ground truth for calculating the performance measurements. According to the results, the proposed approach outperformed all selected baseline models and existing filtering methods. The findings of this study can help to provide real-time and precise transit ridership flow and O-D information for supporting transit vehicle management and the quality of service enhancement.


title: Reactive Failure Mitigation through Seamless Migration in Telecom Infrastructure Networks

abstract: Various methods are proposed in the literature to mitigate the failures in an infrastructure network. Failure mitigation can be carried out in an active or passive manner. In active manner, live backups provide the required reliability. Due to the high cost of active backups, failures can be mitigated in a reactive manner where mitigation starts when a function fails. In this paper, network functions are divided into two classes of essential (i.e., core) functions and additive (i.e., service) functions. Core functions need active backups and cannot tolerate any failure. However, additive functions do not require backups and their absence is tolerable in short periods. Maximum tolerable (function) absence time (TAT) is a measure used for their reliability level. In our model and within the mitigation process, first, the backup host to migrate the failed function is selected. Then, the state of the function is migrated. The process should be carried out in less than TAT. An optimization problem is formulated investigating cost-effective failure mitigation of additive functions. The problem is of mixed integer non convex form. To tackle the computational complexity, it is bisected into two back-to-back leader-follower parts. The leader selects the migration destinations and the follower divides network resources among functions for migration. These problems are both NP-hard. For the leader problem, a central heuristic based on the Viterbi algorithm suggested. The follower problem is converted into two convex sub-problems. The validity of the proposed algorithms is proved via extensive numerical results.


title: Uniform observability of the one-dimensional wave equation for non-cylindrical domains. Application to the control's support optimization

abstract: This work is concerned with the distributed controllability of the one-dimensional wave equation over non-cylindrical domains. The controllability in that case has been obtained in [Castro-Cindea-Munch, Controllability of the linear one-dimensional wave equation with inner moving forces, SIAM J. Control Optim 2014] for domains satisfying the usual geometric optics condition. In the present work, we first show that the corresponding observability property holds true uniformly in a precise class of non-cylindrical domains. Within this class, we then consider, for a given initial datum, the problem of the optimization of the control support and prove its well-posedness. Numerical experiments are then discussed and highlight the influence of the initial condition on the optimal domain.


title: Tensor network formulation of the massless Schwinger model

abstract: We construct a tensor network representation of the partition function for the massless Schwinger model on a two dimensional lattice using staggered fermions. The tensor network representation allows us to include a topological term. Using a particular implementation of the tensor renormalization group (HOTRG) we calculate the phase diagram of the theory. For a range of values of the coupling to the topological term $\theta$ and the gauge coupling $\beta$ we compare with results from hybrid Monte Carlo when possible and find good agreement.


title: Smart City Intelligent System Traffic Congestion Optimization using Internet Of Things

abstract: The raising level of traffic imposes a great demand in the growth of intelligent traffic systems. With increase in complexity of alleviation, finding solutions to traffic congestion problem have become one of the challenges. Various optimization techniques have been proposed in literature to meet these challenges. This paper surveys different optimization techniques based on heuristics for automated traffic congestion control. Moreover, an approach based on River Formation Dynamics scheme is introduced to analyze the optimization problem for traffic congestion control and a scheme to extract real time information through Internet of Things is presented for superior efficiency and productivity.


title: Bayesian Matrix Completion Approach to Causal Inference with Panel Data

abstract: This study proposes a new Bayesian approach to infer binary treatment effects. The approach treats counterfactual untreated outcomes as missing observations and infers them by completing a matrix composed of realized and potential untreated outcomes using a data augmentation technique. We also develop a tailored prior that helps in the identification of parameters and induces the matrix of untreated outcomes to be approximately low rank. Posterior draws are simulated using a Markov Chain Monte Carlo sampler. While the proposed approach is similar to synthetic control methods and other related methods, it has several notable advantages. First, unlike synthetic control methods, the proposed approach does not require stringent assumptions. Second, in contrast to non-Bayesian approaches, the proposed method can quantify uncertainty about inferences in a straightforward and consistent manner. By means of a series of simulation studies, we show that our proposal has a better finite sample performance than that of the existing approaches.


title: Asymptotic Consistency of Loss-Calibrated Variational Bayes

abstract: This paper establishes the asymptotic consistency of the {\it loss-calibrated variational Bayes} (LCVB) method. LCVB was proposed in~\cite{LaSiGh2011} as a method for approximately computing Bayesian posteriors in a `loss aware' manner. This methodology is also highly relevant in general data-driven decision-making contexts. Here, we not only establish the asymptotic consistency of the calibrated approximate posterior, but also the asymptotic consistency of decision rules. We also establish the asymptotic consistency of decision rules obtained from a `naive' variational Bayesian procedure.


title: On 3-braids and L-space knots

abstract: We classify closed 3-braids which are L-space knots.


title: Two-loop Octagons, Algebraic Letters and $\bar{Q}$ Equations

abstract: We compute the symbol of the first two-loop amplitudes in planar ${\cal N}=4$ SYM with algebraic letters, the eight-point NMHV amplitude (or the dual octagon Wilson loops). We show how to apply $\bar{Q}$ equations for computing the differential of two-loop $n$-point NMHV amplitudes and present the result for n=8 explicitly. The symbol alphabet for octagon consists of 180 independent rational letters and 18 algebraic ones involving Gram-determinant square roots. We comment on all-loop predictions for final entries and aspects of the result valid for all multiplicities.


title: Ensembles of Locally Independent Prediction Models

abstract: Ensembles depend on diversity for improved performance. Many ensemble training methods, therefore, attempt to optimize for diversity, which they almost always define in terms of differences in training set predictions. In this paper, however, we demonstrate the diversity of predictions on the training set does not necessarily imply diversity under mild covariate shift, which can harm generalization in practical settings. To address this issue, we introduce a new diversity metric and associated method of training ensembles of models that extrapolate differently on local patches of the data manifold. Across a variety of synthetic and real-world tasks, we find that our method improves generalization and diversity in qualitatively novel ways, especially under data limits and covariate shift.


title: Gravitational Waves from Phase Transition in Minimal SUSY $U(1)_{B-L}$ Model

abstract: Many extensions of the Standard Model include a new $U(1)$ gauge group that is broken spontaneously at a scale much above TeV. If a $U(1)$-breaking phase transition occurs at nucleation temperature of $O(100)$-$O(1000)$~TeV, it can generate stochastic gravitational waves in $O(10)$-$O(100)$ Hz range if $\beta_{\rm n}/H_{\rm n}=1000$, which can be detected by ground-based detectors. Meanwhile, supersymmetry (SUSY) may play a crucial role in the dynamics of such high-scale $U(1)$ gauge symmetry breaking, because SUSY breaking scale is expected to be at TeV to solve the hierarchy problem. In this paper, we study the phase transition of $U(1)$ gauge symmetry breaking in a SUSY model in the SUSY limit. We consider a particular example, the minimal SUSY $U(1)_{B-L}$ model. We derive the finite temperature effective potential of the model in the SUSY limit, study a $U(1)_{B-L}$-breaking phase transition, and estimate gravitational waves generated from it.


title: Decoupled algorithm for the multicomponent potential theory of adsorption of gas mixtures

abstract: In this paper, we present a new implementation of the Multicomponent Potential Theory of Adsorption model. The proposed interpretation establishes a clear cut between parameters that depends on the adsorbent from those depending on the adsorbate, which leads to a better understanding of the parameters signification. The interdependence between pure isotherms is eliminated, which mean that each component can be individually finely adjusted. This new approach was tested against 14 datasets for a total of 510 experimental mixture adsorption data of CH4, CO2, N2, H2, O2, H2S, C2H6, C3H6 and C3H8 on activated carbons, MOF and zeolites. A slight improvement of 4.67% on excess adsorption predictions was found, leading to an overall average error of 6.97% for total excess adsorption and 15.30% for combined mixtures and components excess adsorption predictions.


title: Orientation Dependent Dissociative Ionization of H$_2$ in Strong Elliptic Laser Fields: Modification of the release time through molecular orientation

abstract: We investigate the photoelectron angular emission distributions obtained by strong field dissociative ionization of H$_2$ using cold target recoil ion momentum spectroscopy. In case of employing laser light with an ellipticity close to 0.9 and an intensity of 1.0 $\times$ 10$^{14}$ W/cm$^2$, we find that the most probable release-time of the electron does not generally coincide with the time when the laser field maximizes. The release-time is affected by the molecular orientation. In addition, we observe that the width of the release-time distribution depends on molecular orientation. We attribute this observation to the two-center-interference.


title: A gradient-robust well-balanced scheme for the compressible isothermal Stokes problem

abstract: A novel notion for constructing a well-balanced scheme - a gradient-robust scheme - is introduced and a showcase application for a steady compressible, isothermal Stokes equations is presented. Gradient-robustness means that arbitrary gradient fields in the momentum balance are well-balanced by the discrete pressure gradient - if there is enough mass in the system to compensate the force. The scheme is asymptotic-preserving in the sense that it degenerates for low Mach numbers to a recent inf-sup stable and pressure-robust discretization for the incompressible Stokes equations. The convergence of the coupled FEM-FVM scheme for the nonlinear, isothermal Stokes equations is proved by compactness arguments. Numerical examples illustrate the numerical analysis, and show that the novel approach can lead to a dramatically increased accuracy in nearly-hydrostatic low Mach number flows. Numerical examples also suggest that a straight-forward extension to barotropic situations with nonlinear equations of state is feasible.


title: Serverless Computing: A Survey of Opportunities, Challenges and Applications

abstract: The topic of serverless computing has proved to be a controversial subject both within academic and industrial communities. Many have praised the approach to be a platform for a new era of computing and some have argued that it is in fact a step backward. Though, both sides agree that there exist challenges that must be addressed in order to better utilize its potentials. This paper surveys existing challenges toward vast adoption of serverless services and also explores some of the challenges that have not been thoroughly discussed in the previous studies. Each challenge is discussed thoroughly and a number of possible directions for future studies is proposed. Moreover, the paper reviews some of the unique opportunities and potentials that the serverless computing presents.


title: Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective

abstract: This paper considers the integration of rigid cooperative manipulation with rigidity theory. Motivated by rigid models of cooperative manipulation systems, i.e., where the grasping contacts are rigid, we introduce first the notion of bearing and distance rigidity for graph frameworks in SE(3). Next, we associate the nodes of these frameworks to the robotic agents of rigid cooperative manipulation schemes and we express the object-agent interaction forces by using the graph rigidity matrix, which encodes the infinitesimal rigid body motions of the system. Moreover, we show that the associated cooperative manipulation grasp matrix is related to the rigidity matrix via a range-nullspace relation, based on which we provide novel results on the relation between the arising interaction and internal forces and consequently on the energy-optimal force distribution on a cooperative manipulation system. Finally, simulation results on a realistic environment enhance the validity of the theoretical findings.


title: Needlet thresholding methods in component separation

abstract: Foreground components in the Cosmic Microwave Background (CMB) are sparse in a needlet representation, due to their specific morphological features (anisotropy, non-Gaussianity). This leads to the possibility of applying needlet thresholding procedures as a component separation tool. In this work, we develop algorithms based on different needlet-thresholding schemes and use them as extensions of existing, well-known component separation techniques, namely ILC and template-fitting. We test soft- and hard-thresholding schemes, using different procedures to set the optimal threshold level. We find that thresholding can be useful as a denoising tool for internal templates in experiments with few frequency channels, in conditions of low signal-to-noise. We also compare our method with other denoising techniques, showing that thresholding achieves the best performance in terms of reconstruction accuracy and data compression while preserving the map resolution. The best results in our tests are in particular obtained when considering template-fitting in an LSPE like experiment, especially for B-mode spectra.