With the next upgrade of the ALICE inner tracking system (ITS3) as its primary focus, a set of small MAPS test structures have been developed in the 65 nm TPSCo CMOS process. The CE-65 focuses on the characterisation of the analogue charge collection properties of this technology. The latest iteration, the CE-65v2, was produced in different processes (standard, with a low-dose n-type blanket, and blanket with gap between pixels), pixel pitches (15, 18, 22.5 $μ$m), and pixel arrangements (square or staggered). The comparatively large pixel array size of $48\times24$ pixels in CE-65v2 allows the uniformity of the pixel response to be studied, among other benefits. The CE-65v2 chip was characterised in a test beam at the CERN SPS. A first analysis showed that hit efficiencies of $\geq 99\%$ and spatial resolution better than 5 $μ$m can be achieved for all pitches and process variants. For the standard process, thanks to larger charge sharing, even spatial resolutions below 3 $μ$m are reached, in line with vertex detector requirements for the FCC-ee. This contribution further investigates the data collected at the SPS test beam. Thanks to the large sensor size and efficient data collection, a large amount of statistics was collected, which allows for detailed in-pixel studies to see the efficiency and spatial resolution as a function of the hit position within the pixels. Again, different pitches and process variants are compared.
Lucas Romao, Hugo Villamizar, Romeu Oliveira
et al.
[Context] Machine learning (ML)-enabled systems are present in our society, driving significant digital transformations. The dynamic nature of ML development, characterized by experimental cycles and rapid changes in data, poses challenges to traditional project management. Agile methods, with their flexibility and incremental delivery, seem well-suited to address this dynamism. However, it is unclear how to effectively apply these methods in the context of ML-enabled systems, where challenges require tailored approaches. [Goal] Our goal is to outline the state of the art in agile management for ML-enabled systems. [Method] We conducted a systematic mapping study using a hybrid search strategy that combines database searches with backward and forward snowballing iterations. [Results] Our study identified 27 papers published between 2008 and 2024. From these, we identified eight frameworks and categorized recommendations and practices into eight key themes, such as Iteration Flexibility, Innovative ML-specific Artifacts, and the Minimal Viable Model. The main challenge identified across studies was accurate effort estimation for ML-related tasks. [Conclusion] This study contributes by mapping the state of the art and identifying open gaps in the field. While relevant work exists, more robust empirical evaluation is still needed to validate these contributions.
Can robots imagine or generate maps like humans do, especially when only limited information can be perceived like blind people? To address this challenging task, we propose a novel group diffusion model (GDM) based architecture for robots to generate point cloud maps with very limited input information.Inspired from the blind humans' natural capability of imagining or generating mental maps, the proposed method can generate maps without visual perception data or depth data. With additional limited super-sparse spatial positioning data, like the extra contact-based positioning information the blind individuals can obtain, the map generation quality can be improved even more.Experiments on public datasets are conducted, and the results indicate that our method can generate reasonable maps solely based on path data, and produce even more refined maps upon incorporating exiguous LiDAR data.Compared to conventional mapping approaches, our novel method significantly mitigates sensor dependency, enabling the robots to imagine and generate elementary maps without heavy onboard sensory devices.
Manuel De Stefano, Fabiano Pecorelli, Dario Di Nucci
et al.
Context. Quantum computing is becoming a reality, and quantum software engineering (QSE) is emerging as a new discipline to enable developers to design and develop quantum programs. Objective. This paper presents a systematic mapping study of the current state of QSE research, aiming to identify the most investigated topics, the types and number of studies, the main reported results, and the most studied quantum computing tools/frameworks. Additionally, the study aims to explore the research community's interest in QSE, how it has evolved, and any prior contributions to the discipline before its formal introduction through the Talavera Manifesto. Method. We searched for relevant articles in several databases and applied inclusion and exclusion criteria to select the most relevant studies. After evaluating the quality of the selected resources, we extracted relevant data from the primary studies and analyzed them. Results. We found that QSE research has primarily focused on software testing, with little attention given to other topics, such as software engineering management. The most commonly studied technology for techniques and tools is Qiskit, although, in most studies, either multiple or none specific technologies were employed. The researchers most interested in QSE are interconnected through direct collaborations, and several strong collaboration clusters have been identified. Most articles in QSE have been published in non-thematic venues, with a preference for conferences. Conclusions. The study's implications are providing a centralized source of information for researchers and practitioners in the field, facilitating knowledge transfer, and contributing to the advancement and growth of QSE.
In this article, we study the well-posedness of the energy-critical half-wave maps equation (HWM) in dimension $1$. The half-wave maps equation emerges from the continuum limit of the Haldane Shastry spin chains and has been shown to arise as the continuum limit of Calogero-Moser classical spin systems. In higher dimension $d\geq 5$, it has been shown that (HWM) is well-posed by Krieger and Sire. This result has been improved by Krieger and Kiesenhofer to $d = 4$ but the Strichartz estimate on which the argument is built no longer holds for smaller dimensions. A Lax-pair structure has been revealed for this equation by Lenzmann and Gérard, indicating complete integrability and the fact that rational solutions stay rational for all time. The well-posedness of the (HWM) equation in lower dimensions remains an open problem. Here, we show the well-posedness of (HWM) in the rational case for finite times with separated poles, and for large and infinite times with distinct speeds of propagation.
M. Fernández-Torreiro, R. T. Génova-Santos, J. A. Rubiño-Martín
et al.
The Andromeda Galaxy (M31) is the Local Group galaxy that is most similar to the Milky Way (MW). The similarities between the two galaxies make M31 useful for studying integrated properties common to spiral galaxies. We use the data from the recent QUIJOTE-MFI Wide Survey, together with new raster observations focused on M31, to study its integrated emission. The addition of raster data improves the sensitivity of QUIJOTE-MFI maps by almost a factor 3. Our main interest is to confirm if anomalous microwave emission (AME) is present in M31, as previous studies have suggested. To do so, we built the integrated spectral energy distribution of M31 between 0.408 and 3000 GHz. We then performed a component separation analysis taking into account synchrotron, free-free, AME and thermal dust components. AME in M31 is modelled as a log-normal distribution with maximum amplitude, $A_{\rm AME}$, equal to $1.03\pm0.32$ Jy. It peaks at $ν_{\rm AME}=17.2\pm3.2$ GHz with a width of $W_{\rm AME}=0.58\pm0.16$. Both the Akaike and Bayesian Information Criteria find the model without AME to be less than 1 % as probable as the one taking AME into consideration. We find that the AME emissivity per 100 $μ$m intensity in M31 is $ε_{\rm AME}^{\rm 28.4\,GHz}=9.6\pm3.1$ $μ$K/(MJy/sr), similar to that computed for the MW. We also provide the first upper limits for the AME polarization fraction in an extragalactic object. M31 remains the only galaxy where an AME measurement has been made of its integrated spectrum.
Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogous for submersions, immersions, and étale maps (i.e., local diffeomorphisms) consistent with the classical versions of these maps between manifolds. In this paper, we consider diffeological submersions, immersions, and étale maps as an adaptation of these maps to diffeology by a nonlinear approach. In the case of manifolds, there is no difference between the classical and diffeological versions of these maps. Moreover, we study their diffeological properties from different aspects in a systematic fashion with respect to the germs of plots. We also discuss notions of embeddings of diffeological spaces and regard diffeological embeddings similar to those of manifolds. In particular, we show that diffeological embeddings are inductions. In order to characterize the considered maps from their linear behaviors, we introduce a class of diffeological spaces, so-called diffeological étale manifolds, which not only contains the usual manifolds but also includes irrational tori. We state and prove versions of the rank and implicit function theorems, as well as the fundamental theorem on flows in this class. As an application, we use the results of this work to facilitate the computations of the internal tangent spaces and diffeological dimensions in a few interesting cases.
Giuseppe della Sala, Bernhard Lamel, Michael Reiter
et al.
For $N \geq 4$ we classify the $(N-3)$-degenerate smooth CR maps of the three-dimensional unit sphere into the $(2N-1)$-dimensional unit sphere. Each of these maps has image being contained in a five-dimensional complex-linear space and is of degree at most two, or equivalent to one of the four maps into the five-dimensional sphere classified by Faran. As a byproduct of our classification we obtain new examples of rational maps of degree three which are $(N-3)$-degenerate only along a proper real subvariety and are not equivalent to polynomial maps. In particular, by changing the base point, it is possible to construct new families of nondegenerate maps.
Choropleth maps and graduated symbol maps are often used to visualize quantitative geographic data. However, as the number of classes grows, distinguishing between adjacent classes increasingly becomes challenging. To mitigate this issue, this work introduces two new visualization types: choriented maps (maps that use colour and orientation as variables to encode geographic information) and choriented mobile (an optimization of choriented maps for mobile devices). The maps were evaluated in a graphical perception study featuring the comparison of SDG (Sustainable Development Goal) data for several European countries. Choriented maps and choriented mobile visualizations resulted in comparable, sometimes better effectiveness and confidence scores than choropleth and graduated symbol maps. Choriented maps and choriented mobile visualizations also performed well regarding efficiency overall and performed worse only than graduated symbol maps. These results suggest that the use of colour and orientation as visual variables in combination can improve the selectivity of map symbols and user performance during the exploration of geographic data in some scenarios.
Liping Zhao, Waad Alhoshan, Alessio Ferrari
et al.
Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requirements documents or artifacts to support a range of linguistic analysis tasks performed at various RE phases. Such tasks include detecting language issues, identifying key domain concepts and establishing traceability links between requirements. This article surveys the landscape of NLP4RE research to understand the state of the art and identify open problems. The systematic mapping study approach is used to conduct this survey, which identified 404 relevant primary studies and reviewed them according to five research questions, cutting across five aspects of NLP4RE research, concerning the state of the literature, the state of empirical research, the research focus, the state of the practice, and the NLP technologies used. Results: 1) NLP4RE is an active and thriving research area in RE that has amassed a large number of publications and attracted widespread attention from diverse communities; 2) most NLP4RE studies are solution proposals having only been evaluated using a laboratory experiment or an example application; 3) most studies have focused on the analysis phase, with detection as their central linguistic analysis task and requirements specification as their commonly processed document type; 4) 130 new tools have been proposed to support a range of linguistic analysis tasks, but there is little evidence of adoption in the long term, although some industrial applications have been published; 5) 140 NLP techniques, 66 NLP tools and 25 NLP resources are extracted from the selected studies.
This article first answers to questions about connectedness of a new family of graphs on unicellular maps. Answering these questions goes through a description of the mapping class group as surgeries on unicellular maps. We also show how unicellular maps encode subgroups of the mapping group and provide filtrations of the mapping class group. These facts add a layer on the ubiquitous character of unicellular maps.
In this paper, we propose linear maps over the space of all polynomials $f(x)$ in $\mathbb{F}_q[x]$ that map $0$ to itself, through their evaluation map. Properties of these linear maps throw up interesting connections with permutation polynomials. We study certain properties of these linear maps. We propose to classify permutation polynomials by identifying the generalized eigenspaces of these maps, where the permutation polynomials reside. As it turns out, several classes of permutation polynomials studied in literature neatly fall into classes defined using these linear maps. We characterize the shapes of permutation polynomials that appear in the various generalized eigenspaces of these linear maps. For the case of $\mathbb{F}_p$, these generalized eigenspaces provide a degree-wise distribution of polynomials (and therefore permutation polynomials) over $\mathbb{F}_p$. We show that for $\mathbb{F}_q$, it is sufficient to consider only a few of these linear maps. The intersection of the generalized eigenspaces of these linear maps contain (permutation) polynomials of certain shapes. In this context, we study a class of permutation polynomials over $\mathbb{F}_{p^2}$. We show that the permutation polynomials in this class are closed under compositional inverses. We also do some enumeration of permutation polynomials of certain shapes.
Let $X$ be a normal compact Kähler space of dimension $n$. A surjective endomorphism $f$ of such $X$ is int-amplified if $f^*ξ-ξ=η$ for some Kähler classes $ξ$ and $η$. First, we show that this definition generalizes the notion in the projective setting. Second, we prove that for the cases of $X$ being smooth, a surface or a threefold with mild singularities, if $X$ admits an int-amplified endomorphism with pseudo-effective canonical divisor, then it is a $Q$-torus. Finally, we consider a normal compact Kähler threefold $Y$ with only terminal singularities and show that, replacing $f$ by a positive power, we can run the minimal model program (MMP) $f$-equivariantly for such $Y$ and reach either a $Q$-torus or a Fano (projective) variety of Picard number one.
Patrick Helber, Bradley Gram-Hansen, Indhu Varatharajan
et al.
Detecting and mapping informal settlements encompasses several of the United Nations sustainable development goals. This is because informal settlements are home to the most socially and economically vulnerable people on the planet. Thus, understanding where these settlements are is of paramount importance to both government and non-government organizations (NGOs), such as the United Nations Children's Fund (UNICEF), who can use this information to deliver effective social and economic aid. We propose a method that detects and maps the locations of informal settlements using only freely available, Sentinel-2 low-resolution satellite spectral data and socio-economic data. This is in contrast to previous studies that only use costly very-high resolution (VHR) satellite and aerial imagery. We show how we can detect informal settlements by combining both domain knowledge and machine learning techniques, to build a classifier that looks for known roofing materials used in informal settlements. Please find additional material at https://frontierdevelopmentlab.github.io/informal-settlements/.
Motivated by a class of near BPS Skyrme models introduced by Adam, Sánchez-Guillén and Wereszczyński, the following variant of the harmonic map problem is introduced: a map $φ:(M,g)\rightarrow (N,h)$ between Riemannian manifolds is restricted harmonic (RH) if it locally extremizes $E_2$ on its $SDiff(M)$ orbit, where $SDiff(M)$ denotes the group of volume preserving diffeomorphisms of $(M,g)$, and $E_2$ denotes the Dirichlet energy. It is conjectured that near BPS skyrmions tend to RH maps in the BPS limit. It is shown that $φ$ is RH if and only if $φ^*h$ has exact divergence, and a linear stability theory of RH maps is developed, whence it follows that all weakly conformal maps, for example, are stable RH. Examples of RH maps in every degree class $R^3\to SU(2)$ and $R^2\to S^2$ are constructed. It is shown that the axially symmetric BPS skyrmions on which all previous analytic studies of near BPS Skyrme models have been based, are not RH, so each such field can be deformed along $SDiff(R^3)$ to yield BPS skyrmions with lower $E_2$, casting doubt on the predictions of such studies. The problem of minimizing $E_2$ for $φ:R^k\to N$ over all linear volume preserving diffeomorphisms is solved explicitly, and a deformed axially symmetric family of Skyrme fields constructed which are candidates for approximate near BPS skyrmions at low baryon number. The notion of restricted harmonicity is generalized to restricted $F$-criticality where $F$ is any functional on maps $(M,g)\to (N,h)$ which is, in a precise sense, geometrically natural. The case where $F$ is a linear combination of $E_2$ and $E_4$, the usual Skyrme term, is studied in detail, and it is shown that inverse stereographic projection $R^3\to S^3\equiv SU(2)$ is stable restricted $F$-critical for every such $F$.
It is widely believed that the Choi map generates an extremal ray in the cone $\mathcal P(M_3)$ of all positive linear maps between $C^*$-algebra $M_3$ of all $n\times n$ matrices over the complex field. But the only proven fact is that the Choi map generates the extremal ray in the cone of all positive linear map preserving all real symmetric $3\times 3$ matrices. In this note, we show that the Choi map is indeed extremal in the cone $\mathcal P(M_3)$. We also clarify some misclaims about the correspondence between positive semi-definite biquadratic real forms and postive linear maps, and discuss possible positive linear maps which coincide with the Choi map on symmetric matrices.
[Abridged] In recent works we have proposed two new large-angle non-Gaussianity indicators based on skewness and kurtosis of patches of CMB sky-sphere, and used them to find out significant deviation from Gaussianity in frequency bands and foreground-reduced CMB maps. Simulated CMB maps with assigned type and amplitude of primordial non-Gaussianity are important tools to determine the strength, sensitivity and limitations of non-Gaussian estimators. Here we investigate whether and to what extent our non-Gaussian indicators have sensitivity to detect non-Gaussianity of local type, particularly with amplitude within the seven-year WMAP bounds. We make a systematic study by employing our statistical tools to generate maps of skewness and kurtosis from several thousands of simulated maps equipped with non-Gaussianity of local type of various amplitudes. We show that our indicators can be used to detect large-angle local-type non-Gaussianity only for relatively large values of the non-linear parameter $f_{\rm NL}^{\rm local}$. Thus, our indicators have not enough sensitivity to detect deviation from Gaussianity with the non-linear parameter within the seven-year WMAP bounds. This result along with the outcomes of frequency bands and foreground-reduced analyses suggest that non-Gaussianity captured in the previous works by our indicators is not of primordial origin, although it might have a primordial component. We have also made a comparative study of non-Gaussianity of simulated maps and of the full-sky WMAP foreground-reduced seven-year ILC-7yr map. An outcome of this analysis is that the level of non-Gaussianity of ILC-7yr map is higher than that of the simulated maps for $f_{\rm NL}^{\rm local}$ within WMAP bounds. This provides quantitative indications on the suitability of the ILC-7yr map as a Gaussian reconstruction of the full-sky CMB.
In an interesting work M.F. Muller-Bahns and N. Neumaier ("Some remarks on g-invariant Fedosov star products and quantum momentum mappings". Journal of Geometry and Physics 50 (2004), 257-272.) analyze the existence of a quantum momentum map based on the existence of a classical momentum map providing an answer to the proposal given by P. Xu in ("Fedosov *-products and quantum momentum maps". Commun. Math. Phys (1998) 167-197). In both papers only equivariant classical momentum maps are considered. In these notes, we extend Muller-Bahns and Neumaier analysis to the case of a non equivariant momentum map. In addition, we propose the notion of an anomalous quantum momentum map as an alternative to recover a non equivariant momentum map at the classical level by considering central extensions of the Lie algebra associated with non equivariance.