Search

Low-metallicity environments are subject to inefficient cooling. They also have low dust-to-gas ratios and therefore less efficient photoelectric (PE) heating than in solar-neighbourhood conditions, where PE heating is one of the most important heating processes in the warm neutral interstellar medium (ISM). We perform magneto-hydrodynamic simulations of stratified ISM patches with a gas metallicity of 0.02 Z$_\odot$ as part of the SILCC project. The simulations include non-equilibrium chemistry, heating, and cooling of the low-temperature ISM as well as anisotropic cosmic ray (CR) transport, and stellar tracks. We include stellar feedback in the form of far-UV and ionising (FUV and EUV) radiation, massive star winds, supernovae, and CR injection. From the local CR energy density, we compute a CR heating rate that is variable in space and time. In this way, we can compare the relative impact of PE and CR heating on the metal-poor ISM and find that CR heating can dominate over PE heating. Models with a uniform CR ionisation rate suppress or severely delay star formation, since they provide a larger amount of energy to the ISM due to CR heating. Models with a variable CR ionisation rate form stars predominantly in pristine regions with low PE heating and CR ionisation rates where the metal-poor gas is able to cool efficiently. Because of the low metallicity, the amount of formed stars in all runs is not enough to trigger outflows of gas from the mid-plane., Comment: submitted to MNRAS

We analyse synthetic maps of the [CII] 158 $\mu$m line and FIR continuum of simulated molecular clouds (MCs) within the SILCC-Zoom project to study the origin of the [CII] deficit, i.e., the drop in the [CII]/FIR intensity ratio. All simulations include stellar radiative feedback and account for further ionisation of C$^+$ into C$^{2+}$ inside HII regions. For individual HII regions, $I_\mathrm{FIR}$ is initially high in the vicinity of young stars, and then moderately decreases as the gas is compressed into shells. In contrast, $I_\mathrm{CII}$ drops strongly over time, to which the second ionisation of C$^+$ into C$^{2+}$ contributes. This leads to a large drop in $I_\mathrm{[CII]}/I_\mathrm{FIR}$ inside HII regions, decreasing from 10$^{-3}$-10$^{-2}$ at scales above 10 pc to 10$^{-6}$-10$^{-4}$ at scales below 2pc. However, projection effects can affect the radial profile of $I_\mathrm{[CII]}$ and $I_\mathrm{FIR}$ and create apparent HII regions without any stars. On MC scales, $L_\mathrm{[CII]}/L_\mathrm{FIR}$ decreases from values $\gtrsim$10$^{-2}$ in MCs without star formation to values around $\sim10^{-3}$ in MCs with star formation. We attribute this and the origin of the [CII] deficit to two main contributors: (i) the saturation of the [CII] line and (ii) the conversion of C$^+$ into C$^{2+}$ by stellar radiation. The drop in $L_\mathrm{[CII]}/L_\mathrm{FIR}$ can be divided into two phases: (i) early on, the saturation of [CII] and the further ionisation of C$^+$ limit the increase in $L_\mathrm{[CII]}$, while $L_\mathrm{FIR}$ increases rapidly, leading to the initial decline of $L_\mathrm{[CII]}/L_\mathrm{FIR}$. (ii) In more evolved HII regions, $L_\mathrm{CII}$ stagnates and even partially drops due to the aforementioned reasons. $L_\mathrm{FIR}$ stagnates as the gas gets pushed into the cooler shells keeping $L_\mathrm{[CII]}/L_\mathrm{FIR}$ at low values of $\sim10^{-3}$., Comment: 18 pages, 18 figures including appendix. Accepted for publication in A&A, updated to final version

Coherent differentiation was introduced by Ehrhard in order to generalize differential categories to a setting in which the sum is only partially defined, in order to account for the deterministic nature of most models of computation. This internship report proves that the deriving transformation of a differential category with a categorical product always induces a coherent differentiation. This ensures that coherent differentiation is indeed a generalization of differential categories.

Magnetic fields have been shown both observationally and through theoretical work to be an important factor in the formation of protostars and their accretion disks. Accurate modelling of the evolution of the magnetic field in low-ionization molecular cloud cores requires the inclusion of non-ideal magnetohydrodynamics (MHD) processes, specifically Ohmic and ambipolar diffusion and the Hall effect. These have a profound influence on the efficiency of magnetic removal of angular momentum from protostellar disks and simulations that include them can avoid the `magnetic-braking catastrophe' in which disks are not able to form. However, the impact of the Hall effect, in particular, is complex and remains poorly studied. In this work, we perform a large suite of simulations of the collapse of cloud cores to protostars with several non-ideal MHD chemistry models and initial core geometries using the moving-mesh code {\small AREPO}. We find that the efficiency of angular momentum removal is significantly reduced with respect to ideal MHD, in line with previous results. The Hall effect has a varied influence on the evolution of the disk which depends on the initial orientation of the magnetic field. This extends to the outflows seen in a subset of the models, where this effect can act to enhance or suppress them and open up new outflow channels. We conclude, in agreement with a subset of the previous literature, that the Hall effect is the dominant non-ideal MHD process in some collapse scenarios and thus should be included in simulations of protostellar disk formation., Comment: 23 pages, 20 Figures

We present magnetohydrodynamic simulations of star formation in the multiphase interstellar medium to quantify the impact of non-ionising far-ultraviolet (FUV) radiation. This study is carried out within the framework of the \textsc{Silcc Project}. It incorporates the radiative transfer of ionising radiation and self-consistent modelling of variable FUV radiation from star clusters. Near young star clusters, the interstellar radiation field (ISRF) can reach values of $G_0 \approx 10^4$ (in Habing units), far exceeding the canonical solar neighbourhood value of $G_0 = 1.7$. However, our findings suggest that FUV radiation has minimal impact on the integrated star formation rate compared to other feedback mechanisms such as ionising radiation, stellar winds, and supernovae. Only a slight decrease in star formation burstiness, related to increased photoelectric heating efficiency by the variable FUV radiation field, is detectable. Dust near star-forming regions can be heated up to 60 K via the photoelectric (PE) effect, showing a broad temperature distribution. PE heating rates for variable FUV radiation models show higher peak intensities but lower average heating rates than static ISRF models. Simulations of solar neighbourhood conditions without stellar winds or ionising radiation but with self-consistent ISRF and supernovae show high star formation rates $\sim10^{-1}\,\mathrm{M_\odot\,yr^{-1}\,kpc^{-2}}$, contradicting expectations. Our chemical analysis reveals increased cold neutral medium volume-filling factors (VFF) outside the vicinity of stellar clusters with a variable ISRF. Simultaneously, the thermally unstable gas is reduced, and a sharper separation of warm and cold gas phases is observed. The variable FUV field also promotes a diffuse molecular gas phase with VFF of $\sim5-10$~per cent., Comment: submitted to MNRAS

We present an analysis of the cold gas phase in a low metallicity starburst generated in a high-resolution hydrodynamical simulation of a gas-rich dwarf galaxy merger as part of the GRIFFIN project. The simulations resolve (4 M$_\odot$ gas phase mass resolution, $\sim$ 0.1 pc spatial resolution) the multi-phase interstellar medium with a non-equilibrium chemical heating/cooling network at temperatures below $10^4$ K. Massive stars are sampled individually and interact with the ISM through the formation of HII regions and supernova explosions. In the extended starburst phase, the ISM is dominated by cold ($T_\mathrm{gas} < 300$ K) filamentary clouds with self-similar internal structures. The clouds have masses of $10^{2.6}$ - $10^{5.6}$ M$_\odot$ with a power law mass function, $dN/dM \propto M^\alpha$ with $\alpha = -1.78 (\pm 0.08)$. They also follow the Larson relations, in good agreement with observations. We trace the lifecycle of the cold clouds and find that they follow an exponential lifetime distribution and an e-folding time of $\sim$ 3.5 Myr. Clouds with peak masses below $10^4$ M$_\odot$ follow a power law relation with their average lifetime $\tau_\mathrm{life} \propto M^{0.3}_\mathrm{max}$ which flattens out for higher cloud masses at $ < 10$ Myr. A similar relation exists between cloud size at peak mass and lifetime. This simulation of the evolution of a realistic galactic cold cloud population supports the rapid formation and disruption of star-forming clouds by stellar radiation and supernovae on a timescale less than 10 Myr., Comment: Accepted for publication in the Monthly Notices of the Royal Astronomical Society Main Journal

We use data from the ALMA Evolutionary Study of High Mass Protocluster Formation in the Galaxy (ALMAGAL) survey to study 100 ALMAGAL regions at $\sim$ 1 arsecond resolution located between $\sim$ 2 and 6 kpc distance. Using ALMAGAL $\sim$ 1.3mm line and continuum data we estimate flow rates onto individual cores. We focus specifically on flow rates along filamentary structures associated with these cores. Our primary analysis is centered around position velocity cuts in H$_2$CO (3$_{0,3}$ - 2$_{0,2}$) which allow us to measure the velocity fields, surrounding these cores. Combining this work with column density estimates we derive the flow rates along the extended filamentary structures associated with cores in these regions. We select a sample of 100 ALMAGAL regions covering four evolutionary stages from quiescent to protostellar, Young Stellar Objects (YSOs), and HII regions (25 each). Using dendrogram and line analysis, we identify a final sample of 182 cores in 87 regions. In this paper, we present 728 flow rates for our sample (4 per core), analysed in the context of evolutionary stage, distance from the core, and core mass. On average, for the whole sample, we derive flow rates on the order of $\sim$10$^{-4}$ M$_{sun}$yr$^{-1}$ with estimated uncertainties of $\pm$50%. We see increasing differences in the values among evolutionary stages, most notably between the less evolved (quiescent/protostellar) and more evolved (YSO/HII region) sources. We also see an increasing trend as we move further away from the centre of these cores. We also find a clear relationship between the flow rates and core masses $\sim$M$^{2/3}$ which is in line with the result expected from the tidal-lobe accretion mechanism. Overall, we see increasing trends in the relationships between the flow rate and the three investigated parameters; evolutionary stage, distance from the core, and core mass., Comment: 11 pages, 11 figures, accepted for publication in A&A

We present new JWST observations of the nearby, prototypical edge-on, spiral galaxy NGC 891. The northern half of the disk was observed with NIRCam in its F150W and F277W filters. Absorption is clearly visible in the mid-plane of the F150W image, along with vertical dusty plumes that closely resemble the ones seen in the optical. A $\sim 10 \times 3~{\rm kpc}^2$ area of the lower circumgalactic medium (CGM) was mapped with MIRI F770W at 12 pc scales. Thanks to the sensitivity and resolution of JWST, we detect dust emission out to $\sim 4$ kpc from the disk, in the form of filaments, arcs, and super-bubbles. Some of these filaments can be traced back to regions with recent star formation activity, suggesting that feedback-driven galactic winds play an important role in regulating baryonic cycling. The presence of dust at these altitudes raises questions about the transport mechanisms at play and suggests that small dust grains are able to survive for several tens of million years after having been ejected by galactic winds in the disk-halo interface. We lay out several scenarios that could explain this emission: dust grains may be shielded in the outer layers of cool dense clouds expelled from the galaxy disk, and/or the emission comes from the mixing layers around these cool clumps where material from the hot gas is able to cool down and mix with these cool cloudlets. This first set of data and upcoming spectroscopy will be very helpful to understand the survival of dust grains in energetic environments, and their contribution to recycling baryonic material in the mid-plane of galaxies., Comment: Accepted for publication in Astronomy & Astrophysics; 16 pages, 8 figures

Molecular clouds (MCs) are the birthplaces of new stars in galaxies. A key component of MCs are photodissociation regions (PDRs), where far-ultraviolet radiation plays a crucial role in determining the gas's physical and chemical state. Traditional PDR models assume chemical steady state (CSS), where the rates of H$_2$ formation and photodissociation are balanced. However, real MCs are dynamic and can be out of CSS. In this study, we demonstrate that combining H$_2$ emission lines observed in the far-ultraviolet or infrared with column density observations can be used to derive the rates of H$_2$ formation and photodissociation. We derive analytical formulae that relate these rates to observable quantities, which we validate using synthetic H$_2$ line emission maps derived from the SILCC-Zoom hydrodynamical simulation. Our method estimates integrated H$_2$ formation and dissociation rates to within 29\% accuracy. Our simulations cover a wide dynamic range in H$_2$ formation and photodissociation rates, showing significant deviations from CSS, with 74\% of the MC's mass deviating from CSS by a factor greater than 2. Our analytical formulae can effectively distinguish between regions in and out of CSS. When applied to actual H$_2$ line observations, our method can assess the chemical state of MCs, providing insights into their evolutionary stages and lifetimes., Comment: Submitted to ApJ. **Comments Welcome!** This paper is the first ("Paper-I") in 2-paper series. Paper II, entitled "The Molecular Cloud Lifecycle II: Formation and Destruction of Molecular Clouds Diagnosed via H 2 Fluorescent Emission Emission" by Burkhart et al has been recently accepted for publication in ApJ, and may be found here: arXiv:2402.01587

Building Information Modeling (BIM) describes a central data pool covering the entire life cycle of a construction project. Similarly, Building Energy Modeling (BEM) describes the process of using a 3D representation of a building as a basis for thermal simulations to assess the building's energy performance. This paper explores the intersection of BIM and BEM, focusing on the challenges and methodologies in converting BIM data into BEM representations for energy performance analysis. BEMTrace integrates 3D data wrangling techniques with visualization methodologies to enhance the accuracy and traceability of the BIM-to-BEM conversion process. Through parsing, error detection, and algorithmic correction of BIM data, our methods generate valid BEM models suitable for energy simulation. Visualization techniques provide transparent insights into the conversion process, aiding error identification, validation, and user comprehension. We introduce context-adaptive selections to facilitate user interaction and to show that the BEMTrace workflow helps users understand complex 3D data wrangling processes., Comment: 9 pages and 2 pages references, 12 figures

Extended [CII] emission on tens of kpc, also known as a [CII] halo, is being currently reported around z$\sim$4-6 star-forming galaxies, especially thanks to the statistics of the ALPINE survey. The [CII] emission is expected to trace dense cold gas in the inner CGM of these galaxies. The origin of this emission is still debated. In this paper, we present a post-processing model applied to Illustris-TNG50 star-forming galaxies at $z\sim$4-6, and we compare our results with the ALPINE observations. By incorporating C$^{+}$ abundances derived from UV background and young stars as radiation sources, we generate mock observations, from which we extract surface-brightness (SB) profiles. We found that our model predicts similar [CII] emission values on galactic scales as the observations, providing validation for our approach. However, we find that the predicted [CII] emission in the inner circumgalactic medium (CGM) falls below the observed values by a factor of $\sim$10. We discuss several model limitations that may contribute to this discrepancy. We also find discrepancies with observations when comparing SB profiles of low and high-SFR galaxies. Unlike the observations, simulations exhibit no discernible difference in the extended [CII] emission between the two subsamples. This discrepancy may reflect shortcomings in feedback model of the simulation. Finally, our analysis suggests that the extended [CII] emission is likely a result of both gas from satellite galaxies and outflows from central galaxies, with satellites playing a dominant role within 0.6$<$R/R$_{\rm vir}<$1. A firm estimate of the importance of each contribution is beyond the scope of the current simulations., Comment: Accepted on July 23, A&A. 17 pages, 16 figures

Recommender systems are an integral part of online platforms that recommend new content to users with similar interests. However, they demand a considerable amount of user activity data where, if the data is not adequately protected, constitute a critical threat to the user privacy. Privacy-aware recommender systems enable protection of such sensitive user data while still maintaining a similar recommendation accuracy compared to the traditional non-private recommender systems. However, at present, the current privacy-aware recommender systems suffer from a significant trade-off between privacy and computational efficiency. For instance, it is well known that architectures that rely purely on cryptographic primitives offer the most robust privacy guarantees, however, they suffer from substantial computational and network overhead. Thus, it is crucial to improve this trade-off for better performance. This paper presents a novel privacy-aware recommender system that combines privacy-aware machine learning algorithms for practical scalability and efficiency with cryptographic primitives like Homomorphic Encryption and Multi-Party Computation - without assumptions like trusted-party or secure hardware - for solid privacy guarantees. Experiments on standard benchmark datasets show that our approach results in time and memory gains by three orders of magnitude compared to using cryptographic primitives in a standalone for constructing a privacy-aware recommender system. Furthermore, for the first time our method makes it feasible to compute private recommendations for datasets containing 100 million entries, even on memory-constrained low-power SOC (System on Chip) devices.

In this work we tackle privacy concerns in biometric verification systems that typically require server-side processing of sensitive data (e.g., fingerprints and Iris Codes). Concretely, we design a solution that allows us to query whether a given Iris Code is similar to one contained in a given database, while all queries and datasets are being protected using secure multiparty computation (MPC). Addressing the substantial performance demands of operational systems like World ID and aid distributions by the Red Cross, we propose new protocols to improve performance by more than three orders of magnitude compared to the recent state-of-the-art system Janus (S&P 24). Our final protocol can achieve a throughput of over 690 thousand Iris Code comparisons per second on a single CPU core, while protecting the privacy of both the query and database Iris Codes. Furthermore, using Nvidia NCCL we implement the whole protocol on GPUs while letting GPUs directly access the network interface. Thus we are able to avoid the costly data transfer between GPUs and CPUs, allowing us to achieve a throughput of 4.29 billion Iris Code comparisons per second in a 3-party MPC setting, where each party has access to 8 H100 GPUs. This GPU implementation achieves the performance requirements set by the Worldcoin foundation and will thus be used in their deployed World ID infrastructure.

Molecular hydrogen (H$_2$) formation and dissociation are key processes that drive the gas lifecycle in galaxies. Using the SImulating the LifeCycle of Molecular Clouds (SILCC) zoom-in simulation suite, we explore the utility of future observations of H$_2$ dissociation and formation for tracking the lifecycle of molecular clouds. The simulations used in this work include non-equilibrium H$_2$ formation, stellar radiation, sink particles, and turbulence. We find that, at early times in the cloud evolution, H$_2$ formation rapidly outpaces dissociation and molecular clouds build their mass from the atomic reservoir in their environment. Rapid H$_2$ formation is also associated with a higher early star formation rate. For the clouds studied here, H$_2$ is strongly out of chemical equilibrium during the early stages of cloud formation but settles into a bursty chemical steady-state about 2 Myrs after the first stars form. At the latest stage of cloud evolution, dissociation outweighs formation and the clouds enter a dispersal phase. We discuss how theories for the molecular cloud lifecycle and the star formation efficiency may be distinguished with observational measurements of H$_2$ fluorescence with a space-based high-resolution FUV spectrometer, such as the proposed Hyperion and Eos NASA Explorer missions. Such missions would enable measurements of the H$_2$ dissociation and formation rates, which we demonstrate can be connected to different phases in a molecular cloud's star-forming life, including cloud building, rapidly star-forming, H$_2$ chemical equilibrium, and cloud destruction., Comment: Submitted to ApJ, comments welcome

We present an analysis of the outer Galaxy giant molecular filament (GMF) G214.5-1.8 (G214.5) using IRAM 30m data of $^{12}$CO, $^{13}$CO and C$^{18}$O. We find that the $^{12}$CO (1-0) and (2-1) derived excitation temperatures are near identical and are very low, with a median of 8.2 K, showing that the gas is extremely cold across the whole cloud. Investigating the abundance of $^{13}$CO across G214.5, we find that there is a significantly lower abundance along the entire 13 pc spine of the filament, extending out to a radius of $\sim 0.8$ pc, corresponding to $A_v \gtrsim 2$ mag and $T_{dust} \lesssim 13.5$ K. Due to this, we attribute the decrease in abundance to CO freeze-out, making G214.5 the largest scale example of freeze-out yet. We construct an axisymmetric model of G214.5's $^{13}$CO volume density considering freeze-out and find that to reproduce the observed profile significant depletion is required beginning at low volume densities, $n\gtrsim2000$ cm$^{-3}$. Freeze-out at this low number density is possible only if the cosmic-ray ionisation rate is $\sim 1.9 \times 10^{-18}$ s$^{-1}$, an order of magnitude below the typical value. Using timescale arguments, we posit that such a low ionisation rate may lead to ambipolar diffusion being an important physical process along G214.5's entire spine. We suggest that if low cosmic-ray ionisation rates are more common in the outer Galaxy, and other quiescent regions, cloud-scale CO freeze-out occurring at low column and number densities may also be more prevalent, having consequences for CO observations and their interpretation., Comment: Accepted in MNRAS, 20 pages, 18 figures

In this work we extend previous theoretical works to gain a better understanding of the origin of recently observed polarisation degree spectra of molecular clouds, which show a so-called V-shape, i.e. a pronounced minimum around 350 $\mu$m. For this purpose, we present results of semi-analytical dust polarisation models. We benchmark our model against dust polarisation radiative transfer calculations performed with POLARIS. We show that V-shaped polarisation spectra can only be obtained if two dust phases, one dense and cold and one warm and dilute phase, are present along the line of sight. In contrast to previous results, no correlation between the alignment efficiency of silicate grains and the dust temperature is required; carbon grains are assumed to be not aligned with the magnetic field. We find that the V-shape is the stronger pronounced the larger the density and temperature contrast between both phases is. Moreover, the destruction of carbon grains by UV radiation in the warm and dilute phase leads to a significantly more pronounced V-shape in the polarisation spectrum. Reducing the alignment efficiency in the cold and dense phase also results in a more pronounced V-shape, its effect, however, is smaller than that of the UV-induced carbon grain destruction. Furthermore, we present a first, self-consistent polarisation spectrum obtained from a 3D, magneto-hydrodynamical molecular cloud simulation. The spectrum matches well with our semi-analytical prediction demonstrating the potential of such complex 3D simulations to study polarisation spectra. Comparing our model results with actual observations indicates that carbon grain destruction in illuminated regions might be required to match these observations. Reducing the alignment efficiency of silicate grains in the cold and dense phase would further improve the match between both data, however, it appears to not be a necessity., Comment: 15 pages including appendix, 11 figures, submitted to A&A, comments are welcome

We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive.The main idea consists in extending summability into an infinitary functor which intuitively maps any object to the object of its countable summable families.This functor is endowed with a canonical structure of bimonad.In a linear logical categorical setting, Taylor expansion is then axiomatized as a distributive law between this summability functor and the resource comonad (aka.~exponential), allowing to extend the summability functor into a bimonad on the Kleisli category of the resource comonad: this extended functor computes the Taylor expansion of the (nonlinear) morphisms of the Kleisli category.We also show how this categorical axiomatizations of Taylor expansion can be generalized to arbitrary cartesian categories, leading to a general theory of Taylor expansion formally similar to that of differential cartesian categories, although it does not require the underlying cartesian category to be left additive.We provide several examples of concrete categories which arise in denotational semantics and feature such analytic structures.

To what extent magnetic fields affect how molecular clouds (MCs) fragment and create dense structures is an open question. We present a numerical study of cloud fragmentation using the SILCC-Zoom simulations. These simulations follow the self-consistent formation of MCs in a few hundred parsec sized region of a stratified galactic disc; and include magnetic fields, self-gravity, supernova-driven turbulence, as well as a non-equilibrium chemical network. To discern the role of magnetic fields in the evolution of MCs, we study seven simulated clouds, five with magnetic fields, and two without, with a maximum resolution of 0.1 parsec. Using a dendrogram we identify hierarchical structures which form within the clouds. Overall, the magnetised clouds have more mass in a diffuse envelope with a number density between 1-100 cm$^{-3}$. We find that six out of seven clouds are sheet-like on the largest scales, as also found in recent observations, and with filamentary structures embedded within, consistent with the bubble-driven MC formation mechanism. Hydrodynamic simulations tend to produce more sheet-like structures also on smaller scales, while the presence of magnetic fields promotes filament formation. Analysing cloud energetics, we find that magnetic fields are dynamically important for less dense, mostly but not exclusively atomic structures (typically up to $\sim 100 - 1000$~cm$^{-3}$), while the denser, potentially star-forming structures are energetically dominated by self-gravity and turbulence. In addition, we compute the magnetic surface term and demonstrate that it is generally confining, and some atomic structures are even magnetically held together. In general, magnetic fields delay the cloud evolution and fragmentation by $\sim$ 1 Myr., Comment: 21 pages, 13 figures, accepted for publication in MNRAS

Supernovae (SNe) inject $\sim 10^{51}$ erg in the interstellar medium, thereby shocking and heating the gas. A substantial fraction of this energy is later lost via radiative cooling. We present a post-processing module for the FLASH code to calculate the cooling radiation from shock-heated gas using collisional excitation data from MAPPINGS V. When applying this tool to a simulated SN remnant (SNR), we find that most energy is emitted in the EUV. However, optical emission lines ($[$O III$]$, $[$N II$]$, $[$S II$]$, H${\alpha}$, H${\beta}$) are usually best observable. Our shock detection scheme shows that [S II] and [N II] emissions arise from the thin shell surrounding the SNR, while [O III], H$\rm \alpha$, and H$\rm \beta$ originate from the volume-filling hot gas inside the SNR bubble. We find that the optical emission lines are affected by the SNR's complex structure and its projection onto the plane of the sky because the escaping line luminosity can be reduced by 10 -- 80\% due to absorption along the line-of-sight. Additionally, the subtraction of contaminating background radiation is required for the correct classification of an SNR on the oxygen or sulphur BPT diagrams. The electron temperature and density obtained from our synthetic observations match well with the simulation but are very sensitive to the assumed metallicity., Comment: 18 pages, 13 figures, accepted for publication in MNRAS

Reconstructing geometric shapes from point clouds is a common task that is often accomplished by experts manually modeling geometries in CAD-capable software. State-of-the-art workflows based on fully automatic geometry extraction are limited by point cloud density and memory constraints, and require pre- and post-processing by the user. In this work, we present a framework for interactive, user-driven, feature-assisted geometry reconstruction from arbitrarily sized point clouds. Based on seeded region-growing point cloud segmentation, the user interactively extracts planar pieces of geometry and utilizes contextual suggestions to point out plane surfaces, normal and tangential directions, and edges and corners. We implement a set of feature-assisted tools for high-precision modeling tasks in architecture and urban surveying scenarios, enabling instant-feedback interactive point cloud manipulation on large-scale data collected from real-world building interiors and facades. We evaluate our results through systematic measurement of the reconstruction accuracy, and interviews with domain experts who deploy our framework in a commercial setting and give both structured and subjective feedback., Comment: 13 pages, submitted to Computers & Graphics Journal

We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial left-additive structure on the category. Additional functoriality and naturality assumptions on this summability structure implement a differential calculus which can also be presented in a formalism close to Blute, Cockett and Seely's Cartesian differential categories. We show that a simple term language equipped with a natural notion of differentiation can easily be interpreted in such a category., Comment: This article is a long version of a paper, with the same title and by the same authors, accepted at the ACM/IEEE Symposium on Logic in Computer Science 2023