Showing 1–13 of 13 results for author: Riener, M

Automated Instantiation of Control Flow Tracing Exercises

Authors: Clemens Eisenhofer, Martin Riener

Abstract: One of the first steps in learning how to program is reading and tracing existing code. In order to avoid the error-prone task of generating variations of a tracing exercise, our tool Tatsu generates instances of a given code skeleton automatically. This is achieved by a finite unwinding of the program in the style of bounded model checking and using the SMT solver Z3 to find models for this unwin… ▽ More One of the first steps in learning how to program is reading and tracing existing code. In order to avoid the error-prone task of generating variations of a tracing exercise, our tool Tatsu generates instances of a given code skeleton automatically. This is achieved by a finite unwinding of the program in the style of bounded model checking and using the SMT solver Z3 to find models for this unwinded program. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Comments: In Proceedings ThEdu'21, arXiv:2202.02144

Journal ref: EPTCS 354, 2022, pp. 43-58

The "Maggie" filament: Physical properties of a giant atomic cloud

Authors: J. Syed, J. D. Soler, H. Beuther, Y. Wang, S. Suri, J. D. Henshaw, M. Riener, S. Bialy, S. Rezaei Kh., J. M. Stil, P. F. Goldsmith, M. R. Rugel, S. C. O. Glover, R. S. Klessen, J. Kerp, J. S. Urquhart, J. Ott, N. Roy, N. Schneider, R. J. Smith, S. N. Longmore, H. Linz

Abstract: The atomic phase of the interstellar medium plays a key role in the formation process of molecular clouds. Due to the line-of-sight confusion in the Galactic plane that is associated with its ubiquity, atomic hydrogen emission has been challenging to study. Employing the high-angular resolution data from the THOR survey, we identify one of the largest, coherent, mostly atomic HI filaments in the M… ▽ More The atomic phase of the interstellar medium plays a key role in the formation process of molecular clouds. Due to the line-of-sight confusion in the Galactic plane that is associated with its ubiquity, atomic hydrogen emission has been challenging to study. Employing the high-angular resolution data from the THOR survey, we identify one of the largest, coherent, mostly atomic HI filaments in the Milky Way at the line-of-sight velocities around -54 km/s. The giant atomic filament "Maggie", with a total length of 1.2 kpc, is not detected in most other tracers, and does not show signs of active star formation. At a kinematic distance of 17 kpc, Maggie is situated below (by 500 pc) but parallel to the Galactic HI disk and is trailing the predicted location of the Outer Arm by 5-10 km/s in longitude-velocity space. The centroid velocity exhibits a smooth gradient of less than $\pm$3 km/s /10 pc and a coherent structure to within $\pm$6 km/s. The line widths of 10 km/s along the spine of the filament are dominated by non-thermal effects. After correcting for optical depth effects, the mass of Maggie's dense spine is estimated to be $7.2\times10^5\,M_{\odot}$. The mean number density of the filament is 4$\rm\,cm^{-3}$, which is best explained by the filament being a mix of cold and warm neutral gas. In contrast to molecular filaments, the turbulent Mach number and velocity structure function suggest that Maggie is driven by transonic to moderately supersonic velocities that are likely associated with the Galactic potential rather than being subject to the effects of self-gravity or stellar feedback. The column density PDF displays a log-normal shape around a mean of $N_{\rm HI} = 4.8\times 10^{20}\rm\,cm^{-2}$, thus reflecting the absence of dominating effects of gravitational contraction. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 19 pages, 17 figures, accepted for publication in A&A

Journal ref: A&A 657, A1 (2022)

The SEDIGISM survey: first data release and overview of the Galactic structure

Authors: F. Schuller, J. S. Urquhart, T. Csengeri, D. Colombo, A. Duarte-Cabral, M. Mattern, A. Ginsburg, A. R. Pettitt, F. Wyrowski, L. Anderson, F. Azagra, P. Barnes, M. Beltran, H. Beuther, S. Billington, L. Bronfman, R. Cesaroni, C. Dobbs, D. Eden, M. -Y. Lee, S. -N. X. Medina, K. M. Menten, T. Moore, F. M. Montenegro-Montes, S. Ragan , et al. (35 additional authors not shown)

Abstract: The SEDIGISM (Structure, Excitation and Dynamics of the Inner Galactic Interstellar Medium) survey used the APEX telescope to map 84 deg^2 of the Galactic plane between l = -60 deg and l = +31 deg in several molecular transitions, including 13CO(2-1) and C18O(2-1), thus probing the moderately dense (~10^3 cm^-3) component of the interstellar medium. With an angular resolution of 30'' and a typical… ▽ More The SEDIGISM (Structure, Excitation and Dynamics of the Inner Galactic Interstellar Medium) survey used the APEX telescope to map 84 deg^2 of the Galactic plane between l = -60 deg and l = +31 deg in several molecular transitions, including 13CO(2-1) and C18O(2-1), thus probing the moderately dense (~10^3 cm^-3) component of the interstellar medium. With an angular resolution of 30'' and a typical 1-sigma sensitivity of 0.8-1.0 K at 0.25 km/s velocity resolution, it gives access to a wide range of structures, from individual star-forming clumps to giant molecular clouds and complexes. The coverage includes a good fraction of the first and fourth Galactic quadrants, allowing us to constrain the large scale distribution of cold molecular gas in the inner Galaxy. In this paper we provide an updated overview of the full survey and the data reduction procedures used. We also assess the quality of these data and describe the data products that are being made publicly available as part of this first data release (DR1). We present integrated maps and position-velocity maps of the molecular gas and use these to investigate the correlation between the molecular gas and the large scale structural features of the Milky Way such as the spiral arms, Galactic bar and Galactic centre. We find that approximately 60 per cent of the molecular gas is associated with the spiral arms and these appear as strong intensity peaks in the derived Galactocentric distribution. We also find strong peaks in intensity at specific longitudes that correspond to the Galactic centre and well known star forming complexes, revealing that the 13CO emission is concentrated in a small number of complexes rather than evenly distributed along spiral arms. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: MNRAS, in press

The SEDIGISM survey: Molecular clouds in the inner Galaxy

Authors: A. Duarte-Cabral, D. Colombo, J. S. Urquhart, A. Ginsburg, D. Russeil, F. Schuller, L. D. Anderson, P. J. Barnes, M. T. Beltran, H. Beuther, S. Bontemps, L. Bronfman, T. Csengeri, C. L. Dobbs, D. Eden, A. Giannetti, J. Kauffmann, M. Mattern, S. -N. X. Medina, K. M. Menten, M. -Y. Lee, A. R. Pettitt, M. Riener, A. J. Rigby, A. Trafficante , et al. (35 additional authors not shown)

Abstract: We use the 13CO(2-1) emission from the SEDIGISM high-resolution spectral-line survey of the inner Galaxy, to extract the molecular cloud population with a large dynamic range in spatial scales, using the SCIMES algorithm. This work compiles a cloud catalogue with a total of 10663 molecular clouds, 10300 of which we were able to assign distances and compute physical properties. We study some of the… ▽ More We use the 13CO(2-1) emission from the SEDIGISM high-resolution spectral-line survey of the inner Galaxy, to extract the molecular cloud population with a large dynamic range in spatial scales, using the SCIMES algorithm. This work compiles a cloud catalogue with a total of 10663 molecular clouds, 10300 of which we were able to assign distances and compute physical properties. We study some of the global properties of clouds using a science sample, consisting of 6664 well resolved sources and for which the distance estimates are reliable. In particular, we compare the scaling relations retrieved from SEDIGISM to those of other surveys, and we explore the properties of clouds with and without high-mass star formation. Our results suggest that there is no single global property of a cloud that determines its ability to form massive stars, although we find combined trends of increasing mass, size, surface density and velocity dispersion for the sub-sample of clouds with ongoing high-mass star formation. We then isolate the most extreme clouds in the SEDIGISM sample (i.e. clouds in the tails of the distributions) to look at their overall Galactic distribution, in search for hints of environmental effects. We find that, for most properties, the Galactic distribution of the most extreme clouds is only marginally different to that of the global cloud population. The Galactic distribution of the largest clouds, the turbulent clouds and the high-mass star-forming clouds are those that deviate most significantly from the global cloud population. We also find that the least dynamically active clouds (with low velocity dispersion or low virial parameter) are situated further afield, mostly in the least populated areas. However, we suspect that part of these trends may be affected by some observational biases, and thus require further follow up work in order to be confirmed. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: 25 pages (+ appendices, 15 pages), 26 figures, MNRAS

SEDIGISM-ATLASGAL: Dense Gas Fraction and Star Formation Efficiency Across the Galactic Disk

Authors: J. S. Urquhart, C. Figura, J. R. Cross, M. R. A. Wells, T. J. T. Moore, D. J. Eden, S. E. Ragan, A. R. Pettitt, A. Duarte-Cabral, D. Colombo, F. Schuller, T. Csengeri, M. Mattern, H. Beuther, K. M. Menten, F. Wyrowski, L. D. Anderson, P. J. Barnes, M. T. Beltrán, S. J. Billington, L. Bronfman, A. Giannetti, J. Kainulainen, J. Kauffmann, M. -Y. Lee , et al. (10 additional authors not shown)

Abstract: By combining two surveys covering a large fraction of the molecular material in the Galactic disk we investigate the role the spiral arms play in the star formation process. We have matched clumps identified by ATLASGAL with their parental GMCs as identified by SEDIGISM, and use these giant molecular cloud (GMC) masses, the bolometric luminosities, and integrated clump masses obtained in a concurr… ▽ More By combining two surveys covering a large fraction of the molecular material in the Galactic disk we investigate the role the spiral arms play in the star formation process. We have matched clumps identified by ATLASGAL with their parental GMCs as identified by SEDIGISM, and use these giant molecular cloud (GMC) masses, the bolometric luminosities, and integrated clump masses obtained in a concurrent paper to estimate the dense gas fractions (DGF$_{\rm gmc}=\sum M_{\rm clump}/M_{\rm gmc}$) and the instantaneous star forming efficiencies (i.e., SFE$_{\rm gmc} = \sum L_{\rm clump}/M_{\rm gmc}$). We find that the molecular material associated with ATLASGAL clumps is concentrated in the spiral arms ($\sim$60% found within $\pm$10 km s$^{-1}$ of an arm). We have searched for variations in the values of these physical parameters with respect to their proximity to the spiral arms, but find no evidence for any enhancement that might be attributable to the spiral arms. The combined results from a number of similar studies based on different surveys indicate that, while spiral-arm location plays a role in cloud formation and HI to H$_2$ conversion, the subsequent star formation processes appear to depend more on local environment effects. This leads us to conclude that the enhanced star formation activity seen towards the spiral arms is the result of source crowding rather than the consequence of a any physical process. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: 15 pages, 12 figures. Full list of affiliations can be found at the end of the paper

Ubiquitous velocity fluctuations throughout the molecular interstellar medium

Authors: J. D. Henshaw, J. M. D. Kruijssen, S. N. Longmore, M. Riener, A. K. Leroy, E. Rosolowsky, A. Ginsburg, C. Battersby, M. Chevance, S. E. Meidt, S. C. O. Glover, A. Hughes, J. Kainulainen, R. S. Klessen, E. Schinnerer, A. Schruba, H. Beuther, F. Bigiel, G. A. Blanc, E. Emsellem, T. Henning, C. N. Herrera, E. W. Koch, J. Pety, S. E. Ragan , et al. (1 additional authors not shown)

Abstract: The density structure of the interstellar medium (ISM) determines where stars form and release energy, momentum, and heavy elements, driving galaxy evolution. Density variations are seeded and amplified by gas motion, but the exact nature of this motion is unknown across spatial scale and galactic environment. Although dense star-forming gas likely emerges from a combination of instabilities, conv… ▽ More The density structure of the interstellar medium (ISM) determines where stars form and release energy, momentum, and heavy elements, driving galaxy evolution. Density variations are seeded and amplified by gas motion, but the exact nature of this motion is unknown across spatial scale and galactic environment. Although dense star-forming gas likely emerges from a combination of instabilities, convergent flows, and turbulence, establishing the precise origin is challenging because it requires quantifying gas motion over many orders of magnitude in spatial scale. Here we measure the motion of molecular gas in the Milky Way and in nearby galaxy NGC 4321, assembling observations that span an unprecedented spatial dynamic range ($10^{-1}{-}10^3$ pc). We detect ubiquitous velocity fluctuations across all spatial scales and galactic environments. Statistical analysis of these fluctuations indicates how star-forming gas is assembled. We discover oscillatory gas flows with wavelengths ranging from $0.3{-}400$ pc. These flows are coupled to regularly-spaced density enhancements that likely form via gravitational instabilities. We also identify stochastic and scale-free velocity and density fluctuations, consistent with the structure generated in turbulent flows. Our results demonstrate that ISM structure cannot be considered in isolation. Instead, its formation and evolution is controlled by nested, interdependent flows of matter covering many orders of magnitude in spatial scale. △ Less

Submitted 3 July, 2020; originally announced July 2020.

Comments: Published in Nature Astronomy on July 6th 2020. This is the authors' version before final edits. Includes methods and supplementary information. Link to the NA publication: https://www.nature.com/articles/s41550-020-1126-z

Autonomous Gaussian decomposition of the Galactic Ring Survey. II. The Galactic distribution of 13CO

Authors: M. Riener, J. Kainulainen, J. D. Henshaw, H. Beuther

Abstract: Knowledge about the distribution of CO emission in the Milky Way is essential to understand the impact of Galactic environment on the formation and evolution of structures in the interstellar medium. However, currently our insight about the fraction of CO in spiral arm and interarm regions is still limited by large uncertainties in assumed rotation curve models or distance determination techniques… ▽ More Knowledge about the distribution of CO emission in the Milky Way is essential to understand the impact of Galactic environment on the formation and evolution of structures in the interstellar medium. However, currently our insight about the fraction of CO in spiral arm and interarm regions is still limited by large uncertainties in assumed rotation curve models or distance determination techniques. In this work we use a Bayesian approach to obtain the current best assessment of the distribution of 13CO from the Galactic Ring Survey. We performed two different distance estimates that either included or excluded a model for Galactic features. We also include a prior for the solution of the kinematic distance ambiguity that was determined from a compilation of literature distances and an assumed size-linewidth relationship. We find that the fraction of 13CO emission associated with spiral arm features varies from 76% to 84% between the two distance runs. The vertical distribution of the gas is concentrated around the Galactic midplane showing FWHM values of ~75 pc. We do not find any significant difference between gas emission properties associated with spiral arm and interarm features. In particular the distribution of velocity dispersion values of gas emission in spurs and spiral arms is very similar. We detect a trend of higher velocity dispersion values with increasing heliocentric distance, which we attribute to beam averaging effects caused by differences in spatial resolution. We argue that the true distribution of the gas emission is likely more similar to a combination of our two distance results, and highlight the importance of using complementary distance estimations to safeguard against the pitfalls of any single approach. We conclude that the methodology presented in this work is a promising way to determine distances to gas emission features in Galactic plane surveys. △ Less

Submitted 5 June, 2020; originally announced June 2020.

Comments: Accepted for publication in A&A. 27 pages, 31 figures (main text: 18 pages, 21 figures). The PDF contains multi-layer figures that can be displayed with Adobe Acrobat. Table 2 with the distance results is available in its entirety at the CDS. The Python wrapper for the Bayesian Distance Calculator (BD_wrapper) is freely available at GitHub under https://github.com/mriener/BD_wrapper

Journal ref: A&A 640, A72 (2020)

Autonomous Gaussian decomposition of the Galactic Ring Survey. I. Global statistics and properties of the 13CO emission data

Authors: M. Riener, J. Kainulainen, H. Beuther, J. D. Henshaw, J. H. Orkisz, Y. Wang

Abstract: The analysis of large molecular line surveys of the Galactic plane is essential for our understanding of the gas kinematics on Galactic scales, in particular its link with the formation and evolution of dense structures in the interstellar medium. An approximation of the emission peaks with Gaussian functions allows for an efficient and straightforward extraction of useful physical information con… ▽ More The analysis of large molecular line surveys of the Galactic plane is essential for our understanding of the gas kinematics on Galactic scales, in particular its link with the formation and evolution of dense structures in the interstellar medium. An approximation of the emission peaks with Gaussian functions allows for an efficient and straightforward extraction of useful physical information contained in the shape and Doppler-shifted frequency of the emission lines contained in these enormous data sets. In this work we present an overview and first results of a Gaussian decomposition of the entire Galactic Ring Survey (GRS) 13CO (1-0) data that consists of about 2.3 million spectra. We performed the decomposition with the fully automated GaussPy+ algorithm and fitted about 4.6 million Gaussian components to the GRS spectra. We discuss the statistics of the fit components and relations between the fitted intensities, velocity centroids, and velocity dispersions. We find that the magnitude of the velocity dispersion values increase toward the inner Galaxy and around the Galactic midplane, which we speculate is partly due to the influence of the Galactic bar and regions with higher non-thermal motions located in the midplane, respectively. We also use our decomposition results to infer global properties of the gas emission and find that the number of fit components used per spectrum is indicative for the amount of structure along the line of sight. We find that the emission lines from regions located on the far side of the Galaxy show increased velocity dispersion values, likely due to beam averaging effects. We demonstrate how this trend has the potential to aid in characterising Galactic structure by disentangling emission that is belonging to the nearby Aquila Rift molecular cloud from emission that is more likely associated with the Perseus and Outer spiral arms. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Comments: Accepted for publication in A&A. 26 pages, 25 figures (main text: 16 pages, 16 figures; Appendix: 10 pages, 9 figures). The PDF contains multi-layer figures that can be displayed with Adobe Acrobat. Table 1 with the full decomposition results will be made publicly available soon; earlier access to the data is possible upon request from the corresponding author (M. Riener). Comments are welcome

Journal ref: A&A 633, A14 (2020)

GaussPy+: A fully automated Gaussian decomposition package for emission line spectra

Authors: Manuel Riener, Jouni Kainulainen, Jonathan D. Henshaw, Jan H. Orkisz, Claire E. Murray, Henrik Beuther

Abstract: Our understanding of the dynamics of the interstellar medium is informed by the study of the detailed velocity structure of emission line observations. One approach to study the velocity structure is to decompose the spectra into individual velocity components; this leads to a description of the dataset that is significantly reduced in complexity. However, this decomposition requires full automati… ▽ More Our understanding of the dynamics of the interstellar medium is informed by the study of the detailed velocity structure of emission line observations. One approach to study the velocity structure is to decompose the spectra into individual velocity components; this leads to a description of the dataset that is significantly reduced in complexity. However, this decomposition requires full automation lest it becomes prohibitive for large datasets, such as Galactic plane surveys. We developed GaussPy+, a fully automated Gaussian decomposition package that can be applied to emission line datasets, especially large surveys of HI and isotopologues of CO. We built our package upon the existing GaussPy algorithm and significantly improved its performance for noisy data. New functionalities of GaussPy+ include: i) automated preparatory steps, such as an accurate noise estimation, which can also be used as standalone applications; ii) an improved fitting routine; iii) an automated spatial refitting routine that can add spatial coherence to the decomposition results by refitting spectra based on neighbouring fit solutions. We thoroughly tested the performance of GaussPy+ on synthetic spectra and a test field from the Galactic Ring Survey. We found that GaussPy+ can deal with cases of complex emission and even low to moderate signal-to-noise values. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: Accepted for publication in A&A. 36 pages, 33 figures (main text: 23 pages, 18 figures; Appendix: 13 pages, 15 figures). The GaussPy+ package is written in Python 3 and is freely available at GitHub under https://github.com/mriener/gausspyplus

'The Brick' is not a brick: A comprehensive study of the structure and dynamics of the Central Molecular Zone cloud G0.253+0.016

Authors: J. D. Henshaw, A. Ginsburg, T. J. Haworth, S. N. Longmore, J. M. D. Kruijssen, E. A. C. Mills, V. Sokolov, D. L. Walker, A. T. Barnes, Y. Contreras, J. Bally, C. Battersby, H. Beuther, N. Butterfield, J. E. Dale, T. Henning, J. M. Jackson, J. Kauffmann, T. Pillai, S. Ragan, M. Riener, Q. Zhang

Abstract: In this paper we provide a comprehensive description of the internal dynamics of G0.253+0.016 (a.k.a. 'the Brick'); one of the most massive and dense molecular clouds in the Galaxy to lack signatures of widespread star formation. As a potential host to a future generation of high-mass stars, understanding largely quiescent molecular clouds like G0.253+0.016 is of critical importance. In this paper… ▽ More In this paper we provide a comprehensive description of the internal dynamics of G0.253+0.016 (a.k.a. 'the Brick'); one of the most massive and dense molecular clouds in the Galaxy to lack signatures of widespread star formation. As a potential host to a future generation of high-mass stars, understanding largely quiescent molecular clouds like G0.253+0.016 is of critical importance. In this paper, we reanalyse Atacama Large Millimeter Array cycle 0 HNCO $J=4(0,4)-3(0,3)$ data at 3 mm, using two new pieces of software which we make available to the community. First, scousepy, a Python implementation of the spectral line fitting algorithm scouse. Secondly, acorns (Agglomerative Clustering for ORganising Nested Structures), a hierarchical n-dimensional clustering algorithm designed for use with discrete spectroscopic data. Together, these tools provide an unbiased measurement of the line of sight velocity dispersion in this cloud, $σ_{v_{los}, {\rm 1D}}=4.4\pm2.1$ kms$^{-1}$, which is somewhat larger than predicted by velocity dispersion-size relations for the Central Molecular Zone (CMZ). The dispersion of centroid velocities in the plane of the sky are comparable, yielding $σ_{v_{los}, {\rm 1D}}/σ_{v_{pos}, {\rm 1D}}\sim1.2\pm0.3$. This isotropy may indicate that the line-of-sight extent of the cloud is approximately equivalent to that in the plane of the sky. Combining our kinematic decomposition with radiative transfer modelling we conclude that G0.253+0.016 is not a single, coherent, and centrally-condensed molecular cloud; 'the Brick' is not a \emph{brick}. Instead, G0.253+0.016 is a dynamically complex and hierarchically-structured molecular cloud whose morphology is consistent with the influence of the orbital dynamics and shear in the CMZ. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Comments: 29 pages, 19 figures, 1 table (including appendix). Accepted for publication in MNRAS (February 4, 2019). Scousepy is available here: https://github.com/jdhenshaw/scousepy. Acorns is available here: https://github.com/jdhenshaw/acorns

Gathering dust: A galaxy-wide study of dust emission from cloud complexes in NGC 300

Authors: M. Riener, C. M. Faesi, J. Forbrich, C. J. Lada

Abstract: We used multi-band observations by the Herschel Space Observatory to study the dust emission properties of the nearby spiral galaxy NGC 300. We compiled a first catalogue of the population of giant dust clouds (GDCs) in NGC 300 and give an estimate of the total dust mass of the galaxy. We carried out source detection with the multiwavelength source extraction algorithm getsources and calculated ph… ▽ More We used multi-band observations by the Herschel Space Observatory to study the dust emission properties of the nearby spiral galaxy NGC 300. We compiled a first catalogue of the population of giant dust clouds (GDCs) in NGC 300 and give an estimate of the total dust mass of the galaxy. We carried out source detection with the multiwavelength source extraction algorithm getsources and calculated physical properties of the GDCs, including mass and temperature, from five-band Herschel PACS and SPIRE observations from 100-500 $μ$m; the final size and mass estimates are based on the observations at 250 $μ$m that have an effective spatial resolution of $\sim$170 pc. We correlated our final catalogue of GDCs to pre-existing catalogues of HII regions to infer the number of GDCs associated with high-mass star formation and determined the H$α$ emission of the GDCs. Our final catalogue of GDCs includes 146 sources, 90 of which are associated with known HII regions. We find that the dust masses of the GDCs are completely dominated by the cold dust component and range from $\sim$1.1$\cdot$10$^{3}$ - 1.4$\cdot$10$^{4}$ M$_{\odot}$. The GDCs have effective temperatures of $\sim$13-23 K and show a distinct cold dust effective temperature gradient from the centre towards the outer parts of the stellar disk. We find that the population of GDCs in our catalogue constitutes $\sim$16% of the total dust mass of NGC 300, which we estimate to be about 5.4$\cdot$10$^{6}$ M$_{\odot}$. At least about 87% of our GDCs have a high enough average dust mass surface density to provide sufficient shielding to harbour molecular clouds. We compare our results to previous pointed molecular gas observations in NGC 300 and results from other nearby galaxies and also conclude that it is very likely that most of our GDCs are associated with complexes of giant molecular clouds. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Comments: 18 pages, 19 figures, appendix with 2 figures

Journal ref: A&A 612, A81 (2018)

Advanced Proof Viewing in ProofTool

Authors: Tomer Libal, Martin Riener, Mikheil Rukhaia

Abstract: Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impossible. Graphical user interfaces help in this matter, but since they normally utilize Gentzen's original notation, some of the problems persist. In this paper, we introduce a number of criteria for proof visualization wh… ▽ More Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impossible. Graphical user interfaces help in this matter, but since they normally utilize Gentzen's original notation, some of the problems persist. In this paper, we introduce a number of criteria for proof visualization which we have found out to be crucial for analyzing proofs. We then evaluate recent developments in tree visualization with regard to these criteria and propose the Sunburst Tree layout as a complement to the traditional tree structure. This layout constructs inferences as concentric circle arcs around the root inference, allowing the user to focus on the proof's structural content. Finally, we describe its integration into ProofTool and explain how it interacts with the Gentzen layout. △ Less

Submitted 29 October, 2014; originally announced October 2014.

Comments: In Proceedings UITP 2014, arXiv:1410.7850

ACM Class: H.5.2.; F.4.1

Journal ref: EPTCS 167, 2014, pp. 35-47

PROOFTOOL: a GUI for the GAPT Framework

Authors: Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel-Paleo

Abstract: This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for proofs… ▽ More This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and related tree-like structures, and its implementation is explained. Finally, PROOFTOOL is compared with three other graphical interfaces for proofs. △ Less

Submitted 8 July, 2013; originally announced July 2013.

Comments: In Proceedings UITP 2012, arXiv:1307.1528

ACM Class: F.4.1; I.2.3

Journal ref: EPTCS 118, 2013, pp. 1-14