title: Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks

abstract: High sensitivity of neural networks against malicious perturbations on inputs causes security concerns. To take a steady step towards robust classifiers, we aim to create neural network models provably defended from perturbations. Prior certification work requires strong assumptions on network structures and massive computational costs, and thus the range of their applications was limited. From the relationship between the Lipschitz constants and prediction margins, we present a computationally efficient calculation technique to lower-bound the size of adversarial perturbations that can deceive networks, and that is widely applicable to various complicated networks. Moreover, we propose an efficient training procedure that robustifies networks and significantly improves the provably guarded areas around data points. In experimental evaluations, our method showed its ability to provide a non-trivial guarantee and enhance robustness for even large networks.


title: Orientation of plastic rearrangements in two-dimensional model glasses under shear

abstract: The plastic deformation of amorphous solids is mediated by localized shear transformations involving small groups of particles rearranging irreversibly in an elastic background. We introduce and compare three different computational methods to extract the size and orientation of these shear transformations in simulations of a two-dimensional (2D) athermal model glass under simple shear. We find that the shear angles are broadly distributed around the macroscopic shear direction, with a more or less Gaussian distribution with a standard deviation of around 20 $\bullet$ about the direction of maximal local shear. The distributions of sizes and orientations of shear transformations display no substantial sensitivity to the shear rate. These results can notably be used to refine the description of rearrangements in elastoplastic models.


title: Inferring the time-varying functional connectivity of large-scale computer networks from emitted events

abstract: We consider the problem of inferring the functional connectivity of a large-scale computer network from sparse time series of events emitted by its nodes. We do so under the following three domain-specific constraints: (a) non-stationarity of the functional connectivity due to unknown temporal changes in the network, (b) sparsity of the time-series of events that limits the effectiveness of classical correlation-based analysis, and (c) lack of an explicit model describing how events propagate through the network. Under the assumption that the probability of two nodes being functionally connected correlates with the mean delay between their respective events, we develop an inference method whose output is an undirected weighted network where the weight of an edge between two nodes denotes the probability of these nodes being functionally connected. Using a combination of windowing and convolution to calculate at each time window a score quantifying the likelihood of a pair of nodes emitting events in quick succession, we develop a model of time-varying connectivity whose parameters are determined by maximising the model's predictive power from one time window to the next. To assess the effectiveness of our inference method, we construct synthetic data for which ground truth is available and use these data to benchmark our approach against three state-of-the-art inference methods. We conclude by discussing its application to data from a real-world large-scale computer network.


title: Extinction time for the weaker of two competing SIS epidemics

abstract: We consider a simple stochastic model for the spread of a disease caused by two virus strains in a closed homogeneously mixing population of size N. The spread of each strain in the absence of the other one is described by the stochastic logistic SIS epidemic process, and we assume that there is perfect cross-immunity between the two strains, that is, individuals infected by one are temporarily immune to re-infections and infections by the other. For the case where one strain has a strictly larger basic reproductive ratio than the other, and the stronger strain on its own is supercritical (that is, its basic reproductive ratio is larger than 1), we derive precise asymptotic results for the distribution of the time when the weaker strain disappears from the population, that is, its extinction time. We further extend our results to certain parameter values where the difference between the two reproductive ratios may tend to 0 as $N \to \infty$. In proving our results, we illustrate a new approach to a fluid limit approximation for a sequence of Markov chains in the vicinity of a stable fixed point of the limit.


title: Empirical measures: regularity is a counter-curse to dimensionality

abstract: We propose a "decomposition method" to prove non-asymptotic bound for the convergence of empirical measures in various dual norms. The main point is to show that if one measures convergence in duality with sufficiently regular observables, the convergence is much faster than for, say, merely Lipschitz observables. Actually, assuming $s$ derivatives with $s < d/2$ ($d$ the dimension) ensures an optimal rate of convergence of $1/\sqrt{n}$ ($n$ the number of samples). The method is flexible enough to apply to Markov chains which satisfy a geometric contraction hypothesis, assuming neither stationarity nor reversibility, with the same convergence speed up to a power of logarithm factor. Our results are stated as controls of the expected distance between the empirical measure and its limit, but we explain briefly how the classical method of bounded difference can be used to deduce concentration estimates.


title: Separation for the stationary Prandtl equation

abstract: In this paper, we prove that separation occurs for the stationary Prandtl equation, in the case of adverse pressure gradient, for a large class of boundary data at $x=0$.We justify the Goldstein singularity: more precisely, we prove that under suitable assumptions on the boundary data at $x=0$, there exists $x^*>0$ such that $\p\_y u\_{y=0}(x)\sim C \sqrt{x^* -x}$ as $x\to x^*$ for some positive constant $C$, where $u$ is the solution of the stationary Prandtl equation in the domain $\{0<x<x^*,\ y>0\}$. Our proof relies on three main ingredients: the computation of a "stable" approximate solution, using modulation theory arguments, a new formulation of the Prandtl equation, for which we derive energy estimates, relying heavily on the structure of the equation, and maximum principle techniques to handle nonlinear terms.


title: Yield precursor dislocation avalanches in small crystals: the irreversibility transition

abstract: The transition from elastic to plastic deformation in crystalline metals shares history dependence and scale-invariant avalanche signature with other non-equilibrium systems under external loading: dilute colloidal suspensions, plastically-deformed amorphous solids, granular materials, and dislocation-based simulations of crystals. These other systems exhibit transitions with clear analogies to work hardening and yield stress, with many typically undergoing purely elastic behavior only after 'training' through repeated cyclic loading; studies in these other systems show a power law scaling of the hysteresis loop extent and of the training time as the peak load approaches a so-called reversible-irreversible transition (RIT). We discover here that deformation of small crystals shares these key characteristics: yielding and hysteresis in uniaxial compression experiments of single-crystalline Cu nano- and micro-pillars decay under repeated cyclic loading. The amplitude and decay time of the yield precursor avalanches diverge as the peak stress approaches failure stress for each pillar, with a power law scaling virtually equivalent to RITs in other nonequilibrium systems.


title: Cooperative Passive Coherent Location: A Promising 5G Service to Support Road Safety

abstract: 5G promises many new vertical service areas beyond simple communication and data transfer. We propose CPCL (cooperative passive coherent location), a distributed MIMO radar service, which can be offered by mobile radio network operators as a service for public user groups. CPCL comes as an inherent part of the radio network and takes advantage of the most important key features proposed for 5G. It extends the well-known idea of passive radar (also known as passive coherent location, PCL) by introducing cooperative principles. These range from cooperative, synchronous radio signaling, and MAC up to radar data fusion on sensor and scenario levels. By using software-defined radio and network paradigms, as well as real-time mobile edge computing facilities intended for 5G, CPCL promises to become a ubiquitous radar service which may be adaptive, reconfigurable, and perhaps cognitive. As CPCL makes double use of radio resources (both in terms of frequency bands and hardware), it can be considered a green technology. Although we introduce the CPCL idea from the viewpoint of vehicle-to-vehicle/infrastructure (V2X) communication, it can definitely also be applied to many other applications in industry, transport, logistics, and for safety and security applications.


title: Equilibrium contact angle and adsorption layer properties with surfactants

abstract: The three-phase contact line of a droplet on a smooth surface can be characterized by the Young-Dupr\'e equation. It relates the interfacial energies with the macroscopic contact angle $\theta_e$. On the mesoscale, wettability is modeled by a film-height-dependent wetting energy $f(h)$. Macro- and mesoscale description are consistent if $\gamma \cos \theta_\mathrm{e} =\gamma+f(h_\mathrm{a})$ where $\gamma$ and $h_\mathrm{a}$ are the liquid-gas interface energy and the thickness of the equilibrium liquid adsorption layer, respectively. Here, we derive a similar consistency condition for the case of a liquid covered by an insoluble surfactant. At equilibrium, the surfactant is spatially inhomogeneously distributed implying a non-trivial dependence of $\theta_\mathrm{e}$ on surfactant concentration. We derive macroscopic and mesoscopic descriptions of a contact line at equilibrium and show that they are only consistent if a particular dependence of the wetting energy on the surfactant concentration is imposed.This is illustrated by a simple example of dilute surfactants, for which we show excellent agreement between theory and time-dependent numerical simulations.


title: The HIX galaxy survey II: HI kinematics of HI eXtreme galaxies

abstract: By analysing a sample of galaxies selected from the HI Parkes All Sky Survey (HIPASS) to contain more than 2.5 times their expected HI content based on their optical properties, we investigate what drives these HI eXtreme (HIX) galaxies to be so HI-rich. We model the HI kinematics with the Tilted Ring Fitting Code TiRiFiC and compare the observed HIX galaxies to a control sample of galaxies from HIPASS as well as simulated galaxies built with the semi-analytic model Dark Sage. We find that (1) HI discs in HIX galaxies are more likely to be warped and more likely to host HI arms and tails than in the control galaxies, (2) the average HI and average stellar column density of HIX galaxies is comparable to the control sample, (3) HIX galaxies have higher HI and baryonic specific angular momenta than control galaxies, (4) most HIX galaxies live in higher-spin haloes than most control galaxies. These results suggest that HIX galaxies are HI-rich because they can support more HI against gravitational instability due to their high specific angular momentum. The majority of the HIX galaxies inherits their high specific angular momentum from their halo. The HI content of HIX galaxies might be further increased by gas-rich minor mergers. This paper is based on data obtained with the Australia Telescope Compact Array (ATCA) through the large program C 2705.


title: Estimation of the masses of selected stars of Pulkovo program by means of astrometry methods

abstract: Stars of Pulkovo observatory program are observed on 65-cm refractor during many years for study their positions and movement. We represent example of two visual binary stars, for which orbits and masses of components were determined, and two astrometric stars, for which masses of their unseen companions have been estimated. The first stars are: ADS 14636 (61 Cygni) and ADS 7251 and others are: Gliese 623 and ADS 8035 (Alpha UMa). The direct astrometric methods were used for estimation of mass-ratio and masses.


title: Spectroscopic evidence of topological phase transition in 3D Dirac semimetal Cd$_3$(As$_{1-x}$P$_x$)$_2$

abstract: We study the low-energy electronic structure of three-dimensional Dirac semimetal, Cd$_3$(As$_{1-x}$P$_x$)$_2$ [$x$ = 0 and 0.34(3)], by employing the angle-resolved photoemission spectroscopy (ARPES). We observe that the bulk Dirac states in Cd$_3$(As$_{0.66}$P$_{0.34}$)$_2$ are gapped out with an energy of 0.23 eV, contrary to the parent Cd$_3$As$_2$ in which the gapless Dirac states have been observed. Thus, our results confirm the earlier predicted topological phase transition in Cd$_3$As$_2$ with perturbation. We further notice that the critical P substitution concentration, at which the two Dirac points that are spread along the $c$-axis in Cd$_3$As$_2$ form a single Dirac point at $\Gamma$, is much lower [x$_c$(P)$<$ 0.34(3)] than the predicted value of x$_c$(P)=0.9. Therefore, our results suggest that the nontrivial band topology of Cd$_3$As$_2$ is remarkably sensitive to the P substitution and can only survive over a narrow substitution range, i.e., 0 $\leq$ x (P) $<$ 0.34(3).


title: Beyond Hammersley's Last-Passage Percolation: a discussion on possible local and global constraints

abstract: Hammersley's Last-Passage Percolation (LPP), also known as Ulam's problem, is a well-studied model that can be described as follows: consider $m$ points chosen uniformly and independently in $[0,1]^2$, then what is the maximal number $\mathcal{L}_m$ of points that can be collected by an up-right path? We introduce here a generalization of this standard LPP, in order to allow for more general constraints than the up-right condition (a $1$-Lipschitz condition after rotation by $45^{\circ}$). We focus more specifically on two cases: (i) when the constraint is a $\gamma$-H\"older (local) condition, we call it H-LPP; (ii) when the constraint is a path-entropy (global) condition, we call it E-LPP. These generalizations also allows us to deal with non-directed LPP. We develop motivations for directed and non-directed constrained LPP, and we give the correct order of $\mathcal{L}_m$ in a general manner.


title: Entropy Inflection and Invisible Low-Energy States: Defensive Alliance Example

abstract: Lower temperature leads to a higher probability of visiting low-energy states. This intuitive belief underlies most physics-inspired strategies for addressing hard optimization problems. For instance, the popular simulated annealing (SA) dynamics is expected to approach a ground state if the temperature is lowered appropriately. Here we demonstrate that this belief is not always justified. Specifically, we employ the cavity method to analyze the minimum strong defensive alliance problem and discover a bifurcation in the solution space, induced by an inflection point in the entropy--energy profile. While easily accessible configurations are associated with the lower-free-energy branch, the low-energy configurations are associated with the higher-free-energy branch within the same temperature range. There is a discontinuous phase transition between the high-energy configurations and the ground states, which generally cannot be followed by SA. We introduce an energy-clamping strategy to obtain superior solutions by following the higher-free-energy branch, overcoming the limitations of SA.


title: Kinematical Lie algebras in 2+1 dimensions

abstract: We classify kinematical Lie algebras in dimension 2+1. This is approached via the classification of deformations of the static kinematical Lie algebra. In addition, we determine which kinematical Lie algebras admit invariant symmetric inner products.


title: Zitterbewegung of exciton-polaritons

abstract: Macroscopic wave packets of spin-polarized exciton-polaritons in two-dimensional microcavities experience the zitterbewegung, the effect manifested by the appearance of the oscillatory motion of polaritons in the direction normal to the initial propagation direction. The oscillating trajectories of exciton-polaritons are adjustable by the control parameters: the splitting of the longitudinal and transverse exciton-polariton modes, the wave vector and the width of the resonant cw pump. Our theoretical analysis supported by the numerical calculations allowed to optimize values of the control parameters suitable for a direct experimental observation of the zitterbewegung effect.


title: Exact and efficient inference for Partial Bayes problems

abstract: Bayesian methods are useful for statistical inference. However, real-world problems can be challenging using Bayesian methods when the data analyst has only limited prior knowledge. In this paper we consider a class of problems, called Partial Bayes problems, in which the prior information is only partially available. Taking the recently proposed Inferential Model approach, we develop a general inference framework for Partial Bayes problems, and derive both exact and efficient solutions. In addition to the theoretical investigation, numerical results and real applications are used to demonstrate the superior performance of the proposed method.


title: One Deep Music Representation to Rule Them All? : A comparative analysis of different representation learning strategies

abstract: Inspired by the success of deploying deep learning in the fields of Computer Vision and Natural Language Processing, this learning paradigm has also found its way into the field of Music Information Retrieval. In order to benefit from deep learning in an effective, but also efficient manner, deep transfer learning has become a common approach. In this approach, it is possible to reuse the output of a pre-trained neural network as the basis for a new learning task. The underlying hypothesis is that if the initial and new learning tasks show commonalities and are applied to the same type of input data (e.g. music audio), the generated deep representation of the data is also informative for the new task. Since, however, most of the networks used to generate deep representations are trained using a single initial learning source, their representation is unlikely to be informative for all possible future tasks. In this paper, we present the results of our investigation of what are the most important factors to generate deep representations for the data and learning tasks in the music domain. We conducted this investigation via an extensive empirical study that involves multiple learning sources, as well as multiple deep learning architectures with varying levels of information sharing between sources, in order to learn music representations. We then validate these representations considering multiple target datasets for evaluation. The results of our experiments yield several insights on how to approach the design of methods for learning widely deployable deep data representations in the music domain.


title: Quasi-fredholm and saphar spectrums for the {\alpha}-times integrated semigroups

abstract: We continue to study $\alpha$-times integrated semigroups. Essentially, we characterize the different spectrums of $\alpha$-times integrated semigroups by the spectrums of their generators. Particulary quasi-Fredholm, Kato, essentially Kato, Saphar and essentially Saphar spectrums.


title: Knife edge skimming for improved separation of molecular species by the deflector

abstract: A knife edge for shaping a molecular beam is described to improve the spatial separation of the species in a molecular beam by the electrostatic deflector. The spatial separation of different molecular species from each other as well as from atomic seed gas is improved. The column density of the selected molecular-beam part in the interaction zone, which corresponds to higher signal rates, was enhanced by a factor of 1.5, limited by the virtual source size of the molecular beam.


title: A continuous adjoint for photo-acoustic tomography of the brain

abstract: We present an optimization framework for photo-acoustic tomography of brain based on a system of coupled equations that describe the propagation of sound waves in linear isotropic inhomogeneous and lossy elastic media with the absorption and physical dispersion following a frequency power law using fractional Laplacian operators. The adjoint of the associated continuous forward operator is derived, and a numerical framework for computing this adjoint based on a k- space pseudospectral method is presented. We analytically show that the derived continuous adjoint matches the adjoint of an associated discretised operator. We include this adjoint in a first-order positivity constrained optimization algorithm that is regularized by total variation minimization, and show that the iterates monotonically converge to a minimizer of an objective function, even in the presence of some error in estimating the physical parameters of the medium.


title: Gravitational lensing of photons coupled to massive particles

abstract: The gravitational deflection of massless and massive particles, both with and without spin, has been extensively studied. This paper discusses the lensing of a particle which oscillates between two interaction eigenstates. The deflection angle, lens equation and time delay between images are derived in a model of photon to hidden-photon oscillations. In the case of coherent oscillations, the coupled photon behaves as a massive particle with a mass equal to the product of the coupling constant and hidden photon mass. The conditions for observing coherent photon-hidden photon lensing are discussed.


title: Solomon-Terao algebra of hyperplane arrangements

abstract: We introduce a new algebra associated with a hyperplane arrangement $\mathcal{A}$, called the Solomon-Terao algebra $\mbox{ST}(\mathcal{A},\eta)$, where $\eta$ is a homogeneous polynomial. It is shown by Solomon and Terao that $\mbox{ST}(\mathcal{A},\eta)$ is Artinian when $\eta$ is generic. This algebra can be considered as a generalization of coinvariant algebras in the setting of hyperplane arrangements. The class of Solomon-Terao algebras contains cohomology rings of regular nilpotent Hessenberg varieties. We show that $\mbox{ST}(\mathcal{A},\eta)$ is a complete intersection if and only if $\mathcal{A}$ is free. We also give a factorization formula of the Hilbert polynomials when $\mathcal{A}$ is free, and pose several related questions, problems and conjectures.


title: Search for the rare decay of $\psi(3686) \rightarrow \Lambda_c^+ \overline{p} e^+ e^- + c.c.$ at BESIII

abstract: Based on a data sample of $(448.1\pm2.9)\times10^6~\psi(3686)$ decays collected with the BESIII experiment, a search for the flavor changing neutral current transition $\psi(3686)\rightarrow \Lambda_c^+ \overline{p} e^+ e^- + c.c.$ is performed for the first time. No signal candidates are observed and the upper limit on the branching fraction of $\psi(3686)\rightarrow \Lambda_c^+ \overline{p} e^+ e^-$ is determined to be $1.7\times10^{-6}$ at the 90\% confidence level. The result is consistent with expectations from the Standard Model, and no evidence for new physics is found.


title: The Spinning Equations of Motion for Objects in AP-Geometry

abstract: Equations of spinning objects are obtained in Absolute Parallelism Geometry [AP], a special class of non-Riemannian geometry admitting an alternative non-vanishing curvature and torsion simultaneously. This new set of equations is the counterpart of the Papapetrou equations in the Riemannian geometry. Applying, the concept of geometerization of physics, it may give rise to describe the spin tensor as parameterized commutation relation between path and path deviation equations in both Riemannian and non-Riemannian geometries.


title: Electromagnetic wave propagating along a space curve

abstract: Using the thin-layer approach, we derive the effective equation for the electromagnetic wave propagating along a space curve. We find intrinsic spin-orbit, extrinsic spin-orbit and extrinsic orbital angular momentum and intrinsic orbital angular momentum couplings induced by torsion, which can lead to geometric phase, spin and orbital Hall effects. And we show the helicity inversion induced by curvature that can convert the right-handed circularly polarized electromagnetic wave into left-handed polarized one, vice verse. Finally, we demonstrate that the gauge invariance of the effective dynamics is protected by the geometrically induced gauge potential.


title: Notable Characteristics Search through Knowledge Graphs

abstract: Query answering routinely employs knowledge graphs to assist the user in the search process. Given a knowledge graph that represents entities and relationships among them, one aims at complementing the search with intuitive but effective mechanisms. In particular, we focus on the comparison of two or more entities and the detection of unexpected, surprising properties, called notable characteristics. Such characteristics provide intuitive explanations of the peculiarities of the selected entities with respect to similar entities. We propose a solid probabilistic approach that first retrieves entity nodes similar to the query nodes provided by the user, and then exploits distributional properties to understand whether a certain attribute is interesting or not. Our preliminary experiments demonstrate the solidity of our approach and show that we are able to discover notable characteristics that are indeed interesting and relevant for the user.


title: Abelian extensions and crossed modules of Hom-Lie algebras

abstract: In this paper we study the low dimensional cohomology groups of Hom-Lie algebras and their relation with derivations, abelian extensions and crossed modules. On one hand, we introduce the notion of $\alpha$-abelian extensions and we obtain a five term exact sequence in cohomology. On the other hand, we introduce crossed modules of Hom-Lie algebras showing their equivalence with cat$^1$-Hom-Lie algebras, and we introduce $\alpha$-crossed modules to have a better understanding of the third cohomology group.


title: Elastic modeling of point-defects and their interaction

abstract: Different descriptions used to model a point-defect in an elastic continuum are reviewed. The emphasis is put on the elastic dipole approximation, which is shown to be equivalent to the infinitesimal Eshelby inclusion and to the infinitesimal dislocation loop. Knowing this elastic dipole, a second rank tensor fully characterizing the point-defect, one can directly obtain the long-range elastic field induced by the point-defect and its interaction with other elastic fields. The polarizability of the point-defect, resulting from the elastic dipole dependence with the applied strain, is also introduced. Parameterization of such an elastic model, either from experiments or from atomic simulations, is discussed. Different examples, like elastodiffusion and bias calculations, are finally considered to illustrate the usefulness of such an elastic model to describe the evolution of a point-defect in a external elastic field.


title: Taking gradients through experiments: LSTMs and memory proximal policy optimization for black-box quantum control

abstract: In this work we introduce the application of black-box quantum control as an interesting rein- forcement learning problem to the machine learning community. We analyze the structure of the reinforcement learning problems arising in quantum physics and argue that agents parameterized by long short-term memory (LSTM) networks trained via stochastic policy gradients yield a general method to solving them. In this context we introduce a variant of the proximal policy optimization (PPO) algorithm called the memory proximal policy optimization (MPPO) which is based on this analysis. We then show how it can be applied to specific learning tasks and present results of nu- merical experiments showing that our method achieves state-of-the-art results for several learning tasks in quantum control with discrete and continouous control parameters.


title: A Contextual Bandit Bake-off

abstract: Contextual bandit algorithms are essential for solving many real-world interactive machine learning problems. Despite multiple recent successes on statistically and computationally efficient methods, the practical behavior of these algorithms is still poorly understood. We leverage the availability of large numbers of supervised learning datasets to empirically evaluate contextual bandit algorithms, focusing on practical methods that learn by relying on optimization oracles from supervised learning. We find that a recent method (Foster et al., 2018) using optimism under uncertainty works the best overall. A surprisingly close second is a simple greedy baseline that only explores implicitly through the diversity of contexts, followed by a variant of Online Cover (Agarwal et al., 2014) which tends to be more conservative but robust to problem specification by design. Along the way, we also evaluate various components of contextual bandit algorithm design such as loss estimators. Overall, this is a thorough study and review of contextual bandit methodology.


title: Bitcoin Volatility Forecasting with a Glimpse into Buy and Sell Orders

abstract: In this paper, we study the ability to make the short-term prediction of the exchange price fluctuations towards the United States dollar for the Bitcoin market. We use the data of realized volatility collected from one of the largest Bitcoin digital trading offices in 2016 and 2017 as well as order information. Experiments are performed to evaluate a variety of statistical and machine learning approaches.


title: Accessible bounds for general quantum resources

abstract: The recent development of general quantum resource theories has given a sound basis for the quantification of useful quantum effects. Nevertheless, the evaluation of a resource measure can be highly non-trivial, involving an optimisation that is often intractable analytically or intensive numerically. In this paper, we describe a general framework that provides quantitative lower bounds to any resource quantifier that satisfies the essential property of monotonicity under the corresponding set of free operations. Our framework relies on projecting all quantum states onto a restricted subset using a fixed resource non-increasing operation. The resources of the resultant family can then be evaluated using a simplified optimisation, with the result providing lower bounds on the resource contents of any state. This approach also reduces the experimental overhead, requiring only the relevant statistics of the restricted family of states. We illustrate the application of our framework by focusing on the resource of multiqubit entanglement and outline applications to other quantum resources.

categories: quant-ph cond-mat.stat-mech hep-th math-ph math.MP


title: Alternating Nonzero Automata

abstract: We introduce a new class of automata on infinite trees called \emph{alternating nonzero automata}, which extends the class of non-deterministic nonzero automata. We reduce the emptiness problem for alternating nonzero automata to the same problem for non-deterministic ones, which implies decidability. We obtain as a corollary algorithms for the satisfiability of a probabilistic temporal logic extending both CTL* and the qualitative fragment of pCTL*.


title: Towards an Open Science Platform for the Evaluation of Data Fusion

abstract: Combining the results of different search engines in order to improve upon their performance has been the subject of many research papers. This has become known as the "Data Fusion" task, and has great promise in dealing with the vast quantity of unstructured textual data that is a feature of many Big Data scenarios. However, no universally-accepted evaluation methodology has emerged in the community. This makes it difficult to make meaningful comparisons between the various proposed techniques from reading the literature alone. Variations in the datasets, metrics, and baseline results have all contributed to this difficulty. This paper argues that a more unified approach is required, and that a centralised software platform should be developed to aid researchers in making comparisons between their algorithms and others. The desirable qualities of such a system have been identified and proposed, and an early prototype has been developed. Re-implementing algorithms published by other researchers is a great burden on those proposing new techniques. The prototype system has the potential to greatly reduce this burden and thus encourage more comparable results being generated and published more easily.


title: Searchers adjust their eye movement dynamics to the target characteristics in natural scenes

abstract: When searching a target in a natural scene, both the target's visual properties and similarity to the background influence whether (and how fast) humans are able to find it. However, thus far it has been unclear whether searchers adjust the dynamics of their eye movements (e.g., fixation durations, saccade amplitudes) to the target they search for. In our experiment participants searched natural scenes for six artificial targets with different spatial frequency throughout eight consecutive sessions. High-spatial frequency targets led to smaller saccade amplitudes and shorter fixation durations than low-spatial frequency targets if target identity was known before the trial. If a saccade was programmed in the same direction as the previous saccade (saccadic momentum), fixation durations and successive saccade amplitudes were not influenced by target type. Visual saliency and empirical density at the endpoints of saccadic momentum saccades were comparatively low, indicating that these saccades were less selective. Our results demonstrate that searchers adjust their eye movement dynamics to the search target in a sensible fashion, since low-spatial frequencies are visible farther into the periphery than high-spatial frequencies. Additionally, the saccade direction specificity of our effects suggests a separation of saccades into a default scanning mechanism and a selective, target-dependent mechanism.


title: Compact embedded surfaces with constant mean curvature in $\mathbb{S}^2\times\mathbb{R}$

abstract: We obtain compact orientable embedded surfaces with constant mean curvature $0<H<\frac{1}{2}$ and arbitrary genus in $\mathbb{S}^2\times\mathbb{R}$. These surfaces have dihedral symmetry and desingularize a pair of spheres with mean curvature $\frac{1}{2}$ tangent along an equator. This is a particular case of a conjugate Plateau construction of doubly periodic surfaces with constant mean curvature in $\mathbb{S}^2\times\mathbb{R}$, $\mathbb{H}^2\times\mathbb{R}$, and $\mathbb{R}^3$ with bounded height and enjoying the symmetries of certain tessellations of $\mathbb{S}^2$, $\mathbb{H}^2$, and $\mathbb{R}^2$ by regular polygons.


title: pyGDM -- A python toolkit for full-field electro-dynamical simulations and evolutionary optimization of nanostructures

abstract: pyGDM is a python toolkit for electro-dynamical simulations in nano-optics based on the Green Dyadic Method (GDM). In contrast to most other coupled-dipole codes, pyGDM uses a generalized propagator, which allows to cost-efficiently solve large monochromatic problems such as polarization-resolved calculations or raster-scan simulations with a focused beam or a quantum-emitter probe. A further peculiarity of this software is the possibility to very easily solve 3D problems including a dielectric or metallic substrate. Furthermore, pyGDM includes tools to easily derive several physical quantities such as far-field patterns, extinction and scattering cross-section, the electric and magnetic near-field in the vicinity of the structure, the decay rate of quantum emitters and the LDOS or the heat deposited inside a nanoparticle. Finally, pyGDM provides a toolkit for efficient evolutionary optimization of nanoparticle geometries in order to maximize (or minimize) optical properties such as a scattering at selected resonance wavelengths.


title: Higher structures, quantum groups, and genus zero modular operad

abstract: In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"), and quadratic algebras of their inner (co)homomorphisms. Soon it was understood (E. Getzler and J. Jones, V. Ginzburg, M. Kapranov, M. Kontsevich, M. Markl, B. Vallette et al.) that the class of {\it quadratic operads} can be introduced and the main theorems about quadratic algebras can be generalised to the level of such operads, if their components are {\it linear spaces} (or objects of more general monoidal categories.) When quantum cohomology entered the scene, it turned out that the basic tree level (genus zero) (co)operad of quantum cohomology not only is {\it quadratic} one, but its {\it components are themselves quadratic algebras.} In this short note, I am studying the interaction of quadratic algebras structure with operadic structure in the context of enriched category formalism due to G. M. Kelly et al.


title: Blind Image Deconvolution using Deep Generative Priors

abstract: This paper proposes a novel approach to regularize the \textit{ill-posed} and \textit{non-linear} blind image deconvolution (blind deblurring) using deep generative networks as priors. We employ two separate generative models --- one trained to produce sharp images while the other trained to generate blur kernels from lower-dimensional parameters. To deblur, we propose an alternating gradient descent scheme operating in the latent lower-dimensional space of each of the pretrained generative models. Our experiments show promising deblurring results on images even under large blurs, and heavy noise. To address the shortcomings of generative models such as mode collapse, we augment our generative priors with classical image priors and report improved performance on complex image datasets. The deblurring performance depends on how well the range of the generator spans the image class. Interestingly, our experiments show that even an untrained structured (convolutional) generative networks acts as an image prior in the image deblurring context allowing us to extend our results to more diverse natural image datasets.


title: Nuclear emulsions for the detection of micrometric-scale fringe patterns: an application to positron interferometry

abstract: Nuclear emulsions are capable of very high position resolution in the detection of ionizing particles. This feature can be exploited to directly resolve the micrometric-scale fringe pattern produced by a matter-wave interferometer for low energy positrons (in the 10-20 keV range). We have tested the performance of emulsion films in this specific scenario. Exploiting silicon nitride diffraction gratings as absorption masks, we produced periodic patterns with features comparable to the expected interferometer signal. Test samples with periodicities of 6, 7 and 20 {\mu}m were exposed to the positron beam, and the patterns clearly reconstructed. Our results support the feasibility of matter-wave interferometry experiments with positrons.


title: On effects of inhomogeneity on anisotropy in Backus average

abstract: In general, the Backus average of an inhomogeneous stack of isotropic layers is a transversely isotropic medium. Herein, we examine a relation between this inhomogeneity and the strength of resulting anisotropy, and show that, in general, they are proportional to one another. There is an important case, however, in which the Backus average of isotropic layers results in an isotropic -- as opposed to a transversely isotropic -- medium. We show that it is a consequence of the same rigidity of layers, regardless of their compressibility. Thus, in general, the strength of anisotropy of the Backus average increases with the degree of inhomogeneity among layers, except for the case in which all layers exhibit the same rigidity.


title: Performance Analysis of Low Latency Multiple Full-Duplex Selective Decode and Forward Relays

abstract: In order to follow up with mission-critical applications, new features need to be carried to satisfy a reliable communication with reduced latency. With this regard, this paper proposes a low latency cooperative transmission scheme, where multiple full-duplex relays, simultaneously, assist the communication between a source node and a destination node. First, we present the communication model of the proposed transmission scheme. Then, we derive the outage probability closed-form for two cases: asynchronous transmission (where all relays have different processing delay) and synchronous transmissions (where all relays have the same processing delay). Finally, using simulations, we confirm the theoretical results and compare the proposed multi-relays transmission scheme with relay selection schemes.


title: Compact operators on the sets of fractional difference sequences

abstract: Fractional difference sequence spaces have been studied in the literature recently. In this work, some identities or estimates for the operator norms and the Hausdorff measures of noncompactness of certain operators on some difference sequence spaces of fractional orders are established. Some classes of compact operators on those spaces are characterized. The results of this work are more general and comprehensive then many other studies in literature.


title: A concept of biopharmaceutical nanosatellite

abstract: The article is a short overview of a proposal of a CubeSat type nanosatellite designed to conduct biopharmaceutical tests on the low earth orbit. Motivations behind the emerging demand for such solution nowadays and in the close future are emphasized. The possible objectives and challenges to be addressed in the planned biopharmaceutical CubeSat missions are discussed. In particular, it is hard to imagine progress of the space tourism and colonization of Mars without a wide-ranging development of pharmaceutics dedicated to be used in space. Finally, an exemplary layout of a 3U type CubeSat is presented. We stress that, thanks to recent development in both nanosatellite technologies and lab-on-a-chip type biofluidic systems the proposed idea becomes now both feasible and relatively affordable.


title: Accelerated Stochastic Matrix Inversion: General Theory and Speeding up BFGS Rules for Faster Second-Order Optimization

abstract: We present the first accelerated randomized algorithm for solving linear systems in Euclidean spaces. One essential problem of this type is the matrix inversion problem. In particular, our algorithm can be specialized to invert positive definite matrices in such a way that all iterates (approximate solutions) generated by the algorithm are positive definite matrices themselves. This opens the way for many applications in the field of optimization and machine learning. As an application of our general theory, we develop the {\em first accelerated (deterministic and stochastic) quasi-Newton updates}. Our updates lead to provably more aggressive approximations of the inverse Hessian, and lead to speed-ups over classical non-accelerated rules in numerical experiments. Experiments with empirical risk minimization show that our rules can accelerate training of machine learning models.


title: Seeding of the Self-Modulation in a Long Proton Bunch by Charge Cancellation with a Short Electron Bunch

abstract: In plasma wakefield accelerators (e.g. AWAKE) the proton bunch self-modulation is seeded by the ionization front of a high-power laser pulse ionizing a vapour and by the resulting steep edge of the driving bunch profile inside the created plasma. In this paper, we present calculations in 2D linear theory for a concept of a different self-modulation seeding mechanism based on electron injection. The whole proton bunch propagates through a preformed plasma and the effective beam current is modulated by the external injection of a short electron bunch at the centre of the proton beam. The resulting sharp edge in the effective beam current in the trailing part of the proton bunch is driving large wakefields that can lead to a growth of the seeded self-modulation (SSM). Furthermore, we discuss the feasibility for applications in AWAKE Run 2.


title: Characterizations of Compact Operators on $\ell_{p}$ Type Fractional Sets of Sequences

abstract: Among the sets of sequences studied, difference sets of sequences are probably the most common type of sets. This paper considers some $\ell_{p}$ type fractional difference sequence spaces via Euler gamma function. Although we characterize compactness conditions on those spaces using the main tools of Hausdorff measure of noncompactness, we can only obtain sufficient conditions when the final space is $\ell _{\infty }$. However, we use some recent results to exactly characterize the classes of compact matrix operators when the final space is the set of bounded sequences.


title: Towards self-adaptable robots: from programming to training machines

abstract: We argue that hardware modularity plays a key role in the convergence of Robotics and Artificial Intelligence (AI). We introduce a new approach for building robots that leads to more adaptable and capable machines. We present the concept of a self-adaptable robot that makes use of hardware modularity and AI techniques to reduce the effort and time required to be built. We demonstrate in simulation and with a real robot how, rather than programming, training produces behaviors in the robot that generalize fast and produce robust outputs in the presence of noise. In particular, we advocate for mammals.


title: On parameterised toric codes

abstract: Let $X$ be a complete simplicial toric variety over a finite field with a split torus $T_X$. For any matrix $Q$, we are interested in the subgroup $Y_Q$ of $T_X$ parameterized by the columns of $Q$. We give an algorithm for obtaining a basis for the unique lattice $L$ whose lattice ideal $I_L$ is $I(Y_Q)$. We also give two direct algorithmic methods to compute the order of $Y_Q$, which is the length of the corresponding code ${\cC}_{\aa,Y_Q}$. We share procedures implementing them in \verb|Macaulay2|. Finally, we give a lower bound for the minimum distance of ${\cC}_{\aa,Y_Q}$, taking advantage of the parametric description of the subgroup $Y_Q$. As an application, we compute the main parameters of the toric codes on Hirzebruch surfaces $\cl H_{\ell}$ generalizing the corresponding result given by Hansen.


title: Randomized Block Cubic Newton Method

abstract: We study the problem of minimizing the sum of three convex functions: a differentiable, twice-differentiable and a non-smooth term in a high dimensional setting. To this effect we propose and analyze a randomized block cubic Newton (RBCN) method, which in each iteration builds a model of the objective function formed as the sum of the natural models of its three components: a linear model with a quadratic regularizer for the differentiable term, a quadratic model with a cubic regularizer for the twice differentiable term, and perfect (proximal) model for the nonsmooth term. Our method in each iteration minimizes the model over a random subset of blocks of the search variable. RBCN is the first algorithm with these properties, generalizing several existing methods, matching the best known bounds in all special cases. We establish ${\cal O}(1/\epsilon)$, ${\cal O}(1/\sqrt{\epsilon})$ and ${\cal O}(\log (1/\epsilon))$ rates under different assumptions on the component functions. Lastly, we show numerically that our method outperforms the state-of-the-art on a variety of machine learning problems, including cubically regularized least-squares, logistic regression with constraints, and Poisson regression.


title: Empirical Risk Minimization in Non-interactive Local Differential Privacy: Efficiency and High Dimensional Case

abstract: In this paper, we study the Empirical Risk Minimization problem in the non-interactive local model of differential privacy. In the case of constant or low dimensionality ($p\ll n$), we first show that if the ERM loss function is $(\infty, T)$-smooth, then we can avoid a dependence of the sample complexity, to achieve error $\alpha$, on the exponential of the dimensionality $p$ with base $1/\alpha$ (i.e., $\alpha^{-p}$), which answers a question in [smith 2017 interaction]. Our approach is based on polynomial approximation. Then, we propose player-efficient algorithms with $1$-bit communication complexity and $O(1)$ computation cost for each player. The error bound is asymptotically the same as the original one. Also with additional assumptions we show a server efficient algorithm. Next we consider the high dimensional case ($n\ll p$), we show that if the loss function is Generalized Linear function and convex, then we could get an error bound which is dependent on the Gaussian width of the underlying constrained set instead of $p$, which is lower than that in [smith 2017 interaction].


title: The Complex Event Recognition Group

abstract: The Complex Event Recognition (CER) group is a research team, affiliated with the National Centre of Scientific Research "Demokritos" in Greece. The CER group works towards advanced and efficient methods for the recognition of complex events in a multitude of large, heterogeneous and interdependent data streams. Its research covers multiple aspects of complex event recognition, from efficient detection of patterns on event streams to handling uncertainty and noise in streams, and machine learning techniques for inferring interesting patterns. Lately, it has expanded to methods for forecasting the occurrence of events. It was founded in 2009 and currently hosts 3 senior researchers, 5 PhD students and works regularly with under-graduate students.


title: Deep learning based supervised semantic segmentation of Electron Cryo-Subtomograms

abstract: Cellular Electron Cryo-Tomography (CECT) is a powerful imaging technique for the 3D visualization of cellular structure and organization at submolecular resolution. It enables analyzing the native structures of macromolecular complexes and their spatial organization inside single cells. However, due to the high degree of structural complexity and practical imaging limitations, systematic macromolecular structural recovery inside CECT images remains challenging. Particularly, the recovery of a macromolecule is likely to be biased by its neighbor structures due to the high molecular crowding. To reduce the bias, here we introduce a novel 3D convolutional neural network inspired by Fully Convolutional Network and Encoder-Decoder Architecture for the supervised segmentation of macromolecules of interest in subtomograms. The tests of our models on realistically simulated CECT data demonstrate that our new approach has significantly improved segmentation performance compared to our baseline approach. Also, we demonstrate that the proposed model has generalization ability to segment new structures that do not exist in training data.


title: On the number of Bose-selected modes in driven-dissipative ideal Bose gases

abstract: In an ideal Bose gas that is driven into a steady state far from thermal equilibrium, a generalized form of Bose condensation can occur. Namely, the single-particle states unambiguously separate into two groups: the group of Bose-selected states, whose occupations increase linearly with the total particle number, and the group of all other states whose occupations saturate [Phys. Rev. Lett. 111, 240405 (2013)]. However, so far very little is known about how the number of Bose-selected states depends on the properties of the system and its coupling to the environment. The answer to this question is crucial since systems hosting a single, a few, or an extensive number of Bose-selected states will show rather different behavior. While in the former two scenarios each selected mode acquires a macroscopic occupation, corresponding to (fragmented) Bose condensation, the latter case rather bears resemblance to a high-temperature state of matter. In this paper, we systematically investigate the number of Bose-selected states, considering different classes of the rate matrices that characterize the driven-dissipative ideal Bose gases in the limit of weak system-bath coupling. These include rate matrices with continuum limit, rate matrices of chaotic driven systems, random rate matrices, and rate matrices resulting from thermal baths that couple to a few observables only.


title: Threshold phenomena for high-dimensional random polytopes

abstract: Let $X_1,\ldots,X_N$, $N>n$, be independent random points in $\mathbb{R}^n$, distributed according to the so-called beta or beta-prime distribution, respectively. We establish threshold phenomena for the volume, intrinsic volumes, or more general measures of the convex hulls of these random point sets, as the space dimension $n$ tends to infinity. The dual setting of polytopes generated by random halfspaces is also investigated.


title: Don't Leave Me Alone: Retrospective Think Aloud supported by Real-time Monitoring of Participant's Physiology

abstract: Think aloud protocols are widely applied in user experience studies. In this paper, the effect of two different applications of the Retrospective Think Aloud (RTA) protocol on the number of user-reported usability issues is examined. To this end, 30 users were asked to use the National Cadastre and Mapping Agency web application and complete a set of tasks, such as measuring the land area of a square in their hometown. The order of tasks was randomized per participant. Next, participants were involved in RTA sessions. Each participant was involved in two different RTA modes: (a) the strict guidance, in which the facilitator stayed in the background and prompted participants to keep thinking aloud based on his judgement and experience, and (b) the physiology-supported interventions, in which the facilitator intervened based on real-time monitoring of user's physiological signals. During each session, three participant's physiological signals were recorded: skin conductance, skin temperature and blood volume pulse. Participants were also asked to provide valence-arousal ratings for each self-reported usability issue. Analysis of the collected data showed that participants in the physiology-supported RTA mode reported significantly more usability issues. No significant effect of the RTA mode was found on the va-lence-arousal ratings for the reported usability issues. Participants' physiological signals during the RTA sessions did not also differ significantly between the two modes.


title: On the contact geometry and the Poisson geometry of the ideal gas

abstract: We elaborate on existing notions of contact geometry and Poisson geometry as applied to the classical ideal gas. Specifically we observe that it is possible to describe its dynamics using a 3-dimensional contact submanifold of the standard 5-dimensional contact manifold used in the literature. This reflects the fact that the internal energy of the ideal gas depends exclusively on its temperature. We also present a Poisson algebra of thermodynamic operators for a quantum-like description of the classical ideal gas. The central element of this Poisson algebra is proportional to Boltzmann's constant. A Hilbert space of states is identified and a system of wave equations governing the wavefunction is found. Expectation values for the operators representing pressure, volume and temperature are found to satisfy the classical equations of state.


title: Linear combination of composition operators on $H^\infty$ and the Bloch space

abstract: Let $\lambda_i (i=1,...,k)$ be any nonzero complex scalars and $\varphi_i (i=1,..,k)$ be any analytic self-maps of the unit disk $\mathbb{D}$. We show that the operator $\sum_{i=1}^k\lambda_iC_{\varphi_i}$ is compact on the Bloch space $\mathcal{B}$ if and only if $$\lim_{n\to\infty}\|\lambda_1\varphi_1^n+\lambda_2\varphi_2^n+...+\lambda_k\varphi_k^n\|_{\mathcal{B}}=0.$$ We also study the linear combination of composition operators on the Banach algebra of bounded analytic functions.


title: Reasoning in a Hierarchical System with Missing Group Size Information

abstract: The paper analyzes the problem of judgments or preferences subsequent to initial analysis by autonomous agents in a hierarchical system where the higher level agents does not have access to group size information. We propose methods that reduce instances of preference reversal of the kind encountered in Simpson's paradox.


title: A rational QZ method

abstract: We propose a rational QZ method for the solution of the dense, unsymmetric generalized eigenvalue problem. This generalization of the classical QZ method operates implicitly on a Hessenberg, Hessenberg pencil instead of on a Hessenberg, triangular pencil. Whereas the QZ method performs nested subspace iteration driven by a polynomial, the rational QZ method allows for nested subspace iteration driven by a rational function, this creates the additional freedom of selecting poles. In this article we study Hessenberg, Hessenberg pencils, link them to rational Krylov subspaces, propose a direct reduction method to such a pencil, and introduce the implicit rational QZ step. The link with rational Krylov subspaces allows us to prove essential uniqueness (implicit Q theorem) of the rational QZ iterates as well as convergence of the proposed method. In the proofs, we operate directly on the pencil instead of rephrasing it all in terms of a single matrix. Numerical experiments are included to illustrate competitiveness in terms of speed and accuracy with the classical approach. Two other types of experiments exemplify new possibilities. First we illustrate that good pole selection can be used to deflate the original problem during the reduction phase, and second we use the rational QZ method to implicitly filter a rational Krylov subspace in an iterative method.


title: A New Multi Criteria Decision Making Method: Approach of Logarithmic Concept (APLOCO)

abstract: The primary aim of the study is to introduce APLOCO method which is developed for the solution of multicriteria decision making problems both theoretically and practically. In this context, application subject of APLACO constitutes evaluation of investment potential of different cities in metropolitan status in Turkey. The secondary purpose of the study is to identify the independent variables affecting the factories in the operating phase and to estimate the effect levels of independent variables on the dependent variable in the organized industrial zones (OIZs), whose mission is to reduce regional development disparities and to mobilize local production dynamics. For this purpose, the effect levels of independent variables on dependent variables have been determined using the multilayer perceptron (MLP) method, which has a wide use in artificial neural networks (ANNs). The effect levels derived from MLP have been then used as the weight levels of the decision criteria in APLOCO. The independent variables included in MLP are also used as the decision criteria in APLOCO. According to the results obtained from APLOCO, Istanbul city is the best alternative in term of the investment potential and other alternatives are Manisa, Denizli, Izmir, Kocaeli, Bursa, Ankara, Adana, and Antalya, respectively. Although APLOCO is used to solve the ranking problem in order to show application process in the paper, it can be employed easily in the solution of classification and selection problems. On the other hand, the study also shows a rare example of the nested usage of APLOCO which is one of the methods of operation research as well as MLP used in determination of weights.


title: Indole moiety induced biological potency in pseudo- peptides derived from 2-amino-2-(1H-indole-2-yl) based acetamides: synthesis, structure and computational investigations

abstract: We report the synthesis and theoretical investigations of three novel pseudo-peptide molecules derived from 2-amino-2-(1H-indole-2-yl) acetamides. The compounds were subjected to spectroscopic characterization ($^1$H, $^{13}$C-NMR and MS) and their chemical, electronic, and optical properties have been investigated. To ascertain their potential pharmacological applicability, the prospective reactive centers and molecular sites prone to interaction with water were identified along with possible sensitivity to autoxidation. Further, we have studied the optical response in the presence of different solvents and compared the electronic and optical properties of the pristine molecules. We highlight the subtle dependence of the properties on the structure and composition of these pseudo-peptides. Our results indicate that these molecules have high pharmaceutical potential and could serve as lead components in new drug formulations.


title: The discreet charm of higgsino dark matter - a pocket review

abstract: We give a brief review of the current constraints and prospects for detection of higgsino dark matter in low-scale supersymmetry. In the first part we argue, after performing a survey of all potential dark matter particles in the MSSM, that the (nearly) pure higgsino is the only candidate emerging virtually unscathed from the wealth of observational data of recent years. In doing so by virtue of its gauge quantum numbers and electroweak symmetry breaking only, it maintains at the same time a relatively high degree of model-independence. In the second part we properly review the prospects for detection of a higgsino-like neutralino in direct underground dark matter searches, collider searches, and indirect astrophysical signals. We provide estimates for the typical scale of the superpartners and fine tuning in the context of traditional scenarios where the breaking of supersymmetry is mediated at about the scale of Grand Unification and where strong expectations for a timely detection of higgsinos in underground detectors are closely related to the measured 125 GeV mass of the Higgs boson at the LHC.


title: Cohesive fracture with irreversibility: quasistatic evolution for a model subject to fatigue

abstract: In this paper we prove the existence of quasistatic evolutions for a cohesive fracture on a prescribed crack surface, in small-strain antiplane elasticity. The main feature of the model is that the density of the energy dissipated in the fracture process depends on the total variation of the amplitude of the jump. Thus, any change in the crack opening entails a loss of energy, until the crack is complete. In particular this implies a fatigue phenomenon, i.e., a complete fracture may be produced by oscillation of small jumps. The first step of the existence proof is the construction of approximate evolutions obtained by solving discrete-time incremental minimum problems. The main difficulty in the passage to the continuous-time limit is that we lack of controls on the variations of the jump of the approximate evolutions. Therefore we resort to a weak formulation where the variation of the jump is replaced by a Young measure. Eventually, after proving the existence in this weak formulation, we improve the result by showing that the Young measure is concentrated on a function and coincides with the variation of the jump of the displacement.


title: Rortex A New Vortex Vector Definition and Vorticity Tensor and Vector Decompositions

abstract: A vortex is intuitively recognized as the rotational/swirling motion of the fluids. However, an unambiguous and universally-accepted definition for vortex is yet to be achieved in the field of fluid mechanics, which is probably one of the major obstacles causing considerable confusions and misunderstandings in turbulence research. In our previous work, a new vector quantity which is called vortex vector was proposed to accurately describe the local fluid rotation and clearly display vortical structures. In this paper, the definition of the vortex vector, named Rortex here, is revisited from the mathematical perspective. The existence of the rotational axis is proved through real Schur decomposition. Based on real Schur decomposition, a fast algorithm for calculating Rortex is also presented. In addition, new vorticity tensor and vector decompositions are introduced: the vorticity tensor is decomposed to a rigidly rotational part and an anti-symmetric deformation part, and the vorticity vector is decomposed to a rigidly rotational vector and a non-rotational vector. Several cases, including 2D Couette flow, 2D rigid rotational flow and 3D boundary layer transition on a flat plate, are studied to demonstrate the justification of the definition of Rortex. It can be observed that Rortex identifies both the precise swirling strength and the rotational axis, and thus it can reasonably represent the local fluid rotation and provide a new powerful tool for vortex dynamics and turbulence research.


title: Agile development for vulnerable populations: lessons learned and recommendations

abstract: In this paper we draw attention to the challenges of managing software projects for vulnerable populations, i.e., people potentially exposed to harm or not capable of protecting their own interests. The focus on human aspects, and particularly, the inclusion of human-centered approaches, has been a popular topic in the software engineering community. We argue, however, that current literature provides little understanding and guidance on how to approach these type of scenarios. Here, we shed some light on the topic by reporting on our experiences in developing innovative solutions for the residential care scenario, outlining potential issues and recommendations.


title: A New Approach for Higher Order Difference Equations and Eigenvalue problems via Physical Potentials

abstract: In this study, we give the variation of parameters method from a different viewpoint for the Nth order inhomogeneous linear ordinary difference equations with constant coefficient by means of delta exponential function . Advantage of this new approachment is to enable us to investigate the solution of difference equations in the closed form. Also, the method is supported with three difference eigenvalue problems, the second-order Sturm-Liouville problem, which is called also one dimensional Schr\"odinger equation, having Coulomb potential, hydrogen atom equation, and the fourth-order relaxation difference equations. We find sum representation of solution for the second order discrete Sturm-Liouville problem having Coulomb potential, hydrogen atom equation, and analytical solution of the fourth order discrete relaxation problem by the variation of parameters method via delta exponential and delta trigonometric functions .


title: Advertising in the IoT Era: Vision and Challenges

abstract: The Internet of Things (IoT) extends the idea of interconnecting computers to a plethora of different devices, collectively referred to as smart devices. These are physical items - i.e., "things" - such as wearable devices, home appliances, and vehicles, enriched with computational and networking capabilities. Due to the huge set of devices involved - and therefore, its pervasiveness - IoT is a great platform to leverage for building new applications and services or extending existing ones. In this regard, expanding online advertising into the IoT realm is an under-investigated yet promising research direction, especially considering that traditional Internet advertising market is already worth hundreds of billions of dollars. In this paper, we first propose the architecture of an IoT advertising platform inspired by the well-known business ecosystem, which the traditional Internet advertising is based on. Additionally, we discuss the key challenges to implement such a platform with a special focus on issues related to architecture, advertisement content delivery, security, and privacy of the users.


title: Ethical and Social Aspects of Self-Driving Cars

abstract: As an envisaged future of transportation, self-driving cars are being discussed from various perspectives, including social, economical, engineering, computer science, design, and ethics. On the one hand, self-driving cars present new engineering problems that are being gradually successfully solved. On the other hand, social and ethical problems are typically being presented in the form of an idealized unsolvable decision-making problem, the so-called trolley problem, which is grossly misleading. We argue that an applied engineering ethical approach for the development of new technology is what is needed; the approach should be applied, meaning that it should focus on the analysis of complex real-world engineering problems. Software plays a crucial role for the control of self-driving cars; therefore, software engineering solutions should seriously handle ethical and social considerations. In this paper we take a closer look at the regulative instruments, standards, design, and implementations of components, systems, and services and we present practical social and ethical challenges that have to be met, as well as novel expectations for software engineering.


title: Driving Simulator Platform for Development and Evaluation of Safety and Emergency Systems

abstract: According to data from the United Nations, more than 3000 people have died each day in the world due to road traffic collision. Considering recent researches, the human error may be considered as the main responsible for these fatalities. Because of this, researchers seek alternatives to transfer the vehicle control from people to autonomous systems. However, providing this technological innovation for the people may demand complex challenges in the legal, economic and technological areas. Consequently, carmakers and researchers have divided the driving automation in safety and emergency systems that improve the driver perception on the road. This may reduce the human error. Therefore, the main contribution of this study is to propose a driving simulator platform to develop and evaluate safety and emergency systems, in the first design stage. This driving simulator platform has an advantage: a flexible software structure.This allows in the simulation one adaptation for development or evaluation of a system. The proposed driving simulator platform was tested in two applications: cooperative vehicle system development and the influence evaluation of a Driving Assistance System (\textit{DAS}) on a driver. In the cooperative vehicle system development, the results obtained show that the increment of the time delay in the communication among vehicles ($V2V$) is determinant for the system performance. On the other hand, in the influence evaluation of a \textit{DAS} in a driver, it was possible to conclude that the \textit{DAS'} model does not have the level of influence necessary in a driver to avoid an accident.


title: Scalable Architecture for Personalized Healthcare Service Recommendation using Big Data Lake

abstract: The personalized health care service utilizes the relational patient data and big data analytics to tailor the medication recommendations. However, most of the health care data are in unstructured form and it consumes a lot of time and effort to pull them into relational form. This study proposes a novel data lake architecture to reduce the data ingestion time and improve the precision of healthcare analytics. It also removes the data silos and enhances the analytics by allowing the connectivity to the third-party data providers (such as clinical lab results, chemist, insurance company,etc.). The data lake architecture uses the Hadoop Distributed File System (HDFS) to provide the storage for both structured and unstructured data. This study uses K-means clustering algorithm to find the patient clusters with similar health conditions. Subsequently, it employs a support vector machine to find the most successful healthcare recommendations for the each cluster. Our experiment results demonstrate the ability of data lake to reduce the time for ingesting data from various data vendors regardless of its format. Moreover, it is evident that the data lake poses the potential to generate clusters of patients more precisely than the existing approaches. It is obvious that the data lake provides a unified storage location for the data in its native format. It can also improve the personalized healthcare medication recommendations by removing the data silos.


title: Recent progress in subset combinatorics of groups

abstract: We systematize and analyze some results obtained in Subset Combinatorics of $G$ groups after publications the previous surveys [1-4]. The main topics: the dynamical and descriptive characterizations of subsets of a group relatively their combinatorial size, Ramsey-product subsets in connection with some general concept of recurrence in $G$-spaces, new ideals in the Boolean algebra $\mathcal{P}_{G}$ of all subsets of a group $G$ and in the Stone-$\check{C}$ech compactification $\beta G$ of $G$ , the combinatorial derivation.


title: p-Laplacian Fractional Sturm-Liouville Problem for Diffusion Operator via Impulsive Condition

abstract: In this study, the existence results of solution is given for fractional p-Laplacian Stum-Liouville problem for diffusion operator of order with impulsive conditions. The derivatives are described in Riemann-Liouville and Caputo sense. The Riemann-Liouville integral operator is used to acquire the integral representation of solution. The existence of solution is demonstrate via Schaefer fixed point theorem.


title: Design a multicultural blended e-learning system

abstract: Most universities in developing countries are using a teaching and learning approach known as blended e-learning, however, there was no multicultural-based blended e-learning framework. Furthermore, there is no research to show the impact of multicultural blended e-learning on satisfaction of learners. This research employed two categories of students, the Iranian students and the Iraqi students studying at Razi University of Iran. These two groups were taught using the multicultural blended e-learning approach. We utilized an open source application named Claroline. Questionnaires were designed and administered to students to collect information about the level of satisfaction and the optimal mix of tools that go into blended multicultural-based e-learning. The collected information was analyzed using SPSS. We found that blended multicultural based e-learning improves the level of satisfaction of learners. In addition, the optimal mix of multicultural blended learning should be comprised 19% still pictures, audio files 23%, video files 31% and text files 27%.


title: Analysis of Complex System Development Based on Fuzzy Cognitive Mapping

abstract: This article represents one of the contemporary trends in the application of the latest methods of classification in business, where intense competition and the desire to expand drive this science to far-reaching prospects using the discusses months and the most recent classification and forecasting algorithms such as SVM, FFM, C4.5, which are used to build better business decision support models, including basic steps in data pre-processing such as Attributes using Information Gain Ratio and filling missing values with several algorithms:K-Means,K-NearestNeighbor,Linear Regression,Neural Network(Back Propagation)


title: Means of unbounded sets

abstract: We study generalized means whose domain may contain unbounded sets as well. We investigate usual properties of this type of means and also new attributes that regard for such means only. We examine how a mean defined on bounded sets can be extended to this type of mean. We generalize some classic means and also present many new examples for means defined on unbounded sets.


title: TMOKE as efficient tool for the magneto-optic analysis of ultra-thin magnetic films

abstract: Ultra-thin magnetic dielectric films are of prime importance due to their applications for nanophotonics and spintronics. Here, we propose an efficient method for the magneto-optical investigation of ultra-thin magnetic films which allows one to access their state of magnetization and magneto-optical properties. It is based on the surface-plasmon-polariton-assisted transverse magneto-optical Kerr effect (TMOKE). In our experiments, sub-100 nm-thick bismuth-substituted lutetium iron-garnet films covered with a plasmonic gold grating have been analyzed. The excitation of surface plasmon-polaritons provides resonance enhancement of TMOKE up to 0.04 and makes it easily detectable in the experiment. For films thicker than 40 nm, the TMOKE marginally depends on the film thickness. A further decrease in the film thickness diminishes TMOKE since for such thicknesses the surface plasmon-polariton field partly penetrates inside the non-magnetic substrate. Nevertheless, the TMOKE remains measurable even for few-nm-thick films, which makes this technique unique for the magneto-optical study of ultra-thin films. Particularly, the proposed method reveals that the off-diagonal components of the magnetic film permittivity tensor grow slightly with the reduction of the film thickness.


title: Infrastructure Enabled Autonomy: A Distributed Intelligence Architecture for Autonomous Vehicles

abstract: Multiple studies have illustrated the potential for dramatic societal, environmental and economic benefits from significant penetration of autonomous driving. However, all the current approaches to autonomous driving require the automotive manufacturers to shoulder the primary responsibility and liability associated with replacing human perception and decision making with automation, potentially slowing the penetration of autonomous vehicles, and consequently slowing the realization of the societal benefits of autonomous vehicles. We propose here a new approach to autonomous driving that will re-balance the responsibility and liabilities associated with autonomous driving between traditional automotive manufacturers, infrastructure players, and third-party players. Our proposed distributed intelligence architecture leverages the significant advancements in connectivity and edge computing in the recent decades to partition the driving functions between the vehicle, edge computers on the road side, and specialized third-party computers that reside in the vehicle. Infrastructure becomes a critical enabler for autonomy. With this Infrastructure Enabled Autonomy (IEA) concept, the traditional automotive manufacturers will only need to shoulder responsibility and liability comparable to what they already do today, and the infrastructure and third-party players will share the added responsibility and liabilities associated with autonomous functionalities. We propose a Bayesian Network Model based framework for assessing the risk benefits of such a distributed intelligence architecture. An additional benefit of the proposed architecture is that it enables "autonomy as a service" while still allowing for private ownership of automobiles.


title: Linear Regression for Speaker Verification

abstract: This paper presents a linear regression based back-end for speaker verification. Linear regression is a simple linear model that minimizes the mean squared estimation error between the target and its estimate with a closed form solution, where the target is defined as the ground-truth indicator vectors of utterances. We use the linear regression model to learn speaker models from a front-end, and verify the similarity of two speaker models by a cosine similarity scoring classifier. To evaluate the effectiveness of the linear regression model, we construct three speaker verification systems that use the Gaussian mixture model and identity-vector (GMM/i-vector) front-end, deep neural network and i-vector (DNN/i-vector) front-end, and deep vector (d-vector) front-end as their front-ends, respectively. Our empirical comparison results on the NIST speaker recognition evaluation data sets show that the proposed method outperforms within-class covariance normalization, linear discriminant analysis, and probabilistic linear discriminant analysis, given any of the three front-ends.


title: A sharpened Strichartz inequality for the wave equation

abstract: We disprove a conjecture of Foschi, regarding extremizers for the Strichartz inequality with data in the Sobolev space $\dot{H}^{1/2}\times\dot{H}^{-1/2}(\mathbb R^d)$, for even $d\ge 2$. On the other hand, we provide evidence to support the conjecture in odd dimensions, and refine his sharp inequality in $\mathbb R^{1+3}$, adding a term proportional to the distance of the initial data from the set of extremizers. The proofs use the conformal compactification of the Minkowski space-time given by the Penrose transform.


title: Socle deformed preprojective algebras of generalized Dynkin type

abstract: We provide a complete classification of finite-dimensional self-injective algebras which are socle equivalent to preprojective algebras of generalized Dynkin type. In particular, we conclude that these algebras are deformed preprojective algebras of generalized Dynkin type (in the sense of [5, 12]), and hence are periodic algebras.


title: A Split Random Time Stepping Method for Stiff and Non-stiff Chemically Reacting Flows

abstract: In this paper, a new fractional step method is proposed for simulating stiff and nonstiff chemically reacting flows. In stiff cases, a well-known spurious numerical phenomenon, i.e. the incorrect propagation speed of discontinuities, may be produced by general fractional step methods due to the under-resolved discretization in both space and time. The previous random projection method has been successfully applied for stiff detonation capturing in under-resolved conditions. Not to randomly project the intermediate state into two presumed equilibrium states (completely burnt or unburnt) as in the random projection method, the present study is to randomly choose the time-dependent advance or stop of a reaction process. Each one-way reaction has been decoupled from the multi-reaction kinetics using operator splitting and the local smeared temperature due to numerical dissipation of shock-capturing schemes is compared with a random one within two limited temperatures corresponding to the advance and its inverse states, respectively, to control the random reaction. The random activation or deactivation in the reaction step is thus promising to correct the deterministic accumulative error of the propagation of discontinuities. Extensive numerical experiments, including model problems and realistic reacting flows in one and two dimensions, demonstrate this expectation as well as the effectiveness and robustness of the method. Meanwhile, for nonstiff problems when spatial and temporal resolutions are fine, the proposed random method recovers the results as general fractional step methods, owing to the increasing possibility of activation with diminishing randomness by adding a shift term.


title: Review of Smart Meter Data Analytics: Applications, Methodologies, and Challenges

abstract: The widespread popularity of smart meters enables an immense amount of fine-grained electricity consumption data to be collected. Meanwhile, the deregulation of the power industry, particularly on the delivery side, has continuously been moving forward worldwide. How to employ massive smart meter data to promote and enhance the efficiency and sustainability of the power grid is a pressing issue. To date, substantial works have been conducted on smart meter data analytics. To provide a comprehensive overview of the current research and to identify challenges for future research, this paper conducts an application-oriented review of smart meter data analytics. Following the three stages of analytics, namely, descriptive, predictive and prescriptive analytics, we identify the key application areas as load analysis, load forecasting, and load management. We also review the techniques and methodologies adopted or developed to address each application. In addition, we also discuss some research trends, such as big data issues, novel machine learning technologies, new business models, the transition of energy systems, and data privacy and security.


title: On a toy network of neurons interacting through their dendrites

abstract: Consider a large number $n$ of neurons, each being connected to approximately $N$ other ones, chosen at random. When a neuron spikes, which occurs randomly at some rate depending on its electric potential, its potential is set to a minimum value $v_{min}$, and this initiates, after a small delay, two fronts on the (linear) dendrites of all the neurons to which it is connected. Fronts move at constant speed. When two fronts (on the dendrite of the same neuron) collide, they annihilate. When a front hits the soma of a neuron, its potential is increased by a small value $w_n$. Between jumps, the potentials of the neurons are assumed to drift in $[v_{min},\infty)$, according to some well-posed ODE. We prove the existence and uniqueness of a heuristically derived mean-field limit of the system when $n,N \to \infty$ with $w_n \simeq N^{-1/2}$. We make use of some recent versions of the results of Deuschel and Zeitouni \cite{dz} concerning the size of the longest increasing subsequence of an i.i.d. collection of points in the plan. We also study, in a very particular case, a slightly different model where the neurons spike when their potential reach some maximum value $v_{max}$, and find an explicit formula for the (heuristic) mean-field limit.


title: Fully self-referenced frequency comb consuming 5 Watts of electrical power

abstract: We present a hybrid fiber/waveguide design for a 100-MHz frequency comb that is fully self-referenced and temperature controlled with less than 5 W of electrical power. Self-referencing is achieved by supercontinuum generation in a silicon nitride waveguide, which requires much lower pulse energies (~200 pJ) than with highly nonlinear fiber. These low-energy pulses are achieved with an erbium fiber oscillator/amplifier pumped by two 250-mW passively-cooled pump diodes that consume less than 5 W of electrical power. The temperature tuning of the oscillator, necessary to stabilize the repetition rate in the presence of environmental temperature changes, is achieved by resistive heating of a section of gold-palladium-coated fiber within the laser cavity. By heating only the small thermal mass of the fiber, the repetition rate is tuned over 4.2 kHz (corresponding to an effective temperature change of 4.2 {\deg}C) with a fast time constant of 0.5 s, at a low power consumption of 0.077 W/{\deg}C, compared to 2.5 W/{\deg}C in the conventional 200-MHz comb design.


title: Exact solution for Schwarzschild black hole in radiation gauge

abstract: Recently Chen and Zhu propose a true radiation gauge for gravity [Phys. Rev. D 83, 061501(R) (2011)]. This work presents a general solution for the metric of Schwarzschild black hole in this radiation gauge.


title: Comparison Criteria for Discrete Fractional Sturm-Liouville Equations

abstract: In this study, we give the Sturm comparison theorems for discrete fractional Sturm-Liouville (DFSL) equations within Riemann-Liouville and Gr\"unwald-Letnikov sense. The emergence of Sturm-Liouville equations began as one dimensional Schr\"odinger equation in quantum mechanics and one of the most important results is Sturm comparison theorems [27]. These theorems give information about the properties of zeros of two equations having different potentials.


title: Tagvisor: A Privacy Advisor for Sharing Hashtags

abstract: Hashtag has emerged as a widely used concept of popular culture and campaigns, but its implications on people's privacy have not been investigated so far. In this paper, we present the first systematic analysis of privacy issues induced by hashtags. We concentrate in particular on location, which is recognized as one of the key privacy concerns in the Internet era. By relying on a random forest model, we show that we can infer a user's precise location from hashtags with accuracy of 70\% to 76\%, depending on the city. To remedy this situation, we introduce a system called Tagvisor that systematically suggests alternative hashtags if the user-selected ones constitute a threat to location privacy. Tagvisor realizes this by means of three conceptually different obfuscation techniques and a semantics-based metric for measuring the consequent utility loss. Our findings show that obfuscating as little as two hashtags already provides a near-optimal trade-off between privacy and utility in our dataset. This in particular renders Tagvisor highly time-efficient, and thus, practical in real-world settings.


title: Iterated logarithms and gradient flows

abstract: We consider applications of the theory of balanced weight filtrations and iterated logarithms, initiated in arXiv:1706.01073, to PDEs. The main result is a complete description of the asymptotics of the Yang--Mills flow on the space of metrics on a holomorphic bundle over a Riemann surface. A key ingredient in the argument is a monotonicity property of the flow which holds in arbitrary dimension. The A-side analog is a modified curve shortening flow for which we provide a heuristic calculation in support of a detailed conjectural picture.


title: Impact of Oxygen Diffusion on Superconductivity in YBa$_2$Cu$_3$O$_{7-\delta}$ Thin Films Studied by Positron Annihilation Spectroscopy

abstract: The oxygen deficiency $\delta$ in YBa$_2$Cu$_3$O$_{7-\delta}$ (YBCO) plays a crucial role for affecting high-temperature superconductivity. We applied (coincident) Doppler broadening spectroscopy of the electron-positron annihilation line to study in situ the temperature dependence of the oxygen concentration and its depth profile in single crystalline YBCO film grown on SrTiO$_3$ (STO) substrates. The oxygen diffusion during tempering was found to lead to a distinct depth dependence of $\delta$, which is not accessible using X-ray diffraction. A steady-state reached within a few minutes is defined by both, the oxygen exchange at the surface and at the interface to the STO substrate. Moreover, we revealed the depth dependent critical temperature $T_{\mathrm{c}}$ in the as prepared and tempered YBCO film.


title: On a nonstatic Painleve-Gullstrand spacetime

abstract: A time dependent geometry outside a spherically symmetric mass is proposed. The source has zero energy density but nonzero radial and tangential pressures. The time variable is interpreted as the duration of measurement performed upon the physical system. For very short time intervals, the effect of the mass source is much reduced, going to zero when $t \rightarrow 0$. All physical quantities are finite when $t \rightarrow 0$ and $r \rightarrow 0$ and also at infinity. The total energy flux measured on a hypersurface of constant $r$ is vanishing.


title: Classification of proper holomorphic mappings between certain unbounded non-hyperbolic domains

abstract: The Fock-Bargmann-Hartogs domain $D_{n,m}(\mu)$ ($\mu>0$) in $\mathbb{C}^{n+m}$ is defined by the inequality $\|w\|^2<e^{-\mu\|z\|^2},$ where $(z,w)\in \mathbb{C}^n\times \mathbb{C}^m$, which is an unbounded non-hyperbolic domain in $\mathbb{C}^{n+m}$. Recently, Tu-Wang obtained the rigidity result that proper holomorphic self-mappings of $D_{n,m}(\mu)$ are automorphisms for $m\geq 2$, and found a counter-example to show that the rigidity result isn't true for $D_{n,1}(\mu)$. In this article, we obtain a classification of proper holomorphic mappings between $D_{n,1}(\mu)$ and $D_{N,1}(\mu)$ with $N<2n$.


title: A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams

abstract: In this paper, we deal with a calculus system SLCD (Syllogistic Logic with Carroll Diagrams), which gives a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categorical propositions and show that they are closed under the syllogistic criterion of inference which is the deletion of middle term. Therefore, it is implemented to let the formalism comprise synchronically bilateral and trilateral diagrammatical appearance and a naive algorithmic nature. And also, there is no need specific knowledge or exclusive ability to understand as well as to use it. Consequently, we give an effective algorithm used to determine whether a syllogistic reasoning valid or not by using SLCD.


title: Smart energy management as a means towards improved energy efficiency

abstract: The costs associated with refrigerator equipment often represent more than half of the total energy costs in supermarkets. This presents a good motivation for running these systems efficiently. In this study, we investigate different ways to construct a reference behavior, which can serve as a baseline for judging the performance of energy consumption. We used 3 distinct learning models: Multiple Linear Regression, Random Forests, and Artificial Neural Networks. During our experiments we used a variation of the sliding window method in combination with learning curves. We applied this approach on five different supermarkets, across Portugal. We are able to create baselines using off-the-shelf data mining techniques. Moreover, we found a way to create them based on short term historical data. We believe that our research will serve as a base for future studies, for which we provide interesting directions.


title: Integer completely positive matrices of order two

abstract: We show that every integer doubly nonnegative $2 \times 2$ matrix has an integer cp-factorization.


title: Exploring the decay probability of neutron-rich superheavy nuclei

abstract: The modes of decay for the even-even isotopes of superheavy nuclei of Z = 118 and 120 with neutron number $160 \leq N \leq 204$ are investigated in the framework of the axially deformed relativistic mean field model. The asymmetry parameter $\eta$ and the relative neutron-proton asymmetry of the surface to the center ($R_{\eta}$) are estimated for the ground state density distributions of the nuclei. We suggest that the resulting asymmetry parameter $\eta$ and the relative neutron-proton asymmetry $R_{\eta}$ of the density play a crucial role in the preformation factor of the decay half life.


title: Annular Evaluation and Link Homology

abstract: We use categorical annular evaluation to give a uniform construction of both $\mathfrak{sl}_n$ and HOMFLYPT Khovanov-Rozansky link homology, as well as annular versions of these theories. Variations on our construction yield $\mathfrak{gl}_{-n}$ link homology, i.e. a link homology theory associated to the Lie superalgebra $\mathfrak{gl}_{0|n}$, both for links in $S^3$ and in the thickened annulus. In the $n=2$ case, this produces a categorification of the Jones polynomial that we show is distinct from Khovanov homology, and gives a finite-dimensional categorification of the colored Jones polynomial. This behavior persists for general $n$. Our approach yields simple constructions of spectral sequences relating these theories, and emphasizes the roles of super vector spaces, categorical traces, and current algebras in link homology.


title: Hierarchical Learning for Modular Robots

abstract: We argue that hierarchical methods can become the key for modular robots achieving reconfigurability. We present a hierarchical approach for modular robots that allows a robot to simultaneously learn multiple tasks. Our evaluation results present an environment composed of two different modular robot configurations, namely 3 degrees-of-freedom (DoF) and 4DoF with two corresponding targets. During the training, we switch between configurations and targets aiming to evaluate the possibility of training a neural network that is able to select appropriate motor primitives and robot configuration to achieve the target. The trained neural network is then transferred and executed on a real robot with 3DoF and 4DoF configurations. We demonstrate how this technique generalizes to robots with different configurations and tasks.


title: A semi-analytical approach to black body radiation

abstract: We describe a semi-analytical method to calculate the total radiance received form a black body, between two frequencies. As has been done before, the method takes advantage of the fact that the solution simplifies with the use of polylogarithm functions. We then use it to study the amount of radiation from the sun received by bodies at Earths surface.


title: Power System Simulation Using the Differential Transformation Method

abstract: This paper proposes a new semi-analytical approach for online time-domain power system simulation. The approach applies the differential transformation method (DTM) to the power system differential equation model to offline derive a semi-analytical solution (SAS) having symbolic variables about time, the initial state and system conditions. When simulation is online needed for a contingency under the current system condition, the SAS can be evaluated in real time to generate simulation results. Compared to the Adomian decomposition method in obtaining a power system SAS, an SAS derived by the DTM adopts a recursive form to avoid generating and storing its complete symbolic expression, which makes both derivation and evaluation of the SAS more efficient especially for multi-machine power systems. The optimal order of a DTM-based SAS is studied for the best time performance of simulation. The paper also designs a parallel computing strategy for power system simulation using the DTM-based SAS. Tests on the IEEE 10-machine 39-bus system demonstrate significant speedup of simulation using the proposed approach compared with the Runge-Kutta method.