title: Measurements of Non-Singlet Moments of the Nucleon Structure Functions and Comparison to Predictions from Lattice QCD for $Q^2 = 4$ $\rm GeV^2$

abstract: We present extractions of the nucleon non-singlet moments utilizing new precision data on the deuteron $F_2$ structure function at large Bjorken-$x$ determined via the Rosenbluth separation technique at Jefferson Lab Experimental Hall C. These new data are combined with a complementary set of data on the proton previously measured in Hall C at similar kinematics and world data sets on the proton and deuteron at lower $x$ measured at SLAC and CERN. The new Jefferson Lab data provide coverage of the upper third of the $x$ range, crucial for precision determination of the higher moments. In contrast to previous extractions, these moments have been corrected for nuclear effects in the deuteron using a new global fit to the deuteron and proton data. The obtained experimental moments represent an order of magnitude improvement in precision over previous extractions using high $x$ data. Moreover, recent exciting developments in Lattice QCD calculations provide a first ever comparison of these new experimental results with calculations of moments carried out at the physical pion mass, as well as a new approach which first calculates the quark distributions directly before determining moments.


title: Algorithms for the Polar Decomposition in Certain Groups and the Quaternions

abstract: Constructive algorithms, requiring no more than $2\times 2$ matrix manipulations, are provided for finding the entries of the positive definite factor in the polar decomposition of matrices in sixteen groups preserving a bilinear form in dimension four, including the Lorentz and symplectic groups. This is used to find quaternionic representations for these groups analogous to that for the special orthogonal group.This is achieved by first characterizing positive definite matrices in these groups. For the groups whose signature matrix is a symmetric matrix in the quaternion tensor basis for 4x4 matrices, a completion procedure based on this observation leads to said computation of the polar decomposition, while for the Lorentz group this is achieved by passage to its double cover. Amongst byproducts we mention an elementary and constructive proof showing that positive definite matrices in such groups belong to the connected component of the identity.


title: Modeling the social media relationships of Irish politicians using a generalized latent space stochastic blockmodel

abstract: D\'ail \'Eireann is the principal chamber of the Irish parliament. The 31st D\'ail \'Eireann is the principal chamber of the Irish parliament. The 31st D\'ail was in session from March 11th, 2011 to February 6th, 2016. Many of the members of the D\'ail were active on social media and many were Twitter users who followed other members of the D\'ail. The pattern of following amongst these politicians provides insights into political alignment within the D\'ail. We propose a new model, called the generalized latent space stochastic blockmodel, which extends and generalizes both the latent space model and the stochastic blockmodel to study social media connections between members of the D\'ail. The probability of an edge between two nodes in a network depends on their respective class labels as well as latent positions in an unobserved latent space. The proposed model is capable of representing transitivity, clustering, as well as disassortative mixing. A Bayesian method with Markov chain Monte Carlo sampling is proposed for estimation of model parameters. Model selection is performed using the WAIC criterion and models of different number of classes or dimensions of latent space are compared. We use the model to study Twitter following relationships of members of the D\'ail and interpret structure found in these relationships. We find that the following relationships amongst politicians is mainly driven by past and present political party membership. We also find that the modeling outputs are informative when studying voting within the D\'ail.


title: Online Robust Policy Learning in the Presence of Unknown Adversaries

abstract: The growing prospect of deep reinforcement learning (DRL) being used in cyber-physical systems has raised concerns around safety and robustness of autonomous agents. Recent work on generating adversarial attacks have shown that it is computationally feasible for a bad actor to fool a DRL policy into behaving sub optimally. Although certain adversarial attacks with specific attack models have been addressed, most studies are only interested in off-line optimization in the data space (e.g., example fitting, distillation). This paper introduces a Meta-Learned Advantage Hierarchy (MLAH) framework that is attack model-agnostic and more suited to reinforcement learning, via handling the attacks in the decision space (as opposed to data space) and directly mitigating learned bias introduced by the adversary. In MLAH, we learn separate sub-policies (nominal and adversarial) in an online manner, as guided by a supervisory master agent that detects the presence of the adversary by leveraging the advantage function for the sub-policies. We demonstrate that the proposed algorithm enables policy learning with significantly lower bias as compared to the state-of-the-art policy learning approaches even in the presence of heavy state information attacks. We present algorithm analysis and simulation results using popular OpenAI Gym environments.


title: Experimental realization of a quantum CNOT gate for orbital angular momentum and polarization with linear optical elements

abstract: We propose and experimentally demonstrate that a Mach-Zehnder interferometer composed of polarized beam splitters and a pentaprism in the place of one of the mirrors works as a linear optical quantum controlled-NOT (CNOT) gate. To perform the information processing, the polarization and orbital angular momentum (OAM) of the photons act as the control and target qubits, respectively. The readout process is simple, requiring only a linear polarizer and a triangular diffractive aperture before detection. The viability and stability of the experiment makes the present proposal a valuable candidate for future implementations in optical quantum computation protocols.


title: SDSS-IV MaNGA: Spatially resolved star-formation histories and the connection to galaxy physical properties

abstract: A key task of observational extragalactic astronomy is to determine where -- within galaxies of diverse masses and morphologies -- stellar mass growth occurs, how it depends on galaxy properties and what processes regulate star formation. Using spectroscopic indices derived from the stellar continuum at $\sim 4000$\AA, we determine the spatially resolved star-formation histories of 980000 spaxels in 2404 galaxies in the SDSS-IV MaNGA IFU survey. We examine the spatial distribution of star-forming, quiescent, green valley, starburst and post-starburst spaxels as a function of stellar mass and morphology to see where and in what types of galaxy star formation is occurring. The spatial distribution of star-formation is dependent primarily on stellar mass, with a noticeable change in the distribution at \mstar$>10^{10}$\msun. Galaxies above this mass have an increasing fraction of regions that are forming stars with increasing radius, whereas lower mass galaxies have a constant fraction of star forming regions with radius. Our findings support a picture of inside-out growth and quenching at high masses. We find that morphology (measured via concentration) correlates with the fraction of star-forming spaxels, but not with their radial distribution. We find (post-)starburst regions are more common outside of the galaxy centre, are preferentially found in asymmetric galaxies, and have lower gas-phase metallicity than other regions, consistent with interactions triggering starbursts and driving low metallicity gas into regions at $<1.5R_e$.


title: Weakly Supervised Deep Learning for Thoracic Disease Classification and Localization on Chest X-rays

abstract: Chest X-rays is one of the most commonly available and affordable radiological examinations in clinical practice. While detecting thoracic diseases on chest X-rays is still a challenging task for machine intelligence, due to 1) the highly varied appearance of lesion areas on X-rays from patients of different thoracic disease and 2) the shortage of accurate pixel-level annotations by radiologists for model training. Existing machine learning methods are unable to deal with the challenge that thoracic diseases usually happen in localized disease-specific areas. In this article, we propose a weakly supervised deep learning framework equipped with squeeze-and-excitation blocks, multi-map transfer, and max-min pooling for classifying thoracic diseases as well as localizing suspicious lesion regions. The comprehensive experiments and discussions are performed on the ChestX-ray14 dataset. Both numerical and visual results have demonstrated the effectiveness of the proposed model and its better performance against the state-of-the-art pipelines.


title: Automated Data Slicing for Model Validation:A Big data - AI Integration Approach

abstract: As machine learning systems become democratized, it becomes increasingly important to help users easily debug their models. However, current data tools are still primitive when it comes to helping users trace model performance problems all the way to the data. We focus on the particular problem of slicing data to identify subsets of the validation data where the model performs poorly. This is an important problem in model validation because the overall model performance can fail to reflect that of the smaller subsets, and slicing allows users to analyze the model performance on a more granular-level. Unlike general techniques (e.g., clustering) that can find arbitrary slices, our goal is to find interpretable slices (which are easier to take action compared to arbitrary subsets) that are problematic and large. We propose Slice Finder, which is an interactive framework for identifying such slices using statistical techniques. Applications include diagnosing model fairness and fraud detection, where identifying slices that are interpretable to humans is crucial. This research is part of a larger trend of Big data and Artificial Intelligence (AI) integration and opens many opportunities for new research.


title: Exclusive and semiexclusive production of $\mu^+ \mu^-$ pairs with $\Delta$ isobars and other resonances in the final state and the size of absorption effects

abstract: We include $p p \to p \Delta^{+} \mu^{+} \mu^{-}$ and $p p \to \Delta^{+} \Delta^{+} \mu^{+} \mu^{-}$ processes in addition to the standard $p p \to p p \mu^{+} \mu^{-}$ process both in equivalent-photon approximation (EPA) and in exact $2 \to 4$ calculations. For comparison we calculate also the continuum proton dissociation in a recently developed $k_{t}$-factorization approach to $\gamma \gamma$-involved processes with parametrizations of $F_{2}$ structure function known from the literature. The calculated cross section including all the processes is considerably larger than the one measured recently by the ATLAS collaboration. We calculate absorption effects for $p p \to p p \mu^{+} \mu^{-}$ process in the momentum space. The final cross section with absorption effects is by 10\% larger than the one measured by the ATLAS collaboration which is difficult to explain. Several differential distributions with the ATLAS experimental cuts are presented. It is shown that the processes with electromagnetic $p \to \Delta(1232)$ and $p \to N(1440)$ transitions, that have similar characteristics as the $p p \to p p \mu^+ \mu^-$ process, increase the cross section for $\mu^+ \mu^-$ production and thus can affect its theoretical interpretation when the leading baryons are not detected as is the case for the CMS and ATLAS measurements. The mechanism of dissociation into hadronic continuum is not under full control as the corresponding absorption effects are not fully understood. We present first predictions for future ATLAS experiment with the ALFA sub-detectors and discuss observables relevant for this measurement.


title: Performance Optimization of MapReduce-based Apriori Algorithm on Hadoop Cluster

abstract: Many techniques have been proposed to implement the Apriori algorithm on MapReduce framework but only a few have focused on performance improvement. FPC (Fixed Passes Combined-counting) and DPC (Dynamic Passes Combined-counting) algorithms combine multiple passes of Apriori in a single MapReduce phase to reduce the execution time. In this paper, we propose improved MapReduce based Apriori algorithms VFPC (Variable Size based Fixed Passes Combined-counting) and ETDPC (Elapsed Time based Dynamic Passes Combined-counting) over FPC and DPC. Further, we optimize the multi-pass phases of these algorithms by skipping pruning step in some passes, and propose Optimized-VFPC and Optimized-ETDPC algorithms. Quantitative analysis reveals that counting cost of additional un-pruned candidates produced due to skipped-pruning is less significant than reduction in computation cost due to the same. Experimental results show that VFPC and ETDPC are more robust and flexible than FPC and DPC whereas their optimized versions are more efficient in terms of execution time.


title: Verification of Immediate Observation Population Protocols

abstract: Population protocols (Angluin et al., PODC, 2004) are a formal model of sensor networks consisting of identical mobile devices. Two devices can interact and thereby change their states. Computations are infinite sequences of interactions satisfying a strong fairness constraint. A population protocol is well-specified if for every initial configuration $C$ of devices, and every computation starting at $C$, all devices eventually agree on a consensus value depending only on $C$. If a protocol is well-specified, then it is said to compute the predicate that assigns to each initial configuration its consensus value. In a previous paper we have shown that the problem whether a given protocol is well-specified and the problem whether it computes a given predicate are decidable. However, in the same paper we prove that both problems are at least as hard as the reachability problem for Petri nets. Since all known algorithms for Petri net reachability have non-primitive recursive complexity, in this paper we restrict attention to immediate observation (IO) population protocols, a class introduced and studied in (Angluin et al., PODC, 2006). We show that both problems are solvable in exponential space for IO protocols. This is the first syntactically defined, interesting class of protocols for which an algorithm not requiring Petri net reachability is found.


title: Leveraging Pre-Trained 3D Object Detection Models For Fast Ground Truth Generation

abstract: Training 3D object detectors for autonomous driving has been limited to small datasets due to the effort required to generate annotations. Reducing both task complexity and the amount of task switching done by annotators is key to reducing the effort and time required to generate 3D bounding box annotations. This paper introduces a novel ground truth generation method that combines human supervision with pretrained neural networks to generate per-instance 3D point cloud segmentation, 3D bounding boxes, and class annotations. The annotators provide object anchor clicks which behave as a seed to generate instance segmentation results in 3D. The points belonging to each instance are then used to regress object centroids, bounding box dimensions, and object orientation. Our proposed annotation scheme requires 30x lower human annotation time. We use the KITTI 3D object detection dataset to evaluate the efficiency and the quality of our annotation scheme. We also test the the proposed scheme on previously unseen data from the Autonomoose self-driving vehicle to demonstrate generalization capabilities of the network.


title: Antiflips, mutations, and unbounded symplectic embeddings of rational homology balls

abstract: The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to construct unbounded sequences of symplectically embedded $B_{p,q}$ into surfaces of general type equipped with non-canonical symplectic forms. Ultimately, these symplectic embeddings come from Mori's theory of flips, but we give an interpretation in terms of almost toric structures and mutations of polygons. The key point is that a flip of surfaces, as studied by Hacking, Tevelev and Urz\'ua, can be formulated as a combination of mutations of an almost toric structure and deformation of the symplectic form.


title: Elliptic Bubbles in Moser's 4D Quadratic Map: the Quadfurcation

abstract: Moser derived a normal form for the family of four-dimensional, quadratic, symplectic maps in 1994. This six-parameter family generalizes H\'enon's ubiquitous 2D map and provides a local approximation for the dynamics of more general 4D maps. We show that the bounded dynamics of Moser's family is organized by a codimension-three bifurcation that creates four fixed points---a bifurcation analogous to a doubled, saddle-center---which we call a quadfurcation. In some sectors of parameter space a quadfurcation creates four fixed points from none, and in others it is the collision of a pair of fixed points that re-emerge as two or possibly four. In the simplest case the dynamics is similar to the cross product of a pair of H\'enon maps, but more typically the stability of the created fixed points does not have this simple form. Up to two of the fixed points can be doubly-elliptic and be surrounded by bubbles of invariant two-tori; these dominate the set of bounded orbits. The quadfurcation can also create one or two complex-unstable (Krein) fixed points. Special cases of the quadfurcation correspond to a pair of weakly coupled H\'enon maps near their saddle-center bifurcations. The quadfurcation also occurs in the creation of accelerator modes in a 4D standard map.


title: Street Sense: Learning from Google Street View

abstract: How good are the public services and the public infrastructure? Does their quality vary by income? These are vital questions---they shed light on how well the government is doing its job, the consequences of disparities in local funding, etc. But there is little good data on many of these questions. We fill this gap by describing a scalable method of getting data on one crucial piece of public infrastructure: roads. We assess the quality of roads and sidewalks by exploiting data from Google Street View. We randomly sample locations on major roads, query Google Street View images for those locations and code the images using Amazon's Mechanical Turk. We apply this method to assess the quality of roads in Bangkok, Jakarta, Lagos, and Wayne County, Michigan. Jakarta's roads have nearly four times the potholes than roads of any other city. Surprisingly, the proportion of road segments with potholes in Bangkok, Lagos, and Wayne is about the same, between .06 and .07. Using the data, we also estimate the relation between the condition of the roads and local income in Wayne, MI. We find that roads in more affluent census tracts have somewhat fewer potholes.


title: Dynamic Visual Analytics for Elicitation Meetings with ELICA

abstract: Requirements elicitation can be very challenging in projects that require deep domain knowledge about the system at hand. As analysts have the full control over the elicitation process, their lack of knowledge about the system under study inhibits them from asking related questions and reduces the accuracy of requirements provided by stakeholders. We present ELICA, a generic interactive visual analytics tool to assist analysts during requirements elicitation process. ELICA uses a novel information extraction algorithm based on a combination of Weighted Finite State Transducers (WFSTs) (generative model) and SVMs (discriminative model). ELICA presents the extracted relevant information in an interactive GUI (including zooming, panning, and pinching) that allows analysts to explore which parts of the ongoing conversation (or specification document) match with the extracted information. In this demonstration, we show that ELICA is usable and effective in practice, and is able to extract the related information in real-time. We also demonstrate how carefully designed features in ELICA facilitate the interactive and dynamic process of information extraction.


title: Privacy, Security and Trust in the Internet of Neurons

abstract: Arpanet, Internet, Internet of Services, Internet of Things, Internet of Skills. What next? We conjecture that in 15-20 years from now we will have the Internet of Neurons, a new Internet paradigm in which humans will be able to connect bi-directionally to the net using only their brain. The Internet of Neurons will provide new, tremendous opportunities thanks to constant access to unlimited information. It will empower all those outside of the technical industry, actually it will empower all human beings, to access and use technological products and services as everybody will be able to connect, even without possessing a laptop, a tablet or a smartphone. The Internet of Neurons will thus ultimately complete the currently still immature democratization of knowledge and technology. But it will also bring along several enormous challenges, especially concerning security (as well as privacy and trust). In this paper we speculate on the worldwide deployment of the Internet of Neurons by 2038 and brainstorm about its disruptive impact, discussing the main technological (and neurological) breakthroughs required to enable it, the new opportunities it provides and the security challenges it raises. We also elaborate on the novel system models, threat models and security properties that are required to reason about privacy, security and trust in the Internet of Neurons.


title: Gnirut: The Trouble With Being Born Human In An Autonomous World

abstract: What if we delegated so much to autonomous AI and intelligent machines that They passed a law that forbids humans to carry out a number of professions? We conceive the plot of a new episode of Black Mirror to reflect on what might await us and how we can deal with such a future.


title: Gamma-ray emission of hot astrophysical plasmas

abstract: Very hot plasmas with ion temperature exceeding $10^{10}$ K can be formed in certain astrophysical environments. The distinct radiation signature of such plasmas is the $\gamma$-ray emission dominated by the prompt de-excitation nuclear lines and $\pi^0$-decay $\gamma$-rays. Using a large nuclear reaction network, we compute the time evolution of the chemical composition of such hot plasmas and their $\gamma$-ray line emissivity. At higher energies, we provide simple but accurate analytical presentations for the $\pi^0$-meson production rate and the corresponding $\pi^0\to2\gamma$ emissivity derived for the Maxwellian distribution of protons. We discuss the impact of the possible deviation of the high energy tail of the particle distribution function from the "nominal" Maxwellian distribution on the plasma $\gamma$-ray emissivity.


title: Growth and Feedback from the First Black Holes

abstract: Regardless of their initial seed mass, any active galactic nuclei observed at redshifts z > 6 must have grown by several orders of magnitude from their seeds. In this chapter, we will discuss the physical processes and latest research on black hole growth and associated feedback after seed formation. Fueling is initially slowed down by radiative feedback from the black hole itself and supernova explosions from nearby stars. Its growth however accelerates once the host galaxy grows past a critical mass.


title: A Dataset of Laryngeal Endoscopic Images with Comparative Study on Convolution Neural Network Based Semantic Segmentation

abstract: Purpose Automated segmentation of anatomical structures in medical image analysis is a prerequisite for autonomous diagnosis as well as various computer and robot aided interventions. Recent methods based on deep convolutional neural networks (CNN) have outperformed former heuristic methods. However, those methods were primarily evaluated on rigid, real-world environments. In this study, existing segmentation methods were evaluated for their use on a new dataset of transoral endoscopic exploration. Methods Four machine learning based methods SegNet, UNet, ENet and ErfNet were trained with supervision on a novel 7-class dataset of the human larynx. The dataset contains 536 manually segmented images from two patients during laser incisions. The Intersection-over-Union (IoU) evaluation metric was used to measure the accuracy of each method. Data augmentation and network ensembling were employed to increase segmentation accuracy. Stochastic inference was used to show uncertainties of the individual models. Patient-to-patient transfer was investigated using patient-specific fine-tuning. Results In this study, a weighted average ensemble network of UNet and ErfNet was best suited for the segmentation of laryngeal soft tissue with a mean IoU of 84.7 %. The highest efficiency was achieved by ENet with a mean inference time of 9.22 ms per image. It is shown that 10 additional images from a new patient are sufficient for patient-specific fine-tuning. Conclusion CNN-based methods for semantic segmentation are applicable to endoscopic images of laryngeal soft tissue. The segmentation can be used for active constraints or to monitor morphological changes and autonomously detect pathologies. Further improvements could be achieved by using a larger dataset or training the models in a self-supervised manner on additional unlabeled data.


title: Computer science students simulation in capturing tacit knowledge by using NGT for reducing traffic jam

abstract: The subject knowledge management systems is one of the main courses in information systems study program, faculty of computer science. This course is offered at A concentration for students in semester 5 (five). Knowledge consists of knowledge explicit and tacit. To capture tacit knowledge, it can be done by involving a number of methods, namely: 1) Brainstorming, and 2) Nominal Group Technique. The study also involves a number of social information technologies, such as: 1) Facebook, 2) WordPress, 3) DropBox, and 4) YouTube. The topic for the theme of knowledge is how to reduce traffic jam. After passing 2 (two) simulation rounds, this research get 8 (eight) ideas suggestion related to vehicle parking in an effort to reduce traffic jam. The tacit knowledge capture simulation with NGT is able to provide acceptable suggestions by all the panelists involved. The use of social information technology in this study also received a very good response from the panelists.


title: A Model for Evaluating Algorithmic Systems Accountability

abstract: Algorithmic systems make decisions that have a great impact in our lives. As our dependency on them is growing so does the need for transparency and holding them accountable. This paper presents a model for evaluating how transparent these systems are by focusing on their algorithmic part as well as the maturity of the organizations that utilize them. We applied this model on a classification algorithm created and utilized by a large financial institution. The results of our analysis indicated that the organization was only partially in control of their algorithm and they lacked the necessary benchmark to interpret the deducted results and assess the validity of its inferencing.


title: Smart buildings as Cyber-Physical Systems: Data-driven predictive control strategies for energy efficiency

abstract: Due to its significant contribution to global energy usage and the associated greenhouse gas emissions, existing building stock's energy efficiency must improve. Predictive building control promises to contribute to that by increasing the efficiency of building operations. Predictive control complements other means to increase performance such as refurbishments as well as modernizations of systems. This survey reviews recent works and contextualizes these with the current state of the art of interrelated topics in data handling, building automation, distributed control, and semantics. The comprehensive overview leads to seven research questions guiding future research directions.


title: Evolution of galaxy size--stellar mass relation from the Kilo Degree Survey

abstract: We have obtained structural parameters of about 340,000 galaxies from the Kilo Degree Survey (KiDS) in 153 square degrees of data release 1, 2 and 3. We have performed a seeing convolved 2D single S\'ersic fit to the galaxy images in the 4 photometric bands (u, g, r, i) observed by KiDS, by selecting high signal-to-noise ratio (S/N > 50) systems in every bands. We have classified galaxies as spheroids and disc-dominated by combining their spectral energy distribution properties and their S\'ersic index. Using photometric redshifts derived from a machine learning technique, we have determined the evolution of the effective radius, \Re\ and stellar mass, \mst, versus redshift, for both mass complete samples of spheroids and disc-dominated galaxies up to z ~ 0.6. Our results show a significant evolution of the structural quantities at intermediate redshift for the massive spheroids ($\mbox{Log}\ M_*/M_\odot>11$, Chabrier IMF), while almost no evolution has found for less massive ones ($\mbox{Log}\ M_*/M_\odot < 11$). On the other hand, disc dominated systems show a milder evolution in the less massive systems ($\mbox{Log}\ M_*/M_\odot < 11$) and possibly no evolution of the more massive systems. These trends are generally consistent with predictions from hydrodynamical simulations and independent datasets out to redshift z ~ 0.6, although in some cases the scatter of the data is large to drive final conclusions. These results, based on 1/10 of the expected KiDS area, reinforce precedent finding based on smaller statistical samples and show the route toward more accurate results, expected with the the next survey releases.


title: Scrambling dynamics across a thermalization-localization quantum phase transition

abstract: We study quantum information scrambling, specifically the growth of Heisenberg operators, in large disordered spin chains using matrix product operator dynamics to scan across the thermalization-localization quantum phase transition. We observe ballistic operator growth for weak disorder, and a sharp transition to a phase with sub-ballistic operator spreading. The critical disorder strength for the ballistic to sub-ballistic transition is well below the many body localization phase transition, as determined from finite size scaling of energy eigenstate entanglement entropy in small chains. In contrast, we find that the transition from sub-ballistic to logarithmic behavior at the actual eigenstate localization transition is not resolved in our finite numerics. These data are discussed in the context of a universal form for the growing operator shape and substantiated with a simple phenomenological model of rare regions.


title: Towards a Theory of Software Development Expertise

abstract: Software development includes diverse tasks such as implementing new features, analyzing requirements, and fixing bugs. Being an expert in those tasks requires a certain set of skills, knowledge, and experience. Several studies investigated individual aspects of software development expertise, but what is missing is a comprehensive theory. We present a first conceptual theory of software development expertise that is grounded in data from a mixed-methods survey with 335 software developers and in literature on expertise and expert performance. Our theory currently focuses on programming, but already provides valuable insights for researchers, developers, and employers. The theory describes important properties of software development expertise and which factors foster or hinder its formation, including how developers' performance may decline over time. Moreover, our quantitative results show that developers' expertise self-assessments are context-dependent and that experience is not necessarily related to expertise.


title: Exoplanet science with a space-based mid-infrared nulling interferometer

abstract: One of the long-term goals of exoplanet science is the (atmospheric) characterization of a large sample (>100) of terrestrial planets to assess their potential habitability and overall diversity. Hence, it is crucial to quantitatively evaluate and compare the scientific return of various mission concepts. Here we discuss the exoplanet yield of a space-based mid-infrared (MIR) nulling interferometer. We use Monte-Carlo simulations, based on the observed planet population statistics from the Kepler mission, to quantify the number and properties of detectable exoplanets (incl. potentially habitable planets) and we compare the results to those for a large aperture optical/NIR space telescope. We investigate how changes in the underlying technical assumptions (sensitivity and spatial resolution) impact the results and discuss scientific aspects that influence the choice for the wavelength coverage and spectral resolution. Finally, we discuss the advantages of detecting exoplanets at MIR wavelengths, summarize the current status of some key technologies, and describe what is needed in terms of further technology development to pave the road for a space-based MIR nulling interferometer for exoplanet science.

categories: astro-ph.IM astro-ph.EP astro-ph.SR physics.ins-det physics.space-ph


title: Repeatability of Multiparametric Prostate MRI Radiomics Features

abstract: In this study we assessed the repeatability of the values of radiomics features for small prostate tumors using test-retest Multiparametric Magnetic Resonance Imaging (mpMRI) images. The premise of radiomics is that quantitative image features can serve as biomarkers characterizing disease. For such biomarkers to be useful, repeatability is a basic requirement, meaning its value must remain stable between two scans, if the conditions remain stable. We investigated repeatability of radiomics features under various preprocessing and extraction configurations including various image normalization schemes, different image pre-filtering, 2D vs 3D texture computation, and different bin widths for image discretization. Image registration as means to re-identify regions of interest across time points was evaluated against human-expert segmented regions in both time points. Even though we found many radiomics features and preprocessing combinations with a high repeatability (Intraclass Correlation Coefficient (ICC) > 0.85), our results indicate that overall the repeatability is highly sensitive to the processing parameters (under certain configurations, it can be below 0.0). Image normalization, using a variety of approaches considered, did not result in consistent improvements in repeatability. There was also no consistent improvement of repeatability through the use of pre-filtering options, or by using image registration between timepoints to improve consistency of the region of interest localization. Based on these results we urge caution when interpreting radiomics features and advise paying close attention to the processing configuration details of reported results. Furthermore, we advocate reporting all processing details in radiomics studies and strongly recommend making the implementation available.


title: Subgroup growth of all Baumslag-Solitar groups

abstract: This paper gives asymptotic formulas for the subgroup growth and maximal subgroup growth of all Baumslag-Solitar groups.


title: Formal verification of higher-order probabilistic programs

abstract: Probabilistic programming provides a convenient lingua franca for writing succinct and rigorous descriptions of probabilistic models and inference tasks. Several probabilistic programming languages, including Anglican, Church or Hakaru, derive their expressiveness from a powerful combination of continuous distributions, conditioning, and higher-order functions. Although very important for practical applications, these combined features raise fundamental challenges for program semantics and verification. Several recent works offer promising answers to these challenges, but their primary focus is on semantical issues. In this paper, we take a step further and we develop a set of program logics, named PPV, for proving properties of programs written in an expressive probabilistic higher-order language with continuous distributions and operators for conditioning distributions by real-valued functions. Pleasingly, our program logics retain the comfortable reasoning style of informal proofs thanks to carefully selected axiomatizations of key results from probability theory. The versatility of our logics is illustrated through the formal verification of several intricate examples from statistics, probabilistic inference, and machine learning. We further show the expressiveness of our logics by giving sound embeddings of existing logics. In particular, we do this in a parametric way by showing how the semantics idea of (unary and relational) TT-lifting can be internalized in our logics. The soundness of PPV follows by interpreting programs and assertions in quasi-Borel spaces (QBS), a recently proposed variant of Borel spaces with a good structure for interpreting higher order probabilistic programs.


title: The Athena X-ray Integral Field Unit

abstract: The X-ray Integral Field Unit (X-IFU) is the high resolution X-ray spectrometer of the ESA Athena X-ray observatory. Over a field of view of 5' equivalent diameter, it will deliver X-ray spectra from 0.2 to 12 keV with a spectral resolution of 2.5 eV up to 7 keV on ~5 arcsecond pixels. The X-IFU is based on a large format array of super-conducting molybdenum-gold Transition Edge Sensors cooled at about 90 mK, each coupled with an absorber made of gold and bismuth with a pitch of 249 microns. A cryogenic anti-coincidence detector located underneath the prime TES array enables the non X-ray background to be reduced. A bath temperature of about 50 mK is obtained by a series of mechanical coolers combining 15K Pulse Tubes, 4K and 2K Joule-Thomson coolers which pre-cool a sub Kelvin cooler made of a 3He sorption cooler coupled with an Adiabatic Demagnetization Refrigerator. Frequency domain multiplexing enables to read out 40 pixels in one single channel. A photon interacting with an absorber leads to a current pulse, amplified by the readout electronics and whose shape is reconstructed on board to recover its energy with high accuracy. The defocusing capability offered by the Athena movable mirror assembly enables the X-IFU to observe the brightest X-ray sources of the sky (up to Crab-like intensities) by spreading the telescope point spread function over hundreds of pixels. Thus the X-IFU delivers low pile-up, high throughput (>50%), and typically 10 eV spectral resolution at 1 Crab intensities, i.e. a factor of 10 or more better than Silicon based X-ray detectors. In this paper, the current X-IFU baseline is presented, together with an assessment of its anticipated performance in terms of spectral resolution, background, and count rate capability. The X-IFU baseline configuration will be subject to a preliminary requirement review that is scheduled at the end of 2018.

categories: astro-ph.IM astro-ph.CO astro-ph.GA astro-ph.HE


title: Prognostics Estimations with Dynamic States

abstract: The health state assessment and remaining useful life (RUL) estimation play very important roles in prognostics and health management (PHM), owing to their abilities to reduce the maintenance and improve the safety of machines or equipment. However, they generally suffer from this problem of lacking prior knowledge to pre-define the exact failure thresholds for a machinery operating in a dynamic environment with a high level of uncertainty. In this case, dynamic thresholds depicted by the discrete states is a very attractive way to estimate the RUL of a dynamic machinery. Currently, there are only very few works considering the dynamic thresholds, and these studies adopted different algorithms to determine the discrete states and predict the continuous states separately, which largely increases the complexity of the learning process. In this paper, we propose a novel prognostics approach for RUL estimation of aero-engines with self-joint prediction of continuous and discrete states, wherein the prediction of continuous and discrete states are conducted simultaneously and dynamically within one learning framework.


title: Stability and convergence of the string method for computing minimum energy paths

abstract: We analyze the convergence of the string method of E, Ren, and Vanden-Eijnden to a minimum energy path. Under some assumptions relating to the critical points on the minimum energy path, we show that the string method initialized in a neighborhood of the minimum energy path converges to an arbitrarily small neighborhood of the minimum energy path as the number of images is increased.


title: Nonlinear librations of distant retrograde orbits: a perturbative approach -- The Hill problem case

abstract: The non-integrability of the Hill problem makes that its global dynamics must be necessarily approached numerically. However, the analytical approach is feasible in the computation of relevant solutions. In particular, the nonlinear dynamics of the Hill problem close to the origin, and the libration point dynamics have been thoroughly investigated by perturbation methods. Out of the Hill sphere, the analytical approach is also feasible, at least in the case of distant retrograde orbits. Previous analytical investigations of this last case succeeded in the qualitative description of the dynamics, but they commonly failed in providing accurate results. This is a consequence of the essential dependance of the dynamics on elliptic functions, a fact that makes to progress in the perturbation approach beyond the lower orders of the solution really difficult. We propose an alternative perturbation approach that allows us to provide a very simple low order analytical solution in trigonometric functions, on the one hand, and, while still depending on special functions, to compute higher orders of the solution, on the other.


title: Safe Reinforcement Learning via Probabilistic Shields

abstract: This paper targets the efficient construction of a safety shield for decision making in scenarios that incorporate uncertainty. Markov decision processes (MDPs) are prominent models to capture such planning problems. Reinforcement learning (RL) is a machine learning technique to determine near-optimal policies in MDPs that may be unknown prior to exploring the model. However, during exploration, RL is prone to induce behavior that is undesirable or not allowed in safety- or mission-critical contexts. We introduce the concept of a probabilistic shield that enables decision-making to adhere to safety constraints with high probability. In a separation of concerns, we employ formal verification to efficiently compute the probabilities of critical decisions within a safety-relevant fragment of the MDP. We use these results to realize a shield that is applied to an RL algorithm which then optimizes the actual performance objective. We discuss tradeoffs between sufficient progress in exploration of the environment and ensuring safety. In our experiments, we demonstrate on the arcade game PAC-MAN and on a case study involving service robots that the learning efficiency increases as the learning needs orders of magnitude fewer episodes.


title: Definable combinatorics with dense linear orders

abstract: We compute the model-theoretic Grothendieck ring, $K_0(\mathcal{Q})$, of a dense linear order (DLO) with or without end points, $\mathcal{Q}=(Q,<)$, as a structure of the signature $\{<\}$, and show that it is a quotient of the polynomial ring over $\mathbb{Z}$ generated by $\mathbb N_+\times(Q\sqcup\{-\infty\})$ by an ideal that encodes multiplicative relations of pairs of generators. As a corollary we obtain that a DLO satisfies the pigeon hole principle (PHP) for definable subsets and definable bijections between them--a property that is too strong for many structures.


title: Spin-foam model for gravity coupled to massless scalar field

abstract: A spin-foam model is derived from the canonical model of Loop Quantum Gravity coupled to a massless scalar field. We generalized to the full theory the scheme first proposed in the context of Loop Quantum Cosmology by Ashtekar, Campiglia and Henderson, later developed by Henderson, Rovelli, Vidotto and Wilson-Ewing.


title: Nanomechanical resonators for cryogenic research

abstract: Suspended aluminium nanoelectromechanical resonators have been fabricated, and the manufacturing process is described in this work. Device motion is driven and detected with a magnetomotive method. The resonance response has been measured at 4.2 K temperature in vacuum and low pressure $^4$He gas. At low oscillation amplitudes the resonance response is linear, producing Lorentzian line shapes, and Q-values up to 4400 have been achieved. At higher oscillation amplitudes the devices show nonlinear Duffing-like behavior. The devices are found to be extremely sensitive to pressure in $^4$He gas. Such device is a promising tool for studying properties of superfluid helium.


title: Human Trajectories Characteristics

abstract: Communication devices (mobile networks, social media platforms) are produced digital traces for their users either voluntarily or not. This type of collective data can give powerful indications on their effect on urban systems design and development. For understanding the collective human behavior of urban city, the modeling techniques could be used. In this study the most important feature of human mobility is considered, which is the radius of gyration . This parameter is used to measure how (far /frequent) the individuals are shift inside specific observed region.


title: A PTAS for $\ell_p$-Low Rank Approximation

abstract: A number of recent works have studied algorithms for entrywise $\ell_p$-low rank approximation, namely, algorithms which given an $n \times d$ matrix $A$ (with $n \geq d$), output a rank-$k$ matrix $B$ minimizing $\|A-B\|_p^p=\sum_{i,j}|A_{i,j}-B_{i,j}|^p$ when $p > 0$; and $\|A-B\|_0=\sum_{i,j}[A_{i,j}\neq B_{i,j}]$ for $p=0$. On the algorithmic side, for $p \in (0,2)$, we give the first $(1+\epsilon)$-approximation algorithm running in time $n^{\text{poly}(k/\epsilon)}$. Further, for $p = 0$, we give the first almost-linear time approximation scheme for what we call the Generalized Binary $\ell_0$-Rank-$k$ problem. Our algorithm computes $(1+\epsilon)$-approximation in time $(1/\epsilon)^{2^{O(k)}/\epsilon^{2}} \cdot nd^{1+o(1)}$. On the hardness of approximation side, for $p \in (1,2)$, assuming the Small Set Expansion Hypothesis and the Exponential Time Hypothesis (ETH), we show that there exists $\delta := \delta(\alpha) > 0$ such that the entrywise $\ell_p$-Rank-$k$ problem has no $\alpha$-approximation algorithm running in time $2^{k^{\delta}}$.


title: What Does "Metallicity" Mean When Interpreting Spectra of Exoplanetary Atmospheres?

abstract: One of the desired outcomes of studying exoplanetary atmospheres is to set decisive constraints on exoplanet formation theories. Astronomers often speak of the "metallicity" in broad terms. When modeling the bulk metallicity, workers refer to the elemental iron abundance (Fe/H). By contrast, when exo-atmospheric astronomers speak of the "metallicity" derived from analysing low-resolution Hubble and Spitzer spectrophotometry, they are referring to the elemental abundances of oxygen (O/H), carbon (C/H) and nitrogen (N/H): in decreasing order of importance, since spectra from the Hubble Wide Field Camera 3 are primarily sensitive to water with secondary contributions from hydrogen cyanide and ammonia, while Spitzer photometry is sensitive to methane and carbon monoxide. From retrieving for the water abundances, workers such as Kreidberg et al. (2014), Wakeford et al. (2017, 2018), Arcangeli et al. (2018) and Mansfield et al. (2018) have published figures that show the "metallicity" versus the masses of the exoplanets. Even if we assume that bulk and atmospheric elemental abundances are equal, the motivation behind this research note is to demonstrate that the conversion between the water abundance and O/H is not straightforward. "Water at solar metallicity" is a temperature- and pressure-dependent statement, because there is no single value of the water volume mixing ratio corresponding to solar values of O/H and C/H. Overall, the conversion factor between the water volume mixing ratio and O/H is not unity and depends on temperature, pressure, O/H, C/H and C/O, even without invoking disequilibrium chemistry (photochemistry and/or atmospheric mixing). It remains unproven that disequilibrium chemistry or condensation will always return a conversion factor of unity. It is thus a fair statement to say that the "metallicity" estimates inferred from atmospheric retrievals are model-dependent.


title: An agent-based model of an endangered population of the Arctic fox from Mednyi Island

abstract: Artificial Intelligence techniques such as agent-based modeling and probabilistic reasoning have shown promise in modeling complex biological systems and testing ecological hypotheses through simulation. We develop an agent-based model of Arctic foxes from Medniy Island while utilizing Probabilistic Graphical Models to capture the conditional dependencies between the random variables. Such models provide valuable insights in analyzing factors behind catastrophic degradation of this population and in revealing evolutionary mechanisms of its persistence in high-density environment. Using empirical data from studies in Medniy Island, we create a realistic model of Arctic foxes as agents, and study their survival and population dynamics under a variety of conditions.


title: Fluid dynamics of out of equilibrium boost invariant plasmas

abstract: We establish a set of equations for moments of the distribution function. In the relaxation time approximations, these moments obey a coupled set of equations that can be truncated order-by-order. Solving the equations of moments, we are able to identify an attractor solution that controls a transition from a free streaming fixed point to a hydrodynamic fixed point. In particular, this attractor solution provides a renormalization of the effective value of the shear viscosity to entropy density ratio, $\eta/s$, taking into account off-equilibrium effects.


title: Matters of Gravity, The Newsletter of the Division of Gravitational Physics of the American Physical Society, Volume 51, June 2018

abstract: DGRAV News: We hear that.... DGRAV Student Travel Grants Town Hall Meeting GRG Society Research Briefs: What's new in LIGO Conference Reports: Christodoulou Conference Obituaries: Stephen Hawking (1942-2018) Joseph Polchinski (1954-2018)


title: Structured Synthesis for Probabilistic Systems

abstract: We introduce the concept of structured synthesis for Markov decision processes where the structure is induced from finitely many pre-specified options for a system configuration. The resulting synthesis problem is in general a nonlinear programming problem (NLP) with integer variables. As solving NLPs is in general not feasible, we present an alternative approach. We present a transformation of models specified in the {PRISM} probabilistic programming language to models that account for all possible system configurations by means of nondeterministic choices. Together with a control module that ensures consistent configurations throughout the system, this transformation enables the use of optimized tools for model checking in a black-box fashion. While this transformation increases the size of a model, experiments with standard benchmarks show that the method provides a feasible approach for structured synthesis. Moreover, we demonstrate the usefulness along a realistic case study involving surveillance by unmanned aerial vehicles in a shipping facility.


title: Don't get Lost in Negation: An Effective Negation Handled Dialogue Acts Prediction Algorithm for Twitter Customer Service Conversations

abstract: In the last several years, Twitter is being adopted by the companies as an alternative platform to interact with the customers to address their concerns. With the abundance of such unconventional conversation resources, push for developing effective virtual agents is more than ever. To address this challenge, a better understanding of such customer service conversations is required. Lately, there have been several works proposing a novel taxonomy for fine-grained dialogue acts as well as develop algorithms for automatic detection of these acts. The outcomes of these works are providing stepping stones for the ultimate goal of building efficient and effective virtual agents. But none of these works consider handling the notion of negation into the proposed algorithms. In this work, we developed an SVM-based dialogue acts prediction algorithm for Twitter customer service conversations where negation handling is an integral part of the end-to-end solution. For negation handling, we propose several efficient heuristics as well as adopt recent state-of- art third party machine learning based solutions. Empirically we show model's performance gain while handling negation compared to when we don't. Our experiments show that for the informal text such as tweets, the heuristic-based approach is more effective.


title: Information Theoretic Model Predictive Control on Jump Diffusion Processes

abstract: In this paper we present an information theoretic approach to stochastic optimal control problems for systems with compound Poisson noise. We generalize previous work on information theoretic path integral control to discontinuous dynamics with compound Poisson noise and develop an iterative model predictive control (MPC) algorithm using importance sampling. The proposed algorithm is parallelizable and when implemented on a Graphical Processing Unit (GPU) can run in real time. We test the performance of the proposed algorithm in simulation for two control tasks using a cartpole system and a quadrotor. Our simulations demonstrate improved performance of the new scheme and indicate the importance of incorporating the statistical characteristics of stochastic disturbances in the computation of the stochastic optimal control policies.


title: A Positive Asymptotic Preserving Scheme for Linear Kinetic Transport Equations

abstract: We present a positive and asymptotic preserving numerical scheme for solving linear kinetic, transport equations that relax to a diffusive equation in the limit of infinite scattering. The proposed scheme is developed using a standard spectral angular discretization and a classical micro-macro decomposition. The three main ingredients are a semi-implicit temporal discretization, a dedicated finite difference spatial discretization, and realizability limiters in the angular discretization. Under mild assumptions on the initial condition and time step, the scheme becomes a consistent numerical discretization for the limiting diffusion equation when the scattering cross-section tends to infinity. The scheme also preserves positivity of the particle concentration on the space-time mesh and therefore fixes a common defect of spectral angular discretizations. The scheme is tested on the well-known line source benchmark problem with the usual uniform material medium as well as a medium composed from different materials that are arranged in a checkerboard pattern. We also report the observed order of space-time accuracy of the proposed scheme.


title: Rectification from Radially-Distorted Scales

abstract: This paper introduces the first minimal solvers that jointly estimate lens distortion and affine rectification from repetitions of rigidly transformed coplanar local features. The proposed solvers incorporate lens distortion into the camera model and extend accurate rectification to wide-angle images that contain nearly any type of coplanar repeated content. We demonstrate a principled approach to generating stable minimal solvers by the Grobner basis method, which is accomplished by sampling feasible monomial bases to maximize numerical stability. Synthetic and real-image experiments confirm that the solvers give accurate rectifications from noisy measurements when used in a RANSAC-based estimator. The proposed solvers demonstrate superior robustness to noise compared to the state-of-the-art. The solvers work on scenes without straight lines and, in general, relax the strong assumptions on scene content made by the state-of-the-art. Accurate rectifications on imagery that was taken with narrow focal length to near fish-eye lenses demonstrate the wide applicability of the proposed method. The method is fully automated, and the code is publicly available at https://github.com/prittjam/repeats.


title: Markov chain random fields, spatial Bayesian networks, and optimal neighborhoods for simulation of categorical fields

abstract: The Markov chain random field (MCRF) model/theory provides a non-linear spatial Bayesian updating solution at the neighborhood nearest data level for simulating categorical spatial variables. In the MCRF solution, the spatial dependencies among nearest data and the central random variable is a probabilistic directed acyclic graph that conforms to a neighborhood-based Bayesian network on spatial data. By selecting different neighborhood sizes and structures, applying the spatial conditional independence assumption to nearest neighbors, or incorporating ancillary information, one may construct specific MCRF models based on the MCRF general solution for various application purposes. Simplified MCRF models based on assuming the spatial conditional independence of nearest data involve only spatial transition probabilities, and one can implement them easily in sequential simulations. In this article, we prove the spatial Bayesian network characteristic of MCRFs, and test the optimal neighborhoods under the spatial conditional independence assumption. The testing results indicate that the quadrantal (i.e., one nearest datum per quadrant) neighborhood is generally the best choice for the simplified MCRF solution, performing better than other sectored neighborhoods and non-sectored neighborhoods with regard to simulation accuracy and pattern rationality.


title: Entropy and Energy Detection-based Spectrum Sensing over F Composite Fading Channels

abstract: In this paper, we investigate the performance of energy detection-based spectrum sensing over F composite fading channels. To this end, an analytical expression for the average detection probability is firstly derived. This expression is then extended to account for collaborative spectrum sensing, square-law selection diversity reception and noise power uncertainty. The corresponding receiver operating characteristics (ROC) are analyzed for different conditions of the average signal-to-noise ratio (SNR), noise power uncertainty, time-bandwidth product, multipath fading, shadowing, number of diversity branches and number of collaborating users. It is shown that the energy detection performance is sensitive to the severity of the multipath fading and amount of shadowing, whereby even small variations in either of these physical phenomena can significantly impact the detection probability. As a figure of merit to evaluate the detection performance, the area under the ROC curve (AUC) is derived and evaluated for different multipath fading and shadowing conditions. Closed-form expressions for the Shannon entropy and cross entropy are also formulated and assessed for different average SNR, multipath fading and shadowing conditions. Then the relationship between the Shannon entropy and ROC/AUC is examined where it is found that the average number of bits required for encoding a signal becomes small (i.e., low Shannon entropy) when the detection probability is high or when the AUC is large. The difference between composite and traditional small-scale fading is emphasized by comparing the cross entropy for Rayleigh and Nakagami-m fading. A validation of the analytical results is provided through a careful comparison with the results of some simulations.


title: Entanglement guided search for parent Hamiltonians

abstract: We introduce a method for the search of parent Hamiltonians of input wave-functions based on the structure of their reduced density matrix. The two key elements of our recipe are an ansatz on the relation between reduced density matrix and parent Hamiltonian that is exact at the field theory level, and a minimization procedure on the space of relative entropies, which is particularly convenient due to its convexity. As examples, we show how our method correctly reconstructs the parent Hamiltonian correspondent to several non-trivial ground state wave functions, including conformal and symmetry-protected-topological phases, and quantum critical points of two-dimensional antiferromagnets described by strongly coupled field theories. Our results show the entanglement structure of ground state wave-functions considerably simplifies the search for parent Hamiltonians.


title: Low energy nodal solutions to the Yamabe equation

abstract: Given an isoparametric function $f$ on the $n$-dimensional sphere, we consider the space of functions $w\circ f$ to reduce the Yamabe equation on the round sphere into a singular ODE on $w$ in the interval $[0,\pi]$, of the form $w" + (h(r)/\sin r)w'+\lambda(\vert w\vert^{4/n-2}w - w)=0$, where $h$ is a monotone function with exactly one zero on $[0,\pi]$ and $\lambda>0$ is a constant. The natural boundary conditions in order to obtain smooth solutions are $w'(0)=0$ and $w'(\pi )=0$. We show that for any positive integer $k$ there exists a solution with exactly $k$-zeroes yielding solutions to the Yamabe equation with exactly $k$ connected isoparametric hypersurfaces as nodal set. The idea of the proof is to consider the initial value problems on both singularities $0$ and $\pi$, and then to solve the corresponding double shooting problem, matching the values of $w$ and $w'$ at the unique zero of $h$. In particular we obtain solutions with exactly one zero, providing solutions of the Yamabe equation with low energy, which can be computed easily by numerical methods.


title: The Orbit of the Close Companion of Polaris: Hubble Space Telescope Imaging 2007 to 2014

abstract: As part of a program to determine dynamical masses of Cepheids, we have imaged the nearest and brightest Cepheid, Polaris, with the Hubble Space Telescope Wide Field Planetary Camera 2 and Wide Field Camera 3. Observations were obtained at three epochs between 2007 and 2014. In these images, as in HST frames obtained in 2005 and 2006, which we discussed in a 2008 paper, we resolve the close companion Polaris Ab from the Cepheid Polaris Aa. Because of the small separation and large magnitude difference between Polaris Aa and Ab, we used PSF deconvolution techniques to carry out astrometry of the binary. Based on these new measurements, we have updated the elements for the 29.59 yr orbit. Adopting the distance to the system from the recent Gaia Data Release 2, we find a dynamical mass for the Cepheid of 3.45 +/- 0.75 Msun, although this is preliminary, and will be improved by CHARA measurements covering periastron. As is the case for the recently determined dynamical mass for the Cepheid V1334 Cyg, the mass of Polaris is significantly lower than the "evolutionary mass" predicted by fitting to evolutionary tracks in the HR diagram. We discuss several questions and implications raised by these measurements, including the pulsation mode, which instability-strip crossing the stars are in, and possible complications such as rotation, mass loss, and binary mergers. The distant third star in the system, Polaris B, appears to be older than the Cepheid, based on isochrone fitting. This may indicate that the Cepheid Polaris is relatively old and is the result of a binary merger, rather than being a young single star.


title: Moment-Based Ellipticity Measurement as a Statistical Parameter Estimation Problem

abstract: We show that galaxy ellipticity estimation for weak gravitational lensing with unweighted image moments reduces to the problem of measuring a combination of the means of three independent normal random variables. Under very general assumptions, the intrinsic image moments of sources can be recovered from observations including effects such as the point-spread function and pixellation. Gaussian pixel noise turns these into three jointly normal random variables, the means of which are algebraically related to the ellipticity. We show that the random variables are approximately independent with known variances, and provide an algorithm for making them exactly independent. Once the framework is developed, we derive general properties of the ellipticity estimation problem, such as the signal-to-noise ratio, a generic form of an ellipticity estimator, and Cram\'er-Rao lower bounds for an unbiased estimator. We then derive the unbiased ellipticity estimator using unweighted image moments. We find that this unbiased estimator has a poorly behaved distribution and does not converge in practical applications, but demonstrates how to derive and understand the behaviour of new moment-based ellipticity estimators.


title: Improvement in the UAV position estimation with low-cost GPS, INS and vision-based system: Application to a quadrotor UAV

abstract: In this paper, we develop a position estimation system for Unmanned Aerial Vehicles formed by hardware and software. It is based on low-cost devices: GPS, commercial autopilot sensors and dense optical flow algorithm implemented in an onboard microcomputer. Comparative tests were conducted using our approach and the conventional one, where only fusion of GPS and inertial sensors are used. Experiments were conducted using a quadrotor in two flying modes: hovering and trajectory tracking in outdoor environments. Results demonstrate the effectiveness of the proposed approach in comparison with the conventional approaches presented in the vast majority of commercial drones.


title: Fermion Production in Bouncing Cosmologies

abstract: We address the issue of fermionic particle creation in cosmological bouncing models governed by General Relativity, but where the bounce itself takes place due to quantum effects. If the energy scale of the bounce is not very close to the Planck energy, the Wheeler-DeWitt approach can be used to furnish sensible singularity-free background models with a contracting phase preceding an expanding phase in which the fermions evolve. The fermionic fields considered are massive, neutral and minimally coupled to gravity. We are particularly interested in neutrinos, neutrons and heavy neutrinos motivated by theories beyond the Standard Model of Particle Physics. We perform a numerical analysis for a bouncing model containing radiation and a pressureless fluid. The results reveal that the fermionic production is very small, with no back-reaction, unless the fermions are very heavy with masses up to $10^9$GeV. Hence, investigations concerning baryogenesis in such bouncing models should either go beyond the minimal coupling between gravity and the fermionic fields considered here, or assume the existence of such heavy fermions as a starting point.


title: Avoiding long Berge cycles II, exact bounds for all $n$

abstract: Let $EG_r(n,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph with no Berge cycles of length $k$ or longer. In the first part of this work, we have found exact values of $EG_r(n,k)$ and described the structure of extremal hypergraphs for the case when $k-2$ divides $n-1$ and $k\geq r+3$. In this paper we determine $EG_r(n,k)$ and describe the extremal hypergraphs for all $n$ when $k\geq r+4$.


title: Classification of homogeneous functors in manifold calculus

abstract: For any object A in a simplicial model category C, we construct a topological space \^A which classifies linear functors whose value on an open ball is equivalent to A. More precisely for a manifold M, and O(M) its poset category of open sets, weak equivalence classes of such functors O(M) ---> C are shown to be in bijection with homotopy classes of maps [M,\^A]. The result extends to higher degree homogeneous functors. At the end we explain a connection to a classification result of Michael Weiss.


title: Fast focal plane wavefront sensing on ground-based telescopes

abstract: Exoplanet detection and characterization through extreme adaptive optics (ExAO) is a key science goal of future extremely large telescopes. This achievement, however, will be limited in sensitivity by both quasi-static wavefront errors and residual AO-corrected atmospheric wavefront errors. A solution to both of these problems is to use the science camera of an ExAO system as a wavefront sensor to perform a fast measurement and correction method to remove these aberrations as soon as they are detected. We have developed the framework for one such method, using the self-coherent camera (SCC), to be applied to ground-based telescopes, called Fast Atmospheric SCC Technique (FAST; Gerard et al., submitted). Our FAST solution requires an optimally designed coronagraph (the SCC FPM) and post-processing algorithm and is in principle able to reach a "raw" contrast of a few times the photon noise limit, continually improving with integration time. In this paper, we present new ongoing work in exploring the manufacturing limitations of the SCC FPM as well as a general framework to implement and optimize a FAST deformable mirror control loop.


title: Invariants of stable maps from the 3-sphere to the Euclidean 3-space

abstract: In the present work, we study the decompositions of codimension-one transitions that alter the singular set the of stable maps of $S^3$ into $\mathbb{R}^3,$ the topological behaviour of the singular set and the singularities in the branch set that involves cuspidal curves and swallowtails that alter the singular set. We also analyse the effects of these decompositions on the global invariants with prescribed branch sets.


title: Atmospheric Circulation and Thermal Phase-Curve Offset of Tidally and Non-Tidally Locked Terrestrial Exoplanets

abstract: Using an idealised general circulation model, we investigate the atmospheric circulation of Earth-like terrestrial planets in a variety of orbital configurations. We relax the common assumption of the planet being tidally-locked, and look at the role atmospheric dynamics can have in the observed thermal phase curve when the substellar point is non-stationary. In slowly rotating planets, a moving forcing can induce strong jets in the upper troposphere, both prograde and retrograde, sensitive to the speed and direction of the diurnal forcing. We find that, consistent with previous shallow water model experiments, the thermal phase curve offset is sensitive to the velocity of the substellar point moving across the surface of the planet. For a planet with a known orbital period, the results show that the observed hotspot on the planet could be either east or west of the substellar point, depending on whether the planet is tidally-locked or not.


title: Computational Social Dynamics: Analyzing the Face-level Interactions in a Group

abstract: Interactional synchrony refers to how the speech or behavior of two or more people involved in a conversation become more finely synchronized with each other, and they can appear to behave almost in direct response to one another. Studies have shown that interactional synchrony is a hallmark of relationships, and is produced as a result of rapport. %Research has also shown that up to two-thirds of human communication occurs via nonverbal channels such as gestures (or body movements), facial expressions, \etc. In this work, we use computer vision based methods to extract nonverbal cues, specifically from the face, and develop a model to measure interactional synchrony based on those cues. This paper illustrates a novel method of constructing a dynamic deep neural architecture, specifically made up of intermediary long short-term memory networks (LSTMs), useful for learning and predicting the extent of synchrony between two or more processes, by emulating the nonlinear dependencies between them. On a synthetic dataset, where pairs of sequences were generated from a Gaussian process with known covariates, the architecture could successfully determine the covariance values of the generating process within an error of 0.5% when tested on 100 pairs of interacting signals. On a real-life dataset involving groups of three people, the model successfully estimated the extent of synchrony of each group on a scale of 1 to 5, with an overall prediction mean of $2.96%$ error when performing 5-fold validation, as compared to 26.1% on the random permutations serving as the control baseline.


title: A bivariate view of Kohn-Sham iteration and the case for potential mixing

abstract: A bivariate perspective on Kohn-Sham density functional theory is proposed, treating potential and density as simultaneous independent variables, and used to make fruitful connection between Lieb's rigorous foundational framework and practical Kohn-Sham computation. Support is found for potential-mixing schemes, but not for more standard density-mixing. Under presumably-generic conditions, total energy can be lowered from one iteration to the next. Density, intrinsic and total energy are analytic functions of the noninteracting potential on the open set of potentials having a single isolated ground spin-multiplet.


title: Universal Scaling of Polygonal Desiccation Crack Patterns

abstract: Polygonal desiccation crack patterns are commonly observed in natural systems. Despite their quotidian nature, it is unclear whether similar crack patterns which span orders of magnitude in length scales share the same underlying physics. In thin films, the characteristic length of polygonal cracks is known to monotonically increase with the film thickness, however, existing theories that consider the mechanical, thermodynamic, hydrodynamic, and statistical properties of cracking often lead to contradictory predictions. Here we experimentally investigate polygonal cracks in drying suspensions of micron-sized particles by varying film thickness, boundary adhesion, packing fraction, and solvent. Although polygonal cracks were observed in most systems above a critical film thickness, in cornstarch-water mixtures, multi-scale crack patterns were observed due to two distinct desiccation mechanisms. Large-scale, primary polygons initially form due to capillary-induced film shrinkage, whereas small-scale, secondary polygons appear later due to the deswelling of the hygroscopic particles. In addition, we find that the characteristic area of the polygonal cracks, $A_p$, obeys a universal power law, $A_p=\alpha h^{4/3}$, where $h$ is the film thickness. By quantitatively linking $\alpha$ with the material properties during crack formation, we provide a robust framework for understanding multi-scale polygonal crack patterns from microscopic to geologic scales.


title: Design and Implementation of a Digital Signature Scheme Based on Low-density Generator Matrix Codes

abstract: In this paper we consider a post-quantum digital signature scheme based on low-density generator matrix codes and propose efficient algorithmic solutions for its implementation. We also review all known attacks against this scheme and derive closed-form estimates of their complexity when running over both classical and quantum computers. Based on these estimates, we propose new parametrization for the considered system to achieve given pre-quantum and post-quantum security levels. Finally, we provide and discuss performance benchmarks obtained through a suitably developed and publicly available reference implementation of the considered system.


title: Massively Parallel Simulations of Binary Black Hole Intermediate-Mass-Ratio Inspirals

abstract: We present a highly-scalable framework that targets problems of interest to the numerical relativity and broader astrophysics communities. This framework combines a parallel octree-refined adaptive mesh with a wavelet adaptive multiresolution and a physics module to solve the Einstein equations of general relativity in the BSSN formulation. The goal of this work is to perform advanced, massively parallel numerical simulations of Intermediate Mass Ratio Inspirals (IMRIs) of binary black holes with mass ratios on the order of 100:1. These studies will be used to generate waveforms as used in LIGO data analysis and to calibrate semi-analytical approximate methods. Our framework consists of a distributed memory octree-based adaptive meshing framework in conjunction with a node-local code generator. The code generator makes our code portable across different architectures. The equations corresponding to the target application are written in symbolic notation and generators for different architectures can be added independent of the application. Additionally, this symbolic interface also makes our code extensible, and as such has been designed to easily accommodate many existing algorithms in astrophysics for plasma dynamics and radiation hydrodynamics. Our adaptive meshing algorithms and data-structures have been optimized for modern architectures with deep memory hierarchies. This enables our framework to have achieve excellent performance and scalability on modern leadership architectures. We demonstrate excellent weak scalability up to 131K cores on ORNL's Titan for binary mergers for mass ratios up to 100.


title: Forcing axioms, approachability, and stationary set reflection

abstract: We prove a variety of theorems about stationary set reflection and concepts related to internal approachability. We prove that an implication of Fuchino-Usuba relating stationary reflection to a version of Strong Chang's Conjecture cannot be reversed; strengthen and simplify some results of Krueger about forcing axioms and approachability; and prove that some other related results of Krueger are sharp. We also adapt some ideas of Woodin to simplify and unify many arguments in the literature involving preservation of forcing axioms.


title: The Taylor coefficients of the Jacobi theta constant $\theta_3$

abstract: We study the Taylor expansion around the point $x=1$ of a classical modular form, the Jacobi theta constant $\theta_3$. This leads naturally to a new sequence $(d(n))_{n=0}^\infty=1,1,-1,51,849,-26199,\ldots$ of integers, which arise as the Taylor coefficients in the expansion of a related "centered" version of $\theta_3$. We prove several results about the numbers $d(n)$ and conjecture that they satisfy the congruence $d(n)\equiv (-1)^{n-1}\ (\textrm{mod }5)$ and other similar congruence relations.


title: The rank of $G$-crossed braided extensions of modular tensor categories

abstract: We give a short proof for a well-known formula for the rank of a $G$-crossed braided extension of a modular tensor category.


title: Effective Use of Synthetic Data for Urban Scene Semantic Segmentation

abstract: Training a deep network to perform semantic segmentation requires large amounts of labeled data. To alleviate the manual effort of annotating real images, researchers have investigated the use of synthetic data, which can be labeled automatically. Unfortunately, a network trained on synthetic data performs relatively poorly on real images. While this can be addressed by domain adaptation, existing methods all require having access to real images during training. In this paper, we introduce a drastically different way to handle synthetic images that does not require seeing any real images at training time. Our approach builds on the observation that foreground and background classes are not affected in the same manner by the domain shift, and thus should be treated differently. In particular, the former should be handled in a detection-based manner to better account for the fact that, while their texture in synthetic images is not photo-realistic, their shape looks natural. Our experiments evidence the effectiveness of our approach on Cityscapes and CamVid with models trained on synthetic data only.


title: Density estimation by Randomized Quasi-Monte Carlo

abstract: We consider the problem of estimating the density of a random variable $X$ that can be sampled exactly by Monte Carlo (MC). We investigate the effectiveness of replacing MC by randomized quasi Monte Carlo (RQMC) or by stratified sampling over the unit cube, to reduce the integrated variance (IV) and the mean integrated square error (MISE) for kernel density estimators. We show theoretically and empirically that the RQMC and stratified estimators can achieve substantial reductions of the IV and the MISE, and even faster convergence rates than MC in some situations, while leaving the bias unchanged. We also show that the variance bounds obtained via a traditional Koksma-Hlawka-type inequality for RQMC are much too loose to be useful when the dimension of the problem exceeds a few units. We describe an alternative way to estimate the IV, a good bandwidth, and the MISE, under RQMC or stratification, and we show empirically that in some situations, the MISE can be reduced significantly even in high-dimensional settings.


title: Universal behavior of the corners of Orbital Beta Processes

abstract: There is a unique unitarily-invariant ensemble of $N\times N$ Hermitian matrices with a fixed set of real eigenvalues $a_1 > \dots > a_N$. The joint eigenvalue distribution of the $(N - 1)$ top-left principal submatrices of a random matrix from this ensemble is called the orbital unitary process. There are analogous matrix ensembles of symmetric and quaternionic Hermitian matrices that lead to the orbital orthogonal and symplectic processes, respectively. By extrapolation, on the dimension of the base field, of the explicit density formulas, we define the orbital beta processes. We prove the universal behavior of the virtual eigenvalues of the smallest $m$ principal submatrices, when $m$ is independent of $N$ and in such a way that the rescaled empirical measures converge weakly. The limiting object is the Gaussian beta corners process. As a byproduct of our approach, we prove a theorem on the asymptotics of multivariate Bessel functions.


title: Stochastic Linearization of Multivariate Nonlinearities

abstract: Stochastic linearization is a method used in Quasilinear Control (QLC) to replace a nonlinearity by an equivalent gain and a bias, utilizing the statistical properties of random inputs. In this paper, the theory of stochastic linearization is extended to nonlinear functions of multiple variables or inputs forming a multivariate Gaussian vector. The result is applied to find the stochastic linearization of a bivariate saturation nonlinearity in a general feedback control system. The accuracy of stochastic linearization has been investigated by a Monte Carlo simulation and has been found out to be fairly high. Finally, a practical example of optimal control design using QLC is presented.


title: Visualizing Design Erosion: How Big Balls of Mud are Made

abstract: Software systems are not static, they have to undergo frequent changes to stay fit for purpose, and in the process of doing so, their complexity increases. It has been observed that this process often leads to the erosion of the systems design and architecture and with it, the decline of many desirable quality attributes, such as maintainability. This process can be captured in terms of antipatterns-atomic violations of widely accepted design principles. We present a visualisation that exposes the design of evolving Java programs, highlighting instances of selected antipatterns including their emergence and cancerous growth. This visualisation assists software engineers and architects in assessing, tracing and therefore combating design erosion. We evaluated the effectiveness of the visualisation in four case studies with ten participants.


title: Dark Matter Search in Nucleon, Pion, and Electron Channels from a Proton Beam Dump with MiniBooNE

abstract: A search for sub-GeV dark matter produced from collisions of the Fermilab 8 GeV Booster protons with a steel beam dump was performed by the MiniBooNE-DM Collaboration using data from $1.86 \times 10^{20}$ protons on target in a dedicated run. The MiniBooNE detector, consisting of 818 tons of mineral oil and located 490 meters downstream of the beam dump, is sensitive to a variety of dark matter initiated scattering reactions. Three dark matter interactions are considered for this analysis: elastic scattering off nucleons, inelastic neutral pion production, and elastic scattering off electrons. Multiple data sets were used to constrain flux and systematic errors, and time-of-flight information was employed to increase sensitivity to higher dark matter masses. No excess from the background predictions was observed, and 90$\%$ confidence level limits were set on the vector portal and leptophobic dark matter models. New parameter space is excluded in the vector portal dark matter model with a dark matter mass between 5 and 50$\,\mathrm{MeV}\,c^{-2}$. The reduced neutrino flux allowed to test if the MiniBooNE neutrino excess scales with the production of neutrinos. No excess of neutrino oscillation events were measured ruling out models that scale solely by number of protons on target independent of beam configuration at 4.6$\sigma$.


title: Generalized Lagrangian Path approach to manifestly-covariant quantum gravity theory

abstract: A trajectory-based representation for the quantum theory of the gravitational field is formulated. This is achieved in terms of a covariant Generalized Lagrangian-Path (GLP) approach which relies on a suitable statistical representation of Bohmian Lagrangian trajectories, referred to here as GLP-representation. The result is established in the framework of the manifestly-covariant quantum gravity theory (CQG-theory) proposed recently and the related CQG-wave equation advancing in proper-time the quantum state associated with massive gravitons. Generally non-stationary analytical solutions for the CQG-wave equation with non-vanishing cosmological constant are determined in such a framework, which exhibit Gaussian-like probability densities that are non-dispersive in proper-time. As a remarkable outcome of the theory achieved by implementing these analytical solutions, the existence of an emergent gravity phenomenon is proved to hold. Accordingly, it is shown that a mean-field background space-time metric tensor can be expressed in terms of a suitable statistical average of stochastic fluctuations of the quantum gravitational field whose quantum-wave dynamics is described by GLP trajectories.


title: Metal-insulator transition in the ground-state of the three-band Hubbard model at half-filling

abstract: The three-band Hubbard model is a fundamental model for understanding properties of the Copper-Oxygen planes in cuprate superconductors. We use cutting-edge auxiliary-field quantum Monte Carlo (AFQMC) methods to investigate ground state properties of the model in the parent compound. Large supercells combined with twist averaged boundary conditions are studied to reliably reach the thermodynamic limit. Benchmark quality results are obtained on the magnetic correlations and charge gap. A key parameter of this model is the charge-transfer energy $\Delta$ between the Oxygen p and the Copper d orbitals, which appears to vary significantly across different families of cuprates and whose ab initio determination is subtle. We show that the system undergoes a quantum phase transition from an antiferromagnetic insulator to a paramagnetic metal as $\Delta$ is lowered to 3 eV.


title: Solar Wind Turbulence Studies using MMS Fast Plasma Investigation Data

abstract: Studies of solar wind turbulence traditionally employ high-resolution magnetic field data, but high-resolution measurements of ion and electron moments have been possible only recently. We report the first turbulence studies of ion and electron velocity moments accumulated in pristine solar wind by the Fast Particle Investigation instrument onboard the Magnetospheric Multiscale (MMS) Mission. Use of these data is made possible by a novel implementation of a frequency domain Hampel filter, described herein. After presenting procedures for processing of the data, we discuss statistical properties of solar wind turbulence extending into the kinetic range. Magnetic field fluctuations dominate electron and ion velocity fluctuation spectra throughout the energy-containing and inertial ranges. However, a multi-spacecraft analysis indicates that at scales shorter than the ion-inertial length, electron velocity fluctuations become larger than ion velocity and magnetic field fluctuations. The kurtosis of ion velocity peaks around few ion-inertial lengths and returns to near gaussian value at sub-ion scales.


title: Space-time second-quantization effects and the quantum origin of cosmological constant in covariant quantum gravity

abstract: Space-time quantum contributions to the classical Einstein equations of General Relativity are determined. The theoretical background is provided by the non-perturbative theory of manifestly-covariant quantum gravity and the trajectory-based representation of the related quantum wave equation in terms of the Generalized Lagrangian path formalism. To reach the target an extended functional setting is introduced, permitting the treatment of a non-stationary background metric tensor allowed to depend on both space-time coordinates and a suitably-defined invariant proper-time parameter. Based on the Hamiltonian representation of the corresponding quantum hydrodynamic equations occurring in such a context, the quantum-modified Einstein field equations are obtained. As an application, the quantum origin of the cosmological constant is investigated. This is shown to be ascribed to the non-linear Bohm quantum interaction of the gravitational field with itself in vacuum and to depend generally also on the realization of the quantum probability density for the quantum gravitational field tensor. The emerging physical picture predicts a generally non-stationary quantum cosmological constant which originates from fluctuations (i.e., gradients) of vacuum quantum gravitational energy density and is consistent with the existence of quantum massive gravitons.


title: Introducing Quantum-Like Influence Diagrams for Violations of the Sure Thing Principle

abstract: It is the focus of this work to extend and study the previously proposed quantum-like Bayesian networks to deal with decision-making scenarios by incorporating the notion of maximum expected utility in influence diagrams. The general idea is to take advantage of the quantum interference terms produced in the quantum-like Bayesian Network to influence the probabilities used to compute the expected utility of some action. This way, we are not proposing a new type of expected utility hypothesis. On the contrary, we are keeping it under its classical definition. We are only incorporating it as an extension of a probabilistic graphical model in a compact graphical representation called an influence diagram in which the utility function depends on the probabilistic influences of the quantum-like Bayesian network. Our findings suggest that the proposed quantum-like influence digram can indeed take advantage of the quantum interference effects of quantum-like Bayesian Networks to maximise the utility of a cooperative behaviour in detriment of a fully rational defect behaviour under the prisoner's dilemma game.


title: Quickest Detection of Dynamic Events in Networks

abstract: The problem of quickest detection of dynamic events in networks is studied. At some unknown time, an event occurs, and a number of nodes in the network are affected by the event, in that they undergo a change in the statistics of their observations. It is assumed that the event is dynamic, in that it can propagate along the edges in the network, and affect more and more nodes with time. The event propagation dynamics is assumed to be unknown. The goal is to design a sequential algorithm that can detect a "significant" event, i.e., when the event has affected no fewer than $\eta$ nodes, as quickly as possible, while controlling the false alarm rate. Fully connected networks are studied first, and the results are then extended to arbitrarily connected networks. The designed algorithms are shown to be adaptive to the unknown propagation dynamics, and their first-order asymptotic optimality is demonstrated as the false alarm rate goes to zero. The algorithms can be implemented with linear computational complexity in the network size at each time step, which is critical for online implementation. Numerical simulations are provided to validate the theoretical results.


title: Longitudinal detection of radiological abnormalities with time-modulated LSTM

abstract: Convolutional neural networks (CNNs) have been successfully employed in recent years for the detection of radiological abnormalities in medical images such as plain x-rays. To date, most studies use CNNs on individual examinations in isolation and discard previously available clinical information. In this study we set out to explore whether Long-Short-Term-Memory networks (LSTMs) can be used to improve classification performance when modelling the entire sequence of radiographs that may be available for a given patient, including their reports. A limitation of traditional LSTMs, though, is that they implicitly assume equally-spaced observations, whereas the radiological exams are event-based, and therefore irregularly sampled. Using both a simulated dataset and a large-scale chest x-ray dataset, we demonstrate that a simple modification of the LSTM architecture, which explicitly takes into account the time lag between consecutive observations, can boost classification performance. Our empirical results demonstrate improved detection of commonly reported abnormalities on chest x-rays such as cardiomegaly, consolidation, pleural effusion and hiatus hernia.


title: Stability of fractional functional differential equations

abstract: In this paper, we present a study on the Ulam-Hyers and Ulam-Hyers-Rassias stabilities of the solution of the fractional functional differential equation using the Banach fixed point theorem.


title: Free field structure of the model with a spin-$\frac{3}{2}$ Rarita-Schwinger field directly coupled to a spin-$\frac{1}{2}$ field

abstract: In earlier work we introduced an abelianized gauge field model in which a Rarita-Schwinger field is directly coupled to a spin-$\frac{1}{2}$ field, and showed that this model admits a perturbative expansion in the gauge field coupling. As a preliminary to further study of the coupled model, in this paper we present a detailed analysis of the free field structure that obtains when the dimensionless gauge coupling is set to zero, but the dimension one coupling of the spin-$\frac{3}{2}$ and spin-$\frac{1}{2}$ fields remains nonzero.


title: Tracking Elections: our experience during the presidential elections in Ecuador

abstract: The world's digital transformation has influenced not only the way we do business, but also the way we perform daily activities. In fact, the past Presidential elections in the United States as well as those in Great Britain (Brexit) and in Colombia (peace agreement referendum) are proof that social media play an important part in modern politics. In fact, this digital political field is filled by political movements and political candidates looking for popular support (number of followers), regular citizens' messages discussing social issues (trending topics flooding social media), or even political propaganda in favor or against politicians or political movements (advertisement). One of the issues with social media in this era is the presence of automatic accounts (bots) that artificially fill accounts with fake followers, create false trending topics, and share fake news or simply flood the net with propaganda. All this artificial information may influence people and sometimes may even censor people's real opinions undermining their freedom of speech. In this paper, we propose a methodology to track elections and a set of tools used to collect and analyze election data. In particular, this paper discusses our experiences during the Presidential Elections in Ecuador held in 2017. In fact, we show how all candidates prepared an online campaign in social media (Twitter) and how the political campaign altered a common follower rate subscription. We discuss that the high presence of followers during the period between the first and second round of elections may be altered by automatic accounts. Finally, we use bot detection systems and gathered more than 30,000 political motivated bots. In our data analysis, we show that these bots were mainly used for propaganda purposes in favor or against a particular candidate.


title: Reply to the Comments on the 12C+12C fusion S^*-factor

abstract: The goal of this reply is to draw attention of the readers that the major problems rose in the short Comment authored by A.M. Mukhamedzhanov, X. Tang and D.Y. Pang (arXiv:1806.05921) are totally groundless.


title: Probably approximately correct learning of Horn envelopes from queries

abstract: We propose an algorithm for learning the Horn envelope of an arbitrary domain using an expert, or an oracle, capable of answering certain types of queries about this domain. Attribute exploration from formal concept analysis is a procedure that solves this problem, but the number of queries it may ask is exponential in the size of the resulting Horn formula in the worst case. We recall a well-known polynomial-time algorithm for learning Horn formulas with membership and equivalence queries and modify it to obtain a polynomial-time probably approximately correct algorithm for learning the Horn envelope of an arbitrary domain.