title: Statistical Analysis of Thermal Conductivity Experimentally Measured in Water-Based Nanofluids

abstract: Nanofluids are suspensions of nanoparticles in a base heat-transfer liquid. They have been widely investigated to boost heat transfer since they were proposed in the 1990's. We present a statistical correlation analysis of experimentally measured thermal conductivity of water-based nanofluids available in the literature. The influences of particle concentration, particle size, temperature and surfactants are investigated. For specific materials (alumina, titania, copper oxide, copper, silica and silicon carbide), separate analyses are performed. The conductivity increases with the concentration in qualitative agreement with Maxwell's theory of homogeneous media. The conductivity also increases with the temperature (in addition to the improvement due to the increased conductivity with water). Surprisingly, only silica nanofluids exhibit a statistically significant effect of particle size, whereby smaller particles lead to faster heat transfer. Overall, the large scatter in the experimental data prevents a compelling, unambiguous assessment of these effects. Taken together, the results of our analysis suggest that more comprehensive experimental characterizations of nanofluids are necessary to estimate their practical potential.

categories: cond-mat.soft cond-mat.mtrl-sci physics.data-an physics.flu-dyn


title: The foundation of the hyperunified field theory I -- fundamental building block and symmetry

abstract: Starting from the motional property of functional field based on the action principle of path integral formulation while proposing maximum coherence motion principle and maximum locally entangled-qubits motion principle as guiding principles, we show that such a functional field as fundamental building block appears naturally as an entangled qubit-spinor field expressed by a locally entangled state of qubits. Its motion brings about the appearance of Minkowski spacetime with dimension determined by the motion-correlation $\cM_c$-spin charge and the emergence of $\cM_c$-spin/hyperspin symmetry as fundamental symmetry. Intrinsic $\cQ_c$-spin charge displays a periodic feature as the mod 4 qubit number, which enables us to classify all entangled qubit-spinor fields and spacetime dimensions into four categories with respective to four $\cQ_c$-spin charges $\cC_{\cQ_c}=0,1,2,3$. An entangled decaqubit-spinor field in 19-dimensional hyper-spacetime is found to be a hyperunified qubit-spinor field which unifies all discovered leptons and quarks and brings on the existence of mirror lepton-quark states. The inhomogeneous hyperspin symmetry WS(1,18) as hyperunified symmetry in association with inhomogeneous Lorentz-type symmetry PO(1,18) and global scaling symmetry provides a unified fundamental symmetry. The maximum locally entangled-qubits motion principle is shown to lay the foundation of hyperunified field theory, which enables us to comprehend longstanding questions raised in particle physics and quantum field theory.


title: Additive Tridiagonal Codes over $\mathbb{F}_{4}$

abstract: In this paper, we introduce a additive Tridiagonal and Double-Tridiagonal codes over $\mathbb{F}_4$ and then we study the properties of the code. Also, we find the number of additive Tridiagonal codes over $\mathbb{F}_4.$ Finally, we study the applications of Double-Tridiagonal codes to secret sharing scheme based on matrix projection.


title: Temperature-linear Resistivity in Twisted Double Bilayer Graphene

abstract: We report an experimental study of carrier density (n), displacement field (D) and twist angle ({\theta}) dependence of temperature (T)-linear resistivity in twisted double bilayer graphene (TDBG). For a large twist angle ({\theta}>1.5{\deg}) where correlated insulating states are absent, we observe a T-linear resistivity (with the slope of the order ~10{\Omega}/K) over a wide range of carrier density and its slope decreases with increasing of n, in agreement with acoustic phonon scattering model semi-quantitatively. The slope of T-linear resistivity is non-monotonically dependent on the displacement field with a single peak structure. For device with {\theta}~1.23{\deg} at which correlated states emerge, the slope of T-linear resistivity is found maximum (~100{\Omega}/K) at the boundary of the halo structure where phase transition occurs, with signatures of continuous phase transition, Planckian dissipation, and the diverging effective mass; these observations are in line with quantum critical behaviors, which might be due to the symmetry-breaking instability at the critical points. Our results shed new light on correlated physics in TDBG and other twisted moir\'e systems.


title: Implementing an expert system to evaluate technical solutions innovativeness

abstract: The paper presents a possible solution to the problem of algorithmization for quantifying inno-vativeness indicators of technical products, inventions and technologies. The concepts of technological nov-elty, relevance and implementability as components of product innovation criterion are introduced. Authors propose a model and algorithm to calculate every of these indicators of innovativeness under conditions of incompleteness and inaccuracy, and sometimes inconsistency of the initial information. The paper describes the developed specialized software that is a promising methodological tool for using interval estimations in accordance with the theory of evidence. These estimations are used in the analysis of complex multicomponent systems, aggregations of large volumes of fuzzy and incomplete data of various structures. Composition and structure of a multi-agent expert system are presented. The purpose of such system is to process groups of measurement results and to estimate indicators values of objects innovativeness. The paper defines active elements of the system, their functionality, roles, interaction order, input and output inter-faces, as well as the general software functioning algorithm. It describes implementation of software modules and gives an example of solving a specific problem to determine the level of technical products innovation.


title: Toward Orbital-Free Density Functional Theory with Small Data Sets and Deep Learning

abstract: We use voxel deep neural networks to predict energy densities and functional derivatives of electron kinetic energies for the Thomas-Fermi model and Kohn-Sham density functional theory calculations. We show that the ground-state electron density can be found via direct minimization for a graphene lattice without any projection scheme using a voxel deep neural network trained with the Thomas-Fermi model. Additionally, we predict the kinetic energy of a graphene lattice within chemical accuracy after training from only 2 Kohn-Sham density functional theory (DFT) calculations. We identify an important sampling issue inherent in Kohn-Sham DFT calculations and propose future work to rectify this problem. Furthermore, we demonstrate an alternative, functional derivative-free, Monte Carlo based orbital free density functional theory algorithm to calculate an accurate 2-electron density in a double inverted Gaussian potential with a machine-learned kinetic energy functional.


title: Breaking Community Boundary: Comparing Academic and Social Communication Preferences regarding Global Pandemics

abstract: The global spread of COVID-19 has caused pandemics to be widely discussed. This is evident in the large number of scientific articles and the amount of user-generated content on social media. This paper aims to compare academic communication and social communication about the pandemic from the perspective of communication preference differences. It aims to provide information for the ongoing research on global pandemics, thereby eliminating knowledge barriers and information inequalities between the academic and the social communities. First, we collected the full text and the metadata of pandemic-related articles and Twitter data mentioning the articles. Second, we extracted and analyzed the topics and sentiment tendencies of the articles and related tweets. Finally, we conducted pandemic-related differential analysis on the academic community and the social community. We mined the resulting data to generate pandemic communication preferences (e.g., information needs, attitude tendencies) of researchers and the public, respectively. The research results from 50,338 articles and 927,266 corresponding tweets mentioning the articles revealed communication differences about global pandemics between the academic and the social communities regarding the consistency of research recognition and the preferences for particular research topics. The analysis of large-scale pandemic-related tweets also confirmed the communication preference differences between the two communities.


title: Every nice graph is $(1,5)$-choosable

abstract: A graph $G=(V,E)$ is total weight $(k,k')$-choosable if the following holds: For any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a proper $L$-total weighting, i.e., a map $\phi: V \cup E \to \mathbb{R}$ such that $\phi(z) \in L(z)$ for $z \in V \cup E$, and $\sum_{e \in E(u)}\phi(e)+\phi(u) \ne \sum_{e \in E(v)}\phi(e)+\phi(v)$ for every edge $\{u,v\}$. A graph is called nice if it contains no isolated edges. As a strengthening of the famous 1-2-3 conjecture, it was conjectured in [T. Wong and X. Zhu, Total weigt choosability of graphs, J. Graph Th. 66 (2011),198-212] that every nice graph is total weight $(1,3)$-choosable. The problem whether there is a constant $k$ such that every nice graph is total weight $(1,k)$-choosable remained open for a decade and was recently solved by Cao [L. Cao, Total weight choosability of graphs: Towards the 1-2-3 conjecture, J. Combin. Th. B, 149(2021), 109-146], who proved that every nice graph is total weight $(1, 17)$-choosable. This paper improves this result and proves that every nice graph is total weight $(1, 5)$-choosable.


title: Epigenetic evolution of deep convolutional models

abstract: In this study, we build upon a previously proposed neuroevolution framework to evolve deep convolutional models. Specifically, the genome encoding and the crossover operator are extended to make them applicable to layered networks. We also propose a convolutional layer layout which allows kernels of different shapes and sizes to coexist within the same layer, and present an argument as to why this may be beneficial. The proposed layout enables the size and shape of individual kernels within a convolutional layer to be evolved with a corresponding new mutation operator. The proposed framework employs a hybrid optimisation strategy involving structural changes through epigenetic evolution and weight update through backpropagation in a population-based setting. Experiments on several image classification benchmarks demonstrate that the crossover operator is sufficiently robust to produce increasingly performant offspring even when the parents are trained on only a small random subset of the training dataset in each epoch, thus providing direct confirmation that learned features and behaviour can be successfully transferred from parent networks to offspring in the next generation.


title: Peculiarities and evolution of Raman spectra of multilayer Ge/Si(001) heterostructures containing arrays of low-temperature MBE-grown Ge quantum dots of different size and number density: Experimental studies and numerical simulations

abstract: Ge/Si(001) multilayer heterostructures containing arrays of low-temperature self-assembled Ge quantum dots and very thin Si$_x$Ge$_{1-x}$ layers of varying composition and complex geometry have been studied using Raman spectroscopy and scanning tunneling microscopy. The dependence of Raman spectra on the effective thickness of deposited Ge layers has been investigated in detail in the range from 4 to 18 \r{A}. The position and shape of both Ge and SiGe vibrational modes are of great interest since they are closely related to the strain and composition of the material that plays a role of active component in perspective optoelectronic devices based on such structures. In this work, we present an explanation for some peculiar features of Raman spectra, which makes it possible to control the quality of the grown heterostructures more effectively. A dramatic increase of intensity of both the Ge$-$Ge and Si$-$Ge bands for the structure containing Ge layers of 10 \r{A} and anomalous shift and broadening of the Si$-$Ge band for structures comprising Ge layers of 8 and 9 \r{A} thick were observed. In our model, the anomalous behavior of the Raman spectra with the change of thickness of deposited Ge is connected with the flatness of Ge layers as well as transitional SiGe domains formed via the stress-induced diffusion from {105} facets of quantum dots. The conclusions are supported by the STM studies and the numerical calculations.


title: Financial Markets Prediction with Deep Learning

abstract: Financial markets are difficult to predict due to its complex systems dynamics. Although there have been some recent studies that use machine learning techniques for financial markets prediction, they do not offer satisfactory performance on financial returns. We propose a novel one-dimensional convolutional neural networks (CNN) model to predict financial market movement. The customized one-dimensional convolutional layers scan financial trading data through time, while different types of data, such as prices and volume, share parameters (kernels) with each other. Our model automatically extracts features instead of using traditional technical indicators and thus can avoid biases caused by selection of technical indicators and pre-defined coefficients in technical indicators. We evaluate the performance of our prediction model with strictly backtesting on historical trading data of six futures from January 2010 to October 2017. The experiment results show that our CNN model can effectively extract more generalized and informative features than traditional technical indicators, and achieves more robust and profitable financial performance than previous machine learning approaches.


title: A dose-effect network meta-analysis model: an application in antidepressants

abstract: Network meta-analysis (NMA) has been used to answer a range of clinical questions about the preferable intervention for a given condition. Although the effectiveness and safety of pharmacological agents depend on the dose administered, NMA applications typically ignore the role that drugs dosage play on the results. This leads to more heterogeneity in the network. In this paper we present a suite of network meta-analysis models that incorporates the dose-effect relationship (DE-NMA) using restricted cubic splines (RCS). We extend the model into a dose-effect network meta-regression to account for study-level covariates and for groups of agents in a class-effect DE-NMA model. We apply the models to a network of aggregate data about the efficacy of 21 antidepressants and placebo for depression. We found that all antidepressants are more efficacious than placebo after a certain dose. We also identify the dose level in which each antidepressant effect exceeds that of placebo and estimate the dose beyond the effect of the antidepressants no longer increases. The DE-NMA model with RCS takes a flexible approach to modelling the dose-effect relationship in multiple interventions, so decision-makers can use them to inform treatment choice.


title: Direct-write laser-induced self-organization and metallization beyond the focal volume in tellurite glass

abstract: We report on a self-organized process initiated on a potassium-tungsten-tellurite glass surface under repetitive femtosecond laser irradiation in a regime where cumulative effects lead to a localized melting. Specifically, we show that self-organized periodic patterns consisting of parallel nanoplanes perpendicular to the laser polarization are forming and extending beyond the zone under direct laser exposure. Examination of the modified regions revealed a phase change from a glassy tellurium-oxide to a crystalline elemental tellurium. In addition, we observe that this self-organization process, associated with elemental redistribution and deoxygenation, is triggered by the optical-field strength. We suggest that early self-organized nanostructures formed by a local-field enhancement is subsequently reinforced by a metallization event in an open-air atmosphere.


title: An approach utilizing negation of extended-dimensional vector of disposing mass for ordinal evidences combination in a fuzzy environment

abstract: How to measure the degree of uncertainty of a given frame of discernment has been a hot topic for years. A lot of meaningful works have provided some effective methods to measure the degree properly. However, a crucial factor, sequence of propositions, is missing in the definition of traditional frame of discernment. In this paper, a detailed definition of ordinal frame of discernment has been provided. Besides, an innovative method utilizing a concept of computer vision to combine the order of propositions and the mass of them is proposed to better manifest relationships between the two important element of the frame of discernment. More than that, a specially designed method covering some powerful tools in indicating the degree of uncertainty of a traditional frame of discernment is also offered to give an indicator of level of uncertainty of an ordinal frame of discernment on the level of vector.


title: An Approach to Symbolic Regression Using Feyn

abstract: In this article we introduce the supervised machine learning tool called Feyn. The simulation engine that powers this tool is called the QLattice. The QLattice is a supervised machine learning tool inspired by Richard Feynman's path integral formulation, that explores many potential models that solves a given problem. It formulates these models as graphs that can be interpreted as mathematical equations, allowing the user to completely decide on the trade-off between interpretability, complexity and model performance. We touch briefly upon the inner workings of the QLattice, and show how to apply the python package, Feyn, to scientific problems. We show how it differs from traditional machine learning approaches, what it has in common with them, as well as some of its commonalities with symbolic regression. We describe the benefits of this approach as opposed to black box models. To illustrate this, we go through an investigative workflow using a basic data set and show how the QLattice can help you reason about the relationships between your features and do data discovery.


title: Contrastive Learning of Global-Local Video Representations

abstract: Contrastive learning has delivered impressive results for various tasks in the self-supervised regime. However, existing approaches optimize for learning representations specific to downstream scenarios, i.e., \textit{global} representations suitable for tasks such as classification or \textit{local} representations for tasks such as detection and localization. While they produce satisfactory results in the intended downstream scenarios, they often fail to generalize to tasks that they were not originally designed for. In this work, we propose to learn video representations that generalize to both the tasks which require global semantic information (e.g., classification) and the tasks that require local fine-grained spatio-temporal information (e.g., localization). We achieve this by optimizing two contrastive objectives that together encourage our model to learn global-local visual information given audio signals. We show that the two objectives mutually improve the generalizability of the learned global-local representations, significantly outperforming their disjointly learned counterparts. We demonstrate our approach on various tasks including action/sound classification, lip reading, deepfake detection, event and sound localization (https://github.com/yunyikristy/global\_local).


title: Raychaudhuri Equation,Geometrical Flows and Geometrical Entropy

abstract: Raychaudhuri equation is derived by assuming geometric flow in spacetime M of n+1 dimensions. The equation turns into a harmonic oscillator form under suitable transformations.Thereby a relation between geometrical entropy and mean geodesic deviation is established. This has a connection to chaos theory where the trajectories diverge exponentially. We discuss its application to cosmology and black holes. Thus we present a connection between chaos theory and general relativity.


title: Rotated Odometers and Actions on Rooted Trees

abstract: A rotated odometer is an infinite interval exchange transformation (IET) obtained as a composition of the von Neumann-Kakutani map and a finite IET of intervals of equal length. In this paper, we consider rotated odometers for which the finite IET is of intervals of length $2^{-N}$, for some $N \geq 1$. We show that every such system is measurably isomorphic to a $\mathbb{Z}$-action on a rooted tree, and that the unique minimal aperiodic subsystem of this action is always measurably isomorphic to the action of the adding machine. We discuss the applications of this work to the study of group actions on binary trees.


title: NullaNet Tiny: Ultra-low-latency DNN Inference Through Fixed-function Combinational Logic

abstract: While there is a large body of research on efficient processing of deep neural networks (DNNs), ultra-low-latency realization of these models for applications with stringent, sub-microsecond latency requirements continues to be an unresolved, challenging problem. Field-programmable gate array (FPGA)-based DNN accelerators are gaining traction as a serious contender to replace graphics processing unit/central processing unit-based platforms considering their performance, flexibility, and energy efficiency. This paper presents NullaNet Tiny, an across-the-stack design and optimization framework for constructing resource and energy-efficient, ultra-low-latency FPGA-based neural network accelerators. The key idea is to replace expensive operations required to compute various filter/neuron functions in a DNN with Boolean logic expressions that are mapped to the native look-up tables (LUTs) of the FPGA device (examples of such operations are multiply-and-accumulate and batch normalization). At about the same level of classification accuracy, compared to Xilinx's LogicNets, our design achieves 2.36$\times$ lower latency and 24.42$\times$ lower LUT utilization.


title: ELO System for Skat and Other Games of Chance

abstract: Assessing the skill level of players to predict the outcome and to rank the players in a longer series of games is of critical importance for tournament play. Besides weaknesses, like an observed continuous inflation, through a steadily increasing playing body, the ELO ranking system, named after its creator Arpad Elo, has proven to be a reliable method for calculating the relative skill levels of players in zero-sum games. The evaluation of player strength in trick-taking card games like Skat or Bridge, however, is not obvious. Firstly, these are incomplete information partially observable games with more than one player, where opponent strength should influence the scoring as it does in existing ELO systems. Secondly, they are game of both skill and chance, so that besides the playing strength the outcome of a game also depends on the deal. Last but not least, there are internationally established scoring systems, in which the players are used to be evaluated, and to which ELO should align. Based on a tournament scoring system, we propose a new ELO system for Skat to overcome these weaknesses.


title: Knowledge-Based Paranoia Search in Trick-Taking

abstract: This paper proposes \emph{knowledge-based paraonoia search} (KBPS) to find forced wins during trick-taking in the card game Skat; for some one of the most interesting card games for three players. It combines efficient partial information game-tree search with knowledge representation and reasoning. This worst-case analysis, initiated after a small number of tricks, leads to a prioritized choice of cards. We provide variants of KBPS for the declarer and the opponents, and an approximation to find a forced win against most worlds in the belief space. Replaying thousands of expert games, our evaluation indicates that the AIs with the new algorithms perform better than humans in their play, achieving an average score of over 1,000 points in the agreed standard for evaluating Skat tournaments, the extended Seeger system.


title: A novel two-mechanism full battery model for solid state Li-ion batteries: review and comparisons

abstract: In recent years there has been a major interest in developing all solid state batteries, for the sake of safety (issues due to toxic and flammable organic liquid electrolytes are well known) as well as of high energy density \cite{SCHNELL2018160,Zheng2018}. Side by side to experimental investigations, computational simulations \cite{GrazioliEtAlCM2016} unveil the several physics that interconnect at different scales \cite{LiMonroeARCBM2020} during battery operations. %Several advanced mathematical models have therefore been published \cite{bistriM2020}. We propose herein a new advanced model, which is multiscale compatible and fully three dimensional in nature. Furthermore, we review some classical or inspiring models, highlighting the conceptual evolutions that are ultimately collected in our work. The model is validated against experimental evidences of a Li/LiPON/LiCoO$_2$ thin film battery published in \cite{Danilovetal2011}.


title: Ranking Sets of Objects: The Complexity of Avoiding Impossibility Results

abstract: The problem of lifting a preference order on a set of objects to a preference order on a family of subsets of this set is a fundamental problem with a wide variety of applications in AI. The process is often guided by axioms postulating properties the lifted order should have. Well-known impossibility results by Kannai and Peleg and by Barber\`a and Pattanaik tell us that some desirable axioms - namely dominance and (strict) independence - are not jointly satisfiable for any linear order on the objects if all non-empty sets of objects are to be ordered. On the other hand, if not all non-empty sets of objects are to be ordered, the axioms are jointly satisfiable for all linear orders on the objects for some families of sets. Such families are very important for applications as they allow for the use of lifted orders, for example, in combinatorial voting. In this paper, we determine the computational complexity of recognizing such families. We show that it is $\Pi_2^p$-complete to decide for a given family of subsets whether dominance and independence or dominance and strict independence are jointly satisfiable for all linear orders on the objects if the lifted order needs to be total. Furthermore, we show that the problem remains coNP-complete if the lifted order can be incomplete. Additionally, we show that the complexity of these problem can increase exponentially if the family of sets is not given explicitly but via a succinct domain restriction. Finally, we show that it is NP-complete to decide for family of subsets whether dominance and independence or dominance and strict independence are jointly satisfiable for at least one linear orders on the objects.


title: JefiGPU: Jefimenko's Equations on GPU

abstract: We have implemented a GPU version of the Jefimenko's equations -- JefiGPU. Given the proper distributions of the source terms $\rho$ (charge density) and $\mathbf{J}$ (current density) in the source volume, the algorithm gives the electromagnetic fields in the observational region (not necessarily overlaps the vicinity of the sources). To verify the accuracy of the GPU implementation, we have compared the obtained results with that of the theoretical ones. Our results show that the deviations of the GPU results from the theoretical ones are around 5\%. Meanwhile, we have also compared the performance of the GPU implementation with a CPU version. The simulation results indicate that the GPU code is significantly faster than the CPU version. Finally, we have studied the parameter dependence of the execution time and memory consumption on one NVIDIA Tesla V100 card. Our code can be consistently coupled to RBG (Relativistic Boltzmann equations on GPUs) and many other GPU-based algorithms in physics.

categories: physics.comp-ph astro-ph.IM hep-ph physics.geo-ph


title: 2D Nb-doped MoS$_2$: Tuning the Exciton Transitions and Application to p-type FETs

abstract: Two-dimensional (2D) MoS$_2$ has been intensively investigated for its use in the fields of microelectronics, nanoelectronics, and optoelectronics. However, intrinsic 2D MoS$_2$ is usually used as the n-type semiconductor due to the unintentional sulphur vacancies and surface gas adsorption.The synthesis and characterization of 2D MoS$_2$ semiconductor of p-type are crucial for the development of relevant p-n junction devices, as well as the practical applications of 2D MoS$_2$ in the next-generation CMOS integrated circuit. Here, we synthesize high-quality, wafer-scale, 2D p-type MoS$_2$ (Mo$_{1-x}$Nb$_x$S$_2$) with various niobium (Nb) mole fractions from 0 to 7.6% by a creative two-step method. The dielectric functions of 2D Mo1-xNbxS2 are accurately determined by spectroscopic ellipsometry. We find that the increasing fraction of Nb dopant in 2D MoS$_2$ can modulate and promote the combination of A and B exciton peaks of 2D MoS$_2$. The direct causes of this impurity-tunable combination are interpreted as the joint influence of decreasing peak A and broadening peak B. We explain the broadening peak B as the multiple transitions from the impurity-induced valance bands to the conductive band minimum at K point of Brillouin zone by comparing and analyzing the simulated electronic structure of intrinsic and 2D Nb-doped MoS$_2$. A p-type FET based on the 2D Nb-doped MoS$_2$ was fabricated for characterization, and its working performance is expected to be adjustable as a function of concentration of Nb dopant according to our theoretical research. Our study is informative for comprehending optical and electronic properties of extrinsic 2D transitional metal dichalcogenides, which is important and imperative for the development and optimization of corresponding photonics and optoelectronics devices.


title: Blockchain technology for a Safe and Transparent Covid-19 Vaccination

abstract: In late 2019, we witnessed the apparition of the covid-19 virus. The virus appeared first in Wuhan, and due to people travel was spread worldwide. Exponential spread as well as high mortality rates, the two characteristics of the SARS-CoV-2 virus that pushed the entire world into a global lock-down. Health and economic crisis, along with social distancing have put the globe in a highly challenging situation. Unprecedented pressure on the health care system exposed many loopholes not only in this industry but many other sectors, which resulted in a set of new challenges that researchers and scientists among others must face. In all these circumstances, we could attend, in a surprisingly short amount of time, the creation of multiple vaccine candidates. The vaccines were clinically tested and approved, which brought us to the phase of vaccination. Safety, security, transparency, and traceability are highly required in this context. As a contribution to assure an efficient vaccination campaign, in this paper we suggest a Blockchain-based system to manage the registration, storage, and distribution of the vaccines.


title: Discrete calculus of variations and Boltzmann distribution without Stirling's approximation

abstract: A \emph{double extrema form} of the calculus of variations is put forward in which only the smallest one of the finite differences is physically meaningful to represent the variational derivatives defined on the discrete points. The most probable distribution for the Boltzmann system is then reproduced without the Stirling's approximation, and free from other theoretical problems.


title: Blazer: Laser Scanning Simulation using Physically Based Rendering

abstract: Line laser scanners are a sub-type of structured light 3D scanners that are relatively common devices to find within the industrial setting, typically in the context of assembly, process control, and welding. Despite its extensive use, scanning of some materials remain a difficult or even impossible task without additional pre-processing. For instance, materials which are shiny, or transparent. In this paper, we present a Blazer, a virtual line laser scanner that, combined with physically based rendering, produces synthetic data with a realistic light-matter interaction, and hence realistic appearance. This makes it eligible for the use as a tool in the development of novel algorithms, and in particular as a source of synthetic data for training of machine learning models. Similar systems exist for synthetic RGB-D data generation, but to our knowledge this the first publicly available implementation for synthetic line laser data. We release this implementation under an open-source license to aid further research on line laser scanners.


title: Burgers Equation vs. Large $N$ Limit in $T\bar{T}$-deformed $O(N)$ Vector Model

abstract: We study a $T\bar{T}$-deformed $O(N)$ vector model, which is classically equivalent to the Nambu-Goto action with static gauge. The thermal free energy density can be computed exactly by using the Burgers equation as a special property of $T\bar{T}$-deformation. The resulting expression is valid for an arbitrary value of $N$. One may consider a large $N$ limit while preserving this expression. We try to derive this result in the field-theoretical approach directly by employing the large $N$ limit. As a result, the leading contribution coincides with the exact one. That is, the $1/N$ corrections are cancelled out through a non-trivial mechanism.


title: A Conceptual Framework for Establishing Trust in Real World Intelligent Systems

abstract: Intelligent information systems that contain emergent elements often encounter trust problems because results do not get sufficiently explained and the procedure itself can not be fully retraced. This is caused by a control flow depending either on stochastic elements or on the structure and relevance of the input data. Trust in such algorithms can be established by letting users interact with the system so that they can explore results and find patterns that can be compared with their expected solution. Reflecting features and patterns of human understanding of a domain against algorithmic results can create awareness of such patterns and may increase the trust that a user has in the solution. If expectations are not met, close inspection can be used to decide whether a solution conforms to the expectations or whether it goes beyond the expected. By either accepting or rejecting a solution, the user's set of expectations evolves and a learning process for the users is established. In this paper we present a conceptual framework that reflects and supports this process. The framework is the result of an analysis of two exemplary case studies from two different disciplines with information systems that assist experts in their complex tasks.


title: Multilingual Language Models Predict Human Reading Behavior

abstract: We analyze if large language models are able to predict patterns of human reading behavior. We compare the performance of language-specific and multilingual pretrained transformer models to predict reading time measures reflecting natural human sentence processing on Dutch, English, German, and Russian texts. This results in accurate models of human reading behavior, which indicates that transformer models implicitly encode relative importance in language in a way that is comparable to human processing mechanisms. We find that BERT and XLM models successfully predict a range of eye tracking features. In a series of experiments, we analyze the cross-domain and cross-language abilities of these models and show how they reflect human sentence processing.


title: Higher Lelong numbers versus full Monge-Amp\`ere mass

abstract: We prove a recent conjecture of Chi Li relating the notion of higher Lelong numbers to that of full Monge-Amp\`ere mass.


title: Neural Network for Weighted Signal Temporal Logic

abstract: In this paper, we propose a neuro-symbolic framework called weighted Signal Temporal Logic Neural Network (wSTL-NN) that combines the characteristics of neural networks and temporal logics. Weighted Signal Temporal Logic (wSTL) formulas are recursively composed of subformulas that are combined using logical and temporal operators. The quantitative semantics of wSTL is defined such that the quantitative satisfaction of subformulas with higher weights has more influence on the quantitative satisfaction of the overall wSTL formula. In the wSTL-NN, each neuron corresponds to a wSTL subformula, and its output corresponds to the quantitative satisfaction of the formula. We use wSTL-NN to represent wSTL formulas as features to classify time series data. STL features are more explainable than those used in classical methods. The wSTL-NN is end-to-end differentiable, which allows learning of wSTL formulas to be done using back-propagation. To reduce the number of weights, we introduce two techniques to sparsify the wSTL-NN.We apply our framework to an occupancy detection time-series dataset to learn a classifier that predicts the occupancy status of an office room.


title: Domain-wall roughness in GdFeCo thin films: crossover length scales and roughness exponents

abstract: Domain-wall dynamics and spatial fluctuations are closely related to each other and to universal features of disordered systems. Experimentally measured roughness exponents characterizing spatial fluctuations have been reported for magnetic thin films, with values generally different from those predicted by the equilibrium, depinning and thermal reference states. Here, we study the roughness of domain walls in GdFeCo thin films over a large range of magnetic field and temperature. Our analysis is performed in the framework of a model considering length-scale crossovers between the reference states, which is shown to bridge the differences between experimental results and theoretical predictions. We also quantify for the first time the size of the depinning avalanches below the depinning field at finite temperatures.


title: Symmetry reduction for deep reinforcement learning active control of chaotic spatiotemporal dynamics

abstract: Deep reinforcement learning (RL) is a data-driven, model-free method capable of discovering complex control strategies for macroscopic objectives in high-dimensional systems, making its application towards flow control promising. Many systems of flow control interest possess symmetries that, when neglected, can significantly inhibit the learning and performance of a naive deep RL approach. Using a test-bed consisting of the Kuramoto-Sivashinsky Equation (KSE), equally spaced actuators, and a goal of minimizing dissipation and power cost, we demonstrate that by moving the deep RL problem to a symmetry-reduced space, we can alleviate limitations inherent in the naive application of deep RL. We demonstrate that symmetry-reduced deep RL yields improved data efficiency as well as improved control policy efficacy compared to policies found by naive deep RL. Interestingly, the policy learned by the the symmetry aware control agent drives the system toward an equilibrium state of the forced KSE that is connected by continuation to an equilibrium of the unforced KSE, despite having been given no explicit information regarding its existence. I.e., to achieve its goal, the RL algorithm discovers and stabilizes an equilibrium state of the system. Finally, we demonstrate that the symmetry-reduced control policy is robust to observation and actuation signal noise, as well as to system parameters it has not observed before.


title: Actors -- A Process Algebra Based Approach

abstract: We model actors based on truly concurrent process algebra, and capture the actor model in the following characteristics: (1) Concurrency: all actors execute concurrently; (2) Asynchrony: an actor receives and sends messages asynchronously; (3) Uniqueness: an actor has a unique name and the associate unique mail box name; (4) Concentration: an actor focuses on the processing messages, including some local computations, creations of some new actors, and sending some messages to other actors; (5) Communication Dependency: the only way of affecting an actor is sending a message to it; (6) Abstraction: except for the receiving and sending message, and creating new actors, the local computations are abstracted; (7) Persistence: an actor does not disappear after processing a message. Truly concurrent process algebra has rich expressive ability to model the above characteristics of actors, and more importantly, they are models for true concurrency, Comparing with other models of actors, the truly concurrent process algebra based model has the following advantages: (1) The truly concurrent process algebra has rich expressive abilities to describe almost all characteristics of actors, especially for asynchronous communication, actor creation, recursion, abstraction, etc; (2) The truly concurrent process algebra and actors are all models for true concurrency, and have inborn intimacy; (3) The truly concurrent process algebra has a firm semantics foundation and a powerful proof theory, the correctness of an actor system can be proven easily.


title: Tensor Network for Supervised Learning at Finite Temperature

abstract: The large variation of datasets is a huge barrier for image classification tasks. In this paper, we embraced this observation and introduce the finite temperature tensor network (FTTN), which imports the thermal perturbation into the matrix product states framework by placing all images in an environment with constant temperature, in analog to energy-based learning. Tensor network is chosen since it is the best platform to introduce thermal fluctuation. Different from traditional network structure which directly takes the summation of individual losses as its loss function, FTTN regards it as thermal average loss computed from the entanglement with the environment. The temperature-like parameter can be automatically optimized, which gives each database an individual temperature. FTTN obtains improvement in both test accuracy and convergence speed in several datasets. The non-zero temperature automatically separates similar features, avoiding the wrong classification in previous architecture. The thermal fluctuation may give a better improvement in other frameworks, and we may also implement the temperature of database to improve the training effect.


title: Wormhole solutions in $f(R)$ Gravity

abstract: In this work, we have studied the traversable wormholes geometry in $f(R)$ theory gravity, where $R$ be the Ricci scalar. The wormhole solution for some assumed $f(R)$ functions have been presented. The assumption of $f(R)$ is based on the fact that its behaviour changed with an assumed parameter $\alpha$ rather than the deceleration parameter. Three models are presented based on the physically motivated shape function and their behaviours are studied.


title: Unsuitability of NOTEARS for Causal Graph Discovery

abstract: Causal Discovery methods aim to identify a DAG structure that represents causal relationships from observational data. In this article, we stress that it is important to test such methods for robustness in practical settings. As our main example, we analyze the NOTEARS method, for which we demonstrate a lack of scale-invariance. We show that NOTEARS is a method that aims to identify a parsimonious DAG from the data that explains the residual variance. We conclude that NOTEARS is not suitable for identifying truly causal relationships from the data.


title: Out-of-distribution detection in satellite image classification

abstract: In satellite image analysis, distributional mismatch between the training and test data may arise due to several reasons, including unseen classes in the test data and differences in the geographic area. Deep learning based models may behave in unexpected manner when subjected to test data that has such distributional shifts from the training data, also called out-of-distribution (OOD) examples. Predictive uncertainly analysis is an emerging research topic which has not been explored much in context of satellite image analysis. Towards this, we adopt a Dirichlet Prior Network based model to quantify distributional uncertainty of deep learning models for remote sensing. The approach seeks to maximize the representation gap between the in-domain and OOD examples for a better identification of unknown examples at test time. Experimental results on three exemplary test scenarios show the efficacy of the model in satellite image analysis.


title: Trusting small training dataset for supervised change detection

abstract: Deep learning (DL) based supervised change detection (CD) models require large labeled training data. Due to the difficulty of collecting labeled multi-temporal data, unsupervised methods are preferred in the CD literature. However, unsupervised methods cannot fully exploit the potentials of data-driven deep learning and thus they are not absolute alternative to the supervised methods. This motivates us to look deeper into the supervised DL methods and investigate how they can be adopted intelligently for CD by minimizing the requirement of labeled training data. Towards this, in this work we show that geographically diverse training dataset can yield significant improvement over less diverse training datasets of the same size. We propose a simple confidence indicator for verifying the trustworthiness/confidence of supervised models trained with small labeled dataset. Moreover, we show that for the test cases where supervised CD model is found to be less confident/trustworthy, unsupervised methods often produce better result than the supervised ones.


title: Model predictive control for linear uncertain systems using integral quadratic constraints

abstract: In this work, we propose a tube-based MPC scheme for state- and input-constrained linear systems subject to dynamic uncertainties characterized by dynamic integral quadratic constraints (IQCs). In particular, we extend the framework of $\rho$-hard IQCs for exponential stability analysis to external inputs. This result yields that the error between the true uncertain system and the nominal prediction model is bounded by an exponentially stable scalar system. In the proposed tube-based MPC scheme, the state of this error bounding system is predicted along with the nominal model and used as a scaling parameter for the tube size. We prove that this method achieves robust constraint satisfaction and input-to-state stability despite dynamic uncertainties and additive bounded disturbances. A numerical example demonstrates the reduced conservatism of this IQC approach compared to state-of-the-art robust MPC approaches for dynamic uncertainties.


title: Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions

abstract: In many applications, solutions of convex optimization problems are updated on-line, as functions of time. In this paper, we consider parametric semidefinite programs, which are linear optimization problems in the semidefinite cone whose coefficients (input data) depend on a time parameter. We are interested in the geometry of the solution (output data) trajectory, defined as the set of solutions depending on the parameter. We propose an exhaustive description of the geometry of the solution trajectory. As our main result, we show that only six distinct behaviors can be observed at a neighborhood of a given point along the solution trajectory. Each possible behavior is then illustrated by an example.


title: High order cut discontinuous Galerkin methods for hyperbolic conservation laws in one space dimension

abstract: In this paper, we develop a family of high order cut discontinuous Galerkin (DG) methods for hyperbolic conservation laws in one space dimension. The ghost penalty stabilization is used to stabilize the scheme for small cut elements. The analysis shows that our proposed methods have similar stability and accuracy properties as the standard DG methods on a regular mesh. We also prove that the cut DG method with piecewise constants in space is total variation diminishing (TVD). We use the strong stability preserving Runge-Kutta method for time discretization and the time step is independent of the size of cut element. Numerical examples demonstrate that the cut DG methods are high order accurate for smooth problems and perform well for discontinuous problems.


title: Meta-Regularization: An Approach to Adaptive Choice of the Learning Rate in Gradient Descent

abstract: We propose \textit{Meta-Regularization}, a novel approach for the adaptive choice of the learning rate in first-order gradient descent methods. Our approach modifies the objective function by adding a regularization term on the learning rate, and casts the joint updating process of parameters and learning rates into a maxmin problem. Given any regularization term, our approach facilitates the generation of practical algorithms. When \textit{Meta-Regularization} takes the $\varphi$-divergence as a regularizer, the resulting algorithms exhibit comparable theoretical convergence performance with other first-order gradient-based algorithms. Furthermore, we theoretically prove that some well-designed regularizers can improve the convergence performance under the strong-convexity condition of the objective function. Numerical experiments on benchmark problems demonstrate the effectiveness of algorithms derived from some common $\varphi$-divergence in full batch as well as online learning settings.


title: Deep Transformer Networks for Time Series Classification: The NPP Safety Case

abstract: A challenging part of dynamic probabilistic risk assessment for nuclear power plants is the need for large amounts of temporal simulations given various initiating events and branching conditions from which representative feature extraction becomes complicated for subsequent applications. Artificial Intelligence techniques have been shown to be powerful tools in time-dependent sequential data processing to automatically extract and yield complex features from large data. An advanced temporal neural network referred to as the Transformer is used within a supervised learning fashion to model the time-dependent NPP simulation data and to infer whether a given sequence of events leads to core damage or not. The training and testing datasets for the Transformer are obtained by running 10,000 RELAP5-3D NPP blackout simulations with the list of variables obtained from the RAVEN software. Each simulation is classified as "OK" or "CORE DAMAGE" based on the consequence. The results show that the Transformer can learn the characteristics of the sequential data and yield promising performance with approximately 99% classification accuracy on the testing dataset.


title: Current Overview of Statistical Fiber Bundles Model and Its Application to Physics-based Reliability Analysis of Thin-film Dielectrics

abstract: In this paper, we present a critical overview of statistical fiber bundles models. We discuss relevant aspects, like assumptions and consequences stemming from models in the literature and propose new ones. This is accomplished by concentrating on both the physical and statistical aspects of a specific load-sharing example, the breakdown (BD) for circuits of capacitors and related dielectrics. For series and parallel/series circuits (series/parallel reliability systems) of ordinary capacitors, the load-sharing rules are derived from the electrical laws. This with the BD formalism is then used to obtain the BD distribution of the circuit. The BD distribution and Gibbs measure are given for a series circuit and the size effects are illustrated for simulations of series and parallel/series circuits. This is related to the finite weakest link adjustments for the BD distribution that arise in large series/parallel reliability load-sharing systems, such as dielectric BD, from their extreme value approximations. An elementary but in-depth discussion of the physical aspects of SiO$_2$ and HfO$_2$ dielectrics and cell models is given. This is used to study a load-sharing cell model for the BD of HfO$_2$ dielectrics and the BD formalism. The latter study is based on an analysis of Kim and Lee (2004)'s data for such dielectrics. Here, several BD distributions are compared in the analysis and proportional hazard regression models are used to study the BD formalism. In addition, some areas of open research are discussed.


title: Deep learning using Havrda-Charvat entropy for classification of pulmonary endomicroscopy

abstract: Pulmonary optical endomicroscopy (POE) is an imaging technology in real time. It allows to examine pulmonary alveoli at a microscopic level. Acquired in clinical settings, a POE image sequence can have as much as 25% of the sequence being uninformative frames (i.e. pure-noise and motion artefacts). For future data analysis, these uninformative frames must be first removed from the sequence. Therefore, the objective of our work is to develop an automatic detection method of uninformative images in endomicroscopy images. We propose to take the detection problem as a classification one. Considering advantages of deep learning methods, a classifier based on CNN (Convolutional Neural Network) is designed with a new loss function based on Havrda-Charvat entropy which is a parametrical generalization of the Shannon entropy. We propose to use this formula to get a better hold on all sorts of data since it provides a model more stable than the Shannon entropy. Our method is tested on one POE dataset including 2947 distinct images, is showing better results than using Shannon entropy and behaves better with regard to the problem of overfitting. Keywords: Deep Learning, CNN, Shannon entropy, Havrda-Charvat entropy, Pulmonary optical endomicroscopy.


title: Quantum oscillations in the black hole horizon

abstract: By applying Rosen's quantization approach to the historical Oppenheimer and Snyder gravitational collapse and by setting the constraints for the formation of the Schwarzschild black hole (SBH), in a previous paper [1] two of the Authors (CC and FF) found the gravitational potential, the Schrodinger equation, the solution for the energy levels, the area quantum and the quantum representation of the ground state at the Planck scale of the SBH. Such results are consistent with previous ones in the literature. It was also shown that the traditional classical singularity in the core of the SBH is replaced by a quantum oscillator describing a non-singular two-particle system where the two components, named the "nucleus" and the "electron", strongly interact with each other through a quantum gravitational interaction. In agreement with the de Broglie hypothesis, the "electron" is interpreted in terms of the quantum oscillations of the BH horizon. In other words, the SBH should be the gravitational analogous of the hydrogen atom. In this paper, it is shown that these results allow us to compute the SBH entropy as a function of the BH principal quantum number in terms of Bekenstein-Hawking entropy and three sub-leading corrections. In addition, the coefficient of the formula of Bekenstein-Hawking entropy is reduced to a quarter of the traditional value. Then, it is shown that, by performing a correct rescaling of the energy levels, the semi-classical Bohr-like approach to BH quantum physics, previously developed by one of the Authors (CC), is consistent with the obtained results for large values of the BH principal quantum number. After this, Hawking radiation will be analysed by discussing its connection with the BH quantum structure. Finally, it is shown that the time evolution of the above mentioned system solves the BH information paradox.


title: Hosting exceptional points in 1D photonic bandgap waveguide for mode engineering

abstract: We report a planar 1D photonic bandgap waveguide exhibiting four second-order exceptional points (EP2s). The interactions between the selective pairs of supported quasi-guided TE modes are modulated by spatial distribution of transverse in-homogeneous gain-loss profile.


title: Long-Range Nematic Order in Two-Dimensional Active Matter

abstract: Working in two space dimensions, we show that the orientational order emerging from self-propelled polar particles aligning nematically is quasi-long-ranged beyond $\ell_{\rm r}$, the scale associated to induced velocity reversals, which is typically extremely large and often cannot even be measured. Below $\ell_{\rm r}$, nematic order is long-range. We construct and study a hydrodynamic theory for this de facto phase and show that its structure and symmetries differ from conventional descriptions of active nematics. We check numerically our theoretical predictions, in particular the presence of $\pi$-symmetric propagative sound modes, and provide estimates of all scaling exponents governing long-range space-time correlations.


title: A Branch-and-price procedure for clustering data that are graph connected

abstract: This paper studies the Graph-Connected Clique-Partitioning Problem (GCCP), a clustering optimization model in which units are characterized by both individual and relational data. This problem, introduced by Benati et al. (2017) under the name of Connected Partitioning Problem, shows that the combination of the two data types improves the clustering quality in comparison with other methodologies. Nevertheless, the resulting optimization problem is difficult to solve; only small-sized instances can be solved exactly, large-sized instances require the application of heuristic algorithms. In this paper we improve the exact and the heuristic algorithms previously proposed. Here, we provide a new Integer Linear Programming (ILP) formulation, that solves larger instances, but at the cost of using an exponential number of variables. In order to limit the number of variables necessary to calculate the optimum, the new ILP formulation is solved implementing a branch-and-price algorithm. The resulting pricing problem is itself a new combinatorial model: the Maximum-weighted Graph-Connected Single-Clique problem (MGCSC), that we solve testing various Mixed Integer Linear Programming (MILP) formulations and proposing a new fast "random shrink" heuristic. In this way, we are able to improve the previous algorithms: The branch-and-price method outperforms the computational times of the previous MILP algorithms and the new random shrink heuristic, when applied to GCCP, is both faster and more accurate than the previous heuristic methods. Moreover, the combination of column generation and random shrink is itself a new MILP-relaxed matheuristic that can be applied to large instances too. Its main advantage is that all heuristic local optima are combined together in a restricted MILP, consisting in the application of the exact branch-and-price method but solving heuristically the pricing problem.


title: Hilbert specialization of parametrized varieties

abstract: Hilbert specialization is an important tool in Field Arithmetic and Arithmetic Geometry, which has usually been intended for polynomials, hence hypersurfaces, and at scalar values. In this article, first, we extend this tool to prime ideals, hence affine varieties, and offer an application to the study of the irreducibility of the intersection of varieties. Then, encouraged by recent results, we consider the more general situation in which the specialization is done at polynomial values, instead of scalar values.


title: TermAdventure: Interactively Teaching UNIX Command Line, Text Adventure Style

abstract: Introductory UNIX courses are typically organized as lectures, accompanied by a set of exercises, whose solutions are submitted to and reviewed by the lecturers. While this arrangement has become standard practice, it often requires the use of an external tool or interface for submission and does not automatically check its correctness. That in turn leads to increased workload and makes it difficult to deal with potential plagiarism. In this work we present TermAdventure (TA), a suite of tools for creating interactive UNIX exercises. These resemble text adventure games, which immerse the user in a text environment and let them interact with it using textual commands. In our case the ''adventure'' takes place inside a UNIX system and the user interaction happens via the standard UNIX command line. The adventure is a set of exercises, which are presented and automatically evaluated by the system, all from within the command line environment. The suite is released under an open source license, has minimal dependencies and can be used either on a UNIX-style server or a desktop computer running any major OS platform through Docker. We also reflect on our experience of using the presented suite as the primary teaching tool for an introductory UNIX course for Data Scientists and discuss the implications of its deployment in similar courses. The suite is released under the terms of an open-source license at \url{https://github.com/NaiveNeuron/TermAdventure}.


title: Higher-order percolation processes on multiplex hypergraphs

abstract: Higher order interactions are increasingly recognised as a fundamental aspect of complex systems ranging from the brain to social contact networks. Hypergraph as well as simplicial complexes capture the higher-order interactions of complex systems and allow to investigate the relation between their higher-order structure and their function. Here we establish a general framework for assessing hypergraph robustness and we characterize the critical properties of simple and higher-order percolation processes. This general framework builds on the formulation of the random multiplex hypergraph ensemble where each layer is characterized by hyperedges of given cardinality. We reveal the relation between higher-order percolation processes in random multiplex hypergraphs, interdependent percolation of multiplex networks and K-core percolation. The structural correlations of the random multiplex hypergraphs are shown to have a significant effect on their percolation properties. The wide range of critical behaviors observed for higher-order percolation processes on multiplex hypergraphs elucidates the mechanisms responsible for the emergence of discontinuous transition and uncovers interesting critical properties which can be applied to the study of epidemic spreading and contagion processes on higher-order networks.


title: PGNet: Real-time Arbitrarily-Shaped Text Spotting with Point Gathering Network

abstract: The reading of arbitrarily-shaped text has received increasing research attention. However, existing text spotters are mostly built on two-stage frameworks or character-based methods, which suffer from either Non-Maximum Suppression (NMS), Region-of-Interest (RoI) operations, or character-level annotations. In this paper, to address the above problems, we propose a novel fully convolutional Point Gathering Network (PGNet) for reading arbitrarily-shaped text in real-time. The PGNet is a single-shot text spotter, where the pixel-level character classification map is learned with proposed PG-CTC loss avoiding the usage of character-level annotations. With a PG-CTC decoder, we gather high-level character classification vectors from two-dimensional space and decode them into text symbols without NMS and RoI operations involved, which guarantees high efficiency. Additionally, reasoning the relations between each character and its neighbors, a graph refinement module (GRM) is proposed to optimize the coarse recognition and improve the end-to-end performance. Experiments prove that the proposed method achieves competitive accuracy, meanwhile significantly improving the running speed. In particular, in Total-Text, it runs at 46.7 FPS, surpassing the previous spotters with a large margin.


title: Developing Annotated Resources for Internal Displacement Monitoring

abstract: This paper describes in details the design and development of a novel annotation framework and of annotated resources for Internal Displacement, as the outcome of a collaboration with the Internal Displacement Monitoring Centre, aimed at improving the accuracy of their monitoring platform IDETECT. The schema includes multi-faceted description of the events, including cause, quantity of people displaced, location and date. Higher-order facets aimed at improving the information extraction, such as document relevance and type, are proposed. We also report a case study of machine learning application to the document classification tasks. Finally, we discuss the importance of standardized schema in dataset benchmark development and its impact on the development of reliable disaster monitoring infrastructure.


title: An adaptive splitting algorithm for the sum of three operators

abstract: Splitting algorithms for finding a zero of sum of operators often involve multiple steps which are referred to as forward or backward steps. Forward steps are the explicit use of the operators and backward steps involve the operators implicitly via their resolvents. In this paper, we study an adaptive splitting algorithm for finding a zero of the sum of three operators. We assume that two of the operators are generalized monotone and their resolvents are computable, while the other operator is cocoercive but its resolvent is missing or costly to compute. Our splitting algorithm adapts new parameters to the generalized monotonicity of the operators and, at the same time, combines appropriate forward and backward steps to guarantee convergence to a solution of the problem.


title: Interpolating sequences for the Banach algebras generated by a class of test functions

abstract: Given a domain $\Omega$ in $\mathbb{C}^n$ and a collection of test functions $\Psi$ on $\Omega$, we consider the complex-valued $\Psi$-Schur-Agler class associated to the pair $(\Omega,\,\Psi)$. In this article, we characterize interpolating sequences for the associated Banach algebra of which the $\Psi$-Schur-Agler class is the closed unit ball. When $\Omega$ is the unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$ and the class of test function includes only the identity function on $\mathbb{D}$, the aforementioned algebra is the algebra of bounded holomorphic functions on $\mathbb{D}$ and in this case, our characterization reduces to the well known result by Carleson. Furthermore, we present several other cases of the pair $(\Omega,\,\Psi)$, where our main result could be applied to characterize interpolating sequences which also show the efficacy of our main result.


title: Frequency Selective Surfaces for High Sensitivity Terahertz Sensing

abstract: An apporach for the sensing of small amounts of chemical and biochemical material is presented. A frequency selective surface (FSS) made from asymmetric split ring resonators (aDSR) is excited with free space radiation. Due to interference effects a resonance occurs with a steep flank in the frequency response which is shifted upon dielectric loading. Utilizing a strong E-field concentration by selective loading the detection of very small amounts of probe material becomes possible. The functionality is proven by numerical simulation and the optimization of structure and loading is performed.


title: Scalable Power Control/Beamforming in Heterogeneous Wireless Networks with Graph Neural Networks

abstract: Machine learning (ML) has been widely used for efficient resource allocation (RA) in wireless networks. Although superb performance is achieved on small and simple networks, most existing ML-based approaches are confronted with difficulties when heterogeneity occurs and network size expands. In this paper, specifically focusing on power control/beamforming (PC/BF) in heterogeneous device-to-device (D2D) networks, we propose a novel unsupervised learning-based framework named heterogeneous interference graph neural network (HIGNN) to handle these challenges. First, we characterize diversified link features and interference relations with heterogeneous graphs. Then, HIGNN is proposed to empower each link to obtain its individual transmission scheme after limited information exchange with neighboring links. It is noteworthy that HIGNN is scalable to wireless networks of growing sizes with robust performance after trained on small-sized networks. Numerical results show that compared with state-of-the-art benchmarks, HIGNN achieves much higher execution efficiency while providing strong performance.


title: Convexity of $\lambda$-hypersurfaces

abstract: We prove that any $n$-dimensional closed mean convex $\lambda$-hypersurface is convex if $\lambda\le 0.$ This generalizes Guang's work on $2$-dimensional strictly mean convex $\lambda$-hypersurfaces. As a corollary, we obtain a gap theorem for closed $\lambda$-hypersurfaces with $\lambda\le 0.$


title: Convergence towards the Vlasov-Poisson Equation from the $N$-Fermionic Schr\"odinger Equation

abstract: We consider the quantum dynamics of $N$ interacting fermions in the large $N$ limit. The particles in the system interact with each other via repulsive interaction that is regularized Coulomb potential with a polynomial cutoff with respect to $N$.From the quantum system, we derive the Vlasov-Poisson system by simultaneously estimating the semiclassical and mean-field residues in terms of the Husimi measure.


title: Influences of Numerical Discretizations on Hitting Probabilities for Linear Stochastic Parabolic System

abstract: This paper investigates the influences of standard numerical discretizations on hitting probabilities for linear stochastic parabolic system driven by space-time white noises. We establish lower and upper bounds for hitting probabilities of the associated numerical solutions of both temporal and spatial semi-discretizations in terms of Bessel-Riesz capacity and Hausdorff measure, respectively. Moreover, the critical dimensions of both temporal and spatial semi-discretizations turn out to be half of those of the exact solution. This reveals that for a large class of Borel sets $A$, the probability of the event that the paths of the numerical solution hit $A$ cannot converge to that of the exact solution.


title: Understanding Prediction Discrepancies in Machine Learning Classifiers

abstract: A multitude of classifiers can be trained on the same data to achieve similar performances during test time, while having learned significantly different classification patterns. This phenomenon, which we call prediction discrepancies, is often associated with the blind selection of one model instead of another with similar performances. When making a choice, the machine learning practitioner has no understanding on the differences between models, their limits, where they agree and where they don't. But his/her choice will result in concrete consequences for instances to be classified in the discrepancy zone, since the final decision will be based on the selected classification pattern. Besides the arbitrary nature of the result, a bad choice could have further negative consequences such as loss of opportunity or lack of fairness. This paper proposes to address this question by analyzing the prediction discrepancies in a pool of best-performing models trained on the same data. A model-agnostic algorithm, DIG, is proposed to capture and explain discrepancies locally, to enable the practitioner to make the best educated decision when selecting a model by anticipating its potential undesired consequences. All the code to reproduce the experiments is available.


title: The exact worst-case convergence rate of the gradient method with fixed step lengths for L-smooth functions

abstract: In this paper, we study the convergence rate of the gradient (or steepest descent) method with fixed step lengths for finding a stationary point of an $L$-smooth function. We establish a new convergence rate, and show that the bound may be exact in some cases, in particular when all step lengths lie in the interval $(0,1/L]$. In addition, we derive an optimal step length with respect to the new bound.


title: A triple-mode mid-infrared modulator for all-surface radiative thermal management

abstract: Thermal management is ubiquitous in the modern world and indispensable for a sustainable future. Radiative heat management provides unique advantages because the heat transfer can be controlled by the surface. However, different surface emissivities require different tuning strategies. Here, we demonstrate a triple-mode mid-infrared modulator that can switch between passive heating and cooling suitable for all types of object surface emissivities. The device is composed of a surface-textured infrared-semi-transparent elastomer coated with a metallic back reflector, which is biaxially strained to sequentially achieve three fundamental modes: emission, reflection, and transmission. By analyzing and optimizing the coupling between optical and mechanical properties, we achieve a performance of emittance contrast = 0.58, transmittance contrast = 0.49, and reflectance contrast = 0.39. The device can provide a new design paradigm of radiation heat regulation to develop the next generation wearable devices, robotics, and camouflage technology.

categories: physics.app-ph cond-mat.mtrl-sci cond-mat.soft physics.optics


title: Building Mental Models through Preview of Autopilot Behaviors

abstract: Effective human-vehicle collaboration requires an appropriate un-derstanding of vehicle behavior for safety and trust. Improvingon our prior work by adding a future prediction module, we in-troduce our framework, calledAutoPreview, to enable humans topreview autopilot behaviors prior to direct interaction with thevehicle. Previewing autopilot behavior can help to ensure smoothhuman-vehicle collaboration during the initial exploration stagewith the vehicle. To demonstrate its practicality, we conducted acase study on human-vehicle collaboration and built a prototypeof our framework with the CARLA simulator. Additionally, weconducted a between-subject control experiment (n=10) to studywhether ourAutoPreviewframework can provide a deeper under-standing of autopilot behavior compared to direct interaction. Ourresults suggest that theAutoPreviewframework does, in fact, helpusers understand autopilot behavior and develop appropriate men-tal models


title: QCD sum rule analysis of Bottomonium ground states

abstract: The in-medium masses of the bottomonium ground states [$1S$ ($\Upsilon (1S), \eta_b$) and $1P$ ($\chi_{b0},\chi_{b1}$)] are investigated in the magnetized vacuum (nuclear medium), using the QCD sum rule framework. In QCD sum rule approach, the mass modifications are calculated in terms of the medium modifications of the scalar and twist-2 gluon condensates, which are obtained in the nuclear medium, from the medium change of a scalar dilaton field, $\chi$ within a chiral effective model. The in-medium masses of the bottomonium ground states are observed to decrease with increasing density. P-wave states are observed to have more appreciable mass-shifts than the S-wave states. In the present investigation, the effects of spin-mixing between 1S bottomonium states, $\Upsilon(1S)$ and $\eta_b$ are taking into account in presence of an external magnetic field. The contribution of magnetic fields are seen to be dominant via spin-magnetic field interaction effects, which leads to an appreciable rise and drop in the in-medium masses of the longitudinal component of vector $1S$ state ($\Upsilon$) and pseudoscalar state ($\eta_b$) respectively. For zero magnetic field, the effects of baryon density on the bottomonium ground states in isospin asymmetric nuclear medium are observed to be quite appreciable. These should have observable consequences for the production of the open and hidden bottom meson states resulting from high energy asymmetric nuclear collisions in facilities which probe high density baryonic matter. There is observed to be large contributions to the masses of the longitudinal component of the vector bottomonium state, $\Upsilon (1S)$ and pesudoscalar state $\eta_b$ in strong magnetic fields.


title: Nuclear Matrix Elements for Heavy Ion Sequential Double Charge Exchange Reactions

abstract: The theoretical approach to a sequential heavy ion double charge exchange reaction is presented. A brief introduction into the formal theory of second-order nuclear reactions and their application to Double Single Charge Exchange (DSCE) reactions by distorted wave theory is given, thereby completing the theoretical background to our recent work [1]. Formally, the DSCE reaction amplitudes are shown to be separable into superpositions of distortion factors, accounting for initial and final state ion--ion interactions, and nuclear matrix elements. A broad space is given to the construction of nuclear DSCE response functions on the basis of polarization propagator theory. The nuclear response tensors resemble the nuclear matrix elements of $2\nu\beta\beta$ decay in structure but contain in general a considerable more complex multipole and spin structure. The QRPA theory is used to derive explicit expressions for nuclear matrix elements (NMEs). The differences between the NME of the first and the second interaction vertexes in a DSCE reaction is elucidated. Reduction schemes for the transition form factors are discussed by investigating the closure approximation and the momentum structure of form factors. DSCE unit strength cross sections are derived.


title: Material-Dependencies of the THz Emission from Plasmonic Graphene-Based Photoconductive Antenna Structures

abstract: Graphene supports surface plasmon polaritons with comparatively slow propagation velocities in the THz region, which becomes increasingly interesting for future communication technologies. This ability can be used to realize compact antennas, which are up to two orders of magnitude smaller than their metallic counterparts. For a proper functionality of these antennas some minimum material requirements have to be fulfilled, which are presently difficult to achieve, since the fabrication and transfer technologies for graphene are still evolving. In this work we analyze available graphene materials experimentally and extract intrinsic characteristics at THz frequencies, in order to predict the dependency of the THz signal emission threshold as a function of the graphene relaxation time tau_r and the chemical potential mu_c.


title: Cutoff effects in Hartree-Fock calculations at leading order of chiral effective field theory

abstract: We explore the effects on nuclear bulk properties of using regularization cutoffs larger than the nucleon mass within the chiral effective field theory with a power counting that ensures order-by-order renormalization in the two-nucleon system. To do so we calculate ground-state properties of the $^{16}$O nucleus in the Hartree--Fock approach in a basis made up of plane waves confined in a cube. We find that regularization cutoff effects manifest themselves in two distinct ways: a strong sensitivity to the the counter-terms in attractive singular partial waves (related to the sign of the corresponding low-energy constant) and to the correction for spurious deeply bound states (for high enough cutoffs). In fact the latter happens to deprive the Hartree--Fock approximation of yielding bound solutions in nuclei. We conclude that, when using a leading-order chiral potential in the Nogga--Timmermans--van Kolck's power counting (with a regularization cutoff higher than the nucleon mass), one cannot produce a selfconsistent mean field free of spurious bound-state effects that can serve as a reference state for beyond-mean-field methods. For high regularization cutoffs which yield an attractive $^3S_1$ contact potential, one can at best incorporate in the mean-field solution a partial correction for spurious bound states. Then the remaining correction has to be added to the residual interaction in a treatment beyond the Hartree--Fock approximation. In fact a ``full'' correction in the $^3D_2$ channel, with energy shifts of the order of or somewhat larger than those recommended in Phys. Rev. C 103, 054304 (2021), is possible.


title: Unburdening onboarding in Software Product Lines

abstract: The number of studies focusing on onboarding in software organizations has increased significantly during the last years. However, current literature overlooks onboarding in Software Product Lines (SPLs). SPLs have been proven effective in managing the increasing variability of industry software and enabling systematic reuse of a product family. Despite these benefits, SPLs are complex and exhibit particular characteristics that distinguish them from traditional software. Due to these peculiarities, SPLs require a tailor-made onboarding process. Assistance tools might help. In this dissertation, we propose assistance tools (i.e., tools built on top of the software project that help learners understand and develop knowledge) as a means for helping newcomers during onboarding in SPLs.


title: User Logic Development for the Muon Identifier Common Readout Unit for the ALICE Experiment at the Large Hadron Collider

abstract: The Large Hadron Collider (LHC) at CERN is undergoing a major upgrade with the goal of increasing the luminosity as more statistics are needed for precision measurements. The presented work pertains to the corresponding upgrade of the ALICE Muon Trigger (MTR) Detector, now named the Muon Identifier (MID). Previously operated in a triggered readout manner, this detector has transitioned to continuous readout with time-delimited data payloads. However, this results in data rates much higher than the previous operation and hence a new Online-Offline (O2) computing system is also being developed for real-time data processing to reduce the storage requirements. Part of the O2 System is based on FPGA technology and is known as the Common Readout Unit (CRU). Being common to many detectors necessitates the development of custom user logic per detector. This work concerns the development of the ALICE MID user logic which will interface to the core CRU firmware and perform the required data processing. It presents the development of a conceptual design and a prototype for the user logic. The resulting prototype shows the ability to meet the established requirements in an effective and optimized manner. Additionally, the modular design approach employed, allows for more features to be easily introduced.


title: Stochastic Stability of Discrete-time Phase-coupled Oscillators over Uncertain and Random Networks

abstract: This article studies stochastic relative phase stability, i.e., stochastic phase-cohesiveness, of discrete-time phase-coupled oscillators. Stochastic phase-cohesiveness in two types of networks is studied. First, we consider oscillators coupled with 2{\pi}-periodic odd functions over underlying undirected graphs subject to both multiplicative and additive stochastic uncertainties. We prove stochastic phase-cohesiveness of the network with respect to two specific, namely in-phase and anti-phase, sets by deriving sufficient coupling conditions. We show the dependency of these conditions on the size of the mean values of additive and multiplicative uncertainties, as well as the sign of the mean values of multiplicative uncertainties. Furthermore, we discuss the results under a relaxation of the odd property of the coupling function. Second, we study an uncertain network in which the multiplicative uncertainties are governed by the Bernoulli process representing the well-known Erdos-Renyi network. We assume constant exogenous frequencies and derive sufficient conditions for achieving both stochastic phase-cohesive and phase-locked solutions, i.e., stochastic phase-cohesiveness with respect to the origin. For the latter case, where identical exogenous frequencies are assumed, we prove that any positive probability of connectivity leads to phase-locking. Thorough analyses are provided, and insights obtained from stochastic analysis are discussed, along with numerical simulations to validate the analytical results.


title: N=4 Near-Horizon Geometries in D=11 Supergravity

abstract: Extreme near-horizon geometries in D=11 supergravity preserving four supersymmetries are classified. It is shown that the Killing spinors fall into three possible orbits, corresponding to pairs of spinors defined on the spatial cross-sections of the horizon which have isotropy groups SU(3), G2, or SU(4). In each case, the conditions on the geometry and the 4-form flux are determined. The integrability conditions obtained from the Killing spinor equations are also investigated.


title: Radiation Protection at ELI Beamlines: A Unique LaserDriven Accelerator Facility

abstract: The Extreme Light Infrastructure (ELI) Beamlines is a laser driven accelerator facility located in the outskirts of the city of Prague. With its state-of-the-art lasers, it will carry out an ambitious and diverse research program. Activities at ELI Beamlines can be broken down in complementary areas of scientific interest: development and testing of novel technologies for multi-PW laser systems, plasma physics, high field physics experiments, production of femtosecond secondary sources of ionizing radiation (extreme ultraviolet radiation, X rays, gamma, electrons, and protons)to be used in interdisciplinary applications in physics, biology, medicine, and material sciences.In-house experiments are already taking place since the first half of 2018, first user calls and experiments started in 2019.In this contribution, the ELI Beamlines accelerator facility and its current status of operation are presented in more details. Particular attention is paid to the design and implementation of the radiation protection program, with emphasis on the unique challenges this laser facility poses in terms of radiation safety.


title: Towards Crowd-aware Indoor Path Planning (Extended Version)

abstract: Indoor venues accommodate many people who collectively form crowds. Such crowds in turn influence people's routing choices, e.g., people may prefer to avoid crowded rooms when walking from A to B. This paper studies two types of crowd-aware indoor path planning queries. The Indoor Crowd-Aware Fastest Path Query (FPQ) finds a path with the shortest travel time in the presence of crowds, whereas the Indoor Least Crowded Path Query (LCPQ) finds a path encountering the least objects en route. To process the queries, we design a unified framework with three major components. First, an indoor crowd model organizes indoor topology and captures object flows between rooms. Second, a time-evolving population estimator derives room populations for a future timestamp to support crowd-aware routing cost computations in query processing. Third, two exact and two approximate query processing algorithms process each type of query. All algorithms are based on graph traversal over the indoor crowd model and use the same search framework with different strategies of updating the populations during the search process. All proposals are evaluated experimentally on synthetic and real data. The experimental results demonstrate the efficiency and scalability of our framework and query processing algorithms.


title: Improvement of Noise-Robust Single-Channel Voice Activity Detection with Spatial Pre-processing

abstract: Voice activity detection (VAD) remains a challenge in noisy environments. With access to multiple microphones, prior studies have attempted to improve the noise robustness of VAD by creating multi-channel VAD (MVAD) methods. However, MVAD is relatively new compared to single-channel VAD (SVAD), which has been thoroughly developed in the past. It might therefore be advantageous to improve SVAD methods with pre-processing to obtain superior VAD, which is under-explored. This paper improves SVAD through two pre-processing methods, a beamformer and a spatial target speaker detector. The spatial detector sets signal frames to zero when no potential speaker is present within a target direction. The detector may be implemented as a filter, meaning the input signal for the SVAD is filtered according to the detector's output; or it may be implemented as a spatial VAD to be combined with the SVAD output. The evaluation is made on a noisy reverberant speech database, with clean speech from the Aurora 2 database and with white and babble noise. The results show that SVAD algorithms are significantly improved by the presented pre-processing methods, especially the spatial detector, across all signal-to-noise ratios. The SVAD algorithms with pre-processing significantly outperform a baseline MVAD in challenging noise conditions.


title: Learning Chebyshev Basis in Graph Convolutional Networks for Skeleton-based Action Recognition

abstract: Spectral graph convolutional networks (GCNs) are particular deep models which aim at extending neural networks to arbitrary irregular domains. The principle of these networks consists in projecting graph signals using the eigen-decomposition of their Laplacians, then achieving filtering in the spectral domain prior to back-project the resulting filtered signals onto the input graph domain. However, the success of these operations is highly dependent on the relevance of the used Laplacians which are mostly handcrafted and this makes GCNs clearly sub-optimal. In this paper, we introduce a novel spectral GCN that learns not only the usual convolutional parameters but also the Laplacian operators. The latter are designed "end-to-end" as a part of a recursive Chebyshev decomposition with the particularity of conveying both the differential and the non-differential properties of the learned representations -- with increasing order and discrimination power -- without overparametrizing the trained GCNs. Extensive experiments, conducted on the challenging task of skeleton-based action recognition, show the generalization ability and the outperformance of our proposed Laplacian design w.r.t. different baselines (built upon handcrafted and other learned Laplacians) as well as the related work.


title: Hawking flux of 4D Schwarzschild black hole with supertransition correction to second-order

abstract: Former part of this article is the proceedings for my talk on 2004.07474, which is a report on the issue in the title of this article. Later part is the detailed description of 2004.07474.


title: Viscosity solutions to complex first eigenvalue equations

abstract: We study the viscosity solutions to the first eigenvalue equation. We consider $\Omega$ a bounded B-regular domain in $\mathbb{C}^n$ and we prove that the Dirichlet problem $\Lambda_{1}(D_{\mathbb{C}}^2 u)=f$ in $\Omega$ and $u=\varphi$ on $\partial\Omega$ admits a unique viscosity solution. We also deal with viscosity theory for operators which are comparable to the first eigenvalue operator.


title: Predicting Pedestrian Crossing Intention with Feature Fusion and Spatio-Temporal Attention

abstract: Predicting vulnerable road user behavior is an essential prerequisite for deploying Automated Driving Systems (ADS) in the real-world. Pedestrian crossing intention should be recognized in real-time, especially for urban driving. Recent works have shown the potential of using vision-based deep neural network models for this task. However, these models are not robust and certain issues still need to be resolved. First, the global spatio-temproal context that accounts for the interaction between the target pedestrian and the scene has not been properly utilized. Second, the optimum strategy for fusing different sensor data has not been thoroughly investigated. This work addresses the above limitations by introducing a novel neural network architecture to fuse inherently different spatio-temporal features for pedestrian crossing intention prediction. We fuse different phenomena such as sequences of RGB imagery, semantic segmentation masks, and ego-vehicle speed in an optimum way using attention mechanisms and a stack of recurrent neural networks. The optimum architecture was obtained through exhaustive ablation and comparison studies. Extensive comparative experiments on the JAAD pedestrian action prediction benchmark demonstrate the effectiveness of the proposed method, where state-of-the-art performance was achieved. Our code is open-source and publicly available.


title: Betti numbers under small perturbations

abstract: We study how Betti numbers of ideals in a local ring change under small perturbations. Given $p\in\mathbb N$ and given an ideal $I$ of a Noetherian local ring $(R,\mathfrak m)$, our main result states that there exists $N>0$ such that if $J$ is an ideal with $I\equiv J\bmod \mathfrak m^N$ and with the same Hilbert function as $I$, then the Betti numbers $\beta_i^R(R/I)$ and $\beta_i^R(R/J)$ coincide for $0\le i\le p$. Moreover, we present several cases in which an ideal $J$ such that $I \equiv J \bmod \mathfrak m^N$ is forced to have the same Hilbert function as $I$, and therefore the same Betti numbers.


title: Interaction energy between two charged spheres surrounded by electrolyte. The smaller sphere located inside the larger sphere

abstract: By using the recently generalized version of Newton Shell Theorem [3] analytical equations are derived to calculate the electric interaction energy between two charged spheres, a small one is located within a larger one, and each sphere is surrounded outside and inside by electrolyte. This electric interaction energy is calculated as a function of the electrolyte ion concentration, temperature, distance between the centers and size of the spheres. At the same distance between the centers of the spheres the absolute value of the interaction energy decreases with increasing electrolyte ion concentration and increases with increasing temperature. At zero electrolyte ion concentration the derived analytical equation transforms into the result of the Shell Theorem. Finally, the analytical equation is generalized to calculate the total electric interaction energy between a large charged sphere and N small charged spheres (located within the large sphere) where the spheres are surrounded by electrolyte.


title: CNN Encoding of Acoustic Parameters for Prominence Detection

abstract: Expressive reading, considered the defining attribute of oral reading fluency, comprises the prosodic realization of phrasing and prominence. In the context of evaluating oral reading, it helps to establish the speaker's comprehension of the text. We consider a labeled dataset of children's reading recordings for the speaker-independent detection of prominent words using acoustic-prosodic and lexico-syntactic features. A previous well-tuned random forest ensemble predictor is replaced by an RNN sequence classifier to exploit potential context dependency across the longer utterance. Further, deep learning is applied to obtain word-level features from low-level acoustic contours of fundamental frequency, intensity and spectral shape in an end-to-end fashion. Performance comparisons are presented across the different feature types and across different feature learning architectures for prominent word prediction to draw insights wherever possible.


title: Continual Learning for Text Classification with Information Disentanglement Based Regularization

abstract: Continual learning has become increasingly important as it enables NLP models to constantly learn and gain knowledge over time. Previous continual learning methods are mainly designed to preserve knowledge from previous tasks, without much emphasis on how to well generalize models to new tasks. In this work, we propose an information disentanglement based regularization method for continual learning on text classification. Our proposed method first disentangles text hidden spaces into representations that are generic to all tasks and representations specific to each individual task, and further regularizes these representations differently to better constrain the knowledge required to generalize. We also introduce two simple auxiliary tasks: next sentence prediction and task-id prediction, for learning better generic and specific representation spaces. Experiments conducted on large-scale benchmarks demonstrate the effectiveness of our method in continual text classification tasks with various sequences and lengths over state-of-the-art baselines. We have publicly released our code at https://github.com/GT-SALT/IDBR.


title: DockerMock: Pre-Build Detection of Dockerfile Faults through Mocking Instruction Execution

abstract: Continuous Integration (CI) and Continuous Deployment (CD) are widely adopted in software engineering practice. In reality, the CI/CD pipeline execution is not yet reliably continuous because it is often interrupted by Docker build failures. However, the existing trial-and-error practice to detect faults is time-consuming. To timely detect Dockerfile faults, we propose a context-based pre-build analysis approach, named DockerMock, through mocking the execution of common Dockerfile instructions. A Dockerfile fault is declared when an instruction conflicts with the approximated and accumulated running context. By explicitly keeping track of whether the context is fuzzy, DockerMock strikes a good balance of detection precision and recall. We evaluated DockerMock with 53 faults in 41 Dockerfiles from open source projects on GitHub and 130 faults in 105 Dockerfiles from student course projects. On average, DockerMock detected 68.0% Dockerfile faults in these two datasets. While baseline hadolint detected 6.5%, and baseline BuildKit detected 60.5% without instruction execution. In the GitHub dataset, DockerMock reduces the number of builds to 47, outperforming that of hadolint (73) and BuildKit (74).