Showing 51–100 of 1,124 results for author: Adriana

Toward Improved Deep Learning-based Vulnerability Detection

Authors: Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidović

Abstract: Deep learning (DL) has been a common thread across several recent techniques for vulnerability detection. The rise of large, publicly available datasets of vulnerabilities has fueled the learning process underpinning these techniques. While these datasets help the DL-based vulnerability detectors, they also constrain these detectors' predictive abilities. Vulnerabilities in these datasets have to… ▽ More Deep learning (DL) has been a common thread across several recent techniques for vulnerability detection. The rise of large, publicly available datasets of vulnerabilities has fueled the learning process underpinning these techniques. While these datasets help the DL-based vulnerability detectors, they also constrain these detectors' predictive abilities. Vulnerabilities in these datasets have to be represented in a certain way, e.g., code lines, functions, or program slices within which the vulnerabilities exist. We refer to this representation as a base unit. The detectors learn how base units can be vulnerable and then predict whether other base units are vulnerable. We have hypothesized that this focus on individual base units harms the ability of the detectors to properly detect those vulnerabilities that span multiple base units (or MBU vulnerabilities). For vulnerabilities such as these, a correct detection occurs when all comprising base units are detected as vulnerable. Verifying how existing techniques perform in detecting all parts of a vulnerability is important to establish their effectiveness for other downstream tasks. To evaluate our hypothesis, we conducted a study focusing on three prominent DL-based detectors: ReVeal, DeepWukong, and LineVul. Our study shows that all three detectors contain MBU vulnerabilities in their respective datasets. Further, we observed significant accuracy drops when detecting these types of vulnerabilities. We present our study and a framework that can be used to help DL-based detectors toward the proper inclusion of MBU vulnerabilities. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Rigidity results for group von Neumann algebras with diffuse center

Authors: Ionuţ Chifan, Adriana Fernández Quero, Hui Tan

Abstract: We introduce the first examples of groups $G$ with infinite center which in a natural sense are completely recognizable from their von Neumann algebras, $\mathcal{L}(G)$. Specifically, assume that $G=A\times W$, where $A$ is an infinite abelian group and $W$ is an ICC wreath-like product group [CIOS22a; AMCOS23] with property (T) and trivial abelianization. Then whenever $H$ is an \emph{arbitrary}… ▽ More We introduce the first examples of groups $G$ with infinite center which in a natural sense are completely recognizable from their von Neumann algebras, $\mathcal{L}(G)$. Specifically, assume that $G=A\times W$, where $A$ is an infinite abelian group and $W$ is an ICC wreath-like product group [CIOS22a; AMCOS23] with property (T) and trivial abelianization. Then whenever $H$ is an \emph{arbitrary} group such that $\mathcal{L}(G)$ is $\ast$-isomorphic to $\mathcal L(H)$, via an \emph{arbitrary} $\ast$-isomorphism preserving the canonical traces, it must be the case that $H= B \times H_0$ where $B$ is infinite abelian and $H_0$ is isomorphic to $W$. Moreover, we completely describe the $\ast$-isomorphism between $\mathcal L(G)$ and $\mathcal L(H)$. This yields new applications to the classification of group C$^*$-algebras, including examples of non-amenable groups which are recoverable from their reduced C$^*$-algebras but not from their von Neumann algebras. △ Less

Submitted 26 March, 2024; v1 submitted 2 March, 2024; originally announced March 2024.

Comments: After the first version was posted, Stefaan Vaes pointed out one of the equivalences in Theorem 4.5 does not hold as stated. In the current version we fixed this along with the proofs where it was used. This does not affect the main result or the substance of the arguments used. The only difference is that now Corollary D is slightly more restrictive. We also corrected a number of typos

Bayesian inference of thermal effects in dense matter within the covariant density functional theory

Authors: Adriana R. Raduta, Mikhail V. Beznogov, Micaela Oertel

Abstract: The high temperatures reached in a proto-neutron star or during the post-merger phase of a binary neutron star coalescence lead to non-negligible thermal effects on the equation of state (EOS) of dense nuclear matter. Here we study these effects within the covariant density functional theory employing the posteriors of a Bayesian inference, which encompasses a large sample of EOS models. Different… ▽ More The high temperatures reached in a proto-neutron star or during the post-merger phase of a binary neutron star coalescence lead to non-negligible thermal effects on the equation of state (EOS) of dense nuclear matter. Here we study these effects within the covariant density functional theory employing the posteriors of a Bayesian inference, which encompasses a large sample of EOS models. Different densities and temperatures are considered. We find that for a number of quantities thermal effects are strongly correlated with the Dirac effective mass ($m^*$) of the nucleons and/or its logarithmic derivative as a function of density. These results can be explained within the low temperature approximation though they survive beyond this limit. △ Less

Submitted 2 May, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Comments: 9 pages, 8 figures

Journal ref: Phys. Lett. B 853, 138696 (2024)

Simulations and Performance Studies of a MAPS in 65 nm CMOS Imaging Technology

Authors: Adriana Simancas, Justus Braach, Eric Buschmann, Ankur Chauhan, Dominik Dannheim, Manuel Del Rio Viera, Katharina Dort, Doris Eckstein, Finn Feindt, Ingrid-Maria Gregor, Karsten Hansen, Lennart Huth, Larissa Mendes, Budi Mulyanto, Daniil Rastorguev, Christian Reckleben, Sara Ruiz Daza, Judith Schlaadt, Paul Schütze, Walter Snoeys, Simon Spannagel, Marcel Stanitzki, Anastasiia Velyka, Gianpiero Vignola, Håkan Wennlöf

Abstract: Monolithic active pixel sensors (MAPS) produced in a 65 nm CMOS imaging technology are being investigated for applications in particle physics. The MAPS design has a small collection electrode characterized by an input capacitance of ~fF, granting a high signal-to-noise ratio and low power consumption. Additionally, the 65 nm CMOS imaging technology brings a reduction in material budget and improv… ▽ More Monolithic active pixel sensors (MAPS) produced in a 65 nm CMOS imaging technology are being investigated for applications in particle physics. The MAPS design has a small collection electrode characterized by an input capacitance of ~fF, granting a high signal-to-noise ratio and low power consumption. Additionally, the 65 nm CMOS imaging technology brings a reduction in material budget and improved logic density of the readout circuitry, compared to previously studied technologies. Given these features, this technology was chosen by the TANGERINE project to develop the next generation of silicon pixel sensors. The sensor design targets temporal and spatial resolutions compatible with the requirements for a vertex detector at future lepton colliders. Simulations and test-beam characterization of technology demonstrators have been carried out in close collaboration with the CERN EP R&D program and the ALICE ITS3 upgrade. TCAD device simulations using generic do** profiles and Monte Carlo simulations have been used to build an understanding of the technology and predict the performance parameters of the sensor. Technology demonstrators of a 65 nm CMOS MAPS with a small collection electrode have been characterized in laboratory and test-beam facilities by studying performance parameters such as cluster size, charge collection, and efficiency. This work compares simulation results to test-beam data. The experimental results establish this technology as a promising candidate for a vertex detector at future lepton colliders and give valuable information for improving the simulation approach. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 6 pages, 5 figures, submitted to Nuclear Instruments and Methods in Physics Research, Section A as a conference proceeding for the 13th International "Hiroshima" Symposium on the Development and Application of Semiconductor Tracking Detectors

Topological Optical Waveguiding of Exciton-Polariton Condensates

Authors: Johannes Beierlein, Oleg A. Egorov, Philipp Gagel, Tristan H. Harder, Adriana Wolf, Monika Emmerling, Simon Betzold, Fauzia Jabeen, Libo Ma, Sven Höfling, Ulf Peschel, Sebastian Klembt

Abstract: One-dimensional models with topological non-trivial band structures are a simple and effective way to study novel and exciting concepts in topological photonics. In this work we are studying the propagation of light-matter quasi-particles, so called exciton-polaritons, in waveguide arrays. Specifically, we are investigating topological states at the interface between dimer chains, characterized by… ▽ More One-dimensional models with topological non-trivial band structures are a simple and effective way to study novel and exciting concepts in topological photonics. In this work we are studying the propagation of light-matter quasi-particles, so called exciton-polaritons, in waveguide arrays. Specifically, we are investigating topological states at the interface between dimer chains, characterized by a non-zero winding number. In order to exercise precise control over the polariton propagation, we study non-resonant laser excitation as well as resonant excitation in transmission geometry. The results highlight a new platform for the study of quantum fluids of light and non-linear optical propagation effects in coupled semiconductor waveguides. △ Less

Submitted 21 February, 2024; originally announced February 2024.

API Pack: A Massive Multi-Programming Language Dataset for API Call Generation

Authors: Zhen Guo, Adriana Meza Soria, Wei Sun, Yikang Shen, Rameswar Panda

Abstract: We introduce API Pack, a massive multi-programming language dataset containing more than 1 million instruction-API call pairs to improve the API call generation capabilities of large language models. By fine-tuning CodeLlama-13B on 20,000 Python instances from API Pack, we enable it to outperform GPT-3.5 and GPT-4 in generating unseen API calls. Fine-tuning on API Pack also facilitates cross-progr… ▽ More We introduce API Pack, a massive multi-programming language dataset containing more than 1 million instruction-API call pairs to improve the API call generation capabilities of large language models. By fine-tuning CodeLlama-13B on 20,000 Python instances from API Pack, we enable it to outperform GPT-3.5 and GPT-4 in generating unseen API calls. Fine-tuning on API Pack also facilitates cross-programming language generalization by leveraging a large amount of data in one language and small amounts of data from other languages. Scaling the training data to 1 million instances further improves the model's ability to generalize to new APIs not used in training. To facilitate further research, we open-source the API Pack dataset, trained model, and associated source code at https://github.com/zguo0525/API-Pack. △ Less

Submitted 3 June, 2024; v1 submitted 14 February, 2024; originally announced February 2024.

Evaluation of a Smart Mobile Robotic System for Industrial Plant Inspection and Supervision

Authors: Georg K. J. Fischer, Max Bergau, D. Adriana Gómez-Rosal, Andreas Wachaja, Johannes Gräter, Matthias Odenweller, Uwe Piechottka, Fabian Hoeflinger, Nikhil Gosala, Niklas Wetzel, Daniel Büscher, Abhinav Valada, Wolfram Burgard

Abstract: Automated and autonomous industrial inspection is a longstanding research field, driven by the necessity to enhance safety and efficiency within industrial settings. In addressing this need, we introduce an autonomously navigating robotic system designed for comprehensive plant inspection. This innovative system comprises a robotic platform equipped with a diverse array of sensors integrated to fa… ▽ More Automated and autonomous industrial inspection is a longstanding research field, driven by the necessity to enhance safety and efficiency within industrial settings. In addressing this need, we introduce an autonomously navigating robotic system designed for comprehensive plant inspection. This innovative system comprises a robotic platform equipped with a diverse array of sensors integrated to facilitate the detection of various process and infrastructure parameters. These sensors encompass optical (LiDAR, Stereo, UV/IR/RGB cameras), olfactory (electronic nose), and acoustic (microphone array) capabilities, enabling the identification of factors such as methane leaks, flow rates, and infrastructural anomalies. The proposed system underwent individual evaluation at a wastewater treatment site within a chemical plant, providing a practical and challenging environment for testing. The evaluation process encompassed key aspects such as object detection, 3D localization, and path planning. Furthermore, specific evaluations were conducted for optical methane leak detection and localization, as well as acoustic assessments focusing on pump equipment and gas leak localization. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: Submitted for publication in IEEE Sensors Journal

Block Mott insulating state induced by next-nearest neighbor hop** in the S = 3/2 zigzag chain BaCoTe2O7

Authors: Ling-Fang Lin, Yang Zhang, Gonzalo Alvarez, Adriana Moreo, Elbio Dagotto

Abstract: Quasi-one-dimensional correlated electronic multi-orbital systems with either ladder or chain geometries continue attracting considerable interest due to their complex electronic phases arising from the interplay of the hop** matrix, the crystal-fields splitting, the electronic correlations, and strong quantum fluctuations. Recently, the intriguing cobalt zigzag chain system BaCoTe$_2$O$_7$, wit… ▽ More Quasi-one-dimensional correlated electronic multi-orbital systems with either ladder or chain geometries continue attracting considerable interest due to their complex electronic phases arising from the interplay of the hop** matrix, the crystal-fields splitting, the electronic correlations, and strong quantum fluctuations. Recently, the intriguing cobalt zigzag chain system BaCoTe$_2$O$_7$, with electronic density $n = 7$, was prepared experimentally. Here, we systematically study the electronic and magnetic properties of this quasi-one-dimensional compound from the theory perspective. Based on first-principles density functional theory calculations, strongly anisotropic one-dimensional electronic Co $3d$ bands were found near the Fermi level. By evaluating the relevant hop** amplitudes, we provide the magnitude and origin of the nearest-neighbor (NN) and next nearest-neighbor (NNN) hop** matrices in BaCoTe$_2$O$_7$. With this information, we constructed a three-orbital electronic Hubbard model for this zigzag chain system, and studied two cases: with only a NN hop** matrix, and with NN plus NNN hop** matrices. Introducing the Hubbard and Hund couplings and studying the model via the density matrix renormalization group method, we constructed the ground-state phase diagram. A robust staggered antiferromagnetic (AFM) region was found when only the NN hop** matrix in the chain direction was employed. However, for the realistic case where the NNN hop** matrix is also included, the dominant state becomes instead a block AFM order, in agreement with experiments. The system displays Mott insulator characteristics with three half-filled orbitals, when the block AFM order is stable. Our results for BaCoTe$_2$O$_7$ provide guidance to experimentalists and theorists working on this zigzag one-dimensional chain and related materials. △ Less

Submitted 6 May, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: 9 pages, 10 figures. arXiv admin note: text overlap with arXiv:2106.02753

Prediction of $s^\pm$-wave superconductivity enhanced by electronic do** in trilayer nickelates La$_4$Ni$_3$O$_{10}$ under pressure

Authors: Yang Zhang, Ling-Fang Lin, Adriana Moreo, Thomas A. Maier, Elbio Dagotto

Abstract: Motivated by the recently reported signatures of superconductivity in trilayer La$_4$Ni$_3$O$_{10}$ under pressure, we comprehensively study this system using {\it ab initio} and random-phase approximation techniques. Without electronic interactions, the Ni $d_{3z^2-r^2}$ orbitals show a bonding-antibonding and nonbonding splitting behavior via the O $p_z$ orbitals inducing a ``trimer'' lattice in… ▽ More Motivated by the recently reported signatures of superconductivity in trilayer La$_4$Ni$_3$O$_{10}$ under pressure, we comprehensively study this system using {\it ab initio} and random-phase approximation techniques. Without electronic interactions, the Ni $d_{3z^2-r^2}$ orbitals show a bonding-antibonding and nonbonding splitting behavior via the O $p_z$ orbitals inducing a ``trimer'' lattice in La$_4$Ni$_3$O$_{10}$, analogous to the dimers of La$_3$Ni$_2$O$_{7}$. The Fermi surface consists of three electron sheets with mixed $e_g$ orbitals, and a hole and an electron pocket made up of the $d_{3z^2-r^2}$ orbital, suggesting a Ni two-orbital minimum model. In addition, we find that superconducting pairing is induced in the $s^{\pm}$-wave channel due to partial nesting between the {\bf M}=$(π, π)$ centered pockets and portions of the Fermi surface centered at the {\bf $Γ$}=$(0, 0)$ point. With changing electronic density $n$, the $s^\pm$ instability remains leading and its pairing strength shows a dome-like behavior with a maximum around $n = 4.2$ ($\sim 6.7\%$ electron do**). The superconducting instability disappears at the same electronic density as that in the new 1313 stacking La$_3$Ni$_2$O$_7$, correlated with the vanishing of the hole pocket that arises from the trilayer sublattice, suggesting that the high-$T_c$ superconductivity of La$_3$Ni$_2$O$_7$ may $not$ originate from a trilayer- and single-layer structure. Furthermore, we predict an interesting spin-density-wave state in La$_4$Ni$_3$O$_{10}$ with an in-plane ($π$, $π$) order and antiferromagnetic coupling between the top and bottom Ni layers, while the middle layer has spin zero. △ Less

Submitted 25 March, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: Main text with 6 pages and 4 figures plus SM with 4 pages and 5 figures

Home Automation System based on Intelligent Transducer Enablers

Authors: Manuel Suárez-Albela, Paula Fraga-Lamas, Tiago M. Fernández-Caramés, Adriana Dapena, Miguel González-López

Abstract: This paper presents a novel home automation system named HASITE (Home Automation System based on Intelligent Transducer Enablers), which has been specifically designed to identify and configure transducers easily and quickly. These features are especially useful in situations where many transducers are deployed, since their setup becomes a cumbersome task that consumes a significant amount of time… ▽ More This paper presents a novel home automation system named HASITE (Home Automation System based on Intelligent Transducer Enablers), which has been specifically designed to identify and configure transducers easily and quickly. These features are especially useful in situations where many transducers are deployed, since their setup becomes a cumbersome task that consumes a significant amount of time and human resources. HASITE simplifies the deployment of a home automation system by using wireless networks and both self-configuration and self-registration protocols. Thanks to the application of these three elements, HASITE is able to add new transducers by just powering them up. According to the tests performed in different realistic scenarios, a transducer is ready to be used in less than 13 s. Moreover, all HASITE functionalities can be accessed through an API, which also allows for the integration of third-party systems. As an example, an Android application based on the API is presented. Remote users can use it to interact with transducers by just using a regular smartphone or a tablet. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 27 pages, 17 figures, accepted version of Sensors journal article

Journal ref: Sensors 2016, 16(10), 1595

An electrically pumped topological polariton laser

Authors: Philipp Gagel, Oleg A. Egorov, Franciszek Dzimira, Johannes Beierlein, Monika Emmerling, Adriana Wolf, Fauzia Jabeen, Simon Betzold, Ulf Peschel, Sven Höfling, Christian Schneider, Sebastian Klembt

Abstract: With a seminal work of Raghu and Haldane in 2008, concepts of topology have been successfully introduced in a wide range of optical systems, emulating specific lattice Hamiltonians. Certainly, one of the most promising routes to an application of topological photonics in an actual device are topological lasers, where efficient and highly coherent lasing from a topologically non-trivial mode is ach… ▽ More With a seminal work of Raghu and Haldane in 2008, concepts of topology have been successfully introduced in a wide range of optical systems, emulating specific lattice Hamiltonians. Certainly, one of the most promising routes to an application of topological photonics in an actual device are topological lasers, where efficient and highly coherent lasing from a topologically non-trivial mode is achieved. While some attempts have been made to excite such structures electrically, the majority of published fundamental experiments use a form of laser excitation. In this paper, we use a lattice of vertical resonator polariton micropillars to form an exponentially localized topological Su-Schrieffer-Heeger defect. Upon electrical excitation of the p-i-n doped structure, the system unequivocally shows polariton lasing from the topological defect using a carefully placed gold contact. Despite the presence of do** and electrical contacts, the polariton band structure clearly preserves its topological properties. At high excitation power the Mott density is exceeded leading to highly efficient lasing in the weak coupling regime. This work is an important step towards applied topological lasers using vertical resonator microcavity structures. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 21 pages, 7 figures

Zero-shot Sequential Neuro-symbolic Reasoning for Automatically Generating Architecture Schematic Designs

Authors: Milin Kodnongbua, Lawrence H. Curtis, Adriana Schulz

Abstract: This paper introduces a novel automated system for generating architecture schematic designs aimed at streamlining complex decision-making at the multifamily real estate development project's outset. Leveraging the combined strengths of generative AI (neuro reasoning) and mathematical program solvers (symbolic reasoning), the method addresses both the reliance on expert insights and technical chal… ▽ More This paper introduces a novel automated system for generating architecture schematic designs aimed at streamlining complex decision-making at the multifamily real estate development project's outset. Leveraging the combined strengths of generative AI (neuro reasoning) and mathematical program solvers (symbolic reasoning), the method addresses both the reliance on expert insights and technical challenges in architectural schematic design. To address the large-scale and interconnected nature of design decisions needed for designing a whole building, we proposed a novel sequential neuro-symbolic reasoning approach, emulating traditional architecture design processes from initial concept to detailed layout. To remove the need to hand-craft a cost function to approximate the desired objectives, we propose a solution that uses neuro reasoning to generate constraints and cost functions that the symbolic solvers can use to solve. We also incorporate feedback loops for each design stage to ensure a tight integration between neuro and symbolic reasoning. Developed using GPT-4 without further training, our method's effectiveness is validated through comparative studies with real-world buildings. Our method can generate various building designs in accordance with the understanding of the neighborhood, showcasing its potential to transform the realm of architectural schematic design. △ Less

Submitted 25 January, 2024; originally announced February 2024.

Detection of pulsed X-ray emission from the isolated neutron star candidate eRASSU J131716.9-402647

Authors: J. Kurpas, A. D. Schwope, A. M. Pires, F. Haberl

Abstract: The X-ray source eRASSU J131716.9-402647 was recently identified from observations with Spectrum Roentgen Gamma (SRG)/eROSITA as a promising X-ray dim isolated neutron star (XDINS) candidate on the premise of a soft energy distribution, absence of catalogued counterparts, and a high X-ray-to-optical flux ratio. Here, we report the results of a multi-wavelength observational campaign with XMM-Newto… ▽ More The X-ray source eRASSU J131716.9-402647 was recently identified from observations with Spectrum Roentgen Gamma (SRG)/eROSITA as a promising X-ray dim isolated neutron star (XDINS) candidate on the premise of a soft energy distribution, absence of catalogued counterparts, and a high X-ray-to-optical flux ratio. Here, we report the results of a multi-wavelength observational campaign with XMM-Newton, NICER and the FORS2 instrument at the ESO-VLT. We found in both the XMM-Newton and NICER data that the X-ray emission is strongly pulsed at a period of $12.757$ s (pulsed fraction $p_\mathrm{f} = (29.1 \pm 2.6)$% in the 0.2-2 keV band). The pulse profile is double-humped, and the pulsed fraction increases with energy. The XMM-Newton and NICER epochs allow us to derive a 3$σ$ upper limit of $\dot{P}\leq 8\times 10^{-11}$ s s$^{-1}$ on the spin-down rate of the neutron star. The source spectrum is well described by a purely thermal continuum, either a blackbody with $kT\sim95$ eV or a magnetised neutron star atmosphere model with $kT \sim 35$ eV. Similarly to other thermally emitting isolated neutron stars, we found in either case strong deviations from the continuum, a broad absorption feature at energy $\sim260$ eV and a narrow one around $590$ eV. The FORS2 instrument at ESO-VLT has not detected the optical counterpart ($m_\mathrm{R}>27.5$ mag, $5σ$ detection limit), implying an X-ray-to-optical flux ratio of $10^4$ at least. The properties of eRASSU J131716.9-402647 strongly resemble those of a highly magnetised isolated neutron star and favour an XDINS or high-B pulsar nature. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 11 pages, 9 figures, accepted for publication in A&A

The powerful lens galaxy cluster PLCK G287.0+32.9 ($θ_E \sim 43''$)

Authors: Maurizio D'Addona, Amata Mercurio, Piero Rosati, Claudio Grillo, Gabriel Caminha, Ana Acebron, Giuseppe Angora, Pietro Bergamini, Valerio Bozza, Giovanni Granata, Marianna Annunziatella, Adriana Gargiulo, Raphael Gobat, Paolo Tozzi, Marisa Girardi, Marco Lombardi, Massimo Meneghetti, Pietro Schipani, Luca Tortorelli, Eros Vanzella

Abstract: We present a new high-precision strong lensing model of PLCK G287.0$+$32.9, a massive lens galaxy cluster at $z=0.383$, with the aim to get an accurate estimation of its effective Einstein radius and total mass distribution. We also present a spectroscopic catalog containing accurate redshift measurements for 490 objects, including multiply-lensed sources and cluster member galaxies. We exploit hi… ▽ More We present a new high-precision strong lensing model of PLCK G287.0$+$32.9, a massive lens galaxy cluster at $z=0.383$, with the aim to get an accurate estimation of its effective Einstein radius and total mass distribution. We also present a spectroscopic catalog containing accurate redshift measurements for 490 objects, including multiply-lensed sources and cluster member galaxies. We exploit high-quality spectroscopic data from three pointings of the VLT Multi Unit Spectroscopic Explorer, covering a central $3~\rm{arcmin}^2$ region of the cluster. We complete the spectroscopic catalog by including redshift measurements from VLT-VIMOS and KECK-DEIMOS. We identify 129 spectroscopic cluster member galaxies, with redshift values $0.360 \leq z \leq 0.405$ and $m_{\rm{F160W}} \leq 21$, and 24 photometric ones identified with a Convolutional Neural Network from ancillary HST imaging. We also identify 114 multiple images from 28 background sources, of which 84 images from 16 sources are new and the remaining ones were identified in previous work. The best-fitting lens model shows a root mean square separation value between the predicted and observed positions of the multiple images of $0.75''$, corresponding to an improvement in reconstructing the observed positions of the multiple images of a factor of $2.5$ with respect to previous models. Using the predictive power of our new lens model we find 3 new multiple images and we confirm the configuration of three systems of multiple images that were not used for the optimization of the model. The derived total mass distribution confirms this cluster to be a very prominent gravitational lens with an effective Einstein $θ_{E} = 43.4'' \pm 0.1''$, that is in agreement with previous estimates and corresponds to a total mass enclosed in the critical curve of $M_E = {3.33}_{-0.07}^{+0.02} \times{ 10^{14} M_\odot}$. △ Less

Submitted 23 February, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: submitted to "Astronomy & Astrophysics" and accepted the on January 29th 2024

Journal ref: A&A Volume 686, June 2024, A4

FabHacks: Transform Everyday Objects into Functional Fixtures

Authors: Yuxuan Mei, Benjamin Jones, Dan Cascaval, Jennifer Mankoff, Etienne Vouga, Adriana Schulz

Abstract: Storage, organizing, and decorating are an important part of home design. While one can buy commercial items for many of these tasks, this can be costly, and re-use is more sustainable. An alternative is a "home hack", a functional assembly that can be constructed from existing household items. However, coming up with such hacks requires combining objects to make a physically valid design, which m… ▽ More Storage, organizing, and decorating are an important part of home design. While one can buy commercial items for many of these tasks, this can be costly, and re-use is more sustainable. An alternative is a "home hack", a functional assembly that can be constructed from existing household items. However, coming up with such hacks requires combining objects to make a physically valid design, which might be difficult to test if they are large, require nailing or screwing something to the wall, or the designer has mobility limitations. In this work, we present a design and visualization system for creating workable functional assemblies, FabHacks, which is based on a solver-aided domain-specific language (S-DSL) FabHaL. By analyzing existing home hacks shared online, we create a design abstraction for connecting household items using predefined types of connections. We provide a UI for FabHaL that can be used to design assemblies that fulfill a given specification. Our system leverages a physics-based solver that takes an assembly design and finds its expected physical configuration. Our validation includes a user study showing that users can create assemblies successfully using our UI and explore a range of designs. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Coexistence of Topological and Normal Insulating Phases in Electro-Optically Tuned InAs/GaSb Bilayer Quantum Wells

Authors: Manuel Meyer, Tobias Fähndrich, Sebastian Schmid, Adriana Wolf, Sergey Krishtopenko, Benoit Jouault, Gerald Bastard, Frederic Teppe, Fabian Hartmann, Sven Höfling

Abstract: We report on the coexistence of both normal and topological insulating phases in InAs/GaSb bilayer quantum well induced by the built-in electric field tuned optically and electrically. The emergence of topological and normal insulating phases is assessed based on the evolution of the charge carrier densities, the resistivity dependence of the gap via in-plane magnetic fields and the thermal activa… ▽ More We report on the coexistence of both normal and topological insulating phases in InAs/GaSb bilayer quantum well induced by the built-in electric field tuned optically and electrically. The emergence of topological and normal insulating phases is assessed based on the evolution of the charge carrier densities, the resistivity dependence of the gap via in-plane magnetic fields and the thermal activation of carriers. For the Hall bar device tuned optically, we observe the fingerprints associated with the presence of only the topological insulating phase. For another Hall bar processed identically but with an additional top gate, the coexistence of normal and topological insulating phases is found by electrical tuning. Our finding paves the way for utilizing a new electro-optical tuning scheme to manipulate InAs/GaSb bilayer quantum wells to obtain trivial-topological insulating interfaces in the bulk rather than at the physical edge of the device. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Generalized mathematical model for adaptive cell survival after thermoradiotherapy: The impact of sublethal damage

Authors: Adriana M. De Mendoza, Soňa Michlíková, Steffen Lange, Paula S. Castro, Anni G. Muñoz, Lisa Eckhardt, Leoni A. Kunz-Schughart

Abstract: The efficacy of radiotherapy (RT) can be significantly enhanced by combination with hyperthermia (HT), offering improved therapeutic outcomes at reduced radiation doses. Recent technological advancements have revitalized HT as a promising option for combinatorial RT. However, the underlying mechanisms, implications, and cause-effect relationships require further elucidation for precise integration… ▽ More The efficacy of radiotherapy (RT) can be significantly enhanced by combination with hyperthermia (HT), offering improved therapeutic outcomes at reduced radiation doses. Recent technological advancements have revitalized HT as a promising option for combinatorial RT. However, the underlying mechanisms, implications, and cause-effect relationships require further elucidation for precise integration into clinical practice. In this context, mathematical modeling provides the necessary predicting power for treatment planning. Moreover, based on physicochemical principles, such models help elucidate the behavior of biological systems under heat. Some cell cultures exhibit dose-dependent changes in therapy response and survival, prompting the development of a model incorporating cell recovery mechanisms. We extended Jung's model of cellular inactivation by heat based on the accumulation of sublethal damage to combinatorial radiotherapy in general and incorporated dose-dependent recovery rates. The resulting unified model (Umodel) is suited to describe (i) individual or sequential treatment/fraction outcomes, (ii) differences and changes in cellular response and recovery or adaptation to treatment, and (iii) the observed sensitivity to treatment order. We demonstrate excellent performance (R2 > 0.95) on various cell survival data from the literature and our own experimental series. Our observations suggest that the induction of sublethal damage in cells is pivotal, promoting cellular vulnerability for synergistic outcomes in combined therapeutic schemes. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: Main text: 20 pages, 6 figures, 1 table, 82 references. Supplemental information: 16 pages, 10 figures, 10 tables

Hydrogen recombination continuum as the radiative model for stellar optical flares

Authors: Paulo J. A. Simões, Alexandre Araújo, Adriana Válio, Lyndsay Fletcher

Abstract: The study of stellar flares has increased with new observations from CoRoT, Kepler, and TESS satellites, revealing the broadband visible emission from these events. Typically, stellar flares have been modelled as $10^4$ K blackbody plasma to obtain estimates of their total energy. In the Sun, white light flares (WLFs) are much fainter than their stellar counterparts, and normally can only be detec… ▽ More The study of stellar flares has increased with new observations from CoRoT, Kepler, and TESS satellites, revealing the broadband visible emission from these events. Typically, stellar flares have been modelled as $10^4$ K blackbody plasma to obtain estimates of their total energy. In the Sun, white light flares (WLFs) are much fainter than their stellar counterparts, and normally can only be detected via spatially resolved observations. Identifying the radiation mechanism for the formation of the visible spectrum from solar and stellar flares is crucial to understand the energy transfer processes during these events, but spectral data for WLFs are relatively rare, and insufficient to remove the ambiguity of their origin: photospheric blackbody radiation and/or Paschen continuum from hydrogen recombination in the chromosphere. We employed an analytical solution for the recombination continuum of hydrogen instead of the typically assumed $10^4$ K blackbody spectrum to study the energy of stellar flares and infer their fractional area coverage. We investigated 37 events from Kepler-411 and 5 events from Kepler-396, using both radiation mechanisms. We find that estimates for the total flare energy from the H recombination spectrum are about an order of magnitude lower than the values obtained from the blackbody radiation. Given the known energy transfer processes in flares, we argue that the former is a physically more plausible model than the latter to explain the origin of the broadband optical emission from flares. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: 6 pages, 3 figures. Accepted for publication (MNRAS)

LiDAR data acquisition and processing for ecology applications

Authors: Ion Ciobotari, Adriana Príncipe, Maria Alexandra Oliveira, João Nuno Silva

Abstract: The collection of ecological data in the field is essential to diagnose, monitor and manage ecosystems in a sustainable way. Since acquisition of this information through traditional methods are generally time-consuming, due to the capability of recording large volumes of data in short time periods, automation of data acquisition sees a growing trend. Terrestrial laser scanners (TLS), particularly… ▽ More The collection of ecological data in the field is essential to diagnose, monitor and manage ecosystems in a sustainable way. Since acquisition of this information through traditional methods are generally time-consuming, due to the capability of recording large volumes of data in short time periods, automation of data acquisition sees a growing trend. Terrestrial laser scanners (TLS), particularly LiDAR sensors, have been used in ecology, allowing to reconstruct the 3D structure of vegetation, and thus, infer ecosystem characteristics based on the spatial variation of the density of points. However, the low amount of information obtained per beam, lack of data analysis tools and the high cost of the equipment limit their use. This way, a low-cost TLS (<10k$) was developed along with data acquisition and processing mechanisms applicable in two case studies: an urban garden and a target area for ecological restoration. The orientation of LiDAR was modified to make observations in the vertical plane and a motor was integrated for its rotation, enabling the acquisition of 360 degree data with high resolution. Motion and location sensors were also integrated for automatic error correction and georeferencing. From the data generated, histograms of point density variation along the vegetation height were created, where shrub stratum was easily distinguishable from tree stratum, and maximum tree height and shrub cover were calculated. These results agreed with the field data, whereby the developed TLS has proved to be effective in calculating metrics of structural complexity of vegetation. △ Less

Submitted 11 January, 2024; originally announced January 2024.

GPS-SSL: Guided Positive Sampling to Inject Prior Into Self-Supervised Learning

Authors: Aarash Feizi, Randall Balestriero, Adriana Romero-Soriano, Reihaneh Rabbany

Abstract: We propose Guided Positive Sampling Self-Supervised Learning (GPS-SSL), a general method to inject a priori knowledge into Self-Supervised Learning (SSL) positive samples selection. Current SSL methods leverage Data-Augmentations (DA) for generating positive samples and incorporate prior knowledge - an incorrect, or too weak DA will drastically reduce the quality of the learned representation. GPS… ▽ More We propose Guided Positive Sampling Self-Supervised Learning (GPS-SSL), a general method to inject a priori knowledge into Self-Supervised Learning (SSL) positive samples selection. Current SSL methods leverage Data-Augmentations (DA) for generating positive samples and incorporate prior knowledge - an incorrect, or too weak DA will drastically reduce the quality of the learned representation. GPS-SSL proposes instead to design a metric space where Euclidean distances become a meaningful proxy for semantic relationship. In that space, it is now possible to generate positive samples from nearest neighbor sampling. Any prior knowledge can now be embedded into that metric space independently from the employed DA. From its simplicity, GPS-SSL is applicable to any SSL method, e.g. SimCLR or BYOL. A key benefit of GPS-SSL is in reducing the pressure in tailoring strong DAs. For example GPS-SSL reaches 85.58% on Cifar10 with weak DA while the baseline only reaches 37.51%. We therefore move a step forward towards the goal of making SSL less reliant on DA. We also show that even when using strong DAs, GPS-SSL outperforms the baselines on under-studied domains. We evaluate GPS-SSL along with multiple baseline SSL methods on numerous downstream datasets from different domains when the models use strong or minimal data augmentations. We hope that GPS-SSL will open new avenues in studying how to inject a priori knowledge into SSL in a principled manner. △ Less

Submitted 9 January, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

Incorporating Geo-Diverse Knowledge into Prompting for Increased Geographical Robustness in Object Recognition

Authors: Kyle Buettner, Sina Malakouti, Xiang Lorraine Li, Adriana Kovashka

Abstract: Existing object recognition models have been shown to lack robustness in diverse geographical scenarios due to domain shifts in design and context. Class representations need to be adapted to more accurately reflect an object concept under these shifts. In the absence of training data from target geographies, we hypothesize that geographically diverse descriptive knowledge of categories can enhanc… ▽ More Existing object recognition models have been shown to lack robustness in diverse geographical scenarios due to domain shifts in design and context. Class representations need to be adapted to more accurately reflect an object concept under these shifts. In the absence of training data from target geographies, we hypothesize that geographically diverse descriptive knowledge of categories can enhance robustness. For this purpose, we explore the feasibility of probing a large language model for geography-based object knowledge, and we examine the effects of integrating knowledge into zero-shot and learnable soft prompting with CLIP. Within this exploration, we propose geography knowledge regularization to ensure that soft prompts trained on a source set of geographies generalize to an unseen target set. Accuracy gains over prompting baselines on DollarStreet while training only on Europe data are up to +2.8/1.2/1.6 on target data from Africa/Asia/Americas, and +4.6 overall on the hardest classes. Competitive performance is shown vs. few-shot target training, and analysis is provided to direct future study of geographical robustness. △ Less

Submitted 29 March, 2024; v1 submitted 2 January, 2024; originally announced January 2024.

Comments: To appear in IEEE/CVF Computer Vision and Pattern Recognition Conference (CVPR), 2024

Adaptive Kalman-based hybrid car following strategy using TD3 and CACC

Authors: Yuqi Zheng, Ruidong Yan, Bin Jia, Rui Jiang, Adriana TAPUS, Xiao**g Chen, Shiteng Zheng, Ying Shang

Abstract: In autonomous driving, the hybrid strategy of deep reinforcement learning and cooperative adaptive cruise control (CACC) can fully utilize the advantages of the two algorithms and significantly improve the performance of car following. However, it is challenging for the traditional hybrid strategy based on fixed coefficients to adapt to mixed traffic flow scenarios, which may decrease the performa… ▽ More In autonomous driving, the hybrid strategy of deep reinforcement learning and cooperative adaptive cruise control (CACC) can fully utilize the advantages of the two algorithms and significantly improve the performance of car following. However, it is challenging for the traditional hybrid strategy based on fixed coefficients to adapt to mixed traffic flow scenarios, which may decrease the performance and even lead to accidents. To address the above problems, a hybrid car following strategy based on an adaptive Kalman Filter is proposed by regarding CACC and Twin Delayed Deep Deterministic Policy Gradient (TD3) algorithms. Different from traditional hybrid strategy based on fixed coefficients, the Kalman gain H, using as an adaptive coefficient, is derived from multi-timestep predictions and Monte Carlo Tree Search. At the end of study, simulation results with 4157745 timesteps indicate that, compared with the TD3 and HCFS algorithms, the proposed algorithm in this study can substantially enhance the safety of car following in mixed traffic flow without compromising the comfort and efficiency. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Comments: 32pages,13figures

The universal variability of the stellar initial mass function probed by the TIMER survey

Authors: Ignacio Martín-Navarro, Adriana de Lorenzo-Cáceres, Dimitri A. Gadotti, Jairo Méndez-Abreu, Jesús Falcón-Barroso, Patricia Sánchez-Blázquez, Paula Coelho, Justus Neumann, Glenn van de Ven, Isabel Pérez

Abstract: The debate about the universality of the stellar initial mass function (IMF) revolves around two competing lines of evidence. While measurements in the Milky Way, an archetypal spiral galaxy, seem to support an invariant IMF, the observed properties of massive early-type galaxies (ETGs) favor an IMF somehow sensitive to the local star formation conditions. The fundamental methodological and physic… ▽ More The debate about the universality of the stellar initial mass function (IMF) revolves around two competing lines of evidence. While measurements in the Milky Way, an archetypal spiral galaxy, seem to support an invariant IMF, the observed properties of massive early-type galaxies (ETGs) favor an IMF somehow sensitive to the local star formation conditions. The fundamental methodological and physical differences between both approaches have hampered, however, a comprehensive understanding of IMF variations. We describe here an improved modelling scheme that allows for the first time consistent IMF measurements across stellar populations with different ages and complex star formation histories. Making use of the exquisite MUSE optical data from the TIMER survey and powered by the MILES stellar population models, we show the age, metallicity, [Mg/Fe], and IMF slope maps of the inner regions of NGC 3351, a spiral galaxy with a mass similar to that of the Milky Way. The measured IMF values in NGC3351 follow the expectations from a Milky Way-like IMF, although they simultaneously show systematic and spatially coherent variations, particularly for low-mass stars. In addition, our stellar population analysis reveals the presence of metal-poor and Mg-enhanced star-forming regions that appear to be predominantly enriched by the stellar ejecta of core-collapse supernovae. Our findings showcase therefore the potential of detailed studies of young stellar populations to better understand the early stages of galaxy evolution and, in particular, the origin of the observed IMF variations beyond and within the Milky Way. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 16 pages, 11 figures. Accepted for publication in Astronomy and Astrophysics

A Picture is Worth More Than 77 Text Tokens: Evaluating CLIP-Style Models on Dense Captions

Authors: Jack Urbanek, Florian Bordes, Pietro Astolfi, Mary Williamson, Vasu Sharma, Adriana Romero-Soriano

Abstract: Curation methods for massive vision-language datasets trade off between dataset size and quality. However, even the highest quality of available curated captions are far too short to capture the rich visual detail in an image. To show the value of dense and highly-aligned image-text pairs, we collect the Densely Captioned Images (DCI) dataset, containing 7805 natural images human-annotated with ma… ▽ More Curation methods for massive vision-language datasets trade off between dataset size and quality. However, even the highest quality of available curated captions are far too short to capture the rich visual detail in an image. To show the value of dense and highly-aligned image-text pairs, we collect the Densely Captioned Images (DCI) dataset, containing 7805 natural images human-annotated with mask-aligned descriptions averaging above 1000 words each. With precise and reliable captions associated with specific parts of an image, we can evaluate vision-language models' (VLMs) understanding of image content with a novel task that matches each caption with its corresponding subcrop. As current models are often limited to 77 text tokens, we also introduce a summarized version (sDCI) in which each caption length is limited. We show that modern techniques that make progress on standard benchmarks do not correspond with significant improvement on our sDCI based benchmark. Lastly, we finetune CLIP using sDCI and show significant improvements over the baseline despite a small training set. By releasing the first human annotated dense image captioning dataset, we hope to enable the development of new benchmarks or fine-tuning recipes for the next generation of VLMs to come. △ Less

Submitted 17 June, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Quantum trap** and rotational self-alignment in triangular Casimir microcavities

Authors: Betül Küçüköz, Oleg V. Kotov, Adriana Canales, Alexander Yu. Polyakov, Abhay V. Agrawal, Tomasz J. Antosiewicz, Timur O. Shegai

Abstract: Casimir torque -- a rotational motion caused by the minimization of the zero-point energy -- is a problem that attracts significant theoretical and experimental interest. Recently, it has been realized using liquid crystal phases and natural anisotropic substrates. However, for natural materials, the torque reaches substantial values only at van der Waals distances of ~10 nm. Here, we employ Casim… ▽ More Casimir torque -- a rotational motion caused by the minimization of the zero-point energy -- is a problem that attracts significant theoretical and experimental interest. Recently, it has been realized using liquid crystal phases and natural anisotropic substrates. However, for natural materials, the torque reaches substantial values only at van der Waals distances of ~10 nm. Here, we employ Casimir self-assembly using templated gold nanostructures of triangular symmetry for the purpose of rotational self-alignment at truly Casimir distances (100 -- 200 nm separation). The joint action of repulsive electrostatic and attractive Casimir potentials leads to the formation of a stable quantum trap, giving rise to a tunable Fabry-Perot microcavity. This cavity self aligns both laterally and rotationally to maximize the overlap area between the templated and floating triangular flakes. The rotational self-alignment is remarkably sensitive to the equilibrium distance between the two triangles as well as their area, which opens possibilities for active control through manipulating the electrostatic screening. Our self-assembled and self-aligned Casimir microcavities could find future use as a versatile and tunable platform for nanophotonic, polaritonic, and optomechanical applications. △ Less

Submitted 6 May, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 26 pages, 13 figures

Journal ref: Science Advances 10, eadn1825 (2024)

Learning and Autonomy for Extraterrestrial Terrain Sampling: An Experience Report from OWLAT Deployment

Authors: Pranay Thangeda, Ashish Goel, Erica Tevere, Yifan Zhu, Erik Kramer, Adriana Daca, Hari Nayar, Kris Hauser, Melkior Ornik

Abstract: Extraterrestrial autonomous lander missions increasingly demand adaptive capabilities to handle the unpredictable and diverse nature of the terrain. This paper discusses the deployment of a Deep Meta-Learning with Controlled Deployment Gaps (CoDeGa) trained model for terrain scoo** tasks in Ocean Worlds Lander Autonomy Testbed (OWLAT) at NASA Jet Propulsion Laboratory. The CoDeGa-powered scoopin… ▽ More Extraterrestrial autonomous lander missions increasingly demand adaptive capabilities to handle the unpredictable and diverse nature of the terrain. This paper discusses the deployment of a Deep Meta-Learning with Controlled Deployment Gaps (CoDeGa) trained model for terrain scoo** tasks in Ocean Worlds Lander Autonomy Testbed (OWLAT) at NASA Jet Propulsion Laboratory. The CoDeGa-powered scoo** strategy is designed to adapt to novel terrains, selecting scoo** actions based on the available RGB-D image data and limited experience. The paper presents our experiences with transferring the scoo** framework with CoDeGa-trained model from a low-fidelity testbed to the high-fidelity OWLAT testbed. Additionally, it validates the method's performance in novel, realistic environments, and shares the lessons learned from deploying learning-based autonomy algorithms for space exploration. Experimental results from OWLAT substantiate the efficacy of CoDeGa in rapidly adapting to unfamiliar terrains and effectively making autonomous decisions under considerable domain shifts, thereby endorsing its potential utility in future extraterrestrial missions. △ Less

Submitted 4 December, 2023; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: Updated references to include recent work on autonomy for ocean worlds

New recursive constructions of amoebas and their balancing number

Authors: Laura Eslava, Adriana Hansberg, Tonatiuh Matos Wiederhold, Denae Ventura

Abstract: The definition of amoeba graphs is based on iterative \emph{feasible edge-replacements}, where, at each step, an edge from the graph is removed and placed in an available spot in a way that the resulting graph is isomorphic to the original graph. Broadly speaking, amoebas are graphs that, by means of a chain of feasible edge-replacements, can be transformed into any other copy of itself on a given… ▽ More The definition of amoeba graphs is based on iterative \emph{feasible edge-replacements}, where, at each step, an edge from the graph is removed and placed in an available spot in a way that the resulting graph is isomorphic to the original graph. Broadly speaking, amoebas are graphs that, by means of a chain of feasible edge-replacements, can be transformed into any other copy of itself on a given vertex set (which is defined according to whether these are local or global amoebas). Global amoebas were born as examples of \emph{balanceable} graphs, which are graphs that appear with half of their edges in each color in any $2$-edge coloring of a large enough complete graph with a sufficient amount of edges in each color. The least amount of edges required in each color is called the \emph{balancing number} of $G$. In a work by Caro et al., an infinite family of global amoeba trees with arbitrarily large maximum degree is presented, and the question if they were also local amoebas is raised. In this paper, we provide a recursive construction to generate very diverse infinite families of local and global amoebas, by which not only this question is answered positively, it also yields an efficient algorithm that, given any copy of the graph on the same vertex set, provides a chain of feasible edge-replacements that one can perform in order to move the graph into the aimed copy. All results are illustrated by applying them to three different families of local amoebas, including the Fibonacci-type trees. Concerning the balancing number of a global amoeba $G$, we are able to express it in terms of the extremal number of a class of subgraphs of $G$. By means of this, we give a general lower bound for the balancing number of a global amoeba $G$, and we provide linear (in terms of order) lower and upper bounds for the balancing number of our three case studies. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: 27 pages, 10 figures

MSC Class: 05D99

Parameterised Geant4 simulation for total body PET research

Authors: Benjamin M. Wynne, Hanna Borecka-Bielska, Matthew Needham, Adriana A. S. Tavares

Abstract: Total-body positron emission tomography (PET) imaging has the potential to transform medical care of a number of diseases and augment our knowledge of systems biology. Various detector designs and geometries are currently under development for total-body PET imaging of humans. This variety, in particular the variation in axial field-of-view (aFOV), motivates a need to compare the performance of th… ▽ More Total-body positron emission tomography (PET) imaging has the potential to transform medical care of a number of diseases and augment our knowledge of systems biology. Various detector designs and geometries are currently under development for total-body PET imaging of humans. This variety, in particular the variation in axial field-of-view (aFOV), motivates a need to compare the performance of these devices in a consistent simulated environment. We present an open-source Geant4 simulation package that allows variation of relevant parameters such as the detector aFOV and the tracer radioisotope from the command line. Two simplified detector geometries based on the Siemens Biograph Vision Quadra and United Imaging uEXPLORER models are supported with variable granularity. The intrinsic radioactivity of the detector crystals is fully simulated. The simulation can be viewed with the built-in GUI, and the results are saved in a plain text format for easy analysis. Example Python analysis code is provided with the simulation, demonstrating calculation of the noise equivalent count rate (NECR) figure of merit using an approximation to the NEMA NU 2-2012 standard method. A good agreement between the simulated count rate performance and experimental data is observed for both geometries. The differences in results are attributed to simplifications in the simulation code, namely not accounting for the light-collection efficiency or readout dead-time. We demonstrate the importance of assessing the scanner performance using appropriate phantom length which significantly affects the obtained results. A dependence between the detector aFOV and the length of the source, with peak NECR plateauing as the detector extends beyond the region of interest is also presented. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: 13 pages in total, 6 figures

DeltaLCA: Comparative Life-Cycle Assessment for Electronics Design

Authors: Zhihan Zhang, Felix Hähnlein, Yuxuan Mei, Zachary Englhardt, Shwetak Patel, Adriana Schulz, Vikram Iyer

Abstract: Reducing the environmental footprint of electronics and computing devices requires new tools that empower designers to make informed decisions about sustainability during the design process itself. This is not possible with current tools for life cycle assessment (LCA) which require substantial domain expertise and time to evaluate the numerous chips and other components that make up a device. We… ▽ More Reducing the environmental footprint of electronics and computing devices requires new tools that empower designers to make informed decisions about sustainability during the design process itself. This is not possible with current tools for life cycle assessment (LCA) which require substantial domain expertise and time to evaluate the numerous chips and other components that make up a device. We observe first that informed decision-making does not require absolute metrics and can instead be done by comparing designs. Second, we can use domain-specific heuristics to perform these comparisons. We combine these insights to develop DeltaLCA, an open-source interactive design tool that addresses the dual challenges of automating life cycle inventory generation and data availability by performing comparative analyses of electronics designs. Users can upload standard design files from Electronic Design Automation (EDA) software and the tool will guide them through determining which one has greater carbon footprint. DeltaLCA leverages electronics-specific LCA datasets and heuristics and tries to automatically rank the two designs, prompting users to provide additional information only when necessary. We show through case studies DeltaLCA achieves the same result as evaluating full LCAs, and that it accelerates LCA comparisons from eight expert-hours to a single click for devices with ~30 components, and 15 minutes for more complex devices with ~100 components. △ Less

Submitted 16 November, 2023; originally announced November 2023.

OpenBSD formal driver verification with SeL4

Authors: Adriana Nicolae, Paul Irofti, Ioana Leustean

Abstract: The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from its important role in the entire operating system. One of the basic features of an operating system is that it abstracts the handling of devices. This abstraction is represented by device drivers - the software that man… ▽ More The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from its important role in the entire operating system. One of the basic features of an operating system is that it abstracts the handling of devices. This abstraction is represented by device drivers - the software that manages the hardware. A proper verification of the software component could ensure that the device would work properly unless there is a hardware failure.In this paper, we choose to model the behavior of a device driver and build the proof that the code implementation matches the expected behavior. The proof was written in Isabelle/HOL, the code translation from C to Isabelle was done automatically by the use of the C-to-Isabelle Parser and AutoCorres tools. We choose Isabelle theorem prover because its efficiency was already shown through the verification of seL4 microkernel. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Mathematical model of thermal phenomena of closure electrical contact with Joule heat source and nonlinear thermal coefficients

Authors: Julieta Bollati, Adriana C. Briozzo, Stanislav N. Kharin, Targyn A. Nauryz

Abstract: The mathematical model describing the dynamics of closed contact heating which involves vaporization of the metal when instantaneous explosion of micro-asperity occurs is presented through a Stefan type problem. The temperature field for metallic vaporization zone is introduced as heat resistance that decreases linearity. Temperature fields for liquid and solid phases of the metal described by sph… ▽ More The mathematical model describing the dynamics of closed contact heating which involves vaporization of the metal when instantaneous explosion of micro-asperity occurs is presented through a Stefan type problem. The temperature field for metallic vaporization zone is introduced as heat resistance that decreases linearity. Temperature fields for liquid and solid phases of the metal described by spherical heat equations with nonlinear thermal coefficients and Joule heat source have to be determined as well as the free boundaries. Joule heating component depends on space and time variable when alternating current is considered. Solution method of the problem based on similarity variable transformation is applied which enables us to reduce the problem to an ordinary differential equations and nonlinear integral equations. Existence and uniqueness of the integral equations are proved by using fixed point theorem in Banach space. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Journal ref: International Journal of Non Linear Mechanics 158 (2024) 104568

Mathematical modeling of heat process in a cylindrical domain with nonlinear thermal coefficients and a heat source on the axis

Authors: Julieta Bollati, Adriana C. Briozzo, Stanislav N. Kharin, Targyn A. Nauryz

Abstract: A mathematical model of the heat process in one-dimensional domain governed by a cylindrical heat equation with a heat source on the axis $z=0$ and nonlinear thermal coefficients is considered. The developed model is particularly applicable for analyzing temperature variations on electrical contact surfaces, where precise thermal management is crucial for ensuring optimal performance and preventin… ▽ More A mathematical model of the heat process in one-dimensional domain governed by a cylindrical heat equation with a heat source on the axis $z=0$ and nonlinear thermal coefficients is considered. The developed model is particularly applicable for analyzing temperature variations on electrical contact surfaces, where precise thermal management is crucial for ensuring optimal performance and preventing overheating. To solve the mathematical model, we employ a solution method based on similarity transformations. This technique allows us to reduce the problem to an ordinary differential problem, which is equivalent to a nonlinear integral equations system. To ensure the existence and uniqueness of the solution, we employ the fixed point theory in a Banach space, providing a rigorous mathematical foundation for our analysis. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Purcell-Enhanced Single-Photon Emission in the Telecom C-Band

Authors: Jochen Kaupp, Yorick Reum, Felix Kohr, Johannes Michl, Quirin Buchinger, Adriana Wolf, Giora Peniakov, Tobias Huber-Loyola, Andreas Pfenning, Sven Höfling

Abstract: Purcell-enhanced quantum dot single-photon emission in the telecom C-band from InAs quantum dots inside circular Bragg grating cavities is shown. The InAs quantum dots are grown by means of molecular beam epitaxy on an InP substrate and are embedded into a quaternary $\mathrm{In}_{0.53}\mathrm{Al}_{0.23}\mathrm{Ga}_{0.24}\mathrm{As}$ membrane structure. In a post-growth flip-chip process with subs… ▽ More Purcell-enhanced quantum dot single-photon emission in the telecom C-band from InAs quantum dots inside circular Bragg grating cavities is shown. The InAs quantum dots are grown by means of molecular beam epitaxy on an InP substrate and are embedded into a quaternary $\mathrm{In}_{0.53}\mathrm{Al}_{0.23}\mathrm{Ga}_{0.24}\mathrm{As}$ membrane structure. In a post-growth flip-chip process with subsequent substrate removal and electron beam-lithography, circular Bragg grating ("bullseye") resonators are defined. Micro-photoluminescence studies of the devices at cryogenic temperatures of T = 5 K reveal individual quantum dot emission lines into a pronounced cavity mode. Time-correlated single-photon counting measurements under above-band gap excitation yield Purcell-enhanced excitonic decay times of $τ= (180 \pm 3)$ ps corresponding to a Purcell factor of $F_P = (6.7 \pm 0.6)$. Pronounced photon antibunching with a background limited $g^{(2)}(0) = (0.057 \pm 0.004)$ is observed, which demonstrates that the light originated mostly from one single quantum dot. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 8 pages, 5 figures

Journal ref: Advanced Quantum Technologies 2023, 2300242

An analysis of large speech models-based representations for speech emotion recognition

Authors: Adrian Bogdan Stânea, Vlad Striletchi, Cosmin Striletchi, Adriana Stan

Abstract: Large speech models-derived features have recently shown increased performance over signal-based features across multiple downstream tasks, even when the networks are not finetuned towards the target task. In this paper we show the results of an analysis of several signal- and neural models-derived features for speech emotion recognition. We use pretrained models and explore their inherent potenti… ▽ More Large speech models-derived features have recently shown increased performance over signal-based features across multiple downstream tasks, even when the networks are not finetuned towards the target task. In this paper we show the results of an analysis of several signal- and neural models-derived features for speech emotion recognition. We use pretrained models and explore their inherent potential abstractions of emotions. Simple classification methods are used so as to not interfere or add knowledge to the task. We show that, even without finetuning, some of these large neural speech models' representations can enclose information that enables performances close to, and even beyond state-of-the-art results across six standard speech emotion recognition datasets. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: Presented at SPED2023 - IEEE 12th Conference on Speech Technology and Human-Computer Dialogue, october 2023, Bucharest, Romania

Strain control of band topology and surface states in antiferromagnetic EuCd$_2$As$_2$

Authors: Nayra A. Álvarez Pari, V. K. Bharadwaj, R. Jaeschke-Ubiergo, A. Valadkhani, Roser Valentí, L. Šmejkal, Jairo Sinova

Abstract: Topological semimetal antiferromagnets provide a rich source of exotic topological states which can be controlled by manipulating the orientation of the Néel vector, or by modulating the lattice parameters through strain. We investigate via ${ab\ initio}$ density functional theory calculations, the effects of shear strain on the bulk and surface states n two antiferromagnetic EuCd$_2$As$_2$ phases… ▽ More Topological semimetal antiferromagnets provide a rich source of exotic topological states which can be controlled by manipulating the orientation of the Néel vector, or by modulating the lattice parameters through strain. We investigate via ${ab\ initio}$ density functional theory calculations, the effects of shear strain on the bulk and surface states n two antiferromagnetic EuCd$_2$As$_2$ phases with out-of-plane and in-plane spin configurations. When magnetic moments are along the $\textit{c}$-axis, a $3\%$ longitudinal or diagonal shear strain can tune the Dirac semimetal phase to an axion insulator phase, characterized by the parity-based invariant $η_{4I} = 2$. For an in-plane magnetic order, the axion insulator phase remains robust under all shear strains. We further find that for both magnetic orders, the bulk gap increases and a surface gap opens on the (001) surface up to 16 meV. Because of a nonzero $η_{4I}$ index and gapped states on the (001) surface, hinge modes are expected to happen on the side surface states between those gapped surface states. This result can provide a valuable insight in the realization of the long-sought axion states. △ Less

Submitted 29 October, 2023; originally announced October 2023.

Comments: 5 pages, 4 figures

Electronic structure, magnetic correlations, and superconducting pairing in the reduced Ruddlesden-Popper bilayer La$_3$Ni$_2$O$_6$ under pressure: different role of $d_{3z^2-r^2}$ orbital compared with La$_3$Ni$_2$O$_7$

Authors: Yang Zhang, Ling-Fang Lin, Adriana Moreo, Thomas A. Maier, Elbio Dagotto

Abstract: The recent discovery of superconductivity in bilayer La$_3$Ni$_2$O$_7$ (327-LNO) under pressure stimulated much interest in layered nickelates. However, superconductivity was not found in another bilayer nickelate system, La$_3$Ni$_2$O$_6$ (326-LNO), even under pressure. Using density functional theory and the random phase approximation (RPA), we systematically investigate 326-LNO under pressure.… ▽ More The recent discovery of superconductivity in bilayer La$_3$Ni$_2$O$_7$ (327-LNO) under pressure stimulated much interest in layered nickelates. However, superconductivity was not found in another bilayer nickelate system, La$_3$Ni$_2$O$_6$ (326-LNO), even under pressure. Using density functional theory and the random phase approximation (RPA), we systematically investigate 326-LNO under pressure. The large crystal-field splitting between the $e_g$ orbitals caused by the missing apical oxygen moves the $d_{3z^2-r^2}$ orbital farther away from the Fermi level, implying that the $d_{3z^2-r^2}$ orbital plays a less important role in 326-LNO than in 327-LNO. This also results in a smaller bandwidth for the $d_{x^2-y^2}$ orbital and a reduced energy gap for the bonding-antibonding splitting of the $d_{3z^2-r^2}$ orbital in 326-LNO, as compared to 327-LNO. Moreover, the in-plane hybridization between the $d_{x^2-y^2}$ and $d_{3z^2-r^2}$ orbitals is found to be small in 326-LNO, while it is much stronger in 327-LNO. The weak inter-layer coupling suggests that $s_{\pm}$-wave pairing is unlikely in 326-LNO. The robust in-plane ferromagnetic coupling also suggests that d-wave superconductivity, which is usually caused by antiferromagnetic fluctuations of the $d_{x^2-y^2}$ orbital, is also unlikely in 326-LNO. These conclusions are supported by our many-body RPA calculations of the pairing behavior. Contrasting with the cuprates, for the bilayer cuprate HgBa$_2$CaCu$_2$O$_6$, we find a strong "self-do** effect" of the $d_{x^2-y^2}$ orbital under pressure, with the charge of Cu being reduced by approximately 0.13 electrons from 0 GPa to 25 GPa. In contrast, we do not observe such a change in the electronic density in 326-LNO under pressure, establishing another important difference between the nickelates and the cuprates. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 9 pages 6 figures

Journal ref: Phys. Rev. B 109, 045151 (2024)

Peccei-Quinn Inflation at the Pole and Axion Kinetic Misalignment

Authors: Hyun Min Lee, Adriana G. Menkara, Myeong-Jung Seong, Jun-Ho Song

Abstract: We propose a minimal extension of the Standard Model with the Peccei-Quinn (PQ) scalar field and explain the relic density of the QCD axion through the kinetic misalignment with a relatively small axion decay constant. To this purpose, we consider a slow-roll inflation from the radial component of the PQ field with the PQ conserving potential near the pole of its kinetic term and investigate the p… ▽ More We propose a minimal extension of the Standard Model with the Peccei-Quinn (PQ) scalar field and explain the relic density of the QCD axion through the kinetic misalignment with a relatively small axion decay constant. To this purpose, we consider a slow-roll inflation from the radial component of the PQ field with the PQ conserving potential near the pole of its kinetic term and investigate the post-inflationary dynamics of the PQ field for reheating. The angular mode of the PQ field, identified with the QCD axion, receives a nonzero velocity during inflation due to the PQ violating potential, evolving with an approximately conserved Noether PQ charge. We determine the reheating temperature from the perturbative decays and scattering processes of the inflaton and obtain dark radiation from the axions produced from the inflaton scattering at a testable level in the future Cosmic Microwave Background experiments. We show the correlation between the reheating temperature, the initial velocity of the axion and the axion decay constant, realizing the axion kinetic misalignment for the correct relic density. △ Less

Submitted 1 May, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 28 pages, 3 figures, v2: improved discussion on the evolution of the axion velocity with a changing equation of state of the inflaton. Version to be published in JHEP

An SiO Toroid and Wide-angle Outflow associated with the Massive Protostar W75N(B)-VLA2

Authors: Jose F. Gomez, Jose M. Torrelles, Josep M. Girart, Gabriele Surcis, Jeong-Sook Kim, Jorge Canto, Guillem Anglada, Salvador Curiel, Wouter H. T. Vlemmings, Carlos Carrasco-Gonzalez, Adriana R. Rodriguez-Kamenetzky, Soon-Wook Kim, Ciriaco Goddi, Huib J. van Langevelde, Alvaro Sanchez-Monge

Abstract: We have carried out ALMA observations of the massive star-forming region W75N(B), which contains the massive protostars VLA1, VLA2, and VLA3. Particularly, VLA2 is an enigmatic protostar associated with a wind-driven H$_2$O maser shell, which has evolved from an almost isotropic outflow to a collimated one in just 20 years. The shell expansion seemed to be halted by an obstacle located to the nort… ▽ More We have carried out ALMA observations of the massive star-forming region W75N(B), which contains the massive protostars VLA1, VLA2, and VLA3. Particularly, VLA2 is an enigmatic protostar associated with a wind-driven H$_2$O maser shell, which has evolved from an almost isotropic outflow to a collimated one in just 20 years. The shell expansion seemed to be halted by an obstacle located to the northeast of VLA2. Here we present our findings from observing the 1.3 mm continuum and H$_2$CO and SiO emission lines. Within a region of $\sim 30"$ ($\sim 39,000$ au) diameter, we have detected 40 compact mm-continuum sources, three of them coinciding with VLA1, VLA2, and VLA3. While the H$_2$CO emission is mainly distributed in a fragmented structure around the three massive protostars, but without any of the main H$_2$CO clumps spatially coinciding with them, the SiO is highly concentrated on VLA2, indicating the presence of very strong shocks generated near this protostar. The SiO emission is clearly resolved into an elongated structure ($\sim 0.6"\times0.3"$; $\sim 780$ au$\times$390 au) perpendicular to the major axis of the wind-driven maser shell. The structure and kinematics of the SiO emission are consistent with a toroid and a wide-angle outflow surrounding a central mass of $\sim 10$ M$_{\odot}$, thus supporting previous theoretical predictions regarding the evolution of the outflow. Additionally, we have identified the expected location and estimated the gas density of the obstacle that is hindering the expansion of the maser shell. △ Less

Submitted 13 October, 2023; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: To be published in The Astrophysical Journal Letters. Sixteen pages, seven figures. Updated metadata

Searching for High-Value Molecules Using Reinforcement Learning and Transformers

Authors: Raj Ghugare, Santiago Miret, Adriana Hugessen, Mariano Phielipp, Glen Berseth

Abstract: Reinforcement learning (RL) over text representations can be effective for finding high-value policies that can search over graphs. However, RL requires careful structuring of the search space and algorithm design to be effective in this challenge. Through extensive experiments, we explore how different design choices for text grammar and algorithmic choices for training can affect an RL policy's… ▽ More Reinforcement learning (RL) over text representations can be effective for finding high-value policies that can search over graphs. However, RL requires careful structuring of the search space and algorithm design to be effective in this challenge. Through extensive experiments, we explore how different design choices for text grammar and algorithmic choices for training can affect an RL policy's ability to generate molecules with desired properties. We arrive at a new RL-based molecular design algorithm (ChemRLformer) and perform a thorough analysis using 25 molecule design tasks, including computationally complex protein docking simulations. From this analysis, we discover unique insights in this problem space and show that ChemRLformer achieves state-of-the-art performance while being more straightforward than prior work by demystifying which design choices are actually helpful for text-based molecule design. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Schwarzschild Modeling of Barred S0 Galaxy NGC 4371

Authors: Behzad Tahmasebzadeh, Ling Zhu, Juntai Shen, Dimitri A. Gadotti, Monica Valluri, Sabine Thater, Glenn van de Ven, Yunpeng **, Ortwin Gerhard, Peter Erwin, Prashin Jethwa, Alice Zocchi, Edward J. Lilley, Francesca Fragkoudi, Adriana de Lorenzo-Cáceres, Jairo Méndez-Abreu, Justus Neumann, Rui Guo

Abstract: We apply the barred Schwarzschild method developed by Tahmasebzadeh et al. (2022) to a barred S0 galaxy, NGC 4371, observed by IFU instruments from the TIMER and ATLAS3D projects. We construct the gravitational potential by combining a fixed black hole mass, a spherical dark matter halo, and stellar mass distribution deprojected from $3.6$ $μ$m S$^4$G image considering an axisymmetric disk and a t… ▽ More We apply the barred Schwarzschild method developed by Tahmasebzadeh et al. (2022) to a barred S0 galaxy, NGC 4371, observed by IFU instruments from the TIMER and ATLAS3D projects. We construct the gravitational potential by combining a fixed black hole mass, a spherical dark matter halo, and stellar mass distribution deprojected from $3.6$ $μ$m S$^4$G image considering an axisymmetric disk and a triaxial bar. We independently modeled kinematic data from TIMER and ATLAS3D. Both models fit the data remarkably well. We find a consistent bar pattern speed from the two sets of models, with $Ω_{\rm p} = 23.6 \pm 2.8 \hspace{.08cm} \mathrm{km \hspace{.04cm} s^{-1} \hspace{.04cm} kpc^{-1} }$. The dimensionless bar rotation parameter is determined to be $ R_{\rm cor}/R_{\rm bar}=1.9 \pm 0.3$, indicating a slow bar in NGC 4371. Additionally, our model predicts a high amount of dark matter within the bar region ($M_{\rm DM}/ M_{\rm total}$ $\sim 0.51 \pm 0.06$), which, aligned with the predictions of cosmological simulations, indicates that fast bars are generally found in baryon-dominated disks. Based on the best-fitting model, we further decompose the galaxy into multiple 3D orbital structures, including a BP/X bar, a classical bulge, a nuclear disk, and a main disk. The BP/X bar is not perfectly included in the input 3D density model, but BP/X-supporting orbits are picked through the fitting to the kinematic data. This is the first time a real barred galaxy has been modeled utilizing the Schwarzschild method including a 3D bar. △ Less

Submitted 20 May, 2024; v1 submitted 30 September, 2023; originally announced October 2023.

Comments: Resubmitted after addressing the referee's reports

Feedback-guided Data Synthesis for Imbalanced Classification

Authors: Reyhane Askari Hemmat, Mohammad Pezeshki, Florian Bordes, Michal Drozdzal, Adriana Romero-Soriano

Abstract: Current status quo in machine learning is to use static datasets of real images for training, which often come from long-tailed distributions. With the recent advances in generative models, researchers have started augmenting these static datasets with synthetic data, reporting moderate performance improvements on classification tasks. We hypothesize that these performance gains are limited by the… ▽ More Current status quo in machine learning is to use static datasets of real images for training, which often come from long-tailed distributions. With the recent advances in generative models, researchers have started augmenting these static datasets with synthetic data, reporting moderate performance improvements on classification tasks. We hypothesize that these performance gains are limited by the lack of feedback from the classifier to the generative model, which would promote the usefulness of the generated samples to improve the classifier's performance. In this work, we introduce a framework for augmenting static datasets with useful synthetic samples, which leverages one-shot feedback from the classifier to drive the sampling of the generative model. In order for the framework to be effective, we find that the samples must be close to the support of the real data of the task at hand, and be sufficiently diverse. We validate three feedback criteria on a long-tailed dataset (ImageNet-LT) as well as a group-imbalanced dataset (NICO++). On ImageNet-LT, we achieve state-of-the-art results, with over 4 percent improvement on underrepresented classes while being twice efficient in terms of the number of generated synthetic samples. NICO++ also enjoys marked boosts of over 5 percent in worst group accuracy. With these results, our framework paves the path towards effectively leveraging state-of-the-art text-to-image models as data sources that can be queried to improve downstream applications. △ Less

Submitted 29 September, 2023; originally announced October 2023.

Towards Automated Accessibility Report Generation for Mobile Apps

Authors: Amanda Swearngin, Jason Wu, Xiaoyi Zhang, Esteban Gomez, Jen Coughenour, Rachel Stukenborg, Bhavya Garg, Greg Hughes, Adriana Hilliard, Jeffrey P. Bigham, Jeffrey Nichols

Abstract: Many apps have basic accessibility issues, like missing labels or low contrast. Automated tools can help app developers catch basic issues, but can be laborious or require writing dedicated tests. We propose a system, motivated by a collaborative process with accessibility stakeholders at a large technology company, to generate whole app accessibility reports by combining varied data collection me… ▽ More Many apps have basic accessibility issues, like missing labels or low contrast. Automated tools can help app developers catch basic issues, but can be laborious or require writing dedicated tests. We propose a system, motivated by a collaborative process with accessibility stakeholders at a large technology company, to generate whole app accessibility reports by combining varied data collection methods (e.g., app crawling, manual recording) with an existing accessibility scanner. Many such scanners are based on single-screen scanning, and a key problem in whole app accessibility reporting is to effectively de-duplicate and summarize issues collected across an app. To this end, we developed a screen grou** model with 96.9% accuracy (88.8% F1-score) and UI element matching heuristics with 97% accuracy (98.2% F1-score). We combine these technologies in a system to report and summarize unique issues across an app, and enable a unique pixel-based ignore feature to help engineers and testers better manage reported issues across their app's lifetime. We conducted a qualitative evaluation with 18 accessibility-focused engineers and testers which showed this system can enhance their existing accessibility testing toolkit and address key limitations in current accessibility scanning tools. △ Less

Submitted 16 October, 2023; v1 submitted 29 September, 2023; originally announced October 2023.

Comments: 24 pages, 8 figures

A new tidal scenario for double bar formation

Authors: Marcin Semczuk, Ewa L. Łokas, Adriana de Lorenzo-Cáceres, E. Athanassoula

Abstract: Double bars make up a significant fraction of barred galaxies. We propose a new formation scenario for double bars that involves tidal interactions. We demonstrate the viability of this scenario using two examples of simulated galaxies from run TNG50-1 of the IllustrisTNG project. In the proposed scenario the inner bar forms first, either in isolation, via instabilities, or through previous tides.… ▽ More Double bars make up a significant fraction of barred galaxies. We propose a new formation scenario for double bars that involves tidal interactions. We demonstrate the viability of this scenario using two examples of simulated galaxies from run TNG50-1 of the IllustrisTNG project. In the proposed scenario the inner bar forms first, either in isolation, via instabilities, or through previous tides. The outer bar forms later from the material that is tidally distorted by a strong interaction. The inner and outer bars formed this way rotate with different pattern speeds and can be mistaken for a single bar when their phases align. The double-barred structure is stable and can last for at least 3 Gyr. The inner bars of the tidally induced double bars can also have big sizes, which can possibly explain the origin of sizable inner bars recently found in some galaxies. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: 5 pages, 6 figures, submitted to MNRAS Letters

Semi-Supervised Domain Generalization for Object Detection via Language-Guided Feature Alignment

Authors: Sina Malakouti, Adriana Kovashka

Abstract: Existing domain adaptation (DA) and generalization (DG) methods in object detection enforce feature alignment in the visual space but face challenges like object appearance variability and scene complexity, which make it difficult to distinguish between objects and achieve accurate detection. In this paper, we are the first to address the problem of semi-supervised domain generalization by explori… ▽ More Existing domain adaptation (DA) and generalization (DG) methods in object detection enforce feature alignment in the visual space but face challenges like object appearance variability and scene complexity, which make it difficult to distinguish between objects and achieve accurate detection. In this paper, we are the first to address the problem of semi-supervised domain generalization by exploring vision-language pre-training and enforcing feature alignment through the language space. We employ a novel Cross-Domain Descriptive Multi-Scale Learning (CDDMSL) aiming to maximize the agreement between descriptions of an image presented with different domain-specific characteristics in the embedding space. CDDMSL significantly outperforms existing methods, achieving 11.7% and 7.5% improvement in DG and DA settings, respectively. Comprehensive analysis and ablation studies confirm the effectiveness of our method, positioning CDDMSL as a promising approach for domain generalization in object detection tasks. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: Accepted at BMVC 2023

Modulus of edge covers and stars

Authors: Adriana Ortiz-Aquino, Nathan Albin

Abstract: This paper explores the modulus (discrete $p$-modulus) of the family of edge covers on a discrete graph. This modulus is closely related to that of the larger family of fractional edge covers; the modulus of the latter family is guaranteed to approximate the modulus of the former within a multiplicative factor. The bounds on edge cover modulus can be computed efficiently using a duality result tha… ▽ More This paper explores the modulus (discrete $p$-modulus) of the family of edge covers on a discrete graph. This modulus is closely related to that of the larger family of fractional edge covers; the modulus of the latter family is guaranteed to approximate the modulus of the former within a multiplicative factor. The bounds on edge cover modulus can be computed efficiently using a duality result that relates the fractional edge covers to the family of stars. △ Less

Submitted 29 February, 2024; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: Fixed an error in Theorem 3.9

Multi-Modal Embeddings for Isolating Cross-Platform Coordinated Information Campaigns on Social Media

Authors: Fabio Barbero, Sander op den Camp, Kristian van Kuijk, Carlos Soto García-Delgado, Gerasimos Spanakis, Adriana Iamnitchi

Abstract: Coordinated multi-platform information operations are implemented in a variety of contexts on social media, including state-run disinformation campaigns, marketing strategies, and social activism. Characterized by the promotion of messages via multi-platform coordination, in which multiple user accounts, within a short time, post content advancing a shared informational agenda on multiple platform… ▽ More Coordinated multi-platform information operations are implemented in a variety of contexts on social media, including state-run disinformation campaigns, marketing strategies, and social activism. Characterized by the promotion of messages via multi-platform coordination, in which multiple user accounts, within a short time, post content advancing a shared informational agenda on multiple platforms, they contribute to an already confusing and manipulated information ecosystem. To make things worse, reliable datasets that contain ground truth information about such operations are virtually nonexistent. This paper presents a multi-modal approach that identifies the social media messages potentially engaged in a coordinated information campaign across multiple platforms. Our approach incorporates textual content, temporal information and the underlying network of user and messages posted to identify groups of messages with unusual coordination patterns across multiple social media platforms. We apply our approach to content posted on four platforms related to the Syrian Civil Defence organization known as the White Helmets: Twitter, Facebook, Reddit, and YouTube. Results show that our approach identifies social media posts that link to news YouTube channels with similar factuality score, which is often an indication of coordinated operations. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: To appear in the 5th Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM 2023)

ACM Class: H.3.5; H.3.1

Coordinated Information Campaigns on Social Media: A Multifaceted Framework for Detection and Analysis

Authors: Kin Wai Ng, Adriana Iamnitchi

Abstract: The prevalence of coordinated information campaigns in social media platforms has significant negative consequences across various domains, including social, political, and economic processes. This paper proposes a multifaceted framework for detecting and analysing coordinated message promotion on social media. By simultaneously considering features related to content, time, and network dimensions… ▽ More The prevalence of coordinated information campaigns in social media platforms has significant negative consequences across various domains, including social, political, and economic processes. This paper proposes a multifaceted framework for detecting and analysing coordinated message promotion on social media. By simultaneously considering features related to content, time, and network dimensions, our framework can capture the diverse nature of coordinated activity and identify anomalous user accounts who likely engaged in suspicious behaviour. Unlike existing solutions that rely on specific constraints, our approach is more flexible as it employs specialised components to extract the significant structures within a network and to detect the most unusual interactions. We demonstrate the effectiveness of our framework using two Twitter datasets, the Russian Internet Research Agency (IRA), and long-term discussions on Data Science topics. The results demonstrate our framework's ability to isolate unusual activity from expected normal behaviour and provide valuable insights for further qualitative investigation. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: To be presented in the 5th Multidisciplinary International Symposium on Disinformation in Open Online Media (MISDOOM 2023)

ACM Class: H.3.5; H.3.1

Impact of M-dwarf Stellar Wind and Photoevaporation on the Atmospheric Evolution of Small Planets

Authors: Ashini Modi, Raissa Estrela, Adriana Valio

Abstract: The evolution of a planet's atmosphere depends strongly on its host star's properties. When their host stars are younger, planets can experience stronger winds and EUV emissions. This is particularly true for planets orbiting M-dwarfs due to their close proximity to the host star. To determine if these planets retain an atmosphere, we consider the impacts from stellar wind and EUV fluxes in drivin… ▽ More The evolution of a planet's atmosphere depends strongly on its host star's properties. When their host stars are younger, planets can experience stronger winds and EUV emissions. This is particularly true for planets orbiting M-dwarfs due to their close proximity to the host star. To determine if these planets retain an atmosphere, we consider the impacts from stellar wind and EUV fluxes in driving atmospheric escape throughout the planet's lifetime. For this, we determined the atmospheric mass loss due to stellar wind and photoevaporation on 4 planets in close orbit and 34 in their star's habitable zone (HZ). The M-dwarf host stars' wind velocity, density, and EUV flux were calculated through rotation period and X-ray flux scaling over time. The mass loss rate due to stellar wind and photoevaporation was then computed as a function of time and accumulated throughout the planet's age to determine the total atmospheric mass loss of the planet's initial H/He envelope. We find that for HZ planets at orbits $<$ 0.1 AU, stellar wind can only remove $\leq 1\%$ of the H/He envelope, while photoevaporation is essential for completely removing the H/He envelope of most targets. Moreover, due to either mechanism, most planets orbiting at $>$ 0.1 AU do not have their primordial envelope stripped. Overall, out of the 38 planets studied, 13 were predicted to have lost the primordial envelope due to photoevaporation, while 2 planets lost the envelope due to both stellar wind and photoevaporation. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 12 pages, 5 figures, published in MNRAS

Self-hybridized vibrational-Mie polaritons in water droplets

Authors: Adriana Canales, Oleg V. Kotov, Betül Küçüköz, Timur O. Shegai

Abstract: We study the self-hybridization between Mie modes supported by water droplets with stretching and bending vibrations in water molecules. Droplets with radii $>2.7~μm$ are found to be polaritonic on the onset of the ultrastrong light-matter coupling regime. Similarly, the effect is observed in larger deuterated water droplets at lower frequencies. Our results indicate that polaritonic states are ub… ▽ More We study the self-hybridization between Mie modes supported by water droplets with stretching and bending vibrations in water molecules. Droplets with radii $>2.7~μm$ are found to be polaritonic on the onset of the ultrastrong light-matter coupling regime. Similarly, the effect is observed in larger deuterated water droplets at lower frequencies. Our results indicate that polaritonic states are ubiquitous in nature and occur in water droplets in mists, fogs, and clouds. This finding may have implications not only for polaritonic physics but also for aerosol and atmospheric sciences. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: Main text: 6 pages, 3 figures. Supplemental: 9 pages, 8 figures

Automatic detection of solar flares observed at 45 GHz by the POEMAS telescope

Authors: Vanessa Lessa, Adriana Valio

Abstract: Every 11 years, the Sun goes through periods of activity, with the occurrence of many solar flares and mass ejections, both energetic phenomena of magnetic origin. Due to its effects on Earth, the study of solar activity is of paramount importance. POEMAS (Polarization of Millimeter Emission of Solar Activity) is a system of two telescopes, installed at CASLEO (El Leoncito Astronomical Complex) in… ▽ More Every 11 years, the Sun goes through periods of activity, with the occurrence of many solar flares and mass ejections, both energetic phenomena of magnetic origin. Due to its effects on Earth, the study of solar activity is of paramount importance. POEMAS (Polarization of Millimeter Emission of Solar Activity) is a system of two telescopes, installed at CASLEO (El Leoncito Astronomical Complex) in Argentina, which monitors the Sun at two millimeter wavelengths (corresponding frequencies of 45 and 90 GHz). The objective of this work is to automatically detect solar flares observed by the polarimeter. First it is necessary to eliminate the background noise, caused mainly by instrumental problems, from the light curves of millimeter solar emission. The methodology used to exclude the noise proposed in this work is to use the tendency of time series. The subtraction of this model from the light curves provides the input to automate the detection of solar flares using artificial intelligence techniques. A Neural Network was trained to recognize patterns and analyze a dataset in order to identify solar flares. Previously, a total of 30 flares had been visually identified and analyzed in the POEMAS database between 2011/11/22 and 2013/12/10. The methodology presented here confirmed 87% of these events, moreover the neural network was able to identify at least 9 new events. As the neural network was trained to detect impulsive events (lasting less than 5 min), long duration bursts were not automatically detected, nor were they detected visually due to the background noise of the telescope. Visual inspection of the POEMAS data, when comparing with microwave data from the RSTN, allowed the identification of an additional 10 long-duration solar flares at 45 GHz. We discuss some problems encountered and possible solutions for future work. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 23 pages, 9 figures, 6 tables

Journal ref: Astronomy and Computing, 2023, Volume 44, 100738