title: Some sufficient conditions on impulsive and initial value fractional order functional differential equations

abstract: In this paper, we will develop a definition of mild solution for impulsive fractional differential equation of order $\alpha\in (1,2)$ with the help of solution operator and study the existence results of mild solution for impulsive fractional differential equations with state dependent delay by using fixed point theorems. Finally, we present an example of partial fractional derivative to illustrate the existence and uniqueness result.


title: Binding energy shifts from heavy-ion experiments in a nuclear statistical equilibrium model

abstract: Chemical constants extracted from $^{124}$Xe+ $^{124}$Sn collisions at 32 AMeV are compared to the predictions of an extended Nuclear Statistical Equilibrium model including mean-field interactions and in-medium binding energy shifts for the light ($Z\leq 2$) clusters. The ion species and density dependence of the in-medium modification is directly extracted from the experimental data. We show that the shift increases with the mass of the cluster and the density of the medium, and we provide a simple linear fit for future use in astrophysical simulations in the framework of the CompOSE data base. The resulting mass fractions are computed in representative thermodynamic conditions relevant for supernova and neutron star mergers. A comparison to the results of a similar analysis of the same data performed in the framework of a relativistic mean-field model shows a good agreement at low density, but significant discrepancies close to the Mott dissolution of clusters in the dense medium.


title: Mutation frequency time series reveal complex mixtures of clones in the world-wide SARS-CoV-2 viral population

abstract: We compute the allele frequencies of the alpha (B.1.1.7), beta (B.1.351) and delta (B.167.2) variants of SARS-CoV-2 from almost two million genome sequences on the GISAID repository. We find that the frequencies of a majority of the defining mutations in alpha rose towards the end of 2020 but drifted apart during spring 2021, a similar pattern being followed by delta during summer of 2021. For beta we find a more complex scenario with frequencies of some mutations rising and some remaining close to zero. Our results point to that what is generally reported as single variants is in fact a collection of variants with different genetic characteristics. For all three variants we further find some alleles with a clearly deviating time series.


title: Local boundary feedback stabilization of a fuid-structure interaction problem under Navier slip boundary conditions with time delay

abstract: We consider a fluid-structure interaction system composed by a three-dimensional viscous incompressible fluid and an elastic plate located on the upper part of the fluid boundary. The fluid motion is governed by the Navier-Stokes system whereas the structure displacement satisfies the damped plate equation. We consider here the Navier slip boundary conditions. The main result of this work is the feedback stabilization of the strong solutions of the corresponding system around a stationary state for any exponential decay rate by means of a time delayed control localized on the fixed fluid boundary. The strategy here is based on the Fattorini-Hautus criterion. Then, the main tool in this work is to show the unique continuation property of the associate solution to the adjoint system.


title: Small subsets without $k$-term arithmetic progressions

abstract: Szemer\'edi's theorem implies that there are $2^{o(n)}$ subsets of $[n]$ which do not contain a $k$-term arithmetic progression. A sparse analogue of this statement was obtained by Balogh, Morris, and Samotij, using the hypergraph container method: For any $\beta > 0$ there exists $C > 0$, such that if $m \ge Cn^{1 - 1/(k-1)}$ then there are at most $\beta^m \binom{n}{m}$ $m$-element subsets of $\{1, \ldots, n\}$ without a $k$-term arithmetic progression. We give a short, inductive proof of this result. Consequently, this provides a short proof of the Szemer\'edi's theorem in random subsets of integers.


title: CovarianceNet: Conditional Generative Model for Correct Covariance Prediction in Human Motion Prediction

abstract: The correct characterization of uncertainty when predicting human motion is equally important as the accuracy of this prediction. We present a new method to correctly predict the uncertainty associated with the predicted distribution of future trajectories. Our approach, CovariaceNet, is based on a Conditional Generative Model with Gaussian latent variables in order to predict the parameters of a bi-variate Gaussian distribution. The combination of CovarianceNet with a motion prediction model results in a hybrid approach that outputs a uni-modal distribution. We will show how some state of the art methods in motion prediction become overconfident when predicting uncertainty, according to our proposed metric and validated in the ETH data-set \cite{pellegrini2009you}. CovarianceNet correctly predicts uncertainty, which makes our method suitable for applications that use predicted distributions, e.g., planning or decision making.


title: FH-SWF SG at GermEval 2021: Using Transformer-Based Language Models to Identify Toxic, Engaging, & Fact-Claiming Comments

abstract: In this paper we describe the methods we used for our submissions to the GermEval 2021 shared task on the identification of toxic, engaging, and fact-claiming comments. For all three subtasks we fine-tuned freely available transformer-based models from the Huggingface model hub. We evaluated the performance of various pre-trained models after fine-tuning on 80% of the training data with different hyperparameters and submitted predictions of the two best performing resulting models. We found that this approach worked best for subtask 3, for which we achieved an F1-score of 0.736.


title: Wide Area Network Autoscaling for Cloud Applications

abstract: Modern cloud orchestrators like Kubernetes provide a versatile and robust way to host applications at scale. One of their key features is autoscaling, which automatically adjusts cloud resources (compute, memory, storage) in order to adapt to the demands of applications. However, the scope of cloud autoscaling is limited to the datacenter hosting the cloud and it doesn't apply uniformly to the allocation of network resources. In I/O-constrained or data-in-motion use cases this can lead to severe performance degradation for the application. For example, when the load on a cloud service increases and the Wide Area Network (WAN) connecting the datacenter to the Internet becomes saturated, the application flows experience an increase in delay and loss. In many cases this is dealt with overprovisioning network capacity, which introduces additional costs and inefficiencies. On the other hand, thanks to the concept of "Network as Code", the WAN exposes a set of APIs that can be used to dynamically allocate and de-allocate capacity on-demand. In this paper we propose extending the concept of cloud autoscaling into the network to address this limitation. This way, applications running in the cloud can communicate their networking requirements, like bandwidth or traffic profile, to a Software-Defined Networking (SDN) controller or Network as a Service (NaaS) platform. Moreover, we aim to define the concepts of vertical and horizontal autoscaling applied to networking. We present a prototype that automatically allocates bandwidth to the underlay network, according to the requirements of the applications hosted in Kubernetes. Finally, we discuss open research challenges.


title: Grassmannians and Singularities

abstract: Let $X$ be an integral scheme of finite presentation over a perfect field. Let $q$ be a singular closed point of $X$. We prove that there exists an open subset $V$ of $X$ containing $q$ such that $V$ admits a resolution, that is, there exists a smooth scheme $\widetilde V$ and a proper birational morphism from $\widetilde V$ onto $V$.


title: Efficient ADMM-based Algorithms for Convolutional Sparse Coding

abstract: Convolutional sparse coding improves on the standard sparse approximation by incorporating a global shift-invariant model. The most efficient convolutional sparse coding methods are based on the alternating direction method of multipliers and the convolution theorem. The only major difference between these methods is how they approach a convolutional least-squares fitting subproblem. This letter presents a solution to this subproblem, which improves the efficiency of the state-of-the-art algorithms. We also use the same approach for developing an efficient convolutional dictionary learning method. Furthermore, we propose a novel algorithm for convolutional sparse coding with a constraint on the approximation error.


title: The Role of Cell-Matrix Interactions in Connective Tissue Mechanics

abstract: Living tissue is able to withstand large stresses in everyday life, yet it also actively adapts to dynamic loads. This remarkable mechanical behaviour emerges from the interplay between living cells and their non-living extracellular environment. Here we review recent insights into the biophysical mechanisms involved in the reciprocal interplay between cells and the extracellular matrix and how this interplay determines tissue mechanics, with a focus on connective tissues. We first describe the roles of the main macromolecular components of the extracellular matrix in regards to tissue mechanics. We then proceed to highlight the main routes via which cells sense and respond to their biochemical and mechanical extracellular environment. Next we introduce the three main routes via which cells can modify their extracellular environment: exertion of contractile forces, secretion and deposition of matrix components, and matrix degradation. Finally we discuss how recent insights in the mechanobiology of cell-matrix interactions are furthering our understanding of the pathophysiology of connective tissue diseases and cancer, and facilitating the design of novel strategies for tissue engineering.


title: Acoustic wave properties in footpoints of coronal loops in 3D MHD simulations

abstract: Acoustic waves excited in the photosphere and below might play an integral part in the heating of the solar chromosphere and corona. However, it is yet not fully clear how much of the initially acoustic wave flux reaches the corona and in what form. We investigate the wave propagation, damping, transmission, and conversion in the lower layers of the solar atmosphere using 3D numerical MHD simulations. A model of a gravitationally stratified expanding straight coronal loop, stretching from photosphere to photosphere, is perturbed at one footpoint by an acoustic driver with a period of 370 seconds. For this period acoustic cutoff regions are present below the transition region (TR). About 2% of the initial energy from the driver reach the corona. The shape of the cutoff regions and the height of the TR show a highly dynamic behavior. Taking only the driven waves into account, the waves have a propagating nature below and above the cutoff region, but are standing and evanescent within the cutoff region. Studying the driven waves together with the background motions in the model reveals standing waves between the cutoff region and the TR. These standing waves cause an oscillation of the TR height. In addition, fast or leaky sausage body-like waves might have been excited close to the base of the loop. These waves then possibly convert to fast or leaky sausage surface-like waves at the top of the main cutoff region, followed by a conversion to slow sausage body-like waves around the TR.


title: Don't Go Far Off: An Empirical Study on Neural Poetry Translation

abstract: Despite constant improvements in machine translation quality, automatic poetry translation remains a challenging problem due to the lack of open-sourced parallel poetic corpora, and to the intrinsic complexities involved in preserving the semantics, style, and figurative nature of poetry. We present an empirical investigation for poetry translation along several dimensions: 1) size and style of training data (poetic vs. non-poetic), including a zero-shot setup; 2) bilingual vs. multilingual learning; and 3) language-family-specific models vs. mixed-multilingual models. To accomplish this, we contribute a parallel dataset of poetry translations for several language pairs. Our results show that multilingual fine-tuning on poetic text significantly outperforms multilingual fine-tuning on non-poetic text that is 35X larger in size, both in terms of automatic metrics (BLEU, BERTScore) and human evaluation metrics such as faithfulness (meaning and poetic style). Moreover, multilingual fine-tuning on poetic data outperforms \emph{bilingual} fine-tuning on poetic data.


title: Unpaired Deep Image Deraining Using Dual Contrastive Learning

abstract: Learning single image deraining (SID) networks from an unpaired set of clean and rainy images is practical and valuable as acquiring paired real-world data is almost infeasible. However, without the paired data as the supervision, learning a SID network is challenging. Moreover, simply using existing unpaired learning methods (e.g., unpaired adversarial learning and cycle-consistency constraints) in the SID task is insufficient to learn the underlying relationship from rainy inputs to clean outputs as there exists significant domain gap between the rainy and clean images. In this paper, we develop an effective unpaired SID adversarial framework which explores mutual properties of the unpaired exemplars by a dual contrastive learning manner in a deep feature space, named as DCD-GAN. The proposed method mainly consists of two cooperative branches: Bidirectional Translation Branch (BTB) and Contrastive Guidance Branch (CGB). Specifically, BTB exploits full advantage of the circulatory architecture of adversarial consistency to generate abundant exemplar pairs and excavates latent feature distributions between two domains by equipping it with bidirectional mapping. Simultaneously, CGB implicitly constrains the embeddings of different exemplars in the deep feature space by encouraging the similar feature distributions closer while pushing the dissimilar further away, in order to better facilitate rain removal and help image restoration. Extensive experiments demonstrate that our method performs favorably against existing unpaired deraining approaches on both synthetic and real-world datasets, and generates comparable results against several fully-supervised or semi-supervised models.


title: FuseFormer: Fusing Fine-Grained Information in Transformers for Video Inpainting

abstract: Transformer, as a strong and flexible architecture for modelling long-range relations, has been widely explored in vision tasks. However, when used in video inpainting that requires fine-grained representation, existed method still suffers from yielding blurry edges in detail due to the hard patch splitting. Here we aim to tackle this problem by proposing FuseFormer, a Transformer model designed for video inpainting via fine-grained feature fusion based on novel Soft Split and Soft Composition operations. The soft split divides feature map into many patches with given overlapping interval. On the contrary, the soft composition operates by stitching different patches into a whole feature map where pixels in overlapping regions are summed up. These two modules are first used in tokenization before Transformer layers and de-tokenization after Transformer layers, for effective mapping between tokens and features. Therefore, sub-patch level information interaction is enabled for more effective feature propagation between neighboring patches, resulting in synthesizing vivid content for hole regions in videos. Moreover, in FuseFormer, we elaborately insert the soft composition and soft split into the feed-forward network, enabling the 1D linear layers to have the capability of modelling 2D structure. And, the sub-patch level feature fusion ability is further enhanced. In both quantitative and qualitative evaluations, our proposed FuseFormer surpasses state-of-the-art methods. We also conduct detailed analysis to examine its superiority.


title: BERT based classification system for detecting rumours on Twitter

abstract: The role of social media in opinion formation has far-reaching implications in all spheres of society. Though social media provide platforms for expressing news and views, it is hard to control the quality of posts due to the sheer volumes of posts on platforms like Twitter and Facebook. Misinformation and rumours have lasting effects on society, as they tend to influence people's opinions and also may motivate people to act irrationally. It is therefore very important to detect and remove rumours from these platforms. The only way to prevent the spread of rumours is through automatic detection and classification of social media posts. Our focus in this paper is the Twitter social medium, as it is relatively easy to collect data from Twitter. The majority of previous studies used supervised learning approaches to classify rumours on Twitter. These approaches rely on feature extraction to obtain both content and context features from the text of tweets to distinguish rumours and non-rumours. Manually extracting features however is time-consuming considering the volume of tweets. We propose a novel approach to deal with this problem by utilising sentence embedding using BERT to identify rumours on Twitter, rather than the usual feature extraction techniques. We use sentence embedding using BERT to represent each tweet's sentences into a vector according to the contextual meaning of the tweet. We classify those vectors into rumours or non-rumours by using various supervised learning techniques. Our BERT based models improved the accuracy by approximately 10% as compared to previous methods.


title: Do interactions among unequal agents undermine those of low status?

abstract: We consider a recent model in which agents hold opinions about each other and influence each other's opinions during random pair interactions. When the opinions are initially close, on the short term, all the opinions tend to increase over time. On the contrary, when the opinions are initially very unequal, the opinions about agents of high status increase, but the opinions about agents of low status tend to stagnate without gossip and to decrease with gossip. We derive a moment approximation of the average opinion changes that explains these observations.


title: Gamma-Ray Polarization Results of the POLAR Mission and Future Prospects

abstract: Despite over 50 years of Gamma-Ray Burst (GRB) observations many open questions remain about their nature and the environments in which the emission takes place. Polarization measurements of the GRB prompt emission have long been theorized to be able to answer most of these questions. The POLAR detector was a dedicated GRB polarimeter developed by a Swiss, Chinese and Polish collaboration. The instrument was launched, together with the second Chinese Space Lab, the Tiangong-2, in September 2016 after which it took 6 months of scientific data. During this period POLAR detected 55 GRBs as well as several pulsars. From the analysis of the GRB polarization catalog we see that the prompt emission is lowly polarized or fully unpolarized. There is, however, the caveat that within single pulses there are strong hints of an evolving polarization angle which washes out the polarization degree in the time integrated analysis. Building on the success of the POLAR mission, the POLAR-2 instrument is currently under development. POLAR-2 is a Swiss, Chinese, Polish and German collaboration and was recently approved for launch in 2024. Thanks to its large sensitivity POLAR-2 will produce polarization measurements of at least 50 GRBs per year with a precision equal or higher than the best results published by POLAR. POLAR-2 thereby aims to make the prompt polarization a standard observable and produce catalogs of the gamma-ray polarization of GRBs. Here we will present an overview of the POLAR mission and all its scientific measurement results. Additionally, we will present an overview of the future POLAR-2 mission, and how it will answer some of the questions raised by the POLAR results.


title: Development and science perspectives of the POLAR-2 instrument: a large scale GRB polarimeter

abstract: Despite several decades of multi-wavelength and multi-messenger spectral observations, Gamma-Ray Bursts (GRBs) remain one of the big mysteries of modern astrophysics. Polarization measurements are essential to gain a more clear and complete picture of the emission processes at work in these extremely powerful transient events. In this regard, a first generation of dedicated gamma-ray polarimeters, POLAR and GAP, were launched into space in the last decade. After 6 months of operation, the POLAR mission detected 55 GRBs, among which 14 have been analyzed in detail, reporting a low polarization degree and a hint of a temporal evolution of the polarization angle. Starting early 2024 and based on the legacy of the POLAR results, the POLAR-2 instrument will aim to provide a catalog of high quality measurements of the energy and temporal evolution of the GRB polarization thanks to its large and efficient polarimeter. Several spectrometer modules will additionally allow to perform joint spectral and polarization analyzes. The mission is foreseen to make high precision polarization measurements of about 50 GRBs every year on board of the China Space Station (CSS). The technical design of the polarimeter modules will be discussed in detail, as well as the expected scientific performances based on the first results of the developed prototype modules.


title: POW-HOW: An enduring timing side-channel to evade online malware sandboxes

abstract: Online malware scanners are one of the best weapons in the arsenal of cybersecurity companies and researchers. A fundamental part of such systems is the sandbox that provides an instrumented and isolated environment (virtualized or emulated) for any user to upload and run unknown artifacts and identify potentially malicious behaviors. The provided API and the wealth of information inthe reports produced by these services have also helped attackers test the efficacy of numerous techniques to make malware hard to detect.The most common technique used by malware for evading the analysis system is to monitor the execution environment, detect the presence of any debugging artifacts, and hide its malicious behavior if needed. This is usually achieved by looking for signals suggesting that the execution environment does not belong to a the native machine, such as specific memory patterns or behavioral traits of certain CPU instructions. In this paper, we show how an attacker can evade detection on such online services by incorporating a Proof-of-Work (PoW) algorithm into a malware sample. Specifically, we leverage the asymptotic behavior of the computational cost of PoW algorithms when they run on some classes of hardware platforms to effectively detect a non bare-metal environment of the malware sandbox analyzer. To prove the validity of this intuition, we design and implement the POW-HOW framework, a tool to automatically implement sandbox detection strategies and embed a test evasion program into an arbitrary malware sample. Our empirical evaluation shows that the proposed evasion technique is durable, hard to fingerprint, and reduces existing malware detection rate by a factor of 10. Moreover, we show how bare-metal environments cannot scale with actual malware submissions rates for consumer services.


title: Strain-dependent resistance and giant gauge factor in monolayer WSe2

abstract: We report the strong dependence of resistance on uniaxial strain in monolayer WSe2 at various temperatures, where the gauge factor can reach as large as 2400. The observation of strain-dependent resistance and giant gauge factor is attributed to the emergence of nonzero Berry curvature dipole. Upon increasing strain, Berry curvature dipole can generate net orbital magnetization, which would introduce additional magnetic scattering, decreasing the mobility and thus conductivity. Our work demonstrates the strain engineering of Berry curvature and thus the transport properties, making monolayer WSe2 potential for the application in the high-performance flexible and transparent electronics.


title: Network Regression with Graph Laplacians

abstract: Network data are increasingly available in various research fields, motivating statistical analysis for populations of networks where a network as a whole is viewed as a data point. Due to the non-Euclidean nature of networks, basic statistical tools available for scalar and vector data are no longer applicable when one aims to relate networks as outcomes to Euclidean covariates, while the study of how a network changes in dependence on covariates is often of paramount interest. This motivates to extend the notion of regression to the case of responses that are network data. Here we propose to adopt conditional Fr\'{e}chet means implemented with both global least squares regression and local weighted least squares smoothing, extending the Fr\'{e}chet regression concept to networks that are quantified by their graph Laplacians. The challenge is to characterize the space of graph Laplacians so as to justify the application of Fr\'{e}chet regression. This characterization then leads to asymptotic rates of convergence for the corresponding M-estimators by applying empirical process methods. We demonstrate the usefulness and good practical performance of the proposed framework with simulations and with network data arising from resting-state fMRI in neuroimaging, as well as New York taxi records.


title: Intermediate anomalous Hall states induced by noncollinear spin structure in magnetic topological insulator MnBi2Te4

abstract: The combination of topology and magnetism is attractive to produce exotic quantum matters, such as the quantum anomalous Hall state, axion insulators and the magnetic Weyl semimetals. MnBi2Te4, as an intrinsic magnetic topological insulator, provides a platform for the realization of various topological phases. Here we report the intermediate Hall steps in the magnetic hysteresis of MnBi2Te4, where four distinguishable magnetic memory states at zero magnetic field are revealed. The gate and temperature dependence of the magnetic intermediate states indicates the noncollinear spin structure in MnBi2Te4, which can be attributed to the Dzyaloshinskii-Moriya interaction as the coexistence of strong spin-orbit coupling and local inversion symmetry breaking on the surface. Moreover, these multiple magnetic memory states can be programmatically switched among each other through applying designed pulses of magnetic field. Our results provide new insights of the influence of bulk topology on the magnetic states, and the multiple memory states should be promising for spintronic devices.


title: A two-component nonlinear variational wave system

abstract: We derive a novel two-component generalization of the nonlinear variational wave equation as a model for the director field of a nematic liquid crystal with a variable order parameter. The two-component nonlinear variational wave equation admits solutions locally in time. We show that a particular long time asymptotic expansion around a constant state in a moving frame satisfy the two-component Hunter--Saxton system.


title: Quantitative Verification with Adaptive Uncertainty Reduction

abstract: Stochastic models are widely used to verify whether systems satisfy their reliability, performance and other nonfunctional requirements. However, the validity of the verification depends on how accurately the parameters of these models can be estimated using data from component unit testing, monitoring, system logs, etc. When insufficient data are available, the models are affected by epistemic parametric uncertainty, the verification results are inaccurate, and any engineering decisions based on them may be invalid. To address these problems, we introduce VERACITY, a tool-supported iterative approach for the efficient and accurate verification of nonfunctional requirements under epistemic parameter uncertainty. VERACITY integrates confidence-interval quantitative verification with a new adaptive uncertainty reduction heuristic that collects additional data about the parameters of the verified model by unit-testing specific system components over a series of verification iterations. VERACITY supports the quantitative verification of discrete-time Markov chains, deciding which components are to be tested in each iteration based on factors that include the sensitivity of the model to variations in the parameters of different components, and the overheads (e.g., time or cost) of unit-testing each of these components. We show the effectiveness and efficiency of VERACITY by using it for the verification of the nonfunctional requirements of a tele-assistance service-based system and an online shopping web application.


title: Helicity, linking and the distribution of null-homologous periodic orbits for Anosov flows

abstract: This paper concerns connections between dynamical systems, knots and helicity of vector fields. For a divergence-free vector field on a closed $3$-manifold that generates an Anosov flow, we show that the helicity of the vector field may be recovered as the limit of appropriately weighted averages of linking numbers of periodic orbits, regarded as knots. This complements a classical result of Arnold and Vogel that, when the manifold is a real homology $3$-sphere, the helicity may be obtained as the limit of the normalised linking numbers of typical pairs of long trajectories. We also obtain results on the asymptotic distribution of weighted averages of null-homologous periodic orbits.


title: Instance-dependent Label-noise Learning under a Structural Causal Model

abstract: Label noise will degenerate the performance of deep learning algorithms because deep neural networks easily overfit label errors. Let X and Y denote the instance and clean label, respectively. When Y is a cause of X, according to which many datasets have been constructed, e.g., SVHN and CIFAR, the distributions of P(X) and P(Y|X) are entangled. This means that the unsupervised instances are helpful to learn the classifier and thus reduce the side effect of label noise. However, it remains elusive on how to exploit the causal information to handle the label noise problem. In this paper, by leveraging a structural causal model, we propose a novel generative approach for instance-dependent label-noise learning. In particular, we show that properly modeling the instances will contribute to the identifiability of the label noise transition matrix and thus lead to a better classifier. Empirically, our method outperforms all state-of-the-art methods on both synthetic and real-world label-noise datasets.


title: Sensitivity to BSM effects in the Higgs $p_T$ spectrum within SMEFT

abstract: The study of Higgs boson production at large transverse momentum is one of the new frontiers for the LHC Higgs physics programme. This paper considers boosted Higgs production in the Standard Model Effective Field Theory (SMEFT). We focus on the gluon fusion and $t{\bar t}H$ production processes and study the effects of three dimension-6 operators: the top Yukawa operator, the gluon-Higgs effective coupling and the chromomagnetic dipole operator of the top quark. We perform a detailed study of the sensitivity of current and future LHC data to the corresponding Wilson coefficients, consistently accounting for their renormalisation group evolution. We compare the sensitivities obtained with only linear and linear + quadratic terms in the SMEFT by using the spectrum shape and the addition of the Higgs signal yields. We also consider fits of $p_T$ spectra in models with heavy-top partners and in MSSM scenarios with a light scalar top and study the validity of the SMEFT assumptions as a function of the new-particle masses and the Higgs $p_T$ range. Finally, we extract constraints on the Wilson coefficients for gluon fusion from a simultaneous fit to the ATLAS and CMS data and compare our results with those obtained in global SMEFT analyses.


title: Non-equilibrium mode competition in a pumped dye-filled cavity

abstract: We consider a homogeneously pumped photon gas coupled to a dye medium and investigate how its steady state is effected when varying the pump power, the photon cavity lifetime and the cutoff frequency. We study how the interplay between pumping, loss, and dye-induced thermalization influences the selection of the cavity modes that acquire large occupation. Depending on the parameter regime, the latter can be related either to lasing of (typically multiple) modes or to equilibrium-like photon condensation in the ground mode. We calculate and explain the phase diagram of the system, with a particular emphasis on the role played by a mode repulsion that occurs in the regime of weak cavity loss.


title: Tree-based boosting with functional data

abstract: In this article we propose a boosting algorithm for regression with functional explanatory variables and scalar responses. The algorithm uses decision trees constructed with multiple projections as the "base-learners", which we call "functional multi-index trees". We establish identifiability conditions for these trees and introduce two algorithms to compute them. We use numerical experiments to investigate the performance of our method and compare it with several linear and nonlinear regression estimators, including recently proposed nonparametric and semiparametric functional additive estimators. Simulation studies show that the proposed method is consistently among the top performers, whereas the performance of any competitor relative to others can vary substantially across different settings. In a real example, we apply our method to predict electricity demand using price curves and show that our estimator provides better predictions compared to its competitors, especially when one adjusts for seasonality.


title: Grassmannian Graph-attentional Landmark Selection for Domain Adaptation

abstract: Domain adaptation aims to leverage information from the source domain to improve the classification performance in the target domain. It mainly utilizes two schemes: sample reweighting and feature matching. While the first scheme allocates different weights to individual samples, the second scheme matches the feature of two domains using global structural statistics. The two schemes are complementary with each other, which are expected to jointly work for robust domain adaptation. Several methods combine the two schemes, but the underlying relationship of samples is insufficiently analyzed due to the neglect of the hierarchy of samples and the geometric properties between samples. To better combine the advantages of the two schemes, we propose a Grassmannian graph-attentional landmark selection (GGLS) framework for domain adaptation. GGLS presents a landmark selection scheme using attention-induced neighbors of the graphical structure of samples and performs distribution adaptation and knowledge adaptation over Grassmann manifold. the former treats the landmarks of each sample differently, and the latter avoids feature distortion and achieves better geometric properties. Experimental results on different real-world cross-domain visual recognition tasks demonstrate that GGLS provides better classification accuracies compared with state-of-the-art domain adaptation methods.


title: Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic

abstract: Contextual refinement and separation logics are successful verification techniques that are very different in nature. First, the former guarantees behavioral refinement between a concrete program and an abstract program while the latter guarantees safety of a concrete program under certain conditions (expressed in terms of pre and post conditions). Second, the former does not allow any assumption about the context when locally reasoning about a module while the latter allows rich assumptions. In this paper, we present a new verification technique, called abstraction logic (AL), that inherently combines contextual refinement and separation logics such as Iris and VST, thereby taking the advantages of both. Specifically, AL allows us to locally verify a concrete module against an abstract module under separation-logic-style pre and post conditions about external modules. AL are fully formalized in Coq and provides a proof mode that supports a combination of simulation-style reasoning using our own tactics and SL-style reasoning using IPM (Iris Proof Mode). Using the proof mode, we verified various examples to demonstrate reasoning about ownership (based on partial commutative monoids) and purity ($i.e.$, termination with no system call), cyclic and higher-order reasoning about mutual recursion and function pointers, and reusable and gradual verification via intermediate abstractions. Also, the verification results are combined with CompCert, so that we formally establish behavioral refinement from top-level abstract programs, all the way down to their assembly code.


title: Photonics-assisted wideband RF self-interference cancellation with digital domain amplitude and delay pre-matching

abstract: A photonics-based digital and analog self-interference cancellation approach for in-band full-duplex communication systems and frequency-modulated continuous-wave radar systems is reported. One dual-drive Mach-Zehnder modulator is used to implement the analog self-interference cancellation by pre-adjusting the delay and amplitude of the reference signal applied to the dual-drive Mach-Zehnder modulator in the digital domain. The amplitude is determined via the received signal power, while the delay is searched by the cross-correlation and bisection methods. Furthermore, recursive least squared or normalized least mean square algorithms are used to suppress the residual self-interference in the digital domain. Quadrature phase-shift keying modulated signals and linearly frequency-modulated signals are used to experimentally verify the proposed method. The analog cancellation depth is around 20 dB, and the total cancellation depth is more than 36 dB for the 2-Gbaud quadrature phase-shift keying modulated signals. For the linearly frequency-modulated signals, the analog and total cancellation depths are around 19 dB and 34 dB, respectively.


title: Evaluation of an Audio-Video Multimodal Deepfake Dataset using Unimodal and Multimodal Detectors

abstract: Significant advancements made in the generation of deepfakes have caused security and privacy issues. Attackers can easily impersonate a person's identity in an image by replacing his face with the target person's face. Moreover, a new domain of cloning human voices using deep-learning technologies is also emerging. Now, an attacker can generate realistic cloned voices of humans using only a few seconds of audio of the target person. With the emerging threat of potential harm deepfakes can cause, researchers have proposed deepfake detection methods. However, they only focus on detecting a single modality, i.e., either video or audio. On the other hand, to develop a good deepfake detector that can cope with the recent advancements in deepfake generation, we need to have a detector that can detect deepfakes of multiple modalities, i.e., videos and audios. To build such a detector, we need a dataset that contains video and respective audio deepfakes. We were able to find a most recent deepfake dataset, Audio-Video Multimodal Deepfake Detection Dataset (FakeAVCeleb), that contains not only deepfake videos but synthesized fake audios as well. We used this multimodal deepfake dataset and performed detailed baseline experiments using state-of-the-art unimodal, ensemble-based, and multimodal detection methods to evaluate it. We conclude through detailed experimentation that unimodals, addressing only a single modality, video or audio, do not perform well compared to ensemble-based methods. Whereas purely multimodal-based baselines provide the worst performance.


title: Generalized Vector Dominance Model up to 2 GeV

abstract: The processes $e^+e^-\to \pi^+\pi^-, \omega\pi^0, \eta\pi^+\pi^-, K^+K^-, \pi^+\pi^-\pi^0$ are described simultaneously in the frame of the Generalized Vector Dominance Model (GVDM) allowing model error. The data do not contradict the assumption that the precision of the model we use is not worse than 6\%. This shows that GVDM is an adequate approach to describe processes involving $\rho(770),\omega(787),\phi(1020)$ and their excitations in the energy region below 2 GeV. This work is considered as a first step, next steps should treat more processes and take into account finer effects.


title: Revisiting Context Choices for Context-aware Machine Translation

abstract: One of the most popular methods for context-aware machine translation (MT) is to use separate encoders for the source sentence and context as multiple sources for one target sentence. Recent work has cast doubt on whether these models actually learn useful signals from the context or are improvements in automatic evaluation metrics just a side-effect. We show that multi-source transformer models improve MT over standard transformer-base models even with empty lines provided as context, but the translation quality improves significantly (1.51 - 2.65 BLEU) when a sufficient amount of correct context is provided. We also show that even though randomly shuffling in-domain context can also improve over baselines, the correct context further improves translation quality and random out-of-domain context further degrades it.


title: Mutual information, islands in black holes and the Page curve

abstract: The role played by the mutual information of subsystems on the Page curve is explored in this paper. With the total system consisting of the black hole and radiation, together with the inclusion of island, we observe that the vanishing of mutual information between $B_+$ and $B_-$ which in turn means the disconnected phase of the entanglement wedge corresponding to $B_+\cup B_-$, yields a time scale of the order of scrambling time. This results in a time independent expression for the fine grained entropy of Hawking radiation consistent with the correct Page curve. We also find corrections to this entropy and Page time which are logarithmic and inverse power law in form.


title: Simple Worst-Case Optimal Adaptive Prefix-Free Coding

abstract: Gagie and Nekrich (2009) gave an algorithm for adaptive prefix-free coding that, given a string $S [1..n]$ over the alphabet $\{1, \ldots, \sigma\}$ with $\sigma = o (n / \log^{5 / 2} n)$, encodes $S$ in at most $n (H + 1) + o (n)$ bits, where $H$ is the empirical entropy of $S$, such that encoding and decoding $S$ take $O (n)$ time. They also proved their bound on the encoding length is optimal, even when the empirical entropy is high. Their algorithm is impractical, however, because it uses complicated data structures. In this paper we give an algorithm with the same bounds, except that we require $\sigma = o (n^{1 / 2} / \log n)$, that uses no data structures more complicated than a lookup table. Moreover, when Gagie and Nekrich's algorithm is used for optimal adaptive alphabetic coding it takes $O (n \log \log n)$ time for decoding, but ours still takes $O (n)$ time.


title: Generalized Kantowski-Sachs type spacetime metrics and their harmonicity

abstract: In this paper, we deal with harmonic metrics with respect to generalized Kantowski-Sachs type spacetime metrics. We also consider the Sasaki, horizontal and complete lifts of generalized Kantowski-Sachs type spacetime metrics to tangent bundle and study their harmonicity.


title: Influence of CO2-laser pulse parameters on 13.5 nm extreme ultraviolet emission features from irradiated liquid tin target

abstract: Laser-produced plasma (LPP) induced during irradiation of a liquid tin droplet with diameter of 150 um and 180 um by CO2 laser pulse with various pulse durations and energies is considered. The two-dimensional radiative magnetohydrodynamic (RMHD) plasma code is used to simulate the emission and plasma dynamics of multicharged ion tin LPP. Results of simulations for various laser pulse durations and 75-600 mJ pulse energies with Gaussian and experimentally taken temporal profiles are discussed. It is found that if the mass of the target is big enough to provide the plasma flux required (the considered case) a kind of dynamic quasi-stationary plasma flux is formed. In this dynamic quasi-stationary plasma flux, an interlayer of relatively cold tin vapor with mass density of 1-2 g/cm3 is formed between the liquid tin droplet and low density plasma of the critical layer. Expanding of the tin vapor from the droplet provides the plasma flux to the critical layer. In critical layer the plasma is heated up and expands faster. In the simulation results with spherical liquid tin target, the CE into 2${\pi}$ is of 4% for 30 ns FWHM and just slightly lower - of 3.67% for 240 ns FWHM for equal laser intensities of 14 GW/cm2. This slight decay of the in-band EUV yield with laser pulse duration is conditioned by an increasing of radiation re-absorption by expanding plasma from the target, as more cold plasma is produced with longer pulse. The calculated direction diagrams of in-band EUV emission permit to optimize a collector configuration.


title: Characterization of flexible electricity in power and energy markets

abstract: The authors provide a comprehensive overview of flexibility characterization along the dimensions of time, spatiality, resource, and risk in power systems. These dimensions are discussed in relation to flexibility assets, products, and services, as well as new and existing flexibility market designs. The authors argue that flexibility should be evaluated based on the dimensions under discussion. Flexibility products and services can increase the efficiency of power systems and markets if flexibility assets and related services are taken into consideration and used along the time, geography, technology, and risk dimensions. Although it is possible to evaluate flexibility in existing market designs, a local flexibility market may be needed to exploit the value of the flexibility, depending on the dimensions of the flexibility products and services. To locate flexibility in power grids and prevent incorrect valuations, the authors also discuss TSO-DSO coordination along the four dimensions, and they present interrelations between flexibility dimensions, products, services, and related market designs for productive usage of flexible electricity.


title: Unifying Farkas lemma and S-lemma: new theory and applications in nonquadratic nonconvex optimization

abstract: We unify nonlinear Farkas lemma and S-lemma to a generalized alternative theorem for nonlinear nonconvex system. It provides fruitful applications in globally solving nonconvex non-quadratic optimization problems via revealing the hidden convexity.


title: Analysis and computation of a pressure-robust method for the rotation form of the stationary incompressible Navier-Stokes equations by using high-order finite elements

abstract: In this work, we develop a high-order pressure-robust method for the rotation form of the stationary incompressible Navier-Stokes equations. The original idea is to change the velocity test functions in the discretization of trilinear and right hand side terms by using an H(div)-conforming velocity reconstruction operator. In order to match the rotation form and error analysis, a novel skew-symmetric discrete trilinear form containing the reconstruction operator is proposed, in which not only the velocity test function is changed. The corresponding well-posed discrete weak formulation stems straight from the classical inf-sup stable mixed conforming high-order finite elements, and it is proven to achieve the pressure-independent velocity errors. Optimal convergence rates of H1, L2-error for the velocity and L2-error for the Bernoulli pressure are completely established. Adequate numerical experiments are presented to demonstrate the theoretical results and the remarkable performance of the proposed method.


title: Persistence in randomly switched Lotka-Volterra food chains

abstract: We consider a dynamical system obtained by the random switching between $N$ Lotka-Volterra food chains. Our key assumption will be that at least two vector fields only differ on the resources allocated to the growth rate of the first species. We will show that the existence of a positive equilibrium of the average vector field is equivalent to the persistence of all species. Under this condition, the semi-group converges exponentially quickly to a unique invariant probability measure on the positive orthant. If this condition fails to hold, we have two possibilities. The first possibility is the extinction case, in which a group of species becomes extinct exponentially quickly while the distribution of the remaining species converges weakly to another invariant probability measure. The second possibility is the critical case, in which there is a weaker form of persistence of some species, whilst some of the remaining become extinct exponentially quickly. We will also analyse the sensitivity of this model to the parameters.


title: Empathetic Dialogue Generation with Pre-trained RoBERTa-GPT2 and External Knowledge

abstract: One challenge for dialogue agents is to recognize feelings of the conversation partner and respond accordingly. In this work, RoBERTa-GPT2 is proposed for empathetic dialogue generation, where the pre-trained auto-encoding RoBERTa is utilised as encoder and the pre-trained auto-regressive GPT-2 as decoder. With the combination of the pre-trained RoBERTa and GPT-2, our model realizes a new state-of-the-art emotion accuracy. To enable the empathetic ability of RoBERTa-GPT2 model, we propose a commonsense knowledge and emotional concepts extractor, in which the commonsensible and emotional concepts of dialogue context are extracted for the GPT-2 decoder. The experiment results demonstrate that the empathetic dialogue generation benefits from both pre-trained encoder-decoder architecture and external knowledge.


title: Characterizing and computing weight-equitable partitions of graphs

abstract: Weight-equitable partitions of graphs, which are a natural extension of the well-known equitable partitions, have been shown to be a powerful tool to weaken the regularity assumption in several well-known eigenvalue bounds. In this work we aim to further our algebraic and computational understanding of weight-equitable partitions. We do so by showing several spectral properties and algebraic characterizations, and by providing a method to find coarse weight-equitable partitions.


title: Luminescence of Natural $\alpha$-Quartz Crystal with Aluminum, Alkali and Noble Ions Impurities

abstract: Photoluminescence and thermally stimulated luminescence of synthetic and natural (morion and smoky) $\alpha$-quartz crystals doped with aluminum and alkali ions were studied. The photoluminescence spectrum is characterized with the main blue band around 400 nm (~ 3.1 eV). The corresponding luminescence center is based on a defect containing aluminum and alkali as compensators in natural and synthetic quartz crystals. Photoluminescence can be detected at high temperatures above 700 K. The thermal quenching activation energy is 0.15 eV and the frequency factor is 3 10$^7$ s$^{-1}$. In the samples with silver ions the main luminescence band is located at ~ 260 nm (~ 4.7 eV) with a time constant of ~ 37 $\mu$s at 80 K, and in the samples with copper ions the PL band is at ~ 360 nm (~ 3.4 eV) with a time constant ~ 50 {\mu}s at 80 K. For luminescence associated with silver the energy of thermal quenching is 0.7 eV with a frequency coefficient of 1 10$^{14}$ s$^{-1}$, and for the luminescence related to copper, these parameters are 0.55 eV and 10$^{14}$ s$^{-1}$. The differences in intra-center luminescence properties of the same defect containing alkali ions or noble ions are based on differences in electronic transitions. In the case of alkali ions the charge transfer transitions between oxygen and alkali ions. In the case of noble ions absorption-luminescence corresponds to intra ion transitions. Radiation properties are related to trapping of an electron on one valence ion. Created atom moves out of aluminum containing defect. The hole remains on aluminum-oxygen defect. Thermally stimulated luminescence is related to release of atom, it diffusion to aluminum defect with the hole on oxygen and following radiative recombination.


title: Quantum Sampling Algorithms, Phase Transitions, and Computational Complexity

abstract: Drawing independent samples from a probability distribution is an important computational problem with applications in Monte Carlo algorithms, machine learning, and statistical physics. The problem can in principle be solved on a quantum computer by preparing a quantum state that encodes the entire probability distribution followed by a projective measurement. We investigate the complexity of adiabatically preparing such quantum states for the Gibbs distributions of various classical models including the Ising chain, hard-sphere models on different graphs, and a model encoding the unstructured search problem. By constructing a parent Hamiltonian, whose ground state is the desired quantum state, we relate the asymptotic scaling of the state preparation time to the nature of transitions between distinct quantum phases. These insights enable us to identify adiabatic paths that achieve a quantum speedup over classical Markov chain algorithms. In addition, we show that parent Hamiltonians for the problem of sampling from independent sets on certain graphs can be naturally realized with neutral atoms interacting via highly excited Rydberg states.


title: Semiparametric Bayesian Networks

abstract: We introduce semiparametric Bayesian networks that combine parametric and nonparametric conditional probability distributions. Their aim is to incorporate the advantages of both components: the bounded complexity of parametric models and the flexibility of nonparametric ones. We demonstrate that semiparametric Bayesian networks generalize two well-known types of Bayesian networks: Gaussian Bayesian networks and kernel density estimation Bayesian networks. For this purpose, we consider two different conditional probability distributions required in a semiparametric Bayesian network. In addition, we present modifications of two well-known algorithms (greedy hill-climbing and PC) to learn the structure of a semiparametric Bayesian network from data. To realize this, we employ a score function based on cross-validation. In addition, using a validation dataset, we apply an early-stopping criterion to avoid overfitting. To evaluate the applicability of the proposed algorithm, we conduct an exhaustive experiment on synthetic data sampled by mixing linear and nonlinear functions, multivariate normal data sampled from Gaussian Bayesian networks, real data from the UCI repository, and bearings degradation data. As a result of this experiment, we conclude that the proposed algorithm accurately learns the combination of parametric and nonparametric components, while achieving a performance comparable with those provided by state-of-the-art methods.


title: Sequential Attention Module for Natural Language Processing

abstract: Recently, large pre-trained neural language models have attained remarkable performance on many downstream natural language processing (NLP) applications via fine-tuning. In this paper, we target at how to further improve the token representations on the language models. We, therefore, propose a simple yet effective plug-and-play module, Sequential Attention Module (SAM), on the token embeddings learned from a pre-trained language model. Our proposed SAM consists of two main attention modules deployed sequentially: Feature-wise Attention Module (FAM) and Token-wise Attention Module (TAM). More specifically, FAM can effectively identify the importance of features at each dimension and promote the effect via dot-product on the original token embeddings for downstream NLP applications. Meanwhile, TAM can further re-weight the features at the token-wise level. Moreover, we propose an adaptive filter on FAM to prevent noise impact and increase information absorption. Finally, we conduct extensive experiments to demonstrate the advantages and properties of our proposed SAM. We first show how SAM plays a primary role in the champion solution of two subtasks of SemEval'21 Task 7. After that, we apply SAM on sentiment analysis and three popular NLP tasks and demonstrate that SAM consistently outperforms the state-of-the-art baselines.


title: Exploring the Accuracy Potential of IMU Preintegration in Factor Graph Optimization

abstract: Inertial measurement unit (IMU) preintegration is widely used in factor graph optimization (FGO); e.g., in visual-inertial navigation system and global navigation satellite system/inertial navigation system (GNSS/INS) integration. However, most existing IMU preintegration models ignore the Earth's rotation and lack delicate integration processes, and these limitations severely degrade the INS accuracy. In this study, we construct a refined IMU preintegration model that incorporates the Earth's rotation, and analytically compute the covariance and Jacobian matrix. To mitigate the impact caused by sensors other than IMU in the evaluation system, FGO-based GNSS/INS integration is adopted to quantitatively evaluate the accuracy of the refined preintegration. Compared to a classic filtering-based GNSS/INS integration baseline, the employed FGO-based integration using the refined preintegration yields the same accuracy. In contrast, the existing rough preintegration yields significant accuracy degradation. The performance difference between the refined and rough preintegration models can exceed 200% for an industrial-grade MEMS module and 10% for a consumer-grade MEMS chip. Clearly, the Earth's rotation is the major factor to be considered in IMU preintegration in order to maintain the IMU precision, even for a consumer-grade IMU.


title: LEAF: Navigating Concept Drift in Cellular Networks

abstract: Operational networks commonly rely on machine learning models for many tasks, including detecting anomalies, inferring application performance, and forecasting demand. Yet, model accuracy can degrade due to concept drift, whereby the relationship between the features and the target to be predicted changes. Mitigating concept drift is an essential part of operationalizing machine learning models in general, but is of particular importance in networking's highly dynamic deployment environments. In this paper, we first characterize concept drift in a large cellular network for a major metropolitan area in the United States. We find that concept drift occurs across many important key performance indicators (KPIs), independently of the model, training set size, and time interval -- thus necessitating practical approaches to detect, explain, and mitigate it. We then show that frequent model retraining with newly available data is not sufficient to mitigate concept drift, and can even degrade model accuracy further. Finally, we develop a new methodology for concept drift mitigation, Local Error Approximation of Features (LEAF). LEAF works by detecting drift; explaining the features and time intervals that contribute the most to drift; and mitigates it using forgetting and over-sampling. We evaluate LEAF against industry-standard mitigation approaches (notably, periodic retraining) with more than four years of cellular KPI data. Our initial tests with a major cellular provider in the US show that LEAF consistently outperforms periodic and triggered retraining on complex, real-world data while reducing costly retraining operations.


title: Luminescence of localized states in oxidized and fluorinated silica glass

abstract: The photoluminescence of oxidized and fluorinated nominally pure silica glasses, which have good optical transparency in the optical gap, has been investigated under excitation by excimer lasers. The data are compared with the data for chlorinated silica glass, as well as glass containing OH. The excitation of localized states provides the release and capture of charge carriers, despite the low absorption coefficient. Holes are self-trapped. The recombination in the thermally activated or tunnel process creates luminescence of oxygen-deficient centers. It is concluded that oxidation and fluorination do not change the concentration of localized states, but they change the electronic transitions of localized states to higher energies. In type III glass with a high OH content, luminescence is suppressed by the presence of hydrogen and appears after irradiation with photons of 7.9 eV of the F2 laser. This can also be the evidence of existing of localized states even in such glasses.


title: SketchMeHow: Interactive Projection Guided Task Instruction with User Sketches

abstract: In this work, we propose an interactive general instruction framework SketchMeHow to guidance the common users to complete the daily tasks in real-time. In contrast to the conventional augmented reality-based instruction systems, the proposed framework utilizes the user sketches as system inputs to acquire the users' production intentions from the drawing interfaces. Given the user sketches, the designated task instruction can be analyzed based on the sub-task division and spatial localization for each task. The projector-camera system is adopted in the projection guidance to the end-users with the spatial augmented reality technology. To verify the proposed framework, we conducted two case studies of domino arrangement and bento production. From our user studies, the proposed systems can help novice users complete the tasks efficiently with user satisfaction. We believe the proposed SketchMeHow can broaden the research topics in sketch-based real-world applications in human-computer interaction.


title: A Novel Multimodal Biometric Authentication System using Machine Learning and Blockchain

abstract: Traditional authentication systems that rely on simple passwords, PIN numbers or tokens have many security issues, like easily guessed passwords, PIN numbers written on the back of cards, etc. Thus, biometric authentication methods that rely on physical and behavioural characteristics have been proposed as an alternative for those systems. In real-world applications, authentication systems that involve a single biometric faced many issues, especially lack of accuracy and noisy data, which boost the research community to create multibiometric systems that involve a variety of biometrics. Those systems provide better performance and higher accuracy compared to other authentication methods. However, most of them are inconvenient and requires complex interactions from the user. Thus, in this paper, we introduce a novel multimodal authentication system that relies on machine learning and blockchain, with the aim of providing a more secure, transparent, and convenient authentication mechanism. The proposed system combines four important biometrics, fingerprint, face, age, and gender. The supervised learning algorithm Decision Tree has been used to combine the results of the biometrics verification process and produce a confidence level related to the user. The initial experimental results show the efficiency and robustness of the proposed multimodal systems.


title: A Compact Planar Triple-Nuclear Coil for Small Animal 1H, 13C, and 31P Metabolic MR Imaging at 14.1 T

abstract: Multi-nuclear radio-frequency (RF) coils at ultrahigh field strengths are challenging to develop due to the high operating frequency, increased electromagnetic interaction among the coil elements, and increased electromagnetic interaction between the coils and the subject. In this work, a triple-nuclear surface coil for 1H, 13C, and 31P for small animal metabolic imaging at 14.1 T is built by nesting three surface coil geometries: a lumped-element L-C loop coil, a butterfly coil, and a microstrip transmission line (MTL) resonator. The loop coil, butterfly coil, and MTL are tuned to 31P, 13C, and 1H, respectively. The successful bench tests and phantom imaging with this novel triple-nuclear coil demonstrates the feasibility of the design for triple-nuclear MR imaging and spectroscopy studies at the ultrahigh field of 14.1 T. In particular, the microstrip transmission line resonator demonstrates excellent coil performance for proton imaging at 600 MHz, where conventional lumped-element design is limited.


title: SpatialViewer: A Remote Work Sharing Tool that Considers Intimacy Among Workers

abstract: Due to the influence of the new coronavirus disease (COVID-19), teleworking has been expanding rapidly. Although existing interactive remote working systems are convenient, they do not allow users to adjust their spatial distance to team members at will, %"Arbitrarily" is probably not the best word here. It means without apparent reason. A better expression might be "at will." and they ignore the discomfort caused by different levels of intimacy. To solve this issue, we propose a telework support system using spatial augmented reality technology. This system calibrates the space in which videos are projected with real space and adjusts the spatial distance between users by changing the position of projections. Users can switch the projection position of the video using hand-wave gestures. We also synchronize audio according to distance to further emphasize the sense of space within the remote interaction: the distance between projection position and user is inversely proportional to the audio volume. We conducted a telework experiment and a questionnaire survey to evaluate our system. The results show that the system enables users to adjust distance according to intimacy and thus improve the users' comfort.


title: Estimation of the covariate conditional tail expectation : a depth-based level set approach

abstract: The aim of this paper is to study the asymptotic behavior of a particular multivariate risk measure, the Covariate-Conditional-Tail-Expectation (CCTE), based on a multivariate statistical depth function. Depth functions have become increasingly powerful tools in nonparametric inference for multivariate data, as they measure a degree of centrality of a point with respect to a distribution. A multivariate risks scenario is then represented by a depth-based lower level set of the risk factors, meaning that we consider a non-compact setting. More precisely, given a multivariate depth function D associated to a fixed probability measure, we are interested in the lower level set based on D. First, we present a plug-in approach in order to estimate the depth-based level set. In a second part, we provide a consistent estimator of our CCTE for a general depth function with a rate of convergence, and we consider the particular case of the Mahalanobis depth. A simulation study complements the performances of our estimator.


title: Deep learning framework for carbon nanotubes: mechanical properties and modeling strategies

abstract: Tensile tests at room temperature are performed using molecular dynamics on all configurations of single-walled carbon nanotubes up to 4 nm in diameter. Distributions of the Young's modulus, Poisson's ratio, ultimate tensile strength and fracture strain are determined and reported. The results show that the chirality of the nanotube has the greatest influence on the properties. An artificial neural network is developed for the dataset obtained by molecular dynamics and used to predict the mechanical properties. It is clearly shown that Deep Learning provides accurate predictions, with the further advantage that thermal fluctuations are smoothed out. In addition, a through analysis of the effect of dataset size on prediction quality is performed, providing modeling strategies for further researchers.


title: On local kirigami mechanics II: Stretchable creased solutions

abstract: Following on Part I of this work series on local kirigami mechanics, we present a study of a discretely creased mechanism as a model to investigate the mechanics of the basic geometric building block of kirigami--the e-cone. We consider an annular disk with a single radial slit discritised by a series of radial creases connecting kinematically flat rigid panels. The creases allow both relative rotation and separation between panels, capturing both bending and stretching deformations. Admissible equilibrium configurations are obtained by penalising these deformations using elastic springs with stiffnesses derived from compatible continuum plate deformations. This provides a tool to study both inextensible and extensible e-cone configurations due to opening of the slit and rotation of its lips. This creased model hence offers the possibility to study the e-cone away from its isometric limit, i.e., for plates with finite thickness, and explore the full range of post-buckling (far-from-threshold) behaviour as well as initial buckling (near-threshold) instability. Our local approach provides a fundamental understanding of kirigami phenomenology, underpinned by a proper theoretical approach to geometry and mechanics.


title: Deep Convolutional Neural Networks Predict Elasticity Tensors and their Bounds in Homogenization

abstract: In the present work, 3D convolutional neural networks (CNNs) are trained to link random heterogeneous, two-phase materials of arbitrary phase fractions to their elastic macroscale stiffness thus replacing explicit homogenization simulations. In order to reduce the uncertainty of the true stiffness of the synthetic composites due to unknown boundary conditions (BCs), the CNNs predict beyond the stiffness for periodic BC the upper bound through kinematically uniform BC, and the lower bound through stress uniform BC. This work describes the workflow of the homogenization-CNN, from microstructure generation over the CNN design, the operations of convolution, nonlinear activation and pooling as well as training and validation along with backpropagation up to performance measurements in tests. Therein the CNNs demonstrate the predictive accuracy not only for the standard test set but also for samples of the real, two-phase microstructure of a diamond-based coating. The CNN that covers all three boundary types is virtually as accurate as the separate treatment in three different nets. The CNNs of this contribution provide through stiffness bounds an indicator of the proper RVE size for individual snapshot samples. Moreover, they enable statistical analyses for the effective elastic stiffness on ensembles of synthetical microstructures without costly simulations.


title: Limited Associativity Makes Concurrent Software Caches a Breeze

abstract: Software caches optimize the performance of diverse storage systems, databases and other software systems. Existing works on software caches automatically resort to fully associative cache designs. Our work shows that limited associativity caches are a promising direction for concurrent software caches. Specifically, we demonstrate that limited associativity enables simple yet efficient realizations of multiple cache management schemes that can be trivially parallelized. We show that the obtained hit ratio is usually similar to fully associative caches of the same management policy, but the throughput is improved by up to X5 compared to production-grade caching libraries, especially in multi-threaded executions.


title: Augmented Memory Computing: Dynamically Augmented SRAM Storage for Data Intensive Applications

abstract: In this paper, we propose a novel memory-centric scheme based on CMOS SRAM for acceleration of data intensive applications. Our proposal aims at dynamically increasing the on-chip memory storage capacity of SRAM arrays on-demand. The proposed scheme called - Augmented Memory Computing allows an SRAM cell to operate in two different modes 1) the Normal mode and 2) the Augmented mode. In the Normal mode of operation, the SRAM cell functions like a standard 6 transistor (6T) SRAM cell, storing one bit of data in static format. While in the Augmented mode, each SRAM cell can store >1 bit of data (in a dynamic fashion). Specifically, we propose two novel SRAM cells - an 8 transistor (8T) dual bit storage augmented cell and a 7 transistor (7T) ternary bit storage augmented cell. The proposed 8T dual bit SRAM cell when operated in the Augmented mode, can store a static bit of data while also, simultaneously, storing another bit in a dynamic form. Thus, when operated in Augmented mode, the 8T SRAM cell can store two bits of data - one SRAM-like data and one DRAM-like data, thereby increasing or augmenting the memory storage capacity. On the other hand, the proposed 7T ternary bit storage augmented cell can either store a single SRAM data in Normal mode or can be configured to operate in Augmented mode, wherein it can store ternary data (3 levels (0,0), (0,1), (1,0)) in a dynamic manner. Thus, based on the mode of operation, the proposed augmented memory bit-cells can either store one static bit of data or >1 bit of data in a dynamic format. We show the feasibility of our proposed bit-cells through extensive simulations at Globalfoundries 22nm FDX node. It is worth mentioning, the novel scheme of augmented memory bit-cells can be seamlessly combined with existing in-memory computing approaches for added energy and throughput benefits.


title: A Cooper-Pair Box Coupled to Two Resonators: An Architecture for a Quantum Refrigerator

abstract: Superconducting circuits present a promising platform with which to realize a quantum refrigerator. Motivated by this, we fabricate and perform spectroscopy of a gated Cooper-pair box, capacitively coupled to two superconducting coplanar waveguide resonators with different frequencies. We experimentally demonstrate the strong coupling of a charge qubit to two superconducting resonators, with the ability to perform voltage driving of the qubit at GHz frequencies. We go on to discuss how the measured device could be modified to operate as a cyclic quantum refrigerator by terminating the resonators with normal-metal resistors acting as heat baths.


title: Versa: A Dataflow-Centric Multiprocessor with 36 Systolic ARM Cortex-M4F Cores and a Reconfigurable Crossbar-Memory Hierarchy in 28nm

abstract: We present Versa, an energy-efficient processor with 36 systolic ARM Cortex-M4F cores and a runtime-reconfigurable memory hierarchy. Versa exploits algorithm-specific characteristics in order to optimize bandwidth, access latency, and data reuse. Measured on a set of kernels with diverse data access, control, and synchronization characteristics, reconfiguration between different Versa modes yields median energy-efficiency improvements of 11.6x and 37.2x over mobile CPU and GPU baselines, respectively.


title: Linear equations for unordered data vectors in $[D]^k\to{}Z^d$

abstract: Following a recently considered generalisation of linear equations to unordered-data vectors and to ordered-data vectors, we perform a further generalisation to data vectors that are functions from k-element subsets of the unordered-data set to vectors of integer numbers. These generalised equations naturally appear in the analysis of vector addition systems (or Petri nets) extended so that each token carries a set of unordered data. We show that nonnegative-integer solvability of linear equations is in nondeterministic exponential time while integer solvability is in polynomial time.


title: High-Resolution Waveform Capture Device on a Cyclone-V FPGA

abstract: We introduce the waveform capture device (WCD), a flexible measurement system capable of recording complex digital signals on trillionth-of-a-second (ps) time scales. The WCD is implemented via modular code on an off-the-shelf field-programmable gate-array (FPGA, Intel/Altera Cyclone V), and incorporates both time-to-digital converter (TDC) and digital storage oscilloscope (DSO) functionality. The device captures a waveform by taking snapshots of a signal as it propagates down an ultra-fast transmission line known as a carry chain (CC). It is calibrated via a novel dynamic phase-shifting (DPS) method that requires substantially less data and resources than the state-of-the-art. Using DPS, we find the measurement resolution - or mean propagation delay from one CC element to the next - to be 4.91 +/- 0.04 ps (4.54 +/- 0.02 ps) for a pulse of logic high (low). Similarly, we find the single-shot precision - or mean error on the timing of the waveform - to be 29.52 ps (27.14 ps) for pulses of logic high (low). We verify these findings by reproducing commercial oscilloscope measurements of asynchronous ring-oscillators on FPGAs, finding the mean pulse width to be 0.240 +/- 0.002 ns per inverter gate. Finally, we present a careful analysis of design constraints, introduce a novel error correction algorithm, and sketch a simple extension to the analog domain. We also provide the Verilog code instantiating the our design on an FPGA in an Appendix, and make our methods available as an open-source Python library at https://github.com/Noeloikeau/fpyga.


title: Statistical analysis of locally parameterized shapes

abstract: The alignment of shapes has been a crucial step in statistical shape analysis, for example, in calculating mean shape, detecting locational differences between two shape populations, and classification. Procrustes alignment is the most commonly used method and state of the art. In this work, we uncover that alignment might seriously affect the statistical analysis. For example, alignment can induce false shape differences and lead to misleading results and interpretations. We propose a novel hierarchical shape parameterization based on local coordinate systems. The local parameterized shapes are translation and rotation invariant. Thus, the inherent alignment problems from the commonly used global coordinate system for shape representation can be avoided using this parameterization. The new parameterization is also superior for shape deformation and simulation. The method's power is demonstrated on the hypothesis testing of simulated data as well as the left hippocampi of patients with Parkinson's disease and controls.


title: Robust adaptive Lasso in high-dimensional logistic regression

abstract: Penalized logistic regression is extremely useful for binary classification with large number of covariates (higher than the sample size), having several real life applications, including genomic disease classification. However, the existing methods based on the likelihood loss function are sensitive to data contamination and other noise and, hence, robust methods are needed for stable and more accurate inference. In this paper, we propose a family of robust estimators for sparse logistic models utilizing the popular density power divergence based loss function and the general adaptively weighted LASSO penalties. We study the local robustness of the proposed estimators through its influence function and also derive its oracle properties and asymptotic distribution. With extensive empirical illustrations, we demonstrate the significantly improved performance of our proposed estimators over the existing ones with particular gain in robustness. Our proposal is finally applied to analyse four different real datasets for cancer classification, obtaining robust and accurate models, that simultaneously performs gene selection and patient classification.


title: Predicting Mood Disorder Symptoms with Remotely Collected Videos Using an Interpretable Multimodal Dynamic Attention Fusion Network

abstract: We developed a novel, interpretable multimodal classification method to identify symptoms of mood disorders viz. depression, anxiety and anhedonia using audio, video and text collected from a smartphone application. We used CNN-based unimodal encoders to learn dynamic embeddings for each modality and then combined these through a transformer encoder. We applied these methods to a novel dataset - collected by a smartphone application - on 3002 participants across up to three recording sessions. Our method demonstrated better multimodal classification performance compared to existing methods that employed static embeddings. Lastly, we used SHapley Additive exPlanations (SHAP) to prioritize important features in our model that could serve as potential digital markers.


title: Leray numbers of tolerance complexes

abstract: Let $K$ be a simplicial complex on vertex set $V$. $K$ is called $d$-Leray if the homology groups of any induced subcomplex of $K$ are trivial in dimensions $d$ and higher. $K$ is called $d$-collapsible if it can be reduced to the void complex by sequentially removing a simplex of size at most $d$ that is contained in a unique maximal face. We define the $t$-tolerance complex of $K$, $\mathcal{T}_t(K)$, as the simplicial complex on vertex set $V$ whose simplices are formed as the union of a simplex in $K$ and a set of size at most $t$. We prove that for any $d$ and $t$ there exists a positive integer $h(t,d)$ such that, for every $d$-collapsible complex $K$, the $t$-tolerance complex $\mathcal{T}_t(K)$ is $h(t,d)$-Leray. The definition of the complex $\mathcal{T}_t(K)$ is motivated by results of Montejano and Oliveros on "tolerant" versions of Helly's theorem. As an application, we present some new tolerant versions of the colorful Helly theorem.


title: Superlight pairs in face-centred-cubic extended Hubbard models with strong Coulomb repulsion

abstract: The majority of fulleride superconductors with unusually high transition-temperature to kinetic-energy ratios have a face-centred-cubic (FCC) structure. We demonstrate that, within extended Hubbard models with strong Coulomb repulsion, paired fermions in FCC lattices have qualitatively different properties than pairs in other three-dimensional cubic lattices. Our results show that strongly bound, light, and small pairs can be generated in FCC lattices across a wide range of the parameter space. We estimate that such pairs can Bose condense at high temperatures even if the lattice constant is large (as in the fullerides).


title: A Just-In-Time Networking Framework for Minimizing Request-Response Latency of Wireless Time-Sensitive Applications

abstract: This paper puts forth a networking paradigm, referred to as just-in-time (JIT) communication, to support client-server applications with stringent request-response latency requirement. Of interest is not just the round-trip delay of the network, but the actual request-response latency experienced by the application. The JIT framework contains two salient features. At the client side, the communication layer will 'pull' a request from the client just when there is an upcoming transmission opportunity from the network. This ensures that the request contains information that is as fresh as possible (e.g., a sensor reading obtained just before the transmission opportunity). At the server side, the network ascertains that the server, after receiving and processing the request to generate a response (e.g., a control command to be sent to the client), will have a transmission opportunity at just this time. We realize the JIT system, including the protocol stack, over a Time-Division-Multiple-Access (TDMA) network implemented on a System-on-Chip (SoC) platform. We prove that a TDMA network with a power-of-2 time slots per superframe is optimal for realizing the server-side JIT function. Our experimental results validate that JIT networks can yield significantly lower request-response latency than networks without JIT support can.


title: From semi-hard processes to the unintegrated gluon distribution: a phenomenological path in the high-energy framework

abstract: The class of semi-hard reactions represents a promising venue where to enhance our knowledge of strong interactions and deepen the aspects related to this theory in kinematical regimes so far unexplored. In particular, the high energies reached in electron-proton and in proton-proton collisions first at HERA and then at the LHC, allow us to study scattering amplitudes of hard and semi-hard processes in perturbative QCD. The structure of this thesis can be considered twofold. On one hand, the possibility to distinguish those channels where at least two final-state particles are emitted with large separation in rapidity and with an untagged system, permits to test the BFKL dynamics as resummation energy logarithms in the $t$-channel. In the BFKL formalism, the Mueller--Navelet jets process has been one of the most investigated reactions. With the idea of deepening our understanding of the BFKL approach, a new channel is proposed: the inclusive production of a light charged hadron and a jet with high transverse momentum widely separated in rapidity. The importance of this process relies in the possibility to probe a complementary region to one analyzed for the Mueller--Navelet jets. Additionally, another reaction is proposed: the heavy-quark pairs hadroproduction. On the other hand, also the class of processes featured by the detection of a single forward object in lepton-proton collision offers the opportunity to develop intriguing phenomenological studies. In particular, the exclusive leptoproduction of light vector mesons, $\rho$ and $\phi$, is exhaustively investigated. In this context, the study of helicity-dependent observables allows us to discriminate among several unintegrated gluon distribution models, whose original definition naturally encodes the BFKL-equation evolution dynamics. This kind of parton density allows us to get access to the hadronic structure at small-$x$.


title: Generate & Rank: A Multi-task Framework for Math Word Problems

abstract: Math word problem (MWP) is a challenging and critical task in natural language processing. Many recent studies formalize MWP as a generation task and have adopted sequence-to-sequence models to transform problem descriptions to mathematical expressions. However, mathematical expressions are prone to minor mistakes while the generation objective does not explicitly handle such mistakes. To address this limitation, we devise a new ranking task for MWP and propose Generate & Rank, a multi-task framework based on a generative pre-trained language model. By joint training with generation and ranking, the model learns from its own mistakes and is able to distinguish between correct and incorrect expressions. Meanwhile, we perform tree-based disturbance specially designed for MWP and an online update to boost the ranker. We demonstrate the effectiveness of our proposed method on the benchmark and the results show that our method consistently outperforms baselines in all datasets. Particularly, in the classical Math23k, our method is 7% (78.4% $\rightarrow$ 85.4%) higher than the state-of-the-art.


title: Homogeneous involutions on upper triangular matrices

abstract: Let $K$ be a field of characteristic different from 2 and let $G$ be a group. If the algebra $UT_n$ of $n\times n$ upper triangular matrices over $K$ is endowed with a $G$-grading $\Gamma: UT_n=\oplus_{g\in G}A_g$ we give necessary and sufficient conditions on $\Gamma$ that guarantees the existence of a homogeneous antiautomorphism on $A$, i.e., an antiautomorphism $\varphi$ satisfying $\varphi(A_g)=A_{\theta(g)}$ for some permutation $\theta$ of the support of the grading. It turns out that $UT_n$ admits a homogeneous antiautomorphism if and only if the reflection involution of $UT_n$ is homogeneous. Moreover, we prove that if one homogeneous antiautomorphism of $UT_n$ is defined by the map $\theta$ then any other homogeneous antiautomorphism is defined by the same map $\theta$.


title: Photoelectric response of localized states in silica glass

abstract: The photoelectric response of pure silica glasses excited by excimer lasers has been studied. The samples were made under various conditions. Photoelectric polarization of samples due to the Dember effect has been registered. The signal was recorded under the conditions of a space charge limited current. The space charge resulting from the capture of electrons and holes creates a static electric field that prevents diffusion of released charge carriers. The current registration in the external circuit stops, despite the continuation of photoexcitation. This effect was used as a fact of measuring the photocurrent in the sample volume instead of the parasitic current that is not associated with the sample. The screen has been chosen to prevent the influence of a spurious signal. It has been found that charge carriers are released when excited in the spectral absorption range of localized states of silica. Based on the Dember effect, the sign of the photoelectric response shows the type of charge carriers - an electron or a hole is mobile. Thus, a sample containing aluminum without alkali ions gives a negative signal, which indicates the diffusion of electrons at 290 K, since aluminum is an effective hole trap. An oxygen-deficient sample at 290 K provides a positive signal indicating the diffusion of holes, because the center of oxygen deficiency is an effective electron trap. This sample at 100 K provides a negative signal due to the effective self-trapping of holes.


title: A drl based distributed formation control scheme with stream based collision avoidance

abstract: Formation and collision avoidance abilities are essential for multi-agent systems. Conventional methods usually require a central controller and global information to achieve collaboration, which is impractical in an unknown environment. In this paper, we propose a deep reinforcement learning (DRL) based distributed formation control scheme for autonomous vehicles. A modified stream-based obstacle avoidance method is applied to smoothen the optimal trajectory, and onboard sensors such as Lidar and antenna arrays are used to obtain local relative distance and angle information. The proposed scheme obtains a scalable distributed control policy which jointly optimizes formation tracking error and average collision rate with local observations. Simulation results demonstrate that our method outperforms two other state-of-the-art algorithms on maintaining formation and collision avoidance.


title: Characterizing interdisciplinarity in drug research: a translational science perspective

abstract: Despite the significant advances in life science, it still takes decades to translate a basic drug discovery into a cure for human disease. To accelerate the process from bench to bedside, interdisciplinary research (especially research involving both basic research and clinical research) has been strongly recommend by many previous studies. However, the patterns and the roles of the interdisciplinary characteristics in drug research have not been deeply examined in extant studies. The purpose of this study was to characterize interdisciplinary characteristics in drug research from the perspective of translational science, and to examine the role of different kinds of interdisciplinary characteristics in translational research for drugs.


title: POSSCORE: A Simple Yet Effective Evaluation of Conversational Search with Part of Speech Labelling

abstract: Conversational search systems, such as Google Assistant and Microsoft Cortana, provide a new search paradigm where users are allowed, via natural language dialogues, to communicate with search systems. Evaluating such systems is very challenging since search results are presented in the format of natural language sentences. Given the unlimited number of possible responses, collecting relevance assessments for all the possible responses is infeasible. In this paper, we propose POSSCORE, a simple yet effective automatic evaluation method for conversational search. The proposed embedding-based metric takes the influence of part of speech (POS) of the terms in the response into account. To the best knowledge, our work is the first to systematically demonstrate the importance of incorporating syntactic information, such as POS labels, for conversational search evaluation. Experimental results demonstrate that our metrics can correlate with human preference, achieving significant improvements over state-of-the-art baseline metrics.


title: Reconfigurable co-processor architecture with limited numerical precision to accelerate deep convolutional neural networks

abstract: Convolutional Neural Networks (CNNs) are widely used in deep learning applications, e.g. visual systems, robotics etc. However, existing software solutions are not efficient. Therefore, many hardware accelerators have been proposed optimizing performance, power and resource utilization of the implementation. Amongst existing solutions, Field Programmable Gate Array (FPGA) based architecture provides better cost-energy-performance trade-offs as well as scalability and minimizing development time. In this paper, we present a model-independent reconfigurable co-processing architecture to accelerate CNNs. Our architecture consists of parallel Multiply and Accumulate (MAC) units with caching techniques and interconnection networks to exploit maximum data parallelism. In contrast to existing solutions, we introduce limited precision 32 bit Q-format fixed point quantization for arithmetic representations and operations. As a result, our architecture achieved significant reduction in resource utilization with competitive accuracy. Furthermore, we developed an assembly-type microinstructions to access the co-processing fabric to manage layer-wise parallelism, thereby making re-use of limited resources. Finally, we have tested our architecture up to 9x9 kernel size on Xilinx Virtex 7 FPGA, achieving a throughput of up to 226.2 GOp/S for 3x3 kernel size.


title: Only Six Passive Circuit Elements Are Existent

abstract: We found that a second-order ideal memristor degenerates into a negative nonlinear resistor. This phenomenon is quite similar to what are observed in chemistry: a chemical element with a higher atomic number is unstable and may decay radioactively into another chemical element with a lower atomic number. After extending the above local activity (verified both graphically and analytically) to other higher-order circuit elements, we concluded that all higher-order passive memory circuit elements do not exist in nature and that the periodic table of the two-terminal passive circuit elements can be dramatically reduced to a six-pointed star comprising only six passive elements. Such a bounded table may mark the end of the hunt for missing higher-order passive circuit elements predicted nearly 40 years ago.


title: Temporal complex networks modeling applied to vehicular ad-hoc networks

abstract: VANETs solutions use aggregated graph representation to model the interaction among the vehicles and different aggregated complex network measures to quantify some topological characteristics. This modeling ignores the temporal interactions between the cars, causing loss of information or unrealistic behavior. This work proposes the use of both temporal graphs and temporal measures to model VANETs applications. To verify the viability of this model, we initially perform a comparative analysis between the temporal and aggregated modeling considering five different real datasets. This analysis shows that the aggregated model is inefficient in modeling the temporal aspects of networks. After that, we perform a network evaluation through a simulation by considering the impact of temporal modeling applied to the deployment of RSUs. First, we compare a solution based on our temporal modeling with a greedy algorithm based on an aggregated model to choose the positions of RSUs. In a scenario with 70 RSUs, we have 77% and 65% of coverage in the temporal and aggregated model (greedy algorithm), respectively. Second, we evaluate the use of aggregated and temporal measures applied as features in a genetic algorithm. The approach with temporal betweenness had the better result with 90% of the coverage area against 61% of aggregated one applied to the same scenario.


title: The Non-Equilibrium Statistical Operator Method

abstract: In this work we describe the Non-Equilibrium Statistical Operator Method (NESOM). The NESOM is a powerful formalism that seems to offer an elegant and concise way for an analytical treatment in the theory of irreversible processes, adequate to deal with a large class of experimental situations, and physically clear picture of irreversible processes. The method invented by D. N. Zubarev is also practical and efficient in the study of the optical and carrier dynamics in semiconductors. Keywords: nonequilibrium phenomena; kinetic theory; transport processes; irreversible processes.


title: Diagonal degree correlations vs. epidemic threshold in scale-free networks

abstract: We prove that the presence of a diagonal assortative degree correlation, even if small, has the effect of dramatically lowering the epidemic threshold of large scale-free networks. The correlation matrix considered is $P(h|k)=(1-r)P^U_{hk}+r\delta_{hk}$, where $P^U$ is uncorrelated and $r$ (the Newman assortativity coefficient) can be very small. The effect is uniform in the scale exponent $\gamma$, if the network size is measured by the largest degree $n$. We also prove that it is possible to construct, via the Porto-Weber method, correlation matrices which have the same $k_{nn}$ as the $P(h|k)$ above, but very different elements and spectrum, and thus lead to different epidemic diffusion and threshold. Moreover, we study a subset of the admissible transformations of the form $P(h|k) \to P(h|k)+\Phi(h,k)$ with $\Phi(h,k)$ depending on a parameter which leave $k_{nn}$ invariant. Such transformations affect in general the epidemic threshold. We find however that this does not happen when they act between networks with constant $k_{nn}$, i.e. networks in which the average neighbor degree is independent from the degree itself (a wider class than that of strictly uncorrelated networks).