Search

This paper presents a review of research on the effectiveness of educational television compared to traditional face-to-face instruction. The studies reviewed are presented under seven rubrics: TV as a catalyst for learning; two-way TV; use of commercial TV shows; simulation of a real situation; TV integrated as part of the classroom lecture; TV courses instead of lecture in the classroom; and TV courses in the home. The author concludes that while TV has proved effective for teaching basic knowledge, it is deficient for teaching cognitive skills requiring more than "level I" knowledge. A bibliography is appended (the latest reference is to a 1975 publication). (BB)

Children with disabilities remain among the most excluded from education in Global Partnership for Education (GPE) partner countries and other lower-income countries. Despite considerable activity funded both through GPE and by other donors, as well as by partner countries themselves, the level of international support to inclusive education remains too low and patchy for countries to transform their education systems so they are fully inclusive of children with disabilities. Development partners need to coordinate; help to build a stronger evidence base at global, regional and national levels; and go beyond isolated interventions to support reforms that have the potential to make the whole system more inclusive. To do this, development partners need to share knowledge on their activities globally and at the country level. This paper, and the underlying mapping exercise, aims to facilitate knowledge sharing in the sector by analyzing thematic and geographic focus areas of major development partners supporting inclusive education.

Speculative data-parallel algorithms for language recognition have been widely experimented for various types of finite-state automata (FA), deterministic (DFA) and nondeterministic (NFA), often derived from regular expressions (RE). Such an algorithm cuts the input string into chunks, independently recognizes each chunk in parallel by means of identical FAs, and at last joins the chunk results and checks overall consistency. In chunk recognition, it is necessary to speculatively start the FAs in any state, thus causing an overhead that reduces the speedup compared to a serial algorithm. Existing data-parallel DFA-based recognizers suffer from the excessive number of starting states, and the NFA-based ones suffer from the number of nondeterministic transitions. Our data-parallel algorithm is based on the new FA type called reduced interface DFA (RI-DFA), which minimizes the speculation overhead without incurring in the penalty of nondeterministic transitions or of impractically enlarged DFA machines. The algorithm is proved to be correct and theoretically efficient, because it combines the state-reduction of an NFA with the speed of deterministic transitions, thus improving on both DFA-based and NFA-based existing implementations. The practical applicability of the RI-DFA approach is confirmed by a quantitative comparison of the number of starting states for a large public benchmark of complex FAs. On multi-core computing architectures, the RI-DFA recognizer is much faster than the NFA-based one on all benchmarks, while it matches the DFA-based one on some benchmarks and performs much better on some others. The extra time cost needed to construct an RI-DFA compared to a DFA is moderate and is compatible with a practical use.

The automotive industry is transitioning from federated, homogeneous, interconnected devices to integrated, heterogeneous, mixed-criticality systems (MCS). This leads to challenges in achieving timing predictability techniques due to access contention on shared resources, which can be mitigated using hardware-based spatial and temporal isolation techniques. Focusing on the interconnect as the point of access for shared resources, we propose AXI-REALM, a lightweight, modular, technology-independent, and open-source real-time extension to AXI4 interconnects. AXI-REALM uses a budget-based mechanism enforced on periodic time windows and transfer fragmentation to provide fair arbitration, coupled with execution predictability on real-time workloads. AXI-REALM features a comprehensive bandwidth and latency monitor at both the ingress and egress of the interconnect system. Latency information is also used to detect and reset malfunctioning subordinates, preventing missed deadlines. We provide a detailed cost assessment in a 12 nm node and an end-to-end case study implementing AXI-REALM into an open-source MCS, incurring an area overhead of less than 2%. When running a mixed-criticality workload, with a time-critical application sharing the interconnect with non-critical applications, we demonstrate that the critical application can achieve up to 68.2% of the isolated performance by enforcing fairness on the interconnect traffic through burst fragmentation, thus reducing the subordinate access latency by up to 24 times. Near-ideal performance, (above 95% of the isolated performance) can be achieved by distributing the available bandwidth in favor of the critical application., Comment: 14 pages, 13 figures, 3 tables, submitted to the IEEE for possible publication

Research in the area of automated test generation has seen remarkable progress in recent years, resulting in several approaches and tools for effective and efficient generation of test cases. In particular, the EvoSuite tool has been at the forefront of this progress embodying various algorithms for automated test generation of Java programs. EvoSuite has been used to generate test cases for a wide variety of programs as well. While there are a number of empirical studies that report results on the effectiveness, in terms of code coverage and other related metrics, of the various test generation strategies and algorithms implemented in EvoSuite, there are no studies, to the best of our knowledge, on the energy consumption associated to the automated test generation. In this paper, we set out to investigate this aspect by measuring the energy consumed by EvoSuite when generating tests. We also measure the energy consumed in the execution of the test cases generated, comparing them with those manually written by developers. The results show that the different test generation algorithms consumed different amounts of energy, in particular on classes with high cyclomatic complexity. Furthermore, we also observe that manual tests tend to consume more energy as compared to automatically generated tests, without necessarily achieving higher code coverage. Our results also give insight into the methods that consume significantly higher levels of energy, indicating potential points of improvement both for EvoSuite as well as the different programs under test., Comment: Accepted for publication at 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)

Einstein Telescope (ET) is a proposed next-generation Gravitational Wave (GW) interferometer designed to detect a large number of astrophysical and cosmological sources with unprecedented sensitivity. A key target for ET is the detection of a stochastic gravitational-wave background (SGWB), a faint signal from unresolved GW sources. In its proposed triangular configuration, correlated Newtonian noise of seismic origin poses some challenges for the SGWB detection. We study the impact of correlated noise on the SGWB detection and relative parameter estimation for ET in the triangular configuration, comparing it to a 2L configuration with two separated L-shaped detectors. We perform a Bayesian analysis on simulated data, which shows that accurate reconstruction of the SGWB parameters and instrumental noise is achievable if the noise is properly modeled. We illustrate that neglecting correlated noise leads to significant biases in the parameter reconstruction. Our results show that while the 2L configuration provides slightly better parameter estimation precision, mainly due to its longer arm length, the triangular configuration remains competitive when accurate noise modeling is provided., Comment: 10 pages, 5 figures, 4 appendices

Many active galaxies harbor powerful relativistic jets, however, the detailed mechanisms of their formation and acceleration remain poorly understood. To investigate the area of jet acceleration and collimation with the highest available angular resolution, we study the innermost region of the bipolar jet in the nearby low-ionization nuclear emission-line region (LINER) galaxy NGC 1052. We combined observations of NGC 1052 taken with VLBA, GMVA, and EHT over one week in the spring of 2017. For the first time, NGC 1052 was detected with the EHT, providing a size of the central region in-between both jet bases of 250 RS (Schwarzschild radii) perpendicular to the jet axes. This size estimate supports previous studies of the jets expansion profile which suggest two breaks of the profile at around 300 RS and 10000 RS distances to the core. Furthermore, we estimated the magnetic field to be 1.25 Gauss at a distance of 22 {\mu}as from the central engine by fitting a synchrotron-self absorption spectrum to the innermost emission feature, which shows a spectral turn-over at about 130 GHz. Assuming a purely poloidal magnetic field, this implies an upper limit on the magnetic field strength at the event horizon of 26000 Gauss, which is consistent with previous measurements. The complex, low-brightness, double-sided jet structure in NGC 1052 makes it a challenge to detect the source at millimeter (mm) wavelengths. However, our first EHT observations have demonstrated that detection is possible up to at least 230 GHz. This study offers a glimpse through the dense surrounding torus and into the innermost central region, where the jets are formed. This has enabled us to finally resolve this region and provide improved constraints on its expansion and magnetic field strength., Comment: 22 pages, 10 figures, published in A&A

We present the results of the Distant Giants Survey, a three-year radial velocity (RV) campaign to search for wide-separation giant planets orbiting Sun-like stars known to host an inner transiting planet. We defined a distant giant to have $a$ = 1--10 AU and $M_{p} \sin i = 70-4000$ \mearth~ = 0.2-12.5 \mj, and required transiting planets to have $a<1$ AU and $R_{p} = 1-4$ \rearth. We assembled our sample of 47 stars using a single selection function, and observed each star at monthly intervals to obtain $\approx$30 RV observations per target. The final catalog includes a total of twelve distant companions: four giant planets detected during our survey, two previously known giant planets, and six objects of uncertain disposition identified through RV/astrometric accelerations. Statistically, half of the uncertain objects are planets and the remainder are stars/brown dwarfs. We calculated target-by-target completeness maps to account for missed planets. We found evidence for a moderate enhancement of distant giants (DG) in the presence of close-in small planets (CS), P(DG|CS) = $30^{+14}_{-12}\%$, over the field rate of P(DG) = $16^{+2}_{-2}\%$. No enhancement is disfavored ($p \sim$ 8%). In contrast to a previous study, we found no evidence that stellar metallicity enhances P(DG|CS). We found evidence that distant giant companions are preferentially found in systems with multiple transiting planets and have lower eccentricities than randomly selected giant planets. This points toward dynamically cool formation pathways for the giants that do not disturb the inner systems., Comment: 32 pages, 20 figures, 4 tables. Comments welcome

Cyber-physical systems development often requires engineers to search for defects in their Simulink models. Search-based software testing (SBST) is a standard technology that supports this activity. To increase practical adaption, industries need empirical evidence of the effectiveness and efficiency of (existing) SBST techniques on benchmarks from different domains and of varying complexity. To address this industrial need, this paper presents our experience assessing the effectiveness and efficiency of SBST in generating failure-revealing test cases for cyber-physical systems requirements. Our study subject is within the electric bike (e-Bike) domain and concerns the software controller of an e-Bike motor, particularly its functional, regulatory, and safety requirements. We assessed the effectiveness and efficiency of HECATE, an SBST framework for Simulink models, to analyze two software controllers. HECATE successfully identified failure-revealing test cases for 83% (30 out of 36) of our experiments. It required, on average, 1 h 17 min 26 s (min = 11 min 56 s, max = 8 h 16 min 22 s, std = 1 h 50 min 34 s) to compute the failure-revealing test cases. The developer of the e-Bike model confirmed the failures identified by HECATE. We present the lessons learned and discuss the relevance of our results for industrial applications, the state of practice improvement, and the results' generalizability., Comment: 10 pages, 2 pages for references

The 2017 observing campaign of the Event Horizon Telescope (EHT) delivered the first very long baseline interferometry (VLBI) images at the observing frequency of 230 GHz, leading to a number of unique studies on black holes and relativistic jets from active galactic nuclei (AGN). In total, eighteen sources were observed: the main science targets, Sgr A* and M87 along with various calibrators. We investigated the morphology of the sixteen AGN in the EHT 2017 data set, focusing on the properties of the VLBI cores: size, flux density, and brightness temperature. We studied their dependence on the observing frequency in order to compare it with the Blandford-K\"onigl (BK) jet model. We modeled the source structure of seven AGN in the EHT 2017 data set using linearly polarized circular Gaussian components and collected results for the other nine AGN from dedicated EHT publications, complemented by lower frequency data in the 2-86 GHz range. Then, we studied the dependences of the VLBI core flux density, size, and brightness temperature on the frequency measured in the AGN host frame. We compared the observations with the BK jet model and estimated the magnetic field strength dependence on the distance from the central black hole. Our results indicate a deviation from the standard BK model, particularly in the decrease of the brightness temperature with the observing frequency. Either bulk acceleration of the jet material, energy transfer from the magnetic field to the particles, or both are required to explain the observations.

Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many SBST techniques for Simulink models rely on requirements being expressed in logical languages, limiting their adoption in industry. To help with the adoption, SBST methods and tools for Simulink models need to be integrated with tools used by engineers to specify requirements. This work presents the first black-box testing approach for Simulink models that supports Requirements Table (RT), a tool from Simulink Requirements Toolbox used by practitioners to express software requirements. We evaluated our solution by considering 60 model-RT combinations each made by a model and an RT. Our SBST framework returned a failure-revealing test case for 70% of the model-RT combinations. Remarkably, it identified a failure-revealing test case for three model-RT combinations for a cruise controller of an industrial simulator that other previously used tools were not able to find. The efficiency of our SBST solution is acceptable for practical applications and comparable with existing SBST tools that are not based on RT.

Robust stability of moving-horizon estimators is investigated for nonlinear discrete-time systems that are detectable in the sense of incremental input/output-to-state stability and are affected by disturbances. The estimate of a moving-horizon estimator stems from the on-line solution of a least-squares minimization problem at each time instant. The resulting stability guarantees depend on the optimization tolerance in solving such minimization problems. Specifically, two main contributions are established: (i) the robust stability of the estimation error, while supposing to solve exactly the on-line minimization problem; (ii) the practical robust stability of the estimation error with state estimates obtained by an imperfect minimization. Finally, the construction of such robust moving-horizon estimators and the performances resulting from the design based on the theoretical findings are showcased with two numerical examples., Comment: 18 pages, 2 figures, 24 bibliographic references

Continuous gravitational waves (CWs) emission from neutron stars carries information about their internal structure and equation of state, and it can provide tests of General Relativity. We present a search for CWs from a set of 45 known pulsars in the first part of the fourth LIGO--Virgo--KAGRA observing run, known as O4a. We conducted a targeted search for each pulsar using three independent analysis methods considering the single-harmonic and the dual-harmonic emission models. We find no evidence of a CW signal in O4a data for both models and set upper limits on the signal amplitude and on the ellipticity, which quantifies the asymmetry in the neutron star mass distribution. For the single-harmonic emission model, 29 targets have the upper limit on the amplitude below the theoretical spin-down limit. The lowest upper limit on the amplitude is $6.4\!\times\!10^{-27}$ for the young energetic pulsar J0537-6910, while the lowest constraint on the ellipticity is $8.8\!\times\!10^{-9}$ for the bright nearby millisecond pulsar J0437-4715. Additionally, for a subset of 16 targets we performed a narrowband search that is more robust regarding the emission model, with no evidence of a signal. We also found no evidence of non-standard polarizations as predicted by the Brans-Dicke theory., Comment: main paper: 12 pages, 6 figures, 4 tables

Since 2013, the PULP (Parallel Ultra-Low Power) Platform project has been one of the most active and successful initiatives in designing research IPs and releasing them as open-source. Its portfolio now ranges from processor cores to network-on-chips, peripherals, SoC templates, and full hardware accelerators. In this article, we focus on the PULP experience designing heterogeneous AI acceleration SoCs - an endeavour encompassing SoC architecture definition; development, verification, and integration of acceleration IPs; front- and back-end VLSI design; testing; development of AI deployment software., Comment: Preprinted submitted to IEEE Solid-State Circuits Magazine

We provided comments on the article Orbits of particles with magnetic dipole moment around magnetized Schwarzschild black holes: Applications to S2 star orbit by Uktamjon Uktamov, Mohsen Fathi, Javlon Rayimbaev, and Ahmadjon Abdujabbarov from arXiv:2406.03371v2. We derived the Hamilton-Jacobi equation used in the article from the Lagrangian utilized and found inconsistencies in the use of the interaction term which describes the magnetic dipole moment of the particle. Consequently, this results in incorrect equations of motion for the particle., Comment: 5 pages; comment on arXiv:2406.03371v2

Using the Event Horizon Telescope (EHT), the gravitationally lensed rings around the supermassive black holes (SMBHs) in Messier 87 (M87) and Sagittarius A* (Sgr A*) have now been successfully imaged at a resolution under 10 gravitational radii (R$_{\rm g}$ $ = \rm{GM/c^2}$). To expand studies beyond M87 and Sgr A*, we have constructed the Event Horizon and Environs (ETHER) sample, a comprehensive database encompassing approximately 3.15 million SMBH mass estimates, $\sim$ 20,000 Very-Long Baseline Interferometry (VLBI) radio flux densities, and $\sim$ 36,000 hard X-ray flux densities. This database is designed to identify and optimize target selection for the EHT and its upgrades on the ground and in space. We have identified a Gold Sample (GS) of nearby low-luminosity Active Galactic Nuclei (AGNs) within it that are ideal for studying jet bases and potentially imaging black hole shadows. We observed 27 of these AGNs using the EHT from 2022 to 2024, providing an opportunity to resolve and image accretion flows and jets at resolutions of $\leq$ 100 R$_{\rm g}$. Only a few SMBHs have sufficiently high enough flux density to be imaged at scales of $\leq$ 50 R$_{\rm g}$ with the present EHT. Among these are M87, Sgr A*, NGC4594 (Sombrero/M104), NGC4261, and NGC4374 (Messier 84/M84). Of these, NGC4261, Sombrero, and M84 have been observed and/or are scheduled for deep imaging with EHT+ALMA from 2023 to 2025. Sombrero, NGC4261, M84, NGC4278, and NGC5232 are clearly detected in our EHT+ALMA observations in 2022, indicating that the 230 GHz flux density from the accretion flows is significantly high. Ongoing imaging of the ETHER GS will enable measurements of black hole mass and spin, help constrain General Relativity, and enrich our understanding of jet launching and accretion inflows across a broad multi-parameter space, including black hole mass, spin, accretion rate, and orientation., Comment: 9 pages, 6 figures, 1 table, published in Proceedings of the 16th EVN Symposium, Ed. E. Ros, P. Benke, S.A. Dzib, I. Rottmann, & J.A. Zensus, Bonn: Max-Planck-Institut f\"ur Radioastronomie, 2024, pages 75-84, https://cloud.mpifr-bonn.mpg.de/index.php/s/BkX2CC2Xjn2aKR4

The Cosmological Gravitational Wave Background (CGWB) anisotropies contain valuable information about the physics of the early universe. Given that General Relativity is intrinsically nonlinear, it is important to look beyond first-order contributions in cosmological perturbations. In this work, we present a non-perturbative approach for the computation of CGWB anisotropies at large scales, providing the extension of the initial conditions and the Sachs-Wolfe effect for the CGWB, which encodes the full non-linearity of the scalar metric perturbations. We also derive the non-perturbative expression for three-point correlation of the gravitational wave energy density perturbation in the case of an inflationary CGWB with a scale-invariant power spectrum and negligible primordial non-Gaussianity. We show that, under such conditions, the gravitational wave energy density perturbations are lognormally distributed, leading to an interesting effect such as intermittency.

We study the emergence of complexity in deep random $N$-qubit $T$-gate doped Clifford circuits, as reflected in their spectral properties and in magic generation, characterized by the stabilizer R\'enyi entropy. For pure (undoped) Clifford circuits, a unique periodic orbit structure in the space of Pauli strings implies peculiar spectral correlations and level statistics with large degeneracies. $T$-gate doping induces an exponentially fast transition to chaotic behavior, described by random matrix theory. To characterize magic generation properties of the Clifford+$T$ ensemble, we determine the distribution of magic, as well as the average nonstabilizing power of the quantum circuit ensemble. In the dilute limit, $N_T \ll N$, magic generation is governed by single-qubit behavior, and magic increases linearly with the number of $T$-gates, $N_T$. For $N_T\gg N$, magic distribution converges to that of Haar-random unitaries, and averages to a finite magic density, $\mu$, $\lim_{N\to\infty} \langle\mu\rangle_\text{Haar} = 1$. Although our numerics has large finite-size effects, finite size scaling reveals a magic density phase transition at a critical $T$-gate density, $n^{*}_T = (N_T/N)^* \approx 2.41$ in the $N \to \infty$ limit. This is in contrast to the spectral transition, where ${\cal O} (1)$ $T$-gates suffice to remove spectral degeneracies and to induce a transition to chaotic behavior in the thermodynamic limit. Magic is therefore a more sensitive indicator of complexity., Comment: 13 pages, 9 figures

Social media platforms continue to struggle with the growing presence of social bots-automated accounts that can influence public opinion and facilitate the spread of disinformation. Over time, these social bots have advanced significantly, making them increasingly difficult to distinguish from genuine users. Recently, new groups of bots have emerged, utilizing Large Language Models to generate content for posting, further complicating detection efforts. This paper proposes a novel approach that uses algorithms to measure the similarity between DNA strings, commonly used in biological contexts, to classify social users as bots or not. Our approach begins by clustering social media users into distinct macro species based on the similarities (and differences) observed in their timelines. These macro species are subsequently classified as either bots or genuine users, using a novel metric we developed that evaluates their behavioral characteristics in a way that mirrors biological comparison methods. This study extends beyond past approaches that focus solely on identical behaviors via analyses of the accounts' timelines. By incorporating new metrics, our approach systematically classifies non-trivial accounts into appropriate categories, effectively peeling back layers to reveal non-obvious species., Comment: Accepted at 40th ACM/SIGAPP Symposium On Applied Computing 2025

This summary of the second Terrestrial Very-Long-Baseline Atom Interferometry (TVLBAI) Workshop provides a comprehensive overview of our meeting held in London in April 2024, building on the initial discussions during the inaugural workshop held at CERN in March 2023. Like the summary of the first workshop, this document records a critical milestone for the international atom interferometry community. It documents our concerted efforts to evaluate progress, address emerging challenges, and refine strategic directions for future large-scale atom interferometry projects. Our commitment to collaboration is manifested by the integration of diverse expertise and the coordination of international resources, all aimed at advancing the frontiers of atom interferometry physics and technology, as set out in a Memorandum of Understanding signed by over 50 institutions., Comment: Summary of the second Terrestrial Very-Long-Baseline Atom Interferometry Workshop held at Imperial College London: https://indico.cern.ch/event/1369392/

We consider an imaging scheme, inspired by microscopy, in which both correlation imaging and first-order intensity imaging can be performed simultaneously, to investigate the effects of strong turbulence on the two different kinds of images. The comparison between direct and correlation imaging in the presence of strong turbulence unambiguously revealed an advantage of the latter. Remarkably, this advantage, quantified by analyzing the visibility of periodic sample patterns, is more striking when the presence of turbulence becomes the dominant factor in determining the image resolution., Comment: 14 pages, 3 figures

We propose a novel scenario in which scalar perturbations, that seed the large scale structure of the Universe, are generated without relying on a scalar field (the inflaton). In this framework, inflation is driven by a de Sitter space-time (dS), where tensor metric fluctuations (i.e., gravitational waves) naturally arise from quantum vacuum oscillations, and scalar fluctuations are generated via second-order tensor effects. We compute the power spectrum of such scalar fluctuations and show it to be consistent with near scale-invariance. We derive the necessary conditions under which scalar perturbations become significant and much larger than the tensor modes, and we identify a natural mechanism to end inflation via a transition to a radiation-dominated phase. Our proposed mechanism could remove the need for a model-dependent scenario: the choice of a scalar field, as the inflaton, to drive inflation.

The sphaleron rate is a key phenomenological quantity both for the axion thermal production in the Early Universe and the Chiral Magnetic Effect occurring in the Quark-Gluon Plasma in presence of a background magnetic field. In this talk we present an extension of our recent determination of the sphaleron rate, in the SU(3) gauge theory, based on the determination of the two-point function of the topological charge density at finite temperature., Comment: 11 pages, 3 figures, contribution for the Proceedings of the 41st International Symposium on Lattice Field Theory (Lattice 2024), 28 July - 3 August 2024, Liverpool, UK

We present an experimental and numerical study of a piezoelectric energy harvester driven by broadband vibrations. This device can extract power from random fluctuations and can be described by a stochastic model, based on an underdamped Langevin equation with white noise, which mimics the dynamics of the piezoelectric material. A crucial point in the modelisation is represented by the appropriate description of the coupled load circuit that is necessary to harvest electrical energy. We consider a linear load (resistance) and a nonlinear load (diode bridge rectifier connected to the parallel of a capacitance and a load resistance), and focus on the characteristic curve of the extracted power as a function of the load resistance, in order to estimate the optimal values of the parameters that maximise the collected energy. In both cases, we find good agreement between the numerical simulations of the theoretical model and the results obtained in experiments. In particular, we observe a non-monotonic behaviour of the characteristic curve which signals the presence of an optimal value for the load resistance at which the extracted power is maximised. We also address a more theoretical issue, related to the inference of the non-equilibrium features of the system from data: we show that the analysis of high-order correlation functions of the relevant variables, when in the presence of nonlinearities, can represent a simple and effective tool to check the irreversible dynamics., Comment: 11 pages, 13 figures

The computational generation of poems is a complex task, which involves several sound, prosodic and rhythmic resources. In this work we present PROPOE 2, with the extension of structural and rhythmic possibilities compared to the original system, generating poems from metered sentences extracted from the prose of Brazilian literature, with multiple rhythmic assembly criteria. These advances allow for a more coherent exploration of rhythms and sound effects for the poem. Results of poems generated by the system are demonstrated, with variations in parameters to exemplify generation and evaluation using various criteria. A gera\c{c}\~ao computacional de poemas \'e uma tarefa complexa, que envolve diversos recursos sonoros, pros\'odicos e r\'itmicos. Neste trabalho apresentamos PROPOE 2, com a amplia\c{c}\~ao de possibilidades estruturais e r\'itmicas em rela\c{c}\~ao ao sistema original, gerando poemas a partir de senten\c{c}as metrificadas extra\'idas da prosa da literatura brasileira, com m\'ultiplos crit\'erios r\'itmicos de montagem. Esses avan\c{c}os permitem uma explora\c{c}\~ao mais coerente de ritmos e efeitos sonoros para o poema. Resultados de poemas gerados pelo sistema s\~ao demonstrados, com varia\c{c}\~oes de par\^ametros para exemplificar a gera\c{c}\~ao e a avalia\c{c}\~ao pelos variados crit\'erios., Comment: in Portuguese language

Deep Neural Networks are vulnerable to adversarial examples, i.e., carefully crafted input samples that can cause models to make incorrect predictions with high confidence. To mitigate these vulnerabilities, adversarial training and detection-based defenses have been proposed to strengthen models in advance. However, most of these approaches focus on a single data modality, overlooking the relationships between visual patterns and textual descriptions of the input. In this paper, we propose a novel defense, Multi-Shield, designed to combine and complement these defenses with multi-modal information to further enhance their robustness. Multi-Shield leverages multi-modal large language models to detect adversarial examples and abstain from uncertain classifications when there is no alignment between textual and visual representations of the input. Extensive evaluations on CIFAR-10 and ImageNet datasets, using robust and non-robust image classification models, demonstrate that Multi-Shield can be easily integrated to detect and reject adversarial examples, outperforming the original defenses.

In Regional Economics, the attractiveness of regions for capital, migrants, tourists, and other kinds of flows is a relevant topic. Usually, studies in this field have mainly explored single flows, characterizing the dimensions of territorial attractiveness separately, rarely considering the interwoven effect of flows. Here we investigate attractiveness from a multi-dimensional perspective (i.e., dealing with different flows), asking how various types of regional flows collectively shape the attractiveness dynamics of European regions. We analyze eight distinct flow types across NUTS2 regions from 2010 to 2018, employing a multilayer network approach. Notably, the multilayer approach unveils insights that would be missed in single-layer analyses. Community detection reveals complex structures that demonstrate the cohesive power of national borders and the existence of strong cross-border ties in specific regions. Our study contributes to a more nuanced understanding of regional attractiveness, with implications for targeted policy interventions in regional development and European cohesion., Comment: Main: 23 pages, 10 figures, 4 tables. Supplementary: 18 pages, 10 figures, 10 tables

We present a point set registration method in bounded domains based on the solution to the Fokker Planck equation. Our approach leverages (i) density estimation based on Gaussian mixture models; (ii) a stabilized finite element discretization of the Fokker Planck equation; (iii) a specialized method for the integration of the particles. We review relevant properties of the Fokker Planck equation that provide the foundations for the numerical method. We discuss two strategies for the integration of the particles and we propose a regularization technique to control the distance of the particles from the boundary of the domain. We perform extensive numerical experiments for two two-dimensional model problems to illustrate the many features of the method.

Ontologies of research topics are crucial for structuring scientific knowledge, enabling scientists to navigate vast amounts of research, and forming the backbone of intelligent systems such as search engines and recommendation systems. However, manual creation of these ontologies is expensive, slow, and often results in outdated and overly general representations. As a solution, researchers have been investigating ways to automate or semi-automate the process of generating these ontologies. This paper offers a comprehensive analysis of the ability of large language models (LLMs) to identify semantic relationships between different research topics, which is a critical step in the development of such ontologies. To this end, we developed a gold standard based on the IEEE Thesaurus to evaluate the task of identifying four types of relationships between pairs of topics: broader, narrower, same-as, and other. Our study evaluates the performance of seventeen LLMs, which differ in scale, accessibility (open vs. proprietary), and model type (full vs. quantised), while also assessing four zero-shot reasoning strategies. Several models have achieved outstanding results, including Mixtral-8x7B, Dolphin-Mistral-7B, and Claude 3 Sonnet, with F1-scores of 0.847, 0.920, and 0.967, respectively. Furthermore, our findings demonstrate that smaller, quantised models, when optimised through prompt engineering, can deliver performance comparable to much larger proprietary models, while requiring significantly fewer computational resources., Comment: submitted to Information Processing & Management

Cryogenic phonon detectors are adopted in experiments searching for dark matter interactions or coherent elastic neutrino-nucleus scattering, thanks to the low energy threshold they can achieve. The phonon-mediated sensing of particle interactions in passive silicon absorbers has been demonstrated with Kinetic Inductance Detectors (KIDs). Targets with neutron number larger than silicon, however, feature higher cross section to neutrinos while multi-target absorbers in dark matter experiments would provide a stronger evidence of a possible signal. In this work we present the design, fabrication and operation of KIDs coupled to a germanium absorber, achieving phonon-sensing performance comparable to silicon absorbers. The device introduced in this work is a proof of concept for a scalable neutrino detector and for a multi-target dark matter experiment., Comment: 3 Figures, 2 Tables, 5 pages

Correlations play a pivotal role in various fields of science, particularly in quantum mechanics, yet their proper quantification remains a subject of debate. In this work, we aim to discuss the challenge of defining a reliable measure of total correlations. We first outline essential properties that an effective correlation measure should satisfy and review existing measures, including quantum mutual information, the p-norm of the correlation matrix, and the recently defined quantum Pearson correlation coefficient. Additionally, we introduce new measures based on R\'enyi and Tsallis relative entropies, as well as the Kullback-Leibler divergence. Our analysis reveals that while quantum mutual information, the p-norm, and the Pearson measure exhibit equivalence for two-qubit systems, they all suffer from an ordering problem. Despite criticisms regarding its reliability, we argue that quantum mutual information remains a valid measure of total correlations., Comment: 8 pages, 1 figure, 1 table

Transformer-based generative Artificial Intelligence (GenAI) models achieve remarkable results in a wide range of fields, including natural language processing, computer vision, and audio processing. However, this comes at the cost of increased complexity and the need of sophisticated non-linearities such as softmax and GELU. Even if Transformers are computationally dominated by matrix multiplications (MatMul), these non-linearities can become a performance bottleneck, especially if dedicated hardware is used to accelerate MatMul operators. In this work, we introduce a GenAI BFloat16 Transformer acceleration template based on a heterogeneous tightly-coupled cluster containing 256KiB of shared SRAM, 8 general-purpose RISC-V cores, a 24x8 systolic array MatMul accelerator, and a novel accelerator for Transformer softmax and GELU non-linearities: SoftEx. SoftEx introduces an approximate exponentiation algorithm balancing efficiency (121x speedup over glibc's implementation) with accuracy (mean relative error of 0.14%). In 12nm technology, SoftEx occupies 0.039 mm$^2$, only 3.22% of the cluster, which achieves an operating frequency of 1.12 GHz. Compared to optimized software running on the RISC-V cores, SoftEx achieves significant improvements, accelerating softmax and GELU computations by up to 10.8x and 5.11x, respectively, while reducing their energy consumption by up to 10.8x and 5.29x. These enhancements translate into a 1.58x increase in throughput (310 GOPS at 0.8V) and a 1.42x improvement in energy efficiency (1.34 TOPS/W at 0.55V) on end-to-end ViT inference workloads.

Magnetoplumbites are one of the most broadly studied families of hexagonal ferrites, typically with high magnetic ordering temperatures, making them excellent candidates for permanent magnets. However, magnetic frustration was rarely observed in magnetoplumbites. Herein, we report the discovery, synthesis and characterization of the first Mn-based magnetoplumbite, as well as the first magnetoplumbite involving pnictogens (Sb), ASb3Mn9O19 (A = K or Rb). The Mn3+ (S = 2) cations, further confirmed by DC magnetic susceptibility and X-ray photoelectron spectroscopy, construct three geometrically frustrated sublattices, including Kagome, triangular and puckered honeycomb lattices. Magnetic properties measurements revealed strong antiferromagnetic spin-spin coupling as well as multiple low-temperature magnetic features. Heat capacity data did not show any prominent lambda-anomaly, suggesting minimal associated magnetic entropy. Moreover, neutron powder diffraction implied the absence of long-range magnetic ordering in KSb3Mn9O19 down to 3 K. However, several magnetic peaks were observed in RbSb3Mn9O19 at 3 K, corresponding to an incommensurate magnetic structure. Interestingly, strong diffuse scattering was seen in the neutron powder diffraction patterns of both compounds at low angles, and was analyzed by reverse Monte Carlo refinements, indicating short-range spin ordering related to frustrated magnetism as well as two-dimensional magnetic correlations in ASb3Mn9O19 (A = K or Rb)., Comment: 39 pages, 14 figures, 8 tables

Galaxies are predicted to assemble their stellar haloes through the accretion of stellar material from interactions with their cosmic environment. Observations that trace stellar halo buildup probe the processes that drive galaxy size and stellar mass growth. We investigate stellar halo assembly over $0.2 \leq z \leq 1.1$ in a mass-complete ($M_{\star} \geq 10^{9.5}M_{\odot}$) sample of 242,456 star-forming and 88,421 quiescent galaxies (SFGs and QGs) from the CLAUDS and HSC-SSP surveys. We extract galaxy rest-frame $g$-band surface brightness ($\mu_g$) profiles to study faint, extended emission in galaxy outskirts. We examine trends in galaxy assembly by analyzing the median $\mu_g$ profiles in different SFG and QG \msS ranges with decreasing redshift and connecting evolution in galaxy $\mu_g$ profiles with the underlying stellar mass growth in galaxies. Since $z=1.1$, the majority of evolution in the median $\mu_g$ profiles of galaxies ($\sim$64$\%$ in SFGs and $\sim$71$\%$ in QGs) occurs throughout their stellar halo regions (2-10$R_e$). More massive galaxies assemble stellar halo material more rapidly at $0.2 \leq z \leq 1.1$. Over this period, QGs grow a larger fraction of their stellar haloes than SFGs at fixed $M_{\star}$ (factor of $\sim$1.2). Although star formation can account for the stellar halo growth observed in low-mass SFGs ($10^{9.5}M_\odot \leq M_\star < 10^{10.5}M_\odot$), high-mass SFGs ($M_\star \geq 10^{10.5}M_\odot$) and both low- and high-mass QGs require an additional assembly mechanism. Our results suggest accretion via minor mergers drives additional stellar halo growth in these galaxies. The contribution from accretion is larger in more massive galaxies (over $M_{\star} \geq 10^{9.5}M_{\odot}$), and QGs exhibit larger fractional increases to their ex-situ fractions over $0.2 \leq z \leq 1.1$ than SFGs at fixed $M_{\star}$., Comment: 29 pages, 15 figures, 2 tables. Submitted for publication in ApJ

Sea Surface Temperature (SST) is crucial for understanding Earth's oceans and climate, significantly influencing weather patterns, ocean currents, marine ecosystem health, and the global energy balance. Large-scale SST monitoring relies on satellite infrared radiation detection, but cloud cover presents a major challenge, creating extensive observational gaps and hampering our ability to fully capture large-scale ocean temperature patterns. Efforts to address these gaps in existing L4 datasets have been made, but they often exhibit notable local and seasonal biases, compromising data reliability and accuracy. To tackle this challenge, we employed deep neural networks to reconstruct cloud-covered portions of satellite imagery while preserving the integrity of observed values in cloud-free areas, using MODIS satellite derived observations of SST. Our best-performing architecture showed significant skill improvements over established methodologies, achieving substantial reductions in error metrics when benchmarked against widely used approaches and datasets. These results underscore the potential of advanced AI techniques to enhance the completeness of satellite observations in Earth-science remote sensing, providing more accurate and reliable datasets for environmental assessments, data-driven model training, climate research, and seamless integration into model data assimilation workflows.

Demand for bike sharing is impacted by various factors, such as weather conditions, events, and the availability of other transportation modes. This impact remains elusive due to the complex interdependence of these factors or locationrelated user behavior variations. It is also not clear which factor is additional information which are not already contained in the historical demand. Intermodal dependencies between bike-sharing and other modes are also underexplored, and the value of this information has not been studied in degraded situations. The proposed study analyzes the impact of adding contextual data, such as weather, time embedding, and road traffic flow, to predict bike-sharing Origin-Destination (OD) flows in atypical weather situations Our study highlights a mild relationship between prediction quality of bike-sharing demand and road traffic flow, while the introduced time embedding allows outperforming state-of-the-art results, particularly in the case of degraded weather conditions. Including weather data as an additional input further improves our model with respect to the basic ST-ED-RMGC prediction model by reducing of more than 20% the prediction error in degraded weather condition.

This paper presents a novel method to quantify Trust in HRI. It proposes an HRI framework for estimating the Robot Trust towards the Human in the context of a narrow and specified task. The framework produces a real-time estimation of an AI agent's Artificial Trust towards a Human partner interacting with a mobile teleoperation robot. The approach for the framework is based on principles drawn from Theory of Mind, including information about the human state, action, and intent. The framework creates the ATTUNE model for Artificial Trust Towards Human Operators. The model uses metrics on the operator's state of attention, navigational intent, actions, and performance to quantify the Trust towards them. The model is tested on a pre-existing dataset that includes recordings (ROSbags) of a human trial in a simulated disaster response scenario. The performance of ATTUNE is evaluated through a qualitative and quantitative analysis. The results of the analyses provide insight into the next stages of the research and help refine the proposed approach., Comment: Published in IEEE SMC 2024

We study the role of different spatial inhomogeneities in generating the conditions for the appearance of a superconducting diode effect in the Fraunhofer pattern of wide Josephson junctions. Through the scattering matrix approach, we highlight the role of mirror symmetry of the junction in forbidding the diode effect in both the two-terminal and the multi-terminal case. As sources of mirror symmetry breaking, we study spatial potentials of long and short wavelength with respect to the size of the system, mimicking the effect of side gates and atomic scale disorder, respectively, as well as the geometry of the junction, and assess their impact on the diode effect. As a common trend, we observe qualitatively similar rectification patterns magnified at the nodal points of the Fraunhofer pattern by destructing interference. In multi-terminal mirror-symmetric setups, we single out the phase at additional terminals as a controllable knob to tune the diode effect at the finite field. The work presents a comprehensive treatment of the role of pure spatial inhomogeneity in the emergence of a diode effect in wide junctions., Comment: 11 pages, 6 figures

The X-ray polarization observations made possible with the Imaging X-ray Polarimetry Explorer (IXPE) offer new ways of probing high-energy emission processes in astrophysical jets from blazars. Here we report on the first X-ray polarization observation of the blazar S4 0954+65 in a high optical and X-ray state. During our multi-wavelength campaign on the source, we detected an optical flare whose peak coincided with the peak of an X-ray flare. This optical-X-ray flare most likely took place in a feature moving along the parsec-scale jet, imaged at 43 GHz by the Very Long Baseline Array. The 43 GHz polarization angle of the moving component underwent a rotation near the time of the flare. In the optical band, prior to the IXPE observation, we measured the polarization angle to be aligned with the jet axis. In contrast, during the optical flare the optical polarization angle was perpendicular to the jet axis; after the flare, it reverted to being parallel to the jet axis. Due to the smooth behavior of the optical polarization angle during the flare, we favor shocks as the main acceleration mechanism. We also infer that the ambient magnetic field lines in the jet were parallel to the jet position angle. The average degree of optical polarization during the IXPE observation was (14.3$\pm$4.1)%. Despite the flare, we only detected an upper limit of 14% (at 3$\sigma$ level) on the X-ray polarization degree; although a reasonable assumption on the X-ray polarization angle results in an upper limit of 8.8% ($3\sigma$). We model the spectral energy distribution (SED) and spectral polarization distribution (SPD) of S4 0954+65 with leptonic (synchrotron self-Compton) and hadronic (proton and pair synchrotron) models. The constraints we obtain with our combined multi-wavelength polarization observations and SED modeling tentatively disfavor hadronic models for the X-ray emission in S4 0954+65., Comment: Submitted to A&A, 16 pages, 5 figures, and 7 tables

The inspection of confined critical infrastructure such as attics or crawlspaces is challenging for human operators due to insufficient task space, limited visibility, and the presence of hazardous materials. This paper introduces a prototype of PARIS (Precision Application Robot for Inaccessible Spaces): a use-inspired teleoperated mobile robot manipulator system that was conceived, developed, and tested for and selected as a Phase I winner of the U.S. Department of Energy's E-ROBOT Prize. To improve the thermal efficiency of buildings, the PARIS platform supports: 1) teleoperated mapping and navigation, enabling the human operator to explore compact spaces; 2) inspection and sensing, facilitating the identification and localization of under-insulated areas; and 3) air-sealing targeted gaps and cracks through which thermal energy is lost. The resulting versatile platform can also be tailored for targeted application of treatments and remediation in constrained spaces., Comment: 6 Pages, 7 Figures. Accepted for publication in the Proceedings of 2024 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)

A recent discovery shows that V404 Cygni, a prototypical black hole low-mass X-ray binary (BH-LMXB) is a hierarchical triple: the BH and donor star are orbited by a $1.2$ M$_{\odot}$ tertiary at a distance of at least $3500$ au. Motivated by this system, we evolve a grid of $\sim50,000$ triple star systems, spanning a broad range of initial orbits. Our calculations employ {\tt MESA} stellar evolution models, using {\tt POSYDON}, and self-consistently track the effects of eccentric Kozai-Lidov (EKL) oscillations, mass loss, tides, and BH natal kicks. In our simulations, the progenitors of V404 Cygni-like systems have initial outer separations of $1000 - 10000$ au and inner separations of $\sim100$ au, such that they avoid Roche lobe overflow most of the time. Later on, EKL oscillations drive the inner binary to high eccentricities until tides shrink the orbit and mass transfer begins. Notably, such systems only form in simulations with very weak black hole natal kicks ($\lesssim 5\,{\rm km\,s^{-1}}$) because stronger kicks unbind the tertiaries. Our simulations also predict a population of BH-LMXB triples that form via the classical common-envelope channel, when the BH progenitor does overflow its Roche lobe. The formation rate for this channel is also higher in triples than in isolated binaries because early EKL oscillations cause inner binaries with a wider range of initial separations to enter and survive a common envelope. Our calculations demonstrate that at least some stellar BHs form with extremely weak kicks, and that triple evolution is a significant formation channel for BH-LMXBs., Comment: Submitted to ApJ, comments are welcome

In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; instead, they are composed of diverse hardware components, each running its own software systems. An autonomous vehicle comprises numerous independent components, often developed by different and potentially competing companies. This diversity poses significant challenges for the certification process, as it necessitates certifying components that may not disclose their internal behaviour (black-boxes). In this paper, we present a real-world case study of an autonomous driving system, identify key open challenges associated with its development and integration, and explore how formal verification techniques can address these challenges to ensure system reliability and safety., Comment: In Proceedings FMAS2024, arXiv:2411.13215

Chatbots have become integral to various application domains, including those with safety-critical considerations. As a result, there is a pressing need for methods that ensure chatbots consistently adhere to expected, safe behaviours. In this paper, we introduce RV4Chatbot, a Runtime Verification framework designed to monitor deviations in chatbot behaviour. We formalise expected behaviours as interaction protocols between the user and the chatbot. We present the RV4Chatbot design and describe two implementations that instantiate it: RV4Rasa, for monitoring chatbots created with the Rasa framework, and RV4Dialogflow, for monitoring Dialogflow chatbots. Additionally, we detail experiments conducted in a factory automation scenario using both RV4Rasa and RV4Dialogflow., Comment: In Proceedings FMAS2024, arXiv:2411.13215

Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of ROSMonitoring designed to facilitate the monitoring of both topics and services while considering the order in which messages are published and received. The framework has been enhanced to support these novel features for ROS1 -- and partially ROS2 environments -- offering improved real-time support, security, scalability, and interoperability. We discuss the modifications made to accommodate these advancements and present results obtained from a case study involving the runtime monitoring of specific components of a fire-fighting Uncrewed Aerial Vehicle (UAV)., Comment: In Proceedings FMAS2024, arXiv:2411.13215

We consider a free fermionic chain with monitoring of the particle density on a single site of the chain and study the entanglement dynamics of quantum jump trajectories. We show that the entanglement entropy grows in time towards a stationary state which display volume law scaling of the entropy, in stark contrast with both the unitary dynamics after a local quench and the no-click limit corresponding to full post-selection. We explain the extensive entanglement growth as a consequence of the peculiar distribution of quantum jumps in time, which display superpoissonian waiting time distribution characterised by a bunching of quantum jumps followed by long dark intervals where no-clicks are detected, akin to the distribution of fluorescence light in a driven atom. We show that the presence of dark intervals is the key feature to explain the effect and that by increasing the number of sites which are monitored the volume law scaling gives away to the Zeno effect and its associated area law., Comment: 11 pages, 8 figures

The entanglement asymmetry measures the extent to which a symmetry is broken within a subsystem of an extended quantum system. Here, we analyse this quantity in Haar random states for arbitrary compact, semi-simple Lie groups, building on and generalising recent results obtained for the $U(1)$ symmetric case. We find that, for any symmetry group, the average entanglement asymmetry vanishes in the thermodynamic limit when the subsystem is smaller than its complement. When the subsystem and its complement are of equal size, the entanglement asymmetry jumps to a finite value, indicating a sudden transition of the subsystem from a fully symmetric state to one devoid of any symmetry. For larger subsystem sizes, the entanglement asymmetry displays a logarithmic scaling with a coefficient fixed by the dimension of the group. We also investigate the fluctuations of the entanglement asymmetry, which tend to zero in the thermodynamic limit. We check our findings against exact numerical calculations for the $SU(2)$ and $SU(3)$ groups. We further discuss their implications for the thermalisation of isolated quantum systems and black hole evaporation., Comment: 28 pages, 6 figures. References added