Revisiting KELT-19Ab, WASP-156b, and WASP-121b in the TESS Era

We present a re-analysis of transit depths of KELT-19Ab, WASP-156b, and WASP-121b, including data from the Transiting Exoplanet Survey Satellite (TESS). The large ∼21″ TESS pixels and point-spread function result in significant contamination of the stellar flux by nearby objects. We use Gaia data to fit for and remove this contribution, providing general-purpose software for this correction. We find all three sources have a larger inclination, compared to earlier work. For WASP-121b, we find significantly smaller values (13.°5) of the inclination when using the 30 minute cadence data compared to the 2 minute cadence data. Using simulations, we demonstrate that the radius ratio of exoplanet to star (R p /R *) is biased small relative to data taken with a larger sampling interval although oversampling corrections mitigate the bias. This is particularly important for deriving subpercent transit differences between bands. We find the radius ratio of exoplanet to star (R p /R *) in the TESS band is 7.5σ smaller than previous work for KELT-19Ab, but consistent to within ∼2σ for WASP-156b and WASP-121b. The difference could be due to specific choices in the analysis, not necessarily due to the presence of atmospheric features. The result for KELT-19Ab possibly favors a haze-dominated atmosphere. We do not find evidence for the ∼0.95 μm water feature contaminating transit depths in the TESS band for these stars but show that with photometric precision of 500 ppm and with a sampling of about 200 observations across the entire transit, this feature could be detectable in a more narrow z-band.

SpaceSheets: Design Experimentation in Latent Space

<p>Computational design tools enable designers to construct and manipulate representations of design artifacts to arrive at a solution. However, the constraints of deterministic programming impose a high cost of tedium and inflexibility to exploring design alternatives through these models. They require designers to express high-level design intent through sequences of low-level operations. Generative neural networks are able to construct generalised models of images which capture principles implicit within them. The latent spaces of these models can be sampled to create novel images and to perform semantic operations. This presents the opportunity for more meaningful and efficient design experimentation, where designers are able to express design intent through principles inferred by the model, instead of sequences of low-level operations. A general purpose software prototype has been devised and evaluated to investigate the affordances of such a tool. This software — termed a SpaceSheet — takes the form of a spreadsheet interface and enables users to explore a latent space of fonts. User testing and observation of task-based evaluations revealed that the tool enabled a novel top-down approach to design experimentation. This mode of working required a new set of skills for users to derive meaning and navigate within the model effectively. Despite this, a rudimentary understanding was observed to be sufficient to enable designers and non-designers alike to explore design possibilities more effectively.</p>

SpaceSheets: Design Experimentation in Latent Space

<p>Computational design tools enable designers to construct and manipulate representations of design artifacts to arrive at a solution. However, the constraints of deterministic programming impose a high cost of tedium and inflexibility to exploring design alternatives through these models. They require designers to express high-level design intent through sequences of low-level operations. Generative neural networks are able to construct generalised models of images which capture principles implicit within them. The latent spaces of these models can be sampled to create novel images and to perform semantic operations. This presents the opportunity for more meaningful and efficient design experimentation, where designers are able to express design intent through principles inferred by the model, instead of sequences of low-level operations. A general purpose software prototype has been devised and evaluated to investigate the affordances of such a tool. This software — termed a SpaceSheet — takes the form of a spreadsheet interface and enables users to explore a latent space of fonts. User testing and observation of task-based evaluations revealed that the tool enabled a novel top-down approach to design experimentation. This mode of working required a new set of skills for users to derive meaning and navigate within the model effectively. Despite this, a rudimentary understanding was observed to be sufficient to enable designers and non-designers alike to explore design possibilities more effectively.</p>

Finding Software Bugs in Embedded Devices

The goal of this chapter is to introduce the reader to the domain of bug discovery in embedded systems which are at the core of the Internet of Things. Embedded software has a number of particularities which makes it slightly different to general purpose software. In particular, embedded devices are more exposed to software attacks but have lower defense levels and are often left unattended. At the same time, analyzing their security is more difficult because they are very “opaque”, while the execution of custom and embedded software is often entangled with the hardware and peripherals. These differences have an impact on our ability to find software bugs in such systems. This chapter discusses how software vulnerabilities can be identified, at different stages of the software life-cycle, for example during development, during integration of the different components, during testing, during the deployment of the device, or in the field by third parties.

Feshbach-Fano Approach for Calculation of Auger Decay Rates Using Equation-of-Motion Coupled-Cluster Wave Functions: Theory and Implementation

<p>We present a novel methodology to calculate Auger decay rates based on equation-of -motion coupled-cluster singles and doubles (EOM-CCSD) wave function, combined with a simplified continuum orbital describing the outgoing electron. In our approach the Auger process is considered as an autoionization of a resonant electronic state, which can be described with Feshbach-Fano projection technique in order to distill the resonance parameters. To this end, we employ core-valence separation (CVS) scheme as a method to extract the bound part of the decaying many-electronic state. Main advantages of our methodology include (1) flexible EOM-CCSD ansatz enabling to describe various electronic states, (2) simple, yet universal computational setup, (3) fast computations due to fully analytical evaluation of all mixed bound-continuum two-electron integrals, and (4) implementation in general-purpose software package for quantum-chemical calculations.</p>

Feshbach-Fano Approach for Calculation of Auger Decay Rates Using Equation-of-Motion Coupled-Cluster Wave Functions: Theory and Implementation

<p>We present a novel methodology to calculate Auger decay rates based on equation-of -motion coupled-cluster singles and doubles (EOM-CCSD) wave function, combined with a simplified continuum orbital describing the outgoing electron. In our approach the Auger process is considered as an autoionization of a resonant electronic state, which can be described with Feshbach-Fano projection technique in order to distill the resonance parameters. To this end, we employ core-valence separation (CVS) scheme as a method to extract the bound part of the decaying many-electronic state. Main advantages of our methodology include (1) flexible EOM-CCSD ansatz enabling to describe various electronic states, (2) simple, yet universal computational setup, (3) fast computations due to fully analytical evaluation of all mixed bound-continuum two-electron integrals, and (4) implementation in general-purpose software package for quantum-chemical calculations.</p>

FeynOnium: using FeynCalc for automatic calculations in Nonrelativistic Effective Field Theories

We present new results on FeynOnium, an ongoing project to develop a general purpose software toolkit for semi-automatic symbolic calculations in nonrelativistic Effective Field Theories (EFTs). Building upon FeynCalc, an existing Mathematica package for symbolic evaluation of Feynman diagrams, we have created a powerful framework for automatizing calculations in nonrelativistic EFTs (NREFTs) at tree- and 1-loop level. This is achieved by exploiting the novel features of FeynCalc that support manipulations of Cartesian tensors, Pauli matrices and nonstandard loop integrals. Additional operations that are common in nonrelativistic EFT calculations are implemented in a dedicated add-on called FeynOnium. While our current focus is on EFTs for strong interactions of heavy quarks, extensions to other systems that admit a nonrelativistic EFT description are planned for the future. All our codes are open-source and publicly available. Furthermore, we provide several example calculations that demonstrate how FeynOnium can be employed to reproduce known results from the literature.

Translation and Technology: Investigating the Employment of Computer-aided Translation (CAT) Tools among Iranian Freelance Translators

The present study aimed to investigate the employment of computer-aided translation (CAT) tools among Iranian freelance translators. Fulford and Granell-Zafra (2005) proposed a model encompassing both information and communications technology (ICT) and CAT tools to support a large number of activities, including document production, information search and retrieval, communications, business management, marketing and work procurement, and translation creation. CAT tools are employed to support document production, business management, and translation creation; and ICT tools are used to support the rest. A questionnaire was used for data collection from Iranian freelancers. As the results indicated, Iranian freelance translators were more interested to employ general-purpose software applications, such as word processing programs and presentation software, whereas they showed less interest in the employment of special-purpose software, such as accounting packages and database software. Moreover, most participants approved the effectiveness of CAT tools in their work.