title: Self-Stabilizing and Private Distributed Shared Atomic Memory in Seldomly Fair Message Passing Networks

abstract: We study the problem of privately emulating shared memory in message-passing networks. The system includes clients that store and retrieve replicated information on N servers, out of which e are malicious. When a client access a malicious server, the data field of that server response might be different than the value it originally stored. However, all other control variables in the server reply and protocol actions are according to the server algorithm. For the coded atomic storage (CAS) algorithms by Cadambe et al., we present an enhancement that ensures no information leakage and malicious fault-tolerance. We also consider recovery after the occurrence of transient faults that violate the assumptions according to which the system is to behave. After their last occurrence, transient faults leave the system in an arbitrary state (while the program code stays intact). We present a self-stabilizing algorithm, which recovers after the occurrence of transient faults. This addition to Cadambe et al. considers asynchronous settings as long as no transient faults occur. The recovery from transient faults that bring the system counters (close) to their maximal values may include the use of a global reset procedure, which requires the system run to be controlled by a fair scheduler. After the recovery period, the safety properties are provided for asynchronous system runs that are not necessarily controlled by fair schedulers. Since the recovery period is bounded and the occurrence of transient faults is extremely rare, we call this design criteria self-stabilization in the presence of seldom fairness. Our self-stabilizing algorithm uses a bounded storage during asynchronous executions (that are not necessarily fair). To the best of our knowledge, we are the first to address privacy and self-stabilization in the context of emulating atomic shared memory in networked systems.


title: The lock and key model for Molecular Recognition. Is it time for a paradigm shift?

abstract: We review the standard lock and key (LK) model for binding small ligands to larger adsorbent molecule. We discuss three levels of the traditional LK model for binding. Within this model the binding constant or the Gibbs energy of the binding process is related to the total interaction energy between the ligand and the binding site of the adsorbent molecules. When solvent molecules are present, which is the case in all binding processes in biochemistry, we find that a major part of the Gibbs energy of binding could be due to interactions mediated through the solvent molecules. This finding could have major consequences to the applicability of the LK model in drug design, and perhaps require a shift in the prevailing paradigm in this field of research. Keywords: Lock and key model, Binding constant, solvent effect on binding, hydrophilic effect, molecular recognition.


title: Lung ultrasound surface wave elastography for assessing instititial lung disease

abstract: Lung ultrasound surface wave elastography (LUSWE) is a novel noninvasive technique for measuring superficial lung tissue stiffness.The purpose of this study was to translate LUSWE for assessing patients with interstitial lung disease (ILD) and various connective diseases including systemic sclerosis (SSc).In this study, LUSWE was used to measure the surface wave speed of lung at 100 Hz, 150 Hz and 200 Hz through six intercostal lung spaces for 91 patients with ILD and 30 healthy control subjects. In addition, skin viscoelasticity was measured at both forearms and upper arms for patients and controls. The surface wave speeds of patients' lungs were significantly higher than those of control subjects for the six intercostal spaces and the three excitation frequencies. Patient skin elasticity and viscosity were significantly higher than those of control subjects for the four locations on the arm. In dividing ILD patients into two groups, ILD patients with SSc and ILD patients without SSc, significant differences between each patient group with the control group were found for both the lung and skin.No significant differences were found between the two patients group, although there were some differences at a few locations and at 100 Hz. LUSWE may be useful for assessing ILD and SSc and screening early stage patients.


title: An Overview Of Some Semantic And Syntactic Complexity Classes

abstract: We review some semantic and syntactic complexity classes that were introduced to better understand the relationship between complexity classes P and NP. We also define several new complexity classes, some of which are associated with Mersenne numbers, and show their location in the complexity hierarchy.


title: Multiferroicity in a spin-chain compound, Tb2BaCoO5, with exceptionally large magnetodielectric coupling in polycrystalline form

abstract: We report the results of detailed investigations of magnetization, heat-capacity, dielectric, pyrocurrent, and magneto(di)electric measurements on Tb2BaCoO5, belonging to a hither-to-unexplored spin-chain cobaltates family, R2BaCoO5 (R= Rare-earths). The magnetic measurements reveal that this compound exhibits an antiferromagnetic transition at (T_N=) 18.8 K and there is a spin-reorientation beyond 40 kOe below T_N. Dielectric and pyrocurrent data measured as a function of temperature and magnetic-field establish that this compound is a type-II multiferroic material. The most fascinating finding which we would like to emphasize is that the observed value of the magnetodielectric effect beyond the metamagnetic transition field is the largest (close to 55%, below 10 K, for H= 100 kOe) ever reported for polycrystals of a compound in bulk form, thereby offering a hope to find a single-phase polycrystalline compound at room temperature to enable ease of applications.


title: Transit timing analysis of the exoplanet TrES-5 b. Possible existence of the exoplanet TrES-5 c

abstract: In this work, we present transit timing variations detected for the exoplanet TrES-5b. To obtain the necessary amount of photometric data for this exoplanet, we have organized an international campaign to search for exoplanets based on the Transit Timing Variation method (TTV) and as a result of this we collected 30 new light curves, 15 light curves from the Exoplanet Transit Database (ETD) and 8 light curves from the literature for the timing analysis of the exoplanet TrES-5b. We have detected timing variations with a semi-amplitude of A ~ 0.0016 days and a period of P ~ 99 days. We carried out the N-body modeling based on the three-body problem. The detected perturbation of TrES-5b may be caused by a second exoplanet in the TrES-5 system. We have calculated the possible mass and resonance of the object: M ~ 0.24MJup at a 1:2 Resonance.


title: Universality in human cortical folding across lobes of individual brains

abstract: Background: We have previously demonstrated that cortical folding across mammalian species follows a universal scaling law that can be derived from a simple theoretical model. The same scaling law has also been shown to hold across brains of our own species, irrespective of age or sex. These results, however, only relate measures of complete cortical hemispheres. There are known systematic variations in morphology between different brain regions, and region-specific changes with age. It is therefore of interest to extend our analyses to different cortical regions, and analyze the scaling law within an individual brain. Methods: To directly compare the morphology of sub-divisions of the cortical surface in a size-independent manner, we base our method on a topological invariant of closed surfaces. We reconstruct variables of a complete hemisphere from each lobe of the brain so that it has the same gyrification index, average thickness and average Gaussian curvature. Results: We show that different lobes are morphologically diverse but obey the same scaling law that was observed across human subjects and across mammalian species. This is also the case for subjects with Alzheimer's disease. The age-dependent offset changes at similar rates for all lobes in healthy subjects, but differs most dramatically in the temporal lobe in Alzheimer's disease. Significance: Our results further support the idea that while morphological parameters can vary locally across the cortical surface/across subjects of the same species/across species, the processes that drive cortical gyrification are universal.


title: Impact of effective polarisability models on the predicted release dynamics of CH$_4$ and CO$_2$ from premelted ice

abstract: We present a theory for Casimir--Polder forces acting on greenhouse gas molecules dissolved in a thin water film. Such a nanosized film has recently been predicted to arise on th surface of melting ice as stabilized by repulsive Lifshitz forces. We show that different models for the effective polarizability of greenhouse gas molecules in water lead to different predictions for how Casimir--Polder forces influence the extraction of CH$_4$ and CO$_2$ molecules from the melting ice surface. In the most intricate model of a finite-sized molecule inside a cavity, dispersion potentials push the methane molecules towards the ice surface whereas the carbon dioxide typically will be attracted towards the closest interface (ice or air). Previous models for effective polarizability had suggested that CO$_2$ would also be pushed towards the ice surface. Release of greenhouse gas molecules from the surface of melting ice can potentially influence climate greenhouse effects.


title: Populations with interaction and environmental dependence: from few, (almost) independent, members into deterministic evolution of high densities

abstract: Many populations, e.g. of cells, bacteria, viruses, or replicating DNA molecules, start small, from a few individuals, and grow large into a noticeable fraction of the environmental carrying capacity $K$. Typically, the elements of the initiating, sparse set will not be hampering each other and their number will grow from $Z_0=z_0$ in a branching process or Malthusian like, roughly exponential fashion, $Z_t \sim a^tW$, where $Z_t$ is the size at discrete time $t\to\infty$, $a>1$ is the offspring mean per individual (at the low starting density of elements, and large $K$), and $W$ a sum of $z_0$ i.i.d. random variables. It will, thus, become detectable (i.e. of the same order as $K$) only after around $\log K$ generations, when its density $X_t:=Z_t/K$ will tend to be strictly positive. Typically, this entity will be random, even if the very beginning was not at all stochastic, as indicated by lower case $z_0$, due to variations during the early development. However, from that time onwards, law of large numbers effects will render the process deterministic, though initiated by the random density at time log $K$, expressed through the variable $W$. Thus, $W$ acts both as a random veil concealing the start and a stochastic initial value for later, deterministic population density development. We make such arguments precise, studying general density and also system-size dependent, processes, as $K\to\infty$. As an intrinsic size parameter, $K$ may also be chosen to be the time unit. The fundamental ideas are to couple the initial system to a branching process and to show that late densities develop very much like iterates of a conditional expectation operator.


title: Hydrogenation and defect formation control the strength and ductility of MoS2 nanosheets: Reactive molecular dynamics simulation

abstract: Two-dimensional (2D) molybdenum disulfide (MoS2) has attracted significant attention because of its outstanding properties, suitable for application in several critical technologies like, solar cells, photocatalysis, lithium-ion batteries, nanoelectronics, and electrocatalysis. Similar to graphene and other 2D materials, the physical and chemical properties of MoS2 can be tuned by the chemical functionalization and defects. In this investigation, our objective is to explore the mechanical properties of single-layer MoS2 functionalized by the hydrogen atoms. We moreover analyze the effects of different types of defects on the mechanical response of MoS2 at the room temperature. To investigate these systems, we conducted reactive molecular dynamics simulations using the ReaxFF forcefield. We demonstrate that an increase in the hydrogen adatoms or defects contents significantly affects the critical mechanical characteristics of MoS2, elastic modulus, tensile strength, stretchability and failure behavior. Our reactive molecular dynamics results provide useful information concerning the mechanical response of hydrogenated and defective MoS2 and the design of nanodevices.


title: Long time behavior of random and nonautonomous Fisher-KPP equations. Part II. Transition fronts

abstract: In the current series of two papers, we study the long time behavior of the following random Fisher-KPP equation $$ u_t =u_{xx}+a(\theta_t\omega)u(1-u),\quad x\in\R, \eqno(1) $$ where $\omega\in\Omega$, $(\Omega, \mathcal{F},\mathbb{P})$ is a given probability space, $\theta_t$ is an ergodic metric dynamical system on $\Omega$, and $a(\omega)>0$ for every $\omega\in\Omega$. We also study the long time behavior of the following nonautonomous Fisher-KPP equation, $$ u_t=u_{xx}+a_0(t)u(1-u),\quad x\in\R, \eqno(2) $$ where $a_0(t)$ is a positive locally H\"older continuous function. In the first part of the series, we studied the stability of positive equilibria and the spreading speeds of (1) and (2). In this second part of the series, we investigate the existence and stability of transition fronts of (1) and (2). We first study the transition fronts of (1). Under some proper assumption on $a(\omega)$, we show the existence of random transition fronts of (1) with least mean speed greater than or equal to some constant $\underline{c}^*$ and the nonexistence of ranndom transition fronts of (1) with least mean speed less than $\underline{c}^*$. We prove the stability of random transition fronts of (1) with least mean speed greater than $\underline{c}^*$. Note that it is proved in the first part that $\underline{c}^*$ is the infimum of the spreading speeds of (1). We next study the existence and stability of transition fronts of (2). It is not assumed that $a(\omega)$ and $a_0(t)$ are bounded above and below by some positive constants. Many existing results in literature on transition fronts of Fisher-KPP equations have been extended to the general cases considered in the current paper. The current paper also obtains several new results.


title: Path counting and rank gaps in differential posets

abstract: We study the gaps $\Delta p_n$ between consecutive rank sizes in $r$-differential posets by introducing a projection operator whose matrix entries can be expressed in terms of the number of certain paths in the Hasse diagram. We strengthen Miller's result that $\Delta p_n \geq 1$, which resolved a longstanding conjecture of Stanley, by showing that $\Delta p_n \geq 2r$. We also obtain stronger bounds in the case that the poset has many substructures called threads.


title: Feature Pyramid Network for Multi-Class Land Segmentation

abstract: Semantic segmentation is in-demand in satellite imagery processing. Because of the complex environment, automatic categorization and segmentation of land cover is a challenging problem. Solving it can help to overcome many obstacles in urban planning, environmental engineering or natural landscape monitoring. In this paper, we propose an approach for automatic multi-class land segmentation based on a fully convolutional neural network of feature pyramid network (FPN) family. This network is consisted of pre-trained on ImageNet Resnet50 encoder and neatly developed decoder. Based on validation results, leaderboard score and our own experience this network shows reliable results for the DEEPGLOBE - CVPR 2018 land cover classification sub-challenge. Moreover, this network moderately uses memory that allows using GTX 1080 or 1080 TI video cards to perform whole training and makes pretty fast predictions.


title: Recovery Analysis of Damped Spectrally Sparse Signals and Its Relation to MUSIC

abstract: One of the classical approaches for estimating the frequencies and damping factors in a spectrally sparse signal is the MUSIC algorithm, which exploits the low-rank structure of an autocorrelation matrix. Low-rank matrices have also received considerable attention recently in the context of optimization algorithms with partial observations, and nuclear norm minimization (NNM) has been widely used as a popular heuristic of rank minimization for low-rank matrix recovery problems. On the other hand, it has been shown that NNM can be viewed as a special case of atomic norm minimization (ANM), which has achieved great success in solving line spectrum estimation problems. However, as far as we know, the general ANM (not NNM) considered in many existing works can only handle frequency estimation in undamped sinusoids. In this work, we aim to fill this gap and deal with damped spectrally sparse signal recovery problems. In particular, inspired by the dual analysis used in ANM, we offer a novel optimization-based perspective on the classical MUSIC algorithm and propose an algorithm for spectral estimation that involves searching for the peaks of the dual polynomial corresponding to a certain NNM problem, and we show that this algorithm is in fact equivalent to MUSIC itself. Building on this connection, we also extend the classical MUSIC algorithm to the missing data case. We provide exact recovery guarantees for our proposed algorithms and quantify how the sample complexity depends on the true spectral parameters. In particular, we provide a parameter-specific recovery bound for low-rank matrix recovery of jointly sparse signals rather than use certain incoherence properties as in existing literature. Simulation results also indicate that the proposed algorithms significantly outperform some relevant existing methods (e.g., ANM) in frequency estimation of damped exponentials.


title: Structural neuroimaging as clinical predictor: a review of machine learning applications

abstract: In this paper, we provide an extensive overview of machine learning techniques applied to structural magnetic resonance imaging (MRI) data to obtain clinical classifiers. We specifically address practical problems commonly encountered in the literature, with the aim of helping researchers improve the application of these techniques in future works. Additionally, we survey how these algorithms are applied to a wide range of diseases and disorders (e.g. Alzheimer's disease (AD), Parkinson's disease (PD), autism, multiple sclerosis, traumatic brain injury, etc.) in order to provide a comprehensive view of the state of the art in different fields.


title: Improving the Reliability of Mobility Applications

abstract: The Android platform was introduced by Google in 2008 as an operating system for mobile devices. Android's SDK provides a wide support for programming and extensive examples and documentation. Reliability is an increasing concern for Smart Phone applications since they often feature personal information and data. Therefore, techniques and tools for checking the correct behavior of apps are required. This paper shows how the Event-B method can be used to reason and to verify the design of Android apps and how this can be used to document implementation decisions. Our approach consists in modeling the core functionality of the app in Event-B and using the evidence shown by the Proof Obligations generated to reason about the design and the implementation of the app. Although we do not propose a novel approach, we prove that heavyweight Formal Methods (FMs) techniques with Event-B can effectively be used to support the development of correct Android apps. We present a case study in which we design the core functionality of WhatsApp in Event-B, we encode it over three machine refinements modeling basic functionality (chatting, deleting content, forwarding content, deleting a chat session, etc.), read and unread status of chat sessions, and implementation details, respectively. We report and discuss on underlying challenges in the design and implementation of the core functionality.


title: Field-weighted Factorization Machines for Click-Through Rate Prediction in Display Advertising

abstract: Click-through rate (CTR) prediction is a critical task in online display advertising. The data involved in CTR prediction are typically multi-field categorical data, i.e., every feature is categorical and belongs to one and only one field. One of the interesting characteristics of such data is that features from one field often interact differently with features from different other fields. Recently, Field-aware Factorization Machines (FFMs) have been among the best performing models for CTR prediction by explicitly modeling such difference. However, the number of parameters in FFMs is in the order of feature number times field number, which is unacceptable in the real-world production systems. In this paper, we propose Field-weighted Factorization Machines (FwFMs) to model the different feature interactions between different fields in a much more memory-efficient way. Our experimental evaluations show that FwFMs can achieve competitive prediction performance with only as few as 4% parameters of FFMs. When using the same number of parameters, FwFMs can bring 0.92% and 0.47% AUC lift over FFMs on two real CTR prediction data sets.


title: The statistics of tin whisker diameters versus the underlying film grains

abstract: We compare the statistics of tin whisker diameters to that of the underlying film grains. Both are well approximated by the lognormal distributions. However, the parameters of those distributions can be rather different, not confirming the assumption that each whisker grows from a single grain. We conclude that several adjacent grains with similar crystal orientations can contribute to a whisker development. Our observations are consistent with the recent theory of multi-filament whisker structure. A modification of the particle size log-normal distribution is developed clarifying the nature of its dispersion.


title: A Taxonomy of Malicious Traffic for Intrusion Detection Systems

abstract: With the increasing number of network threats it is essential to have a knowledge of existing and new network threats in order to design better intrusion detection systems. In this paper we propose a taxonomy for classifying network attacks in a consistent way, allowing security researchers to focus their efforts on creating accurate intrusion detection systems and targeted datasets.


title: A Taxonomy of Network Threats and the Effect of Current Datasets on Intrusion Detection Systems

abstract: As the world moves towards being increasingly dependent on computers and automation, building secure applications, systems and networks are some of the main challenges faced in the current decade. The number of threats that individuals and businesses face is rising exponentially due to the increasing complexity of networks and services of modern networks. To alleviate the impact of these threats, researchers have proposed numerous solutions for anomaly detection; however, current tools often fail to adapt to ever-changing architectures, associated threats and zero-day attacks. This manuscript aims to pinpoint research gaps and shortcomings of current datasets, their impact on building Network Intrusion Detection Systems (NIDS) and the growing number of sophisticated threats. To this end, this manuscript provides researchers with two key pieces of information; a survey of prominent datasets, analyzing their use and impact on the development of the past decade's Intrusion Detection Systems (IDS) and a taxonomy of network threats and associated tools to carry out these attacks. The manuscript highlights that current IDS research covers only 33.3% of our threat taxonomy. Current datasets demonstrate a clear lack of real-network threats, attack representation and include a large number of deprecated threats, which together limit the detection accuracy of current machine learning IDS approaches. The unique combination of the taxonomy and the analysis of the datasets provided in this manuscript aims to improve the creation of datasets and the collection of real-world data. As a result, this will improve the efficiency of the next generation IDS and reflect network threats more accurately within new datasets.


title: Transient drift of Escherichia coli under diffusing Step nutrient profile

abstract: Bacteria such as Escherichia coli (E. coli) exhibit biased motion if kept in a spatially non-uniform chemical environment. Here, we bring out unique time-dependent characteristics of bacterial chemotaxis, in response to a diffusing spatial step ligand profile. The experimentally obtained temporal characteristics of the drift velocity are compared with the theoretical and Monte-Carlo simulation based estimates, and excellent agreements can be obtained. These results bring in new insights on the time-responsive facets of bacterial drift, bearing far reaching implications in understanding their migratory dynamics in the quest of finding foods by swimming toward the highest concentration of food molecules, or for fleeing from poisons, as well as towards the better understanding of therapeutic response characteristics for certain infectious diseases.


title: A Logical Framework for Verifying Privacy Breaches of Social Networks

abstract: We present a novel approach to deal with transitivity permission-delegation threats that arise in social networks when content is granted permissions by third-party users thereby breaking the privacy policy of the content owner. These types of privacy breaches are often unintentional in social networks like Facebook, and hence, (more) in-place mechanisms are needed to make social network users aware of the consequences of changing their privacy policies. Our approach is unique in its use of formal methods tools and techniques. It builds on a predicate logic definition for social networking that caters for common aspects of existing social networks such as users, social network content, friendship, permissions over content, and content transmission. Our approach is implemented in Yices. For the predicate logic model, we formulate a security policy for the verification of the permission flow of content owned by social network users and demonstrate how this security policy can be verified.


title: The Stokes phenomenon for some moment partial differential equations

abstract: We study the Stokes phenomenon for the solutions of general homogeneous linear moment partial differential equations with constant coefficients in two complex variables under condition that the Cauchy data are holomorphic on the complex plane but finitely many singular or branching points with the appropriate growth condition at the infinity. The main tools are the theory of summability and multisummability, and the theory of hyperfunctions. Using them we describe Stokes lines, anti-Stokes lines, jumps across Stokes lines, and a maximal family of solutions.


title: pH-Mediated Regulation of Polymer Transport Through SiN Pores

abstract: We characterize the pH controlled polymer capture and transport thorough silicon nitride (SiN) pores subject to protonation. A charge regulation model able to reproduce the experimental zeta potential of SiN pores is coupled with electrohydrodynamic polymer transport equations. The formalism can quantitatively explain the experimentally observed non-monotonic pH dependence of avidin conductivity in terms of the interplay between the electroosmotic and electrophoretic drag forces on the protein. We also scrutinize the DNA conductivity of SiN pores. We show that in the low pH regime where the amphoteric pore is cationic, DNA-pore attraction acts as an electrostatic trap. This provides a favorable condition for fast polymer capture and extended translocation required for accurate polymer sequencing.


title: On the Threshold Resummation in Forward pA Collisions

abstract: In this paper, using the Higgs production in forward rapidity region in proton-nucleus collisions as an example, we demonstrate that we can construct a systematic formalism for the threshold resummation for forward rapidity particle productions in the saturation formalism. The forward threshold jet function, which satisfies the corresponding renormalization group equation, is introduced into the new factorization formula. This calculation can be easily generalized to other processes, such as single forward hadron productions at forward rapidity region, and have important phenomenological implications.


title: Cohomological dimension with respect to the linked ideals

abstract: Let $R$ be a commutative Noetherian ring. Using the new concept of linkage of ideals over a module, we show that if $\mathfrak{a}$ is an ideal of $R$ which is linked by the ideal $I$, then $cd(\mathfrak{a},R) \in \{ grad \mathfrak{a}, cd(\fa, H^{grad \mathfrak{a}}_ {\mathfrak{c}} (R)) + grad \mathfrak{a}\}, $ where $\mathfrak{c} : = \bigcap_{\mathfrak{p} \in Ass \frac{R}{I}- V(\mathfrak{a})}\mathfrak{p}$. Also, it is shown that for every ideal $\mathfrak{b}$ which is geometrically linked with $\mathfrak{a},$ $cd(\mathfrak{a}, H^{grad \mathfrak{b}}_ {\mathfrak{b}} (R))$ does not depend on $\mathfrak{b}$


title: Optical properties of Cu2ZnSn(SxSe1-x)4 by first-principles calculations

abstract: Structural, electronic and optical properties of Cu2ZnSn(SxSe1-x)4 semiconductors are studied theoretically for different concentration of S and Se anions. The optical properties are calculated at three levels of theory, in the generalized gradient approximation (GGA), meta-GGA, and with a hybrid functional. The GGA and meta-GGA calculations are corrected with an on-site Coulomb Ud term. Lattice constants, dielectric constants, and band-gaps are found to vary almost linearly with the concentration of S. We also show that a dense sampling of the Brillouin zone is required to accurately account for the shape of the dielectric function, which is hard to attain with hybrid functionals. This issue is resolved with a recently developed k dot p based interpolation scheme, which allows us to compare results of the hybrid functional calculations on an equal footing with the GGA and meta-GGA results. We find that the hybrid functionals provide the overall best agreement with the experimental dielectric function.


title: Nuclear charge radii of $^{229}$Th from isotope and isomer shifts

abstract: The isotope $^{229}$Th is unique in that it possesses an isomeric state of only a few eV above the ground state, suitable for nuclear laser excitation. An optical clock based on this transition is expected to be a very sensitive probe for variations of fundamental constants, but the nuclear properties of both states have to be determined precisely to derive the actual sensitivity. We carry out isotope shift calculations in Th$^+$ and Th$^{2+}$ including the specific mass shift, using a combination of configuration interaction and all-order linearized coupled-cluster methods and estimate the uncertainty of this approach. We perform experimental measurements of the hyperfine structure of Th$^{2+}$ and isotopic shift between $^{229}$Th$^{2+}$ and $^{232}$Th$^{2+}$ to extract the difference in root-mean-square radii as $\delta \langle r^{2} \rangle^{232,229}=0.299(15)$ fm$^2$. Using the recently measured values of the isomer shift of lines of $^{229\textrm{m}}$Th, we derive the value for the mean-square radius change between $^{229}$Th and its low lying isomer $^{229\textrm{m}}$Th to be $\delta \langle r^2 \rangle^{229\textrm{m},229} = 0.0105(13)\,{\rm fm}^2$.

categories: physics.atom-ph nucl-ex nucl-th quant-ph


title: iMAP Beamforming for High Quality High Frame Rate Imaging

abstract: We present a statistical interpretation of beamforming to overcome limitations of standard delay-and-sum (DAS) processing. Both the interference and the signal of interest are viewed as random variables and the distribution of the signal of interest is exploited to maximize the a-posteriori distribution of the aperture signals. In this formulation the beamformer output is a maximum-a-posteriori (MAP) estimator of the signal of interest. We provide a closed form expression for the MAP beamformer and estimate the unknown distribution parameters from the available aperture data using an empirical Bayes approach. We propose a simple scheme that iterates between estimation of distribution parameters and computation of the MAP estimator of the signal of interest, leading to an iterative MAP (iMAP) beamformer. This results in a significant improvement of the contrast compared to DAS without severe increase in computational complexity or need for fine-tuning of parameters. By implementing iMAP on both simulated and experimental data, we show that only 13 transmissions are required to obtain contrast comparable to DAS with 75 plane-waves. The proposed method is compared to other interference suppression techniques such as coherence factor and scaled Wiener processing and shows improved contrast and better preserved speckle pattern.


title: Engaging Millennials into Learning Formal Methods

abstract: This paper summarizes our experience in teaching courses on formal methods (FM) to Computer Science (CS) and Software Engineering (SE) students at various universities around the world, including University of Madeira (UMa) in Portugal, Pontificia Universidad Javeriana (PUJ) and University of Los Andes (Uniandes) in Colombia, Carnegie Mellon University (CMU) in the USA, and at Innopolis University (INNO) in the Russian Federation. We report challenges faced during the past 10 to 15 years to teach FM to millennials undergradu- ate and graduate students and describe how we have coped with those challenges. We formulate a characterization of millennials, based on our experience, and show how this characterization has shaped our decisions in terms of course structure and content. We show how these decisions are reflected on the current structure of the MSS (Models of Software Systems) course that currently runs as part of the MSIT-SE (Master of Science in Information Technology - Software Engineering) programme offered at INNO. We have conducted two surveys among students, the first one at CMU and the second one at INNO that we have used to document and justify our decisions. The first survey is about the choice of Event-B as mathematical formalism and the second one is about the organization of teams of students within the classroom to work on software projects based on Event-B.


title: Proton induced activity in graphite - comparison between measurement and simulation

abstract: The Paul Scherrer Institut (PSI) operates the Meson production target stations E and M with 590 MeV protons at currents of up to 2.4 mA. Both targets consist of polycrystalline graphite and rotate with 1 Hz due to the high power deposition (40 kW at 2 mA) in Target E. The graphite wheel is regularly exchanged and disposed as radioactive waste after a maximum of 3 to 4 years in operation, which corresponds to about 30 to 40 Ah of proton fluence. For disposal, the nuclide inventory of the long-lived isotopes (T(1/2) > 60 d) has to be calculated and reported to the authorities. Measurements of gamma emitters, as well as 3H, 10Be and 14C, were carried out using different techniques. The measured specific activities are compared to Monte Carlo particle transport simulations performed with MCNPX2.7.0 using the BERTINI-DRESNER-RAL (default model in MCNPX2.7.0) and INCL4.6/ABLA07 as nuclear reaction models.


title: Learning to Search in Long Documents Using Document Structure

abstract: Reading comprehension models are based on recurrent neural networks that sequentially process the document tokens. As interest turns to answering more complex questions over longer documents, sequential reading of large portions of text becomes a substantial bottleneck. Inspired by how humans use document structure, we propose a novel framework for reading comprehension. We represent documents as trees, and model an agent that learns to interleave quick navigation through the document tree with more expensive answer extraction. To encourage exploration of the document tree, we propose a new algorithm, based on Deep Q-Network (DQN), which strategically samples tree nodes at training time. Empirically we find our algorithm improves question answering performance compared to DQN and a strong information-retrieval (IR) baseline, and that ensembling our model with the IR baseline results in further gains in performance.


title: On a Ramsey-Tur\'an variant of the Hajnal-Szemer\'edi theorem

abstract: A seminal result of Hajnal and Szemer\'{e}di states that if a graph $G$ with $n$ vertices has minimum degree $\delta(G) \ge (r-1)n/r$ for some integer $r \ge 2$, then $G$ contains a $K_r$-factor, assuming $r$ divides $n$. Extremal examples which show optimality of the bound on $\delta(G)$ are very structured and, in particular, contain large independent sets. In analogy to the Ramsey-Tur\'an theory, Balogh, Molla, and Sharifzadeh initiated the study of how the absence of such large independent sets influences sufficient minimum degree. We show the following two related results: $\bullet$ For any $r > \ell \ge 2$, if $G$ is a graph satisfying $\delta(G) \ge (r - \ell)n/(r - \ell + 1) +\Omega(n)$ and $\alpha_\ell(G)=o(n)$, that is, a largest $K_\ell$-free induced subgraph has at most $o(n)$ vertices, then $G$ contains a $K_r$-factor. This is optimal for $\ell = r - 1$ and extends a result of Balogh, Molla, and Sharifzadeh who considered the case $r = 3$. $\bullet$ If a graph $G$ satisfies $\delta(G) =\Omega(n)$ and $\alpha_r^*(G) =o(n)$, that is, every induced $K_r$-free $r$-partite subgraph of $G$ has at least one vertex class of size $o(n)$, then it contains a $K_r$-factor. A similar statement is proven for a general graph $H$.


title: Construction of continuum from a discrete surface by its iterated subdivisions

abstract: Given a trivalent graph in the 3-dimensional Euclidean space, we call it a discrete surface because it has a tangent space at each vertex determined by its neighbor vertices. To abstract a continuum object hidden in the discrete surface, we introduce a subdivision method by applying the Goldberg-Coxeter subdivision and discuss the convergence of a sequence of discrete surfaces defined inductively by the subdivision. We also study the limit set as the continuum geometric object associated with the given discrete surface.


title: Eliminating Ensembles from Equilibrium Statistical Physics: Maxwell's Demon, Szilard's Engine, and Thermodynamics via Entanglement

abstract: A system in equilibrium does not evolve -- time independence is its telltale characteristic. However, in Newtonian physics the microstate of an individual system (a point in its phase space) evolves incessantly in accord with its equations of motion. Ensembles were introduced in XIX century to bridge that chasm between continuous motion of phase space points in Newtonian dynamics and stasis of thermodynamics: While states of individual classical systems inevitably evolve, a phase space distribution of such states -- an ensemble -- can be time-independent. I show that entanglement (e.g., with the environment) can yield a time-independent equilibrium in an individual quantum system. This allows one to eliminate ensembles -- an awkward stratagem introduced to reconcile thermodynamics with Newtonian mechanics -- and use an individual system interacting and therefore entangled with its heat bath to represent equilibrium and to elucidate the role of information and measurements in physics. Thus, in our quantum Universe one can practice statistical physics without ensembles -- hence, in a sense, without statistics. The elimination of ensembles uses ideas that led to the recent derivation of Born's rule from the symmetries of entanglement, and I start with a review of that derivation. I then review and discuss difficulties related to the reliance on ensembles and illustrate the need for ensembles with the classical Szilard's engine. A similar quantum engine -- a single system interacting with the thermal heat bath environment -- is enough to establish thermodynamics. The role of Maxwell's demon (which in this quantum context resembles Wigner's friend) is also discussed.


title: A model for random fire induced tree-grass coexistence in savannas

abstract: Tree-grass coexistence in savanna ecosystems depends strongly on environmental disturbances out of which crucial is fire. Most modeling attempts in the literature lack stochastic approach to fire occurrences which is essential to reflect their unpredictability. Existing models that actually include stochasticity of fire are usually analyzed only numerically. We introduce new minimalistic model of tree-grass coexistence where fires occur according to stochastic process. We use the tools of linear semigroup theory to provide more careful mathematical analysis of the model. Essentially we show that there exists a unique stationary distribution of tree and grass biomasses.


title: Point-plane incidences and some applications in positive characteristic

abstract: The point-plane incidence theorem states that the number of incidences between $n$ points and $m\geq n$ planes in the projective three-space over a field $F$, is $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear points, with the extra condition $n< p^2$ if $F$ has characteristic $p>0$. This theorem also underlies a state-of-the-art Szemer\'edi-Trotter type bound for point-line incidences in $F^2$, due to Stevens and de Zeeuw. This review focuses on some recent, as well as new, applications of these bounds that lead to progress in several open geometric questions in $F^d$, for $d=2,3,4$. These are the problem of the minimum number of distinct nonzero values of a non-degenerate bilinear form on a point set in $d=2$, the analogue of the Erd\H os distinct distance problem in $d=2,3$ and additive energy estimates for sets, supported on a paraboloid and sphere in $d=3,4$. It avoids discussing sum-product type problems (corresponding to the special case of incidences with Cartesian products), which have lately received more attention.


title: Cell Detection with Star-convex Polygons

abstract: Automatic detection and segmentation of cells and nuclei in microscopy images is important for many biological applications. Recent successful learning-based approaches include per-pixel cell segmentation with subsequent pixel grouping, or localization of bounding boxes with subsequent shape refinement. In situations of crowded cells, these can be prone to segmentation errors, such as falsely merging bordering cells or suppressing valid cell instances due to the poor approximation with bounding boxes. To overcome these issues, we propose to localize cell nuclei via star-convex polygons, which are a much better shape representation as compared to bounding boxes and thus do not need shape refinement. To that end, we train a convolutional neural network that predicts for every pixel a polygon for the cell instance at that position. We demonstrate the merits of our approach on two synthetic datasets and one challenging dataset of diverse fluorescence microscopy images.


title: Representation Learning on Graphs with Jumping Knowledge Networks

abstract: Recent deep learning approaches for representation learning on graphs follow a neighborhood aggregation procedure. We analyze some important properties of these models, and propose a strategy to overcome those. In particular, the range of "neighboring" nodes that a node's representation draws from strongly depends on the graph structure, analogous to the spread of a random walk. To adapt to local neighborhood properties and tasks, we explore an architecture -- jumping knowledge (JK) networks -- that flexibly leverages, for each node, different neighborhood ranges to enable better structure-aware representation. In a number of experiments on social, bioinformatics and citation networks, we demonstrate that our model achieves state-of-the-art performance. Furthermore, combining the JK framework with models like Graph Convolutional Networks, GraphSAGE and Graph Attention Networks consistently improves those models' performance.


title: Diachronic word embeddings and semantic shifts: a survey

abstract: Recent years have witnessed a surge of publications aimed at tracing temporal changes in lexical semantics using distributional methods, particularly prediction-based word embedding models. However, this vein of research lacks the cohesion, common terminology and shared practices of more established areas of natural language processing. In this paper, we survey the current state of academic research related to diachronic word embeddings and semantic shifts detection. We start with discussing the notion of semantic shifts, and then continue with an overview of the existing methods for tracing such time-related shifts with word embedding models. We propose several axes along which these methods can be compared, and outline the main challenges before this emerging subfield of NLP, as well as prospects and possible applications.


title: Constraints on barotropic dark energy models by a new phenomenological $q(z)$ parameterization

abstract: In this paper, we propose a new phenomenological two parameter parametrization of $q(z)$ to constrain barotropic dark energy models by considering a spatially flat FRW universe, neglecting the radiation component, and reconstructing the effective equation of state (EoS). This two free-parameter EoS reconstruction shows a non-monotonic behavior, pointing to a more general fitting for the scalar field models, like thawing and freezing models. We constrain the $q(z)$ free parameters using the observational data of the Hubble parameter obtained from cosmic chronometers, the joint-light-analysis type Ia Supernovae sample and a joint analysis from these data. We obtain a value of $q(z)$ today, $q_0=-0.48\substack{+0.10 -0.11}$, and a transition redshift, $z_t=0.71\substack{+0.12 -0.12}$ (when the Universe change from an decelerated phase to an accelerated one). The effective EoS reconstruction and the $\omega'$-$\omega$ plane analysis pointed out a quintom dark energy, which is consistent with a non parametric EoS reconstruction, reported by other authors, and using the latest cosmological observations.


title: Computational Complexity of Motion Planning of a Robot through Simple Gadgets

abstract: We initiate a general theory for analyzing the complexity of motion planning of a single robot through a graph of "gadgets", each with their own state, set of locations, and allowed traversals between locations that can depend on and change the state. This type of setup is common to many robot motion planning hardness proofs. We characterize the complexity for a natural simple case: each gadget connects up to four locations in a perfect matching (but each direction can be traversable or not in the current state), has one or two states, every gadget traversal is immediately undoable, and that gadget locations are connected by an always-traversable forest, possibly restricted to avoid crossings in the plane. Specifically, we show that any single nontrivial four-location two-state gadget type is enough for motion planning to become PSPACE-complete, while any set of simpler gadgets (effectively two-location or one-state) has a polynomial-time motion planning algorithm. As a sample application, our results show that motion planning games with "spinners" are PSPACE-complete, establishing a new hard aspect of Zelda: Oracle of Seasons.


title: Rational series in the free group and the Connes operator

abstract: We characterize rational series over the free group by using an operator introduced by A. Connes. We prove that rational Malcev--Neumann series posses rational expressions without simplifications. Finally, we develop an effective algorithm for solving the word problem in the free skew field.


title: Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)

abstract: Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manually on paper, or mechanised in a theorem prover. This article shows how equational reasoning can be performed directly and seamlessly within Haskell itself, and be checked using Liquid Haskell. In particular, language learners --- to whom external theorem provers are out of reach --- can benefit from having their proofs mechanically checked. Concretely, we show how the equational proofs and derivations from Graham's textbook can be recast as proofs in Haskell (spoiler: they look essentially the same).


title: OCCAM: An Optimization-Based Approach to Network Inference

abstract: We study the problem of inferring the structure of a communication network based only on network measurements made from a set of hosts situated at the network periphery. Our novel approach called "OCCAM" is based on the principle of occam's razor and finds the "simplest" network that explains the observed network measurements. OCCAM infers the internal topology of a communication network, including the internal nodes and links of the network that are not amenable to direct measurement. In addition to network topology, OCCAM infers the routing paths that packets take between the hosts. OCCAM uses path metrics measurable from the hosts and expresses the observed measurements as constraints of a mixed-integer bilinear optimization problem that can then be feasibly solved to yield the network topology and the routing paths. We empirically validate OCCAM on a wide variety of real-world ISP networks and show that its inferences agree closely with the ground truth. Specifically, OCCAM infers the topology with an average network similarity score of 93% and infers routing paths with a path edit distance of 0.20. Further, OCCAM is robust to error in its measured path metric inputs, producing high quality inferences even when 20-30% of its inputs are erroneous. Our work is a significant advance in network tomography as it proposes and empirically evaluates the first method that infers the complete network topology, rather than just logical routing trees from sources.


title: Perturbation analysis of sub/super hedging problems

abstract: We investigate the links between various no-arbitrage conditions and the existence of pricing functionals in general markets, and prove the Fundamental Theorem of Asset Pricing therein. No-arbitrage conditions, either in this abstract setting or in the case of a market consisting of European Call options, give rise to duality properties of infinite-dimensional sub- and super-hedging problems. With a view towards applications, we show how duality is preserved when reducing these problems over finite-dimensional bases. We finally perform a rigorous perturbation analysis of those linear programming problems, and highlight numerically the influence of smile extrapolation on the bounds of exotic options.


title: Application of Correlation Indices on Intrusion Detection Systems: Protecting the Power Grid Against Coordinated Attacks

abstract: The future power grid will be characterized by the pervasive use of heterogeneous and non-proprietary information and communication technology, which exposes the power grid to a broad scope of cyber-attacks. In particular, Monitoring-Control Attacks (MCA) --i.e., attacks in which adversaries manipulate control decisions by fabricating measurement signals in the feedback loop-- are highly threatening. This is because, MCAs are (i) more likely to happen with greater attack surface and lower cost, (ii) difficult to detect by hiding in measurement signals, and (iii) capable of inflicting severe consequences by coordinating attack resources. To defend against MCAs, we have developed a semantic analysis framework for Intrusion Detection Systems (IDS) in power grids. The framework consists of two parts running in parallel: a Correlation Index Generator (CIG), which indexes correlated MCAs, and a Correlation Knowledge-Base~(CKB), which is updated aperiodically with attacks' Correlation Indices (CI). The framework has the advantage of detecting MCAs and estimating attack consequences with promising runtime and detection accuracy. To evaluate the performance of the framework, we computed its false alarm rates under different attack scenarios.


title: Tensor-Multinomial Sums of Ideals: Primary Decompositions and Persistence of Associated Primes

abstract: Given a polynomial ring $C$ over a field and proper ideals $I$ and $J$ whose generating sets involve disjoint variables, we determine how to embed the associated primes of each power of $I+J$ into a collection of primes described in terms of the associated primes of select powers of $I$ and of $J$. We record two applications. First, in case the field is algebraically closed, we construct primary decompositions for powers of $I+J$ from primary decompositions for powers of $I$ and $J$. Separately, we attack the persistence problem for associated primes of powers of an ideal in case one of $I$ or $J$ is a non-zero normal ideal.


title: The GMT detector alignment in the STAR experiment

abstract: The Solenoidal Tracker At RHIC (STAR) uses the Time Projection Chamber (TPC) to perform tracking and particle identification. In order to improve the corrections (such as space charge) and monitor non-static distortions of the TPC, GEM-based chambers (GMT) were installed at eight locations outside the TPC where they will provide optimal sensitivity to the distortions. In order to reach this goal, the ionization clusters were measured by using the ADC signals in each module. The positions of clusters and their deviations from track projections enabled alignment of the GMT modules with respect to TPC to an accuracy ~ 200{\mu}m.


title: Linear Spectral Estimators and an Application to Phase Retrieval

abstract: Phase retrieval refers to the problem of recovering real- or complex-valued vectors from magnitude measurements. The best-known algorithms for this problem are iterative in nature and rely on so-called spectral initializers that provide accurate initialization vectors. We propose a novel class of estimators suitable for general nonlinear measurement systems, called linear spectral estimators (LSPEs), which can be used to compute accurate initialization vectors for phase retrieval problems. The proposed LSPEs not only provide accurate initialization vectors for noisy phase retrieval systems with structured or random measurement matrices, but also enable the derivation of sharp and nonasymptotic mean-squared error bounds. We demonstrate the efficacy of LSPEs on synthetic and real-world phase retrieval problems, and show that our estimators significantly outperform existing methods for structured measurement systems that arise in practice.


title: Search for resonant pair production of Higgs bosons decaying to bottom quark-antiquark pairs in proton-proton collisions at 13 TeV

abstract: A search for a narrow-width resonance decaying into two Higgs bosons, each decaying into a bottom quark-antiquark pair, is presented. The search is performed using proton-proton collision data corresponding to an integrated luminosity of 35.9 fb$^{-1}$ at $\sqrt{s}=$ 13 TeV recorded by the CMS detector at the LHC. No evidence for such a signal is observed. Upper limits are set on the product of the production cross section for the resonance and the branching fraction for the selected decay mode in the resonance mass range from 260 to 1200 GeV.


title: Constructions and properties of optimally spread subspace packings via symmetric and affine block designs and mutually unbiased bases

abstract: We continue the study of optimal chordal packings, with emphasis on packing subspaces of dimension greater than one. Following a principle outlined in a previous work, where the authors use maximal affine block designs and maximal sets of mutually unbiased bases to construct Grassmannian $2$-designs, we show that their method extends to other types of block designs, leading to a plethora of optimal subspace packings characterized by the orthoplex bound. More generally, we show that any optimal chordal packing is necessarily a fusion frame and that its spatial complement is also optimal.


title: Modeling of two-particle femtoscopic correlations at top RHIC energy

abstract: The spatial and temporal characteristics of particle emitting source produced in particle and/or nuclear collisions can be measured by using two-particle femtoscopic correlations. These correlations arise due to quantum statistics, Coulomb and strong final state interactions. In this paper we report on the calculations of like-sign pion femtoscopic correlations produced in p+p, p+Au, d+Au, Au+Au at top RHIC energy using Ultra Relativistic Quantum Molecular Dynamics Model (UrQMD). Three-dimensional correlation functions are constructed using the Bertsch-Pratt parametrization of the two-particle relative momentum. The correlation functions are studied in several transverse mass ranges. The emitting source radii of charged pions, Rout , Rside , Rlong , are obtained from Gaussian fit to the correlation functions and compared to data from the STAR and PHENIX experiments.


title: An Estimation and Analysis Framework for the Rasch Model

abstract: The Rasch model is widely used for item response analysis in applications ranging from recommender systems to psychology, education, and finance. While a number of estimators have been proposed for the Rasch model over the last decades, the available analytical performance guarantees are mostly asymptotic. This paper provides a framework that relies on a novel linear minimum mean-squared error (L-MMSE) estimator which enables an exact, nonasymptotic, and closed-form analysis of the parameter estimation error under the Rasch model. The proposed framework provides guidelines on the number of items and responses required to attain low estimation errors in tests or surveys. We furthermore demonstrate its efficacy on a number of real-world collaborative filtering datasets, which reveals that the proposed L-MMSE estimator performs on par with state-of-the-art nonlinear estimators in terms of predictive performance.


title: Ultra-dense Broad-line Region Scale Outflow in Highly Reddened Quasar SDSS J145057.28+530007.6

abstract: We report the discovery of highly reddening and hydrogen Balmer and metastable helium broad absorption lines in the quasar SDSS J145057.28+530007.6, based on the optical and near-infrared spectra taken from the SDSS-III/BOSS and the TripleSpec observations. The nuclear continuum, Balmer decrement and absorption-line depth analyses suggest that (1) the accretion disk is completely obscured and the covering factor of the broad-line region (BLR) is only $0.39\pm0.03$, (2) the power-law continuum is reddened by the SMC extinction law of $E(B-V )=0.72\pm 0.01$ mag and the dusty materials are mainly associated with \ion{Ca}{2} H and K rather than the Balmer and \ion{He}{1}* absorption-line system, (3) the unsaturated Balmer (H$\beta$, H$\gamma$, and H$\delta$) and \ion{He}{1}* $\lambda3889$ absorption lines have same two-Gaussian profiles with the shifts of $-931\pm33$ and $-499\pm39$ km s$^{-1}$ and the widths of $121\pm28$ and $196\pm37$ km s$^{-1}$, respectively. Constrained mutually by the Balmer, \ion{He}{1}* absorption lines and undetected \ion{Fe}{2}* $\lambda5169$ in the photoionization simulations, the physical properties of the outflow gases are derived as follows: ionization parameter $10^{-1.4} \lesssim U \lesssim 10^{-0.8}$, density $10^{8.2\pm0.4} \lesssim n_{\rm H} \lesssim 10^{9.0\pm0.4}$ cm$^{-3}$, and column density $10^{22.0\pm0.2} \lesssim N_{\rm H} \lesssim 10^{22.2-22.3}$ cm$^{-2}$. We propose that the ultra-dense outflow gases appear in the vicinity of the surface of the BLR or are located at most 3.12 pc away from the engine. That probably implies that the outflow originates from the BLR, and this kind of ultra-dense BLR scale outflow gases can effectively test the physical properties of the outer gases of the BLR.


title: Quantitative trends in 8 physical properties of 115000 inorganic compounds gained by machine learning

abstract: We applied the decision trees (random forest) machine-learning technique for the large experimental materials dataset PAULING FILE, compiled from the world's peer-reviewed literature. The training and validation data were extracted from the hundreds of thousands of publications in materials science (1891-2017). Then, for the nearly 115'000 distinct inorganic compounds we predicted 8 thermodynamic, mechanical, and electronic properties, using the only crystalline structures as an input. For the predicted physical properties we observed certain periodical patterns in all unary, binary, ternary, and quaternary compounds. We also solved a reversed task of predicting the possible crystalline structure based on a given combination of values of the 8 mentioned properties. Therefore our observations may play a role of the periodic table, formulated not for the chemical elements, but for the entire set of materials.


title: A fast algorithm for solving linearly recurrent sequences

abstract: We present an algorithm which computes the $D^{th}$ term of a sequence satisfying a linear recurrence relation of order $d$ over a field $K$ in $O( \mathsf{M}(\bar d)\log(D) + \mathsf{M}(d)\log(d))$ operations in $K$, where $\bar d \leq d$ is the degree of the squarefree part of the annihilating polynomial of the recurrence and $\mathsf{M}$ is the cost of polynomial multiplication in $K$. This is a refinement of the previously optimal result of $O( \mathsf{M}(d)\log(D) )$ operations, due to Fiduccia.


title: Consistent Position Bias Estimation without Online Interventions for Learning-to-Rank

abstract: Presentation bias is one of the key challenges when learning from implicit feedback in search engines, as it confounds the relevance signal with uninformative signals due to position in the ranking, saliency, and other presentation factors. While it was recently shown how counterfactual learning-to-rank (LTR) approaches \cite{Joachims/etal/17a} can provably overcome presentation bias if observation propensities are known, it remains to show how to accurately estimate these propensities. In this paper, we propose the first method for producing consistent propensity estimates without manual relevance judgments, disruptive interventions, or restrictive relevance modeling assumptions. We merely require that we have implicit feedback data from multiple different ranking functions. Furthermore, we argue that our estimation technique applies to an extended class of Contextual Position-Based Propensity Models, where propensities not only depend on position but also on observable features of the query and document. Initial simulation studies confirm that the approach is scalable, accurate, and robust.


title: Sparse Over-complete Patch Matching

abstract: Image patch matching, which is the process of identifying corresponding patches across images, has been used as a subroutine for many computer vision and image processing tasks. State -of-the-art patch matching techniques take image patches as input to a convolutional neural network to extract the patch features and evaluate their similarity. Our aim in this paper is to improve on the state of the art patch matching techniques by observing the fact that a sparse-overcomplete representation of an image posses statistical properties of natural visual scenes which can be exploited for patch matching. We propose a new paradigm which encodes image patch details by encoding the patch and subsequently using this sparse representation as input to a neural network to compare the patches. As sparse coding is based on a generative model of natural image patches, it can represent the patch in terms of the fundamental visual components from which it has been composed of, leading to similar sparse codes for patches which are built from similar components. Once the sparse coded features are extracted, we employ a fully-connected neural network, which captures the non-linear relationships between features, for comparison. We have evaluated our approach using the Liberty and Notredame subsets of the popular UBC patch dataset and set a new benchmark outperforming all state-of-the-art patch matching techniques for these datasets.


title: Location Privacy Preservation in Database-Driven Wireless Cognitive Networks Through Encrypted Probabilistic Data Structures

abstract: In this paper, we propose new location privacy preserving schemes for database-driven cognitive radio networks that protect secondary users' (SUs) location privacy while allowing them to learn spectrum availability in their vicinity. Our schemes harness probabilistic set membership data structures to exploit the structured nature of spectrum databases (DBs) and SUs' queries. This enables us to create a compact representation of DB that could be queried by SUs without having to share their location with DB, thus guaranteeing their location privacy. Our proposed schemes offer different cost-performance characteristics. Our first scheme relies on a simple yet powerful two-party protocol that achieves unconditional security with a plausible communication overhead by making DB send a compacted version of its content to SU which needs only to query this data structure to learn spectrum availability. Our second scheme achieves significantly lower communication and computation overhead for SUs, but requires an additional architectural entity which receives the compacted version of the database and fetches the spectrum availability information in lieu of SUs to alleviate the overhead on the latter. We show that our schemes are secure, and also demonstrate that they offer significant advantages over existing alternatives for various performance and/or security metrics.


title: Pushing the Limits of Monte Carlo Simulations for the 3d Ising Model

abstract: While the 3d Ising model has defied analytic solution, various numerical methods like Monte Carlo, MCRG and series expansion have provided precise information about the phase transition. Using Monte Carlo simulation that employs the Wolff cluster flipping algorithm with both 32-bit and 53-bit random number generators and data analysis with histogram reweighting and quadruple precision arithmetic, we have investigated the critical behavior of the simple cubic Ising Model, with lattice sizes ranging from 163 to 10243. By analyzing data with cross correlations between various thermodynamic quantities obtained from the same data pool, e.g. logarithmic derivatives of magnetization and derivatives of magnetization cumulants, we have obtained the critical inverse temperature Kc = 0.221 654 626(5) and the critical exponent of the correlation length {\nu} = 0.629 912(86) with precision that exceeds all previous Monte Carlo estimates.


title: On the Uniformity of $(3/2)^n$ Modulo 1

abstract: It has been conjectured that the sequence $(3/2)^n$ modulo $1$ is uniformly distributed. The distribution of this sequence is signifcant in relation to unsolved problems in number theory including the Collatz conjecture. In this paper, we describe an algorithm to compute $(3/2)^n$ modulo $1$ to $n = 10^8$. We then statistically analyze its distribution. Our results strongly agree with the hypothesis that $(3/2)^n$ modulo 1 is uniformly distributed.


title: Semantic Correspondence: A Hierarchical Approach

abstract: Establishing semantic correspondence across images when the objects in the images have undergone complex deformations remains a challenging task in the field of computer vision. In this paper, we propose a hierarchical method to tackle this problem by first semantically targeting the foreground objects to localize the search space and then looking deeply into multiple levels of the feature representation to search for point-level correspondence. In contrast to existing approaches, which typically penalize large discrepancies, our approach allows for significant displacements, with the aim to accommodate large deformations of the objects in scene. Localizing the search space by semantically matching object-level correspondence, our method robustly handles large deformations of objects. Representing the target region by concatenated hypercolumn features which take into account the hierarchical levels of the surrounding context, helps to clear the ambiguity to further improve the accuracy. By conducting multiple experiments across scenes with non-rigid objects, we validate the proposed approach, and show that it outperforms the state of the art methods for semantic correspondence establishment.


title: What Knowledge is Needed to Solve the RTE5 Textual Entailment Challenge?

abstract: This document gives a knowledge-oriented analysis of about 20 interesting Recognizing Textual Entailment (RTE) examples, drawn from the 2005 RTE5 competition test set. The analysis ignores shallow statistical matching techniques between T and H, and rather asks: What would it take to reasonably infer that T implies H? What world knowledge would be needed for this task? Although such knowledge-intensive techniques have not had much success in RTE evaluations, ultimately an intelligent system should be expected to know and deploy this kind of world knowledge required to perform this kind of reasoning. The selected examples are typically ones which our RTE system (called BLUE) got wrong and ones which require world knowledge to answer. In particular, the analysis covers cases where there was near-perfect lexical overlap between T and H, yet the entailment was NO, i.e., examples that most likely all current RTE systems will have got wrong. A nice example is #341 (page 26), that requires inferring from "a river floods" that "a river overflows its banks". Seems it should be easy, right? Enjoy!


title: The best constant in the Khinchine inequality for slightly dependent random variables

abstract: We compute the best constant in the Khintchine inequality under assumption that the sum of Rademacher random variables is zero.


title: Building Bayesian Neural Networks with Blocks: On Structure, Interpretability and Uncertainty

abstract: We provide simple schemes to build Bayesian Neural Networks (BNNs), block by block, inspired by a recent idea of computation skeletons. We show how by adjusting the types of blocks that are used within the computation skeleton, we can identify interesting relationships with Deep Gaussian Processes (DGPs), deep kernel learning (DKL), random features type approximation and other topics. We give strategies to approximate the posterior via doubly stochastic variational inference for such models which yield uncertainty estimates. We give a detailed theoretical analysis and point out extensions that may be of independent interest. As a special case, we instantiate our procedure to define a Bayesian {\em additive} Neural network -- a promising strategy to identify statistical interactions and has direct benefits for obtaining interpretable models.


title: Scanning Test System Prototype of p/sFEB for the ATLAS Phase-I sTGC Trigger Upgrade

abstract: The Pad Front End Board (pFEB) and the Strip Front End Board (sFEB) are developed for the ATLAS Phase-I sTGC Trigger Upgrade. The pFEB is used to to gather and analyze pads trigger, and the sFEB is developed to accept the pad trigger to define the regions-of-interest for strips readout. The performance of p/sFEBs must be confirmed before they are mounted on the sTGC detector. We will present the scanning test system prototype which is designed according to the test requirements of the p/sFEB. In this test system prototype, a simulation signal board is developed to generate different types of signal to the p/sFEB. PC software and FPGA XADC cooperate to achieve the scan test of analog parameter.


title: Local time and Tanaka formula of $G$-martingales

abstract: The objective of this paper is to study the local time and Tanaka formula of symmetric $G$-martingales. We introduce the local time of $G$-martingales and show that they belong to $G$-expectation space $L_{G}^{2}(\Omega _{T})$. The bicontinuous modification of local time is obtained. We finally give the Tanaka formula for convex functions of $G$-martingales.


title: Super formal Daboux-Weinstein theorem and finite W superalgebra

abstract: Let $\vvv=\vvv_{\bar{0}}+\vvv_{\bar{1}}$ be a $\mathbb{Z}_2$-graded (super) vector space with an even $\mathbb{C}^{\times}$-action and $\chi \in \vvv_{\bar{0}}^{*}$ be a fixed point of the induced action. In this paper we will prove a equivariant Daboux-Weinstein theorem for the formal polynomial algebras $\hat{A}=S[\vvv_{\bar{0}}]^{\wedge_{\chi}}\otimes \bigwedge(\vvv_{\bar{1}})$. We also give a quantum version of the equivariant Daboux-Weinstein theorem. Let $\ggg=\ggg_{\bar{0}}+\ggg_{\bar{1}}$ a basic Lie superalgebra of type I and $e \in \ggg_{\bar{0}}$ be a nilpotent element. We will use the equivariant quantum Daboux-Weinstein theorem to realize the finite $W$ superalgebra $\mathcal{U}(\ggg,e)$. An indirect relation between finite U(g,e) and U(g_{\bar{0}} ,e) is presented. Finally we will use this realization to study the finite dimensional representations of $\mathcal{U}(\ggg,e)$.


title: On the geometry of Tensor Network States of $2 \times N$ Grids

abstract: We discuss the geometry of a class of tensor network states, called projected entangled pair states in the Physics literature. We provide initial results towards a question of Verstraete and Rizzi regarding the tensor network state of an $M \times N$ grid; we partially answer the question for a $2 \times N$ grid. We also study the $2 \times N$ grid sitting on a torus and provide initial results towards understanding the Zariski closure of the set of tensor network states associated to this graph. Finally, we give explicit tensors that provide optimal (using currently available methods) bounds on the border rank of a generic tensor in the tensor network state of the $2 \times N$ grid.


title: Explainable Recommendation via Multi-Task Learning in Opinionated Text Data

abstract: Explaining automatically generated recommendations allows users to make more informed and accurate decisions about which results to utilize, and therefore improves their satisfaction. In this work, we develop a multi-task learning solution for explainable recommendation. Two companion learning tasks of user preference modeling for recommendation} and \textit{opinionated content modeling for explanation are integrated via a joint tensor factorization. As a result, the algorithm predicts not only a user's preference over a list of items, i.e., recommendation, but also how the user would appreciate a particular item at the feature level, i.e., opinionated textual explanation. Extensive experiments on two large collections of Amazon and Yelp reviews confirmed the effectiveness of our solution in both recommendation and explanation tasks, compared with several existing recommendation algorithms. And our extensive user study clearly demonstrates the practical value of the explainable recommendations generated by our algorithm.


title: On closeness to k-wise uniformity

abstract: A probability distribution over {-1, 1}^n is (eps, k)-wise uniform if, roughly, it is eps-close to the uniform distribution when restricted to any k coordinates. We consider the problem of how far an (eps, k)-wise uniform distribution can be from any globally k-wise uniform distribution. We show that every (eps, k)-wise uniform distribution is O(n^(k/2) eps)-close to a k-wise uniform distribution in total variation distance. In addition, we show that this bound is optimal for all even k: we find an (eps, k)-wise uniform distribution that is Omega(n^(k/2) eps)-far from any k-wise uniform distribution in total variation distance. For k = 1, we get a better upper bound of O(eps), which is also optimal. One application of our closeness result is to the sample complexity of testing whether a distribution is k-wise uniform or delta-far from k-wise uniform. We give an upper bound of O(n^k/delta^2) (or O(log n/delta^2) when k = 1) on the required samples. We show an improved upper bound of O~(n^(k/2)/delta^2) for the special case of testing fully uniform vs. delta-far from k-wise uniform. Finally, we complement this with a matching lower bound of Omega(n/delta^2) when k = 2. Our results improve upon the best known bounds from [AAK+07], and have simpler proofs.


title: Purely atomic representations of higher-rank graph C*-algebras

abstract: We study purely atomic representations of C*-algebras associated to row-finite and source-free higher-rank graphs. We describe when purely atomic representations are unitarily equivalent and we give necessary and sufficient conditions for a purely atomic representation to be irreducible in terms of the associated projection valued measure. We also investigate the relationship between purely atomic representations, monic representations and permutative representations, and we describe when a purely atomic representation admits a decomposition consisting of permutative representations.


title: Stationary Geometric Graphical Model Selection

abstract: We consider the problem of model selection in Gaussian Markov fields in the sample deficient scenario. In many practically important cases, the underlying networks are embedded into Euclidean spaces. Using the natural geometric structure, we introduce the notion of spatially stationary distributions over geometric graphs. This directly generalizes the notion of stationary time series to the multidimensional setting lacking time axis. We show that the idea of spatial stationarity leads to a dramatic decrease in the sample complexity of the model selection compared to abstract graphs with the same level of sparsity. For geometric graphs on randomly spread vertices and edges of bounded length, we develop tight information-theoretic bounds on sample complexity and show that a finite number of independent samples is sufficient for a consistent recovery. Finally, we develop an efficient technique capable of reliably and consistently reconstructing graphs with a bounded number of measurements.


title: LPOS: Location Privacy for Optimal Sensing in Cognitive Radio Networks

abstract: Cognitive Radio Networks (CRNs) enable opportunistic access to the licensed channel resources by allowing unlicensed users to exploit vacant channel opportunities. One effective technique through which unlicensed users, often referred to as Secondary Users (SUs), acquire whether a channel is vacant is cooperative spectrum sensing. Despite its effectiveness in enabling CRN access, cooperative sensing suffers from location privacy threats, merely because the sensing reports that need to be exchanged among the SUs to perform the sensing task are highly correlated to the SUs' locations. In this paper, we develop a new Location Privacy for Optimal Sensing (LPOS) scheme that preserves the location privacy of SUs while achieving optimal sensing performance through voting-based sensing. In addition, LPOS is the only alternative among existing CRN location privacy preserving schemes (to the best of our knowledge) that ensures high privacy, achieves fault tolerance, and is robust against the highly dynamic and wireless nature of CRNs.


title: Non-damping oscillations at flaring loops

abstract: Context. QPPs are usually detected as spatial displacements of coronal loops in imaging observations or as periodic shifts of line properties in spectroscopic observations. They are often applied for remote diagnostics of magnetic fields and plasma properties on the Sun. Aims. We combine imaging and spectroscopic measurements of available space missions, and investigate the properties of non-damping oscillations at flaring loops. Methods. We used the IRIS to measure the spectrum over a narrow slit. The double-component Gaussian fitting method was used to extract the line profile of Fe XXI 1354.08 A at "O I" window. The quasi-periodicity of loop oscillations were identified in the Fourier and wavelet spectra. Results. A periodicity at about 40 s is detected in the line properties of Fe XXI, HXR emissions in GOES 1-8 A derivative, and Fermi 26-50 keV. The Doppler velocity and line width oscillate in phase, while a phase shift of about Pi/2 is detected between the Doppler velocity and peak intensity. The amplitudes of Doppler velocity and line width oscillation are about 2.2 km/s and 1.9 km/s, respectively, while peak intensity oscillate with amplitude at about 3.6% of the background emission. Meanwhile, a quasi-period of about 155 s is identified in the Doppler velocity and peak intensity of Fe XXI, and AIA 131 A intensity. Conclusions. The oscillations at about 40 s are not damped significantly during the observation, it might be linked to the global kink modes of flaring loops. The periodicity at about 155 s is most likely a signature of recurring downflows after chromospheric evaporation along flaring loops. The magnetic field strengths of the flaring loops are estimated to be about 120-170 G using the MHD seismology diagnostics, which are consistent with the magnetic field modeling results using the flux rope insertion method.


title: FMHash: Deep Hashing of In-Air-Handwriting for User Identification

abstract: Many mobile systems and wearable devices, such as Virtual Reality (VR) or Augmented Reality (AR) headsets, lack a keyboard or touchscreen to type an ID and password for signing into a virtual website. However, they are usually equipped with gesture capture interfaces to allow the user to interact with the system directly with hand gestures. Although gesture-based authentication has been well-studied, less attention is paid to the gesture-based user identification problem, which is essentially an input method of account ID and an efficient searching and indexing method of a database of gesture signals. In this paper, we propose FMHash (i.e., Finger Motion Hash), a user identification framework that can generate a compact binary hash code from a piece of in-air-handwriting of an ID string. This hash code enables indexing and fast search of a large account database using the in-air-handwriting by a hash table. To demonstrate the effectiveness of the framework, we implemented a prototype and achieved >99.5% precision and >92.6% recall with exact hash code match on a dataset of 200 accounts collected by us. The ability of hashing in-air-handwriting pattern to binary code can be used to achieve convenient sign-in and sign-up with in-air-handwriting gesture ID on future mobile and wearable systems connected to the Internet.


title: Accurate Spectral Super-resolution from Single RGB Image Using Multi-scale CNN

abstract: Different from traditional hyperspectral super-resolution approaches that focus on improving the spatial resolution, spectral super-resolution aims at producing a high-resolution hyperspectral image from the RGB observation with super-resolution in spectral domain. However, it is challenging to accurately reconstruct a high-dimensional continuous spectrum from three discrete intensity values at each pixel, since too much information is lost during the procedure where the latent hyperspectral image is downsampled (e.g., with x10 scaling factor) in spectral domain to produce an RGB observation. To address this problem, we present a multi-scale deep convolutional neural network (CNN) to explicitly map the input RGB image into a hyperspectral image. Through symmetrically downsampling and upsampling the intermediate feature maps in a cascading paradigm, the local and non-local image information can be jointly encoded for spectral representation, ultimately improving the spectral reconstruction accuracy. Extensive experiments on a large hyperspectral dataset demonstrate the effectiveness of the proposed method.


title: Instance Search via Instance Level Segmentation and Feature Representation

abstract: Instance search is an interesting task as well as a challenging issue due to the lack of effective feature representation. In this paper, an instance level feature representation built upon fully convolutional instance-aware segmentation is proposed. The feature is ROI-pooled from the segmented instance region. So that instances in various sizes and layouts are represented by deep features in uniform length. This representation is further enhanced by the use of deformable ResNeXt blocks. Superior performance is observed in terms of its distinctiveness and scalability on a challenging evaluation dataset built by ourselves. In addition, the proposed enhancement on the network structure also shows superior performance on the instance segmentation task.


title: Generative Adversarial Nets for Information Retrieval: Fundamentals and Advances

abstract: Generative adversarial nets (GANs) have been widely studied during the recent development of deep learning and unsupervised learning. With an adversarial training mechanism, GAN manages to train a generative model to fit the underlying unknown real data distribution under the guidance of the discriminative model estimating whether a data instance is real or generated. Such a framework is originally proposed for fitting continuous data distribution such as images, thus it is not straightforward to be directly applied to information retrieval scenarios where the data is mostly discrete, such as IDs, text and graphs. In this tutorial, we focus on discussing the GAN techniques and the variants on discrete data fitting in various information retrieval scenarios. (i) We introduce the fundamentals of GAN framework and its theoretic properties; (ii) we carefully study the promising solutions to extend GAN onto discrete data generation; (iii) we introduce IRGAN, the fundamental GAN framework of fitting single ID data distribution and the direct application on information retrieval; (iv) we further discuss the task of sequential discrete data generation tasks, e.g., text generation, and the corresponding GAN solutions; (v) we present the most recent work on graph/network data fitting with node embedding techniques by GANs. Meanwhile, we also introduce the relevant open-source platforms such as IRGAN and Texygen to help audience conduct research experiments on GANs in information retrieval. Finally, we conclude this tutorial with a comprehensive summarization and a prospect of further research directions for GANs in information retrieval.


title: Adaptations of ROUGE and BLEU to Better Evaluate Machine Reading Comprehension Task

abstract: Current evaluation metrics to question answering based machine reading comprehension (MRC) systems generally focus on the lexical overlap between the candidate and reference answers, such as ROUGE and BLEU. However, bias may appear when these metrics are used for specific question types, especially questions inquiring yes-no opinions and entity lists. In this paper, we make adaptations on the metrics to better correlate n-gram overlap with the human judgment for answers to these two question types. Statistical analysis proves the effectiveness of our approach. Our adaptations may provide positive guidance for the development of real-scene MRC systems.


title: Design of a monolithic low-threshold narrow-linewidth cw mid-IR silicon Raman laser

abstract: We present the design and anticipated performance of an optically pumped monolithic all-silicon mid-IR (MIR) Raman laser. For the proposed 3.15 um cw laser design pumped at a 2.71 um pump wavelength, we estimate a threshold pump power of < 10 mW and an estimated output laser linewidth of <50 MHz. This design may pave the road toward demonstration of the first mid-IR silicon Raman laser.


title: EREL Selection using Morphological Relation

abstract: This work concentrates on Extremal Regions of Extremum Level (EREL) selection. EREL is a recently proposed feature detector aiming at detecting regions from a set of extremal regions. This is a branching problem derived from segmentation of arterial wall boundaries from Intravascular Ultrasound (IVUS) images. For each IVUS frame, a set of EREL regions is generated to describe the luminal area of human coronary. Each EREL is then fitted by an ellipse to represent the luminal border. The goal is to assign the most appropriate EREL as the lumen. In this work, EREL selection carries out in two rounds. In the first round, the pattern in a set of EREL regions is analyzed and used to generate an approximate luminal region. Then, the two-dimensional (2D) correlation coefficients are computed between this approximate region and each EREL to keep the ones with tightest relevance. In the second round, a compactness measure is calculated for each EREL and its fitted ellipse to guarantee that the resulting EREL has not affected by the common artifacts such as bifurcations, shadows, and side branches. We evaluated the selected ERELs in terms of Hausdorff Distance (HD) and Jaccard Measure (JM) on the train and test set of a publicly available dataset. The results show that our selection strategy outperforms the current state-of-the-art.


title: Frontier Based Exploration for Autonomous Robot

abstract: Exploration is process of selecting target points that yield the biggest contribution to a specific gain function at an initially unknown environment. Frontier-based exploration is the most common approach to exploration, wherein frontiers are regions on the boundary between open space and unexplored space. By moving to a new frontier, we can keep building the map of the environment, until there are no new frontiers left to detect. In this paper, an autonomous frontier-based exploration strategy, namely Wavefront Frontier Detector (WFD) is described and implemented on Gazebo Simulation Environment as well as on hardware platform, i.e. Kobuki TurtleBot using Robot Operating System (ROS). The advantage of this algorithm is that the robot can explore large open spaces as well as small cluttered spaces. Further, the map generated from this technique is compared and validated with the map generated using turtlebot_teleop ROS Package.


title: A Scalable Framework for Trajectory Prediction

abstract: Trajectory prediction (TP) is of great importance for a wide range of location-based applications in intelligent transport systems such as location-based advertising, route planning, traffic management, and early warning systems. In the last few years, the widespread use of GPS navigation systems and wireless communication technology enabled vehicles has resulted in huge volumes of trajectory data. The task of utilizing this data employing spatio-temporal techniques for trajectory prediction in an efficient and accurate manner is an ongoing research problem. Existing TP approaches are limited to short-term predictions. Moreover, they cannot handle a large volume of trajectory data for long-term prediction. To address these limitations, we propose a scalable clustering and Markov chain based hybrid framework, called Traj-clusiVAT-based TP, for both short-term and long-term trajectory prediction, which can handle a large number of overlapping trajectories in a dense road network. Traj-clusiVAT can also determine the number of clusters, which represent different movement behaviours in input trajectory data. In our experiments, we compare our proposed approach with a mixed Markov model (MMM)-based scheme, and a trajectory clustering, NETSCAN-based TP method for both short- and long-term trajectory predictions. We performed our experiments on two real, vehicle trajectory datasets, including a large-scale trajectory dataset consisting of 3.28 million trajectories obtained from 15,061 taxis in Singapore over a period of one month. Experimental results on two real trajectory datasets show that our proposed approach outperforms the existing approaches in terms of both short- and long-term prediction performances, based on prediction accuracy and distance error (in km).


title: IVUS-Net: An Intravascular Ultrasound Segmentation Network

abstract: IntraVascular UltraSound (IVUS) is one of the most effective imaging modalities that provides assistance to experts in order to diagnose and treat cardiovascular diseases. We address a central problem in IVUS image analysis with Fully Convolutional Network (FCN): automatically delineate the lumen and media-adventitia borders in IVUS images, which is crucial to shorten the diagnosis process or benefits a faster and more accurate 3D reconstruction of the artery. Particularly, we propose an FCN architecture, called IVUS-Net, followed by a post-processing contour extraction step, in order to automatically segments the interior (lumen) and exterior (media-adventitia) regions of the human arteries. We evaluated our IVUS-Net on the test set of a standard publicly available dataset containing 326 IVUS B-mode images with two measurements, namely Jaccard Measure (JM) and Hausdorff Distances (HD). The evaluation result shows that IVUS-Net outperforms the state-of-the-art lumen and media segmentation methods by 4% to 20% in terms of HD distance. IVUS-Net performs well on images in the test set that contain a significant amount of major artifacts such as bifurcations, shadows, and side branches that are not common in the training set. Furthermore, using a modern GPU, IVUS-Net segments each IVUS frame only in 0.15 seconds. The proposed work, to the best of our knowledge, is the first deep learning based method for segmentation of both the lumen and the media vessel walls in 20 MHz IVUS B-mode images that achieves the best results without any manual intervention. Code is available at https://github.com/Kulbear/ivus-segmentation-icsm2018


title: A Simplified Active Calibration algorithm for Focal Length Estimation

abstract: We introduce new linear mathematical formulations to calculate the focal length of a camera in an active platform. Through mathematical derivations, we show that the focal lengths in each direction can be estimated using only one point correspondence that relates images taken before and after a degenerate rotation of the camera. The new formulations will be beneficial in robotic and dynamic surveillance environments when the camera needs to be calibrated while it freely moves and zooms. By establishing a correspondence between only two images taken after slightly panning and tilting the camera and a reference image, our proposed Simplified Calibration Method is able to calculate the focal length of the camera. We extensively evaluate the derived formulations on a simulated camera, 3D scenes and real-world images. Our error analysis over simulated and real images indicates that the proposed Simplified Active Calibration formulation estimates the parameters of a camera with low error rates.


title: Searching for Charged Higgs Bosons in the $B-L$ Supersymmetric Standard Model at the High Luminosity Large Hadron Collider

abstract: Upon assuming the $B-L$ Supersymmetric Standard Model (BLSSM) as theoretical framework accommodating a multi-Higgs sector, we assess the scope of the High Luminosity Large Hadron Collider (HL-LHC) in accessing charged Higgs bosons ($H^\pm$) produced in pairs from $Z'$ decays. We show that, by pursuing both di-jet and tau-neutrino decays, several signals can be established for $H^\pm$ masses ranging from about $M_{W}$ to above $m_t$ and $Z'$ masses between 2.5 TeV and 3.5 TeV. The discovery can be attained, even in a background free environment in some cases, owing to the fact that the very massive resonating $Z'$ ejects the charged Higgs bosons at very high transverse momentum, a kinematic region where any SM noise is hugely depleted.


title: On the sensitivity of gravito-inertial modes to differential rotation in intermediate-mass main-sequence stars

abstract: Context. While rotation has a major impact on stellar structure and evolution, its effects are not well understood. Thanks to high- quality and long timebase photometric observations obtained with recent space missions, we are now able to study stellar rotation more precisely. Aims. We aim to constrain radial differential rotation profiles in gamma Doradus (gamma Dor) stars, and to develop new theoretical seismic diagnosis for such stars with rapid and potentially non-uniform rotation. Methods. We derive a new asymptotic description which accounts for the impact of weak differential near-core rotation on gravity- mode period spacings. The theoretical predictions are illustrated from pulsation computations with the code GYRE and compared with observations of gamma Dor stars. When possible, we also derive the surface rotation rates in these stars by detecting and analysing signatures of rotational modulation, and compute the core-to-surface rotation ratios. Results. Stellar rotation has to be strongly differential before its effects on period spacing patterns can be detected, unless multiple period spacing patterns can be compared. Six stars in our sample exhibit a single unexplained period spacing pattern of retrograde modes. We hypothesise that these are Yanai modes. Finally, we find signatures of rotational spot modulation in the photometric data of eight targets. Conclusions. If only one period spacing pattern is detected and analysed for a star, it is difficult to detect differential rotation. A rigidly rotating model will often provide the best solution. Differential rotation can only be detected when multiple period spacing patterns have been found for a single star or its surface rotation rate is known as well. This is the case for eight stars in our sample, revealing surface-to-core rotation ratios between 0.95 and 1.05.


title: A simple proof of a strong comparison principle for semicontinuous viscosity solutions of the prescribed mean curvature equation

abstract: A strong comparison principle for semicontinuous viscosity solutions of the prescribed mean curvature equation is considered. The difficulties of the problem come from the fact that this nonlinear equation is non-uniformly elliptic, does not depend on the value of unknown functions, depends on spatial variables and solutions are semicontinuous. Our simple proof of the strong comparison principle consists only of three ingredients, the definition of viscosity solutions, the inf and sup convolutions of functions, and the theory of classical solutions of quasilinear elliptic equations. Once we have the strong comparison principle, we can prove a weak comparison principle for semicontinuous viscosity solutions of the prescribed mean curvature equation in a bounded domain.